title: What to expect when using globular clusters as tracers of the total mass distribution in Milky Way-mass galaxies

abstract: Dynamical models allow us to connect the motion of a set of tracers to the underlying gravitational potential, and thus to the total (luminous and dark) matter distribution. They are particularly useful for understanding the mass and spatial distribution of dark matter (DM) in a galaxy. Globular clusters (GCs) are an ideal tracer population in dynamical models, since they are bright and can be found far out into the halo of galaxies. We aim to test how well Jeans-Anisotropic-MGE (JAM) models using GCs (positions and line-of-sight velocities) as tracers can constrain the mass and radial distribution of DM halos. For this, we use the E-MOSAICS suite of 25 zoom-in simulations of L* galaxies. We find that the DM halo properties are reasonably well recovered by the JAM models. There is, however, a strong correlation between how well we recover the mass and the radial distribution of the DM and the number of GCs in the galaxy: the constraints get exponentially worse with fewer GCs, and at least 150 GCs are needed in order to guarantee that the JAM model will perform well. We find that while the data quality (uncertainty on the radial velocities) can be important, the number of GCs is the dominant factor in terms of the accuracy and precision of the measurements. This work shows promising results for these models to be used in extragalactic systems with a sample of more than 150 GCs.


title: MultivariateApart: Generalized Partial Fractions

abstract: We present a package to perform partial fraction decompositions of multivariate rational functions. The algorithm allows to systematically avoid spurious denominator factors and is capable of producing unique results also when being applied to terms of a sum separately. The package is designed to work in Mathematica, but also provides interfaces to the Form and Singular computer algebra systems.


title: Digging into the Interior of Hot Cores with ALMA (DIHCA). I. Dissecting the High-mass Star-Forming Core G335.579-0.292 MM1

abstract: We observed the high-mass star-forming region G335.579-0.292 with the Atacama Large Millimeter/submillimeter Array (ALMA) at 226 GHz with an angular resolution of 0.3'' ($\sim 1000$ au resolution at the source distance). G335.579-0.292 hosts one of the most massive cores in the Galaxy (G335-MM1). The continuum emission shows that G335-MM1 fragments into at least five sources, while molecular line emission is detected in two of the continuum sources (ALMA1 and ALMA3). We found evidence of large and small scale infall in ALMA1 revealed by an inverse P-Cygni profile and the presence of a blue-shifted spot at the center of the first moment map of the CH$_3$CN emission. In addition, hot gas expansion in the innermost region is unveiled by a red-shifted spot in the first moment map of HDCO and (CH$_3$)$_2$CO (both with $E_u > 1100$ K). Our modeling reveals that this expansion motion originates close to the central source, likely due to reversal of the accretion flow induced by the expansion of the HII region, while infall and rotation motions originate in the outer regions. ALMA3 shows clear signs of rotation, with a rotation axis inclination with respect to the line of sight close to $90^\circ$, and a system mass (disk + star) in the range of 10-30 M$_\odot$.


title: Quantum Monte Carlo study of an anharmonic Holstein model

abstract: We study the effects of anharmonicity on the physics of the Holstein model, which describes the coupling of itinerant fermions and localized quantum phonons, by introducing a quartic term in the phonon potential energy. We find that the presence of this anharmonic term reduces the extent of the charge density wave phase (CDW) at half-filling as well as the transition temperature to this phase. Doping away from half-filling, we observe a first order phase transition between the CDW and a homogeneous phase which is also present in the harmonic model. In addition, we study the evolution of the superconducting susceptibility in the doped region and show that anharmonicity can enhance the superconducting response.


title: Can stable and accurate neural networks be computed? -- On the barriers of deep learning and Smale's 18th problem

abstract: Deep learning (DL) has had unprecedented success and is now entering scientific computing with full force. However, current DL methods typically suffer from instability, even when universal approximation properties guarantee the existence of stable neural networks (NNs). We address this paradox by demonstrating basic well-conditioned problems in scientific computing where one can prove the existence of NNs with great approximation qualities, however, there does not exist any algorithm, even randomised, that can train (or compute) such a NN. For any positive integers $K > 2$ and $L$, there are cases where simultaneously: (a) no randomised training algorithm can compute a NN correct to $K$ digits with probability greater than $1/2$, (b) there exists a deterministic training algorithm that computes a NN with $K-1$ correct digits, but any such (even randomised) algorithm needs arbitrarily many training data, (c) there exists a deterministic training algorithm that computes a NN with $K-2$ correct digits using no more than $L$ training samples. These results imply a classification theory describing conditions under which (stable) NNs with a given accuracy can be computed by an algorithm. We begin this theory by establishing sufficient conditions for the existence of algorithms that compute stable NNs in inverse problems. We introduce Fast Iterative REstarted NETworks (FIRENETs), which we both prove and numerically verify are stable. Moreover, we prove that only $\mathcal{O}(|\log(\epsilon)|)$ layers are needed for an $\epsilon$-accurate solution to the inverse problem.


title: Damped perturbations in stellar systems: Genuine modes and Landau-damped waves

