title: Large Scale Interactive Motion Forecasting for Autonomous Driving : The Waymo Open Motion Dataset

abstract: As autonomous driving systems mature, motion forecasting has received increasing attention as a critical requirement for planning. Of particular importance are interactive situations such as merges, unprotected turns, etc., where predicting individual object motion is not sufficient. Joint predictions of multiple objects are required for effective route planning. There has been a critical need for high-quality motion data that is rich in both interactions and annotation to develop motion planning models. In this work, we introduce the most diverse interactive motion dataset to our knowledge, and provide specific labels for interacting objects suitable for developing joint prediction models. With over 100,000 scenes, each 20 seconds long at 10 Hz, our new dataset contains more than 570 hours of unique data over 1750 km of roadways. It was collected by mining for interesting interactions between vehicles, pedestrians, and cyclists across six cities within the United States. We use a high-accuracy 3D auto-labeling system to generate high quality 3D bounding boxes for each road agent, and provide corresponding high definition 3D maps for each scene. Furthermore, we introduce a new set of metrics that provides a comprehensive evaluation of both single agent and joint agent interaction motion forecasting models. Finally, we provide strong baseline models for individual-agent prediction and joint-prediction. We hope that this new large-scale interactive motion dataset will provide new opportunities for advancing motion forecasting models.


title: Egalitarian and Congestion Aware Truthful Airport Slot Allocation Mechanism

abstract: We propose a mechanism to allocate slots fairly at congested airports. This mechanism: (a) ensures that the slots are allocated according to the true valuations of airlines, (b) provides fair opportunities to the flights connecting remote cities to large airports, and (c) controls the number of flights in each slot to minimize congestion. The mechanism draws inspiration from economic theory. It allocates the slots based on an affine maximizer allocation rule and charges payments to the airlines such that they are incentivized to reveal their true valuations. The allocation also optimizes the occupancy of every slot to keep them as uncongested as possible. The formulation solves an optimal integral solution in strongly polynomial time. We conduct experiments on the data collected from two major airports in India. We also compare our results with existing allocations and also with the allocations based on the International Air Transport Association (IATA) guidelines. The computational results show that the social utility generated using our mechanism is 20-30% higher than IATA and current allocations.


title: HASFC: a MANO-compliant Framework for Availability Management of Service Chains

abstract: Most softwarized telco services are conveniently framed as Service Function Chains (SFCs). Indeed, being structured as a combination of interconnected nodes, service chains may suffer from the single point of failure problem, meaning that an individual node malfunctioning could compromise the whole chain operation. To guarantee "highly available" (HA) levels, service providers are required to introduce redundancy strategies to achieve specific availability demands, where cost constraints have to be taken into account as well. Along these lines we propose HASFC (standing for High Availability SFC), a framework designed to support, through a dedicated REST interface, the MANO infrastructure in deploying SFCs with an optimal availability-cost trade off. Our framework is equipped with: i) an availability model builder aimed to construct probabilistic models of the SFC nodes in terms of failure and repair actions; ii) a chaining and selection module to compose the possible redundant SFCs, and extract the best candidates thereof. Beyond providing architectural details, we demonstrate the functionalities of HASFC through a use case which considers the IP Multimedia Subsystem, an SFC-like structure adopted to manage multimedia contents within 4G and 5G networks.


title: Prospects for Simulating a Qudit Based Model of (1+1)d Scalar QED

abstract: We present a gauge invariant digitization of $(1+1)$d scalar quantum electrodynamics for an arbitrary spin truncation for qudit-based quantum computers. We provide a construction of the Trotter operator in terms of a universal qudit-gate set. The cost savings of using a qutrit based spin-1 encoding versus a qubit encoding are illustrated. We show that a simple initial state could be simulated on current qutrit based hardware using noisy simulations for two different native gate set.


title: Alignment facility and software for single crystal time of flight neutron spectroscopy

abstract: An instrument and software algorithm is described for the purpose of characterization of large single crystals at the Alignment Facility (ALF) of the ISIS spallation neutron source. We describe a method for both characterizing the quality of the sample and also aligning it in a particular scattering plane. We present a software package written for this instrument and demonstrate its utility by way of an example of the structural characterization of large singles crystals of Pb(Mg$_{1/3}$Nb$_{2/3}$)O$_{3}$. We suggest extensions and modifications of characterization instruments for future improved beamlines. It is hoped that this software will be used by the neutron user community for pre characterizing large single crystals for spectroscopy experiments and that future facilities will include such a facility as part of the spectroscopy suite at spallation neutron sources.


title: Coherent phonon spectroscopy and interlayer modulation of charge density wave order in the kagome metal CsV$_3$Sb$_5$

abstract: The recent discovery of the $A$V$_3$Sb$_5$ ($A=$ K, Rb, Cs) material family offers an exciting opportunity to investigate the interplay of correlations, topology, and superconductivity in kagome metals. The low energy physics of these materials is dominated by an unusual charge density wave phase, but little is understood about the true nature of the order parameter. In this work, we use a combination of ultrafast coherent phonon spectroscopy and first-principles density functional theory calculations to investigate the charge density wave order in CsV$_3$Sb$_5$. We find that the charge density wave is the result of a simultaneous condensation of three optical phonon modes at one $M$ and two $L$ points. This distortion can be described as tri-hexagonal ordering with an interlayer modulation along the $c$ axis. It breaks the $C_6$ rotational symmetry of the crystal and may offer a natural explanation for reports of uniaxial order at lower temperatures in this material family.


title: Towards Solving Multimodal Comprehension

abstract: This paper targets the problem of procedural multimodal machine comprehension (M3C). This task requires an AI to comprehend given steps of multimodal instructions and then answer questions. Compared to vanilla machine comprehension tasks where an AI is required only to understand a textual input, procedural M3C is more challenging as the AI needs to comprehend both the temporal and causal factors along with multimodal inputs. Recently Yagcioglu et al. [35] introduced RecipeQA dataset to evaluate M3C. Our first contribution is the introduction of two new M3C datasets- WoodworkQA and DecorationQA with 16K and 10K instructional procedures, respectively. We then evaluate M3C using a textual cloze style question-answering task and highlight an inherent bias in the question answer generation method from [35] that enables a naive baseline to cheat by learning from only answer choices. This naive baseline performs similar to a popular method used in question answering- Impatient Reader [6] that uses attention over both the context and the query. We hypothesized that this naturally occurring bias present in the dataset affects even the best performing model. We verify our proposed hypothesis and propose an algorithm capable of modifying the given dataset to remove the bias elements. Finally, we report our performance on the debiased dataset with several strong baselines. We observe that the performance of all methods falls by a margin of 8% - 16% after correcting for the bias. We hope these datasets and the analysis will provide valuable benchmarks and encourage further research in this area.


title: Multiplicities and Betti numbers in local algebra via lim Ulrich points

abstract: This work concerns finite free complexes with finite length homology over a commutative noetherian local ring $R$. The focus is on complexes that have length $\mathrm{dim}\, R$, which is the smallest possible value, and in particular on free resolutions of modules of finite length and finite projective dimension. Lower bounds are obtained on the Euler characteristic of such short complexes when $R$ is a strict complete intersection, and also on the Dutta multiplicity, when $R$ is the localization at its maximal ideal of a standard graded algebra over a field of positive prime characteristic. The key idea in the proof is the construction of a suitable Ulrich module, or, in the latter case, a sequence of modules that have the Ulrich property asymptotically, and with good convergence properties in the rational Grothendieck group of $R$. Such a sequence is obtained by constructing an appropriate sequence of sheaves on the associated projective variety.


title: An Overview of Federated Learning at the Edge and Distributed Ledger Technologies for Robotic and Autonomous Systems

abstract: Autonomous systems are becoming inherently ubiquitous with the advancements of computing and communication solutions enabling low-latency offloading and real-time collaboration of distributed devices. Decentralized technologies with blockchain and distributed ledger technologies (DLTs) are playing a key role. At the same time, advances in deep learning (DL) have significantly raised the degree of autonomy and level of intelligence of robotic and autonomous systems. While these technological revolutions were taking place, raising concerns in terms of data security and end-user privacy has become an inescapable research consideration. Federated learning (FL) is a promising solution to privacy-preserving DL at the edge, with an inherently distributed nature by learning on isolated data islands and communicating only model updates. However, FL by itself does not provide the levels of security and robustness required by today's standards in distributed autonomous systems. This survey covers applications of FL to autonomous robots, analyzes the role of DLT and FL for these systems, and introduces the key background concepts and considerations in current research.


title: Strong solutions to beta-Jacobi processes

abstract: The purpose of this paper is to study the existence and uniqueness of solutions to a system of Stochastic Differential Equations (SDEs). The coordinates are bounded by zero and one, and repulse each other according to a Coulombian like interaction force. We show the existence of strong and pathwise unique solutions to the system until the first multiple collision at zero or one, and give a sufficient condition on the parameters of the SDEs for this multiple collision not to occur in finite time.


title: Superconductivity of $\beta$-Gallium

abstract: Elemental gallium can exist in several phases under ambient conditions. The stable $\alpha$ phase has a superconducting transition temperature, $T_c$, of 0.9~K. By contrast, the $T_c$ of the metastable $\beta$ phase is around 6~K. To understand the significant improvement in $T_c$ in the $\beta$ phase, we first calculate the electronic structure, phonon dispersion, and the electron-phonon coupling of gallium in the $\alpha$ and $\beta$ phase. Next, we solve the Eliashberg equations to obtain the superconducting gaps and the transition temperatures. Using these results, we relate the increased $T_c$ in the $\beta$ phase to structural differences between the phases that affect the electronic and phonon properties. The structure motif of the $\alpha$ phase is Ga$_2$ dimers, which form strong covalent bonds leading to bonding and antibonding states that suppress the density of states at the Fermi level. The $\beta$-Ga structure consists of arrays of Ga chains that favor strong coupling between the lattice vibrations and the electronic states near the Fermi level. The increased density of states and strong coupling to the phonons for the $\beta$-Ga chains compared to the $\alpha$ Ga$_2$ dimers enhance superconductivity in the $\beta$-Ga phase.


