title: Semantic and Relational Spaces in Science of Science: Deep Learning Models for Article Vectorisation

abstract: Over the last century, we observe a steady and exponentially growth of scientific publications globally. The overwhelming amount of available literature makes a holistic analysis of the research within a field and between fields based on manual inspection impossible. Automatic techniques to support the process of literature review are required to find the epistemic and social patterns that are embedded in scientific publications. In computer sciences, new tools have been developed to deal with large volumes of data. In particular, deep learning techniques open the possibility of automated end-to-end models to project observations to a new, low-dimensional space where the most relevant information of each observation is highlighted. Using deep learning to build new representations of scientific publications is a growing but still emerging field of research. The aim of this paper is to discuss the potential and limits of deep learning for gathering insights about scientific research articles. We focus on document-level embeddings based on the semantic and relational aspects of articles, using Natural Language Processing (NLP) and Graph Neural Networks (GNNs). We explore the different outcomes generated by those techniques. Our results show that using NLP we can encode a semantic space of articles, while with GNN we are able to build a relational space where the social practices of a research community are also encoded.


title: Improving Robotic Grasping on Monocular Images Via Multi-Task Learning and Positional Loss

abstract: In this paper, we introduce two methods of improving real-time object grasping performance from monocular colour images in an end-to-end CNN architecture. The first is the addition of an auxiliary task during model training (multi-task learning). Our multi-task CNN model improves grasping performance from a baseline average of 72.04% to 78.14% on the large Jacquard grasping dataset when performing a supplementary depth reconstruction task. The second is introducing a positional loss function that emphasises loss per pixel for secondary parameters (gripper angle and width) only on points of an object where a successful grasp can take place. This increases performance from a baseline average of 72.04% to 78.92% as well as reducing the number of training epochs required. These methods can be also performed in tandem resulting in a further performance increase to 79.12% while maintaining sufficient inference speed to afford real-time grasp processing.


title: Life after eruption VIII: The orbital periods of novae

abstract: The impact of nova eruptions on the long-term evolution of Cataclysmic Variables(CVs) is one of the least understood and intensively discussed topics in the field. Acrucial ingredient to improve with this would be to establish a large sample of post-novae with known properties, starting with the most easily accessible one, the orbitalperiod. Here we report new orbital periods for six faint novae: X Cir (3.71 h), ILNor (1.62 h), DY Pup (3.35 h), V363 Sgr (3.03 h), V2572 Sgr (3.75 h) and CQ Vel(2.7 h). We furthermore revise the periods for the old novae OY Ara, RS Car, V365Car, V849 Oph, V728 Sco, WY Sge, XX Tau and RW UMi. Using these new dataand critically reviewing the trustworthiness of reported orbital periods of old novae inthe literature, we establish an updated period distribution. We employ a binary-starevolution code to calculate a theoretical period distribution using both an empiricaland the classical prescription for consequential angular momentum loss. In comparisonwith the observational data we find that both models especially fail to reproduce thepeak in the 3 - 4 h range, suggesting that the angular momentum loss for CVs abovethe period gap is not totally understood.


title: The property (d) and the almost limited completely continuous operators

abstract: In this paper, we study some geometric properties in Banach lattices and the class of almost limited completely continuous operators. For example, we study Banach lattices with the property (d) and we give a new characterization of this property concerning the solid hull of almost limited sets.


title: On the impact of predicate complexity in crowdsourced classification tasks

abstract: This paper explores and offers guidance on a specific and relevant problem in task design for crowdsourcing: how to formulate a complex question used to classify a set of items. In micro-task markets, classification is still among the most popular tasks. We situate our work in the context of information retrieval and multi-predicate classification, i.e., classifying a set of items based on a set of conditions. Our experiments cover a wide range of tasks and domains, and also consider crowd workers alone and in tandem with machine learning classifiers. We provide empirical evidence into how the resulting classification performance is affected by different predicate formulation strategies, emphasizing the importance of predicate formulation as a task design dimension in crowdsourcing.


title: Towards a BRICS Optical Transient Network (BRICS-OTN)

abstract: This paper is based on a proposal submitted for a BRICS astronomy flagship program, which was presented at the 2019 meeting of the BRICS Astronomy Working Group, held in Rio de Janeiro from 29 September to 2 October 2019. The future prospects for the detection and study of transient phenomena in the Universe heralds a new era in time domain astronomy. The case is presented for a dedicated BRICS-wide flagship program to develop a network of ground-based optical telescopes for an all-sky survey to detect short lived optical transients and to allow follow-up of multi-wavelength and multi-messenger transient objects. This will leverage existing and planned new facilities within the BRICS countries and will also draw on the opportunities presented by other multi-wavelength space- and ground-based facilities that exist within the BRICS group. The proposed optical network would initially perform followup observations on new transients using existing telescopes. This would later expand to include a new global network of $\sim$70 wide-field 1-m telescopes which will cover the entire sky, simultaneously, with a cadence of less than a few hours. This realization would represent a ground-breaking and unique global capability, presenting many scientific opportunities and associated spin-off benefits to all BRICS countries.


title: RetroXpert: Decompose Retrosynthesis Prediction like a Chemist

abstract: Retrosynthesis is the process of recursively decomposing target molecules into available building blocks. It plays an important role in solving problems in organic synthesis planning. To automate or assist in the retrosynthesis analysis, various retrosynthesis prediction algorithms have been proposed. However, most of them are cumbersome and lack interpretability about their predictions. In this paper, we devise a novel template-free algorithm for automatic retrosynthetic expansion inspired by how chemists approach retrosynthesis prediction. Our method disassembles retrosynthesis into two steps: i) identify the potential reaction center of the target molecule through a novel graph neural network and generate intermediate synthons, and ii) generate the reactants associated with synthons via a robust reactant generation model. While outperforming the state-of-the-art baselines by a significant margin, our model also provides chemically reasonable interpretation.


title: MSO Undecidability for Hereditary Classes of Unbounded Clique-Width

abstract: Seese's conjecture for finite graphs states that monadic second-order logic (MSO) is undecidable on all graph classes of unbounded clique-width. We show that to establish this it would suffice to show that grids of unbounded size can be interpreted in two families of graph classes: minimal hereditary classes of unbounded clique-width; and antichains of unbounded clique-width under the induced subgraph relation. We explore all the currently known classes of the former category and establish that grids of unbounded size can indeed be interpreted in them.


title: Lambek-Grishin Calculus: Focusing, Display and Full Polarization

abstract: \emph{Focused sequent calculi} are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof search strategy. Focused cut-free proofs exhibit a special normal form that is used for defining identity of sequent calculi proofs. We introduce a novel focused display calculus fD.LG and a fully polarized algebraic semantics FP.LG for Lambek-Grishin logic by generalizing the theory of \emph{multi-type calculi} and their algebraic semantics with \emph{heterogenous consequence relations}. The calculus fD.LG has \emph{strong focalization} and it is \emph{sound and complete} w.r.t. FP.LG. This completeness result is in a sense stronger than completeness with respect to standard polarized algebraic semantics (see e.g. the phase semantics of Bastenhof for Lambek-Grishin logic or Hamano and Takemura for linear logic), insofar we do not need to quotient over proofs with consecutive applications of shifts over the same formula. We plan to investigate the connections, if any, between this completeness result and the notion of \emph{full completeness} introduced by Abramsky et al. We also show a number of additional results. fD.LG is sound and complete w.r.t. LG-algebras: this amounts to a semantic proof of the so-called \emph{completeness of focusing}, given that the standard (display) sequent calculus for Lambek-Grishin logic is complete w.r.t. LG-algebras. fD.LG and the focused calculus f.LG of Moortgat and Moot are equivalent with respect to proofs, indeed there is an effective translation from f.LG-derivations to fD.LG-derivations and vice versa: this provides the link with operational semantics, given that every f.LG-derivation is in a Curry-Howard correspondence with a directional $\overline\lambda\mu\widetilde{\mu}$-term.


title: Examples of dHYM connections in a variable background

abstract: We study deformed Hermitian Yang-Mills (dHYM) connections on ruled surfaces explicitly, using the momentum construction. As a main application we provide many new examples of dHYM connections coupled to a variable background K\"ahler metric. These are solutions of the moment map partial differential equations given by the Hamiltonian action of the extended gauge group, coupling the dHYM equation to the scalar curvature of the background. The large radius limit of these coupled equations is the K\"ahler-Yang-Mills system of \'Alvarez-C\'onsul, Garcia-Fernandez and Garc\'ia-Prada, and in this limit our solutions converge smoothly to those constructed by Keller and T{\o}nnesen-Friedman. We also discuss other aspects of our examples including conical singularities, realisation as B-branes, the small radius limit and canonical representatives of complexified K\"ahler classes.


title: Revisiting an isospectral extension of the Morse potential

abstract: A very simple method is devised to derive a (strictly) isospectral extension of the Morse potential. Furthermore, point canonical transformations are used to transform the latter into quasi-exactly solvable extensions of the radial oscillator and the Coulomb potentials.


title: A study of radial self-similar non-relativistic MHD outflow models: parameter space exploration and application to the water fountain W43A

abstract: Outflows, spanning a wide range of dynamical properties and spatial extensions, have now been associated with a variety of accreting astrophysical objects, from supermassive black holes at the core of active galaxies to young stellar objects. The role of such outflows is key to the evolution of the system that generates them, for they extract a fraction of the orbiting material and angular momentum from the region close to the central object and release them in the surroundings. The details of the launching mechanism and their impact on the environment are fundamental to understand the evolution of individual sources and the similarities between different types of outflow-launching systems. We solve semi-analytically the non-relativistic, ideal, magnetohydrodynamics (MHD) equations describing outflows launched from a rotating disk threaded with magnetic fields using our new numerical scheme. We present here a parameter study of a large sample of new solutions. We study the different combinations of forces that lead to a successfully launched jet and discuss their global properties. We show how these solutions can be applied to the outflow of the water fountain W43A for which we have observational constraints on magnetic field, density and velocity of the flow at the location of two symmetrical water maser emitting regions.


