title: Approximation by Simple Poles -- Part I: Density and Geometric Convergence Rate in Hardy Space

abstract: Optimal linear feedback control design is a valuable but challenging problem due to nonconvexity of the underlying optimization and infinite dimensionality of the Hardy space of stabilizing controllers. A powerful class of techniques for solving optimal control problems involves using reparameterization to transform the control design to a convex but infinite dimensional optimization. To make the problem tractable, historical work focuses on Galerkin-type finite dimensional approximations to Hardy space, especially those involving Lorentz series approximations such as the finite impulse response appproximation. However, Lorentz series approximations can lead to infeasibility, difficulty incorporating prior knowledge, deadbeat control in the case of finite impulse response, and increased suboptimality, especially for systems with large separation of time scales. The goal of this two-part article is to introduce a new Galerkin-type method based on approximation by transfer functions with a selection of simple poles, and to apply this simple pole approximation for optimal control design. In Part I, error bounds for approximating arbitrary transfer functions in Hardy space are provided based on the geometry of the pole selection. It is shown that the space of transfer functions with these simple poles converges to the full Hardy space, and a uniform convergence rate is provided based purely on the geometry of the pole selection. This is then specialized to derive a convergence rate for a particularly interesting pole selection based on an Archimedes spiral. In Part II, the simple pole approximation is combined with system level synthesis, a recent reparameterization approach, to develop a new control design method. This technique is convex and tractable, always feasible, can include prior knowledge, does not result in deadbeat control, and works well for systems with large separation of tim


title: Tackling Heterogeneous Traffic in Multi-access Systems via Erasure Coded Servers

abstract: Most data generated by modern applications is stored in the cloud, and there is an exponential growth in the volume of jobs to access these data and perform computations using them. The volume of data access or computing jobs can be heterogeneous across different job types and can unpredictably change over time. Cloud service providers cope with this demand heterogeneity and unpredictability by over-provisioning the number of servers hosting each job type. In this paper, we propose the addition of erasure-coded servers that can flexibly serve multiple job types without additional storage cost. We analyze the service capacity region and the response time of such erasure-coded systems and compare them with standard uncoded replication-based systems currently used in the cloud. We show that coding expands the service capacity region, thus enabling the system to handle variability in demand for different data types. Moreover, we characterize the response time of the coded system in various arrival rate regimes. This analysis reveals that adding even a small number of coded servers can significantly reduce the mean response time, with a drastic reduction in regimes where the demand is skewed across different job types.


title: A direct measurement of galaxy major and minor merger rates and stellar mass accretion histories at $z < 3$ using galaxy pairs in the REFINE survey

abstract: We measure the role of major and minor mergers in forming the stellar masses of galaxies over $0<z<3$ using a combination of $\sim 3.25$ deg$^{2}$ of the deepest ground based near-infrared imaging taken to date as part of the REFINE survey. We measure the pair fraction and merger fractions for galaxy mergers of different mass ratios, and quantify the merger rate with newly measured time-scales derived from the Illustris simulation as a function of redshift and merger mass ratio. We find that over $0 < z < 3$ major mergers with mass ratios greater than 1:4 occur $0.85^{+0.19}_{-0.20}$ times on average, while minor mergers down to ratios of 1:10 occur on average $1.43^{+0.5}_{-0.3}$ times per galaxy. We also quantify the role of major and minor mergers in galaxy formation, whereby the increase in mass due to major mergers is $93^{+49}_{-31}$% while minor mergers account for an increase of $29^{+17}_{-12}$%; thus major mergers add more stellar mass to galaxies than minor mergers over this epoch. Overall, mergers will more than double the mass of massive galaxies over this epoch. Finally, we compare our results to simulations, finding that minor mergers are over predicted in Illustris and in semi-analytical models, suggesting a mismatch between observations and theory in this fundamental aspect of galaxy assembly.


title: Turing patterns in systems with high-order interactions

abstract: Turing theory of pattern formation is among the most popular theoretical means to account for the variety of spatio-temporal structures observed in Nature and, for this reason, finds applications in many different fields. While Turing patterns have been thoroughly investigated on continuous support and on networks, only a few attempts have been made towards their characterization in systems with higher-order interactions. In this paper, we propose a way to include group interactions in reaction-diffusion systems, and we study their effects on the formation of Turing patterns. To achieve this goal, we rewrite the problem originally studied by Turing in a general form that accounts for a microscropic description of interactions of any order in the form of a hypergraph, and we prove that the interplay between the different orders of interaction may either enhance or repress the emergence of Turing patterns. Our results shed light on the mechanisms of pattern-formation in systems with many-body interactions and pave the way for further extensions of Turing original framework.

categories: nlin.PS cond-mat.stat-mech math-ph math.DS math.MP


title: Simultaneously sorting overlapping quantum states of light

abstract: The efficient manipulation, sorting, and measurement of optical modes and single-photon states is fundamental to classical and quantum science. Here, we realise simultaneous and efficient sorting of non-orthogonal, overlapping states of light, encoded in the transverse spatial degree of freedom. We use a specifically designed multi-plane light converter (MPLC) to sort states encoded in dimensions ranging from $d = 3$ to $d = 7$. Through the use of an auxiliary output mode, the MPLC simultaneously performs the unitary operation required for unambiguous discrimination and the basis change for the outcomes to be spatially separated. Our results lay the groundwork for optimal image identification and classification via optical networks, with potential applications ranging from self-driving cars to quantum communication systems.


title: Post-quantum hash functions using $\mathrm{SL}_n(\mathbb{F}_p)$

abstract: We define new families of Tillich-Z\'emor hash functions, using higher dimensional special linear groups over finite fields as platforms. The Cayley graphs of these groups combine fast mixing properties and high girth, which together give rise to good preimage and collision resistance of the corresponding hash functions. We justify the claim that the resulting hash functions are post-quantum secure.


title: Large Bayesian VARs with Factor Stochastic Volatility: Identification, Order Invariance and Structural Analysis

abstract: Vector autoregressions (VARs) with multivariate stochastic volatility are widely used for structural analysis. Often the structural model identified through economically meaningful restrictions--e.g., sign restrictions--is supposed to be independent of how the dependent variables are ordered. But since the reduced-form model is not order invariant, results from the structural analysis depend on the order of the variables. We consider a VAR based on the factor stochastic volatility that is constructed to be order invariant. We show that the presence of multivariate stochastic volatility allows for statistical identification of the model. We further prove that, with a suitable set of sign restrictions, the corresponding structural model is point-identified. An additional appeal of the proposed approach is that it can easily handle a large number of dependent variables as well as sign restrictions. We demonstrate the methodology through a structural analysis in which we use a 20-variable VAR with sign restrictions to identify 5 structural shocks.


title: Quantum Fourier states and gates: Teleportation via rough entanglement

abstract: Quantum Fourier gates (QFG) constitute a family of quantum gates that result from an exact combination of the quantum Fourier transform (QFT) and the SWAP gate. As a direct consequence of this, the Feynman gate is a particular case of that family, just as the Bell states are particular cases of the states that are also derived from the aforementioned family. Besides, this new tool will allow us to demonstrate that teleportation is not something that happens exclusively thanks to some level of entanglement, but that it is also possible with an incomplete form of entanglement known as rough entanglement. Finally, other applications necessary in the quantum Internet are incorporated.


title: Predicting Opinion Dynamics via Sociologically-Informed Neural Networks

abstract: Opinion formation and propagation are crucial phenomena in social networks and have been extensively studied across several disciplines. Traditionally, theoretical models of opinion dynamics have been proposed to describe the interactions between individuals (i.e., social interaction) and their impact on the evolution of collective opinions. Although these models can incorporate sociological and psychological knowledge on the mechanisms of social interaction, they demand extensive calibration with real data to make reliable predictions, requiring much time and effort. Recently, the widespread use of social media platforms provides new paradigms to learn deep learning models from a large volume of social media data. However, these methods ignore any scientific knowledge about the mechanism of social interaction. In this work, we present the first hybrid method called Sociologically-Informed Neural Network (SINN), which integrates theoretical models and social media data by transporting the concepts of physics-informed neural networks (PINNs) from natural science (i.e., physics) into social science (i.e., sociology and social psychology). In particular, we recast theoretical models as ordinary differential equations (ODEs). Then we train a neural network that simultaneously approximates the data and conforms to the ODEs that represent the social scientific knowledge. In addition, we extend PINNs by integrating matrix factorization and a language model to incorporate rich side information (e.g., user profiles) and structural knowledge (e.g., cluster structure of the social interaction network). Moreover, we develop an end-to-end training procedure for SINN, which involves Gumbel-Softmax approximation to include stochastic mechanisms of social interaction. Extensive experiments on real-world and synthetic datasets show SINN outperforms six baseline methods in predicting opinion dynamics.


title: Tunneling time from spin fluctuations in Larmor clock