title: Structural and topological changes across the liquid-liquid transition in water

abstract: It has recently been shown that the TIP4P/Ice model of water can be studied numerically in metastable equilibrium at and below its liquid-liquid critical temperature. We report here simulations along a subcritical isotherm, for which two liquid states with the same pressure and temperature, but different density, can be equilibrated. This allows for a clear visualisation of the structural changes taking place across the transition. We specifically focus on how the topological properties of the H-bond network change across the liquid-liquid transition. Our results demonstrate that the structure of the high-density liquid, characterised by the existence of interstitial molecules and commonly explained in terms of the collapse of the second neighbour shell, actually originates from the folding back of long rings, bringing pairs of molecules separated by several hydrogen-bonds close by in space.


title: Bulk superconductivity in FeTe$_{1-x}$Se$_{x}$ via physicochemical pumping of excess iron

abstract: The iron-based superconductor FeTe$_{1-x}$Se$_{x}$ has attracted considerable attention as a candidate topological superconductor owing to a unique combination of topological surface states and bulk high-temperature superconductivity. The superconducting properties of as-grown single crystals, however, are highly variable and synthesis dependent due to excess interstitial iron impurities incorporated during growth. Here we report a novel physicochemical process for pumping this interstitial iron out of the FeTe$_{1-x}$Se$_{x}$ matrix and achieving bulk superconductivity. Our method should have significant value for the synthesis of high-quality single crystals of FeTe$_{1-x}$Se$_{x}$ with large superconducting volume fractions.


title: Linear PDE with Constant Coefficients

abstract: We discuss practical methods for computing the space of solutions to an arbitrary homogeneous linear system of partial differential equations with constant coefficients. These rest on the Fundamental Principle of Ehrenpreis-Palamodov from the 1960s. We develop this further using recent advances in computational commutative algebra.


title: Understanding the Context of IoT Software Systems in DevOps

abstract: The growing demand for connected devices and the increase in investments in the Internet of Things (IoT) sector induce the growth of the market for this technology. IoT permeates all areas of life of an individual, from smartwatches to entire home assistants and solutions in different areas. The IoT concept is gradually increasing all over the globe. IoT projects induce an articulation of studies in software engineering to prepare the development and operation of software systems materialized in physical objects and structures interconnected with embedded software and hosted in clouds. IoT projects have boundaries between development and operation stages. This study search for evidence in scientific literature to support these boundaries through Development and Operations (DevOps) principles. We rely on a Systematic Literature Review to investigate the relations of DevOps in IoT software systems. As a result, we identify concepts, characterize the benefits and challenges in the context of knowledge previously reported in primary studies in the literature. The main contributions of this paper are: (i) discussion of benefits and challenges for DevOps in IoT software systems, (ii) identification of tools, concepts, and programming languages used, and, (iii) perceived pipeline for this kind of software development.


title: $S$-matrix approach to general gravity and beyond

abstract: In this text we outline the motivation for developping a quantum $S$-matrix approach for the classical gravitational two-body scattering. As an application we briefly present the derivation of black-hole metrics in various dimensions.


title: Ground State Phase Diagram of the $t$-$t'$-$J$ model

abstract: We report results of large scale ground state density matrix renormalization group(DMRG) calculations on $t$-$t'$-$J$ cylinders with circumferences 6 and 8. We determine a rough phase diagram which appears to approximate the 2D system. While for many properties, positive and negative $t'$ values ($t'/t = \pm 0.2$) appear to correspond to electron and hole doped cuprate systems, respectively, the behavior of superconductivity itself shows an inconsistency between the model and the materials. The $t'<0$ (hole doped) region shows antiferromagnetism limited to very low doping, stripes more generally, and the familiar Fermi-surface of the hole doped cuprates. However, we find $t'<0$ strongly suppresses superconductivity. The $t'>0$ (electron doped) region shows the expected circular Fermi pocket of holes around the $(\pi,\pi)$ point and a broad low-doped region of coexisting antiferromagnetism and $d$-wave pairing with a strong triplet $p$ component at wave-vector $(\pi,\pi)$ induced by the antiferromagnetism and $d$-wave pairing. The pairing for the electron low-doped system with $t'>0$ is strong and unambiguous in the DMRG simulations. At larger doping another broad region with stripes in addition to weaker $d$-wave pairing and striped $p$-wave pairing appears. In a small doping region near $x=0.08$ for $t'\sim-0.2$, we find a new type of stripe involving unpaired holes located predominantly on chains spaced three lattice spacings apart. The undoped two-leg ladder regions in between mimic the short-ranged spin correlations seen in two-leg Heisenberg ladders.


title: Bayesian subset selection and variable importance for interpretable prediction and classification

abstract: Subset selection is a valuable tool for interpretable learning, scientific discovery, and data compression. However, classical subset selection is often avoided due to selection instability, lack of regularization, and difficulties with post-selection inference. We address these challenges from a Bayesian perspective. Given any Bayesian predictive model $\mathcal{M}$, we extract a family of near-optimal subsets of variables for linear prediction or classification. This strategy deemphasizes the role of a single "best" subset and instead advances the broader perspective that often many subsets are highly competitive. The acceptable family of subsets offers a new pathway for model interpretation and is neatly summarized by key members such as the smallest acceptable subset, along with new (co-) variable importance metrics based on whether variables (co-) appear in all, some, or no acceptable subsets. More broadly, we apply Bayesian decision analysis to derive the optimal linear coefficients for any subset of variables. These coefficients inherit both regularization and predictive uncertainty quantification via $\mathcal{M}$. For both simulated and real data, the proposed approach exhibits better prediction, interval estimation, and variable selection than competing Bayesian and frequentist selection methods. These tools are applied to a large education dataset with highly correlated covariates. Our analysis provides unique insights into the combination of environmental, socioeconomic, and demographic factors that predict educational outcomes, and identifies over 200 distinct subsets of variables that offer near-optimal out-of-sample predictive accuracy.


title: On the Problem of Time(s) in Quantum Mechanics and Quantum Gravity: recent integrating developments and outlook

abstract: Canonical quantization applied to closed systems leads to static equations, the Wheeler-deWitt equation in Quantum Gravity and the time independent Schr\"odinger equation in Quantum Mechanics. How to restore time is the Problem of Time(s). Integrating developments are: a) entanglement of a microscopic system with its classical environment accords it a time evolution description, the time dependent Schr\"odinger equation, where t is the laboratory time measured by clocks; b) canonical quantization of Special Relativity yields both the Dirac Hamiltonian and a self adjoint "time" operator, restoring to position and time the equivalent footing accorded to energy and momentum in Relativistic Quantum Mechanics. It introduces an intrinsic time property {\tau} associated with the mass of the system, and a basis additional to the usual configuration, momentum and energy basis. As a generator of momentum displacements and consequently of energy, it invalidates Pauli's objection to the existence of a time operator. It furthermore complies with the requirements to condition the other observables in the conditional interpretation of QG. As Pauli's objection figures explicit or implicitly in most current developments of QM and QG, its invalidation opens to research the effect of this new two times perspective on such developments.


title: Computing homotopy classes for diagrams

abstract: We present an algorithm that, given finite simplicial sets $X$, $A$, $Y$ with an action of a finite group $G$, computes the set $[X,Y]^A_G$ of homotopy classes of equivariant maps $\ell \colon X \to Y$ extending a given equivariant map $f \colon A \to Y$ under the stability assumption $\dim X^H \leq 2 \operatorname{conn} Y^H$ and $\operatorname{conn} Y^H \geq 1$, for all subgroups $H\leq G$. For fixed $n = \operatorname{dim} X$, the algorithm runs in polynomial time. When the stability condition is dropped, the problem is undecidable already in the non-equivariant setting. The algorithm is obtained as a special case of a more general result: For finite diagrams of simplicial sets $X$, $A$, $Y$, i.e. functors $\mathcal{I}^\mathrm{op} \to \mathsf{sSet}$, in the stable range $\operatorname{dim} X \leq 2 \operatorname{conn} Y$ and $\operatorname{conn} Y > 1$, we give an algorithm that computes the set $[X, Y]^A$ of homotopy classes of maps of diagrams $\ell \colon X \to Y$ extending a given $f \colon A \to Y$. Again, for fixed $n = \dim X$, the running time of the algorithm is polynomial. The algorithm can be utilized to compute homotopy invariants in the equivariant setting -- for example, one can algorithmically compute equivariant stable homotopy groups. Further, one can apply the result to solve problems from computational topology, which we showcase on the following Tverberg-type problem: Given a $k$-dimensional simplicial complex $K$, is there a map $K \to \mathbb{R}^{d}$ without $r$-tuple intersection points? In the metastable range of dimensions, $rd \geq (r+1)k +3$, the result of Mabillard and Wagner shows this problem equivalent to the existence of a particular equivariant map. In this range, our algorithm is applicable and, thus, the $r$-Tverberg problem is algorithmically decidable (in polynomial time when $k$, $d$ and $r$ are fixed).


title: Gauge invariant quantum thermodynamics: consequences for the first law

abstract: Universality of classical thermodynamics rests on the central limit theorem, due to which, measurements of thermal fluctuations are unable to reveal detailed information regarding the microscopic structure of a macroscopic body. When small systems are considered and fluctuations become important, thermodynamic quantities can be understood in the context of classical stochastic mechanics. A fundamental assumption behind thermodynamics is therefore that of coarse-graning, which stems from a substantial lack of control over all degrees of freedom. However, when quantum systems are concerned, one claims a high level of control. As a consequence, information theory plays a major role in the identification of thermodynamic functions. Here, drawing from the concept of gauge symmetry, essential in all modern physical theories, we put forward a new possible, intermediate route. Working within the realm of quantum thermodynamics we explicitly construct physically motivated gauge transformations which encode a gentle variant of coarse-graining behind thermodynamics. As a consequence, we reinterpret quantum work and heat, as well as the role of quantum coherence.


title: Variational Relational Point Completion Network

abstract: Real-scanned point clouds are often incomplete due to viewpoint, occlusion, and noise. Existing point cloud completion methods tend to generate global shape skeletons and hence lack fine local details. Furthermore, they mostly learn a deterministic partial-to-complete mapping, but overlook structural relations in man-made objects. To tackle these challenges, this paper proposes a variational framework, Variational Relational point Completion network (VRCNet) with two appealing properties: 1) Probabilistic Modeling. In particular, we propose a dual-path architecture to enable principled probabilistic modeling across partial and complete clouds. One path consumes complete point clouds for reconstruction by learning a point VAE. The other path generates complete shapes for partial point clouds, whose embedded distribution is guided by distribution obtained from the reconstruction path during training. 2) Relational Enhancement. Specifically, we carefully design point self-attention kernel and point selective kernel module to exploit relational point features, which refines local shape details conditioned on the coarse completion. In addition, we contribute a multi-view partial point cloud dataset (MVP dataset) containing over 100,000 high-quality scans, which renders partial 3D shapes from 26 uniformly distributed camera poses for each 3D CAD model. Extensive experiments demonstrate that VRCNet outperforms state-of-theart methods on all standard point cloud completion benchmarks. Notably, VRCNet shows great generalizability and robustness on real-world point cloud scans.