title: Auctioning Annuities

abstract: We propose and estimate a model of demand and supply of annuities. To this end, we use rich data from Chile, where annuities are bought and sold in a private market via a two-stage process: first-price auctions followed by bargaining. We model firms with private information about costs and retirees with different mortalities and preferences for bequests and firms' risk ratings. We find substantial costs and preference heterogeneity, and because there are many firms, the market performs well. Counterfactuals show that simplifying the current mechanism with English auctions and "shutting down" risk ratings increase pensions, but only for high-savers.


title: Multi-class Spectral Clustering with Overlaps for Speaker Diarization

abstract: This paper describes a method for overlap-aware speaker diarization. Given an overlap detector and a speaker embedding extractor, our method performs spectral clustering of segments informed by the output of the overlap detector. This is achieved by transforming the discrete clustering problem into a convex optimization problem which is solved by eigen-decomposition. Thereafter, we discretize the solution by alternatively using singular value decomposition and a modified version of non-maximal suppression which is constrained by the output of the overlap detector. Furthermore, we detail an HMM-DNN based overlap detector which performs frame-level classification and enforces duration constraints through HMM state transitions. Our method achieves a test diarization error rate (DER) of 24.0% on the mixed-headset setting of the AMI meeting corpus, which is a relative improvement of 15.2% over a strong agglomerative hierarchical clustering baseline, and compares favorably with other overlap-aware diarization methods. Further analysis on the LibriCSS data demonstrates the effectiveness of the proposed method in high overlap conditions.


title: Lessons Learnt from a 2FA roll out within a higher education organisation

abstract: Rolling out a new security mechanism in an organisation requires planning, good communication, adoption from users, iterations of reflection on the challenges experienced and how they were overcome. Our case study elicited users' perceptions to reflect on the adoption and usage of the two factor authentication (2FA) mechanism being rolled out within our higher education organisation. This was achieved using a mixed method research approach. Our qualitative analysis, using content and thematic coding, revealed that initially SMS was the most popular 'second factor' and the main usability issue with 2FA was the getting the authenticator app to work; this result was unexpected by the IT team and led to a change in how the technology was subsequently rolled out to make the authenticator app the default primary second factor. Several lessons were learnt about the information users needed; this included how to use the technology in different scenarios and also a wider appreciation of why the technology was beneficial to a user and the organisation. The case study also highlighted a positive impact on the security posture of the organisation which was measure using IT service request metrics.


title: $T\bar{T}$-flow effects on torus partition functions

abstract: In this paper, we investigate the partition functions of conformal field theories (CFTs) with the $T\bar{T}$ deformation on a torus in terms of the perturbative QFT approach. In Lagrangian path integral formalism, the first- and second-order deformations to the partition functions of 2D free bosons, free Dirac fermions, and free Majorana fermions on a torus are obtained. The corresponding Lagrangian counterterms in these theories are also discussed. The first two orders of the deformed partition functions and the first-order vacuum expectation value (VEV) of the first quantum KdV charge obtained by the perturbative QFT approach are consistent with results obtained by the Hamiltonian formalism in literature.


title: The First Light Curve Solutions of GW Leo and Period Study of Two Contact Binary Systems

abstract: We performed the first light curve analysis of GW Leo and a new ephemeris is obtained for QT Boo. In the present photometric study of two contact binary systems, we found that the period of these binary systems is decreasing at a rate of dp/dt=-6.21*10^(-3) days yr^(-1) for GW Leo, and dp/dt=-4.72*10^(-3) days yr^(-1) for QT Boo, respectively. The light curve investigation also yields that the system GW Leo is a contact W UMa eclipsing binary with a photometric mass ratio of q=0.881+-0.030, a fillout factor of f=3%, and an inclination of 54.060+-0.066 deg. Due to the O'Connell effect which is known as asymmetries in the light curves' maxima, a cold spot is employed along with the solution. We also calculate the distance of GW Leo from the distance modulus formula as 465.58+-23 pc, which is relatively close to the quantity measured by the Gaia DR2 using the binary systems' parallax. Moreover, the positions of their components on the H-R diagram are represented.


title: Hyperrealistic Image Inpainting with Hypergraphs

abstract: Image inpainting is a non-trivial task in computer vision due to multiple possibilities for filling the missing data, which may be dependent on the global information of the image. Most of the existing approaches use the attention mechanism to learn the global context of the image. This attention mechanism produces semantically plausible but blurry results because of incapability to capture the global context. In this paper, we introduce hypergraph convolution on spatial features to learn the complex relationship among the data. We introduce a trainable mechanism to connect nodes using hyperedges for hypergraph convolution. To the best of our knowledge, hypergraph convolution have never been used on spatial features for any image-to-image tasks in computer vision. Further, we introduce gated convolution in the discriminator to enforce local consistency in the predicted image. The experiments on Places2, CelebA-HQ, Paris Street View, and Facades datasets, show that our approach achieves state-of-the-art results.


title: Fast Solver for Quasi-Periodic 2D-Helmholtz Scattering in Layered Media

abstract: We present a fast spectral Galerkin scheme for the discretization of boundary integral equations arising from two-dimensional Helmholtz transmission problems in multi-layered periodic structures or gratings. Employing suitably parametrized Fourier basis and excluding Rayleigh-Wood anomalies, we rigorously establish the well-posedness of both continuous and discrete problems, and prove super-algebraic error convergence rates for the proposed scheme. Through several numerical examples, we confirm our findings and show performances competitive to those attained via Nystr\"om methods.


title: From basic properties to the Mott design of correlated delafossites

abstract: The natural-heterostructure concept realized in delafossites highlights these layered oxides. While metallic, band- or Mott-insulating character may be associated with individual layers, inter-layer coupling still plays a decisive role. We review the correlated electronic structure of PdCoO$_2$, PdCrO$_2$ and AgCrO$_2$, showing that layer-entangled electronic states can deviate from standard classifications of interacting systems. This finding opens up possibilities for materials design in a subtle Mott-critical regime. Manipulated Hidden-Mott physics, correlation-induced semimetallicity, or Dirac/flat-band dispersions in a Mott background are emerging features. Together with achievements in the experimental preparation, this inaugurates an exciting research field in the arena of correlated materials.


title: On the restricted isometry property of the Paley matrix

abstract: In this paper, we prove that the Paley graph conjecture implies that the Paley matrix has restricted isometry property (RIP) beating the square-root bottleneck for the sparsity level. Moreover, we show that the RIP of the Paley matrix implies an improved bound on the size of transitive subtournaments in the Paley tournament.


title: Tail of the distribution of fatalities in epidemics

abstract: The size that an epidemic can reach, measured in terms of the number of fatalities, is an extremely relevant quantity. It has been recently claimed [Cirillo & Taleb, Nature Physics 2020] that the size distribution of major epidemics in human history is "extremely fat-tailed", i.e., asymptotically a power law, which has important consequences for risk management. Reanalyzing this data, we find that, although the fatality distribution may be compatible with a power-law tail, these results are not conclusive, and other distributions, not fat-tailed, could explain the data equally well. As an example, simulation of a log-normally distributed random variable provides synthetic data whose statistics are undistinguishable from the statistics of the empirical data. Theoretical reasons justifying a power-law tail as well as limitations in the current data are also discussed.


title: Pseudo Random Number Generation through Reinforcement Learning and Recurrent Neural Networks

abstract: A Pseudo-Random Number Generator (PRNG) is any algorithm generating a sequence of numbers approximating properties of random numbers. These numbers are widely employed in mid-level cryptography and in software applications. Test suites are used to evaluate PRNGs quality by checking statistical properties of the generated sequences. These sequences are commonly represented bit by bit. This paper proposes a Reinforcement Learning (RL) approach to the task of generating PRNGs from scratch by learning a policy to solve a partially observable Markov Decision Process (MDP), where the full state is the period of the generated sequence and the observation at each time step is the last sequence of bits appended to such state. We use a Long-Short Term Memory (LSTM) architecture to model the temporal relationship between observations at different time steps, by tasking the LSTM memory with the extraction of significant features of the hidden portion of the MDP's states. We show that modeling a PRNG with a partially observable MDP and a LSTM architecture largely improves the results of the fully observable feedforward RL approach introduced in previous work.


title: Revisiting Stereo Depth Estimation From a Sequence-to-Sequence Perspective with Transformers

abstract: Stereo depth estimation relies on optimal correspondence matching between pixels on epipolar lines in the left and right images to infer depth. In this work, we revisit the problem from a sequence-to-sequence correspondence perspective to replace cost volume construction with dense pixel matching using position information and attention. This approach, named STereo TRansformer (STTR), has several advantages: It 1) relaxes the limitation of a fixed disparity range, 2) identifies occluded regions and provides confidence estimates, and 3) imposes uniqueness constraints during the matching process. We report promising results on both synthetic and real-world datasets and demonstrate that STTR generalizes across different domains, even without fine-tuning.


title: Associated primes of formal local cohomology modules

abstract: Let $\mathfrak{a}$ be an ideal of a commutative Noetherian ring $R$ and $M$ a finitely generated $R$-module. In this paper we proved that if $\operatorname{Supp}\mathfrak{F}_\mathfrak{a}^i(M)$ is finite for all $i<t$, then so is $\operatorname{Ass}(\mathfrak{F}_{\mathfrak{a}}^t(M))$.


title: Causal Expectation-Maximisation