abstract: Tunneling time, time needed for a quantum particle to tunnel through a potential energy barrier, can be measured by a duration marker. One such marker is spin reorientation due to Larmor precession. With a weak magnetic field in $z$ direction, the Larmor clock reads two times, $\tau_y$ and $\tau_z$, for a potential energy barrier along the $y$ axis. The problem is to determine the actual tunneling time (ATT). B{\"u}ttiker defines $\sqrt{\tau_y^2 + \tau_z^2}$ to be the ATT. Steinberg and others, on the other hand, identify $\tau_y$ with the ATT. The B{\"u}ttiker and Steinberg times are based on average spin components but in non-commuting spin system average of one component requires the other two to fluctuate. In the present work, we study the effects of spin fluctuations and show that the ATT can well be $\tau_y + \frac{\tau_z^2}{\tau_y}$. We analyze the ATT candidates and reveal that the fluctuation-based ATT acts as a transmission time in all of the low-barrier, high-barrier, thick-barrier and classical dynamics limits. We extract this new ATT using the most recent experimental data by the Steinberg group. The new ATT qualifies as a viable tunneling time formula.

categories: quant-ph cond-mat.mes-hall physics.atm-clus physics.chem-ph


title: Indentation of an elastic disk on a circular supporting ring

abstract: Thin elastic two-dimensionnal systems under compressive stresses may relieve part of their stretching energy by developing out of plane undulations. We investigate experimentally and theoretically the indentation of an elastic disk supported by a circular ring and show that compressive stresses are relieved via two different routes : either developing \textit{buckles} which are spread over the system or developing a \textit{d-cone} where deformation is concentrated in a subregion of the system. We characterize the indentation threshold for wrinkles or d-cone existence as a function of aspect ratio.


title: Implications of Modeling Seasonal Differences in the Extremal Dependence of Rainfall Maxima

abstract: For modeling extreme rainfall, the widely used Brown-Resnick max-stable model extends the concept of the variogram to suit bloc maxima, allowing the explicit modeling of the extremal dependence shown by the spatial data. This extremal dependence stems from the geometrical characteristics of the observed rainfall, which is associated with different meteorological processes and is usually considered to be constant when designing the model for a study. However, depending on the region, this dependence can change throughout the year, as the prevailing meteorological conditions that drive the rainfall generation process change with the season. Therefore, this study analyzes the impact of the seasonal change in extremal dependence for the modeling of annual block maxima in the Berlin-Brandenburg region. For this study, two seasons were considered as proxies for different dominant meteorological conditions: summer for convective rainfall and winter for frontal/stratiform rainfall. Using maxima from both seasons, we compared the skill of a linear model with spatial covariates (that assumed spatial independence) with the skill of a Brown-Resnick max-stable model. This comparison showed a considerable difference between seasons, with the isotropic Brown-Resnick model showing considerable loss of skill for the winter maxima. We conclude that the assumptions commonly made when using the Brown-Resnick model are appropriate for modeling summer (i.e., convective) events, but further work should be done for modeling other types of precipitation regimes.


title: LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes

abstract: Nested datatypes have been widely studied in the past 25 years, both theoretically using category theory, and practically in programming languages such as Haskell. They consist in recursive polymorphic datatypes where the type parameter changes throughout the recursion. They have a variety of applications such as modelling memory or modelling constraints over regular datatypes without relying on dependent types. In this work, we focus on a specific subset of nested datatypes which we call Linked Nested DataTypes (LNDT). We show that some usual datatypes such has List and Maybe, as well as some well-known nested datatypes such as Nest and even Bush can be built as various instances of LNDT. We proceed by presenting LibNDT, a library, developed both in Agda and Coq, which focuses on the set of constructs that can be spread directly from the parameter on which a LNDT is built, to the LNDT itself. These spreadable elements are of two kinds, functions, such as folds and map, and properties, such as the congruence of map or the satisfaction of a given predicate for at least one, or all, elements of the structure. We make use of the dependent type system of both Coq and Agda to model the latter. This paper ends with a discussion about various interesting topics that were raised throughout our development such as the issue of termination, the comparison of our tools and the proof effort required to extend LibNDT with additional elements.


title: Near horizon thermodynamics of hairy black holes from gravitational decoupling

abstract: The horizon structure and thermodynamics of hairy spherically symmetric black holes generated by the gravitational decoupling method are carefully investigated. The temperature and heat capacity of the black hole is determined, as well as how the hairy parameters affect the thermodynamics. It allows the analysis of the thermal stability and the possible existence of a remanent black hole. We also calculate the Hawking radiation corrected by the generalized uncertainty principle. For such we consider the emission of fermions and apply the tunneling method to the generalized Dirac equation. It shows that, despite the horizon location being the same of the Schwarzschild one for a suitable choice of parameters, the physical phenomena happening near the horizon of both black holes are qualitatively different.


title: Optimization of Temperature and Relative Humidity in an Automatic Egg Incubator Using Mamdani Interference System

abstract: Temperature and humidity are two of the rudimentary factors that must be controlled during egg incubation. Improper temperature and humidity levels during the incubation period often result in unwanted conditions. This paper proposes the design of an efficient Mamdani fuzzy interference system instead of the widely used Takagi-Sugeno system in this field for controlling the temperature and humidity levels of an egg incubator. Though the optimum incubation temperature and humidity levels used here are that of chicken egg, the proposed methodology is applicable to other avian species as well. Theinput functions have been used here as per estimated values forsafe hatching using Mamdani whereas defuzzification method, COA, has been applied for output. From the model output,a stabilized heat from temperature level and fan speed to control the humidity level of an egg incubator can be obtained. This maximizes the hatching rate of healthy chicks under any conditions in the field.


title: A Tutorial on Event Detection using Social Media Data Analysis: Applications, Challenges, and Open Problems

abstract: In recent years, social media has become one of the most popular platforms for communication. These platforms allow users to report real-world incidents that might swiftly and widely circulate throughout the whole social network. A social event is a real-world incident that is documented on social media. Social gatherings could contain vital documentation of crisis scenarios. Monitoring and analyzing this rich content can produce information that is extraordinarily valuable and help people and organizations learn how to take action. In this paper, a survey on the potential benefits and applications of event detection with social media data analysis will be presented. Moreover, the critical challenges and the fundamental tradeoffs in event detection will be methodically investigated by monitoring social media stream. Then, fundamental open questions and possible research directions will be introduced.


title: Stimulated-Raman-Scattering Metrology

abstract: Frequency combs have revolutionized optical frequency metrology, allowing one to determine highly accurate transition frequencies of a wealth of molecular species. Despite a recognized scientific interest, these progresses have only marginally benefited infrared-inactive transitions, due to their inherently weak cross-sections. Here we overcome this limitation by introducing stimulated-Raman-scattering metrology, where a frequency comb is exploited to calibrate the frequency detuning between the pump and Stokes excitation lasers. We apply this approach to molecular hydrogen to test quantum electrodynamics. We measure the transition frequency of the Q(1) fundamental line of H$_2$ around 4155 cm$^{-1}$ with few parts-per-billion uncertainty, which is comparable to the theoretical benchmark of ab initio calculations and more than a decade better than the experimental state of the art. Our comb-calibrated stimulated Raman scattering spectrometer extends the toolkit of optical frequency metrology as it can be applied, with simple technical changes, to many other infrared-inactive transitions, over a 50-5000 cm$^{-1}$ range that covers also purely rotational bands.


title: Incorporating Personality Traits in User Modeling for EUD

abstract: Personality traits such as Need for Cognition, Locus of Control, Mindset and Self-efficacy could impact the perception, acceptance and appreciation of recommendations provided to support configuration tasks in the End User Development (EUD) context. In this paper we describe the user model services we have developed to measure such traits. These services can be accessed by users through a simple web interface and can be queried by EUD applications by means of REST API.


title: Families of Sets in Constructive Measure Theory

abstract: We present the first steps of a predicative reconstruction of the constructive Bishop-Cheng measure theory. Working in a semi-formal elaboration of Bishop's set theory and invoking the notion of a set-indexed family of subsets (of a given set), we arrive at notions of a pre-integration space and of a pre-measure space. We then construct the pre-integration space of simple functions associated to a pre-measure space and the $L^1$-completion of a pre-integration space. Unlike the standard presentation of Bishop-Cheng measure theory, our development is completely predicative and avoids the axiom of countable choice.


title: On Improving the Performance of Glitch Classification for Gravitational Wave Detection by using Generative Adversarial Networks

abstract: Spectrogram classification plays an important role in analyzing gravitational wave data. In this paper, we propose a framework to improve the classification performance by using Generative Adversarial Networks (GANs). As substantial efforts and expertise are required to annotate spectrograms, the number of training examples is very limited. However, it is well known that deep networks can perform well only when the sample size of the training set is sufficiently large. Furthermore, the imbalanced sample sizes in different classes can also hamper the performance. In order to tackle these problems, we propose a GAN-based data augmentation framework. While standard data augmentation methods for conventional images cannot be applied on spectrograms, we found that a variant of GANs, ProGAN, is capable of generating high-resolution spectrograms which are consistent with the quality of the high-resolution original images and provide a desirable diversity. We have validated our framework by classifying glitches in the {\it Gravity Spy} dataset with the GAN-generated spectrograms for training. We show that the proposed method can provide an alternative to transfer learning for the classification of spectrograms using deep networks, i.e. using a high-resolution GAN for data augmentation instead. Furthermore, fluctuations in classification performance with small sample sizes for training and evaluation can be greatly reduced. Using the trained network in our framework, we have also examined the spectrograms with label anomalies in {\it Gravity Spy}.


title: About quadratic residues in a class of rings

abstract: Let $R$ be a commutative ring with a collection of ideals $\{ N_1, N_2, \dots, N_{k-1}\}$ satisfying certain conditions, properties of the set of invertible quadratic residues of the ring $R$ are described in terms of properties of the set of invertible quadratic residues of the quotient ring $R/N_1$.


title: No Time Like the Present: Effects of Language Change on Automated Comment Moderation

abstract: The spread of online hate has become a significant problem for newspapers that host comment sections. As a result, there is growing interest in using machine learning and natural language processing for (semi-) automated abusive language detection to avoid manual comment moderation costs or having to shut down comment sections altogether. However, much of the past work on abusive language detection assumes that classifiers operate in a static language environment, despite language and news being in a state of constant flux. In this paper, we show using a new German newspaper comments dataset that the classifiers trained with naive ML techniques like a random-test train split will underperform on future data, and that a time stratified evaluation split is more appropriate. We also show that classifier performance rapidly degrades when evaluated on data from a different period than the training data. Our findings suggest that it is necessary to consider the temporal dynamics of language when developing an abusive language detection system or risk deploying a model that will quickly become defunct.


title: Pairwise and high-order dependencies in the cryptocurrency trading network

abstract: In this paper we analyse the effects of information flows in cryptocurrency markets. We first define a cryptocurrency trading network, i.e. the network made using cryptocurrencies as nodes and the Granger causality among their weekly log returns as links, later we analyse its evolution over time. In particular, with reference to years 2020 and 2021, we study the logarithmic US dollar price returns of the cryptocurrency trading network using both pairwise and high-order statistical dependencies, quantified by Granger causality and O-information, respectively. With reference to the former, we find that it shows peaks in correspondence of important events, like e.g., Covid-19 pandemic turbulence or occasional sudden prices rise. The corresponding network structure is rather stable, across weekly time windows in the period considered and the coins are the most influential nodes in the network. In the pairwise description of the network, stable coins seem to play a marginal role whereas, turning high-order dependencies, they appear in the highest number of synergistic information circuits, thus proving that they play a major role for high order effects. With reference to redundancy and synergy with the time evolution of the total transactions in US dollars, we find that their large volume in the first semester of 2021 seems to have triggered a transition in the cryptocurrency network toward a more complex dynamical landscape. Our results show that pairwise and high-order descriptions of complex financial systems provide complementary information for cryptocurrency analysis.


title: Search for the lepton-flavour violating decays $B^0 \to K^{*0} \mu^\pm e^\mp$ and $B_s^0 \to \phi \mu^\pm e^\mp$

abstract: A search for the lepton-flavour violating decays $B^0 \to K^{*0} \mu^\pm e^\mp$ and $B_s^0 \to \phi \mu^\pm e^\mp$ is presented, using proton-proton collision data collected by the LHCb detector at the LHC, corresponding to an integrated luminosity of $9\,\text{fb}^{-1}$. No significant signals are observed and upper limits of \begin{align} {\cal B}( B^0 \to K^{*0} \mu^+ e^- ) &< \phantom{1}5.7\times 10^{-9}~(6.9\times 10^{-9}),\newline {\cal B}( B^0 \to K^{*0} \mu^- e^+ ) &< \phantom{1}6.8\times 10^{-9}~(7.9\times 10^{-9}),\newline {\cal B}( B^0 \to K^{*0} \mu^\pm e^\mp ) &< 10.1\times 10^{-9}~(11.7\times 10^{-9}),\newline {\cal B}( B_s^0 \to \phi \mu^\pm e^\mp ) &< 16.0\times 10^{-9}~(19.8\times 10^{-9}) \end{align} are set at $90\%~(95\%)$ confidence level. These results constitute the world's most stringent limits to date, with the limit on the decay $B_s^0 \to \phi \mu^\pm e^\mp$ the first being set. In addition, limits are reported for scalar and left-handed lepton-flavour violating New Physics scenarios.


title: Reduced variations in Earth's and Mars' orbital inclination and Earth's obliquity from 58 to 48 Myr ago due to solar system chaos

abstract: The dynamical evolution of the solar system is chaotic with a Lyapunov time of only $\sim$5 Myr for the inner planets. Due to the chaos it is fundamentally impossible to accurately predict the solar system's orbital evolution beyond $\sim$50 Myr based on present astronomical observations. We have recently developed a method to overcome the problem by using the geologic record to constrain astronomical solutions in the past. Our resulting optimal astronomical solution (called ZB18a) shows exceptional agreement with the geologic record to $\sim$58 Ma (Myr ago) and a characteristic resonance transition around 50 Ma. Here we show that ZB18a and integration of Earth's and Mars' spin vector based on ZB18a yield reduced variations in Earth's and Mars' orbital inclination and Earth's obliquity (axial tilt) from $\sim$58 to $\sim$48 Ma -- the latter being consistent with paleoclimate records. The changes in the obliquities have important implications for the climate histories of Earth and Mars. We provide a detailed analysis of solar system frequencies ($g$- and $s$-modes) and show that the shifts in the variation in Earth's and Mars' orbital inclination and obliquity around 48 Ma are associated with the resonance transition and caused by changes in the contributions to the superposition of $s$-modes, plus $g$-$s$-mode interactions in the inner solar system. The $g$-$s$-mode interactions and the resonance transition (consistent with geologic data) are unequivocal manifestations of chaos. Dynamical chaos in the solar system hence not only affects its orbital properties, but also the long-term evolution of planetary climate through eccentricity and the link between inclination and axial tilt.


title: Event Collapse in Contrast Maximization Frameworks

abstract: Contrast maximization (CMax) is a framework that provides state-of-the-art results on several event-based computer vision tasks, such as ego-motion or optical flow estimation. However, it may suffer from a problem called event collapse, which is an undesired solution where events are warped into too few pixels. As prior works have largely ignored the issue or proposed workarounds, it is imperative to analyze this phenomenon in detail. Our work demonstrates event collapse in its simplest form and proposes collapse metrics by using first principles of space-time deformation based on differential geometry and physics. We experimentally show on publicly available datasets that the proposed metrics mitigate event collapse and do not harm well-posed warps. To the best of our knowledge, regularizers based on the proposed metrics are the only effective solution against event collapse in the experimental settings considered, compared with other methods. We hope that this work inspires further research to tackle more complex warp models.


title: ABB-BERT: A BERT model for disambiguating abbreviations and contractions

abstract: Abbreviations and contractions are commonly found in text across different domains. For example, doctors' notes contain many contractions that can be personalized based on their choices. Existing spelling correction models are not suitable to handle expansions because of many reductions of characters in words. In this work, we propose ABB-BERT, a BERT-based model, which deals with an ambiguous language containing abbreviations and contractions. ABB-BERT can rank them from thousands of options and is designed for scale. It is trained on Wikipedia text, and the algorithm allows it to be fine-tuned with little compute to get better performance for a domain or person. We are publicly releasing the training dataset for abbreviations and contractions derived from Wikipedia.


title: Systematic Atomic Structure Datasets for Machine Learning Potentials: Application to Defects in Magnesium

abstract: We present a physically motivated strategy for the construction of training sets for transferable machine learning interatomic potentials. It is based on a systematic exploration of all possible space groups in random crystal structures, together with deformations of cell shape, size, and atomic positions. The resulting potentials turn out to be unbiased and generically applicable to studies of bulk defects without including any defect structures in the training set or employing any additional Active Learning. Using this approach we construct transferable potentials for pure Magnesium that reproduce the properties of hexagonal closed packed (hcp) and body centered cubic (bcc) polymorphs very well. In the process we investigate how different types of training structures impact the properties and the predictive power of the resulting potential.


title: MACFE: A Meta-learning and Causality Based Feature Engineering Framework

abstract: Feature engineering has become one of the most important steps to improve model prediction performance, and to produce quality datasets. However, this process requires non-trivial domain-knowledge which involves a time-consuming process. Thereby, automating such process has become an active area of research and of interest in industrial applications. In this paper, a novel method, called Meta-learning and Causality Based Feature Engineering (MACFE), is proposed; our method is based on the use of meta-learning, feature distribution encoding, and causality feature selection. In MACFE, meta-learning is used to find the best transformations, then the search is accelerated by pre-selecting "original" features given their causal relevance. Experimental evaluations on popular classification datasets show that MACFE can improve the prediction performance across eight classifiers, outperforms the current state-of-the-art methods in average by at least 6.54%, and obtains an improvement of 2.71% over the best previous works.


title: The Physics of Pulsar Halos: Research Progress and Prospect

abstract: Diffusive TeV gamma-ray emissions have been recently discovered extending beyond the pulsar wind nebulae of a few middle-aged pulsars, implying that energetic electron/positron pairs are escaping from the pulsar wind nebulae and radiating in the ambient interstellar medium. It has been suggested that these extended emissions constitute a distinct class of nonthermal sources, termed "pulsar halos". In this article, I will review the research progress on pulsar halos and discuss our current understanding on their physics, including the multiwavelength observations, different theoretical models, as well as implications for the origin of cosmic-ray positron excess and Galactic diffuse gamma-ray emission.


title: Lagrangian Large Eddy Simulations via Physics Informed Machine Learning

abstract: High Reynolds Homogeneous Isotropic Turbulence is fully described within the Navier-Stokes (NS) equations, which are notoriously difficult to solve numerically. Engineers, interested primarily in describing turbulence at a reduced range of resolved scales, have designed heuristics, known as Large Eddy Simulation (LES). LES is described in terms of the temporally evolving Eulerian velocity field defined over a spatial grid with the mean-spacing correspondent to the resolved scale. This classic Eulerian LES depends on assumptions about effects of sub-grid scales on the resolved scales. Here, we take an alternative approach and design novel LES heuristics stated in terms of Lagrangian particles moving with the flow. Our Lagrangian LES, thus L-LES, is described by equations generalizing the weakly compressible Smoothed Particle Hydrodynamics formulation with extended parametric and functional freedom, which is then resolved via Machine Learning training on Lagrangian data from Direct Numerical Simulations of the NS equations. The L-LES model includes physics-informed parameterization and functional form, by combining physics-based parameters and physics-inspired Neural Networks to describe the evolution of turbulence within the resolved range of scales. The sub-grid scale contributions are modeled separately with physical constraints to account for the effects from un-resolved scales. We build the resulting model under the Differentiable Programming framework to facilitate efficient training. We experiment with loss functions of different types, including physics-informed ones accounting for statistics of Lagrangian particles. We show that our Lagrangian LES model is capable of reproducing Eulerian and unique Lagrangian turbulence structures and statistics over a range of turbulent Mach numbers.


title: Simplest Integrals for the Zeta Function and its Generalizations Valid in All $\mathbb{C}$

abstract: Using a different approach, we derive integral representations for the Riemann zeta function and its generalizations (the Hurwitz zeta, $\zeta(-k,b)$, the polylogarithm, $\mathrm{Li}_{-k}(e^m)$, and the Lerch transcendent, $\Phi(e^m,-k,b)$), that coincide with their Abel-Plana expressions. A slight variation of the approach leads to different formulae. We also present the relations between each of these functions and their partial sums. It allows one to figure, for example, the Taylor series expansion of $H_{-k}(n)$ about $n=0$ (when $k$ is a positive integer, we obtain a finite Taylor series, which is nothing but the Faulhaber formula). The method used requires evaluating the limit of $\Phi\left(e^{2\pi i\,x},-2k+1,n+1\right)+\pi i\,x\,\Phi\left(e^{2\pi i\,x},-2k,n+1\right)/k$ when $x$ goes to $0$, which in itself already makes for an interesting problem.


title: Higher-curvature generalization of Eguchi-Hanson spaces

abstract: We construct higher-dimensional generalizations of the Eguchi-Hanson gravitational instanton in the presence of higher-curvature deformations of general relativity. These spaces are solutions to Einstein gravity supplemented with the dimensional extension of the quadratic Chern-Gauss-Bonnet invariant in arbitrary even dimension $D=2m\geq 4$, and they are constructed out of non-trivial fibrations over $(2m-2)$-dimensional K\"ahler-Einstein manifolds. Different aspects of these solutions are analyzed; among them, the regularization of the on-shell Euclidean action by means of the addition of topological invariants. We also consider higher-curvature corrections to the gravity action that are cubic in the Riemann tensor and explicitly construct Eguchi-Hanson type solutions for such.


title: Convergence Analyses of Davis-Yin Splitting via Scaled Relative Graphs

abstract: Davis-Yin splitting (DYS) has found a wide range of applications in optimization, but its linear rates of convergence have not been studied extensively. The scaled relative graph (SRG) simplifies the convergence analysis of operator splitting methods by mapping the action of the operator onto the complex plane, but the prior SRG theory did not fully apply to the DYS operator. In this work, we formalize an SRG theory for the DYS operator and use it to obtain tighter contraction factors.


title: Chemical Abundances of the Typhon Stellar Stream

abstract: We present the first high-resolution chemical abundances of seven stars in the recently discovered high-energy stream Typhon. Typhon stars have apocenters >100 kpc, making this the first detailed chemical picture of the Milky Way's very distant stellar halo. Though the sample size is limited, we find that Typhon's chemical abundances are more like a dwarf galaxy than a globular cluster, showing a metallicity dispersion and no presence of multiple stellar populations. Typhon stars display enhanced $\alpha$-element abundances and increasing r-process abundances with increasing metallicity. The high-$\alpha$ abundances suggest a short star formation duration for Typhon, but this is at odds with expectations for the distant Milky Way halo and the presence of delayed r-process enrichment. If the progenitor of Typhon is indeed a new dwarf galaxy, possible scenarios explaining this apparent contradiction include a dynamical interaction that increases Typhon's orbital energy, a burst of enhanced late-time star formation that raises [$\alpha$/Fe], and/or group preprocessing by another dwarf galaxy before infall into the Milky Way. Alternatively, Typhon could be the high-energy tail of a more massive disrupted dwarf galaxy that lost energy through dynamical friction. We cannot clearly identify a known low-energy progenitor of Typhon in the Milky Way, but 70% of high-apocenter stars in cosmological simulations are from high-energy tails of large dwarf galaxies. Typhon's surprising combination of kinematics and chemistry thus underscores the need to fully characterize the dynamical history and detailed abundances of known substructures before identifying the origin of new substructures.


title: Possibility of detecting gravity of an object frozen in a spatial superposition by the Zeno effect

abstract: While quantum probes surely feel gravity, no source of gravity has been prepared in a delocalized quantum state yet. Two basic questions need to be addressed: how to delocalize a mass sufficiently large to generate detectable gravity; and, once that state has been prepared, how to fight localization by decoherence. We propose to fight decoherence by freezing the source in the desired state through the Zeno effect. Successful implementation can be verified by scattering a probe in the effective potential generated by the source. Besides putting forward the idea, we provide an estimation of the values of the parameters required for the proposal to be feasible. Overall, the proposal seems as challenging as other existing ones, although the specific challenges are different (e.g. no entanglement needs to be preserved or detected, but the Zeno freezing must be implemented).


title: One can know the area and total curvatures of the boundary by hearing the resonances of a Stokes flow

abstract: By calculating full symbol for the Dirichlet-to-Neumann map $\Lambda$ of a Stokes flow, we establish the asymptotic expansion of the trace of the heat kernel for $\Lambda$. We also give a useful procedure, by which all coefficients of the asymptotic expansion can be explicitly calculated. These coefficients are the Steklov spectral invariants of $\Lambda$, which provide precise geometric information of the boundary for the Stokes flow. In particular, the first two coefficients show that the area and (total) mean curvature of the the boundary can be known by the Steklov eigenvalues of $\Lambda$.


title: Inverse Design of Multi-band Reflective Polarizing Metasurfaces Using Generative Machine Learning

abstract: Electromagnetic linear-to-circular polarization converters with wide- and multi-band capabilities can simplify antenna systems where circular polarization is required. Multi-band solutions are attractive in satellite communication systems, which commonly have the additional requirement that the sense of polarization is reversed {between adjacent bands}. However, the design of these structures using conventional \textit{ad hoc} methods relies heavily on empirical methods. Here, we employ a data-driven approach integrated with a generative adversarial network to explore the design space of the polarizer meta-atom thoroughly. Dual-band and triple-band reflective polarizers with stable performance over incident angles up to and including $30^\circ$, {corresponding to typical reflector antenna system requirements}, are synthesized using the proposed method. The feasibility and performance of the designed polarizer is validated through measurements of a fabricated prototype.


title: Strong uniaxial pressure dependencies evidencing spin-lattice coupling and spin fluctuations in Cr$_2$Ge$_2$Te$_6$

abstract: Single crystals of Cr$_2$Ge$_2$Te$_6$ were studied by high-resolution capacitance dilatometry to obtain in-plane ($B\parallel ab$) and out-of-plane ($B\parallel c$) thermal expansion and magnetostriction at temperatures between 2 and 300 K and in magnetic fields up to 15 T. The anomalies in both response functions lead to the 'magnetoelastic' phase diagrams and separate the paramagnetic (PM), ferromagnetic low-temperature/low-field (LTF) and aligned ferromagnetic (FM) phases. The presence of two distinct thermal expansion anomalies at small fields $B\parallel ab$ of different magnetic field dependence clearly supports the scenario of an intermediate region separating PM and LTF phases and is indicative of a tricritical point. Simulations of the magnetostriction using the Stoner-Wohlfarth model for uniaxial anisotropy demonstrate that the observed quadratic-in-field behavior in the LTF phase is in line with a rotation of the spins from the preferred $c$ direction into the $ab$ plane. Both the LTF and the PM phase close to T$_{\rm C}$ exhibit very strong pressure dependencies of the magnetization, ${\partial}\ln{M_{\rm ab}}/{\partial}p_{\rm ab}$, of several hundred %/GPa and also the transition from the LTF to the FM phase strongly depends on $p_{\rm ab}$ ($\sim -$280%/GPa), indicating a strong decrease of the uniaxial anisotropy under applied in-plane pressure. Our data clearly demonstrate the relevance of critical fluctuations and magnetoelastic coupling in Cr$_2$Ge$_2$Te$_6$.


title: ASL-Homework-RGBD Dataset: An annotated dataset of 45 fluent and non-fluent signers performing American Sign Language homeworks

abstract: We are releasing a dataset containing videos of both fluent and non-fluent signers using American Sign Language (ASL), which were collected using a Kinect v2 sensor. This dataset was collected as a part of a project to develop and evaluate computer vision algorithms to support new technologies for automatic detection of ASL fluency attributes. A total of 45 fluent and non-fluent participants were asked to perform signing homework assignments that are similar to the assignments used in introductory or intermediate level ASL courses. The data is annotated to identify several aspects of signing including grammatical features and non-manual markers. Sign language recognition is currently very data-driven and this dataset can support the design of recognition technologies, especially technologies that can benefit ASL learners. This dataset might also be interesting to ASL education researchers who want to contrast fluent and non-fluent signing.


title: Preparation of Vibrational Quasi-Bound States of the Transition State Complex BrHBr from the Bihalide Ion BrHBr-}