title: Optimal Design of Electric Micromobility Vehicles

abstract: This paper presents a modeling and optimization framework to design battery electric micromobility vehicles, minimizing their total cost of ownership (TCO). Specifically, we first identify a model of the electric powertrain of an e-scooter and an e-moped consisting of a battery, a single electric motor and a transmission. Second, we frame an optimal joint design and control problem minimizing the TCO of the vehicles. Since this problem is nonlinear w.r.t. the motor size and the total mass of the vehicle, but convex if their value is given, we efficiently solve the problem for a range of motor sizes with an algorithm based on second-order conic programming iterating on the vehicle's mass. Finally, we showcase our framework on custom-created driving cycles for both vehicles on hilly and flat scenarios, providing an in-depth analysis of the results and a numerical validation with high-fidelity simulations. Our results show that the characteristics of the area where the vehicles are employed have a significant impact on their optimal design, whilst revealing that regenerative braking and gear-changing capabilities (as in the case of a continuously variable transmission) may not be worth implementing.


title: Understanding Synonymous Referring Expressions via Contrastive Features

abstract: Referring expression comprehension aims to localize objects identified by natural language descriptions. This is a challenging task as it requires understanding of both visual and language domains. One nature is that each object can be described by synonymous sentences with paraphrases, and such varieties in languages have critical impact on learning a comprehension model. While prior work usually treats each sentence and attends it to an object separately, we focus on learning a referring expression comprehension model that considers the property in synonymous sentences. To this end, we develop an end-to-end trainable framework to learn contrastive features on the image and object instance levels, where features extracted from synonymous sentences to describe the same object should be closer to each other after mapping to the visual domain. We conduct extensive experiments to evaluate the proposed algorithm on several benchmark datasets, and demonstrate that our method performs favorably against the state-of-the-art approaches. Furthermore, since the varieties in expressions become larger across datasets when they describe objects in different ways, we present the cross-dataset and transfer learning settings to validate the ability of our learned transferable features.


title: VideoGPT: Video Generation using VQ-VAE and Transformers

abstract: We present VideoGPT: a conceptually simple architecture for scaling likelihood based generative modeling to natural videos. VideoGPT uses VQ-VAE that learns downsampled discrete latent representations of a raw video by employing 3D convolutions and axial self-attention. A simple GPT-like architecture is then used to autoregressively model the discrete latents using spatio-temporal position encodings. Despite the simplicity in formulation and ease of training, our architecture is able to generate samples competitive with state-of-the-art GAN models for video generation on the BAIR Robot dataset, and generate high fidelity natural videos from UCF-101 and Tumbler GIF Dataset (TGIF). We hope our proposed architecture serves as a reproducible reference for a minimalistic implementation of transformer based video generation models. Samples and code are available at https://wilson1yan.github.io/videogpt/index.html


title: Charge dynamics in magnetically disordered Mott insulators

abstract: With the aid of both a semi-analytical and a numerically exact method we investigate the charge dynamics in the vicinity of half-filling in the one- and two-dimensional $t$-$J$ model derived from a Fermi-Hubbard model in the limit of large interaction $U$ and hence small exchange coupling $J$. The spin degrees of freedom are taken to be disordered. So we consider the limit $0 < J \ll T \ll W$ where $W$ is the band width. We focus on evaluating the spectral density of a single hole excitation and the charge gap which separates the upper and the lower Hubbard band. One of the key findings is the evidence for the absence of sharp edges of the Hubbard band, instead Gaussian tails appear.


title: MBRL-Lib: A Modular Library for Model-based Reinforcement Learning

abstract: Model-based reinforcement learning is a compelling framework for data-efficient learning of agents that interact with the world. This family of algorithms has many subcomponents that need to be carefully selected and tuned. As a result the entry-bar for researchers to approach the field and to deploy it in real-world tasks can be daunting. In this paper, we present MBRL-Lib -- a machine learning library for model-based reinforcement learning in continuous state-action spaces based on PyTorch. MBRL-Lib is designed as a platform for both researchers, to easily develop, debug and compare new algorithms, and non-expert user, to lower the entry-bar of deploying state-of-the-art algorithms. MBRL-Lib is open-source at https://github.com/facebookresearch/mbrl-lib.


title: A note on torsion modules with pure embeddings

abstract: We study Martsinkovsky-Russell torsion modules [MaRu20] with pure embeddings as an abstract elementary class. We give a model-theoretic characterization of the pure-injective and the $\Sigma$-pure-injective modules relative to the class of torsion modules assuming that the torsion submodule is a pure submodule. Our characterization of relative $\Sigma$-pure-injective modules strictly extends the classical charactetization of [GrJe76] and [Zim, 3.6]. We study the limit models of the class and determine when the class is superstable assuming that the torsion submodule is a pure submodule. As a corollary, we show that the class of torsion abelian groups with pure embeddings is strictly stable, i.e., stable not superstable.


title: Protocluster detection in simulations of HSC-SSP and the 10-year LSST forecast, using PCcones

abstract: The progenitors of present-day galaxy clusters give important clues about the evolution of the large scale structure, cosmic mass assembly, and galaxy evolution. Simulations are a major tool for these studies since they are used to interpret observations. In this work, we introduce a set of "protocluster-lightcones", dubbed PCcones. They are mock galaxy catalogs generated from the Millennium Simulation with the L-GALAXIES semi-analytic model. These lightcones were constructed by placing a desired structure at the redshift of interest in the centre of the cone. This approach allows to adopt a set of observational constraints, such as magnitude limits and uncertainties in magnitudes and photometric redshifts (photo-zs), to produce realistic simulations of photometric surveys. We show that photo-zs obtained with PCcones are more accurate than those obtained directly with the Millennium Simulation, mostly due to the difference in how apparent magnitudes are computed. We apply PCcones in the determination of the expected accuracy of protocluster detection using photo-zs in the $z=1-3$ range in the wide-layer of HSC-SSP and the 10-year LSST forecast. With our technique, we expect to recover only $\sim38\%$ and $\sim 43\%$ of all massive galaxy cluster progenitors with more than 70\% of purity for HSC-SSP and LSST, respectively. Indeed, the combination of observational constraints and photo-z uncertainties affects the detection of structures critically for both emulations, indicating the need of spectroscopic redshifts to improve detection. We also compare our mocks of the Deep CFHTLS at $z<1.5$ with observed cluster catalogs, as an extra validation of the lightcones and methods.


title: Rewriting Group Products with Transversals

abstract: For any group $G$ with subgroup $H$ and a set of representatives $T$ from the set of cosets $G/H$, we develop a rewriting system from $G$ that bequeaths a product into the set decomposition $T\times H$ of $G$, converting it into a group. In return the rewriting system also describes any product between elements in $G$ in terms of elements from $T$ and $H$, while we gain a new universal group-isomorphism between $G$ and $T\times H$. From this framework, we develop the theory of Diffracted Groups.


title: A q-binomial extension of the CRR asset pricing model

abstract: We propose an extension of the Cox-Ross-Rubinstein (CRR) model based on $q$-binomial (or Kemp) random walks, with application to default with logistic failure rates. This model allows us to consider time-dependent switching probabilities varying according to a trend parameter on a non-self-similar binomial tree. In particular, it includes tilt and stretch parameters that control increment sizes. Option pricing formulas are written using $q$-binomial coefficients, and we study the convergence of this model to a Black-Scholes type formula in continuous time. A convergence rate of order $O(N^{-1/2})$ is obtained.


title: Estimate of asymptotics of moments of arithmetic functions defined on an arithmetic progression and having a limit - normal distribution

abstract: We consider a method for estimating asymptotics of arithmetic functions on a arithmetic progression in the paper. This question is closely related with the distribution of primes. Problems often arise even with the definition of asymptotic of the mean value of arithmetic functions, and even more with the determination of asymptotics of moments of higher orders. Therefore, the paper proposes (a different from the traditional) probabilistic approach based on the limiting distribution of arithmetic functions on an arithmetic progression. We consider arithmetic functions with limiting normal distribution. Several assertions are proved about the estimation of asymptotics of moments of strongly additive arithmetic functions on a arithmetic progression, as well as additive functions of the class and arithmetic functions of the class having the same limit distribution. Versions 1 and 2 consider the asymptotics of the moments of arithmetic functions with normal limit distribution in natural series.


title: Options for a finite group model of quantum mechanics

abstract: There are four finite groups that could plausibly play the role of the spin group in a finite or discrete model of quantum mechanics, namely the four double covers of the three rotation groups of the Platonic solids. In an earlier paper I have considered in detail how the smallest of these groups, namely the binary tetrahedral group, of order 24, could give rise to a non-relativistic theory that contains much of the structure of the standard model of particle physics. In this paper I consider how one of the two double covers of the rotation group of the cube might extend this to a relativistic theory.