abstract: Structural causal models are the basic modelling unit in Pearl's causal theory; in principle they allow us to solve counterfactuals, which are at the top rung of the ladder of causation. But they often contain latent variables that limit their application to special settings. This appears to be a consequence of the fact, proven in this paper, that causal inference is NP-hard even in models characterised by polytree-shaped graphs. To deal with such a hardness, we introduce the causal EM algorithm. Its primary aim is to reconstruct the uncertainty about the latent variables from data about categorical manifest variables. Counterfactual inference is then addressed via standard algorithms for Bayesian networks. The result is a general method to approximately compute counterfactuals, be they identifiable or not (in which case we deliver bounds). We show empirically, as well as by deriving credible intervals, that the approximation we provide becomes accurate in a fair number of EM runs. These results lead us finally to argue that there appears to be an unnoticed limitation to the trending idea that counterfactual bounds can often be computed without knowledge of the structural equations.


title: Double diffusion encoding and applications for biomedical imaging

abstract: Diffusion Magnetic Resonance Imaging (dMRI) is one of the most important contemporary non-invasive modalities for probing tissue structure at the microscopic scale. The majority of dMRI techniques employ standard single diffusion encoding (SDE) measurements, covering different sequence parameter ranges depending on the complexity of the method. Although many signal representations and biophysical models have been proposed for SDE data, they are intrinsically limited by a lack of specificity. Advanced dMRI methods have been proposed to provide additional microstructural information beyond what can be inferred from SDE. These enhanced contrasts can play important roles in characterizing biological tissues, for instance upon diseases (e.g. neurodegenerative, cancer, stroke), aging, learning, and development. In this review we focus on double diffusion encoding (DDE), which stands out among other advanced acquisitions for its versatility, ability to probe more specific diffusion correlations, and feasibility for preclinical and clinical applications. Various DDE methodologies have been employed to probe compartment sizes (Section 3), decouple the effects of microscopic diffusion anisotropy from orientation dispersion (Section 4), probe displacement correlations, study exchange, or suppress fast diffusing compartments (Section 6). DDE measurements can also be used to improve the robustness of biophysical models (Section 5) and study intra-cellular diffusion via magnetic resonance spectroscopy of metabolites (Section 7). This review discusses all these topics as well as important practical aspects related to the implementation and contrast in preclinical and clinical settings (Section 9) and aims to provide the readers a guide for deciding on the right DDE acquisition for their specific application.


title: Machine Learning Framwork for Performance Anomaly in OpenMP Multi-Threaded Systems

abstract: Some OpenMP multi-threaded applications increasingly suffer from performance anomaly owning to shared resource contention as well as software- and hardware-related problems. Such performance anomaly can result in failure and inefficiencies, and are among the main challenges in system resiliency. To minimize the impact of performance anomaly, one must quickly and accurately detect and diagnose the performance anomalies that cause the failures. However, it is difficult to identify anomalies in the dynamic and noisy data collected by OpenMP multi-threaded monitoring infrastructures. This paper presents a novel machine learning framework for performance anomaly in OpenMP multi-threaded systems. To evaluate our framework, the NAS Parallel NPB benchmark, EPCC OpenMP micro-benchmark suite, and Jacobi benchmark are used to test the performance of our framework proposed. The experimental results demonstrate that our framework successfully identifies 90.3\% of injected anomalies of OpenMP multi-threaded applications.


title: Reverse Mathematics of the uncountability of $\mathbb{R}$: Baire classes, metric spaces, and unordered sums