abstract: Efficient strategies that allow the preparation of molecular systems in particular vibrational states are important in the application of quantum control schemes to chemical reactions. In this paper, we propose the preparation of quasi--bound vibrational states of the collinear transition state complex $\ce{BrHBr}$, from vibrational states of the bihalide ion $\ce{BrHBr-}$, that favor the bond selective breakage of $\ce{BrHBr}$. The results shown complement the investigation that we reported in a previous paper, [A. J. Garz\'on-Ram\'irez, J. G. L\'opez and C. A. Arango, \textit{Int. J. Quantum Chem.}, 2018, \textbf{24}, e25784], in which we demonstrated the feasibility of controlling the bond selective decomposition of the collinear BrHBr using linear combinations of reactive resonances. We employed a dipole moment surface, calculated at the QCISD/\textit{d-aug-cc-pVTZ} level of theory, to simulate the interaction of the $\ce{BrHBr-}$ ground vibrational state with heuristically optimized sequences of ultrashort infrared linear chirped laser pulses to achieve a target vibrational state, resulting from expanding a chosen linear combination of reactive resonances of BrHBr in terms of vibrational eigenstates of $\ce{BrHBr-}$. The results of our simulations show final states that capture the most relevant features of the target state with different levels of description depending on the sequence of laser pulses employed. We also discuss ways of improving the description of the target state and possible limitations of our approach.


title: Idempotent completions of $n$-exangulated categories

abstract: Suppose $(\mathcal{C},\mathbb{E},\mathfrak{s})$ is an $n$-exangulated category. We show that the idempotent completion and the weak idempotent completion of $\mathcal{C}$ are again $n$-exangulated categories. Furthermore, we also show that the canonical inclusion functor of $\mathcal{C}$ into its (resp. weak) idempotent completion is $n$-exangulated and $2$-universal among $n$-exangulated functors from $(\mathcal{C},\mathbb{E},\mathfrak{s})$ to (resp. weakly) idempotent complete $n$-exangulated categories. Furthermore, we prove that if $(\mathcal{C},\mathbb{E},\mathfrak{s})$ is $n$-exact, then so too is its (resp. weak) idempotent completion. We note that our methods of proof differ substantially from the extriangulated and $(n+2)$-angulated cases. However, our constructions recover the known structures in the established cases up to $n$-exangulated isomorphism of $n$-exangulated categories.


title: Boundary Conditions Matter: On The Spectrum Of Infinite Quantum Graphs

abstract: We study the interplay between spectrum, geometry and boundary conditions for two distinguished self-adjoint realisations of the Laplacian on infinite metric graphs, the so-called Friedrichs and Neumann extensions. We introduce a new criterion for compactness of the resolvent and apply this to identify a transition from purely discrete to non-empty essential spectrum among a class of infinite metric graphs, a phenomenon that seems to have no known counterpart for Laplacians on Euclidean domains of infinite volume. In the case of discrete spectrum we then prove upper and lower bounds on eigenvalues, thus extending a number of bounds previously only known in the compact setting to infinite graphs. Some of our bounds, for instance in terms of the inradius, are new even on compact graphs.


title: Rate-Optimal Streaming Codes Over the Three-Node Decode-And-Forward Relay Network

abstract: In this paper, we study the three-node Decode-and-Forward (D&F) relay network subject to random and burst packet erasures. The source wishes to transmit an infinite stream of packets to the destination via the relay. The three-node D&F relay network is constrained by a decoding delay of T packets, i.e., the packet transmitted by the source at time i must be decoded by the destination by time i+T. For the individual channels from source to relay and relay to destination, we assume a delay-constrained sliding-window (DCSW) based packet-erasure model that can be viewed as a tractable approximation to the commonly-accepted Gilbert-Elliot channel model. Under the model, any time-window of width w contains either up to a random erasure or else erasure burst of length at most b (>= a). Thus the source-relay and relay-destination channels are modeled as (a_1, b_1, w_1, T_1) and (a_2, b_2, w_2, T_2) DCSW channels. We first derive an upper bound on the capacity of the three-node D&F relay network. We then show that the upper bound is tight for the parameter regime: max{b_1, b_2}|(T-b_1-b_2-max{a_1, a_2}+1), a1=a2 OR b1=b2 by constructing streaming codes achieving the bound. The code construction requires field size linear in T, and has decoding complexity equivalent to that of decoding an MDS code.


title: Fractional second-order topological insulator from a three-dimensional coupled-wires construction

abstract: We construct a three-dimensional second-order topological insulator with gapless helical hinge states from an array of weakly tunnel-coupled Rashba nanowires. For suitably chosen interwire tunnelings, we demonstrate that the system has a fully gapped bulk as well as fully gapped surfaces, but hosts a Kramers pair of gapless helical hinge states propagating along a path of hinges that is determined by the hierarchy of interwire tunnelings and the boundary termination of the system. Furthermore, the coupled-wires approach allows us to incorporate electron-electron interactions into our description. At suitable filling factors of the individual wires, we show that sufficiently strong electron-electron interactions can drive the system into a fractional second-order topological insulator phase with hinge states carrying only a fraction $e/p$ of the electronic charge $e$ for an odd integer $p$.


title: A Multi-tasking Model of Speaker-Keyword Classification for Keeping Human in the Loop of Drone-assisted Inspection

abstract: Audio commands are a preferred communication medium to keep inspectors in the loop of civil infrastructure inspection performed by a semi-autonomous drone. To understand job-specific commands from a group of heterogeneous and dynamic inspectors, a model must be developed cost-effectively for the group and easily adapted when the group changes. This paper is motivated to build a multi-tasking deep learning model that possesses a Share-Split-Collaborate architecture. This architecture allows the two classification tasks to share the feature extractor and then split subject-specific and keyword-specific features intertwined in the extracted features through feature projection and collaborative training. A base model for a group of five authorized subjects is trained and tested on the inspection keyword dataset collected by this study. The model achieved a 95.3% or higher mean accuracy in classifying the keywords of any authorized inspectors. Its mean accuracy in speaker classification is 99.2%. Due to the richer keyword representations that the model learns from the pooled training data, adapting the base model to a new inspector requires only a little training data from that inspector, like five utterances per keyword. Using the speaker classification scores for inspector verification can achieve a success rate of at least 93.9% in verifying authorized inspectors and 76.1% in detecting unauthorized ones. Further, the paper demonstrates the applicability of the proposed model to larger-size groups on a public dataset. This paper provides a solution to addressing challenges facing AI-assisted human-robot interaction, including worker heterogeneity, worker dynamics, and job heterogeneity.


title: CoCAtt: A Cognitive-Conditioned Driver Attention Dataset (Supplementary Material)

abstract: The task of driver attention prediction has drawn considerable interest among researchers in robotics and the autonomous vehicle industry. Driver attention prediction can play an instrumental role in mitigating and preventing high-risk events, like collisions and casualties. However, existing driver attention prediction models neglect the distraction state and intention of the driver, which can significantly influence how they observe their surroundings. To address these issues, we present a new driver attention dataset, CoCAtt (Cognitive-Conditioned Attention). Unlike previous driver attention datasets, CoCAtt includes per-frame annotations that describe the distraction state and intention of the driver. In addition, the attention data in our dataset is captured in both manual and autopilot modes using eye-tracking devices of different resolutions. Our results demonstrate that incorporating the above two driver states into attention modeling can improve the performance of driver attention prediction. To the best of our knowledge, this work is the first to provide autopilot attention data. Furthermore, CoCAtt is currently the largest and the most diverse driver attention dataset in terms of autonomy levels, eye tracker resolutions, and driving scenarios. CoCAtt is available for download at https://cocatt-dataset.github.io.


title: Lessons from Deep Learning applied to Scholarly Information Extraction: What Works, What Doesn't, and Future Directions

abstract: Understanding key insights from full-text scholarly articles is essential as it enables us to determine interesting trends, give insight into the research and development, and build knowledge graphs. However, some of the interesting key insights are only available when considering full-text. Although researchers have made significant progress in information extraction from short documents, extraction of scientific entities from full-text scholarly literature remains a challenging problem. This work presents an automated End-to-end Research Entity Extractor called EneRex to extract technical facets such as dataset usage, objective task, method from full-text scholarly research articles. Additionally, we extracted three novel facets, e.g., links to source code, computing resources, programming language/libraries from full-text articles. We demonstrate how EneRex is able to extract key insights and trends from a large-scale dataset in the domain of computer science. We further test our pipeline on multiple datasets and found that the EneRex improves upon a state of the art model. We highlight how the existing datasets are limited in their capacity and how EneRex may fit into an existing knowledge graph. We also present a detailed discussion with pointers for future research. Our code and data are publicly available at https://github.com/DiscoveryAnalyticsCenter/EneRex.


title: Frequency comb from a single driven nonlinear nanomechanical mode

abstract: Phononic frequency combs have been attracting an increasing attention both as a qualitatively new type of nonlinear phenomena in vibrational systems and from the point of view of applications. It is commonly believed that at least two modes must be involved in generating a comb. In this paper we demonstrate that a comb can be generated by a single nanomechanical mode driven by a resonant monochromatic drive. The comb emerges where the drive is still weak, so that the anharmonic part of the mode potential energy remains small. We relate the effect to a negative nonlinear friction induced by the resonant drive, which makes the vibrations at the drive frequency unstable. We directly map the trajectories of the emerging oscillations in the rotating frame and show how these oscillations lead to the frequency comb in the laboratory frame. The results go beyond nanomechanics and suggest a qualitatively new approach to generating tunable frequency combs in single-mode vibrational systems.


title: Example of simplest bifurcation diagram for a monotone family of vector fields on a torus

abstract: We present an example of a monotone two-parameter family of vector fields on a torus whose bifurcation diagram we demonstrate to be in the class of "simplest" diagrams proposed by Baesens & MacKay (2018 Nonlinearity 31 2928--81). This shows that the proposed class is realisable.


title: Thermal instability in radiation hydrodynamics: instability mechanisms, position-dependent S-curves, and attenuation curves

abstract: Local thermal instability can plausibly explain the formation of multiphase gas in many different astrophysical environments, but the theory is only well understood in the optically thin limit of the equations of radiation hydrodynamics (RHD). Here we lay groundwork for transitioning from this limit to a full RHD treatment assuming a gray opacity formalism. We consider a situation where the gas becomes thermally unstable due to the hardening of the radiation field when the main radiative processes are free-free cooling and Compton heating. We identify two ways in which this can happen: (i) when the Compton temperature increases with time, through a rise in either the intensity or energy of a hard X-ray component; and (ii) when attenuation reduces the flux of the thermal component so that the Compton temperature increases with depth through the slab. Both ways likely occur in the broad line region of active galactic nuclei where columns of gas can be ionization bounded. In such instances where attenuation is significant, thermal equilibrium solution curves become position-dependent and it no longer suffices to assess the stability of an irradiated column of gas at all depths using a single equilibrium curve. We demonstrate how to analyze a new equilibrium curve -- the attenuation curve -- for this purpose, and we show that by Field's instability criterion, a negative slope along this curve indicates that constant density slabs are thermally unstable whenever the gas temperature increases with depth.


title: Singular properties of QED vacuum response to applied quasi-constant electromagnetic fields

abstract: Employing the Bogoliubov coefficient summation method and introducing the gyromagnetic ratio $g\neq 2$ we derive an explicit functional form of $\mathfrak{Im}V^\mathrm{EHS}_g$, the imaginary part of Euler-Heisenberg-Schwinger (EHS) type effective action. We show that $\mathfrak{Im}V^\mathrm{EHS}_g$ is periodic in $g$ for any (quasi-)constant electromagnetic field configuration, and equal to the imaginary part obtained using a periodic in $g$ Ramanujan integrand in the proper time representation of $V^\mathrm{EHS}_g$. This validates the Ramanujan representation of $V^\mathrm{EHS}_g$ for both real and imaginary parts and allows writing the effective action in a suitably modified Schwinger proper time format. As a function of the ratio $b/a$ between ${\mathcal{B}} \to b$ and ${\mathcal{E}}\to a$ covariant generalizations of EM fields, we explore the singular properties of $\mathfrak{Im}V^\mathrm{EHS}_g$ at $g=2\pm 4k, k=0,\pm1,\pm2\ldots$ involving the pseudoscalar $ab\equiv \vec{\mathcal{E}}\cdot\vec{\mathcal{B}}$ in perturbative and nonperturbative behavior. We study the $e^-e^+$-decay vacuum instability, incorporating the physical value of $g-2$ vertex diagrams when summing infinite irreducible loops. We obtain an effective expansion parameter $\chi_b=\alpha b/2a$ ($\alpha=e^2/4\pi$), characterizing the onset of nonperturbative in $g-2$ suppression of vacuum instability. We demonstrate the $\chi_b$ domains for which perturbative expansion in $\alpha$ breaks down: The EM vacuum subject to critical electric field strength is stabilized in magnetic-dominated \lq magnetar\rq\ environments. Considering separately the case of ${\mathcal{E}}$ and ${\mathcal{B}}$ fields, we generalize to all $g$ the temperature representation of the $V^\mathrm{EHS}_g$ effective action.


title: Flux: Liquid Types for Rust

abstract: We introduce Flux, which shows how logical refinements can work hand in glove with Rust's ownership mechanisms to yield ergonomic type-based verification of low-level pointer manipulating programs. First, we design a novel refined type system for Rust that indexes mutable locations, with pure (immutable) values that can appear in refinements, and then exploits Rust's ownership mechanisms to abstract sub-structural reasoning about locations within Rust's polymorphic type constructors, while supporting strong updates. We formalize the crucial dependency upon Rust's strong aliasing guarantees by exploiting the stacked borrows aliasing model to prove that ``well-borrowed evaluations of well-typed programs do not get stuck''. Second, we implement our type system in Flux, a plug-in to the Rust compiler that exploits the factoring of complex invariants into types and refinements to efficiently synthesize loop annotations -- including complex quantified invariants describing the contents of containers -- via liquid inference. Third, we evaluate Flux with a benchmark suite of vector manipulating programs and parts of a previously verified secure sandboxing library to demonstrate the advantages of refinement types over program logics as implemented in the state-of-the-art Prusti verifier. While Prusti's more expressive program logic can, in general, verify deep functional correctness specifications, for the lightweight but ubiquitous and important verification use-cases covered by our benchmarks, liquid typing makes verification ergonomic by slashing specification lines by a factor of two, verification time by an order of magnitude, and annotation overhead from up to 24% of code size (average 9%) to nothing at all.


title: The Burning Number Conjecture Holds Asymptotically

abstract: The burning number $b(G)$ of a graph $G$ is the smallest number of turns required to burn all vertices of a graph if at every turn a new fire is started and existing fires spread to all adjacent vertices. The Burning Number Conjecture of Bonato et al. (2016) postulates that $b(G)\leq \left\lceil\sqrt{n}\right\rceil$ for all graphs $G$ on $n$ vertices. We prove that this conjecture holds asymptotically, that is $b(G)\leq (1+o(1))\sqrt n$.


title: Implicit Bias of Gradient Descent on Reparametrized Models: On Equivalence to Mirror Descent

abstract: As part of the effort to understand implicit bias of gradient descent in overparametrized models, several results have shown how the training trajectory on the overparametrized model can be understood as mirror descent on a different objective. The main result here is a characterization of this phenomenon under a notion termed commuting parametrization, which encompasses all the previous results in this setting. It is shown that gradient flow with any commuting parametrization is equivalent to continuous mirror descent with a related Legendre function. Conversely, continuous mirror descent with any Legendre function can be viewed as gradient flow with a related commuting parametrization. The latter result relies upon Nash's embedding theorem.


title: Bayesian model comparison for simulation-based inference

abstract: Comparison of appropriate models to describe observational data is a fundamental task of science. The Bayesian model evidence, or marginal likelihood, is a computationally challenging, yet crucial, quantity to estimate to perform Bayesian model comparison. We introduce a methodology to compute the Bayesian model evidence in simulation-based inference (SBI) scenarios (also often called likelihood-free inference). In particular, we leverage the recently proposed learnt harmonic mean estimator and exploit the fact that it is decoupled from the method used to generate posterior samples, i.e. it requires posterior samples only, which may be generated by any approach. This flexibility, which is lacking in many alternative methods for computing the model evidence, allows us to develop SBI model comparison techniques for the three main neural density estimation approaches, including neural posterior estimation (NPE), neural likelihood estimation (NLE), and neural ratio estimation (NRE). We demonstrate and validate our SBI evidence calculation techniques on a range of inference problems, including a gravitational wave example. Moreover, we further validate the accuracy of the learnt harmonic mean estimator, implemented in the HARMONIC software, in likelihood-based settings. These results highlight the potential of HARMONIC as a sampler-agnostic method to estimate the model evidence in both likelihood-based and simulation-based scenarios.

categories: astro-ph.CO astro-ph.IM physics.comp-ph physics.data-an


title: Contact Lie systems

abstract: We define and analyse the properties of contact Lie systems, namely systems of first-order differential equations describing the integral curves of a $t$-dependent vector field taking values in a finite-dimensional Lie algebra of Hamiltonian vector fields relative to a contact structure. As a particular example, we study families of conservative contact Lie systems. Liouville theorems, contact reductions, and Gromov non-squeezing theorems are developed and applied to contact Lie systems. Our results are illustrated by examples with relevant physical and mathematical applications, e.g. Schwarz equations, Brockett systems, etcetera.


title: The halo bias inside cosmic voids

abstract: The bias of dark matter halos and galaxies is a crucial quantity in many cosmological analyses. In this work, using large cosmological simulations, we explore the halo mass function and halo bias within cosmic voids. For the first time to date, we show that they are scale-dependent along the void profile, and provide a predictive theoretical model of both the halo mass function and halo bias inside voids, recovering for the latter and 1% accuracy against simulated data. These findings may help shed light on the dynamics of halo formation within voids and improve the analysis of several void statistics from ongoing and upcoming galaxy surveys.


title: Log-CCDM: Distribution Matching via Multiplication-free Arithmetic Coding

abstract: Recent years have seen renewed attention to arithmetic coding (AC). This is thanks to the use of AC for distribution matching (DM) to control the channel input distribution in probabilistic amplitude shaping. There are two main problems inherent to AC: (1) its required arithmetic precision grows linearly with the input length, and (2) high-precision multiplications and divisions are required. Here, we introduce a multiplication-free AC-based DM technique via three lookup tables (LUTs) which solves both problems above. These LUTs are used to approximate the high-precision multiplications and divisions by additions and subtractions. The required precision of our approach is shown to grow logarithmically with the input length. We prove that this approximate technique maintains the invertibility of DM. At an input length of 1024 symbols, the proposed technique achieves negligible rate loss ($<0.01$ bit/sym) against the full-precision DM, while requiring less than 4 kilobytes of storage.


title: Double Field Theory with matter and the generalized Bergshoeff-de Roo identification

abstract: The scalar field-perfect fluid (sf-pf) correspondence shows that the energy-momentum tensor of a scalar field is in correspondence with the dynamics of a perfect fluid. In this work we generalize this concept to study the higher-derivative structure of Double Field Theory with statistical matter. Using the generalized Bergshoeff-de Roo identification we find nontrivial higher-derivative corrections for the generalized scalar field Lagrangian. However, these contributions are removed to any desired order using field redefinitions at the supergravity level. By virtue of the generalized sf-pf correspondence we obtain the higher-derivative dynamics for the perfect fluid in the double geometry, which is also trivialized at the supergravity level. These results imply that the well-known $\alpha'$-corrections obtained by this procedure only correct the effective vacuum Lagrangian, while the sf-pf Lagrangian coupled to the supergravity background remains uncorrected to all orders. Our findings apply for a general (Bosonic-Heterotic-Type II-HSZ) supergravity background.


title: Suslin cardinals and cutpoints in mouse limits

abstract: We obtain a partial result on the following conjecture. Conjecture. Let (P, {\Sigma}) be a projectum stable mouse pair, and let \kappa be a cardinal of V such that \kappa < o(M_\infty(P, {\Sigma})); then the following are equivalent: (1) \kappa is a Suslin cardinal, (2) \kappa is a cutpoint of M_\infty(P, {\Sigma}).


title: The Harvard USPTO Patent Dataset: A Large-Scale, Well-Structured, and Multi-Purpose Corpus of Patent Applications

abstract: Innovation is a major driver of economic and social development, and information about many kinds of innovation is embedded in semi-structured data from patents and patent applications. Although the impact and novelty of innovations expressed in patent data are difficult to measure through traditional means, ML offers a promising set of techniques for evaluating novelty, summarizing contributions, and embedding semantics. In this paper, we introduce the Harvard USPTO Patent Dataset (HUPD), a large-scale, well-structured, and multi-purpose corpus of English-language patent applications filed to the United States Patent and Trademark Office (USPTO) between 2004 and 2018. With more than 4.5 million patent documents, HUPD is two to three times larger than comparable corpora. Unlike previously proposed patent datasets in NLP, HUPD contains the inventor-submitted versions of patent applications--not the final versions of granted patents--thereby allowing us to study patentability at the time of filing using NLP methods for the first time. It is also novel in its inclusion of rich structured metadata alongside the text of patent filings: By providing each application's metadata along with all of its text fields, the dataset enables researchers to perform new sets of NLP tasks that leverage variation in structured covariates. As a case study on the types of research HUPD makes possible, we introduce a new task to the NLP community--namely, binary classification of patent decisions. We additionally show the structured metadata provided in the dataset enables us to conduct explicit studies of concept shifts for this task. Finally, we demonstrate how HUPD can be used for three additional tasks: multi-class classification of patent subject areas, language modeling, and summarization.


title: kMaX-DeepLab: k-means Mask Transformer

abstract: The rise of transformers in vision tasks not only advances network backbone designs, but also starts a brand-new page to achieve end-to-end image recognition (e.g., object detection and panoptic segmentation). Originated from Natural Language Processing (NLP), transformer architectures, consisting of self-attention and cross-attention, effectively learn long-range interactions between elements in a sequence. However, we observe that most existing transformer-based vision models simply borrow the idea from NLP, neglecting the crucial difference between languages and images, particularly the extremely large sequence length of spatially flattened pixel features. This subsequently impedes the learning in cross-attention between pixel features and object queries. In this paper, we rethink the relationship between pixels and object queries and propose to reformulate the cross-attention learning as a clustering process. Inspired by the traditional k-means clustering algorithm, we develop a k-means Mask Xformer (kMaX-DeepLab) for segmentation tasks, which not only improves the state-of-the-art, but also enjoys a simple and elegant design. As a result, our kMaX-DeepLab achieves a new state-of-the-art performance on COCO val set with 58.0% PQ, Cityscapes val set with 68.4% PQ, 44.0% AP, and 83.5% mIoU, and ADE20K val set with 50.9% PQ and 55.2% mIoU without test-time augmentation or external dataset. We hope our work can shed some light on designing transformers tailored for vision tasks. TensorFlow code and models are available at https://github.com/google-research/deeplab2 A PyTorch re-implementation is also available at https://github.com/bytedance/kmax-deeplab


title: Runtime Analysis for Permutation-based Evolutionary Algorithms

abstract: While the theoretical analysis of evolutionary algorithms (EAs) has made significant progress for pseudo-Boolean optimization problems in the last 25 years, only sporadic theoretical results exist on how EAs solve permutation-based problems. To overcome the lack of permutation-based benchmark problems, we propose a general way to transfer the classic pseudo-Boolean benchmarks into benchmarks defined on sets of permutations. We then conduct a rigorous runtime analysis of the permutation-based $(1+1)$ EA proposed by Scharnow, Tinnefeld, and Wegener (2004) on the analogues of the LeadingOnes and Jump benchmarks. The latter shows that, different from bit-strings, it is not only the Hamming distance that determines how difficult it is to mutate a permutation $\sigma$ into another one $\tau$, but also the precise cycle structure of $\sigma \tau^{-1}$. For this reason, we also regard the more symmetric scramble mutation operator. We observe that it not only leads to simpler proofs, but also reduces the runtime on jump functions with odd jump size by a factor of $\Theta(n)$. Finally, we show that a heavy-tailed version of the scramble operator, as in the bit-string case, leads to a speed-up of order $m^{\Theta(m)}$ on jump functions with jump size $m$. A short empirical analysis confirms these findings, but also reveals that small implementation details like the rate of void mutations can make an important difference.


title: Optimal Pattern synthesis of linear antenna array using Ant Hill Colonization Optimization algorithm(AHCOA)

abstract: The aim of this paper is to introduce AHCOA to the electromagnetic and antenna community. AHCOA is a new nature inspired meta heuristic algorithm inspired by how there is a hierarchy and departments in the ant hill colonization. It has high probabilistic potential in solving not only unconstrained but also constrained optimization problems. In this paper the AHCOA is applied to linear antenna array for better pattern synthesis in the following ways : By uniform excitation considering equal spacing of the antenna elements with respect to the uniform array. AHCOA is used in obtaining an array pattern to achieve minimum side lobe levels. The results are compared to other state of the art nature based algorithms such as ant lion optimizer, which show a considerable improvement in AHCOA.


title: A Framework Based on Generational and Environmental Response Strategies for Dynamic Multi-objective Optimization

abstract: Due to the dynamics and uncertainty of the dynamic multi-objective optimization problems (DMOPs), it is difficult for algorithms to find a satisfactory solution set before the next environmental change, especially for some complex environments. One reason may be that the information in the environmental static stage can not be used well in the traditional framework. In this paper, a novel framework based on generational and environmental response strategies (FGERS) is proposed, in which response strategies are run both in the environmental change stage and the environmental static stage to obtain population evolution information of those both stages. Unlike in the traditional framework, response strategies are only run in the environmental change stage. For simplicity, the feed-forward center point strategy was chosen to be the response strategy in the novel dynamic framework (FGERS-CPS). FGERS-CPS is not only to predict change trend of the optimum solution set in the environmental change stage, but to predict the evolution trend of the population after several generations in the environmental static stage. Together with the feed-forward center point strategy, a simple memory strategy and adaptive diversity maintenance strategy were used to form the complete FGERS-CPS. On 13 DMOPs with various characteristics, FGERS-CPS was compared with four classical response strategies in the traditional framework. Experimental results show that FGERS-CPS is effective for DMOPs.


title: Entanglement entropy and Page curve from the ${\cal M}$-theory dual of thermal QCD above $T_c$ at intermediate coupling

abstract: Obtaining the Page curve in the context of eternal black holes associated with top-down non-conformal holographic thermal duals at intermediate coupling, has been entirely unexplored in the literature. We fill this gap in the context of a doubly holographic setup relevant to the M-theory dual of thermal QCD-like theories at $T>T_c$ at intermediate coupling. Remarkably, excluding the higher derivative terms, the entanglement entropy(EE) of the Hawking radiation from the on-shell Wald EE (for appropriate choices of constants of integration appearing in the embeddings) increases almost linearly with the boundary time due to dominance of EE contribution from the Hartman-Maldacena(HM)-like surface $S_{EE}^{HM, \beta^0}, \beta\sim l_p^6$. Curiously, this imparts a "Swiss-Cheese" structure to the surface $S_{EE}^{HM, \beta^0}$ at a given time (less than the Page time $t_{P}$), in $\mathbb{R}_{\geq0} \times \mathbb{C}$ effecting what could be dubbed as a "Large N Scenario" (LNS). Then, after $t_{P}$, the EE contribution from the Island Surface (IS) $S_{EE}^{IS, \beta^0}$ dominates and saturates the linear time growth of the EE of Hawking radiation and leads to the Page curve. Requiring $S_{EE}^{IS, \beta^0}/S_{BH}\sim2$ up to LO in the non-conformal analog of "$c G_N^{(11)}/r_h^9$", and positivity of $t_{P}$, set respectively a lower and upper bound on the horizon radius $r_h$ (the non-extremality parameter). With the inclusion of the $O(R^4)$ terms in M theory, the turning point associated with the HM-like surface/IS being in the deep IR, results in a relationship between $l_p$ and $r_h$ along with a conjectural $e^{-{\cal O}(1) N^{1/3}}$-suppression (motivated by $S_{EE}^{IS, \beta^0}/S_{BH}\sim2$). We obtain a hierarchy with respect to this N-dependent exponential in $S_{EE}^{HM, \beta^0}, S_{EE}^{IS, \beta^0} (O(\beta^0))$ and $S_{EE}^{HM, \beta}, S_{EE}^{HM, \beta} (O(\beta))$.


title: Learning Causal Effects on Hypergraphs

abstract: Hypergraphs provide an effective abstraction for modeling multi-way group interactions among nodes, where each hyperedge can connect any number of nodes. Different from most existing studies which leverage statistical dependencies, we study hypergraphs from the perspective of causality. Specifically, in this paper, we focus on the problem of individual treatment effect (ITE) estimation on hypergraphs, aiming to estimate how much an intervention (e.g., wearing face covering) would causally affect an outcome (e.g., COVID-19 infection) of each individual node. Existing works on ITE estimation either assume that the outcome on one individual should not be influenced by the treatment assignments on other individuals (i.e., no interference), or assume the interference only exists between pairs of connected individuals in an ordinary graph. We argue that these assumptions can be unrealistic on real-world hypergraphs, where higher-order interference can affect the ultimate ITE estimations due to the presence of group interactions. In this work, we investigate high-order interference modeling, and propose a new causality learning framework powered by hypergraph neural networks. Extensive experiments on real-world hypergraphs verify the superiority of our framework over existing baselines.


title: Few-Example Clustering via Contrastive Learning

abstract: We propose Few-Example Clustering (FEC), a novel algorithm that performs contrastive learning to cluster few examples. Our method is composed of the following three steps: (1) generation of candidate cluster assignments, (2) contrastive learning for each cluster assignment, and (3) selection of the best candidate. Based on the hypothesis that the contrastive learner with the ground-truth cluster assignment is trained faster than the others, we choose the candidate with the smallest training loss in the early stage of learning in step (3). Extensive experiments on the \textit{mini}-ImageNet and CUB-200-2011 datasets show that FEC outperforms other baselines by about 3.2% on average under various scenarios. FEC also exhibits an interesting learning curve where clustering performance gradually increases and then sharply drops.


title: Nonlocal Harnack inequalities in the Heisenberg group

abstract: We deal with a wide class of nonlinear integro-differential problems in the Heisenberg-Weyl group $\mathbb{H}^n$, whose prototype is the Dirichlet problem for the $p$-fractional subLaplace equation. These problems arise in many different contexts in quantum mechanics, in ferromagnetic analysis, in phase transition problems, in image segmentations models, and so on, when non-Euclidean geometry frameworks and nonlocal long-range interactions do naturally occur. We prove general Harnack inequalities for the related weak solutions. Also, in the case when the growth exponent is $p=2$, we investigate the asymptotic behavior of the fractional subLaplacian operator, and the robustness of the aforementioned Harnack estimates as the differentiability exponent $s$ goes to $1$.


title: Robust optimal investment and risk control for an insurer with general insider information

abstract: In this paper, we study the robust optimal investment and risk control problem for an insurer who owns the insider information about the financial market and the insurance market under model uncertainty. Both financial risky asset process and insurance risk process are assumed to be very general jump diffusion processes. The insider information is of the most general form rather than the initial enlargement type. We use the theory of forward integrals to give the first half characterization of the robust optimal strategy and transform the anticipating stochastic differential game problem into the nonanticipative stochastic differential game problem. Then we adopt the stochastic maximum principle to obtain the total characterization of the robust strategy. We discuss the two typical situations when the insurer is `small' and `large' by Malliavin calculus. For the `small' insurer, we obtain the closed-form solution in the continuous case and the half closed-form solution in the case with jumps. For the `large' insurer, we reduce the problem to the quadratic backward stochastic differential equation (BSDE) and obtain the closed-form solution in the continuous case without model uncertainty. We discuss some impacts of the model uncertainty, insider information and the `large' insurer on the optimal strategy.


title: On the Need and Applicability of Causality for Fair Machine Learning

abstract: Besides its common use cases in epidemiology, political, and social sciences, causality turns out to be crucial in evaluating the fairness of automated decisions, both in a legal and everyday sense. We provide arguments and examples, of why causality is particularly important for fairness evaluation. In particular, we point out the social impact of non-causal predictions and the legal anti-discrimination process that relies on causal claims. We conclude with a discussion about the challenges and limitations of applying causality in practical scenarios as well as possible solutions.


title: Online Learning in Supply-Chain Games

abstract: We study a repeated game between a supplier and a retailer who want to maximize their respective profits without full knowledge of the problem parameters. After characterizing the uniqueness of the Stackelberg equilibrium of the stage game with complete information, we show that even with partial knowledge of the joint distribution of demand and production costs, natural learning dynamics guarantee convergence of the joint strategy profile of supplier and retailer to the Stackelberg equilibrium of the stage game. We also prove finite-time bounds on the supplier's regret and asymptotic bounds on the retailer's regret, where the specific rates depend on the type of knowledge preliminarily available to the players. In the special case when the supplier is not strategic (vertical integration), we prove optimal finite-time regret bounds on the retailer's regret (or, equivalently, the social welfare) when costs and demand are adversarially generated and the demand is censored.


title: Causal Discovery using Model Invariance through Knockoff Interventions

abstract: Cause-effect analysis is crucial to understand the underlying mechanism of a system. We propose to exploit model invariance through interventions on the predictors to infer causality in nonlinear multivariate systems of time series. We model nonlinear interactions in time series using DeepAR and then expose the model to different environments using Knockoffs-based interventions to test model invariance. Knockoff samples are pairwise exchangeable, in-distribution and statistically null variables generated without knowing the response. We test model invariance where we show that the distribution of the response residual does not change significantly upon interventions on non-causal predictors. We evaluate our method on real and synthetically generated time series. Overall our method outperforms other widely used causality methods, i.e, VAR Granger causality, VARLiNGAM and PCMCI+.


title: Large Scale Mask Optimization Via Convolutional Fourier Neural Operator and Litho-Guided Self Training

abstract: Machine learning techniques have been extensively studied for mask optimization problems, aiming at better mask printability, shorter turnaround time, better mask manufacturability, and so on. However, most of these researches are focusing on the initial solution generation of small design regions. To further realize the potential of machine learning techniques on mask optimization tasks, we present a Convolutional Fourier Neural Operator (CFNO) that can efficiently learn layout tile dependencies and hence promise stitch-less large-scale mask optimization with the limited intervention of legacy tools. We discover the possibility of litho-guided self-training (LGST) through a trained machine learning model when solving non-convex optimization problems, which allows iterative model and dataset update and brings significant model performance improvement. Experimental results show that, for the first time, our machine learning-based framework outperforms state-of-the-art academic numerical mask optimizers with an order of magnitude speedup.


title: Condensation and Evaporation of Boson Stars

abstract: Axion-like particles, including the QCD axion, are well-motivated dark matter candidates. Numerical simulations have revealed coherent soliton configurations, also known as boson stars, in the centers of axion halos. We study evolution of axion solitons immersed into a gas of axion waves with Maxwellian velocity distribution. Combining analytical approach with controlled numerical simulations we find that heavy solitons grow by condensation of axions from the gas, while light solitons evaporate. We deduce the parametric dependence of the soliton growth/evaporation rate and show that it is proportional to the rate of the kinetic relaxation in the gas. The proportionality coefficient is controlled by the product of the soliton radius and the typical gas momentum or, equivalently, the ratio of the gas and soliton virial temperatures. We discuss the asymptotics of the rate when this parameter is large or small.


title: Neutrino Flavor Conversion, Advection, and Collisions: Towards the Full Solution

abstract: At high densities in compact astrophysical sources, the coherent forward scattering of neutrinos onto each other is responsible for making the flavor evolution non-linear. Under the assumption of spherical symmetry, we present the first simulations tracking flavor transformation in the presence of neutrino-neutrino forward scattering, neutral and charged current collisions with the matter background, as well as neutrino advection. We find that, although flavor equipartition could be one of the solutions, it is not a generic outcome, as often postulated in the literature. Intriguingly, the strong interplay between flavor conversion, collisions, and advection leads to a spread of flavor conversion across the neutrino angular distributions and neighboring spatial regions. Our simulations show that slow and fast flavor transformation can occur simultaneously. In the light of this, looking for crossings in the electron neutrino lepton number as a diagnostic tool of the occurrence of flavor transformation in the high-density regime is a limiting method.


title: Tripling down on the $W$ boson mass

abstract: A new precision measurement of the $W$ boson mass has been announced by the CDF collaboration, which strongly deviates from the Standard Model prediction. In this article, we study the implications of this measurement on the parameter space of the $SU(2)_L$ triplet extension (with hypercharge $Y=1$) of the Standard Model Higgs sector, focusing on a limit where the new triplet is approximate $\mathbb{Z}_2$-odd while the SM is $\mathbb{Z}_2$-even. We study the compatibility of the triplet spectrum preferred by the $W$ boson mass measured by the CDF-II experiment with other electroweak precision observables and Higgs precision data. We comprehensively consider the signals of new Higgs states at the LHC and highlighted the promising search channels. In addition, we also investigate the cosmological implications of the case in which the lightest new Higgs particle is either late decaying or cosmologically stable.


title: Elliptical and Purely NS Superstrata

abstract: We analyze the BPS equations in the ``superstratum sector'' of three-dimensional gauged supergravity. We obtain multi-parameter supersymmetric solutions that include elliptical deformations of the supertubes that underlie standard superstrata. We uplift the three-dimensional solutions to obtain the corresponding six-dimensional geometries. This yields new families of elliptically-deformed, ambi-bolar hyper-K\"ahler geometries in four dimensions with a non-tri-holomorphic $U(1)$ isometry. We also find a new family of scaling superstrata whose S-dual lives entirely within the NS-sector of supergravity, and will thus be more amenable to exact analysis using string probes. In all these new superstrata, including the scaling ones, if the momentum charge is non-zero we find that the ellipse stays away from the degeneration locus in which the ellipse becomes flat.


title: New meromorphic CFTs from cosets

abstract: In recent years it has been understood that new rational CFTs can be discovered by applying the coset construction to meromorphic CFTs. Here we turn this approach around and show that the coset construction, together with the classification of meromorphic CFT with $c\leq 24$, can be used to predict the existence of new meromorphic CFTs with $c\geq 32$ whose Kac-Moody algebras are non-simply-laced and/or at levels greater than 1. This implies they are non-lattice theories. Using three-character coset relations, we propose 34 infinite series of meromorphic theories with arbitrarily large central charge, as well as 46 theories at $c=32$ and $c=40$.

categories: hep-th math-ph math.MP math.NT math.QA math.RT


title: Global view of neutrino interactions in cosmology: The freestreaming window as seen by Planck

abstract: Neutrinos are expected to freestream (i.e. not interact with anything) since they decouple in the early Universe at a temperature $T\sim 2~{\rm MeV}$. However, there are many relevant particle physics scenarios that can make neutrinos interact at $T< 2~{\rm MeV}$. In this work, we take a global perspective and aim to identify the temperature range in which neutrinos can interact given current cosmological observations. We consider a generic set of rates parametrizing neutrino interactions and by performing a full Planck cosmic microwave background (CMB) analysis we find that neutrinos cannot interact significantly for redshifts $2000 \lesssim z \lesssim 10^5$, which we refer to as the freestreaming window. We also derive a redshift dependent upper bound on a suitably defined interaction rate $\Gamma_\text{nfs}(z)$, finding $\Gamma_\text{nfs}(z)/H(z)\lesssim 1-10$ within the freestreaming window. We show that these results are largely model independent under some broad assumptions, and contextualize them in terms of neutrino decays, neutrino self-interactions, neutrino annihilations, and majoron models. We provide examples of how to use our model independent approach to obtain bounds in specific scenarios, and demonstrate agreement with existing results. We also investigate the reach of upcoming cosmological data finding that CMB Stage-IV experiments can improve the bound on $\Gamma_\text{nfs}(z)/H(z)$ by up to a factor $10$. Moreover, we comment on large-scale structure observations, finding that the ongoing DESI survey has the potential to probe uncharted regions of parameter space of interacting neutrinos. Finally, we point out a peculiar scenario that has so far not been considered, and for which relatively large interactions around recombination are still allowed by Planck data due to some degeneracy with $n_s$, $A_s$ and $H_0$. This scenario can be fully tested with CMB-S4.


title: Water UV-Shielding in the Terrestrial Planet-Forming Zone: Implications for Oxygen-18 Isotope Anomalies in H2-18O Infrared Emission and Meteorites

abstract: An understanding of the abundance and distribution of water vapor in the innermost region of protoplanetary disks is key to understanding the origin of habitable worlds and planetary systems. Past observations have shown H2O to be abundant and a major carrier of elemental oxygen in disk surface layers that lie within the inner few au of the disk. The combination of high abundance and strong radiative transitions leads to emission lines that are optically thick across the infrared spectral range. Its rarer isotopologue H2-18O traces deeper into this layer and will trace the full content of the planet forming zone. In this work, we explore the relative distribution of H2-16O and H2-18O within a model that includes water self-shielding from the destructive effects of ultraviolet radiation. In this Letter we show that there is an enhancement in the relative H2-18O abundance high up in the warm molecular layer within 0.1-10 au due to self-shielding of CO, C18O, and H2O. Most transitions of H2-18O that can be observed with JWST will partially emit from this layer, making it essential to take into account how H2O self-shielding may effect the H2O to H2-18O ratio. Additionally, this reservoir of H2-18O-enriched gas in combination with the vertical "cold finger" effect might provide a natural mechanism to account for oxygen isotopic anomalies found in meteoritic material in the solar system


title: Unveiling the hosts of parsec-scale massive black hole binaries: morphology and electromagnetic signatures

abstract: Parsec-scale massive black hole binaries (MBHBs) are expected to form in hierarchical models of structure formation. Even though different observational strategies have been designed to detect these systems, a theoretical study is a further guide for their search and identification. In this work, we investigate the hosts properties and the electromagnetic signatures of massive black holes gravitationally bound on parsec-scales with primary mass $\rm {>}\,10^7\,M_{\odot}$. For that, we construct a full-sky lightcone by the use of the semi-analytical model L-Galaxies in which physically motivated prescriptions for the formation and evolution of MBHBs have been included. Our predictions show that the large majority of the MBHBs are placed either in spiral galaxies with a classical bulge structure or in elliptical galaxies. Besides, the scaling relations followed by MBHBs are indistinguishable from the ones of single massive black holes. We find that the occupation fraction of parsec-scale MBHBs reaches up to ${\sim}\,50\%$ in galaxies with $\rm M_{stellar}\,{>}\,10^{11}\, M_{\odot}$ and drops below 10\% for $\rm M_{stellar}\,{<}\,10^{11}\, M_{\odot}$. Our model anticipates that the majority of parsec-scale MBHBs are unequal mass systems and lie at $z\,{\sim}\,0.5$, with ${\sim}\,20$ objects per $\rm deg^2$ in the sky. However, most of these systems are inactive, and only $1\,{-}\,0.1$ objects per $\rm deg^2$ have an electromagnetic counterpart with a bolometric luminosity in excess of $10^{43}$ erg/s. Very luminous phases of parsec-scale MBHBs are more common at $z\,{>}\,1$ but the number of binaries per $\rm deg^2$ is ${\lesssim}\,0.01$ at $\rm L_{\rm bol}\,{>}\,10^{45} \rm erg/s$.