title: Evaluating the Immediate Applicability of Pose Estimation for Sign Language Recognition

abstract: Signed languages are visual languages produced by the movement of the hands, face, and body. In this paper, we evaluate representations based on skeleton poses, as these are explainable, person-independent, privacy-preserving, low-dimensional representations. Basically, skeletal representations generalize over an individual's appearance and background, allowing us to focus on the recognition of motion. But how much information is lost by the skeletal representation? We perform two independent studies using two state-of-the-art pose estimation systems. We analyze the applicability of the pose estimation systems to sign language recognition by evaluating the failure cases of the recognition models. Importantly, this allows us to characterize the current limitations of skeletal pose estimation approaches in sign language recognition.


title: The SAMI Galaxy Survey: stellar population and structural trends across the Fundamental Plane

abstract: We study the Fundamental Plane (FP) for a volume- and luminosity-limited sample of 560 early-type galaxies from the SAMI survey. Using r-band sizes and luminosities from new Multi-Gaussian Expansion (MGE) photometric measurements, and treating luminosity as the dependent variable, the FP has coefficients a=1.294$\pm$0.039, b= 0.912$\pm$0.025, and zero-point c= 7.067$\pm$0.078. We leverage the high signal-to-noise of SAMI integral field spectroscopy, to determine how structural and stellar-population observables affect the scatter about the FP. The FP residuals correlate most strongly (8$\sigma$ significance) with luminosity-weighted simple-stellar-population (SSP) age. In contrast, the structural observables surface mass density, rotation-to-dispersion ratio, S\'ersic index and projected shape all show little or no significant correlation. We connect the FP residuals to the empirical relation between age (or stellar mass-to-light ratio $\Upsilon_\star$) and surface mass density, the best predictor of SSP age amongst parameters based on FP observables. We show that the FP residuals (anti-)correlate with the residuals of the relation between surface density and $\Upsilon_\star$. This correlation implies that part of the FP scatter is due to the broad age and $\Upsilon_\star$ distribution at any given surface mass density. Using virial mass and $\Upsilon_\star$ we construct a simulated FP and compare it to the observed FP. We find that, while the empirical relations between observed stellar population relations and FP observables are responsible for most (75%) of the FP scatter, on their own they do not explain the observed tilt of the FP away from the virial plane.


title: A novel approach to optimize the regularization and evaluation of dynamical models using a model selection framework

abstract: Orbit superposition models are a non-parametric dynamical modelling technique to determine the mass of a galaxy's central supermassive black hole (SMBH), its stars, or its dark-matter halo. One of the main problems is how to decide which model out of a large pool of trial models based on different assumed mass distributions represents the true structure of an observed galaxy best. We show that the traditional approach to judge models solely by their goodness-of-fit can lead to substantial biases in estimated galaxy properties caused by varying model flexibilities. We demonstrate how the flexibility of the models can be estimated using bootstrap iterations and present a model selection framework that removes these biases by taking the variable flexibility into account in the model evaluation. We extend the model selection approach to optimize the degree of regularisation directly from the data. Altogether, this leads to a significant improvement of the constraining power of the modeling technique. We show with simulations that one can reconstruct the mass, anisotropy and viewing angle of an axisymmetric galaxy with a few percent accuracy from realistic observational data with fully resolved line-of-sight velocity distributions (LOSVDs). In a first application, we reproduce a photometric estimate of the inclination of the disk galaxy NGC 3368 to within 5 degree accuracy from kinematic data that cover only a few sphere-of-influence radii around the galaxy's SMBH. This demonstrates the constraining power that can be achieved with orbit models based on fully resolved LOSVDs and a model selection framework.


title: An Exact Integral-to-Sum Relation for Products of Bessel Functions

abstract: A useful identity relating the infinite sum of two Bessel functions to their infinite integral was discovered in Dominici et al. (2012). Here, we extend this result to products of $N$ Bessel functions, and show it can be straightforwardly proven using the Abel-Plana theorem, or the Poisson summation formula. For $N=2$, the proof is much simpler than that of Dominici et al., and significantly enlarges the range of validity.

categories: math.CA astro-ph.CO hep-th math-ph math.MP nucl-th


title: Gravitational Self-force Errors of Poisson Solvers on Adaptively Refined Meshes

abstract: An error in the gravitational force that the source of gravity induces on itself (a self-force error) violates both the conservation of linear momentum and the conservation of energy. If such errors are present in a self-gravitating system and are not sufficiently random to average out, the obtained numerical solution will become progressively more unphysical with time: the system will acquire or lose momentum and energy due to numerical effects. In this paper, we demonstrate how self-force errors can arise in the case where self-gravity is solved on an adaptively refined mesh when the refinement is nonuniform. We provide the analytical expression for the self-force error and numerical examples that demonstrate such self-force errors in idealized settings. We also show how these errors can be corrected to an arbitrary order by straightforward addition of correction terms at the refinement boundaries.


title: Some Exact Results in Chiral Gauge Theories

abstract: We analyze dynamics of chiral gauge theories based on the $SU(N)$ gauge group with one anti-symmetric tensor $A$ and $(N-4)$ anti-fundamentals $F_{i}$ when $N$ is odd. Based on the continuity to the supersymmetric gauge theories with anomaly-mediated supersymmetry breaking, we claim that the global $SU(N-4)$ symmetry is spontaneously broken to $Sp(N-5)$. There are $N-5$ massless fermions as a fundamental representation of $Sp(N-5)$, and another massless fermion, together saturating the anomaly matching conditions. When $N$ is even, the unbroken flavor symmetry is $Sp(N-4)$ while there are no massless fermions. Our result is different from the dynamics suggested by tumbling where the full $SU(N-4)$ symmetry is unbroken, but the tumbling picture can be modified via the addition of a second condensate to produce the symmetry breaking pattern predicted from our method.


title: Regular black holes in three dimensions

abstract: We find a plethora of new analytic black holes and globally regular horizonless spacetimes in three dimensions. The solutions involve a single real scalar field $\phi$ which always admits a magnetic-like expression proportional to the angular coordinate. The new metrics, which satisfy $g_{tt}g_{rr}=-1$ and represent continuous generalizations of the BTZ one, solve the equations of Einstein gravity corrected by a new family of densities (controlled by unconstrained couplings) constructed from positive powers of $(\partial \phi)^2$ and certain linear combinations of $R^{ab} \partial_a \phi \partial_b \phi$ and $(\partial \phi)^2 R$. Some of the solutions obtained describe black holes with one or several horizons. A set of them possesses curvature singularities, while others have conical or BTZ-like ones. Interestingly, in some cases the black holes have no singularity at all, being completely regular. Some of the latter are achieved without any kind of fine tuning or constraint between the action parameters and/or the physical charges of the solution. An additional class of solutions describes globally regular and horizonless geometries.


title: The KBSS-KCWI Survey: The connection between extended Ly$\alpha$ halos and galaxy azimuthal angle at $z\sim 2-3$

abstract: We present the first statistical analysis of kinematically-resolved, spatially-extended Ly$\alpha$ emission around $z = 2-3$ galaxies in the Keck Baryonic Structure Survey (KBSS) using the Keck Cosmic Web Imager (KCWI). Our sample of 59 star-forming galaxies ($z_\mathrm{med} = 2.29$) comprises the subset with typical KCWI integration times of ~5 hours and with existing imaging data from the Hubble Space Telescope and/or adaptive optics-assisted integral field spectroscopy. The high resolution images were used to evaluate the azimuthal dependence of the diffuse Ly$\alpha$ emission with respect to the stellar continuum within projected galactocentric distances of $\lesssim 30$ proper kpc. We introduce cylindrically-projected 2D spectra (CP2D) that map the averaged Ly$\alpha$ spectral profile over a specified range of azimuthal angle, as a function of impact parameter around galaxies. The averaged CP2D spectrum of all galaxies shows clear signatures of Ly$\alpha$ resonant scattering by outflowing gas. We stacked the CP2D spectra of individual galaxies over ranges of azimuthal angle with respect to their major axes. The extended Ly$\alpha$ emission along the galaxy principal axes are statistically indistinguishable, with residual asymmetry of $\le$ 2% ($\sim 2 \sigma$) of the integrated Ly$\alpha$ emission. The symmetry implies that the Ly$\alpha$ scattering medium is dominated by outflows in all directions within 30 kpc. Meanwhile, we find that the blueshifted component of Ly$\alpha$ emission is marginally stronger along galaxy minor axes for galaxies with relatively weak Ly$\alpha$ emission. We speculate that this weak directional dependence of Ly$\alpha$ emission becomes discernible only when the Ly$\alpha$ escape fraction is low. These discoveries highlight the need for similar analyses in simulations with Ly$\alpha$ radiative transfer modeling.


title: Probing modified Newtonian dynamics with hypervelocity stars

abstract: We show that measuring the velocity components of hypervelocity stars (HVSs) can discriminate between modified Newtonian dynamics (MOND) and Newtonian gravity. HVSs are ejected from the Galactic center on radial trajectories with a null tangential velocity component in the reference frame of the Galaxy. They acquire tangential components due to the nonspherical components of the Galactic gravitational potential. Axisymmetric potentials only affect the latitudinal components, $v_\theta$, and non-null azimuthal components, $v_\phi$, originate from non-axisymmetric matter distributions. For HVSs with sufficiently high ejection speed, $v_\phi$ is proportionate to the deviation of the gravitational potential from axial symmetry. The ejection velocity threshold is $\sim$ 750 km/s for 4 $M_{\odot}$ stars and increases with decreasing HVS mass. We determine the upper limit of $v_\phi$ as a function of the galactocentric distance for these high-speed HVSs if QUMOND, the quasi-linear formulation of MOND, is the correct theory of gravity and either the triaxial Galactic bulge or a nonspherical hot gaseous halo is the primary source of $v_\phi$. In Newtonian gravity, the HVSs within 60 kpc of the Galactic center may easily have $v_\phi$ values higher than the QUMOND upper limit if the dark matter (DM) halo is triaxial or if the DM halo and the baryonic components are axisymmetric but their two axes of symmetry are misaligned. Therefore, even a limited sample of high-speed HVSs could distinguish between QUMOND and the DM model. This test is currently limited by (i) the lack of a proper procedure to assess the HVS nature of a star in the model to be constrained; and (ii) the present uncertainties on $v_\phi$, which are a factor of $\sim 10$ too large. A proper procedure to assess the HVS nature of the stars and astrometric measurements with microarcsecond precision would make this test feasible.