abstract: This research was stimulated by the recent studies of damping solutions in dynamically stable spherical stellar systems. Using the simplest model of the homogeneous stellar medium, we discuss nontrivial features of stellar systems. Taking them into account will make it possible to correctly interpret the results obtained earlier and will help to set up decisive numerical experiments in the future. In particular, we compare the initial value problem versus the eigenvalue problem. It turns out that in the unstable regime, the Landau-damped waves can be represented as a superposition of van Kampen modes {\it plus} a discrete damped mode, usually ignored in the stability study. This mode is a solution complex conjugate to the unstable Jeans mode. In contrast, the Landau-damped waves are not genuine modes: in modes, eigenfunctions depend on time as $\exp (-{\rm i} \omega t)$, while the waves do not have eigenfunctions on the real $v$-axis at all. However, `eigenfunctions' on the complex $v$-contours do exist. Deviations from the Landau damping are common and can be due to singularities or cut-off of the initial perturbation above some fixed value in the velocity space.


title: The Diagnosis of Asthma using Hilbert-Huang Transform and Deep Learning on Lung Sounds

abstract: Lung auscultation is the most effective and indispensable method for diagnosing various respiratory disorders by using the sounds from the airways during inspirium and exhalation using a stethoscope. In this study, the statistical features are calculated from intrinsic mode functions that are extracted by applying the HilbertHuang Transform to the lung sounds from 12 different auscultation regions on the chest and back. The classification of the lung sounds from asthma and healthy subjects is performed using Deep Belief Networks (DBN). The DBN classifier model with two hidden layers has been tested using 5-fold cross validation method. The proposed DBN separated lung sounds from asthmatic and healthy subjects with high classification performance rates of 84.61%, 85.83%, and 77.11% for overall accuracy, sensitivity, and selectivity, respectively using frequencytime analysis.


title: GRAthena++: puncture evolutions on vertex-centered oct-tree AMR

abstract: Numerical relativity is central to the investigation of astrophysical sources in the dynamical and strong-field gravity regime, such as binary black hole and neutron star coalescences. Current challenges set by gravitational-wave and multi-messenger astronomy call for highly performant and scalable codes on modern massively-parallel architectures. We present GR-Athena++, a general-relativistic, high-order, vertex-centered solver that extends the oct-tree, adaptive mesh refinement capabilities of the astrophysical (radiation) magnetohydrodynamics code Athena++. To simulate dynamical space-times GR-Athena++ uses the Z4c evolution scheme of numerical relativity coupled to the moving puncture gauge. We demonstrate stable and accurate binary black hole merger evolutions via extensive convergence testing, cross-code validation, and verification against state-of-the-art effective-one-body waveforms. GR-Athena++ leverages the task-based parallelism paradigm of Athena++ to achieve excellent scalability. We measure strong scaling efficiencies above $95\%$ for up to $\sim 1.2\times10^4$ CPUs and excellent weak scaling is shown up to $\sim 10^5$ CPUs in a production binary black hole setup with adaptive mesh refinement. GR-Athena++ thus allows for the robust simulation of compact binary coalescences and offers a viable path towards numerical relativity at exascale.


title: The buildup of the intracluster light of Abell 85 as seen by Subaru's Hyper Suprime-Cam

abstract: The study of low surface brightness light in large, deep imaging surveys is still uncharted territory as automated data reduction pipelines over-subtract or eliminate this light. Using archival data of the Abell 85 cluster of galaxies taken with Hyper Suprime-Cam on the Subaru Telescope, we show that using careful data processing can unveil the diffuse light within the cluster, the intracluster light. We reach surface brightness limits of $\mu_{g}^{limit}$(3$\sigma$, 10"x10") = 30.9 mag/arcsec$^2$, and $\mu_{i}^{limit}$(3$\sigma$, 10"x10") = 29.7 mag/arcsec$^2$. We measured the radial surface brightness profiles of the brightest cluster galaxy out to the intracluster light (radius $\sim215$ kpc), for the g and i bands. We found that both the surface brightness and the color profiles become shallower beyond $\sim75$ kpc suggesting that a distinct component, the intracluster light, starts to dominate at that radius. The color of the profile at $\sim100$ kpc suggests that the buildup of the intracluster light of Abell 85 occurs by the stripping of massive ($\sim10^{10}M_{\odot}$) satellites. The measured fraction of this light ranges from 8% to 30% in g, depending on the definition of intracluster light chosen.


title: A Spatially-Resolved Survey of Distant Quasar Host Galaxies: II. Photoionization and Kinematics of the ISM

abstract: We present detailed observations of photoionization conditions and galaxy kinematics in eleven z$=1.39-2.59$ radio-loud quasar host galaxies. Data was taken with OSIRIS integral field spectrograph (IFS) and the adaptive optics system at the W.M. Keck Observatory that targeted nebular emission lines (H$\beta$,[OIII],H$\alpha$,[NII]) redshifted into the near-infrared (1-2.4 \micron). We detect extended ionized emission on scales ranging from 1-30 kpc photoionized by stars, shocks, and active galactic nuclei (AGN). Spatially resolved emission-line ratios indicate that our systems reside off the star formation and AGN-mixing sequence on the Baldwin, Phillips $\&$ Terlevich (BPT) diagram at low redshift. The dominant cause of the difference between line ratios of low redshift galaxies and our sample is due to lower gas-phase metallicities, which are 2-5$\times$ less compared to galaxies with AGN in the nearby Universe. Using gas velocity dispersion as a proxy to stellar velocity dispersion and dynamical mass measurement through inclined disk modeling we find that the quasar host galaxies are under-massive relative to their central supermassive black hole (SMBH) mass, with all systems residing off the local scaling ($M_{\bullet}-\sigma~$,$M_{\bullet}-M_{*}~$) relationship. These quasar host galaxies require substantial growth, up to an order of magnitude in stellar mass, to grow into present-day massive elliptical galaxies. Combining these results with part I of our sample paper (Vayner et al. 2021) we find evidence for winds capable of causing feedback before the AGN host galaxies land on the local scaling relation between black hole and galaxy stellar mass, and before the enrichment of the ISM to a level observed in local galaxies with AGN.


title: 3D Magneto-thermal Simulations of Tangled Crustal Magnetic Field in Central Compact Objects

abstract: Central compact objects are young neutron stars emitting thermal X-rays with bolometric luminosities $L_X$ in the range $10^{32}$-$10^{34}$ erg/s. Gourgouliatos, Hollerbach and Igoshev recently suggested that peculiar emission properties of central compact objects can be explained by tangled magnetic field configurations formed in a stochastic dynamo during the proto-neutron star stage. In this case the magnetic field consists of multiple small-scale components with negligible contribution of global dipolar field. We study numerically three-dimensional magneto-thermal evolution of tangled crustal magnetic fields in neutron stars. We find that all configurations produce complicated surface thermal patterns which consist of multiple small hot regions located at significant separations from each other. The configurations with initial magnetic energy of $2.5-10\times 10^{47}$ erg have temperatures of hot regions that reach $\approx 0.2$ keV, to be compared with the bulk temperature of $\approx 0.1$ keV in our simulations with no cooling. A factor of two in temperature is also seen in observations of central compact objects. The hot spots produce periodic modulations in light curve with typical amplitudes of $\leq 9-11$ %. Therefore, the tangled magnetic field configuration can explain thermal emission properties of some central compact objects.


title: What is all this new MeSH about? Exploring the semantic provenance of new descriptors in the MeSH thesaurus

abstract: The Medical Subject Headings (MeSH) thesaurus is a controlled vocabulary widely used in biomedical knowledge systems, particularly for semantic indexing of scientific literature. As the MeSH hierarchy evolves through annual version updates, some new descriptors are introduced that were not previously available. This paper explores the conceptual provenance of these new descriptors. In particular, we investigate whether such new descriptors have been previously covered by older descriptors and what is their current relation to them. To this end, we propose a framework to categorize new descriptors based on their current relation to older descriptors. Based on the proposed classification scheme, we quantify, analyse and present the different types of new descriptors introduced in MeSH during the last fifteen years. The results show that only about 25% of new MeSH descriptors correspond to new emerging concepts, whereas the rest were previously covered by one or more existing descriptors, either implicitly or explicitly. Most of them were covered by a single existing descriptor and they usually end up as descendants of it in the current hierarchy, gradually leading towards a more fine-grained MeSH vocabulary. These insights about the dynamics of the thesaurus are useful for the retrospective study of scientific articles annotated with MeSH, but could also be used to inform the policy of updating the thesaurus in the future.


title: Auslander's Theorem and n-Isolated Singularities

abstract: One of the most stunning results in the representation theory of Cohen-Macaulay rings is Auslander's well known theorem which states a CM local ring of finite CM type can have at most an isolated singularity. There have been some generalizations of this in the direction of countable CM type by Huneke and Leuschke. In this paper, we focus on a different generalization by restricting the class of modules. Here we consider modules which are high syzygies of MCM modules over non-commutative rings, exploiting the fact that non-commutative rings allow for finer homological behavior. We then generalize Auslander's Theorem in the setting of complete Gorenstein local domains by examining path algebras, which preserve finiteness of global dimension.


title: Integrated multiplexed microwave readout of silicon quantum dots in a cryogenic CMOS chip

abstract: Solid-state quantum computers require classical electronics to control and readout individual qubits and to enable fast classical data processing [1-3]. Integrating both subsystems at deep cryogenic temperatures [4], where solid-state quantum processors operate best, may solve some major scaling challenges, such as system size and input/output (I/O) data management [5]. Spin qubits in silicon quantum dots (QDs) could be monolithically integrated with complementary metal-oxide-semiconductor (CMOS) electronics using very-large-scale integration (VLSI) and thus leveraging over wide manufacturing experience in the semiconductor industry [6]. However, experimental demonstrations of integration using industrial CMOS at mK temperatures are still in their infancy. Here we present a cryogenic integrated circuit (IC) fabricated using industrial CMOS technology that hosts three key ingredients of a silicon-based quantum processor: QD arrays (arranged here in a non-interacting 3x3 configuration), digital electronics to minimize control lines using row-column addressing and analog LC resonators for multiplexed readout, all operating at 50 mK. With the microwave resonators (6-8 GHz range), we show dispersive readout of the charge state of the QDs and perform combined time- and frequency-domain multiplexing, enabling scalable readout while reducing the overall chip footprint. This modular architecture probes the limits towards the realization of a large-scale silicon quantum computer integrating quantum and classical electronics using industrial CMOS technology.


title: A comprehensive view of blackbody components in the X-ray spectra of GRBs

abstract: A small fraction of gamma-ray bursts (GRBs) exhibit blackbody emission in the X-ray spectra, the origin of which is debated. In order to gain a more complete understanding of this phenomenon, we present a search for blackbody components in 116 GRBs with known redshifts observed by {\it Swift}~XRT. A time-resolved spectral analysis is carried out and the significance of the blackbody is assessed with respect to an absorbed power-law model. We report nine new detections and confirm the previously reported blackbody in GRB~171205A. Together with our previous results, there are a total of 19 GRBs with significant blackbody emission in a sample of 199 GRBs observed by {\it Swift} over 13 years. The detections include one short GRB and two low-luminosity GRBs. We estimate fireball parameters from the blackbody components and note that the blackbody luminosity is correlated with the temperature and inferred Lorentz factor. There is a large spread in the properties of the blackbody components and the light curves, which points to different origins for the emission. In about a third of the GRBs, the blackbody is clearly associated with late prompt emission from the jet. The rest of the sample includes cases that are fully consistent with the expectations from a cocoon, as well cases that may be explained by high-latitude emission or more energetic cocoons. These results indicate that thermal emission is associated with all parts of the jet.


title: Run-Time Safety Monitoring of Neural-Network-Enabled Dynamical Systems

abstract: Complex dynamical systems rely on the correct deployment and operation of numerous components, with state-of-the-art methods relying on learning-enabled components in various stages of modeling, sensing, and control at both offline and online levels. This paper addresses the run-time safety monitoring problem of dynamical systems embedded with neural network components. A run-time safety state estimator in the form of an interval observer is developed to construct lower-bound and upper-bound of system state trajectories in run time. The developed run-time safety state estimator consists of two auxiliary neural networks derived from the neural network embedded in dynamical systems, and observer gains to ensure the positivity, namely the ability of estimator to bound the system state in run time, and the convergence of the corresponding error dynamics. The design procedure is formulated in terms of a family of linear programming feasibility problems. The developed method is illustrated by a numerical example and is validated with evaluations on an adaptive cruise control system.


title: Dictionary-Sparse Recovery From Heavy-Tailed Measurements

abstract: The recovery of signals that are sparse not in a basis, but rather sparse with respect to an over-complete dictionary is one of the most flexible settings in the field of compressed sensing with numerous applications. As in the standard compressed sensing setting, it is possible that the signal can be reconstructed efficiently from few, linear measurements, for example by the so-called $\ell_1$-synthesis method. However, it has been less well-understood which measurement matrices provably work for this setting. Whereas in the standard setting, it has been shown that even certain heavy-tailed measurement matrices can be used in the same sample complexity regime as Gaussian matrices, comparable results are only available for the restrictive class of sub-Gaussian measurement vectors as far as the recovery of dictionary-sparse signals via $\ell_1$-synthesis is concerned. In this work, we fill this gap and establish optimal guarantees for the recovery of vectors that are (approximately) sparse with respect to a dictionary via the $\ell_1$-synthesis method from linear, potentially noisy measurements for a large class of random measurement matrices. In particular, we show that random measurements that fulfill only a small-ball assumption and a weak moment assumption, such as random vectors with i.i.d. Student-$t$ entries with a logarithmic number of degrees of freedom, lead to comparable guarantees as (sub-)Gaussian measurements. As a technical tool, we show a bound on the expectation of the sum of squared order statistics under very general assumptions, which might be of independent interest. As a corollary of our results, we also obtain a slight improvement on the weakest assumption on a measurement matrix with i.i.d. rows sufficient for uniform recovery in standard compressed sensing, improving on results by Lecu\'e and Mendelson and Dirksen, Lecu\'e and Rauhut.

categories: cs.IT cs.NA eess.SP math.IT math.NA math.PR


title: Text Line Segmentation for Challenging Handwritten Document Images Using Fully Convolutional Network

abstract: This paper presents a method for text line segmentation of challenging historical manuscript images. These manuscript images contain narrow interline spaces with touching components, interpenetrating vowel signs and inconsistent font types and sizes. In addition, they contain curved, multi-skewed and multi-directed side note lines within a complex page layout. Therefore, bounding polygon labeling would be very difficult and time consuming. Instead we rely on line masks that connect the components on the same text line. Then these line masks are predicted using a Fully Convolutional Network (FCN). In the literature, FCN has been successfully used for text line segmentation of regular handwritten document images. The present paper shows that FCN is useful with challenging manuscript images as well. Using a new evaluation metric that is sensitive to over segmentation as well as under segmentation, testing results on a publicly available challenging handwritten dataset are comparable with the results of a previous work on the same dataset.


title: Massive White Dwarfs in Young Star Clusters

abstract: We have carried out a search for massive white dwarfs (WDs) in the direction of young open star clusters using the Gaia DR2 database. The aim of this survey was to provide robust data for new and previously known high-mass WDs regarding cluster membership, to highlight WDs previously included in the Initial Final Mass Relation (IFMR) that are unlikely members of their respective clusters according to Gaia astrometry and to select an unequivocal WD sample that could then be compared with the host clusters' turnoff masses. All promising WD candidates in each cluster CMD were followed up with spectroscopy from Gemini in order to determine whether they were indeed WDs and derive their masses, temperatures and ages. In order to be considered cluster members, white dwarfs were required to have proper motions and parallaxes within 2, 3, or 4-$\sigma$ of that of their potential parent cluster based on how contaminated the field was in their region of the sky, have a cooling age that was less than the cluster age and a mass that was broadly consistent with the IFMR. A number of WDs included in current versions of the IFMR turned out to be non-members and a number of apparent members, based on Gaia's astrometric data alone, were rejected as their mass and/or cooling times were incompatible with cluster membership. In this way, we developed a highly selected IFMR sample for high mass WDs that, surprisingly, contained no precursor masses significantly in excess of ${\sim}$6 $M_{\odot}$.


title: Aesthetics, Personalization and Recommendation: A survey on Deep Learning in Fashion

abstract: Machine learning is completely changing the trends in the fashion industry. From big to small every brand is using machine learning techniques in order to improve their revenue, increase customers and stay ahead of the trend. People are into fashion and they want to know what looks best and how they can improve their style and elevate their personality. Using Deep learning technology and infusing it with Computer Vision techniques one can do so by utilizing Brain-inspired Deep Networks, and engaging into Neuroaesthetics, working with GANs and Training them, playing around with Unstructured Data,and infusing the transformer architecture are just some highlights which can be touched with the Fashion domain. Its all about designing a system that can tell us information regarding the fashion aspect that can come in handy with the ever growing demand. Personalization is a big factor that impacts the spending choices of customers.The survey also shows remarkable approaches that encroach the subject of achieving that by divulging deep into how visual data can be interpreted and leveraged into different models and approaches. Aesthetics play a vital role in clothing recommendation as users' decision depends largely on whether the clothing is in line with their aesthetics, however the conventional image features cannot portray this directly. For that the survey also highlights remarkable models like tensor factorization model, conditional random field model among others to cater the need to acknowledge aesthetics as an important factor in Apparel recommendation.These AI inspired deep models can pinpoint exactly which certain style resonates best with their customers and they can have an understanding of how the new designs will set in with the community. With AI and machine learning your businesses can stay ahead of the fashion trends.


title: Dye's theorem for tripotents in von Neumann algebras and JBW* triples

abstract: We study morphisms of the generalized quantum logic of tripotents in JBW*-triples and von Neumann algebras. Especially, we establish generalization of celebrated Dye's theorem on orthoisomorphisms between von Neumann lattices to this new context. We show one-to-one correspondence between maps on tripotents preserving orthogonality, orthogonal suprema, and reflection $u\to -u$, on one side, and their extensions to maps that are real linear on sets of elements with bounded range tripotents on the other side. In a more general description we show that quantum logic morphisms on tripotent structures are given by a family of Jordan *-homomorphisms on 2-Peirce subspaces. By examples we exhibit new phenomena for tripotent morphisms that have no analogy for projection lattices and demonstrated that the above mention tripotent versions of Dye's theorem cannot be improved. On the other hand, in a special case of JBW$^*$-algebras we can generalize Dye's result directly. Besides we show that structure of tripotents in C$^*$-algebras determines their projection poset and is a complete Jordan invariant for von Neumann algebras.


title: From Local Pseudorandom Generators to Hardness of Learning

abstract: We prove hardness-of-learning results under a well-studied assumption on the existence of local pseudorandom generators. As we show, this assumption allows us to surpass the current state of the art, and prove hardness of various basic problems, with no hardness results to date. Our results include: hardness of learning shallow ReLU neural networks under the Gaussian distribution and other distributions; hardness of learning intersections of $\omega(1)$ halfspaces, DNF formulas with $\omega(1)$ terms, and ReLU networks with $\omega(1)$ hidden neurons; hardness of weakly learning deterministic finite automata under the uniform distribution; hardness of weakly learning depth-$3$ Boolean circuits under the uniform distribution, as well as distribution-specific hardness results for learning DNF formulas and intersections of halfspaces. We also establish lower bounds on the complexity of learning intersections of a constant number of halfspaces, and ReLU networks with a constant number of hidden neurons. Moreover, our results imply the hardness of virtually all improper PAC-learning problems (both distribution-free and distribution-specific) that were previously shown hard under other assumptions.


title: Coupling modifies the quantum fluctuations of entangled oscillators

abstract: Coupled oscillators are among the simplest composite quantum systems in which the interplay of entanglement and interaction may be explored. We examine the effects of coupling on fluctuations of the coordinates and momenta of the oscillators in a single-excitation entangled state. We discover that coupling acts as a mechanism for noise transfer between one pair of coordinate and momentum and another. Through this noise transfer mechanism, the uncertainty product is lowered, on average, relatively to its non-coupled level for one pair of coordinate and momentum and it is enhanced for the other pair. This novel mechanism may be explored in precision measurements in entanglement-assisted sensing and metrology.


title: PTAL multi-spectral database of planetary terrestrial analogues: Raman data overview

abstract: The multi analytical study of terrestrial analogues is a useful strategy to deepen the knowledge about the geological and environmental evolution of Mars and other extraterrestrial bodies. In spite of the increasing importance that LIBS, NIR and Raman techniques are acquiring in the field of space exploration, there is a lack web-based platform providing free access to a wide multi-spectral database of terrestrial analogue materials. The Planetary Terrestrial Analogue Library (PTAL) project aims at responding to this critical need by developing and providing free web accessibility to LIBS, NIR and Raman data from more than 94 terrestrial analogues selected according to their congruence with Martian geological contexts. In this framework, the present manuscript provides the scientific community with a complete overview of the over 4500 Raman spectra collected to feed the PTAL database. Raman data, obtained through the complementary use of laboratory and spacecraft-simulator systems, confirmed the effectiveness of this spectroscopic technique for the detection of major and minor mineralogical phases of the samples, the latter being of critical importance for the recognition of geological processes that could have occurred on Mars and other planets. In light of the forthcoming missions to Mars, the results obtained through the RLS ExoMars Simulator offer a valuable insight on the scientific outcome that could derive from the RLS spectrometer that will soon land on Mars as part of the ExoMars rover payload.


title: Global existence of free-energy solutions to the 2D Patlak--Keller--Segel--Navier--Stokes system with critical and subcritical mass

abstract: We consider a coupled Patlak-Keller-Segel-Navier-Stokes system in $\mathbb{R}^2$ that describes the collective motion of cells and fluid flow, where the cells are attracted by a chemical substance and transported by ambient fluid velocity, and the fluid flow is forced by the friction induced by the cells. The main result of the paper is to show the global existence of free-energy solutions to the 2D Patlak-Keller-Segel-Navier-Stokes system with critical and subcritical mass.


title: Enhanced superconductivity in FeSe/SrTiO$_3$ from the combination of forward scattering phonons and spin fluctuations

abstract: We study the effect of combining spin fluctuations and forward scattering electron-phonon ({\eph}) coupling on the superconductivity in the FeSe/SrTiO$_3$ system modeled by a phenomenological two-band Hubbard model with long-range {\eph} interactions. We treat the electron and phonon degrees of freedom on an equal footing using a \emph{fully} self-consistent FLEX plus Migdal-Eliashberg calculation, which includes a self-consistent determination of the spin fluctuation spectrum. Based on FeSe monolayers, we focus on the case where one of the bands lies below the Fermi level (i.e. incipient), and demonstrate that the combined interactions can enhance or suppress $T_c$, depending on their relative strength. For a suitable choice of parameters, the spin-fluctuation mechanism yields a $T_c \approx 46.8$ K incipient $s_\pm$ superconductor, consistent with surface-doped FeSe thin films. A forward-focused {\eph} interaction further enhances the $T_c$, as observed in monolayer FeSe on SrTiO$_3$.


title: Tweaking the Beukers Integrals In Search of More Miraculous Irrationality Proofs A La Apery

abstract: There are only aleph-zero rational numbers, while there are 2 to the power aleph-zero real numbers. Hence the probability that a randomly chosen real number would be rational is 0. Yet proving rigorously that any specific, natural, real constant, is irrational is usually very hard, witness that there are still no proofs of the irrationality of the Euler-Mascheroni constant, the Catalan constant, or Zeta(5). Inspired by Frits Beukers' elegant rendition of Apery's seminal proofs of the irrationality of Zeta(2) and Zeta(3), and heavily using algorithmic proof theory, we systematically searched for other similar integrals, that lead to irrationality proofs. We found quite a few candidates for such proofs, including the square-root of Pi times Gamma(7/3)/Gamma(-1/6) and Gamma(19/6)/Gamma(8/3) divided by the square-root of Pi.


title: Chest X-ray lung and heart segmentation based on minimal training sets

abstract: As the COVID-19 pandemic aggravated the excessive workload of doctors globally, the demand for computer aided methods in medical imaging analysis increased even further. Such tools can result in more robust diagnostic pipelines which are less prone to human errors. In our paper, we present a deep neural network to which we refer to as Attention BCDU-Net, and apply it to the task of lung and heart segmentation from chest X-ray (CXR) images, a basic but ardous step in the diagnostic pipeline, for instance for the detection of cardiomegaly. We show that the fine-tuned model exceeds previous state-of-the-art results, reaching $98.1\pm 0.1\%$ Dice score and $95.2\pm 0.1\%$ IoU score on the dataset of Japanese Society of Radiological Technology (JSRT). Besides that, we demonstrate the relative simplicity of the task by attaining surprisingly strong results with training sets of size 10 and 20: in terms of Dice score, $97.0\pm 0.8\%$ and $97.3\pm 0.5$, respectively, while in terms of IoU score, $92.2\pm 1.2\%$ and $93.3\pm 0.4\%$, respectively. To achieve these scores, we capitalize on the mixup augmentation technique, which yields a remarkable gain above $4\%$ IoU score in the size 10 setup.


title: Non-Convex Compressed Sensing with Training Data

abstract: Efficient algorithms for the sparse solution of under-determined linear systems $Ax = b$ are known for matrices $A$ satisfying suitable assumptions like the restricted isometry property (RIP). Without such assumptions little is known and without any assumptions on $A$ the problem is $NP$-hard. A common approach is to replace $\ell_1$ by $\ell_p$ minimization for $0 < p < 1$, which is no longer convex and typically requires some form of local initial values for provably convergent algorithms. In this paper, we consider an alternative, where instead of suitable initial values we are provided with extra training problems $Ax = B_l$, $l=1, \dots, p$ that are related to our compressed sensing problem. They allow us to find the solution of the original problem $Ax = b$ with high probability in the range of a one layer linear neural network with comparatively few assumptions on the matrix $A$.


title: Inverse patchy colloids: synthesis, modeling and self-organization

abstract: Inverse patchy colloids are nano- to micro-scale particles with a surface divided into differently charged regions. This class of colloids combines directional, selective bonding with a relatively simple particle design: owing to the competitive interplay between the orientation-dependent attraction and repulsion -- induced by the interactions between like/oppositely charged areas -- experimentally accessible surface patterns are complex enough to favor the stabilization of specific structures of interest. Most important, the behavior of heterogeneously charged units can be ideally controlled by means of external parameters, such as the pH and the salt concentration. We present a concise review about this class of systems, spanning the range from the synthesis of model inverse patchy particles to their self-assembly, covering their coarse-grained modeling and the related numerical/analytical treatments.


title: Partitions of an Integer into Powers

abstract: In this paper, we use a simple discrete dynamical model to study partitions of integers into powers of another integer. We extend and generalize some known results about their enumeration and counting, and we give new structural results. In particular, we show that the set of these partitions can be ordered in a natural way which gives the distributive lattice structure to this set. We also give a tree structure which allow efficient and simple enumeration of the partitions of an integer.


title: On-State Commutativity of Measurements and Joint Distributions of Their Outcomes

abstract: In this note, we analyze joint probability distributions that arise from outcomes of sequences of quantum measurements performed on sets of quantum states. First, we identify some properties of these distributions that need to be fulfilled to get a classical behavior. Secondly, we prove that a joint distribution exists iff measurement operators "on-state" permute (permutability is the commutativity of more than two operators). By "on-state" we mean properties of operators that hold only on a subset of states in the Hilbert space. Then, we disprove a conjecture proposed by Carstens, Ebrahimi, Tabia, and Unruh (eprint 2018), which states that the property of partial on-state permutation implies full on-state permutation. We disprove this conjecture with a counterexample where pairwise "on-state" commutativity does not imply on-state permutability, unlike in the case of commutativity for all states in the Hilbert space. Finally, we explore the new concept of on-state commutativity by showing a simple proof that if two projections almost on-state commute, then there is a commuting pair of operators that are on-state close to the originals. This result was originally proven by Hastings (Communications in Mathematical Physics, 2019) for general operators.


title: Multi-Scale Games: Representing and Solving Games on Networks with Group Structure

abstract: Network games provide a natural machinery to compactly represent strategic interactions among agents whose payoffs exhibit sparsity in their dependence on the actions of others. Besides encoding interaction sparsity, however, real networks often exhibit a multi-scale structure, in which agents can be grouped into communities, those communities further grouped, and so on, and where interactions among such groups may also exhibit sparsity. We present a general model of multi-scale network games that encodes such multi-level structure. We then develop several algorithmic approaches that leverage this multi-scale structure, and derive sufficient conditions for convergence of these to a Nash equilibrium. Our numerical experiments demonstrate that the proposed approaches enable orders of magnitude improvements in scalability when computing Nash equilibria in such games. For example, we can solve previously intractable instances involving up to 1 million agents in under 15 minutes.


title: From Forced Working-From-Home to Working-From-Anywhere: Two Revolutions in Telework

abstract: The COVID-19 outbreak has admittedly caused a major disruption worldwide. The interruptions to production, transportation, and mobility have clearly had a significant impact on the well-functioning of the global supply and demand chain. But what happened to the companies developing digital services, such as software. Were they interrupted as much or at all? And how has the enforced Working-From-Home mode impacted their ability to continue to deliver software? We hear that some managers are concerned that their engineers are not working effectively from home, or even lack the motivation to work in general, that teams lose touch and that managers do not notice when things go wrong. In this article, we share our findings from monitoring the situation in an international software company with engineers located in Sweden, USA, and the UK. We analyzed different aspects of productivity, such as developer satisfaction and well-being, activity, communication and collaboration, efficiency and flow based on the archives of commit data, calendar invites, and Slack communication, as well as the internal reports of WFH experiences and 18 interviews. We find that company engineers continue committing code and carry out their daily duties without significant disruptions, while their routines have gradually adjusted to the new norm with new emerging practices and various changes to the old ones. In a way, our message is that there is no news, which is good news. Yet, the experiences gained with the WFH of such scale have already made significant changes in the software industry's future, work from anywhere being an example of major importance.


title: Ensemble manifold based regularized multi-modal graph convolutional network for cognitive ability prediction

abstract: Objective: Multi-modal functional magnetic resonance imaging (fMRI) can be used to make predictions about individual behavioral and cognitive traits based on brain connectivity networks. Methods: To take advantage of complementary information from multi-modal fMRI, we propose an interpretable multi-modal graph convolutional network (MGCN) model, incorporating the fMRI time series and the functional connectivity (FC) between each pair of brain regions. Specifically, our model learns a graph embedding from individual brain networks derived from multi-modal data. A manifold-based regularization term is then enforced to consider the relationships of subjects both within and between modalities. Furthermore, we propose the gradient-weighted regression activation mapping (Grad-RAM) and the edge mask learning to interpret the model, which is used to identify significant cognition-related biomarkers. Results: We validate our MGCN model on the Philadelphia Neurodevelopmental Cohort to predict individual wide range achievement test (WRAT) score. Our model obtains superior predictive performance over GCN with a single modality and other competing approaches. The identified biomarkers are cross-validated from different approaches. Conclusion and Significance: This paper develops a new interpretable graph deep learning framework for cognitive ability prediction, with the potential to overcome the limitations of several current data-fusion models. The results demonstrate the power of MGCN in analyzing multi-modal fMRI and discovering significant biomarkers for human brain studies.


title: Deformed Double Current Algebras via Deligne Categories

abstract: In this paper we give an alternative construction of a certain class of Deformed Double Current Algebras. These algebras are deformations of $U({\rm End}(\Bbbk^r)[x,y])$ and they were initially defined and studied by N.Guay in his papers. Here we construct them as algebras of endomorphisms in Deligne category. We do this by taking an ultraproduct of spherical subalgebras of the extended Cherednik algebras of finite rank.


title: Extremal Laws for Laplacian Random Matrices

abstract: For an $n\times n$ Laplacian random matrix $L$ with Gaussian entries it is proven that the fluctuations of the largest eigenvalue and the largest diagonal entry of $L/\sqrt{n-1}$ are Gumbel. We first establish suitable non-asymptotic estimates and bounds for the largest eigenvalue of $L$ in terms of the largest diagonal element of $L$. An expository review of existing results for the asymptotic spectrum of a Laplacian random matrix is also presented, with the goal of noting the differences from the corresponding classical results for Wigner random matrices. Extensions to Laplacian block random matrices are indicated.


title: Communication Aid for Non-English Speaking Newcomers

abstract: This research work is intended to assess the usability of Pictogram symbols and other visual symbols in an audio-visual strategy to facilitate and enhance the use and learning of English as an additional language for Arabic-speaking Syrian refugees, with a potential for generalizing the process to speakers from other linguistic backgrounds. The adopted software for the project is PICTOPAGES, a versatile tool with 2,200 symbols, 78 animated symbols, and the potential for customization with photographs, thus augmenting its capability for personalization and relevance. While PICTOPAGES is the intended basis for this research, the concept and software will be adapted and modified as may be required. PICTOPAGES includes text, recorded speech, and symbols and is currently available for iPad. In the future, it may be adapted for use on iPhone. A preliminary design using PICTOPAGES has been created for this research. The focus group includes, but is not limited to, newcomers who may have limited to no English skills, limited resources, limited education, and potentially limited literacy in their native language, and perhaps high levels of distraction and frustration related to their recent experiences. Enhanced communication capability and confidence should enhance the participants employment potential. Extensive interaction with respect to communication requirements, selection or development of readily understandable symbols, and real-world testing would be undertaken with an intended user group. A potential subset of the focus group could involve members of the refugee community that, in addition to English language limitations, also have developmental or acquired disabilities that affect their ability to communicate verbally (per the original intent of the software).


title: The LHC Olympics 2020: A Community Challenge for Anomaly Detection in High Energy Physics

abstract: A new paradigm for data-driven, model-agnostic new physics searches at colliders is emerging, and aims to leverage recent breakthroughs in anomaly detection and machine learning. In order to develop and benchmark new anomaly detection methods within this framework, it is essential to have standard datasets. To this end, we have created the LHC Olympics 2020, a community challenge accompanied by a set of simulated collider events. Participants in these Olympics have developed their methods using an R&D dataset and then tested them on black boxes: datasets with an unknown anomaly (or not). This paper will review the LHC Olympics 2020 challenge, including an overview of the competition, a description of methods deployed in the competition, lessons learned from the experience, and implications for data analyses with future datasets as well as future colliders.


title: The Fundamental Solution to $\Box_b$ on Quadric Manifolds -- Part 4. Nonzero Eigenvalues

abstract: This paper is the fourth of a multi-part series in which we study the geometric and analytic properties of the Kohn Laplacian and its inverse on general quadric submanifolds of $\mathbb{C}^n\times\mathbb{C}^m$. The goal of this article is explore the complex Green operator in the case that the eigenvalues of the directional Levi forms are nonvanishing. We 1) investigate the geometric conditions on $M$ which the eigenvalue condition forces, 2) establish optimal pointwise upper bounds on complex Green operator and its derivatives, 3) explore the $L^p$ and $L^p$-Sobolev mapping properties of the associated kernels, and 4) provide examples.


title: The Fundamental Solution to $\Box_b$ on Quadric Manifolds -- Part 1. General Formulas

abstract: This paper is the first of a three part series in which we explore geometric and analytic properties of the Kohn Laplacian and its inverse on general quadric submanifolds of $\mathbb{C}^n\times\mathbb{C}^m$. In this paper, we present a streamlined calculation for a general integral formula for the complex Green operator $N$ and the projection onto the nullspace of $\Box_b$. The main application of our formulas is the critical case of codimension two quadrics in $\mathbb{C}^4$ where we discuss the known solvability and hypoellipticity criteria of Peloso and Ricci \cite{PeRi03}. We also provide examples to show that our formulas yield explicit calculations in some well-known cases: the Heisenberg group and a Cartesian product of Heisenberg groups.


title: Operational Theories in Phase Space: Toy Model for the Harmonic Oscillator

abstract: We show how to construct general probabilistic theories that contain an energy observable dependent on position and momentum. The construction is in accordance with classical and quantum theory and allows for physical predictions, such as the probability distribution for position, momentum and energy. We demonstrate the construction by formulating a toy model for the harmonic oscillator that is neither classical nor quantum. The model features a discrete energy spectrum, a ground state with sharp position and momentum, an eigenstate with non-positive Wigner function as well as a state that has tunneling properties. The toy model demonstrates that operational theories can be a viable alternative approach for formulating physical theories.


title: Observations and predictions from past lightcones

abstract: In a general Lorentzian manifold M, the past lightcone of a point is a proper subset of M that does not carry enough information to determine the rest of M. That said, if M is a globally hyperbolic Cauchy development of vacuum initial data on a Cauchy surface S and there is a point whose past lightcone contains S, then the contents of such a lightcone determines all of M (up to isometry). We show some results that describe what properties of M guarantee that past lightcones do indeed determine all or at least significant portions of M. Null lines and observer horizons, which are well known features of the de-Sitter spacetime, play a prominent role.


title: "This Whole Thing Smacks of Gender": Algorithmic Exclusion in Bioimpedance-based Body Composition Analysis

abstract: Smart weight scales offer bioimpedance-based body composition analysis as a supplement to pure body weight measurement. Companies such as Withings and Fitbit tout composition analysis as providing self-knowledge and the ability to make more informed decisions. However, these aspirational statements elide the reality that these numbers are a product of proprietary regression equations that require a binary sex/gender as their input. Our paper combines transgender studies-influenced personal narrative with an analysis of the scientific basis of bioimpedance technology used as part of the Withings smart scale. Attempting to include nonbinary people reveals that bioelectrical impedance analysis has always rested on physiologically shaky ground. White nonbinary people are merely the tip of the iceberg of those who may find that their smart scale is not so intelligent when it comes to their bodies. Using body composition analysis as an example, we explore how the problem of trans and nonbinary inclusion in personal health tech goes beyond the issues of adding a third "gender" box or slapping a rainbow flag on the packaging. We also provide recommendations as to how to approach creating more inclusive technologies even while still relying on exclusionary data.


title: Semitauonic $b$-hadron decays: A lepton flavor universality laboratory

abstract: The study of lepton flavor universality violation (LFUV) in semitauonic $b$-hadron decays has become increasingly important in light of longstanding anomalies in their measured branching fractions, and the very large datasets anticipated from the LHC and Belle II. In this review, we undertake a comprehensive survey of the experimental environments and methodologies for semitauonic LFUV measurements at the $B$-factories and LHCb, along with a concise overview of the theoretical foundations and predictions for a wide range of semileptonic decay observables. We proceed to examine the future prospects to control systematic uncertainties down to the percent level, matching the precision of Standard Model (SM) predictions. Furthermore, we discuss new perspectives and caveats on combinations of the LFUV data and revisit the world averages for the ${\cal R}(D^{(*)})$ ratios. Here we demonstrate that different treatments for the correlations of uncertainties from $D^{**}$ excited states can vary the current $3\sigma$ tension with the SM within a $1\sigma$ range. Prior experimental overestimates of $D^{**}\tau\nu$ contributions may further exacerbate this. The precision of future measurements is also estimated; their power to exploit full differential information, and solutions to the inherent difficulties in self-consistent new physics interpretations of LFUV observables, are briefly explored.


title: Sulfur Chemistry in the Atmospheres of Warm and Hot Jupiters

abstract: We present and validate a new network of atmospheric thermo-chemical and photo-chemical sulfur reactions. We use a 1-D chemical kinetics model to investigate these reactions as part of a broader HCNO chemical network in a series of hot and warm Jupiters. We find that temperatures approaching $1400\,\mathrm{K}$ are favourable for the production of H2S and HS around $\mathrm{10^{-3}\,bar}$, the atmospheric level where detection by transit spectroscopy may be possible, leading to mixing ratios of around $10^{-6}$. At lower temperatures, down to $1000\,\mathrm{K}$, the abundance of S2 can be up to a mixing ratio of $10^{-5}$ at the same pressure, at the expense of H2S and HS, which are depleted down to a mixing ratio of $10^{-6}$. We also investigate how the inclusion of sulfur can manifest in an atmosphere indirectly, by its effect on the abundance of non-sulfur-bearing species. We find that in a model of the atmosphere of HD 209458 b, the inclusion of sulfur can lower the abundance of NH3, CH4 and HCN by up to two orders of magnitude around $\mathrm{10^{-3}\,bar}$. In the atmosphere of the warm Jupiter 51 Eri b, we additionally find the inclusion of sulphur depletes the peak abundance of CO2 by a factor of five, qualitatively consistent with prior models. We note that many of the reactions used in the network have poorly determined rates, especially at higher temperatures. To obtain a truly accurate idea of the impact of sulfur chemistry in hot and warm Jupiter atmospheres, new measurements of these reaction rates must take place.


title: The H$\alpha$ Dots Survey. IV. A Fourth List of Faint Emission-Line Objects

abstract: We present the fourth catalog of serendipitously discovered compact extragalactic emission-line sources -- H$\alpha$ Dots. A total of 454 newly discovered objects are included in the current survey list. These objects have been detected in searches of moderately deep narrow-band images acquired for the ALFALFA H$\alpha$ project (Van Sistine et al. 2016). The catalog of H-alpha Dots presented in the current paper was derived from searches carried out using ALFALFA H$\alpha$ images obtained with the KPNO 2.1 m telescope. This results in a substantially deeper sample of Dots compared to our previous lists, which were all discovered in images taken with the WIYN 0.9 m telescope. The median R-band magnitude of the current catalog is 21.59, more than 1.6 magnitudes fainter than the median for the 0.9~m sample (factor of 4.4x fainter). Likewise, the median emission-line flux of the detected sources is a factor of 4.3x fainter. The line-flux completeness limit of the current sample is approximately 3 x 10$^{-16}$ erg/s/cm$^2$. We present accurate coordinates, apparent magnitudes and narrow-band line fluxes for each object in the sample. Unlike our previous lists of H$\alpha$ Dots, the current sample does not include follow-up spectroscopy.


title: A negative minimum modulus theorem and surjectivity of ultradifferential operators

abstract: In 1979 I. Cior\u{a}nescu and L. Zsid\'o have proved a minimum modulus theorem for entire functions dominated by the restriction to the positive half axis of a canonical product of genus zero, having all roots on the positive imaginary axis and satisfying a certain condition. Here we prove that the above result is optimal: if a canonical product {\omega} of genus zero, having all roots on the positive imaginary axis, does not satisfy the condition in the 1979 paper, then always there exists an entire function dominated by the restriction to the positive half axis of {\omega}, which does not satisfy the desired minimum modulus conclusion. This has relevant implication concerning the subjectivity of ultra differential operators with constant coefficients.


title: Tight irreducible finite weight modules over twisted affine Lie superalgebras

abstract: For a twisted affine Lie superalgebra with nonzero odd part, we study {tight irreducible weight modules} with bounded weight multiplicities and show that if the action of nonzero real vectors of each affine component of the zero part is neither completely injective nor completely locally nilpotent, then these modules are parabolically induced.


title: A posteriori error estimates for hierarchical mixed-dimensional elliptic equations

abstract: Mixed-dimensional elliptic equations exhibiting a hierarchical structure are commonly used to model problems with high aspect ratio inclusions, such as flow in fractured porous media. We derive general abstract estimates based on the theory of functional a posteriori error estimates, for which guaranteed upper bounds for the primal and dual variables and two-sided bounds for the primal-dual pair are obtained. We improve on the abstract results obtained with the functional approach by proposing four different ways of estimating the residual errors based on the extent the approximate solution has conservation properties, i.e.: (1) no conservation, (2) subdomain conservation, (3) grid-level conservation, and (4) exact conservation. This treatment results in sharper and fully computable estimates when mass is conserved either at the grid level or exactly, with a comparable structure to those obtained from grid-based a posteriori techniques. We demonstrate the practical effectiveness of our theoretical results through numerical experiments using four different discretization methods for synthetic problems and applications based on benchmarks of flow in fractured porous media.


title: Observation of laser-assisted electron scattering in superfluid helium

abstract: Laser-assisted electron scattering (LAES), a light-matter interaction process that facilitates energy transfer between strong light fields and free electrons, has so far been observed only in gas phase. Here we report on the observation of LAES at condensed phase particle densities, for which we create nano-structured systems consisting of a single atom or molecule surrounded by a superfluid He shell of variable thickness (32-340 angstrom). We observe that free electrons, generated by femtosecond strong-field ionization of the core particle, can gain several tens of photon energies due to multiple LAES processes within the liquid He shell. Supported by Monte Carlo 3D LAES and elastic scattering simulations, these results provide the first insight into the interplay of LAES energy gain/loss and dissipative electron movement in a liquid. Condensed-phase LAES creates new possibilities for space-time studies of solids and for real-time tracing of free electrons in liquids.


title: Zero-shot Generalization in Dialog State Tracking through Generative Question Answering

abstract: Dialog State Tracking (DST), an integral part of modern dialog systems, aims to track user preferences and constraints (slots) in task-oriented dialogs. In real-world settings with constantly changing services, DST systems must generalize to new domains and unseen slot types. Existing methods for DST do not generalize well to new slot names and many require known ontologies of slot types and values for inference. We introduce a novel ontology-free framework that supports natural language queries for unseen constraints and slots in multi-domain task-oriented dialogs. Our approach is based on generative question-answering using a conditional language model pre-trained on substantive English sentences. Our model improves joint goal accuracy in zero-shot domain adaptation settings by up to 9% (absolute) over the previous state-of-the-art on the MultiWOZ 2.1 dataset.


title: Density-based clustering of social networks

abstract: The idea underlying the modal formulation of density-based clustering is to associate groups with the regions around the modes of the probability density function underlying the data. This correspondence between clusters and dense regions in the sample space is here exploited to discuss an extension of this approach to the analysis of social networks. Such extension seems particularly appealing: conceptually, the notion of high-density cluster fits well the one of community in a network, regarded to as a collection of individuals with dense local ties in its neighbourhood. The lack of a probabilistic notion of density in networks is turned into a major strength of the proposed method, where node-wise measures that quantify the role and position of actors may be used to derive different community configurations. The approach allows for the identification of a hierarchical structure of clusters, which may catch different degrees of resolution of the clustering structure. This feature well fits the nature of social networks, disentangling a different involvement of individuals in social aggregations.


title: Generalization of Wigner Time Delay to Sub-Unitary Scattering Systems

abstract: We introduce a complex generalization of Wigner time delay $\tau$ for sub-unitary scattering systems. Theoretical expressions for complex time delay as a function of excitation energy, uniform and non-uniform loss, and coupling, are given. We find very good agreement between theory and experimental data taken on microwave graphs containing an electronically variable lumped-loss element. We find that time delay and the determinant of the scattering matrix share a common feature in that the resonant behavior in $\text{Re}[\tau]$ and $\text{Im}[\tau]$ serves as a reliable indicator of the condition for Coherent Perfect Absorption (CPA). This work opens a new window on time delay in lossy systems and provides a means to identify the poles and zeros of the scattering matrix from experimental data. The results also enable a new approach to achieving CPA at an arbitrary energy/frequency in complex scattering systems.


title: Location Management in IP-based Future LEO Satellite Networks: A Review

abstract: Future integrated terrestrial, aerial, and space networks will involve thousands of Low Earth Orbit (LEO) satellites forming a network of mega-constellations, which will play a significant role in providing communication and Internet services everywhere, at any time, and for everything. Due to its very large scale and highly dynamic nature, future LEO satellite networks (SatNets) management is a very complicated and crucial process, especially the mobility management aspect and its two components location management and handover management. In this article, we present a comprehensive and critical review of the state-of-the-art research in LEO SatNets location management. First, we give an overview of the Internet Engineering Task Force (IETF) mobility management standards (e.g., Mobile IPv6 and Proxy Mobile IPv6) and discuss their location management techniques limitations in the environment of future LEO SatNets. We highlight future LEO SatNets mobility characteristics and their challenging features and describe two unprecedented future location management scenarios. A taxonomy of the available location management solutions for LEO SatNets is presented, where the solutions are classified into three approaches. The "Issues to consider" section draws attention to critical points related to each of the reviewed approaches that should be considered in future LEO SatNets location management. To identify the gaps, the current state of LEO SatNets location management is summarized. Noteworthy future research directions are recommended. This article is providing a road map for researchers and industry to shape the future of LEO SatNets location management.


title: Essential finite generation of extensions of valuation rings

abstract: Given a generically finite local extension of valuation rings $V \subset W$, the question of whether $W$ is the localization of a finitely generated $V$-algebra is significant for approaches to the problem of local uniformization of valuations using ramification theory. Hagen Knaf proposed a characterization of when $W$ is essentially of finite type over $V$ in terms of classical invariants of the extension of associated valuations. Knaf's conjecture has been verified in important special cases by Cutkosky and Novacoski using local uniformization of Abhyankar valuations and resolution of singularities of excellent surfaces in arbitrary characteristic, and by Cutkosky for valuation rings of function fields of characteristic $0$ using embedded resolution of singularities. In this paper we prove Knaf's conjecture in full generality.


title: Exclusive dilepton production via timelike Compton scattering in heavy ion collisions

abstract: In the present work, $k_T$-factorization formalism is applied to compute the exclusive dilepton production by timelike Compton scattering (TCS) in $eA$, $pA$ and $AA$ collisions. The nuclear effects are investigated considering heavy and light ions. The production cross section in terms of invariant mass and rapidity distribution of the lepton pair is shown. The analysis is done for electron-ion collisions at the Large Hadron-Electron Collider (LHeC), its high-energy upgrade (HE-LHeC) and at the Future Circular Collider (FCC) in lepton-hadron mode. Additionally, ultraperipheral heavy ion collisions at future runs of the Large Hadron Collider (LHC) and at the FCC (hadron-hadron mode) are also considered.


title: Learning Ultrasound Rendering from Cross-Sectional Model Slices for Simulated Training

abstract: Purpose. Given the high level of expertise required for navigation and interpretation of ultrasound images, computational simulations can facilitate the training of such skills in virtual reality. With ray-tracing based simulations, realistic ultrasound images can be generated. However, due to computational constraints for interactivity, image quality typically needs to be compromised. Methods. We propose herein to bypass any rendering and simulation process at interactive time, by conducting such simulations during a non-time-critical offline stage and then learning image translation from cross-sectional model slices to such simulated frames. We use a generative adversarial framework with a dedicated generator architecture and input feeding scheme, which both substantially improve image quality without increase in network parameters. Integral attenuation maps derived from cross-sectional model slices, texture-friendly strided convolutions, providing stochastic noise and input maps to intermediate layers in order to preserve locality are all shown herein to greatly facilitate such translation task. Results. Given several quality metrics, the proposed method with only tissue maps as input is shown to provide comparable or superior results to a state-of-the-art that uses additional images of low-quality ultrasound renderings. An extensive ablation study shows the need and benefits from the individual contributions utilized in this work, based on qualitative examples and quantitative ultrasound similarity metrics. To that end, a local histogram statistics based error metric is proposed and demonstrated for visualization of local dissimilarities between ultrasound images.


title: On Mass and Matter

abstract: The visible Universe is largely characterised by a single mass-scale; namely, the proton mass, $m_p$. Contemporary theory suggests that $m_p$ emerges as a consequence of gluon self-interactions, which are a defining characteristic of quantum chromodynamics (QCD), the theory of strong interactions in the Standard Model. However, the proton is not elementary. Its mass appears as a corollary of other, more basic emergent phenomena latent in the QCD Lagrangian, e.g. generation of nuclear-size gluon and quark mass-scales, and a unique effective charge that may describe QCD interactions at all accessible momentum scales. These remarks are explained herein; and focusing on the distribution amplitudes and functions of $\pi$ and $K$ mesons, promising paths for their empirical verification are elucidated. Connected therewith, in anticipation that production of $J/\psi$-mesons using $\pi$ and $K$ beams can provide access to the gluon distributions in these pseudo-Nambu-Goldstone modes, predictions for all $\pi$ and $K$ distribution functions are provided at the scale $\zeta=m_{J/\psi}$.


title: Thermal extension of the screened massive expansion in the Landau gauge

abstract: The massive screened expansion for pure SU(3) Yang-Mills theory is extended to finite temperature in the Landau gauge. All thermal integrals are evaluated analytically up to an external one-dimensional integration, yielding explicit integral representations of analytic functions which can be continued to the whole complex plane. The gluon propagator is first explored in the Euclidean space by making use of parameters obtained from first principles, which were already found to accurately reproduce the lattice data at zero temperature. Within such a scheme, the agreement with the lattice at $T\neq 0$ turns out to be only qualitative. The description improves provided that the parameters are tuned in a temperature-dependent way by a fit to the data, carried out separately for each component of the propagator; in particular, the transverse component closely follows the lattice data, while the agreement of the longitudinal component with the data is poor at small momenta and moderately high temperatures. The dispersion relations of the quasi-gluon are then extracted from the pole trajectory in the complex plane using the fitted parameters. A crossover is found for the mass, suppressed by temperature like an order parameter in the confined phase, while increasing like an ordinary thermal mass in the deconfined phase.


title: Proof of a Conjecture on the Wiener Index of Eulerian Graphs

abstract: The Wiener index of a connected graph is the sum of the distances between all unordered pairs of vertices. A connected graph is Eulerian if its vertex degrees are all even. In [Gutman, Cruz, Rada, Wiener index of Eulerian Graphs, Discrete Applied Mathematics 132 (2014), 247-250] the authors proved that the cycle is the unique graph maximising the Wiener index among all Eulerian graphs of given order. They also conjectured that for Eulerian graphs of order $n \geq 26$ the graph consisting of a cycle on $n-2$ vertices and a triangle that share a vertex is the unique Eulerian graph with second largest Wiener index. The conjecture is known to hold for all $n\leq 25$ with exception of six values. In this paper we prove the conjecture.


title: $\mathbb{Z}_N$ Symmetries, Anomalies, and the Modular Bootstrap

abstract: We explore constraints on (1+1)$d$ unitary conformal field theory with an internal $\mathbb{Z}_N$ global symmetry, by bounding the lightest symmetry-preserving scalar primary operator using the modular bootstrap. Among the other constraints we have found, we prove the existence of a $\mathbb{Z}_N$-symmetric relevant/marginal operator if $N-1 \le c\le 9-N$ for $N\leq4$, with the endpoints saturated by various WZW models that can be embedded into $(\mathfrak{e}_8)_1$. Its existence implies that robust gapless fixed points are not possible in this range of $c$ if only a $\mathbb{Z}_N$ symmetry is imposed microscopically. We also obtain stronger, more refined bounds that depend on the 't Hooft anomaly of the $\mathbb{Z}_N$ symmetry.


title: Structured Time-Delay Models for Dynamical Systems with Connections to Frenet-Serret Frame

abstract: Time-delay embeddings and dimensionality reduction are powerful techniques for discovering effective coordinate systems to represent the dynamics of physical systems. Recently, it has been shown that models identified by dynamic mode decomposition (DMD) on time-delay coordinates provide linear representations of strongly nonlinear systems, in the so-called Hankel alternative view of Koopman (HAVOK) approach. Curiously, the resulting linear model has a matrix representation that is approximately antisymmetric and tridiagonal with a zero diagonal; for chaotic systems, there is an additional forcing term in the last component. In this paper, we establish a new theoretical connection between HAVOK and the Frenet-Serret frame from differential geometry, and also develop an improved algorithm to identify more stable and accurate models from less data. In particular, we show that the sub- and super-diagonal entries of the linear model correspond to the intrinsic curvatures in Frenet-Serret frame. Based on this connection, we modify the algorithm to promote this antisymmetric structure, even in the noisy, low-data limit. We demonstrate this improved modeling procedure on data from several nonlinear synthetic and real-world examples.


title: Nonparametric clustering for image segmentation

abstract: Image segmentation aims at identifying regions of interest within an image, by grouping pixels according to their properties. This task resembles the statistical one of clustering, yet many standard clustering methods fail to meet the basic requirements of image segmentation: segment shapes are often biased toward predetermined shapes and their number is rarely determined automatically. Nonparametric clustering is, in principle, free from these limitations and turns out to be particularly suitable for the task of image segmentation. This is also witnessed by several operational analogies, as, for instance, the resort to topological data analysis and spatial tessellation in both the frameworks. We discuss the application of nonparametric clustering to image segmentation and provide an algorithm specific for this task. Pixel similarity is evaluated in terms of density of the color representation and the adjacency structure of the pixels is exploited to introduce a simple, yet effective method to identify image segments as disconnected high-density regions. The proposed method works both to segment an image and to detect its boundaries and can be seen as a generalization to color images of the class of thresholding methods.


title: Automatic prediction of cognitive and functional decline can significantly decrease the number of subjects required for clinical trials in early Alzheimer's disease

abstract: INTRODUCTION: Heterogeneity in the progression of Alzheimer's disease makes it challenging to predict the rate of cognitive and functional decline for individual patients. Tools for short-term prediction could help enrich clinical trial designs and focus prevention strategies on the most at-risk patients. METHOD: We built a prognostic model using baseline cognitive scores and MRI-based features to determine which subjects with mild cognitive impairment remained stable and which functionally declined (measured by a two-point increase in CDR-SB) over 2 and 3-year follow-up periods, periods typical of the length of clinical trials. RESULTS: Combining both sets of features yields 77% accuracy (81% sensitivity and 75% specificity) to predict cognitive decline at 2 years (74% accuracy at 3 years with 75% sensitivity and 73% specificity). Using this tool to select trial participants yields a 3.8-fold decrease in the required sample size for a 2-year study (2.8-fold decrease for a 3-year study) for a hypothesized 25% treatment effect to reduce cognitive decline. DISCUSSION: This cohort enrichment tool could accelerate treatment development by increasing power in clinical trials.


title: Generalized Tilings with Height Functions

abstract: In this paper, we introduce a generalization of a class of tilings which appear in the literature: the tilings over which a height function can be defined (for example, the famous tilings of polyominoes with dominoes). We show that many properties of these tilings can be seen as the consequences of properties of the generalized tilings we introduce. In particular, we show that any tiling problem which can be modelized in our generalized framework has the following properties: the tilability of a region can be constructively decided in polynomial time, the number of connected components in the undirected flip-accessibility graph can be determined, and the directed flip-accessibility graph induces a distributive lattice structure. Finally, we give a few examples of known tiling problems which can be viewed as particular cases of the new notions we introduce.


title: Physical Reservoir Computing with Origami and its Application to Robotic Crawling

abstract: A new paradigm called physical reservoir computing has recently emerged, where the nonlinear dynamics of high-dimensional and fixed physical systems are harnessed as a computational resource to achieve complex tasks. Via extensive simulations based on a dynamic truss-frame model, this study shows that an origami structure can perform as a dynamic reservoir with sufficient computing power to emulate high-order nonlinear systems, generate stable limit cycles, and modulate outputs according to dynamic inputs. This study also uncovers the linkages between the origami reservoir's physical designs and its computing power, offering a guideline to optimize the computing performance. Comprehensive parametric studies show that selecting optimal feedback crease distribution and fine-tuning the underlying origami folding designs are the most effective approach to improve computing performance. Furthermore, this study shows how origami's physical reservoir computing power can apply to soft robotic control problems by a case study of earthworm-like peristaltic crawling without traditional controllers. These results can pave the way for origami-based robots with embodied mechanical intelligence.


title: Do we need to go Deep? Knowledge Tracing with Big Data

abstract: Interactive Educational Systems (IES) enabled researchers to trace student knowledge in different skills and provide recommendations for a better learning path. To estimate the student knowledge and further predict their future performance, the interest in utilizing the student interaction data captured by IES to develop learner performance models is increasing rapidly. Moreover, with the advances in computing systems, the amount of data captured by these IES systems is also increasing that enables deep learning models to compete with traditional logistic models and Markov processes. However, it is still not empirically evident if these deep models outperform traditional models on the current scale of datasets with millions of student interactions. In this work, we adopt EdNet, the largest student interaction dataset publicly available in the education domain, to understand how accurately both deep and traditional models predict future student performances. Our work observes that logistic regression models with carefully engineered features outperformed deep models from extensive experimentation. We follow this analysis with interpretation studies based on Locally Interpretable Model-agnostic Explanation (LIME) to understand the impact of various features on best performing model pre-dictions.


title: Theoretical study of the role of pairing symmetries on the physical parameters of Fe-based superconductors

abstract: For the newly discovered ironbased superconductors we propose a one band model for conduction band with first and secondnearestneighbor electron hoppings with two types of d wave and three types of s wave pairing symmetries for the superconductivity. We have calculated the Greens functions from which the temperature dependent superconducting (SC) gap and tunneling conductance are calculated and computed numerically. The evolution of the SC gap and the tunneling conductance spectra are investigated for different model parameters of the system.


title: Mechanistic determination of tear film thinning via fitting simplified models to tear breakup

abstract: Purpose: To determine whether evaporation, tangential flow, or a combination of the two cause tear film breakup in a variety of instances; to estimate related breakup parameters that cannot be measured in breakup during subject trials; and to validate our procedure against previous work. Methods: Five ordinary differential equation models for tear film thinning were designed that model evaporation, osmosis, and various types of flow. Eight tear film breakup instances of five healthy subjects that were identified in fluorescence images in previous work were fit with these five models. The fitting procedure used a nonlinear least squares optimization that minimized the difference of the computed theoretical fluorescent intensity from the models and the experimental fluorescent intensity from the images. The optimization was conducted over the evaporation rate and up to three flow rate parameters. The smallest norm of the difference was determined to correspond to the model that best explained the tear film dynamics. Results: All of the breakup instances were best fit by models with time-dependent flow. Our optimal parameter values and thinning rate and fluid flow profiles compare well with previous partial differential equation model results in most instances. Conclusion: Our fitting procedure suggests that the combination of the Marangoni effect and evaporation cause most of the breakup instances. Comparison with results from previous work suggests that the simplified models can capture the essential tear film dynamics in most cases, thereby validating this procedure as one that could be used on many other instances.


title: On The Impact Of 22Ne On The Pulsation Periods Of Carbon-Oxygen White Dwarfs With Helium Dominated Atmospheres

abstract: We explore changes in the adiabatic low-order g-mode pulsation periods of 0.526, 0.560, and 0.729 M$_\odot$ carbon-oxygen white dwarf models with helium-dominated envelopes due to the presence, absence, and enhancement of $^{22}$Ne in the interior. The observed g-mode pulsation periods of such white dwarfs are typically given to 6$-$7 significant figures of precision. Usually white dwarf models without $^{22}$Ne are fit to the observed periods and other properties. The root-mean-square residuals to the $\simeq$ 150$-$400 s low-order g-mode periods are typically in the range of $\sigma_{rms}$ $\lesssim$ 0.3 s, for a fit precision of $\sigma_{rms}/ P$ $\lesssim$ 0.3 %. We find average relative period shifts of $\Delta P/P$ $\simeq$ $\pm$ 0.5 % for the low-order dipole and quadrupole g-mode pulsations within the observed effective temperature window, with the range of $\Delta P/P$ depending on the specific g-mode, abundance of $^{22}$Ne, effective temperature, and mass of the white dwarf model. This finding suggests a systematic offset may be present in the fitting process of specific white dwarfs when $^{22}$Ne is absent. As part of the fitting processes involves adjusting the composition profiles of a white dwarf model, our study on the impact of $^{22}$Ne can provide new inferences on the derived interior mass fraction profiles. We encourage routinely including $^{22}$Ne mass fraction profiles, informed by stellar evolution models, to future generations of white dwarf model fitting processes.


title: Nonlinear interaction of three impulsive gravitational waves I: main result and the geometric estimates

abstract: Impulsive gravitational waves are (weak) solutions to the Einstein vacuum equations such that the Riemann curvature tensor admits a delta singularity along a null hypersurface. The interaction of impulsive gravitational waves is then represented by the transversal intersection of these singular null hypersurfaces. This is the first of a series of two papers in which we prove that for all suitable $\mathbb U(1)$-symmetric initial data representing three "small amplitude" impulsive gravitational waves propagating towards each other transversally, there exists a local solution to the Einstein vacuum equations featuring the interaction of these waves. Moreover, we show that the solution remains Lipschitz everywhere and is $H^2_{loc} \cap C_{loc}^{1, \frac 14-}$ away from the impulsive gravitational waves. This is the first construction of solutions to the Einstein vacuum equations featuring the interaction of three impulsive gravitational waves. In this paper, we focus on the geometric estimates, i.e. we control the metric and the null hypersurfaces assuming the wave estimates. The geometric estimates rely crucially on the features of the spacetime with three interacting impulsive gravitational waves, particularly that each wave is highly localized and that the waves are transversal to each other. In the second paper of the series, we will prove the wave estimates and complete the proof.


title: Enhancing Generative Models via Quantum Correlations

abstract: Generative modeling using samples drawn from the probability distribution constitutes a powerful approach for unsupervised machine learning. Quantum mechanical systems can produce probability distributions that exhibit quantum correlations which are difficult to capture using classical models. We show theoretically that such quantum correlations provide a powerful resource for generative modeling. In particular, we provide an unconditional proof of separation in expressive power between a class of widely-used generative models, known as Bayesian networks, and its minimal quantum extension. We show that this expressivity advantage is associated with quantum nonlocality and quantum contextuality. Furthermore, we numerically test this separation on standard machine learning data sets and show that it holds for practical problems. The possibility of quantum advantage demonstrated in this work not only sheds light on the design of useful quantum machine learning protocols but also provides inspiration to draw on ideas from quantum foundations to improve purely classical algorithms.

categories: quant-ph cond-mat.stat-mech cs.LG stat.ML


title: The M2-brane over the twisted torus with punctures

abstract: We present the formulation of the bosonic Hamiltonian M2-brane compactified on a twice punctured torus following the procedure proposed in \cite{mpgm14}. In this work we analyse two possible metric choice, different from the one used in \cite{mpgm14}, over the target space and study some of the properties of the corresponding Hamiltonian.


title: Uniqueness of excited states to $-\Delta u+u-u^3=0$ in three dimensions

abstract: We prove the uniqueness of several excited states to the ODE $\ddot y(t) + \frac{2}{t} \dot y(t) + f(y(t)) = 0$, $y(0) = b$, and $\dot y(0) = 0$ for the model nonlinearity $f(y) = y^3 - y$. The $n$-th excited state is a solution with exactly $n$ zeros and which tends to $0$ as $t \to \infty$. These represent all smooth radial nonzero solutions to the PDE $\Delta u + f(u)= 0$ in $H^1$. We interpret the ODE as a damped oscillator governed by a double-well potential, and the result is proved via rigorous numerical analysis of the energy and variation of the solutions. More specifically, the problem of uniqueness can be formulated entirely in terms of inequalities on the solutions and their variation, and these inequalities can be verified numerically.


title: Note on the Kato property of sectorial forms

abstract: We characterise the Kato property of a sectorial form $\mathfrak{a}$, defined on a Hilbert space $V$, with respect to a larger Hilbert space $H$ in terms of two bounded, selfadjoint operators $T$ and $Q$ determined by the imaginary part of $\mathfrak{a}$ and the embedding of $V$ into $H$, respectively. As a consequence, we show that if a bounded selfadjoint operator $T$ on a Hilbert space $V$ is in the Schatten class $S_p(V)$ ($p\geq 1$), then the associated form $\mathfrak{a}_T(\cdot, \cdot) := \langle (I+iT)\cdot ,\cdot\rangle_V$ has the Kato property with respect to every Hilbert space $H$ into which $V$ is densely and continuously embedded. This result is in a sense sharp. Another result says that if $T$ and $Q$ commute then the form $\mathfrak{a}$ with respect to $H$ possesses the Kato property.


title: Marius: Learning Massive Graph Embeddings on a Single Machine

abstract: We propose a new framework for computing the embeddings of large-scale graphs on a single machine. A graph embedding is a fixed length vector representation for each node (and/or edge-type) in a graph and has emerged as the de-facto approach to apply modern machine learning on graphs. We identify that current systems for learning the embeddings of large-scale graphs are bottlenecked by data movement, which results in poor resource utilization and inefficient training. These limitations require state-of-the-art systems to distribute training across multiple machines. We propose Marius, a system for efficient training of graph embeddings that leverages partition caching and buffer-aware data orderings to minimize disk access and interleaves data movement with computation to maximize utilization. We compare Marius against two state-of-the-art industrial systems on a diverse array of benchmarks. We demonstrate that Marius achieves the same level of accuracy but is up to one order of magnitude faster. We also show that Marius can scale training to datasets an order of magnitude beyond a single machine's GPU and CPU memory capacity, enabling training of configurations with more than a billion edges and 550 GB of total parameters on a single machine with 16 GB of GPU memory and 64 GB of CPU memory. Marius is open-sourced at www.marius-project.org.


title: BOOSTR: A Dataset for Accelerator Control Systems

abstract: The Booster Operation Optimization Sequential Time-series for Regression (BOOSTR) dataset was created to provide a cycle-by-cycle time series of readings and settings from instruments and controllable devices of the Booster, Fermilab's Rapid-Cycling Synchrotron (RCS) operating at 15~Hz. BOOSTR provides a time series from 55 device readings and settings that pertain most directly to the high-precision regulation of the Booster's gradient magnet power supply (GMPS). To our knowledge, this is one of the first well-documented datasets of accelerator device parameters made publicly available. We are releasing it in the hopes that it can be used to demonstrate aspects of artificial intelligence for advanced control systems, such as reinforcement learning and autonomous anomaly detection.


title: Diffusive stability of convective Turing patterns

abstract: Following the approach of [E1, M1, M2, S1, S2, SZJV] for reaction diffusion systems, we justify rigorously the Eckhaus stability criterion for stability of convective Turing patterns, as derived formally by complex Ginzburg-Landau approximation [SS, NW, WZ]. Notably, our analysis includes also higher-order, nonlocal, and even certain semilinear hyperbolic systems.


title: Understanding Reentrance in Frustrated Magnets: the Case of the Er$_2$Sn$_2$O$_7$ Pyrochlore

abstract: Reentrance, the return of a system from an ordered phase to a previously encountered less-ordered one as a controlled parameter is continuously varied, is a recurring theme found in disparate physical systems, from condensed matter to black holes. While diverse in its many incarnations and generally unsuspected, the cause of reentrance at the microscopic level is often not investigated thoroughly. Here, through detailed characterization and theoretical modeling, we uncover the microscopic mechanism behind reentrance in the strongly frustrated pyrochlore antiferromagnet Er$_2$Sn$_2$O$_7$. Taking advantage of the recent advance in rare earth stannate single crystal synthesis, we use heat capacity measurements to expose that Er$_2$Sn$_2$O$_7$ exhibits multiple instances of reentrance in its magnetic field $B$ vs. temperature $T$ phase diagram for magnetic fields along three cubic high symmetry directions. Through classical Monte Carlo simulations, mean field theory and classical linear spin-wave expansions, we argue that the origins of the multiple occurrences of reentrance observed in Er$_2$Sn$_2$O$_7$ are linked to soft modes. Depending on the field direction, these arise either from a direct $T=0$ competition between the field-evolved ground states, or from a field-induced enhancement of the competition with a distinct zero-field antiferromagnetic phase. In both scenarios, the phase competition enhances thermal fluctuations which entropically stabilize a specific ordered phase. This results in an increased transition temperature for certain field values and thus the reentrant behavior. Our work represents a detailed examination into the mechanisms responsible for reentrance in a frustrated magnet and may serve as a template for the interpretation of reentrant phenomena in other physical systems.


title: Scarring in classical chaotic dynamics with noise

abstract: We report the numerical observation of scarring, that is enhancement of probability density around unstable periodic orbits of a chaotic system, in the eigenfunctions of the classical Perron-Frobenius operator of noisy Anosov ("cat") maps, as well as in the noisy Bunimovich stadium. A parallel is drawn between classical and quantum scars, based on the unitarity or non-unitarity of the respective propagators. For uniformly hyperbolic systems such as the cat map, we provide a mechanistic explanation for the classical phase-space localization detected, based on the distribution of finite-time Lyapunov exponents, and the interplay of noise with deterministic dynamics. Classical scarring can be measured by studying autocorrelation functions and their power spectra.


title: Topological bands in the continuum using Rydberg states

abstract: The quest to realize topological band structures in artificial matter is strongly focused on lattice systems, and only quantum Hall physics is known to appear naturally also in the continuum. In this letter, we present a proposal based on a two-dimensional cloud of atoms dressed to Rydberg states, where excitations propagate by dipolar exchange interaction, while the Rydberg blockade phenomenon naturally gives rise to a characteristic length scale, suppressing the hopping on short distances. Then, the system becomes independent of the atoms' spatial arrangement and can be described by a continuum model. We demonstrate the appearance of a topological band structure in the continuum characterized by a Chern number $C=2$ and show that edge states appear at interfaces tunable by the atomic density.


title: Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version)

abstract: In each variant of the lambda-calculus, factorization and normalization are two key-properties that show how results are computed. Instead of proving factorization/normalization for the call-by-name (CbN) and call-by-value (CbV) variants separately, we prove them only once, for the bang calculus (an extension of the lambda-calculus inspired by linear logic and subsuming CbN and CbV), and then we transfer the result via translations, obtaining factorization/normalization for CbN and CbV. The approach is robust: it still holds when extending the calculi with operators and extra rules to model some additional computational features.