abstract: Dag Normann and the author have recently initiated the study of the logical and computational properties of the uncountability of $\mathbb{R}$ formalised as the statement $\textsf{NIN}$ (resp. $\textsf{NBI}$ that there is no injection (resp. bijection) from $[0,1]$ to $\mathbb{N}$. On one hand, these principles are hard to prove relative to the usual scale based on comprehension and discontinuous functionals. On the other hand, these principles are among the weakest principles on a new complimentary scale based on (classically valid) continuity axioms from Brouwer's intuitionistic mathematics. We continue the study of $\textsf{NIN}$ and $\textsf{NBI}$ relative to the latter scale, connecting these principles with theorems about Baire classes, metric spaces, and unordered sums. The importance of the first two topics requires no explanation, while the final topic's main theorem, i.e. that when they exist, unordered sums are (countable) series, has the rather unique property of implying $\textsf{NIN}$ formulated with the Cauchy criterion, and (only) $\textsf{NBI}$ when formulated with limits. This study is undertaken within Ulrich Kohlenbach's framework of higher-order Reverse Mathematics.


title: Numerical over-approximation of invariance entropy via finite abstractions

abstract: For a closed-loop control system with a digital channel between the sensor and the controller, the notion of invariance entropy quantifies the smallest average rate of information above which a given compact subset of the state space can be made invariant. There exist different versions of this quantity for deterministic and uncertain systems, which are equivalent in the deterministic case. In this work, we present algorithms for the numerical computation of these two quantities. In particular, given a subset $Q$ of the state set, we first partition it. Then a controller, in the form of a lookup table that assigns a set of control values to each cell of the partition, is computed to enforce invariance of $Q$. After determinizing the controller, a weighted directed graph is constructed. For deterministic systems, the logarithm of the spectral radius of a transition matrix obtained from the graph gives an upper bound of the entropy. For uncertain systems, the maximum mean cycle weight of the graph upper bounds the entropy. With three deterministic examples, for which the exact value of the invariance entropy is known or can be estimated by other means, we demonstrate that the upper bound obtained by our algorithm is of the same order of magnitude as the actual value. Additionally, our algorithm provides a static coder-controller scheme corresponding to the obtained data-rate bound. Finally, we present the computed upper bounds of invariance entropy for an uncertain linear control system as well.


title: Imagining Grounded Conceptual Representations from Perceptual Information in Situated Guessing Games

abstract: In visual guessing games, a Guesser has to identify a target object in a scene by asking questions to an Oracle. An effective strategy for the players is to learn conceptual representations of objects that are both discriminative and expressive enough to ask questions and guess correctly. However, as shown by Suglia et al. (2020), existing models fail to learn truly multi-modal representations, relying instead on gold category labels for objects in the scene both at training and inference time. This provides an unnatural performance advantage when categories at inference time match those at training time, and it causes models to fail in more realistic "zero-shot" scenarios where out-of-domain object categories are involved. To overcome this issue, we introduce a novel "imagination" module based on Regularized Auto-Encoders, that learns context-aware and category-aware latent embeddings without relying on category labels at inference time. Our imagination module outperforms state-of-the-art competitors by 8.26% gameplay accuracy in the CompGuessWhat?! zero-shot scenario (Suglia et al., 2020), and it improves the Oracle and Guesser accuracy by 2.08% and 12.86% in the GuessWhat?! benchmark, when no gold categories are available at inference time. The imagination module also boosts reasoning about object properties and attributes.


title: Domain-independent generation and classification of behavior traces

abstract: Financial institutions mostly deal with people. Therefore, characterizing different kinds of human behavior can greatly help institutions for improving their relation with customers and with regulatory offices. In many of such interactions, humans have some internal goals, and execute some actions within the financial system that lead them to achieve their goals. In this paper, we tackle these tasks as a behavior-traces classification task. An observer agent tries to learn characterizing other agents by observing their behavior when taking actions in a given environment. The other agents can be of several types and the goal of the observer is to identify the type of the other agent given a trace of observations. We present CABBOT, a learning technique that allows the agent to perform on-line classification of the type of planning agent whose behavior is observing. In this work, the observer agent has partial and noisy observability of the environment (state and actions of the other agents). In order to evaluate the performance of the learning technique, we have generated a domain-independent goal-based simulator of agents. We present experiments in several (both financial and non-financial) domains with promising results.


title: Strong interaction of doubly heavy spin-3/2 baryons with light vector mesons

abstract: We calculate the strong coupling constants among the doubly heavy spin-$ \frac{3}{2} $ baryons $\Xi^*_{QQ}$ and $\Omega^*_{QQ}$, with $ Q $ and $ Q' $ being $ c$ or $ b $ quark, with light vector meson by means of the light-cone QCD sum rules. The matrix elements defining these vertices are described by four coupling constants $ g_1$, $ g_2$, $ g_3$, and $ g_4 $. The unwanted pollution coming from the doubly heavy spin-$ \frac{1}{2} $ baryons are removed by a special ordering of Dirac matrices and selection of appropriate Lorentz structures. The strong coupling constants are basic parameters that carry information on the nature of the strong interaction among hadronic multiplets. Investigation of these parameters may help physicists in the construction of the strong potentials among the doubly heavy baryons and light vector mesons. The values obtained for the strong coupling constants may also help experimental groups in analyses of the data produced at various hadron colliders.


title: Asynchronous Deep Model Reference Adaptive Control

abstract: In this paper, we present Asynchronous implementation of Deep Neural Network-based Model Reference Adaptive Control (DMRAC). We evaluate this new neuro-adaptive control architecture through flight tests on a small quadcopter. We demonstrate that a single DMRAC controller can handle significant nonlinearities due to severe system faults and deliberate wind disturbances while executing high-bandwidth attitude control. We also show that the architecture has long-term learning abilities across different flight regimes, and can generalize to fly different flight trajectories than those on which it was trained. These results demonstrating the efficacy of this architecture for high bandwidth closed-loop attitude control of unstable and nonlinear robots operating in adverse situations. To achieve these results, we designed a software+communication architecture to ensure online real-time inference of the deep network on a high-bandwidth computation-limited platform. We expect that this architecture will benefit other deep learning in the closed-loop experiments on robots.


title: Minimum Bayes Risk Training for End-to-End Speaker-Attributed ASR

abstract: Recently, an end-to-end speaker-attributed automatic speech recognition (E2E SA-ASR) model was proposed as a joint model of speaker counting, speech recognition and speaker identification for monaural overlapped speech. In the previous study, the model parameters were trained based on the speaker-attributed maximum mutual information (SA-MMI) criterion, with which the joint posterior probability for multi-talker transcription and speaker identification are maximized over training data. Although SA-MMI training showed promising results for overlapped speech consisting of various numbers of speakers, the training criterion was not directly linked to the final evaluation metric, i.e., speaker-attributed word error rate (SA-WER). In this paper, we propose a speaker-attributed minimum Bayes risk (SA-MBR) training method where the parameters are trained to directly minimize the expected SA-WER over the training data. Experiments using the LibriSpeech corpus show that the proposed SA-MBR training reduces the SA-WER by 9.0 % relative compared with the SA-MMI-trained model.


title: Definable Tietze extension property in o-minimal expansion of ordered group

abstract: The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous function $f:A \rightarrow M$ defined on a definable closed subset of $M^n$ has a definable continuous extension $F:M^n \rightarrow M$.


title: A generalization of the cylinder conjecture for divisible codes

abstract: We extend the original cylinder conjecture on point sets in affine three-dimensional space to the more general framework of divisible linear codes over $\mathbb{F}_q$ and their classification. Through a mix of linear programming, combinatorial techniques and computer enumeration, we investigate the structural properties of these codes. In this way, we can prove a reduction theorem for a generalization of the cylinder conjecture, show some instances where it does not hold and prove its validity for small values of $q$. In particular, we correct a flawed proof for the original cylinder conjecture for $q = 5$ and present the first proof for $q = 7$.


title: Social Media and Political Contributions: The Impact of New Technology on Political Competition

abstract: Political campaigns are among the most sophisticated marketing exercises in the United States. As part of their marketing communication strategy, an increasing number of politicians adopt social media to inform their constituencies. This study documents the returns from adopting a new technology, namely Twitter, for politicians running for Congress by focusing on the change in campaign contributions received. We compare weekly donations received just before and just after a politician opens a Twitter account in regions with high and low levels of Twitter penetration, controlling for politician-month fixed effects. Specifically, over the course of a political campaign, we estimate that the differential effect of opening a Twitter account in regions with high vs low levels of Twitter penetration amounts to an increase of 0.7-2% in donations for all politicians and 1-3.1% for new politicians, who were never elected to the Congress before. In contrast, the effect of joining Twitter for experienced politicians remains negligibly small. We find some evidence consistent with the explanation that the effect is driven by new information about the candidates, e.g., the effect is primarily driven by new donors rather than past donors, by candidates without Facebook accounts and tweeting more informatively. Overall, our findings imply that social media can intensify political competition by lowering costs of disseminating information for new entrants to their constituents and thus may reduce the barriers to enter politics.


title: Double variational principle for mean dimensions with sub-additive potentials

abstract: In this paper, we introduce mean dimension quantities with sub-additive potentials. We define mean dimension with sub-additive potentials and mean metric dimension with sub-additive potentials, and establish a double variational principle for sub-additive potentials.


title: Color confinement and color singlet structure of quantum states in Yang-Mills theory

abstract: We consider two fundamental long-standing problems in quantum chromodynamics (QCD): the origin of color confinement and structure of a true vacuum and color singlet quantum states. There is a common belief that resolution to these problems needs a knowledge of a strict non-perturbative quantum Yang-Mills theory and new ideas. Our principal idea in resolving these problems is that structure of color confinement and color singlet quantum states must be determined by a Weyl symmetry which is an intrinsic symmetry of the Yang-Mills gauge theory, and by properties of a selected class of solutions satisfying special requirements. Following this idea we construct for the first time a space of color singlet one particle quantum states for primary gluons and quarks and reveal the structure of color confinement in quantum Yang-Mills theory. As an application we demonstrate formation of physical observables in a pure QCD, pure glueballs.


title: Anomalous diffusion in nonlinear transformations of the noisy voter model

abstract: Voter models are well known in the interdisciplinary community, yet they haven't been studied from the perspective of anomalous diffusion. In this paper we show that the original voter model exhibits ballistic regime. Non-linear transformations of the observation variable and time scale allows us to observe other regimes of anomalous diffusion as well as normal diffusion. We show that numerical simulation results coincide with derived analytical approximations describing the temporal evolution of the raw moments.


title: On the realization of symplectic algebras and rational homotopy types by closed symplectic manifolds

abstract: We answer a question of Oprea-Tralle on the realizability of symplectic algebras by symplectic manifolds in dimensions divisible by four, along with a question of Lupton-Oprea in all even dimensions. This will also allow us to address, in all even dimensions six and higher, another question of Oprea-Tralle on the possibility of algebraic conditions on the rational homotopy minimal model of a closed smooth manifold implying the existence of a symplectic structure on the manifold.


title: Conservative constraints on the effective theory of dark matter-nucleon interactions from IceCube: the impact of operator interference

abstract: We present a method to derive conservative upper limits on the coupling constants of the effective theory of dark matter-nucleon interactions, taking into account the interference among operators. The method can be applied in any basis, and can be easily particularized to any UV complete model. To illustrate our method, we use the IceCube constraints on an exotic neutrino flux from dark matter annihilations in the Sun to derive conservative upper limits on the dark matter-nucleon coupling constants of the effective theory, as well as to derive conservative upper limits on the dark matter-proton and dark matter-neutron scattering cross-sections.


title: Paralinguistic Privacy Protection at the Edge

abstract: Voice user interfaces and digital assistants are rapidly entering our lives and becoming singular touch points spanning our devices. These always-on services capture and transmit our audio data to powerful cloud services for further processing and subsequent actions. Our voices and raw audio signals collected through these devices contain a host of sensitive paralinguistic information that is transmitted to service providers regardless of deliberate or false triggers. As our emotional patterns and sensitive attributes like our identity, gender, well-being, are easily inferred using deep acoustic models, we encounter a new generation of privacy risks by using these services. One approach to mitigate the risk of paralinguistic-based privacy breaches is to exploit a combination of cloud-based processing with privacy-preserving, on-device paralinguistic information learning and filtering before transmitting voice data. In this paper we introduce EDGY, a configurable, lightweight, disentangled representation learning framework that transforms and filters high-dimensional voice data to identify and contain sensitive attributes at the edge prior to offloading to the cloud. We evaluate EDGY's on-device performance and explore optimization techniques, including model quantization and knowledge distillation, to enable private, accurate and efficient representation learning on resource-constrained devices. Our results show that EDGY runs in tens of milliseconds with 0.2% relative improvement in "zero-shot" ABX score or minimal performance penalties of approximately 5.95% word error rate (WER) in learning linguistic representations from raw voice signals, using a CPU and a single-core ARM processor without specialized hardware.


title: Gleason-Kahane-\.Zelazko theorems in function spaces

abstract: The Gleason-Kahane-\.Zelazko theorem states that a linear functional on a Banach algebra that is non-zero on invertible elements is necessarily a scalar multiple of a character. Recently this theorem has been extended to certain Banach function spaces that are not algebras. In this article we present a brief survey of these extensions.


title: Longitudinal Beam Dynamics in Circular Accelerators

abstract: This paper gives an introduction of longitudinal beam dynamics for circular accelerators. After briefly discussing some types of circular accelerators, it focuses on particle motion in synchrotrons. It summarizes the equations of motion, discusses phase-space matching during beam transfer, and introduces the Hamiltonian of longitudinal motion.


title: Towards Usability Guidelines for the Design of Effective Arabic Websites: Design Practices and Lessons Focusing on Font and Image usage

abstract: The Arabic websites constitute 1% of the web content with more than 225 million viewers and 41% Internet penetration. However, there is a lack of design guidelines related to the selection and use of appropriate font type and size and images in Arabic websites. Both text and images are vital multimedia components of websites and thereby were selected for investigation in this study. The herein paper performed an indepth inspection of font and image design practices within 73 most visited Arabic websites in Saudi Arabia according to Alexa Internet ranking in the first quarter of 2019. Our exhaustive analysis showed discrepancies between the international design recommendations and the actual design of Arabic websites. There was a considerable variation and inconsistency in using font types and sizes between and within the Arabic websites. Arabic Droid Kufi was used mostly for styling page titles and navigation menus, whilst Tahoma was used for styling paragraphs. The font size of the Arabic text ranged from 12 to 16 pixels, which may lead to poor readability. Images were used heavily in the Arabic websites causing prolonged site loading times. Moreover, the images strongly reflected the dimensions of the Saudi culture, especially collectivism and masculinity. Current Arabic web design practices are compared against the findings from past studies about international designs and lessons aiming at ameliorating the Arabic web design are inferred.


title: Approximation by random complex polynomials and random rational functions

abstract: We investigate random compact sets with random functions defined thereon, such as polynomials, rational functions, the pluricomplex Green function and the Siciak extremal function. One surprising consequence of our study is that randomness can be used to `improve' convergence for sequences of functions.


title: QMUL-SDS @ DIACR-Ita: Evaluating Unsupervised Diachronic Lexical Semantics Classification in Italian

abstract: In this paper, we present the results and main findings of our system for the DIACR-ITA 2020 Task. Our system focuses on using variations of training sets and different semantic detection methods. The task involves training, aligning and predicting a word's vector change from two diachronic Italian corpora. We demonstrate that using Temporal Word Embeddings with a Compass C-BOW model is more effective compared to different approaches including Logistic Regression and a Feed Forward Neural Network using accuracy. Our model ranked 3rd with an accuracy of 83.3%.


title: A new example on Lyapunov stability

abstract: The purpose of this paper is to present an example of an Ordinary Differential Equation $x'=F(x)$ in the infinite-dimensional Hilbert space $\ell^2$ with $F$ being of class $\mathcal{C}^1$ in the Fr\'{e}chet sense, such that the origin is an asymptotically stable equilibrium point but the spectrum of the linearized operator $DF(0)$ intersects the half-plane $\Re(z)>0$. The possible existence or not of an example of this kind has been an open question until now, to our knowledge. An analogous example, but of a non-invertible map instead of a flow defined by an ODE was recently constructed by the authors in a recent paper. The two examples use different techniques, but both are based on a classical example in Operator Theory due to S. Kakutani.


title: The complex multi-component outflow of the Seyfert galaxy NGC 7130

abstract: AGN are a key ingredient for understanding galactic evolution. AGN-driven outflows are one of the manifestations of feedback. The AO mode for MUSE at the VLT permits to study the innermost tens of parsecs of nearby AGN in the optical. We present a detailed analysis of the ionised gas in the central regions of NGC 7130, an archetypical composite Seyfert and nuclear starburst galaxy. We achieve an angular resolution of 0.17$^{\prime\prime}$ (50 pc). We performed a multi-component analysis of the main ISM lines and identified nine kinematic components, six of which correspond to the outflow. The outflow is biconic and has velocities of a few $100\,{\rm km\,s^{-1}}$ with respect to the disc. We decompose the approaching side of the outflow into a broad and a narrow component with typical velocity dispersions below and above $\sim200\,{\rm km\,s^{-1}}$, respectively. The blueshifted narrow component has substructure, in particular a collimated plume aligned with the radio jet, indicating that it may be jet-powered. The redshifted lobe is composed of two Narrow Components and a Broad Component. An additional redshifted component is seen outside the main outflow axis. Line ratio diagnostics indicate that the outflow gas in the main axis is AGN-powered whereas the off-axis component has LINER properties. The ionised gas mass outflow rate is $\dot{M}=1.2\pm0.7\,M_{\odot}\,{\rm yr^{-1}}$ and the kinetic power is $\dot{E}_{\rm kin}=(2.7\pm2.0)\times10^{41}\,{\rm erg\,s^{-1}}$, which corresponds to $F_{\rm kin}=0.12\pm0.09\%$ of the bolometric AGN power. The combination of high angular resolution integral field spectroscopy and a careful multi-component decomposition allows a uniquely detailed view of the outflow in NGC 7130, illustrating that AGN kinematics are more complex than traditionally derived from less sophisticated data and analyses. (abridged)


title: Testing General Relativity with Gravitational Waves

abstract: Gravitational-wave sources offer us unique testbeds for probing strong-field, dynamical and nonlinear aspects of gravity. In this chapter, we give a brief overview of the current status and future prospects of testing General Relativity with gravitational waves. In particular, we focus on three theory-agnostic tests (parameterized tests, inspiral-merger-ringdown consistency tests, and gravitational-wave propagation tests) and explain how one can apply such tests to example modified theories of gravity. We conclude by giving some open questions that need to be resolved to carry out more accurate tests of gravity with gravitational waves.


title: Infrared spectroscopy of CK Vulpeculae: revealing a remarkably powerful blast from the past

abstract: CK Vulpeculae, which erupted in AD 1670-71, was long considered to be a nova outburst; however, recent observations have required that alternative scenarios be considered. Long slit infrared spectroscopy of a forbidden line of iron reported here has revealed high line-of-sight velocities ($\sim\pm900$~km~s$^{-1}$) of the ansae at the tips of the bipolar lobes imaged in H$\alpha$ in 2010. The deprojected velocities of the tips are approximately $\pm2130$~km~s$^{-1}$ assuming the previously derived inclination angle of $65^\circ$ for the axis of cylindrical symmetry of the bipolar nebula. Such high velocities are in stark contrast to previous reports of much lower expansion velocities in CK~Vul. Based on the deprojected velocities of the tips and their angular expansion measured over a 10-year baseline, we derive a revised estimate, with estimated uncertainties, of $3.2^{+0.9}_{-0.6}$~kpc for the distance to CK~Vul. This implies that the absolute visual magnitude at the peak of the 1670 explosion was $M_V = -12.4^{+1.3}_{-2.4}$, indicating that the 1670 event was far more luminous than previous estimates and brighter than any classical nova or any Galactic stellar merger. We propose that CK~Vul belongs to the class of Intermediate Luminosity Optical Transients (ILOTs), objects which bridge the luminosity gap between novae and supernovae. While eruptions in lower luminosity ILOTs are attributed to merger events, the origin of the highly luminous ILOT outbursts is currently not known.


title: A lattice gas model for generic one-dimensional Hamiltonian Systems

abstract: We present a three-lane exclusion process that exhibits the same universal fluctuation pattern as generic one-dimensional Hamiltonian dynamics with short-range interactions, viz., with two sound modes in the Kardar-Parisi-Zhang (KPZ) universality class (with dynamical exponent $z=3/2$ and symmetric Pr\"ahofer-Spohn scaling function) and a superdiffusive heat mode with dynamical exponent $z=5/3$ and symmetric L\'evy scaling function. The lattice gas model is amenable to efficient numerical simulation. Our main findings, obtained from dynamical Monte-Carlo simulation, are: (i) The frequently observed numerical asymmetry of the sound modes is a finite time effect. (ii) The mode-coupling calculation of the scale factor for the $5/3$-L\'evy-mode gives at least the right order of magnitude. (iii) There are significant diffusive corrections which are non-universal.


title: Impact of climate change on surface stirring and transport in the Mediterranean Sea

abstract: Understanding how climate change will affect oceanic fluid transport is crucial for environmental applications and human activities. However, a synoptic characterization of the influence of climate change on mesoscale stirring and transport in the surface ocean is missing. To bridge this gap, we exploit a high-resolution, fully-coupled climate model of the Mediterranean basin using a Network Theory approach. We project significant increases of horizontal stirring and kinetic energies in the next century, likely due to increments of available potential energy. The future evolution of basin-scale transport patterns hint at a rearrangement of the main hydrodynamic provinces, defined as regions of the surface ocean that are well-mixed internally but with minimal cross-flow across their boundaries. This results in increased heterogeneity of province sizes and stronger mixing in their interiors. Our approach can be readily applied to other oceanic regions, providing information for the present and future marine spatial planning.


title: Subset Representations and Eigenvalues of the Universal Intertwining Matrix

abstract: We solve a combinatorial question concerning eigenvalues of the universal intertwining endomorphism of a subset representation. This is then applied to justify the evaluation of the Eisenbud-Levine-Khimshiashvili (ELK) signature formula for the gradient index at a degenerate star in arXiv:2001.10882


title: How Lagrangian states evolve into random waves

abstract: In this paper, we consider a compact manifold $(X,d)$ of negative curvature, and a family of semiclassical Lagrangian states $f_h(x) = a(x) e^{\frac{i}{h} \phi(x)}$ on $X$. For a wide family of phases $\phi$, we show that $f_h$, when evolved by the semiclassical Schr\"odinger equation during a long time, resembles a random Gaussian field. This can be seen as an analogue of Berry's random waves conjecture for Lagrangian states.


title: Learning Efficient Task-Specific Meta-Embeddings with Word Prisms

abstract: Word embeddings are trained to predict word cooccurrence statistics, which leads them to possess different lexical properties (syntactic, semantic, etc.) depending on the notion of context defined at training time. These properties manifest when querying the embedding space for the most similar vectors, and when used at the input layer of deep neural networks trained to solve downstream NLP problems. Meta-embeddings combine multiple sets of differently trained word embeddings, and have been shown to successfully improve intrinsic and extrinsic performance over equivalent models which use just one set of source embeddings. We introduce word prisms: a simple and efficient meta-embedding method that learns to combine source embeddings according to the task at hand. Word prisms learn orthogonal transformations to linearly combine the input source embeddings, which allows them to be very efficient at inference time. We evaluate word prisms in comparison to other meta-embedding methods on six extrinsic evaluations and observe that word prisms offer improvements in performance on all tasks.


title: Multiple normalized solutions for a Sobolev critical Schr\"odinger equation

abstract: We study the existence of standing waves, of prescribed $L^2$-norm (the mass), for the nonlinear Schr\"{o}dinger equation with mixed power nonlinearities $$ i \partial_t \phi + \Delta \phi + \mu \phi |\phi|^{q-2} + \phi |\phi|^{2^* - 2} = 0, \quad (t, x) \in R \times R^N, $$ where $N \geq 3$, $\phi: R \times R^N \to C$, $\mu > 0$, $2 < q < 2 + 4/N $ and $2^* = 2N/(N-2)$ is the critical Sobolev exponent. It was already proved that, for small mass, ground states exist and correspond to local minima of the associated Energy functional. It was also established that despite the nonlinearity is Sobolev critical, the set of ground states is orbitally stable. Here we prove that, when $N \geq 4$, there also exist standing waves which are not ground states and are located at a mountain-pass level of the Energy functional. These solutions are unstable by blow-up in finite time. Our study is motivated by a question raised by N. Soave.


title: Raman transitions driven by phase-modulated light in a cavity atom interferometer

abstract: Atom interferometers in optical cavities benefit from strong laser intensities and high-quality wavefronts. The laser frequency pairs that are needed for driving Raman transitions (often generated by phase modulating a monochromatic beam) form multiple standing waves in the cavity, resulting in a periodic spatial variation of the properties of the atom-light interaction along the cavity axis. Here, we model this spatial dependence and calculate two-photon Rabi frequencies and ac Stark shifts. We compare the model to measurements performed with varying cavity and pulse parameters such as cavity offset from the carrier frequency and the longitudinal position of the atom cloud. We show how setting cavity parameters to optimal values can increase the Raman transition efficiency at all positions in the cavity and nearly double the contrast in a Mach-Zehnder cavity atom interferometer in comparison to the unoptimized case.


title: CODER: Knowledge infused cross-lingual medical term embedding for term normalization

abstract: This paper proposes CODER: contrastive learning on knowledge graphs for cross-lingual medical term representation. CODER is designed for medical term normalization by providing close vector representations for different terms that represent the same or similar medical concepts with cross-lingual support. We train CODER via contrastive learning on a medical knowledge graph (KG) named the Unified Medical Language System, where similarities are calculated utilizing both terms and relation triplets from KG. Training with relations injects medical knowledge into embeddings and aims to provide potentially better machine learning features. We evaluate CODER in zero-shot term normalization, semantic similarity, and relation classification benchmarks, which show that CODERoutperforms various state-of-the-art biomedical word embedding, concept embeddings, and contextual embeddings. Our codes and models are available at https://github.com/GanjinZero/CODER.


title: An SMT-Based Approach for Verifying Binarized Neural Networks

abstract: Deep learning has emerged as an effective approach for creating modern software systems, with neural networks often surpassing hand-crafted systems. Unfortunately, neural networks are known to suffer from various safety and security issues. Formal verification is a promising avenue for tackling this difficulty, by formally certifying that networks are correct. We propose an SMT-based technique for verifying Binarized Neural Networks - a popular kind of neural network, where some weights have been binarized in order to render the neural network more memory and energy efficient, and quicker to evaluate. One novelty of our technique is that it allows the verification of neural networks that include both binarized and non-binarized components. Neural network verification is computationally very difficult, and so we propose here various optimizations, integrated into our SMT procedure as deduction steps, as well as an approach for parallelizing verification queries. We implement our technique as an extension to the Marabou framework, and use it to evaluate the approach on popular binarized neural network architectures.


title: Anomalous Sound Detection as a Simple Binary Classification Problem with Careful Selection of Proxy Outlier Examples

abstract: Unsupervised anomalous sound detection is concerned with identifying sounds that deviate from what is defined as 'normal', without explicitly specifying the types of anomalies. A significant obstacle is the diversity and rareness of outliers, which typically prevent us from collecting a representative set of anomalous sounds. As a consequence, most anomaly detection methods use unsupervised rather than supervised machine learning methods. Nevertheless, we will show that anomalous sound detection can be effectively framed as a supervised classification problem if the set of anomalous samples is carefully substituted with what we call proxy outliers. Candidates for proxy outliers are available in abundance as they potentially include all recordings that are neither normal nor abnormal sounds. We experiment with the machine condition monitoring data set of the 2020's DCASE Challenge and find proxy outliers with matching recording conditions and high similarity to the target sounds particularly informative. If no data with similar sounds and matching recording conditions is available, data sets with a larger diversity in these two dimensions are preferable. Our models based on supervised training with proxy outliers achieved rank three in Task 2 of the DCASE2020 Challenge.


title: Large-Scale Vortex Motion and Multiple Plasmoid Ejection Due to Twisting Prominence Threads and Associated Reconnection

abstract: We analyze the characteristics of a quiescent polar prominence using the Atmospheric Imaging Assembly (AIA) onboard the Solar Dynamics Observatory (SDO). Initially, small-scale barb-like structures are evident on the solar disk, which firstly grow vertically and thereafter move towards the south-west limb. Later, a spine connects these barbs and we observe apparent rotating motions in the upper part of the prominence. These apparent rotating motions might play an important role for the evolution and growth of the filament by transferring cool plasma and magnetic twist. The large-scale vortex motion is evident in the upper part of the prominence, and consists of a swirl-like structure within it. The slow motion of the footpoint twists the legs of the prominence due to magnetic shear, causing two different kinds of magnetic reconnection. The internal reconnection is initiated by a resistive tearing-mode instability, which leads to the formation of multiple plasmoids in the elongated current sheet. The estimated growth rate was found to be 0.02--0.05. The magnetic reconnection heats the current sheet for a small duration. However, most of the energy release due to magnetic reconnection is absorbed by the surrounding cool and dense plasma and used to accelerate the plasmoid ejection. The multiple plasmoid ejections destroy the current sheet. Therefore, the magnetic arcades collapse near the X-point. Oppositely directed magnetic arcades may reconnect with the southern segment of the prominence and an elongated thin current sheet is formed. This external reconnection drives prominence eruption.


title: Gate-defined Quantum Point Contact in an InSb Two-dimensional Electron Gas

abstract: We investigate an electrostatically defined quantum point contact in a high-mobility InSb two-dimensional electron gas. Well-defined conductance plateaus are observed, and the subband structure of the quantum point contact is extracted from finite-bias measurements. The Zeeman splitting is measured in both in-plane and out-of-plane magnetic fields. We find an in-plane g factor $|g_{\parallel}^* | \approx$ 40. The out-of-plane g factor is measured to be $|g_{\perp}^* | \approx$ 50, which is close to the g factor in the bulk.


title: Generalized Negative Correlation Learning for Deep Ensembling

abstract: Ensemble algorithms offer state of the art performance in many machine learning applications. A common explanation for their excellent performance is due to the bias-variance decomposition of the mean squared error which shows that the algorithm's error can be decomposed into its bias and variance. Both quantities are often opposed to each other and ensembles offer an effective way to manage them as they reduce the variance through a diverse set of base learners while keeping the bias low at the same time. Even though there have been numerous works on decomposing other loss functions, the exact mathematical connection is rarely exploited explicitly for ensembling, but merely used as a guiding principle. In this paper, we formulate a generalized bias-variance decomposition for arbitrary twice differentiable loss functions and study it in the context of Deep Learning. We use this decomposition to derive a Generalized Negative Correlation Learning (GNCL) algorithm which offers explicit control over the ensemble's diversity and smoothly interpolates between the two extremes of independent training and the joint training of the ensemble. We show how GNCL encapsulates many previous works and discuss under which circumstances training of an ensemble of Neural Networks might fail and what ensembling method should be favored depending on the choice of the individual networks. We make our code publicly available under https://github.com/sbuschjaeger/gncl


title: Stratification of physical parameters in a C-class solar flare using multi-line observations

abstract: We present high-resolution and multi-line observations of a C2-class solar flare, occurred in NOAA AR 12740 on May 6, 2019. The rise, peak and decay phases of the flare were recorded continuously and quasi-simultaneously in the Ca II K line with the CHROMIS instrument, the Ca II 8542 and Fe I 6173 \AA lines with the CRISP instrument at the SST. The observations in the chromospheric Ca II lines exhibit intense brightening near the flare footpoints. At these locations, a non-LTE inversion code was employed to infer the temperature, magnetic field, line-of-sight (LOS) velocity and microturbulent velocity stratification in the flaring atmosphere. During the flare peak time, the LOS velocity shows both upflows and downflows around the flare footpoints in the upper chromosphere and lower chromosphere, respectively. Moreover, the temporal analysis of the LOS magnetic field at the flarepoints exhibits a maximum change of ~600 G. After the flare, the LOS magnetic field decreases to the non-flaring value, exhibiting no permanent or step-wise change. The analysis of response functions to the temperature, LOS magnetic field and velocity shows that the Ca II lines exhibit enhanced sensitivity to the deeper layers (i.e., log_t ~ -3) of the flaring atmosphere, whereas for the non-flaring atmosphere they are mainly sensitive around log_t ~ -4. We suggest that a fraction of the apparent increase in the LOS magnetic field at the flare footpoints may be due to the increase in the sensitivity of the Ca II 8542 \AA line in the deeper layers, where the field strength is relatively stronger. The rest can be due to magnetic field reconfiguration during the flare. Our observations illustrate that even a less intense C-class flare can heat the deeper layers of the solar chromosphere, mainly at the flare footpoints, without affecting the photosphere.


title: Free product of operads and free basis of Lie-admissible operad

abstract: In this paper, we introduce the definition of free product of operads, following the definition of a free product of algebras. There is a given method of finding the basis and dimension of the free product of operads. By anti-commutative operation, Lie-admissible algebra gives Lie algebra. We proved that Lie-admissible operad isomorphic to the free product of Lie and commutative(non-associative) operads.


title: Low-Complexity Models for Acoustic Scene Classification Based on Receptive Field Regularization and Frequency Damping

abstract: Deep Neural Networks are known to be very demanding in terms of computing and memory requirements. Due to the ever increasing use of embedded systems and mobile devices with a limited resource budget, designing low-complexity models without sacrificing too much of their predictive performance gained great importance. In this work, we investigate and compare several well-known methods to reduce the number of parameters in neural networks. We further put these into the context of a recent study on the effect of the Receptive Field (RF) on a model's performance, and empirically show that we can achieve high-performing low-complexity models by applying specific restrictions on the RFs, in combination with parameter reduction methods. Additionally, we propose a filter-damping technique for regularizing the RF of models, without altering their architecture and changing their parameter counts. We will show that incorporating this technique improves the performance in various low-complexity settings such as pruning and decomposed convolution. Using our proposed filter damping, we achieved the 1st rank at the DCASE-2020 Challenge in the task of Low-Complexity Acoustic Scene Classification.


title: Conflicting Bundles: Adapting Architectures Towards the Improved Training of Deep Neural Networks

abstract: Designing neural network architectures is a challenging task and knowing which specific layers of a model must be adapted to improve the performance is almost a mystery. In this paper, we introduce a novel theory and metric to identify layers that decrease the test accuracy of the trained models, this identification is done as early as at the beginning of training. In the worst-case, such a layer could lead to a network that can not be trained at all. More precisely, we identified those layers that worsen the performance because they produce conflicting training bundles as we show in our novel theoretical analysis, complemented by our extensive empirical studies. Based on these findings, a novel algorithm is introduced to remove performance decreasing layers automatically. Architectures found by this algorithm achieve a competitive accuracy when compared against the state-of-the-art architectures. While keeping such high accuracy, our approach drastically reduces memory consumption and inference time for different computer vision tasks.


title: Extremal Effective Field Theories

abstract: Effective field theories (EFT) parameterize the long-distance effects of short-distance dynamics whose details may or may not be known. It is known that EFT coefficients must obey certain positivity constraints if causality and unitarity are satisfied at all scales. We explore those constraints from the perspective of 2 to 2 scattering amplitudes of a light real scalar field, using semi-definite programming to carve out the space of allowed EFT coefficients for a given mass threshold M. We point out that all EFT parameters are bounded both below and above, effectively showing that dimensional analysis scaling is a consequence of causality. This includes the coefficients of four- and six-derivative interactions. We present simple extremal amplitudes which realize, or "rule in", kinks in coefficient space and whose convex hull span a large fraction of the allowed space.


title: Memory effects in glasses: insights into the thermodynamics of out of equilibrium systems revealed by a simple model of the Kovacs effect

abstract: This paper is an extended version of an article accepted for publication in Physical Review E. Besides its fundamental interest, the model that we investigate in this article is simple enough to be used as a basis for courses or tutorials on the thermodynamics of out of equilibrium systems. It allows simple numerical calculations and analytical analysis which highlight important concepts with an easily workable example. This version includes studies of fast cooling and heating, exhibiting cases with negative heat capacity, and further discussions on the entropy which are not presented in the Physical Review E version. Glasses are interesting materials because they allow us to explore the puzzling properties of out-of-equilibrium systems. One of them is the Kovacs effect in which a glass, brought to an out-of-equilibrium state in which all its thermodynamic variables are identical to those of an equilibrium state, nevertheless evolves, showing a hump in some global variable before the thermodynamic variables come back to their starting point. We show that a simple three-state system is sufficient to study this phenomenon using numerical integrations and exact analytical calculations. It also brings some light on the concept of fictive temperature, often used to extend standard thermodynamics to the out-of-equilibrium properties of glasses. We confirm that the concept of a unique fictive temperature is not valid, an show it can be extended to make a connection with the various relaxation processes in the system. The model also brings further insights on the thermodynamics of out-of-equilibrium systems. Moreover we show that the three-state model is able to describe various effects observed in glasses such as the asymmetric relaxation to equilibrium discussed by Kovacs, or the reverse crossover measured on $B_2O_3$.


title: Joint Optimization of Privacy and Cost of in-App Mobile User Profiling and Targeted Ads

abstract: Online mobile advertising ecosystems provide advertising and analytics services that collect, aggregate, process, and trade a rich amount of consumers' personal data and carry out interest-based ad targeting, which raised serious privacy risks and growing trends of users feeling uncomfortable while using the internet services. In this paper, we address users' privacy concerns by developing an optimal dynamic optimisation cost-effective framework for preserving user privacy for profiling, ads-based inferencing, temporal apps usage behavioral patterns, and interest-based ad targeting. A major challenge in solving this dynamic model is the lack of knowledge of time-varying updates during the profiling process. We formulate a mixed-integer optimisation problem and develop an equivalent problem to show that the proposed algorithm does not require knowledge of time-varying updates in user behavior. Following, we develop an online control algorithm to solve the equivalent problem and overcome the difficulty of solving nonlinear programming by decomposing it into various cases and to achieve a trade-off between user privacy, cost, and targeted ads. We carry out extensive experimentations and demonstrate the proposed framework's applicability by implementing its critical components using POC (Proof Of Concept) `System App'. We compare the proposed framework with other privacy-protecting approaches and investigate whether it achieves better privacy and functionality for various performance parameters.


title: Mean value theorem for quantum integral operator with application to sharp Ostrowski inequality

abstract: We derive a version of Lagrange's mean value theorem for quantum calculus. We disprove a version of Ostrowski inequality for quantum calculus appearing in the literature. We derive a correct statement and prove that our new inequality is sharp. We also derive a midpoint inequality.


title: Free Volume Power Law for Transport Properties of Hard Sphere Fluid

abstract: This paper presents a study on the relationship between transport properties and geometric free volume for hard sphere (HS) system in dense fluid region. Firstly, a generic free volume distribution function is proposed based on recent simulation results for the HS geometric free volume by Maiti et al. [1,2] Combining the new distribution function with a local particle transportation model, we obtain a power law for the HS transport properties. Then a relation between the geometric free volume and thermodynamic free volume is established, which makes it possible to use well-developed equations of state (EoS) for the expressions of the geometric free volume. The new power law models are tested with molecular dynamic (MD) simulation results for HS viscosity, diffusivity and thermal conductivity, respectively and the results are very satisfactory. Using the power law we are able to reproduce several equations obtained from different approaches, such as the entropy scaling laws [3], mode coupling theory [4] or empirical correlations [5]. In particular, A long-standing controversy regarding the well known Cohen-Turnbull-Doolittle free volume model [6,7] is resolved by using the power law combined with an EoS.


title: Measuring Data Collection Diligence for Community Healthcare

abstract: Data analytics has tremendous potential to provide targeted benefit in low-resource communities, however the availability of high-quality public health data is a significant challenge in developing countries primarily due to non-diligent data collection by community health workers (CHWs). In this work, we define and test a data collection diligence score. This challenging unlabeled data problem is handled by building upon domain expert's guidance to design a useful data representation of the raw data, using which we design a simple and natural score. An important aspect of the score is relative scoring of the CHWs, which implicitly takes into account the context of the local area. The data is also clustered and interpreting these clusters provides a natural explanation of the past behavior of each data collector. We further predict the diligence score for future time steps. Our framework has been validated on the ground using observations by the field monitors of our partner NGO in India. Beyond the successful field test, our work is in the final stages of deployment in the state of Rajasthan, India.


title: Poincar\'e profiles of Lie groups and a coarse geometric dichotomy

abstract: Poincar\'e profiles are a family of analytically defined coarse invariants, which can be used as obstructions to the existence of coarse embeddings between metric spaces. In this paper we calculate the Poincar\'e profiles of all connected unimodular Lie groups, Baumslag-Solitar groups and Thurston geometries, demonstrating two substantially different types of behaviour. In the case of Lie groups, we obtain a dichotomy which extends both the dichotomy separating rank one and higher rank semisimple Lie groups and the dichotomy separating connected solvable unimodular Lie groups of polynomial and exponential growth. We provide equivalent algebraic, quasi-isometric and coarse geometric formulations of this dichotomy. Our results have many consequences for coarse embeddings, for instance we deduce that for groups of the form $N\times S$, where $N$ is a connected nilpotent Lie group, and $S$ is a simple Lie group of real rank 1, both the growth exponent of $N$, and the Ahlfors-regular conformal dimension of $S$ are non-decreasing under coarse embeddings. These results are new even in the quasi-isometric setting and give obstructions to quasi-isometric embeddings which in many cases are stronger than those previously obtained by Buyalo-Schroeder.


title: Optimization of Virtual Networks

abstract: We introduce a general and comprehensive model for the design and optimization of Virtual Networks, and for the related concept of Network Slicing. The model is flexible, so that by adjusting some of its elements, it can accommodate many different specific cases of importance. Yet, surprisingly, it still allows efficient optimization, in the sense that the global optimum can be well approximated by efficient algorithms.


title: Local Structure of Sprinkled Causal Sets

abstract: We describe numerical and analytical investigations of causal sets sprinkled into spacetime manifolds. The first part of the paper is a numerical study of finite causal sets sprinkled into Alexandrov subsets of Minkowski spacetime of dimensions $1 + 1$, $1 + 2$ and $1 + 3$. In particular we consider the rank 2 past of sprinkled causet events, which is the set of events that are two links to the past. Assigning one of the rank 2 past events as `preferred past' for each event yields a `preferred past structure', which was recently proposed as the basis for a causal set d'Alembertian. We test six criteria for selecting rank 2 past subsets. One criterion performs particularly well at uniquely selecting -- with very high probability -- a preferred past satisfying desirable properties. The second part of the paper concerns (infinite) sprinkled causal sets for general spacetime manifolds. After reviewing the construction of the sprinkling process with the Poisson measure, we consider various specific applications. Among other things, we compute the probability of obtaining a sprinkled causal set of a given isomorphism class by combinatorial means, using a correspondence between causal sets in Alexandrov subsets of $1 + 1$ dimensional Minkowski spacetime and 2D-orders. These methods are also used to compute the expected size of the past infinity as a proportion of the total size of a sprinkled causal set.


title: Absence of Barren Plateaus in Quantum Convolutional Neural Networks

abstract: Quantum neural networks (QNNs) have generated excitement around the possibility of efficiently analyzing quantum data. But this excitement has been tempered by the existence of exponentially vanishing gradients, known as barren plateau landscapes, for many QNN architectures. Recently, Quantum Convolutional Neural Networks (QCNNs) have been proposed, involving a sequence of convolutional and pooling layers that reduce the number of qubits while preserving information about relevant data features. In this work we rigorously analyze the gradient scaling for the parameters in the QCNN architecture. We find that the variance of the gradient vanishes no faster than polynomially, implying that QCNNs do not exhibit barren plateaus. This provides an analytical guarantee for the trainability of randomly initialized QCNNs, which highlights QCNNs as being trainable under random initialization unlike many other QNN architectures. To derive our results we introduce a novel graph-based method to analyze expectation values over Haar-distributed unitaries, which will likely be useful in other contexts. Finally, we perform numerical simulations to verify our analytical results.


title: Special cases of the Multi-Measure Model -- understanding the prolonged inflation

abstract: The multi-measure model (MMM), in which one modifies the action to include both the Riemannian measure and a non-Riemannian one, has proven to be able to produce viable Universe evolution scenarios. In this article we consider two special cases of the multi-measure model, in which we first decouple the two kinetic terms in the Lagrangian entirely and later remove the dark charge of the model. We show numerically that those special cases still possess the needed evolutionary stages of the Universe and furthermore, for them one can obtain a sufficient number of e-folds of the early inflation. In the first case, the inflaton still moves backwards on the effective potential during inflation, while in the second, it does not, meaning that this behavior comes from the dark charge. We connect the model with hyperinflationary models and investigate how the different epochs are born from the interplay between the two scalar fields. We demonstrate that there is a dynamically induced slow-roll epoch, which is prolonged by the complicated movement of the two scalars in the field space. Finally, we show that while the adiabatic speed of sound can become imaginary, the phase speed of sound remains real.


title: Effective finiteness of solutions to certain differential and difference equations

abstract: For R(z, w) rational with complex coefficients, of degree at least 2 in w, we show that the number of rational functions f(z) solving the difference equation f(z+1)=R(z, f(z)) is finite and bounded just in terms of the degrees of R in the two variables. This complements a result of Yanagihara, who showed that any finite-order meromorphic solution to this sort of difference equation must be a rational function. We prove a similar result for the differential equation f'(z)=R(z, f(z)), building on a result of Eremenko.


title: Nanorods based on mesoporous silica containing iron oxide nanoparticles as catalytic nanomotors: study of motion dynamics

abstract: Self-propelled particles and, in particular, those based on mesoporous silica, have raised considerable interest due to their potential applications in the environmental and biomedical fields thanks to their biocompatibility, tunable surface chemistry and large porosity. Although spherical particles have been widely used to fabricate nano- and micromotors, not much attention has been paid to other geometries, such as nanorods. Here, we report the fabrication of self-propelled mesoporous silica nanorods (MSNRs) that move by the catalytic decomposition of hydrogen peroxide by a sputtered Pt layer, Fe2O3 nanoparticles grown within the mesopores, or the synergistic combination of both. We show that motion can occur in two distinct sub-populations characterized by two different motion dynamics, namely enhanced diffusion or directional propulsion, especially when both catalysts are used. These results open up the possibility of using MSNRs as chassis for the fabrication of self-propelled particles for the environmental or biomedical fields.


title: On the Information Complexity of Proper Learners for VC Classes in the Realizable Case

abstract: We provide a negative resolution to a conjecture of Steinke and Zakynthinou (2020a), by showing that their bound on the conditional mutual information (CMI) of proper learners of Vapnik--Chervonenkis (VC) classes cannot be improved from $d \log n +2$ to $O(d)$, where $n$ is the number of i.i.d. training examples. In fact, we exhibit VC classes for which the CMI of any proper learner cannot be bounded by any real-valued function of the VC dimension only.


title: Drug design principles from electric field calculations: understanding SARS-CoV-2 main protease interaction with X77 non-covalent inhibitor

abstract: Fast and effective drug discovery processes rely on rational drug design to circumvent the tedious and expensive trial and error approach. However, accurate predictions of new remedies, which are often enzyme inhibitors, require a clear understanding of the nature and function of the key players governing the interaction between the drug candidate and its target. Here, we propose to calculate electric fields to explicitly link structure to function in molecular dynamics simulations, a method that can easily be integrated within the rational drug discovery workflow. By projecting the electric fields onto specific bonds, we can identify the system components that are at the origin of stabilizing intermolecular interactions (covalent and non-covalent) in the active site. This helps to significantly narrow the exploration space when predicting new inhibitors. To illustrate this method, we characterize the binding of the non-covalent inhibitor X77 to the main protease of SARS-CoV-2, a particularly time-sensitive drug discovery problem. With electric field calculations, we were able to identify 3 key residues (Asn-142, Met-165 and Glu-166), that have functional consequences on X77. This contrasts with the nearly 20 residues reported in previous studies as being in close contact with inhibitors in the active site of the protease. As a result, the search for new non-covalent inhibitors can now be accelerated by techniques that look to optimize the interaction between candidate molecules and these residues.


title: A connection between cut locus, Thom space and Morse-Bott functions

abstract: Associated to every closed, embedded submanifold $N$ in a connected Riemannian manifold $M$, there is the distance function $d_N$ which measures the distance of a point in $M$ from $N$. We analyze the square of this function and show that it is Morse-Bott on the complement of the cut locus $\mathrm{Cu}(N)$ of $N$, provided $M$ is complete. Moreover, the gradient flow lines provide a deformation retraction of $M-\mathrm{Cu}(N)$ to $N$. If $M$ is a closed manifold, then we prove that the Thom space of the normal bundle of $N$ is homeomorphic to $M/\mathrm{Cu}(N)$. We also discuss several interesting results which are either applications of these or related observations regarding the theory of cut locus. These results include, but are not limited to, a computation of the local homology of singular matrices, a classification of the homotopy type of the cut locus of a homology sphere inside a sphere, a deformation of the indefinite unitary group $U(p,q)$ to $U(p)\times U(q)$ and a geometric deformation of $GL(n,\mathbb{R})$ to $O(n,\mathbb{R})$ which is different from the Gram-Schmidt retraction.


title: A backscattering dominated prompt emission model for the prompt phase of Gamma ray bursts

abstract: As gamma-ray burst (GRB) jet drills its way through the collapsing star, it traps a baryonic cork ahead of it. Here we explore a prompt emission model for GRBs in which the jet does not cross the cork, but rather photons that are emitted deep in the flow largely by pair annihilation are scattered inside the expanding cork and escape largely from the back end of it as they push it from behind. Due to the relativistic motion of the cork, these photons are easily seen by an observer close to the jet axis peaking at $\varepsilon_{peak}\sim~few \times 100 keV$. We show that this model naturally explains several key observational features including: (1) High energy power law index $\beta_1 \sim -2 {~\rm to~} -5$ with an intermediate thermal spectral region; (2) decay of the prompt emission light curve as $\sim t^{-2}$; (3) Delay of soft photons; (4) peak energy - isotropic energy (the so-called Amati) correlation, $\varepsilon_{peak} \sim \varepsilon_{iso}^m$, with $m\sim 0.45$, resulting from different viewing angles. At low luminosities, our model predicts an observable turn off in the Amati relation. (4) An anti-correlation between the spectral full width half maxima (FWHM) and time as $t^{-1}$. (5) Temporal evolution $\varepsilon_{peak} \sim t^{-1}$, accompanied by an increase of the high energy spectral slope with time. (6) Distribution of peak energies $\varepsilon_{peak}$ in the observed GRB population. The model is applicable for a single pulse GRB lightcurves and respective spectra. We discuss the consequence of our model in view of the current and future prompt emission observations.


title: The simplest minimal free resolutions in ${\mathbb{P}^1 \times \mathbb{P}^1}$

abstract: We study the minimal bigraded free resolution of an ideal with three generators of the same bidegree, contained in the bihomogeneous maximal ideal $ \langle s,t\rangle \cap \langle u,v \rangle$ of the bigraded ring K[s,t;u,v]. Our analysis involves tools from algebraic geometry (Segre-Veronese varieties), classical commutative algebra (Buchsbaum-Eisenbud criteria for exactness, Hilbert-Burch theorem), and homological algebra (Koszul homology, spectral sequences). We treat in detail the case in which the bidegree is (1,n). We connect our work to a conjecture of Fr\"oberg-Lundqvist on bigraded Hilbert functions, and close with a number of open problems.


title: Solutions to difference equations have few defects

abstract: We demonstrate a strong form of Nevanlinna's Second Main Theorem for solutions to difference equations f(z+1)=R(z, f(z)), with the coefficients of R growing slowly relative to f, and R of degree at least 2 in the second coordinate.


title: Irreversibility in active matter: General framework for active Ornstein-Uhlenbeck particles

abstract: Active matter systems are driven out of equilibrium by conversion of energy into directed motion locally on the level of the individual constituents. In the spirit of a minimal description, active matter is often modeled by so-called active Ornstein-Uhlenbeck particles (AOUPs), an extension of passive Brownian motion where activity is represented by an additional fluctuating non-equilibrium "force" with simple statistical properties (Ornstein-Uhlenbeck process). While in passive Brownian motion, entropy production along trajectories is well-known to relate to irreversibility in terms of the log-ratio of probabilities to observe a certain particle trajectory forward in time in comparison to observing its time-reversed twin trajectory, the connection between these concepts for active matter is less clear. It is therefore of central importance to provide explicit expressions for the irreversibility of active particle trajectories based on measurable quantities alone, such as the particle positions. In this technical note, we derive a general expression for the irreversibility of AOUPs in terms of path probability ratios (forward versus backward path), extending recent results from [PRX 9, 021009 (2019)] by allowing for arbitrary initial particle distributions and states of the active driving.


title: Serial Electron Diffraction Data Processing with diffractem and CrystFEL

abstract: Serial electron diffraction (SerialED) is an emerging technique, which applies the snapshot data-collection mode of serial X-ray crystallography to three-dimensional electron diffraction (3D ED), forgoing the conventional rotation method. Similarly to serial X-ray crystallography, this approach leads to almost complete absence of radiation damage effects even for the most sensitive samples, and allows for a high level of automation. However, SerialED also necessitates new techniques of data processing, which combine existing pipelines for rotation electron diffraction and serial X-ray crystallography with some more particular solutions for challenges arising in SerialED specifically. Here, we introduce our analysis pipeline for SerialED data, and its implementation using the CrystFEL and diffractem program packages. Detailed examples are provided in extensive supplementary code.


title: Some experimental schemes to identify quantum spin liquids

abstract: Despite the apparent ubiquity and variety of quantum spin liquids in theory, experimental confirmation of spin liquids remains to be a huge challenge. Motivated by the recent surge of evidences for spin liquids in a series of candidate materials, we highlight the experimental schemes, involving the thermal Hall transport and spectrum measurements, that can result in smoking-gun signatures of spin liquids beyond the usual ones. For clarity, we investigate the square lattice spin liquids and theoretically predict the possible phenomena that may emerge in the corresponding spin liquids candidates. The mechanisms for these signatures can be traced back to either the intrinsic characters of spin liquids or the external field-driven behaviors. Our conclusion does not depend on the geometry of lattices and can broadly apply to other relevant spin liquids.


title: Optimal solution of the liquidation problem under execution risk

abstract: We consider an investor that trades continuously and wants to liquidate an initial asset position within a prescribed time interval. During the execution of the liquidation order the investor is subject to execution risk. We study the problem of finding the optimal liquidation strategy adopted by the investor in order to maximize the expected revenue resulting from the liquidation. We present a mathematical model of the liquidation problem that extends the model of Almgren and Chriss (Almgren, R., Chriss, N., Optimal execution of portfolio transactions, Journal of Risk, 2000) to include execution risk. The liquidation problem is modeled as a linear quadratic stochastic optimal control problem with finite horizon and, under some hypotheses, is solved explicitly.