title: Type-X two Higgs doublet model in light of the muon $\mathbf{g-2}$: confronting Higgs and collider data

abstract: The recent Fermilab measurement of the muon anomalous magnetic moment yields $4.2 \sigma$ deviations from the SM prediction when combined with the BNL E821 experiment results. In the Type-X two Higgs doublet model, we study the consequence of imposing the observed muon $g-2$, along with the constraints from theoretical stabilities, electroweak oblique parameters, Higgs precision data, and direct searches. For a comprehensive study, we scan the whole parameter space in two scenarios, the normal scenario where $h_{\rm SM} = h$ and the inverted scenario where $h_{\rm SM}=H$, where $h$ ($H$) is the light (heavy) CP-even Higgs boson. We found that large $\tan\beta$ (above 100) and light pseudoscalar mass $M_A$ are required to explain the muon $g-2$ anomaly. This breaks the theoretical stability unless the scalar masses satisfy $M_A^2 \simeq M_{H^\pm}^2 \simeq m_{12}^2 \tan\beta \approx M_{H/h}^2$. The direct search bounds at the LEP and LHC exclude the light $A$ window with $M_A \lesssim 62.5~$GeV. We also show that the observed electron anomalous magnetic moment is consistent with the model prediction, but the lepton flavor universality data in the $\tau$ and $Z$ decays are not. For a separate exploration of the model, we propose the golden mode $pp \to A h/AH \to 4 \tau$ at the HL-LHC.


title: Unconventional Superconductivity in Magic-Angle Twisted Trilayer Graphene

abstract: Magic-angle twisted trilayer graphene (MATTG) recently emerged as a highly tunable platform for studying correlated phases of matter, such as correlated insulators and superconductivity. Superconductivity occurs in a range of doping levels that is bounded by van Hove singularities which stimulates the debate of the origin and nature of superconductivity in this material. In this work, we discuss the role of spin-fluctuations arising from atomic-scale correlations in MATTG for the superconducting state. We show that in a phase diagram as function of doping ($\nu$) and temperature, nematic superconducting regions are surrounded by ferromagnetic states and that a superconducting dome with $T_c \approx 2\,\mathrm{K}$ appears between the integer fillings $\nu =-2$ and $\nu = -3$. Applying a perpendicular electric field enhances superconductivity on the electron-doped side which we relate to changes in the spin-fluctuation spectrum. We show that the nematic unconventional superconductivity leads to pronounced signatures in the local density of states detectable by scanning tunneling spectroscopy measurements.


title: Universal principles of moir\'e band structures

abstract: Moir\'e materials provide a highly tunable environment for the realization of band structures with engineered physical properties. Specifically, moir\'e structures with Fermi surface flat bands - a synthetic environment for the realization of correlated phases - have moir\'e unit cells containing thousands of atoms and tantalizingly complex bands structures. In this paper we show that statistical principles go a long way in explaining universal physical properties of these systems. Our approach builds on three conceptual elements: the presence of quantum chaos caused by the effective irregularity of the atomic configurations on short length scales, Anderson localization in momentum space, and the presence of approximate crystalline symmetries. Which of these principles dominates depends on material parameters such as the extension of the Fermi surface or the strength of the moir\'e lattice potential. The phenomenological consequences of this competition are predictions for the characteristic group velocity of moir\'e bands, a primary indicator for their average flatness. In addition to these generic features, we identify structures outside the statistical context, notably almost flat bands close to the extrema of the unperturbed spectra, and the celebrated zero energy `magic angle' flat bands, where the latter require exceptionally fine tuned material parameters.


title: AdS$_3$ Gravity and RCFT Ensembles with Multiple Invariants

abstract: We use the Poincar\'e series method to compute gravity partition functions associated to SU(N) level 1 WZW models with arbitrarily large numbers of modular invariants. The result is an average over these invariants, with the weights being given by inverting a matrix whose size is of order the number of invariants. For the chosen models, this matrix takes a special form that allows us to invert it for arbitrary size and thereby explicitly calculate the weights of this average. For the identity seed we find that the weights are positive for all N, consistent with each model being dual to an ensemble average over CFT's.


title: Variation of the Core Lifetime and Fragmentation Scale in Molecular Clouds as an Indication of Ambipolar Diffusion

abstract: Ambipolar diffusion likely plays a pivotal role in the formation and evolution of dense cores in weakly-ionized molecular clouds. Linear analyses show that the evolutionary times and fragmentation scales are significantly greater than the hydrodynamic (Jeans) values even for clouds with mildly supercritical mass-to-flux ratio. We utilize values of fragmentation scales and growth times that correspond to typical ionization fractions within a molecular cloud, and apply to the context of the observed estimated lifetime of prestellar cores as well as the observed number of such embedded cores forming in a parent clump. By varying a single parameter, the mass-to-flux ratio, over the range of observationally measured densities, we fit the range of estimated prestellar core lifetimes ($\sim 0.1$ to a few Myr) identified with Herschel as well as the number of embedded cores formed in a parent clump measured in Perseus with the Submillimeter Array (SMA). Our model suggests that the prestellar cores are formed with a transcritical mass-to-flux ratio and higher densities correspond to somewhat higher mass-to-flux ratio but the normalized mass-to-flux ratio $\mu$ remains in the range $1 \lesssim \mu \lesssim 2$. Our best-fit model exhibits $B \propto n^{0.43}$ for prestellar cores, due to partial flux-freezing as a consequence of ambipolar diffusion.


title: Robust Feature Disentanglement in Imaging Data via Joint Invariant Variational Autoencoders: from Cards to Atoms

abstract: Recent advances in imaging from celestial objects in astronomy visualized via optical and radio telescopes to atoms and molecules resolved via electron and probe microscopes are generating immense volumes of imaging data, containing information about the structure of the universe from atomic to astronomic levels. The classical deep convolutional neural network architectures traditionally perform poorly on the data sets having a significant orientational disorder, that is, having multiple copies of the same or similar object in arbitrary orientation in the image plane. Similarly, while clustering methods are well suited for classification into discrete classes and manifold learning and variational autoencoders methods can disentangle representations of the data, the combined problem is ill-suited to a classical non-supervised learning paradigm. Here we introduce a joint rotationally (and translationally) invariant variational autoencoder (j-trVAE) that is ideally suited to the solution of such a problem. The performance of this method is validated on several synthetic data sets and extended to high-resolution imaging data of electron and scanning probe microscopy. We show that latent space behaviors directly comport to the known physics of ferroelectric materials and quantum systems. We further note that the engineering of the latent space structure via imposed topological structure or directed graph relationship allows for applications in topological discovery and causal physical learning.


title: A Gravitino Distance Conjecture

abstract: We conjecture that in a consistent supergravity theory with non-vanishing gravitino mass, the limit $m_{3/2}\rightarrow 0$ is at infinite distance. In particular one can write $M_{\mathrm{tower}} \sim m_{3/2}^\delta$ so that as the gravitino mass goes to zero, a tower of KK states as well as emergent strings becomes tensionless. This conjecture may be motivated from the Weak Gravity Conjecture as applied to strings and membranes and implies in turn the AdS Distance Conjecture. We test this proposal in classical 4d type IIA orientifold vacua in which one obtains a range of values $\tfrac13 \le \delta \le 1$. The parameter $\delta$ is related to the scale decoupling exponent in AdS vacua and to the $\alpha$ exponent in the Swampland Distance Conjecture for the type IIA complex structure. We present a general analysis of the gravitino mass in the limits of moduli space in terms of limiting Mixed Hodge Structures and study in some detail the case of two-moduli F-theory settings. Moreover, we obtain general lower bounds $\delta\, \geq \, \frac{1}{3}, \, \frac{1}{4}$ for Calabi--Yau threefolds and fourfolds, respectively. The conjecture has important phenomenological implications. In particular we argue that low-energy supersymmetry of order 1 TeV is only obtained if there is a tower of KK states at an intermediate scale, of order $10^8$ GeV. One also has an upper bound for the Hubble constant upon inflation $H \lesssim m_{3/2}^\delta M^{(1-\delta)}_{\text{P}}$.


title: Edge modes without edge modes

abstract: We discuss gauge theories of the Yang-Mills kind in finite regions with boundaries, and in particular the definition of the corresponding quasi-local degrees of freedom and their gluing upon composition of the underlying regions. Although the most of the technical results presented here has appeared in previous works by Gomes, Hopfm\"uller and the author, we adopt here a new perspective. Focusing on Maxwell theory as our model theory, in most of the text we avoid technical complications and focus on the conceptual issues related to symplectic reduction in finite and bounded regions, and to gluing$-$e.g. superselection sectors, non-locality, Dirac's dressing of charged fields, and edge modes. In this regard, the title refers to a gluing formula for the reduced symplectic structures, where the "edge mode" contribution is explicitly computed in terms of gauge-invariant bulk variables. Despite capturing most interesting features, the Abelian theory misses some crucial technical and conceptual points which are present in the non-Abelian case. To fill this gap, we dedicate the last section to a brief overview of functional connection forms, flux rotations, and geometric BRST, among other topics.


title: Global portraits of nonminimal inflation

abstract: We reconsider the dynamical systems approach to analyze inflationary universe in the Jordan frame models of scalar field nonminimally coupled to curvature. The adopted set of variables allows us to clearly distinguish between different asymptotic states in the phase space, including the kinetic and inflationary regimes. Inflation is realized as a heteroclinic trajectory originating either at infinity from a nonhyperbolic asymptotic de Sitter point or from a regular saddle de Sitter point. We also present a comprehensive picture of possible initial conditions leading to sufficient inflationary expansion and show their extent on the phase diagrams. In addition we comment on the slow roll conditions applicable in the Jordan frame and show how they approximate the leading inflationary "attractor solution". As particular examples we portrait quadratic and quartic potential models and note that increasing the nonminimal coupling diminishes the range of good initial conditions in the quadratic case, but enlarges is in the quartic case.


title: Finite-size evaporating droplets in weakly compressible homogeneous shear turbulence

abstract: We perform interface-resolved simulations of finite-size evaporating droplets in weakly-compressible homogeneous shear turbulence (HST). The study is conducted by varying three dimensionless physical parameters: the initial gas temperature over the critical temperature $T_{g,0}/T_c$, the initial droplet diameter over the Kolmogorov scale $d_0/\eta$ and the surface tension, i.e. the shear-based Weber number, $We_{\mathcal{S}}$. For the smallest $We_{\mathcal{S}}$, we first discuss the impact on the evaporation rate of the three thermodynamic models employed to evaluate the gas thermophysical properties: a constant property model and two variable-properties approaches where either the gas density or all the gas properties are allowed to vary. Taking this last approach as reference, the model assuming constant gas properties and evaluated with the "1/3" rule, is shown to predict the evaporation rate better than the model where the only variable property is the gas density. Moreover, we observe that the well-known Fr\"ossling/Ranz-Marshall correlation underpredicts the Sherwood number at low temperatures, $T_{g,0}/T_c=0.75$. Next, we show that the ratio between the actual evaporation rate in turbulence and the one computed in stagnant condition is always much higher than one for weakly deformable droplets: it decreases with $T_{g,0}/T_c$ without approaching unity at the highest $T_{g,0}/T_c$ considered. This suggests an evaporation enhancement due to turbulence also in conditions typical of combustion applications. Finally, we examine the overall evaporation rate and the local interfacial mass-flux at higher $We_{\mathcal{S}}$, showing a positive correlation between evaporation rate and interfacial curvature, especially at the lowest $T_{g,0}/T_c$.


title: Inertial L\'evy flights in bounded domains

abstract: The escape from a given domain is one of the fundamental problems in statistical physics and the theory of stochastic processes. Here, we explore properties of the escape of an inertial particle driven by L\'evy noise from a bounded domain, restricted by two absorbing boundaries.Presence of two absorbing boundaries assures that the escape process can be characterized by the finite mean first passage time. The detailed analysis of escape kinetics shows that properties of the mean first passage time for the integrated Ornstein--Uhlenbeck process driven by L\'evy noise are closely related to properties of the integrated L\'evy motions which, in turn, are close to properties of the integrated Wiener process. The extensive studies of the mean first passage time were complemented by examination of the escape velocity and energy along with their sensitivity to initial conditions.


title: Purely non-perturbative AdS vacua and the swampland

abstract: In recent times, a considerable effort has been dedicated to identify certain conditions -- the so-called swampland conjectures -- with an eye on identifying effective theories which have no consistent UV-completions in string theory. In this paper, we examine the anti-de Sitter vacua corresponding to solutions which arise from purely non-perturbative contributions to the superpotential and show that these solutions satisfy the (axionic) weak gravity conjecture and the AdS-moduli scale separation conjecture. We also sketch out their advantages over other constructions.


title: Three little arbitrage theorems

abstract: We prove three theorems about the exact solutions of a generalized or interacting Black-Scholes equation that explicitly includes arbitrage bubbles. These arbitrage bubbles can be characterized by an arbitrage number $A_N(T)$. The first theorem states that if $A_N(T) = 0$, then the solution at the maturity of the interacting equation is identical to the solution of the free Black-Scholes equation with the same initial interest rate $r$. The second theorem states that if $A_N(T) \ne 0$, the solution can be expressed in terms of all higher derivatives of solutions to the free Black-Scholes equation with the initial interest rate $r$. The third theorem states that whatever the arbitrage number is, the solution is a solution to the free Black-Scholes equation with a variable interest rate $r(\tau) = r + (1/\tau) A_N(\tau)$. Also, we show, by using the Feynman-Kac theorem, that for the special case of a Call contract, the exact solution for a Call with strike price $K$ is equivalent to the usual Call solution to the Black-Scholes equation with strike price $\tilde{K} = K e^{-A_N(T)}$.


title: Computing Expected Hitting Times for Imprecise Markov Chains

abstract: We present a novel algorithm to solve a non-linear system of equations, whose solution can be interpreted as a tight lower bound on the vector of expected hitting times of a Markov chain whose transition probabilities are only partially specified. We also briefly sketch how this method can be modified to solve a conjugate system of equations that gives rise to the corresponding upper bound. We prove the correctness of our method, and show that it converges to the correct solution in a finite number of steps under mild conditions on the system. We compare the runtime complexity of our method to a previously published method from the literature, and identify conditions under which our novel method is more efficient.


title: Search for Galaxy Cluster Candidates in the Cosmic Microwave Background Maps of the Planck Space Mission Using a Convolutional Neural Network Based on the Method of Tracing the Sunyaev-Zeldovich Effect

abstract: We propose a method of searching for radio sources exhibiting the Sunyaev-Zeldovich effect in the multi-frequency emission maps from the Planck mission data using a convolutional neural network. A catalog for recognizing radio sources is compiled using the GLESP pixelation scheme at the frequencies of 100, 143, 217, 353, and 545 GHz. The quality of the proposed approach is evaluated and the quality of the dependence of model data on the S/N ratio is estimated. We show that the presented neural network approach allows the detection of sources with the Sunyaev-Zeldovich effect. The proposed method can be used to find the most likely galaxy cluster candidates at large redshifts.


title: Outcome-Driven Reinforcement Learning via Variational Inference

abstract: While reinforcement learning algorithms provide automated acquisition of optimal policies, practical application of such methods requires a number of design decisions, such as manually designing reward functions that not only define the task, but also provide sufficient shaping to accomplish it. In this paper, we view reinforcement learning as inferring policies that achieve desired outcomes, rather than as a problem of maximizing rewards. To solve this inference problem, we establish a novel variational inference formulation that allows us to derive a well-shaped reward function which can be learned directly from environment interactions. From the corresponding variational objective, we also derive a new probabilistic Bellman backup operator and use it to develop an off-policy algorithm to solve goal-directed tasks. We empirically demonstrate that this method eliminates the need to hand-craft reward functions for a suite of diverse manipulation and locomotion tasks and leads to effective goal-directed behaviors.


title: Extinction in complex communities as driven by adaptive dynamics

abstract: In a complex community, species continuously adapt to each other. On rare occasions, the adaptation of a species can lead to the extinction of others, and even its own. "Adaptive dynamics" is the standard mathematical framework to describe evolutionary changes in community interactions, and in particular, predict adaptation driven extinction. Unfortunately, most authors implement the equations of adaptive dynamics through computer simulations, that require assuming a large number of questionable parameters and fitness functions. In this study we present analytical solutions to adaptive dynamics equations, thereby clarifying how outcomes depend on any computational input. We develop general formulas that predict equilibrium abundances over evolutionary time scales. Additionally, we predict which species will go extinct next, and when this will happen.


title: Riemann Tensor and Gauss-Bonnet density in Metric-Affine Cosmology

abstract: We analytically derive the covariant form of the Riemann (curvature) tensor for homogeneous Metric-Affine Cosmologies. That is, we present, in a Cosmological setting, the most general covariant form of the full Riemann tensor including also its non-Riemannian pieces which are associated to spacetime torsion and non-metricity. Having done so we also compute a list of the curvature tensor by-products such as Ricci tensor, homothetic curvature, Ricci scalar, Einstein tensor etc. Finally we derive the generalized Metric-Affine version of the usual Gauss-Bonnet density in this background and demonstrate how under certain circumstances the latter represents a total derivative term.


title: Identify, Align, and Integrate: Matching Knowledge Graphs to Commonsense Reasoning Tasks

abstract: Integrating external knowledge into commonsense reasoning tasks has shown progress in resolving some, but not all, knowledge gaps in these tasks. For knowledge integration to yield peak performance, it is critical to select a knowledge graph (KG) that is well-aligned with the given task's objective. We present an approach to assess how well a candidate KG can correctly identify and accurately fill in gaps of reasoning for a task, which we call KG-to-task match. We show this KG-to-task match in 3 phases: knowledge-task identification, knowledge-task alignment, and knowledge-task integration. We also analyze our transformer-based KG-to-task models via commonsense probes to measure how much knowledge is captured in these models before and after KG integration. Empirically, we investigate KG matches for the SocialIQA (SIQA) (Sap et al., 2019b), Physical IQA (PIQA) (Bisk et al., 2020), and MCScript2.0 (Ostermann et al., 2019) datasets with 3 diverse KGs: ATOMIC (Sap et al., 2019a), ConceptNet (Speer et al., 2017), and an automatically constructed instructional KG based on WikiHow (Koupaee and Wang, 2018). With our methods we are able to demonstrate that ATOMIC, an event-inference focused KG, is the best match for SIQA and MCScript2.0, and that the taxonomic ConceptNet and WikiHow-based KGs are the best matches for PIQA across all 3 analysis phases. We verify our methods and findings with human evaluation.


title: The minimum energy state

abstract: We define the minimum energy state while the expectation value of the field, evolves in time. We obtain the relation between the n-point functions in such a state, and the external field for all the moments. We obtain an equation of motion and the renormalization counterterms for the external field in the first order of interaction.


title: Auto-FedAvg: Learnable Federated Averaging for Multi-Institutional Medical Image Segmentation

abstract: Federated learning (FL) enables collaborative model training while preserving each participant's privacy, which is particularly beneficial to the medical field. FedAvg is a standard algorithm that uses fixed weights, often originating from the dataset sizes at each client, to aggregate the distributed learned models on a server during the FL process. However, non-identical data distribution across clients, known as the non-i.i.d problem in FL, could make this assumption for setting fixed aggregation weights sub-optimal. In this work, we design a new data-driven approach, namely Auto-FedAvg, where aggregation weights are dynamically adjusted, depending on data distributions across data silos and the current training progress of the models. We disentangle the parameter set into two parts, local model parameters and global aggregation parameters, and update them iteratively with a communication-efficient algorithm. We first show the validity of our approach by outperforming state-of-the-art FL methods for image recognition on a heterogeneous data split of CIFAR-10. Furthermore, we demonstrate our algorithm's effectiveness on two multi-institutional medical image analysis tasks, i.e., COVID-19 lesion segmentation in chest CT and pancreas segmentation in abdominal CT.


title: General Holder Smooth Convergence Rates Follow From Specialized Rates Assuming Growth Bounds

abstract: Often in the analysis of first-order methods for both smooth and nonsmooth optimization, assuming the existence of a growth/error bound or KL condition facilitates much stronger convergence analysis. Hence separate analysis is typically needed for the general case and for the growth bounded cases. We give meta-theorems for deriving general convergence rates from those assuming a growth lower bound. Applying this simple but conceptually powerful tool to the proximal point, subgradient, bundle, dual averaging, gradient descent, Frank-Wolfe, and universal accelerated methods immediately recovers their known convergence rates for general convex optimization problems from their specialized rates. New convergence results follow for bundle methods, dual averaging, and Frank-Wolfe. Our results can lift any rate based on H\"older continuous gradients and H\"older growth bounds. Moreover, our theory provides simple proofs of optimal convergence lower bounds under H\"older growth from textbook examples without growth bounds.


title: A Deep Learning Approach To Multi-Context Socially-Aware Navigation

abstract: We present a context classification pipeline to allow a robot to change its navigation strategy based on the observed social scenario. Socially-Aware Navigation considers social behavior in order to improve navigation around people. Most of the existing research uses different techniques to incorporate social norms into robot path planning for a single context. Methods that work for hallway behavior might not work for approaching people, and so on. We developed a high-level decision-making subsystem, a model-based context classifier, and a multi-objective optimization-based local planner to achieve socially-aware trajectories for autonomously sensed contexts. Using a context classification system, the robot can select social objectives that are later used by Pareto Concavity Elimination Transformation (PaCcET) based local planner to generate safe, comfortable, and socially-appropriate trajectories for its environment. This was tested and validated in multiple environments on a Pioneer mobile robot platform; results show that the robot was able to select and account for social objectives related to navigation autonomously.


title: Schmidt rank and singularities

abstract: We revisit Schmidt's theorem connecting the Schmidt rank of a tensor with the codimension of a certain variety and adapt the proof to the case of arbitrary characteristic. We also find a sharper result of this kind for homogeneous polynomials of degree d (assuming that the characteristic does not divide d(d-1)). We then use this to relate the Schmidt rank of a homogeneous polynomial (resp., a collection of homogeneous polynomials of the same degree) with the codimension of the singular locus of the corresponding hypersurface (resp., intersection of hypersurfaces). This gives an effective version of Ananyan-Hochster's Theorem A from arXiv:1610.09268.


title: A Sufficient Condition for a Quandle to be Latin

abstract: A quandle is an algebraic structure satisfying three axioms: idempotency, right-invertibility and right self-distributivity. In quandles, right translations are permutations. The profile of a quandle is the list of cycle structures, one per right translation in the quandle. In this note we prove that if, for each cycle structure in the profile of a quandle, no two cycle lengths are equal, then the quandle is latin -- this is the sufficient condition mentioned in the title.


title: Intensity correlation speckles as a technique for removing Doppler broadening

abstract: A method involving intensity correlation measurements is described, which allows for the complete removal of Doppler broadening in the emission of electromagnetic radiation from far-away sources that are inaccessible to conventional Doppler-free measurements. The technique, relying on a correction to g(2) of order N-1, probes the separation between neighboring spectral lines and is also applicable to the elimination of broadening due to collisions (N is the number of emitting particles and g(2) is the second-order field correlation function). Possible applications include a determination of cosmological parameters from red shifts of gravitationally-lensed quasars.


title: Bayesian Optimization is Superior to Random Search for Machine Learning Hyperparameter Tuning: Analysis of the Black-Box Optimization Challenge 2020

abstract: This paper presents the results and insights from the black-box optimization (BBO) challenge at NeurIPS 2020 which ran from July-October, 2020. The challenge emphasized the importance of evaluating derivative-free optimizers for tuning the hyperparameters of machine learning models. This was the first black-box optimization challenge with a machine learning emphasis. It was based on tuning (validation set) performance of standard machine learning models on real datasets. This competition has widespread impact as black-box optimization (e.g., Bayesian optimization) is relevant for hyperparameter tuning in almost every machine learning project as well as many applications outside of machine learning. The final leaderboard was determined using the optimization performance on held-out (hidden) objective functions, where the optimizers ran without human intervention. Baselines were set using the default settings of several open-source black-box optimization packages as well as random search.


title: Randomness and uniform distribution modulo one

abstract: We elaborate the notions of Martin-L\"of and Schnorr randomness for real numbers in terms of uniform distribution of sequences. We give a necessary condition for a real number to be Schnorr random expressed in terms of classical uniform distribution of sequences. This extends the result proved by Avigad for sequences of linear functions with integer coefficients to the wider classical class of Koksma sequences of functions. And, by requiring equidistribution with respect to every computably enumerable open set (respectively, computably enumerable open set with computable measure) in the unit interval, we give a sufficient condition for Martin-L\"of (respectively Schnorr) randomness.


title: Three-Dimensional Mesh Steganography and Steganalysis: A Review

abstract: Three-dimensional (3-D) meshes are commonly used to represent virtual surfaces and volumes. Over the past decade, 3-D meshes have emerged in industrial, medical, and entertainment applications, being of large practical significance for 3-D mesh steganography and steganalysis. In this article, we provide a systematic survey of the literature on 3-D mesh steganography and steganalysis. Compared with an earlier survey [1], we propose a new taxonomy of steganographic algorithms with four categories: 1) two-state domain, 2) LSB domain, 3) permutation domain, and 4) transform domain. Regarding steganalysis algorithms, we divide them into two categories: 1) universal steganalysis and 2) specific steganalysis. For each category, the history of technical developments and the current technological level are introduced and discussed. Finally, we highlight some promising future research directions and challenges in improving the performance of 3-D mesh steganography and steganalysis.


title: The intrinsic bispectrum of the CMB from isocurvature initial conditions

abstract: Non-linear effects in the early Universe generate non-zero bispectra of the cosmic microwave background (CMB) temperature and polarization, even in the absence of primordial non-Gaussianity. In this paper, we compute the contributions from isocurvature modes to the CMB bispectra using a modified version of the second-order Boltzmann solver SONG. We investigate the ability of current and future CMB experiments to constrain these modes with observations of the bispectrum. Our results show that the enhancement due to single isocurvature modes mixed with the adiabatic mode is negligible for the parameter ranges currently allowed by the most recent Planck results. However, we find that a large compensated isocurvature mode can produce a detectable bispectrum when its correlation with the adiabatic mode is appreciable. The non-observation of this contribution in searches for the lensing bispectrum from Planck allows us to place a new constraint on the relative amplitude of the correlated part of the compensated isocurvature mode of $f_{\rm CIP}=1\pm100$. We compute forecasts for future observations by COrE, SO, CMB-S4 and an ideal experiment and conclude that a dedicated search for the bispectrum from compensated modes could rule out a number of scenarios realised in the curvaton model. In addition, the CMB-S4 experiment could detect the most extreme of those scenarios ($f_{\rm CIP}=16.5$) at 2 to 3-$\sigma$ significance.


title: On the relation between Preference Reversal and Strategy-Proofness

abstract: We analyze the relation between strategy-proofness and preference reversal in the case that agents may declare indifference. Interestingly, Berga and Moreno (2020), have recently derived preference reversal from group strategy-proofness of social choice functions on strict preferences domains if the range has no more than three elements. We extend this result and at the same time simplify it. Our analysis points out the role of individual strategy-proofness in deriving the preference reversal property, giving back to the latter its original individual nature (cfr. Eliaz, 2004). Moreover, we show that the difficulties Berga and Moreno highlighted relaxing the assumption on the cardinality of the range, disappear under a proper assumption on the domain. We introduce the concept of complete sets of preferences and show that individual strategy-proofness is sufficient to obtain the preference reversal property when the agents' feasible set of orderings is complete. This covers interesting cases like single peaked preferences, rich domains admitting regular social choice functions, and universal domains. The fact that we use individual rather than group strategy-proofness, allows to get immediately some of the known, and some new, equivalences between individual and group strategy-proofness. Finally, we show that group strategy-proofness is only really needed to obtain preference reversal if there are infinitely many voters.


title: Homotopy, homology, and persistent homology using closure spaces

abstract: We develop persistent homology in the setting of filtrations of (Cech) closure spaces. Examples of filtrations of closure spaces include metric spaces, weighted graphs, weighted directed graphs, and filtrations of topological spaces. We use various products and intervals for closure spaces to obtain six homotopy theories, six cubical singular homology theories, and three simplicial singular homology theories. Applied to filtrations of closure spaces, these homology theories produce persistence modules. We extend the definition of Gromov-Hausdorff distance from metric spaces to filtrations of closure spaces and use it to prove that any persistence module obtained from a homotopy-invariant functor on closure spaces is stable.


title: Decoding the shift-invariant data: applications for band-excitation scanning probe microscopy

abstract: A shift-invariant variational autoencoder (shift-VAE) is developed as an unsupervised method for the analysis of spectral data in the presence of shifts along the parameter axis, disentangling the physically-relevant shifts from other latent variables. Using synthetic data sets, we show that the shift-VAE latent variables closely match the ground truth parameters. The shift VAE is extended towards the analysis of band-excitation piezoresponse force microscopy (BE-PFM) data, disentangling the resonance frequency shifts from the peak shape parameters in a model-free unsupervised manner. The extensions of this approach towards denoising of data and model-free dimensionality reduction in imaging and spectroscopic data are further demonstrated. This approach is universal and can also be extended to analysis of X-ray diffraction, photoluminescence, Raman spectra, and other data sets.


title: Look-alike Landau levels in locally biased twisted bilayer graphene

abstract: The large lattice constant of Moire superlattice formed in twisted bilayer graphene for small twist enables observing the Landau levels splitting into Hofstadter butterflies in energy spectra for moderate magnetic field. This is expected for generic system under homogeneous bias conditions but its robustness against spatial potential fluctuations is left open question. We study the energy structure of twisted bilayer system in dependence of both, the homogeneous magnetic field and the bias voltage applied exclusively in its central part. Although the translational symmetry is broken, the energy states mainly localized outside the central region may still condense on Landau levels and these would split revealing self-similarity feature. Moreover, besides the generic branch of energy states with zero-mode Landau level at charge neutrality point, when both layers are biased with the same voltage, the second look-alike energy branch shifted upwards can be developed by states largely localized in central region. Otherwise, for counter-biasing of layers, only generic branch exists but with lowest Landau layers flanked by either, hole-like and electron-like states localized at the top or at the bottom layer of central biased part of twisted bilayer system.


title: Fast outflows in protoplanetary nebulae and young planetary nebulae observed by Herschel/HIFI

abstract: Fast outflows and their interaction with slow shells (generally known as the fossil circumstellar envelope of asymptotic giant branch stars) play an important role in the structure and kinematics of protoplanetary and planetary nebulae (pPNe, PNe). To properly study their effects within these objects, we also need to observe the intermediate-temperature gas, which is only detectable in the far-infrared (FIR) and submillimetre (submm) transitions. We study the physical conditions of the outflows presented in a number of pPNe and PNe, with a focus on their temperature and excitation states. We carried out Herschel/HIFI observations in the submm lines of 12CO in nine pPNe and nine PNe and complemented them with low-J CO spectra obtained with the IRAM 30m telescope and taken from the literature. The spectral resolution of HIFI allows us to identify and measure the different nebular components in the line profiles. The comparison with large velocity gradient (LVG) model predictions was used to estimate the physical conditions of the warm gas in the nebulae, such as excitation conditions, temperature, and density. We found high kinetic temperatures for the fast winds of pPNe, typically reaching between 75 K and 200 K. In contrast, the high-velocity gas in the sampled PNe is colder, with characteristic temperatures between 25 K and 75 K, and it is found in a lower excitation state. We interpret this correlation of the kinetic temperature and excitation state of fast outflows with the amount of time elapsed since their acceleration (probably driven by shocks) as a consequence of the cooling that occurred during the pPN phase.


title: How individuals change language

abstract: Languages emerge and change over time at the population level though interactions between individual speakers. It is, however, hard to directly observe how a single speaker's linguistic innovation precipitates a population-wide change in the language, and many theoretical proposals exist. We introduce a very general mathematical model that encompasses a wide variety of individual-level linguistic behaviours and provides statistical predictions for the population-level changes that result from them. This model allows us to compare the likelihood of empirically-attested changes in definite and indefinite articles in multiple languages under different assumptions on the way in which individuals learn and use language. We find that accounts of language change that appeal primarily to errors in childhood language acquisition are very weakly supported by the historical data, whereas those that allow speakers to change incrementally across the lifespan are more plausible, particularly when combined with social network effects.


title: Efficient Communication Leader-Wingman Flight Formation Control

abstract: This paper considers autonomous flight formation of fixed-wing air vehicles. Due to several issues such as limitations on communication bandwidth and low observability requirements, an asynchronous control and communication approach is designed in order to reduce the number of updates between the vehicles. With the implementation of an event-triggered controller, it is possible to obtain a more efficient communication scheme while also achieving the convergence properties of the desired formation.


title: Orientation instability of settling spheroids in a linearly density stratified fluid

abstract: Much work has been done to understand the settling dynamics of spherical particles in a homogeneous and a stratified fluid. However, the effects of shape anisotropy on the settling dynamics of a particle in a stratified fluid are not completely understood. To this end, we perform numerical simulations for settling oblate and prolate spheroids in a stratified fluid. We present the results for the Reynolds number, $Re$, in the range $80-250$ and the Richardson number, $Ri$, in the range $0-10$. We find that both the oblate and prolate spheroids reorient to the edge-wise and partially edge-wise orientations, respectively, as they settle in a stratified fluid completely different from the steady-state broad-side on orientation observed in a homogeneous fluid. We observe that reorientation instabilities emerge when the velocity magnitude of the spheroids fall below a particular threshold. We also report the enhancement of the drag on the particle from stratification. The torque due to buoyancy effects tries to orient the spheroid in an edge-wise orientation while the hydrodynamic torque tries to orient it to a broad-side on orientation. Below the velocity threshold, the buoyancy torque dominates; resulting in the onset of reorientation instability. Finally, the asymmetry in the distribution of the baroclinic vorticity generation term around the spheroids explains the onset of the reorientation instability.


title: Machine Learning Meets Natural Language Processing -- The story so far

abstract: Natural Language Processing (NLP) has evolved significantly over the last decade. This paper highlights the most important milestones of this period while trying to pinpoint the contribution of each individual model and algorithm to the overall progress. Furthermore, it focuses on issues still remaining to be solved, emphasizing the groundbreaking proposals of Transformers, BERT, and all the similar attention-based models.


title: Fully Implicit Spectral Boundary Integral Computation of Red Blood Cell Flow

abstract: An approach is presented for implicit time integration in computations of red blood cell flow by a spectral boundary integral method. The flow of a red cell in ambient fluid is represented as a boundary integral equation (BIE), whose structure is that of an implicit ordinary differential equation (IODE). The cell configuration and velocity field are discretized with spherical harmonics. The IODE is integrated in time using a multi-step implicit method based on backward difference formulas, with variable order and adaptive time-stepping controlled by local truncation error and convergence of Newton iterations. Jacobians of the IODE, required for Newton's method, are implemented as Jacobian matrix-vector products that are nothing but directional derivatives. Their computation is facilitated by the weakly singular format of the BIE, and these matrix-vector products themselves amount to computing a second BIE. Numerical examples show that larger time steps are possible and that the number of matrix-vector products is comparable to explicit methods.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: Evaluating the Impact of a Hierarchical Discourse Representation on Entity Coreference Resolution Performance

abstract: Recent work on entity coreference resolution (CR) follows current trends in Deep Learning applied to embeddings and relatively simple task-related features. SOTA models do not make use of hierarchical representations of discourse structure. In this work, we leverage automatically constructed discourse parse trees within a neural approach and demonstrate a significant improvement on two benchmark entity coreference-resolution datasets. We explore how the impact varies depending upon the type of mention.


title: Multiferroics and beyond: electric properties of different magnetic textures

abstract: This article presents a survey of many nontrivial effects connected with the coupling of electric and magnetic degrees of freedom in solids -- the field initiated by I.~E.~Dzyaloshinskii in 1959. I briefly consider the main physics of ultiferroic materials, and concentrate on different effects "beyond multiferroics", based on the same physical mechanisms which operate in multiferroics. In particular they lead to nontrivial electric properties of different magnetic textures -- such as the appearance of dipoles on magnetic monopoles in spin ice, dipoles on some domain walls in the usual ferromagnets, on skyrmions etc. The inverse effect, the appearance of magnetic monopoles on electric charges in magnetoelectrics, is also discussed. This nontrivial electric activity of different magnetic textures has manifestations in many experimental properties of these materials, and it can potentially lead to novel applications.


title: Bias-Aware Loss for Training Image and Speech Quality Prediction Models from Multiple Datasets

abstract: The ground truth used for training image, video, or speech quality prediction models is based on the Mean Opinion Scores (MOS) obtained from subjective experiments. Usually, it is necessary to conduct multiple experiments, mostly with different test participants, to obtain enough data to train quality models based on machine learning. Each of these experiments is subject to an experiment-specific bias, where the rating of the same file may be substantially different in two experiments (e.g. depending on the overall quality distribution). These different ratings for the same distortion levels confuse neural networks during training and lead to lower performance. To overcome this problem, we propose a bias-aware loss function that estimates each dataset's biases during training with a linear function and considers it while optimising the network weights. We prove the efficiency of the proposed method by training and validating quality prediction models on synthetic and subjective image and speech quality datasets.


title: Episodic Memory Model for Learning Robotic Manipulation Tasks

abstract: Machine learning, artificial intelligence and especially deep learning based approaches are often used to simplify or eliminate the burden of programming industrial robots. Using these approaches robots inherently learn a skill instead of being programmed using strict and tedious programming instructions. While deep learning is effective in making robots learn skills, it does not offer a practical route for teaching a complete task, such as assembly or machine tending, where a complex logic must be understood and related sub-tasks need to be performed. We present a model similar to an episodic memory that allows robots to comprehend sequences of actions using single demonstration and perform them properly and accurately. The algorithm identifies and recognizes the changes in the states of the system and memorizes how to execute the necessary tasks in order to make those changes. This allows the robot to decompose the tasks into smaller sub-tasks, retain the essential steps, and remember how they have been performed.


title: Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning

abstract: There has been significant recent interest in devising verification techniques for learning-enabled controllers (LECs) that manage safety-critical systems. Given the opacity and lack of interpretability of the neural policies that govern the behavior of such controllers, many existing approaches enforce safety properties through shield, a dynamic monitoring-and-repairing mechanism that ensures a LEC does not emit actions that would violate desired safety conditions. These methods, however, have been shown to have significant scalability limitations because verification costs grow as problem dimensionality and objective complexity increase. In this paper, we propose a new automated verification pipeline capable of synthesizing high-quality safe controllers even when the problem domain involves hundreds of dimensions, or when the desired objective involves stochastic perturbations, liveness considerations, and other complex non-functional properties. Our key insight involves separating safety verification from neural controller training, and using pre-computed verified safety shields to constrain the training process. Experimental results over a range of high-dimensional benchmarks demonstrate the effectiveness of our approach in a range of stochastic linear time-invariant and time-variant systems.