title: Lensing power spectrum of the Cosmic Microwave Background with deep polarization experiments

abstract: Precise reconstruction of the cosmic microwave background lensing potential can be achieved with deep polarization surveys by iteratively removing lensing-induced $B$ modes. We introduce a lensing spectrum estimator and its likelihood for such optimal iterative reconstruction. Our modelling share similarities to the state-of-the-art likelihoods for quadratic estimator-based (QE) lensing reconstruction. In particular, we generalize the $N_L^{(0)}$ and $N_L^{(1)}$ lensing biases, and design a realization-dependent spectrum debiaser, making this estimator robust to uncertainties in the data modelling. We demonstrate unbiased recovery of the cosmology using map-based reconstructions, focussing on lensing-only cosmological constraints and neutrino mass measurement in combination with CMB spectra and acoustic oscillation data. We find this spectrum estimator is essentially optimal and with a diagonal covariance matrix. For a CMB-S4 survey, this likelihood can double the constraints on the lensing amplitude compared to the QE on a wide range of scales, while at the same time keeping numerical cost under control and being robust to errors.


title: Dissipative quantum dynamics, phase transitions and non-Hermitian random matrices

abstract: We explore the connections between dissipative quantum phase transitions and non-Hermitian random matrix theory. For this, we work in the framework of the dissipative Dicke model which is archetypal of symmetry-breaking phase transitions in open quantum systems. We establish that the Liouvillian describing the quantum dynamics exhibits distinct spectral features of integrable and chaotic character on the two sides of the critical point. We follow the distribution of the spacings of the complex Liouvillian eigenvalues across the critical point. In the normal and superradiant phases, the distributions are $2D$ Poisson and that of the Ginibre Unitary random matrix ensemble, respectively. Our results are corroborated by computing a recently introduced complex-plane generalization of the consecutive level-spacing ratio distribution. Our approach can be readily adapted for classifying the nature of quantum dynamics across dissipative critical points in other open quantum systems.


title: How to search for Mirror Stars with Gaia

abstract: We show for the first time how to conduct a direct search for dark matter using Gaia observations. Its public astrometric data may contain the signals of mirror stars, exotic compact objects made of atomic dark matter with a tiny kinetic mixing between the dark and SM photon. Mirror stars capture small amounts of interstellar material in their cores, leading to characteristic optical/IR and X-ray emissions. We develop the detailed pipeline for conducting a mirror star search using data from Gaia and other stellar catalogues, and demonstrate our methodology by conducting a search for toy mirror stars with a simplified calculation of their optical/IR emissions over a wide range of mirror star and hidden sector parameters. We also obtain projected exclusion bounds on the abundance and properties of mirror stars if no candidates are found, demonstrating that Gaia is a new and uniquely powerful probe of atomic dark matter. Our study provides the blueprint for a realistic mirror star search that includes a more complete treatment of the captured interstellar gas in the future.


title: The role of neutral hydrogen in setting the abundances of molecular species in the Milky Way's diffuse interstellar medium. II. Comparison between observations and theoretical models

abstract: We compare observations of HI from the Very Large Array (VLA) and the Arecibo Observatory and observations of HCO$^+$ from the Atacama Large Millimeter/submillimeter Array (ALMA) and the Northern Extended Millimeter Array (NOEMA) in the diffuse ($A_V\lesssim1$) interstellar medium (ISM) to predictions from a photodissociation region (PDR) chemical model and multi-phase ISM simulations. Using a coarse grid of PDR models, we estimate the density, FUV radiation field, and cosmic ray ionization rate (CRIR) for each structure identified in HCO$^+$ and HI absorption. These structures fall into two categories. Structures with $T_s<40~\mathrm{K}$, mostly with $N(\mathrm{HCO^+})\lesssim10^{12}~\mathrm{cm^{-2}}$, are consistent with modest density, FUV radiation field, and CRIR models, typical of the diffuse molecular ISM. Structures with spin temperature $T_s>40~\mathrm{K}$, mostly with $N(\mathrm{HCO^+})\gtrsim10^{12}~\mathrm{cm^{-2}}$, are consistent with high density, FUV radiation field, and CRIR models, characteristic of environments close to massive star formation. The latter are also found in directions with a significant fraction of thermally unstable HI. In at least one case, we rule out the PDR model parameters, suggesting that alternative mechanisms (e.g., non-equilibrium processes like turbulent dissipation and/or shocks) are required to explain the observed HCO$^+$ in this direction. Similarly, while our observations and simulations of the turbulent, multi-phase ISM agree that HCO$^+$ formation occurs along sightlines with $N(\mathrm{HI})\gtrsim10^{21}~\mathrm{cm^{-2}}$, the simulated data fail to explain HCO$^+$ column densities $\gtrsim\rm{few}\times10^{12}~\mathrm{cm^{-2}}$. Since a majority of our sightlines with HCO$^+$ had such high column densities, this likely indicates that non-equilibrium chemistry is important for these lines of sight.


title: The Importance of Being Interpretable: Toward An Understandable Machine Learning Encoder for Galaxy Cluster Cosmology

abstract: We present a deep machine learning (ML) approach to constraining cosmological parameters with multi-wavelength observations of galaxy clusters. The ML approach has two components: an encoder that builds a compressed representation of each galaxy cluster and a flexible CNN to estimate the cosmological model from a cluster sample. It is trained and tested on simulated cluster catalogs built from the Magneticum simulations. From the simulated catalogs, the ML method estimates the amplitude of matter fluctuations, sigma_8, at approximately the expected theoretical limit. More importantly, the deep ML approach can be interpreted. We lay out three schemes for interpreting the ML technique: a leave-one-out method for assessing cluster importance, an average saliency for evaluating feature importance, and correlations in the terse layer for understanding whether an ML technique can be safely applied to observational data. These interpretation schemes led to the discovery of a previously unknown self-calibration mode for flux- and volume-limited cluster surveys. We describe this new mode, which uses the amplitude and peak of the cluster mass PDF as anchors for mass calibration. We introduce the term "overspecialized" to describe a common pitfall in astronomical applications of machine learning in which the ML method learns simulation-specific details, and we show how a carefully constructed architecture can be used to check for this source of systematic error.


title: Random-strain-induced correlations in materials with intertwined nematic and magnetic orders

abstract: Electronic nematicity is rarely observed as an isolated instability of a correlated electron system. Instead, in iron pnictides and in certain cuprates and heavy-fermion materials, nematicity is intertwined with an underlying spin-stripe or charge-stripe state. As a result, random strain, ubiquitous in any real crystal, creates both random-field disorder for the nematic degrees of freedom and random-bond disorder for the spin or charge ones. Here, we put forward an Ashkin-Teller model with random Baxter fields to capture the dual role of random strain in nematic systems for which nematicity is a composite order arising from a stripe state. Using Monte Carlo to simulate this $\textit{random Baxter-field model}$, we find not only the expected break-up of the system into nematic domains, but also the emergence of nontrivial disorder-promoted magnetic correlations. Such correlations enhance and tie up the fluctuations associated with the two degenerate magnetic stripe states from which nematicity arises, leaving characteristic signatures in the spatial profile of the magnetic domains, in the configurational space of the spin variables, and in the magnetic noise spectrum. We discuss possible experimental manifestations of these effects in iron-pnictide superconductors. Our work establishes the random Baxter-field model as a more complete alternative to the random-field Ising model to describe complex electronic nematic phenomena in the presence of disorder.


title: Magic Zeroes and Hidden Symmetries

abstract: Selection rules arising from accidental or broken symmetries may be sufficiently obscure that their agency is hidden, leading to the appearance of "magic zeroes" -- quantities that are suppressed without apparent recourse to a symmetry explanation. Magic zeroes and their corresponding hidden symmetries may shed new light on parametric hierarchies in the Standard Model and beyond. We identify the hidden symmetry responsible for a recently-discovered magic zero, the vanishing of the putative leading contribution to the anomalous dipole moments of the muon upon integrating out weak doublet and singlet vector-like fermions. Some of the tools involved -- spurion analysis leveraging discrete symmetries of the free theory, field redefinitions, spectator fields, and non-supersymmetric non-renormalization theorems -- may prove useful in the hunt for new magic zeroes and their hidden symmetries.


title: Quadratic curvature corrections to stringy effective actions and the absence of de Sitter vacua

abstract: We investigate the combined effect of fluxes and higher-order curvature corrections, in the form of the Gauss-Bonnet term, on the existence of de Sitter vacua in a heterotic string inspired framework, compactified on spheres and tori. We first gain some intuition on the effects of these corrections by studying a perturbative expansion in the small Gauss-Bonnet coupling. Then, for choices of potential closer to the string theory predictions, we show that the inclusion of quadratic curvature corrections actually reduces the parametric likelihood of de Sitter solutions.


title: Theory for Anomalous Terahertz Emission in Striped Cuprate Superconductors

abstract: Recent experiments in the doped cuprates La$_{2-x}$Ba$_x$CuO$_4$ have revealed the emission of anomalous terahertz radiation after impulsive optical excitation. Here, we theoretically investigate the nonlinear electrodynamics of such striped superconductors and explore the origin of the observed radiation. We argue that photoexcitation is converted into a photocurrent by a second-order optical nonlinearity, which is activated by the breaking of inversion symmetry in certain stripe configurations. We point out the importance of including Umklapp photocurrents modulated at the stripe periodicity itself, which impulsively drive surface Josephson plasmons and lead to a resonant structure of outgoing radiation, consistent with the experiments. We speculate on the utility of the proposed mechanism in the context of generating tunable terahertz radiation.


title: Predicting the water content of interstellar objects from galactic star formation histories

abstract: Planetesimals inevitably bear the signatures of their natal environment, preserving in their composition a record of the metallicity of their system's original gas and dust, albeit one altered by the formation process. When planetesimals are dispersed from their system of origin, this record is carried with them. As each star is likely to contribute at least $10^{12}$ interstellar objects, the Galaxy's drifting population of interstellar objects (ISOs) provides an overview of the properties of its stellar population through time. Using the EAGLE cosmological simulation and models of protoplanetary formation, our modelling predicts an ISO population with a bimodal distribution in their water mass fraction. Objects formed in low-metallicity, typically older, systems have a higher water fraction than their counterparts formed in high-metallicity protoplanetary disks, and these water-rich objects comprise the majority of the population. Both detected ISOs seem to belong to the lower water fraction population; these results suggest they come from recently formed systems. We show that the population of ISOs in galaxies with different star formation histories will have different proportions of objects with high and low water fractions. This work suggests that it is possible that the upcoming Vera C. Rubin Observatory Legacy Survey of Space and Time will detect a large enough population of ISOs to place useful constraints on models of protoplanetary disks, as well as galactic structure and evolution.


title: Axion cloud evaporation during inspiral of black hole binaries -- the effects of backreaction and radiation

abstract: Ultralight scalar fields such as axions can form clouds around rotating black holes (BHs) by the superradiant instability. It is important to consider the evolution of clouds associated with BH binaries for the detectability of the presence of clouds through gravitational wave signals and observations of the mass and spin parameters of BHs. We re-examine the impact on the axion cloud due to the tidal perturbation from the companion in a binary system taking into account the following points. First, we study the influence of higher-multipole moments. Second, we consider the backreaction due to the angular momentum transfer between the cloud and the orbital motion. This angular momentum transfer further causes the backreaction to the hyperfine split through the change in geometry. Finally, we calculate the particle number flux to the infinity induced by the tidal interaction. As a result, we found that the scalar field is not reabsorbed by the BH. Instead, the scalar particles are radiated away to evaporate during the inspiral, irrespectively of the direction of the orbital motion, for almost equal mass binaries.


title: The Complexity of the Cetus Stream Unveiled from the Fusion of STREAMFINDER and StarGO

abstract: We combine the power of two stream-searching tools, STREAMFINDER and StarGO applied to the Gaia EDR3 data, to detect stellar debris belonging to the Cetus stream system that forms a complex, nearly polar structure around the Milky Way. In this work, we find the southern extensions of the northern Cetus stream as the Palca stream and a new southern stream, which overlap on the sky but have different distances. These two stream wraps extend over more than $\sim100\deg$ on the sky ($-60\deg<\delta<+40\deg$). The current N-body model of the system reproduces both wraps in the trailing arm. We also show that the Cetus system is confidently associated with the Triangulum/Pisces, Willka Yaku, and the recently discovered C-20 streams. The association with the ATLAS-Aliqa Uma stream is much weaker. All of these stellar debris are very metal-poor, comparable to the average metallicity of the southern Cetus stream with [Fe/H] = $-2.17\pm0.2$. The estimated stellar mass of the Cetus progenitor is at least $10^{5.6}\rm\,M_\odot$, compatible with Ursa Minor or Draco dwarf galaxies. The associated globular cluster with similar stellar mass, NGC 5824 very possibly was accreted in the same group infall. The multi-wrap Cetus stream is a perfect example of a dwarf galaxy that has undergone several periods of stripping, leaving behind debris at multiple locations in the halo. The full characterization of such systems is crucial to unravel the assembly history of the Milky Way and, as importantly, to provide nearby fossils to study ancient low-mass dwarf galaxies.


title: Enumeration of three-quadrant walks via invariants: some diagonally symmetric models

abstract: In the past 20 years, the enumeration of plane lattice walks confined to a convex cone -- normalized into the first quadrant -- has received a lot of attention, stimulated the development of several original approaches, and led to a rich collection of results. Most of them deal with the nature of the associated generating function: for which models is it algebraic, D-finite, D-algebraic? By model, what we mean is a finite collection of allowed steps. More recently, similar questions have been raised for non-convex cones, typically the three-quadrant cone $C = \{ (i,j) : i \geq 0 \text{ or } j \geq 0 \}$. They turn out to be more difficult than their quadrant counterparts. In this paper, we investigate a collection of eight models in $C$. This collection consists of diagonally symmetric models in $\{-1, 0,1\}^2\setminus\{(-1,1), (1,-1)\}$. Three of them are known not to be D-algebraic. We show that the remaining five can be solved in a uniform fashion using Tutte's notion of \emph{invariants}, which has already proved useful for some quadrant models. Three models are found to be algebraic, one is (only) D-finite, and the last one is (only) D-algebraic. We also solve in the same fashion the diagonal model $\{ \nearrow, \nwarrow, \swarrow, \searrow\}$, which is D-finite. The three algebraic models are those of the Kreweras trilogy, $S=\{\nearrow, \leftarrow, \downarrow\}$, $S'=\{\rightarrow, \uparrow, \swarrow\}$, and $S\cup S'$. Our solutions take similar forms for all six models. Roughly speaking, the square of the generating function of three-quadrant walks with steps in $S$ is an explicit rational function in the quadrant generating function with steps in $\{(j-i,j): (i,j) \in S\}$. We derive various corollaries, including an explicit algebraic description of the positive harmonic function in $C$ for the five models that are at least D-finite.


title: Theory of and Experiments on Minimally Invasive Stability Preservation in Changing Two-Sided Matching Markets

abstract: Following up on purely theoretical work of Bredereck et al. [AAAI 2020], we contribute further theoretical insights into adapting stable two-sided matchings to change. Moreover, we perform extensive empirical studies hinting at numerous practically useful properties. Our theoretical extensions include the study of new problems (that is, incremental variants of Almost Stable Marriage and Hospital Residents), focusing on their (parameterized) computational complexity and the equivalence of various change types (thus simplifying algorithmic and complexity-theoretic studies for various natural change scenarios). Our experimental findings reveal, for instance, that allowing the new matching to be blocked by a few pairs significantly decreases the necessary differences between the old and the new stable matching.


title: Assembling Inorganic Nanocrystal Gels

abstract: Inorganic nanocrystal gels retain distinct properties of individual nanocrystals while offering tunable, network structure-dependent characteristics. We review different mechanisms for assembling gels from colloidal nanocrystals including (1) controlled destabilization, (2) direct bridging, (3) depletion, as well as linking mediated by (4) coordination bonding or (5) dynamic covalent bonding, and we highlight how each impacts gel properties. These approaches use nanocrystal surface chemistry or the addition of small molecules to mediate inter-nanocrystal attractions. Each method offers advantages in terms of gel stability, reversibility, or tunability and presents new opportunities for design of reconfigurable materials and fueled assemblies.


title: Quantum Architecture Search via Continual Reinforcement Learning

abstract: Quantum computing has promised significant improvement in solving difficult computational tasks over classical computers. Designing quantum circuits for practical use, however, is not a trivial objective and requires expert-level knowledge. To aid this endeavor, this paper proposes a machine learning-based method to construct quantum circuit architectures. Previous works have demonstrated that classical deep reinforcement learning (DRL) algorithms can successfully construct quantum circuit architectures without encoded physics knowledge. However, these DRL-based works are not generalizable to settings with changing device noises, thus requiring considerable amounts of training resources to keep the RL models up-to-date. With this in mind, we incorporated continual learning to enhance the performance of our algorithm. In this paper, we present the Probabilistic Policy Reuse with deep Q-learning (PPR-DQL) framework to tackle this circuit design challenge. By conducting numerical simulations over various noise patterns, we demonstrate that the RL agent with PPR was able to find the quantum gate sequence to generate the two-qubit Bell state faster than the agent that was trained from scratch. The proposed framework is general and can be applied to other quantum gate synthesis or control problems -- including the automatic calibration of quantum devices.


title: A Scoping Review of Publicly Available Language Tasks in Clinical Natural Language Processing

abstract: Objective: to provide a scoping review of papers on clinical natural language processing (NLP) tasks that use publicly available electronic health record data from a cohort of patients. Materials and Methods: We searched six databases, including biomedical research and computer science literature database. A round of title/abstract screening and full-text screening were conducted by two reviewers. Our method followed the Preferred Reporting Items for Systematic Reviews and Meta-Analysis (PRISMA) guidelines. Results: A total of 35 papers with 47 clinical NLP tasks met inclusion criteria between 2007 and 2021. We categorized the tasks by the type of NLP problems, including name entity recognition, summarization, and other NLP tasks. Some tasks were introduced with a topic of clinical decision support applications, such as substance abuse, phenotyping, cohort selection for clinical trial. We summarized the tasks by publication and dataset information. Discussion: The breadth of clinical NLP tasks keeps growing as the field of NLP evolves with advancements in language systems. However, gaps exist in divergent interests between general domain NLP community and clinical informatics community, and in generalizability of the data sources. We also identified issues in data selection and preparation including the lack of time-sensitive data, and invalidity of problem size and evaluation. Conclusions: The existing clinical NLP tasks cover a wide range of topics and the field will continue to grow and attract more attention from both general domain NLP and clinical informatics community. We encourage future work to incorporate multi-disciplinary collaboration, reporting transparency, and standardization in data preparation.


title: A web basis of invariant polynomials from noncrossing partitions

abstract: The irreducible representations of symmetric groups can be realized as certain graded pieces of invariant rings, equivalently as global sections of line bundles on partial flag varieties. There are various ways to choose useful bases of such Specht modules $S^\lambda$. Particularly powerful are web bases, which make important connections with cluster algebras and quantum link invariants. Unfortunately, web bases are only known in very special cases -- essentially, only the cases $\lambda=(d,d)$ and $\lambda=(d,d,d)$. Building on work of B. Rhoades (2017), we construct an apparent web basis of invariant polynomials for the $2$-parameter family of Specht modules with $\lambda$ of the form $(d,d,1^\ell)$. The planar diagrams that appear are noncrossing set partitions, and we thereby obtain geometric interpretations of earlier enumerative results in combinatorial dynamics.


title: Dynamical clustering of U.S. states reveals four distinct infection patterns that predict SARS-CoV-2 pandemic behavior

abstract: The SARS-CoV-2 pandemic has so far unfolded diversely across the fifty United States of America, reflected both in different time progressions of infection "waves" and in magnitudes of local infection rates. Despite a marked diversity of presentations, most U.S. states experienced their single greatest surge in daily new cases during the transition from Fall 2020 to Winter 2021. Popular media also cite additional similarities between states -- often despite disparities in governmental policies, reported mask-wearing compliance rates, and vaccination percentages. Here, we identify a set of robust, low-dimensional clusters that 1) summarize the timings and relative heights of four historical COVID-19 "wave opportunities" accessible to all 50 U.S. states, 2) correlate with geographical and intervention patterns associated with those groups of states they encompass, and 3) predict aspects of the "fifth wave" of new infections in the late Summer of 2021. In particular, we argue that clustering elucidates a negative relationship between vaccination rates and subsequent case-load variabilities within state groups. We advance the hypothesis that vaccination acts as a ``seat belt," in effect constraining the likely range of new-case upticks, even in the context of the Summer 2021, variant-driven surge.


title: The Hierarchical Organization of Syntax

abstract: Hierarchies are the hidden backbones of complex systems and their analysis allows for a deeper understanding of their structure and how they evolve. We consider languages also to be complex adaptive systems with several intricate networks that capture their structure and function. Hence, we decided to analyze the hierarchical organization of historical syntactic networks to understand how syntax evolves over time. We created these networks from a corpus of German texts from the 11th to 17th centuries, focusing on the hierarchical levels of these networks. diachronically and to map them to specific communicative needs of speakers. We developed a framework to empirically track the emergence of syntactic structures diachronically, enabling us to map the communicative needs of speakers with these structures. We named these syntactic structures "syntactic communicative hierarchies." We showed that the communicative needs of speakers are the organizational force of syntax. Thus, we argue that the emergence of syntactic communicative hierarchies plays a crucial role in shaping syntax over time. This may indicate that languages evolve not only to increase the efficiency of transferring information, but also to increase our capacity, as a species, to communicate our needs with more and more sophisticated abstractions.


title: The Resolution of Ambiguities in Light Perturbation by Gravitational Waves

abstract: Some previously published expressions for the perturbation of light by gravitational waves exhibit pathological behaviour in the limit of parallel propagation. We show that this is caused by similarly pathological initial or boundary data and can thus be remedied by implementing better-behaved initial conditions.


title: TempoQR: Temporal Question Reasoning over Knowledge Graphs

abstract: Knowledge Graph Question Answering (KGQA) involves retrieving facts from a Knowledge Graph (KG) using natural language queries. A KG is a curated set of facts consisting of entities linked by relations. Certain facts include also temporal information forming a Temporal KG (TKG). Although many natural questions involve explicit or implicit time constraints, question answering (QA) over TKGs has been a relatively unexplored area. Existing solutions are mainly designed for simple temporal questions that can be answered directly by a single TKG fact. This paper puts forth a comprehensive embedding-based framework for answering complex questions over TKGs. Our method termed temporal question reasoning (TempoQR) exploits TKG embeddings to ground the question to the specific entities and time scope it refers to. It does so by augmenting the question embeddings with context, entity and time-aware information by employing three specialized modules. The first computes a textual representation of a given question, the second combines it with the entity embeddings for entities involved in the question, and the third generates question-specific time embeddings. Finally, a transformer-based encoder learns to fuse the generated temporal information with the question representation, which is used for answer predictions. Extensive experiments show that TempoQR improves accuracy by 25--45 percentage points on complex temporal questions over state-of-the-art approaches and it generalizes better to unseen question types.


title: Guided Generative Models using Weak Supervision for Detecting Object Spatial Arrangement in Overhead Images

abstract: The increasing availability and accessibility of numerous overhead images allows us to estimate and assess the spatial arrangement of groups of geospatial target objects, which can benefit many applications, such as traffic monitoring and agricultural monitoring. Spatial arrangement estimation is the process of identifying the areas which contain the desired objects in overhead images. Traditional supervised object detection approaches can estimate accurate spatial arrangement but require large amounts of bounding box annotations. Recent semi-supervised clustering approaches can reduce manual labeling but still require annotations for all object categories in the image. This paper presents the target-guided generative model (TGGM), under the Variational Auto-encoder (VAE) framework, which uses Gaussian Mixture Models (GMM) to estimate the distributions of both hidden and decoder variables in VAE. Modeling both hidden and decoder variables by GMM reduces the required manual annotations significantly for spatial arrangement estimation. Unlike existing approaches that the training process can only update the GMM as a whole in the optimization iterations (e.g., a "minibatch"), TGGM allows the update of individual GMM components separately in the same optimization iteration. Optimizing GMM components separately allows TGGM to exploit the semantic relationships in spatial data and requires only a few labels to initiate and guide the generative process. Our experiments shows that TGGM achieves results comparable to the state-of-the-art semi-supervised methods and outperforms unsupervised methods by 10% based on the $F_{1}$ scores, while requiring significantly fewer labeled data.


title: Representation Learning for Conversational Data using Discourse Mutual Information Maximization

abstract: Although many pretrained models exist for text or images, there have been relatively fewer attempts to train representations specifically for dialog understanding. Prior works usually relied on finetuned representations based on generic text representation models like BERT or GPT-2. But such language modeling pretraining objectives do not take the structural information of conversational text into consideration. Although generative dialog models can learn structural features too, we argue that the structure-unaware word-by-word generation is not suitable for effective conversation modeling. We empirically demonstrate that such representations do not perform consistently across various dialog understanding tasks. Hence, we propose a structure-aware Mutual Information based loss-function DMI (Discourse Mutual Information) for training dialog-representation models, that additionally captures the inherent uncertainty in response prediction. Extensive evaluation on nine diverse dialog modeling tasks shows that our proposed DMI-based models outperform strong baselines by significant margins.


title: Time in quantum cosmology

abstract: Time in quantum gravity is not a well-defined notion, despite its central role in the very definition of dynamics. Using the formalism of quantum geometrodynamics, we shortly review the problem and illustrate it with two proposed solutions. Our main application is quantum cosmology -- the application of quantum gravity to the Universe as a whole.


title: Interaction of Anisotropic Dark Energy with Generalized Hybrid Expansion Law

abstract: Interaction of dark energy in the anisotropic Locally Rotationally Symmetric (LRS) Bianchi type-I metric is investigated in the context of modified f(R,T) theory of gravity, where R is the Ricci scalar and T is the trace of stress energy momentum tensor. We choose the particular form of the functional f(R,T)=f_1 (R,T)+f_2 (R,T) then we find the exact solutions of the field equations by applying inhomogeneous equation of state, p= {\omega}\r{ho}-{\Lambda}(t) and a generalized form of hybrid expansion law. Transition of deceleration to acceleration is observed in this model. It is also observed that the Universe shows accelerated expansion at late epoch. The derived model overlaps with {\Lambda}CDM at late time which is in agreement with present observation. Energy conditions of the derived model are also investigated. From the plot, we observe the age of Universe t_0=13.821 Gyr for the observed H_0=70.07Kms^(-1) Mpc^(-1). The physical and geometrical behaviours of these models are also discussed.


title: Group classification of the two-dimensional Green-Naghdi equations with a time dependent bottom topography

abstract: The two-dimensional Green-Naghdi equations with uneven bottom topography are studied in this paper. The function defining the bottom topography can be dependent on time. Group classification of these equations with respect to the function describing the topography of the bottom is performed in the paper. The algebraic approach used for the analysis of the classifying equations.


title: Meromorphic Continuation of Weighted Zeta Functions on Open Hyperbolic Systems

abstract: In this article we prove meromorphic continuation of weighted zeta functions in the framework of open hyperbolic systems by using the meromorphically continued restricted resolvent of Dyatlov and Guillarmou (2016). We obtain a residue formula proving equality between residues of weighted zetas and invariant Ruelle distributions. We combine this equality with results of Guillarmou, Hilgert and Weich (2021) in order to relate the residues to Patterson-Sullivan distributions. Finally we provide proof-of-principle results concerning the numerical calculation of invariant Ruelle distributions for 3-disc scattering systems.


title: Digital Twin of Electrical Tomography for Quantitative Multiphase Flow Imaging

abstract: We report a digital twin (DT) framework of electrical tomography (ET) to address the challenge of real-time quantitative multiphase flow imaging based on non-invasive and non-radioactive technologies. Multiphase flow is ubiquitous in nature, industry, and research. Accurate flow imaging is the key to understanding this complex phenomenon. Existing non-radioactive multiphase flow imaging methods based on electrical tomography are limited to providing qualitative images. The proposed DT framework, building upon a synergistic integration of 3D field coupling simulation, model-based deep learning, and edge computing, allows ET to dynamically learn the flow features in the virtual space and implement the model in the physical system, thus providing unprecedented resolution and accuracy. The DT framework is demonstrated on gas-liquid two-phase flow and electrical capacitance tomography (ECT). It can be readily extended to various tomography modalities, scenarios, and scales in biomedical, energy, and aerospace applications as an effective alternative to radioactive solutions for precise flow visualization and characterization.


title: The 3D Motorcycle Complex for Structured Volume Decomposition

abstract: The so-called motorcycle graph has been employed in recent years for various purposes in the context of structured and aligned block decomposition of 2D shapes and 2-manifold surfaces. Applications are in the fields of surface parametrization, spline space construction, semi-structured quad mesh generation, or geometry data compression. We describe a generalization of this motorcycle graph concept to the three-dimensional volumetric setting. Through careful extensions aware of topological intricacies of this higher-dimensional setting, we are able to guarantee important block decomposition properties also in this case. We describe algorithms for the construction of this 3D motorcycle complex on the basis of either hexahedral meshes or seamless volumetric parametrizations. Its utility is illustrated on examples in hexahedral mesh generation and volumetric T-spline construction.


title: A Label Correction Algorithm Using Prior Information for Automatic and Accurate Geospatial Object Recognition

abstract: Thousands of scanned historical topographic maps contain valuable information covering long periods of time, such as how the hydrography of a region has changed over time. Efficiently unlocking the information in these maps requires training a geospatial objects recognition system, which needs a large amount of annotated data. Overlapping geo-referenced external vector data with topographic maps according to their coordinates can annotate the desired objects' locations in the maps automatically. However, directly overlapping the two datasets causes misaligned and false annotations because the publication years and coordinate projection systems of topographic maps are different from the external vector data. We propose a label correction algorithm, which leverages the color information of maps and the prior shape information of the external vector data to reduce misaligned and false annotations. The experiments show that the precision of annotations from the proposed algorithm is 10% higher than the annotations from a state-of-the-art algorithm. Consequently, recognition results using the proposed algorithm's annotations achieve 9% higher correctness than using the annotations from the state-of-the-art algorithm.


title: Optimisation of Scalable Ion-Cavity Interfaces for Quantum Photonic Networks

abstract: In the design optimisation of ion-cavity interfaces for quantum networking applications, difficulties occur due to the many competing figures of merit and highly interdependent design constraints, many of which present `soft-limits', amenable to improvement at the cost of engineering time. In this work we present a systematic approach to this problem which offers a means to identify efficient and robust operating regimes, and to elucidate the trade-offs involved in the design process, allowing engineering efforts to be focused on the most sensitive and critical parameters. We show that in many relevant cases it is possible to approximately separate the geometric aspects of the cooperativity from those associated with the atomic system and the mirror surfaces themselves, greatly simplifying the optimisation procedure. Although our approach to optimisation can be applied to most operating regimes, here we consider cavities suitable for typical ion trapping experiments, and with substantial transverse misalignment of the mirrors. We find that cavities with mirror misalignments of many micrometres can still offer very high photon extraction efficiencies, offering an appealing route to the scalable production of ion-cavity interfaces for large scale quantum networks.


title: Thermodynamic constraints on the nonequilibrium response of one-dimensional diffusions

abstract: We analyze the static response to perturbations of nonequilibrium steady states that can be modeled as one-dimensional diffusions on the circle. We demonstrate that an arbitrary perturbation can be broken up into a combination of three specific classes of perturbations that can be fruitfully addressed individually. For each class, we derive a simple formula that quantitatively characterizes the response in terms of the strength of nonequilibrium driving valid arbitrarily far from equilibrium.


title: Linear and nonlinear excitation of TAE modes by external electromagnetic perturbations using ORB5

abstract: The excitation of toroidicity induced Alfv{\'e}n eigenmodes (TAEs) using prescribed external electromagnetic perturbations (hereafter ``antenna") acting on a confined toroidal plasma as well as its nonlinear couplings to other modes in the system is studied. The antenna is described by an electrostatic potential resembling the target TAE mode structure along with its corresponding parallel electromagnetic potential computed from Ohm's law. Numerically stable long-time linear simulations are achieved by integrating the antenna within the framework of a mixed representation and pullback scheme [A. Mishchenko, et al., Comput. Phys. Commun. \textbf{238} (2019) 194]. By decomposing the plasma electromagnetic potential into symplectic and Hamiltonian parts and using Ohm's law, the destabilizing contribution of the potential gradient parallel to the magnetic field is canceled in the equations of motion. Besides evaluating the frequencies as well as growth/damping rates of excited modes compared to referenced TAEs, we study the interaction of antenna-driven modes with fast particles and indicate their margins of instability. Furthermore, we show first nonlinear simulations in the presence of a TAE-like antenna exciting other TAE modes, as well as Global Alfv\'en Eigenmodes (GAE) having different toroidal wave numbers from that of the antenna.


title: MTLTS: A Multi-Task Framework To Obtain Trustworthy Summaries From Crisis-Related Microblogs

abstract: Occurrences of catastrophes such as natural or man-made disasters trigger the spread of rumours over social media at a rapid pace. Presenting a trustworthy and summarized account of the unfolding event in near real-time to the consumers of such potentially unreliable information thus becomes an important task. In this work, we propose MTLTS, the first end-to-end solution for the task that jointly determines the credibility and summary-worthiness of tweets. Our credibility verifier is designed to recursively learn the structural properties of a Twitter conversation cascade, along with the stances of replies towards the source tweet. We then take a hierarchical multi-task learning approach, where the verifier is trained at a lower layer, and the summarizer is trained at a deeper layer where it utilizes the verifier predictions to determine the salience of a tweet. Different from existing disaster-specific summarizers, we model tweet summarization as a supervised task. Such an approach can automatically learn summary-worthy features, and can therefore generalize well across domains. When trained on the PHEME dataset [29], not only do we outperform the strongest baselines for the auxiliary task of verification/rumour detection, we also achieve 21 - 35% gains in the verified ratio of summary tweets, and 16 - 20% gains in ROUGE1-F1 scores over the existing state-of-the-art solutions for the primary task of trustworthy summarization.


title: Constant rank factorizations of smooth maps

abstract: Sonar systems are frequently used to classify objects at a distance by using the structure of the echoes of acoustic waves as a proxy for the object's shape and composition. Traditional synthetic aperture processing is highly effective in solving classification problems when the conditions are favorable but relies on accurate knowledge of the sensor's trajectory relative to the object being measured. This article provides several new theoretical tools that decouple object classification performance from trajectory estimation in synthetic aperture sonar processing. The key insight is that decoupling the trajectory from classification-relevant information involves factoring a function into the composition of two functions. The article presents several new general topological invariants for smooth functions based upon their factorizations over function composition. These invariants specialize to the case when a sonar platform trajectory is deformed by a non-small perturbation. The mathematical results exhibited in this article apply well beyond sonar classification problems. This article is written in a way that supports full mathematical generality.


title: Symmetries of the nucleon-nucleon $S$-matrix and effective field theory expansions

abstract: The s-wave nucleon-nucleon (NN) scattering matrix ($S$-matrix) exhibits UV/IR symmetries which are hidden in the effective field theory (EFT) action and scattering amplitudes, and which explain some generic features of the phase shifts. These symmetries offer clarifying interpretations of existing pionless EFT expansions, and suggest starting points for novel expansions. The leading-order (LO) $S$-matrix obtained in the pionless EFT with scattering lengths treated exactly is shown to have a UV/IR symmetry which leaves the sum of s-wave phase shifts invariant. A new scheme, which treats effective range corrections exactly, and which possesses a distinct UV/IR symmetry at LO, is developed up to NLO (next-to-LO) and compared with data.


title: $K\to\mu^+\mu^-$ beyond the standard model

abstract: We analyze the New Physics sensitivity of a recently proposed method to measure the CP-violating ${\cal B}(K_S\to\mu^+\mu^-)_{\ell=0}$ decay rate using $K_S - K_L$ interference. We present our findings both in a model-independent EFT approach as well as within several simple NP scenarios. We discuss the relation with associated observables, most notably ${\cal B}(K_L\to\pi^0\nu\bar\nu)$. We find that simple NP models can significantly enhance ${\cal B}(K_S\to\mu^+\mu^-)_{\ell=0}$, making this mode a very promising probe of physics beyond the standard model in the kaon sector.


title: Logan's problem for Jacobi transform

abstract: We consider direct and inverse Jacobi transforms with measures $d\mu(t)=2^{2\rho}(\sinh t)^{2\alpha+1}(\cosh t)^{2\beta+1}\,dt$ and $d\sigma(\lambda)=(2\pi)^{-1}\bigl|\frac{2^{\rho-i\lambda}\Gamma(\alpha+1)\Gamma(i\lambda)} {\Gamma((\rho+i\lambda)/2)\Gamma((\rho+i\lambda)/2-\beta)}\bigr|^{-2}\,d\lambda$, respectively. We solve the following generalized Logan problem: to find \[ \inf\Lambda((-1)^{m-1}f), \quad m\in \mathbb{N}, \] where $\Lambda(f)=\sup\,\{\lambda>0\colon f(\lambda)>0\}$ and the infimum is taken over all nontrivial even entire functions $f$ of exponential type that are Jacobi transforms of positive measures with supports on an interval. Here, if $m\ge 2$, then we additionally assume that $\int_{0}^{\infty}\lambda^{2k}f(\lambda)\,d\sigma(\lambda)=0$ for $k=0,\dots,m-2$. We prove that admissible functions for this problem are positive definite with respect to the inverse Jacobi transform. The solution of Logan's problem was known only when $\alpha=\beta=-1/2$. We find a unique (up to multiplication by a positive constant) extremizer $f_m$. The corresponding Logan problem for the Fourier transform on the hyperboloid $\mathbb{H}^{d}$ is also solved. Using properties of the extremizer $f_m$ allows us to give an upper estimate of the length of a minimal interval containing not less than $n$ zeros of positive definite functions. Finally, we show that the Jacobi functions form the Chebyshev systems.


title: New notion of nonuniform exponential dichotomy with applications to the theory of pullback and forward attractors

abstract: In this work we study nonuniform exponential dichotomies and existence of pullback and forward attractors for evolution processes associated to nonautonomous differential equations. We define a new concept of nonuniform exponential dichotomy, for which we provide several examples, study the relation with the standard notion, and establish a robustness under perturbations. We provide a dynamical interpretation of admissibility pairs related with exponential dichotomies to obtain existence of pullback and forward attractors. We apply these abstract results for ordinary and parabolic differential equations.


title: Multi-modal microscopy imaging with the OpenFlexure Delta Stage

abstract: Microscopes are vital pieces of equipment in much of biological research and medical diagnostics. However, access to a microscope can represent a bottleneck in research, especially in lower-income countries. `Smart' computer controlled motorized microscopes, which can perform automated routines or acquire images in a range of modalities are even more expensive and inaccessible. Developing low-cost, open-source, smart microscopes enables more researchers to conceive and execute optimized or more complex experiments. Here we present the OpenFlexure Delta Stage, a 3D-printed microscope designed for researchers. Powered by the OpenFlexure software stack, it is capable of performing automated experiments. The design files and assembly instructions are freely available under an open licence. Its intuitive and modular design -- along with detailed documentation -- allows researchers to implement a variety of imaging modes with ease. The versatility of this microscope is demonstrated by imaging biological and non-biological samples (red blood cells with Plasmodium parasites and colloidal particles in brightfield, epi-fluorescence, darkfield, Rheinberg and differential phase contrast. We present the design strategy and choice of tools to develop devices accessible to researchers from lower-income countries, as well as the advantages of an open-source project in this context. This microscope, having been open-source since its conception, has already been built and tested by researchers around the world, promoting a community of expertise and an environment of reproducibility in science.


title: Actions of automorphisms of pure braid groups on homotopy groups of two-sphere

abstract: We examine the Moore complex of the Delta-group structure related to the pure braid groups and introduced by Berrick, Cohen, Wong, and Wu. We prove that the cycle and the boundary groups are invariant under all automorphisms of the pure braid groups, by that we extend the results of Li and Wu on the reflection automorphism. We conclude that there is an induced action of all automorphisms of the pure braid groups on the homotopy groups. Besides, we show that this action is non-trivial for the small number of strands.


title: Search for Highly-Ionizing Particles in pp Collisions at the LHC's Run-1 Using the Prototype MoEDAL Detector

abstract: A search for highly electrically charged objects (HECOs) and magnetic monopoles is presented using 2.2 fb-1 of p - p collision data taken at a centre of mass energy (ECM) of 8 TeV by the MoEDAL detector during LHC's Run-1. The data were collected using MoEDAL's prototype Nuclear Track Detector array and the Trapping Detector array. The results are interpreted in terms of Drell-Yan pair production of stable HECO and monopole pairs with three spin hypotheses (0, 1/2 and 1). The search provides constraints on the direct production of magnetic monopoles carrying one to four Dirac magnetic charges (4gD) and with mass limits ranging from 590 GeV/c^2 to 1 TeV/c^2. Additionally, mass limits are placed on HECOs with charge in the range 10e to 180e, where e is the charge of an electron, for masses between 30 GeV/c^2 and 1 TeV/c^2.


title: Computer-Assisted Creation of Boolean Search Rules for Text Classification in the Legal Domain

abstract: In this paper, we present a method of building strong, explainable classifiers in the form of Boolean search rules. We developed an interactive environment called CASE (Computer Assisted Semantic Exploration) which exploits word co-occurrence to guide human annotators in selection of relevant search terms. The system seamlessly facilitates iterative evaluation and improvement of the classification rules. The process enables the human annotators to leverage the benefits of statistical information while incorporating their expert intuition into the creation of such rules. We evaluate classifiers created with our CASE system on 4 datasets, and compare the results to machine learning methods, including SKOPE rules, Random forest, Support Vector Machine, and fastText classifiers. The results drive the discussion on trade-offs between superior compactness, simplicity, and intuitiveness of the Boolean search rules versus the better performance of state-of-the-art machine learning models for text classification.


title: Benchmarking human visual search computational models in natural scenes: models comparison and reference datasets

abstract: Visual search is an essential part of almost any everyday human goal-directed interaction with the environment. Nowadays, several algorithms are able to predict gaze positions during simple observation, but few models attempt to simulate human behavior during visual search in natural scenes. Furthermore, these models vary widely in their design and exhibit differences in the datasets and metrics with which they were evaluated. Thus, there is a need for a reference point, on which each model can be tested and from where potential improvements can be derived. In the present work, we select publicly available state-of-the-art visual search models in natural scenes and evaluate them on different datasets, employing the same metrics to estimate their efficiency and similarity with human subjects. In particular, we propose an improvement to the Ideal Bayesian Searcher through a combination with a neural network-based visual search model, enabling it to generalize to other datasets. The present work sheds light on the limitations of current models and how potential improvements can be accomplished by combining approaches. Moreover, it moves forward on providing a solution for the urgent need for benchmarking data and metrics to support the development of more general human visual search computational models.


title: A small-gain theory for infinite networks via infinite-dimensional gain operators

abstract: In this paper, we develop a new approach to study gain operators built from the interconnection gains of infinite networks of dynamical systems. Our focus is on the construction of paths of strict decay which are used for building Lyapunov functions for the network and thus proving various stability properties, including input-to-state stability. Our approach is based on the study of an augmented gain operator whose fixed points are precisely the points of decay for the original gain operator. We show that plenty of such fixed points exist under a uniform version of the no-joint-increase condition. Using these fixed points to construct a path of strict decay, in general, requires specific dynamical properties of associated monotone operators. For particular types of gain operators such as max-type operators and subadditive operators, these properties follow from uniform global asymptotic stability of the system induced by the original gain operator. This is consistent with former results in the literature which can readily be recovered from our theory.


title: Exponential convergence to equilibrium for coupled systems of nonlinear degenerate drift diffusion equations

abstract: We study the existence and long-time asymptotics of weak solutions to a system of two nonlinear drift-diffusion equations that has a gradient flow structure in the Wasserstein distance. The two equations are coupled through a cross-diffusion term that is scaled by a parameter $\varepsilon\ge0$. The nonlinearities and potentials are chosen such that in the decoupled system for $\varepsilon=0$, the evolution is metrically contractive, with a global rate $\Lambda>0$. The coupling is a singular perturbation in the sense that for any $\varepsilon>0$, contractivity of the system is lost. Our main result is that for all sufficiently small $\varepsilon>0$, the global attraction to a unique steady state persists, with an exponential rate $\Lambda_\varepsilon=\Lambda-K\varepsilon$. The proof combines results from the theory of metric gradient flows with further variational methods and functional inequalities.


title: On the Stability, Economic Efficiency and Incentive Compatibility of Electricity Market Dynamics

abstract: This paper focuses on the operation of an electricity market that accounts for participants that bid at a sub-minute timescale. To that end, we model the market-clearing process as a dynamical system, called market dynamics, which is temporally coupled with the grid frequency dynamics and is thus required to guarantee system-wide stability while meeting the system operational constraints. We characterize participants as price-takers who rationally update their bids to maximize their utility in response to real-time schedules of prices and dispatch. For two common bidding mechanisms, based on quantity and price, we identify a notion of alignment between participants' behavior and planners' goals that leads to a saddle-based design of the market that guarantees convergence to a point meeting all operational constraints. We further explore cases where this alignment property does not hold and observe that misaligned participants' bidding can destabilize the closed-loop system. We thus design a regularized version of the market dynamics that recovers all the desirable stability and steady-state performance guarantees. Numerical tests validate our results on the IEEE 39-bus system.


title: Edge-Compatible Reinforcement Learning for Recommendations

abstract: Most reinforcement learning (RL) recommendation systems designed for edge computing must either synchronize during recommendation selection or depend on an unprincipled patchwork collection of algorithms. In this work, we build on asynchronous coagent policy gradient algorithms \citep{kostas2020asynchronous} to propose a principled solution to this problem. The class of algorithms that we propose can be distributed over the internet and run asynchronously and in real-time. When a given edge fails to respond to a request for data with sufficient speed, this is not a problem; the algorithm is designed to function and learn in the edge setting, and network issues are part of this setting. The result is a principled, theoretically grounded RL algorithm designed to be distributed in and learn in this asynchronous environment. In this work, we describe this algorithm and a proposed class of architectures in detail, and demonstrate that they work well in practice in the asynchronous setting, even as the network quality degrades.


title: Kaniadakis holographic dark energy in Brans-Dicke cosmology

abstract: By using the holographic hypothesis and Kaniadakis generalized entropy, which is based on relativistic statistical theory and modified Boltzmann-Gibbs entrory, we build Kaniadakis holographic dark energy (DE) model in the Brans-Dicke framework. We drive cosmological parameters of Kaniadakis holographic DE model, with IR cutoff as the Hubble horizon, in order to investigate its cosmological consequences. Our study shows that, even in the absence of an interaction between the dark sectors of cosmos, the Kaniadakis holographic dark energy model with the Hubble radius as IR cutoff can explain the present accelerated phase of the universe expansion in the Brans-Dicke theory. The stability of the model, using the squared of sound speed, has been checked and it is found that the model is unstable in non-interacting case and can be stable for some range of model parameters within the interacting case.


title: Deep ViT Features as Dense Visual Descriptors

abstract: We study the use of deep features extracted from a pretrained Vision Transformer (ViT) as dense visual descriptors. We observe and empirically demonstrate that such features, when extractedfrom a self-supervised ViT model (DINO-ViT), exhibit several striking properties, including: (i) the features encode powerful, well-localized semantic information, at high spatial granularity, such as object parts; (ii) the encoded semantic information is shared across related, yet different object categories, and (iii) positional bias changes gradually throughout the layers. These properties allow us to design simple methods for a variety of applications, including co-segmentation, part co-segmentation and semantic correspondences. To distill the power of ViT features from convoluted design choices, we restrict ourselves to lightweight zero-shot methodologies (e.g., binning and clustering) applied directly to the features. Since our methods require no additional training nor data, they are readily applicable across a variety of domains. We show by extensive qualitative and quantitative evaluation that our simple methodologies achieve competitive results with recent state-of-the-art supervised methods, and outperform previous unsupervised methods by a large margin. Code is available in dino-vit-features.github.io.


title: A multivariate CLT for <<typical>> weighted sums with rate of convergence of order O(1/n)

abstract: The "typical" asymptotic behavior of the weighted sums of independent random vectors in $k$-dimensional space is considered. It is shown that in this case the rate of convergence in the multivariate central limit theorem is of order $O(1/n)$. This extends the one-dimensional Klartag and Sodin (2011) result.


title: Encoding priors in the brain: a reinforcement learning model for mouse decision making

abstract: In two-alternative forced choice tasks, prior knowledge can improve performance, especially when operating near the psychophysical threshold. For instance, if subjects know that one choice is much more likely than the other, they can make that choice when evidence is weak. A common hypothesis for these kinds of tasks is that the prior is stored in neural activity. Here we propose a different hypothesis: the prior is stored in synaptic strengths. We study the International Brain Laboratory task, in which a grating appears on either the right or left side of a screen, and a mouse has to move a wheel to bring the grating to the center. The grating is often low in contrast which makes the task relatively difficult, and the prior probability that the grating appears on the right is either 80% or 20%, in (unsignaled) blocks of about 50 trials. We model this as a reinforcement learning task, using a feedforward neural network to map states to actions, and adjust the weights of the network to maximize reward, learning via policy gradient. Our model uses an internal state that stores an estimate of the grating and confidence, and follows Bayesian updates, and can switch between engaged and disengaged states to mimic animal behavior. This model reproduces the main experimental finding - that the psychometric curve with respect to contrast shifts after a block switch in about 10 trials. Also, as seen in the experiments, in our model the difference in neuronal activity in the right and left blocks is small - it is virtually impossible to decode block structure from activity on single trials if noise is about 2%. The hypothesis that priors are stored in weights is difficult to test, but the technology to do so should be available in the not so distant future.


title: Exposure-Referred Signal-to-Noise Ratio for Digital Image Sensors

abstract: The signal-to-noise ratio (SNR) is a fundamental tool to measure the performance of an image sensor. However, confusions sometimes arise between the two types of SNRs. The first one is the output-referred SNR which measures the ratio between the signal and the noise seen at the sensor's output. This SNR is easy to compute, and it is linear in the log-log scale for most image sensors. The second SNR is the exposure-referred SNR, also known as the input-referred SNR. This SNR considers the noise at the input by including a derivative term to the output-referred SNR. The two SNRs have similar behaviors for sensors with a large full-well capacity. However, for sensors with a small full-well capacity, the exposure-referred SNR can capture some behaviors that the output-referred SNR cannot. While the exposure-referred SNR has been known and used by the industry for a long time, a theoretically rigorous derivation from a signal processing perspective is lacking. In particular, while various equations can be found in different sources of the literature, there is currently no paper that attempts to assemble, derive, and organize these equations in one place. This paper aims to fill the gap by answering four questions: (1) How is the exposure-referred SNR derived from first principles? (2) Is the output-referred SNR a special case of the exposure-referred SNR, or are they completely different? (3) How to compute the SNR efficiently? (4) What utilities can the SNR bring to solving imaging tasks? New theoretical results are derived for image sensors of any bit-depth and full-well capacity.


title: Association study between gene expression and multiple phenotypes in omics applications of complex diseases

abstract: Studying phenotype-gene association can uncover mechanism of diseases and develop efficient treatments. In complex disease where multiple phenotypes are available and correlated, analyzing and interpreting associated genes for each phenotype respectively may decrease statistical power and lose intepretation due to not considering the correlation between phenotypes. The typical approaches are many global testing methods, such as multivariate analysis of variance (MANOVA), which tests the overall association between phenotypes and each gene, without considersing the heterogeneity among phenotypes. In this paper, we extend and evaluate two p-value combination methods, adaptive weighted Fisher's method (AFp) and adaptive Fisher's method (AFz), to tackle this problem, where AFp stands out as our final proposed method, based on extensive simulations and a real application. Our proposed AFp method has three advantages over traditional global testing methods. Firstly, it can consider the heterogeneity of phenotypes and determines which specific phenotypes a gene is associated with, using phenotype specific 0-1 weights. Secondly, AFp takes the p-values from the test of association of each phenotype as input, thus can accommodate different types of phenotypes (continuous, binary and count). Thirdly, we also apply bootstrapping to construct a variability index for the weight estimator of AFp and generate a co-membership matrix to categorize (cluster) genes based on their association-patterns for intuitive biological investigations. Through extensive simulations, AFp shows superior performance over global testing methods in terms of type I error control and statistical power, as well as higher accuracy of 0-1 weights estimation over AFz. A real omics application with transcriptomic and clinical data of complex lung diseases demonstrates insightful biological findings of AFp.


title: Fundamental physics with ESPRESSO: Precise limit on variations in the fine-structure constant towards the bright quasar HE 0515$-$4414

abstract: The strong intervening absorption system at redshift 1.15 towards the very bright quasar HE 0515$-$4414 is the most studied absorber for measuring possible cosmological variations in the fine-structure constant, $\alpha$. We observed HE 0515$-$4414 for 16.1$\,$h with the Very Large Telescope and present here the first constraint on relative variations in $\alpha$ with parts-per-million (ppm) precision from the new ESPRESSO spectrograph: $\Delta\alpha/\alpha = 1.3 \pm 1.3_{\rm stat} \pm 0.4_{\rm sys}\,{\rm ppm}$. The statistical uncertainty (1$\sigma$) is similar to the ensemble precision of previous large samples of absorbers, and derives from the high S/N achieved ($\approx$105 per 0.4$\,$km$\,$s$^{-1}$ pixel). ESPRESSO's design, and calibration of our observations with its laser frequency comb, effectively removed wavelength calibration errors from our measurement. The high resolving power of our ESPRESSO spectrum ($R=145000$) enabled the identification of very narrow components within the absorption profile, allowing a more robust analysis of $\Delta\alpha/\alpha$. The evidence for the narrow components is corroborated by their correspondence with previously detected molecular hydrogen and neutral carbon. The main remaining systematic errors arise from ambiguities in the absorption profile modelling, effects from redispersing the individual quasar exposures, and convergence of the parameter estimation algorithm. All analyses of the spectrum, including systematic error estimates, were initially blinded to avoid human biases. We make our reduced ESPRESSO spectrum of HE 0515$-$4414 publicly available for further analysis. Combining our ESPRESSO result with 28 measurements, from other spectrographs, in which wavelength calibration errors have been mitigated, yields a weighted mean $\Delta\alpha/\alpha = -0.5 \pm 0.5_{\rm stat} \pm 0.4_{\rm sys}\,$ppm at redshifts 0.6-2.4.


title: Building a great multi-lingual teacher with sparsely-gated mixture of experts for speech recognition

abstract: The sparsely-gated Mixture of Experts (MoE) can magnify a network capacity with a little computational complexity. In this work, we investigate how multi-lingual Automatic Speech Recognition (ASR) networks can be scaled up with a simple routing algorithm in order to achieve better accuracy. More specifically, we apply the sparsely-gated MoE technique to two types of networks: Sequence-to-Sequence Transformer (S2S-T) and Transformer Transducer (T-T). We demonstrate through a set of ASR experiments on multiple language data that the MoE networks can reduce the relative word error rates by 16.3% and 4.6% with the S2S-T and T-T, respectively. Moreover, we thoroughly investigate the effect of the MoE on the T-T architecture in various conditions: streaming mode, non-streaming mode, the use of language ID and the label decoder with the MoE.


title: VAQEM: A Variational Approach to Quantum Error Mitigation

abstract: Variational Quantum Algorithms (VQAs) are relatively robust to noise, but errors are still a significant detriment to VQAs on near-term quantum machines. It is imperative to employ error mitigation techniques to improve VQA fidelity. While existing error mitigation techniques built from theory provide substantial gains, the disconnect between theory and real machine execution limits their benefits. Thus, it is critical to optimize mitigation techniques to explicitly suit the target application as well as the noise characteristics of the target machine. We propose VAQEM, which dynamically tailors existing error mitigation techniques to the actual, dynamic noisy execution characteristics of VQAs on a target quantum machine. We do so by tuning specific features of these mitigation techniques similar to the traditional rotation angle parameters - by targeting improvements towards a specific objective function which represents the VQA problem at hand. In this paper, we target two types of error mitigation techniques which are suited to idle times in quantum circuits: single qubit gate scheduling and the insertion of dynamical decoupling sequences. We gain substantial improvements to VQA objective measurements - a mean of over 3x across a variety of VQA applications, run on IBM Quantum machines. More importantly, the proposed variational approach is general and can be extended to many other error mitigation techniques whose specific configurations are hard to select a priori. Integrating more mitigation techniques into the VAQEM framework can lead to potentially realizing practically useful VQA benefits on today's noisy quantum machines.


title: U.S. Long-Term Earnings Outcomes by Sex, Race, Ethnicity, and Place of Birth

abstract: This paper is part of the Global Income Dynamics Project cross-country comparison of earnings inequality, volatility, and mobility. Using data from the U.S. Census Bureau's Longitudinal Employer-Household Dynamics (LEHD) infrastructure files we produce a uniform set of earnings statistics for the U.S. From 1998 to 2019, we find U.S. earnings inequality has increased and volatility has decreased. The combination of increased inequality and reduced volatility suggest earnings growth differs substantially across different demographic groups. We explore this further by estimating 12-year average earnings for a single cohort of age 25-54 eligible workers. Differences in labor supply (hours paid and quarters worked) are found to explain almost 90% of the variation in worker earnings, although even after controlling for labor supply substantial earnings differences across demographic groups remain unexplained. Using a quantile regression approach, we estimate counterfactual earnings distributions for each demographic group. We find that at the bottom of the earnings distribution differences in characteristics such as hours paid, geographic division, industry, and education explain almost all the earnings gap, however above the median the contribution of the differences in the returns to characteristics becomes the dominant component.


title: A General "Power-of-d" Dispatching Framework for Heterogeneous Systems

abstract: Intelligent dispatching is crucial to obtaining low response times in large-scale systems. One common scalable dispatching paradigm is the ``power-of-$d$,'' in which the dispatcher queries $d$ servers at random and assigns the job to a server based only on the state of the queried servers. The bulk of power-of-$d$ policies studied in the literature assume that the system is homogeneous, meaning that all servers have the same speed; meanwhile real-world systems often exhibit server speed heterogeneity. This paper introduces a general framework for describing and analyzing heterogeneity-aware power-of-$d$ policies. The key idea behind our framework is that dispatching policies can make use of server speed information at two decision points: when choosing which $d$ servers to query, and when assigning a job to one of those servers. Our framework explicitly separates the dispatching policy into a querying rule and an assignment rule; we consider general families of both rule types. While the strongest assignment rules incorporate both detailed queue-length information and server speed information, these rules typically are difficult to analyze. We overcome this difficulty by focusing on heterogeneity-aware assignment rules that ignore queue length information beyond idleness status. In this setting, we analyze mean response time and formulate novel optimization problems for the joint optimization of querying and assignment. We build upon our optimized policies to develop heuristic queue length-aware dispatching policies. Our heuristic policies perform well in simulation, relative to policies that have appeared in the literature.


title: Correlation-consistent Gaussian basis sets for solids made simple

abstract: The rapidly growing interest in simulating condensed-phase materials using quantum chemistry methods calls for a library of high-quality Gaussian basis sets suitable for periodic calculations. Unfortunately, most standard Gaussian basis sets commonly used in molecular simulation show significant linear dependencies when used in close-packed solids, leading to severe numerical issues that hamper the convergence to the complete basis set (CBS) limit, especially in correlated calculations. In this work, we revisit Dunning's strategy for construction of correlation-consistent basis sets and examine the relationship between accuracy and numerical stability in periodic settings. Specifically, we find that limiting the number of primitive functions avoids the appearance of problematic small exponents while still providing smooth convergence to the CBS limit. As an example, we generate double-, triple-, and quadruple-zeta correlation-consistent Gaussian basis sets for periodic calculations with Goedecker-Teter-Hutter (GTH) pseudopotentials. Our basis sets cover the main-group elements from the first three rows of the periodic table. Especially for atoms on the left side of the periodic table, our basis sets are less diffuse than those used in molecular calculations. We verify the fast and reliable convergence to the CBS limit in both Hartree-Fock and post-Hartree-Fock (MP2) calculations, using a diverse test set of $19$ semiconductors and insulators.


title: Revisiting Consistency Regularization for Semi-Supervised Learning

abstract: Consistency regularization is one of the most widely-used techniques for semi-supervised learning (SSL). Generally, the aim is to train a model that is invariant to various data augmentations. In this paper, we revisit this idea and find that enforcing invariance by decreasing distances between features from differently augmented images leads to improved performance. However, encouraging equivariance instead, by increasing the feature distance, further improves performance. To this end, we propose an improved consistency regularization framework by a simple yet effective technique, FeatDistLoss, that imposes consistency and equivariance on the classifier and the feature level, respectively. Experimental results show that our model defines a new state of the art for various datasets and settings and outperforms previous work by a significant margin, particularly in low data regimes. Extensive experiments are conducted to analyze the method, and the code will be published.


title: Sequence-level self-learning with multiple hypotheses

abstract: In this work, we develop new self-learning techniques with an attention-based sequence-to-sequence (seq2seq) model for automatic speech recognition (ASR). For untranscribed speech data, the hypothesis from an ASR system must be used as a label. However, the imperfect ASR result makes unsupervised learning difficult to consistently improve recognition performance especially in the case that multiple powerful teacher models are unavailable. In contrast to conventional unsupervised learning approaches, we adopt the \emph{multi-task learning} (MTL) framework where the $n$-th best ASR hypothesis is used as the label of each task. The seq2seq network is updated through the MTL framework so as to find the common representation that can cover multiple hypotheses. By doing so, the effect of the \emph{hard-decision} errors can be alleviated. We first demonstrate the effectiveness of our self-learning methods through ASR experiments in an accent adaptation task between the US and British English speech. Our experiment results show that our method can reduce the WER on the British speech data from 14.55\% to 10.36\% compared to the baseline model trained with the US English data only. Moreover, we investigate the effect of our proposed methods in a federated learning scenario.


title: Quality-Aware Multimodal Biometric Recognition

abstract: We present a quality-aware multimodal recognition framework that combines representations from multiple biometric traits with varying quality and number of samples to achieve increased recognition accuracy by extracting complimentary identification information based on the quality of the samples. We develop a quality-aware framework for fusing representations of input modalities by weighting their importance using quality scores estimated in a weakly-supervised fashion. This framework utilizes two fusion blocks, each represented by a set of quality-aware and aggregation networks. In addition to architecture modifications, we propose two task-specific loss functions: multimodal separability loss and multimodal compactness loss. The first loss assures that the representations of modalities for a class have comparable magnitudes to provide a better quality estimation, while the multimodal representations of different classes are distributed to achieve maximum discrimination in the embedding space. The second loss, which is considered to regularize the network weights, improves the generalization performance by regularizing the framework. We evaluate the performance by considering three multimodal datasets consisting of face, iris, and fingerprint modalities. The efficacy of the framework is demonstrated through comparison with the state-of-the-art algorithms. In particular, our framework outperforms the rank- and score-level fusion of modalities of BIOMDATA by more than 30% for true acceptance rate at false acceptance rate of $10^{-4}$.


title: Self-lensing flares from black hole binaries I: general-relativistic ray tracing of black hole binaries

abstract: The self-lensing of a massive black hole binary (MBHB), which occurs when the two BHs are aligned close to the line of sight, is expected to produce periodic, short-duration flares. Here we study the shapes of self-lensing flares (SLFs) via general-relativistic ray tracing in a superimposed binary BH metric, in which the emission is generated by geometrically thin accretion flows around each component. The suite of models covers eccentric binary orbits, black hole spins, unequal mass binaries, and different emission model geometries. We explore the above parameter space, and report how the light curves change as a function of, e.g., binary separation, inclination, and eccentricity. We also compare our light curves to those in the microlensing approximation, and show how strong deflections, as well as time-delay effects, change the size and shape of the SLF. If gravitational waves (GWs) from the inspiraling MBHB are observed by LISA, SLFs can help securely identify the source and localizing it on the sky, and to constrain the graviton mass by comparing the phasing of the SLFs and the GWs. Additionally, when these systems are viewed edge-on the SLF shows a distinct dip that can be directly correlated with the BH shadow size. This opens a new way to measure BH shadow sizes in systems that are unresolvable by current VLBI facilities.


title: Self-lensing flares from black hole binaries II: observing black hole shadows via light-curve tomography

abstract: Supermassive black hole (BH) binaries are thought to produce self-lensing flares (SLF) when the two BHs are aligned with the line-of-sight. If the binary orbit is observed nearly edge-on, we find a distinct feature in the light curve imprinted by the BH shadow from the lensed BH. We study this feature by ray-tracing in a binary model and predict that 1\% of the current binary candidates could show this feature. Our BH tomography method proposed here could make it possible to extract BH shadows that are spatially unresolvable by high-resolution VLBI.


title: Collecting Coupons is Faster with Friends

abstract: In this note, we introduce a distributed twist on the classic coupon collector problem: a set of $m$ collectors wish to each obtain a set of $n$ coupons; for this, they can each sample coupons uniformly at random, but can also meet in pairwise interactions, during which they can exchange coupons. By doing so, they hope to reduce the number of coupons that must be sampled by each collector in order to obtain a full set. This extension is natural when considering real-world manifestations of the coupon collector phenomenon, and has been remarked upon and studied empirically [Hayes and Hannigan 2006, Ahmad et al. 2014, Delmarcelle 2019]. We provide the first theoretical analysis for such a scenario. We find that "coupon collecting with friends" can indeed significantly reduce the number of coupons each collector must sample, and raises interesting connections to the more traditional variants of the problem. While our analysis is in most cases asymptotically tight, there are several open questions raised, regarding finer-grained analysis of both "coupon collecting with friends", and of a long-studied variant of the original problem in which a collector requires multiple full sets of coupons.


title: Improved Deterministic $(\Delta+1)$-Coloring in Low-Space MPC

abstract: We present a deterministic $O(\log \log \log n)$-round low-space Massively Parallel Computation (MPC) algorithm for the classical problem of $(\Delta+1)$-coloring on $n$-vertex graphs. In this model, every machine has a sublinear local memory of size $n^{\phi}$ for any arbitrary constant $\phi \in (0,1)$. Our algorithm works under the relaxed setting where each machine is allowed to perform exponential (in $n^{\phi}$) local computation, while respecting the $n^{\phi}$ space and bandwidth limitations. Our key technical contribution is a novel derandomization of the ingenious $(\Delta+1)$-coloring LOCAL algorithm by Chang-Li-Pettie (STOC 2018, SIAM J. Comput. 2020). The Chang-Li-Pettie algorithm runs in $T_{local}=poly(\log\log n)$ rounds, which sets the state-of-the-art randomized round complexity for the problem in the local model. Our derandomization employs a combination of tools, most notably pseudorandom generators (PRG) and bounded-independence hash functions. The achieved round complexity of $O(\log\log\log n)$ rounds matches the bound of $\log(T_{local})$, which currently serves an upper bound barrier for all known randomized algorithms for locally-checkable problems in this model. Furthermore, no deterministic sublogarithmic low-space MPC algorithms for the $(\Delta+1)$-coloring problem were previously known.


title: Adsorption-active polydisperse brush with tunable molecular mass distribution

abstract: Recently a novel class of responsive uncharged polymer brushes has been proposed [Klushin et al, J. Chem. Phys. 154, 074904 (2021)] where the brush-forming chains have an affinity to the substrate. For sufficiently strong surface interactions, a fraction of chains condenses into a near-surface layer, while the remaining ones form the outer brush with a reduced grafting density. The dense layer and the more tenuous outer brush can be seen as coexisting microphases. The effective grafting density of the outer brush is controlled by the adsorption strength and can be changed reversibly as a response to changes in environmental parameters. In this paper we use numerical self-consistent field calculations and theoretical considerations to study this phenomenon in polydisperse brushes. Our results reveal an unexpected effect: Although all chains are chemically identical, shorter chains are adsorbed preferentially. Hence, with the increase in the surface affinity parameter, a reduction in the surface grafting density of the residual brush is accompanied by a change in the shape of its molecular mass distribution. In particular, an originally bidisperse brush can be effectively transformed into a nearly monodisperse one containing only the longer chain fraction.


title: Helicity shedding by flux rope ejection

abstract: We quantitatively address the conjecture that magnetic helicity must be shed from the Sun by eruptions launching coronal mass ejections in order to limit its accumulation in each hemisphere. By varying the ratio of guide and strapping field and the flux rope twist in a parametric simulation study of flux rope ejection from approximately marginally stable force-free equilibria, different ratios of self- and mutual helicity are set and the onset of the torus or helical kink instability is obtained. The helicity shed is found to vary over a broad range from a minor to a major part of the initial helicity, with self helicity being largely or completely shed and mutual helicity, which makes up the larger part of the initial helicity, being shed only partly. Torus-unstable configurations with subcritical twist and without a guide field shed up to about two-thirds of the initial helicity, while a highly twisted, kink-unstable configuration sheds only about one-quarter. The parametric study also yields stable force-free flux rope equilibria up to a total flux-normalized helicity of 0.25, with a ratio of self- to total helicity of 0.32 and a ratio of flux rope to external poloidal flux of 0.94. These results numerically demonstrate the conjecture of helicity shedding by coronal mass ejections and provide a first account of its parametric dependence. Both self- and mutual helicity are shed significantly; this reduces the total initial helicity by a fraction of $\sim\!0.4\mbox{--}0.65$ for typical source region parameters.


title: A load balanced chemistry model with analytical Jacobian for faster reactive simulations in OpenFOAM

abstract: In this study, we introduce a novel open-source chemistry model for OpenFOAM to speed-up the reactive computational fluid dynamics (CFD) simulations using finite-rate chemistry. First, a dynamic load balancing model called DLBFoam is introduced to balance the chemistry load during runtime in parallel simulations. In addition, the solution of the cell-based chemistry problem is improved by utilizing an analytical Jacobian using an open-source library called pyJac and an efficient linear algebra library LAPACK. Combination of the aforementioned efforts yields a speed-up factor 200 for a high-fidelity large-eddy simulation spray combustion case compared to the standard OpenFOAM implementation. It is worth noting that the present implementation does not compromise the solution accuracy.


title: Ground-based observations of the ZZ Ceti star HS 1625+1231

abstract: We present the results of our detailed light curve analysis of the ZZ Ceti star HS 1625+1231. We collected photometric time series data at Konkoly Observatory on 14 nights, and performed Fourier analysis of these data sets. We detected 11 significant frequencies, where six of them are found to be independent pulsation modes in the 514 - 881 s period range. By utilising these frequencies, we performed preliminary asteroseismic investigations to give constraints on the main physical parameters, and to derive seismic distances for the star. Finally, we compared the astrometric distance provided by the Gaia EDR3 data with those seismic distances. Our selected model, considering both the spectroscopic measurements and the distance value provided by Gaia, has $T_{eff}$ = 11 000 K and $M_*$ = 0.60 $M_{\odot}$.


title: How Compression and Approximation Affect Efficiency in String Distance Measures

abstract: Real-world data often comes in compressed form. Analyzing compressed data directly (without decompressing it) can save space and time by orders of magnitude. In this work, we focus on fundamental sequence comparison problems and try to quantify the gain in time complexity when the underlying data is highly compressible. We consider grammar compression, which unifies many practically relevant compression schemes. For two strings of total length $N$ and total compressed size $n$, it is known that the edit distance and a longest common subsequence (LCS) can be computed exactly in time $\tilde{O}(nN)$, as opposed to $O(N^2)$ for the uncompressed setting. Many applications need to align multiple sequences simultaneously, and the fastest known exact algorithms for median edit distance and LCS of $k$ strings run in $O(N^k)$ time. This naturally raises the question of whether compression can help to reduce the running time significantly for $k \geq 3$, perhaps to $O(N^{k/2}n^{k/2})$ or $O(Nn^{k-1})$. Unfortunately, we show lower bounds that rule out any improvement beyond $\Omega(N^{k-1}n)$ time for any of these problems assuming the Strong Exponential Time Hypothesis. At the same time, we show that approximation and compression together can be surprisingly effective. We develop an $\tilde{O}(N^{k/2}n^{k/2})$-time FPTAS for the median edit distance of $k$ sequences. In comparison, no $O(N^{k-\Omega(1)})$-time PTAS is known for the median edit distance problem in the uncompressed setting. For two strings, we get an $\tilde{O}(N^{2/3}n^{4/3})$-time FPTAS for both edit distance and LCS. In contrast, for uncompressed strings, there is not even a subquadratic algorithm for LCS that has less than a polynomial gap in the approximation factor. Building on the insight from our approximation algorithms, we also obtain results for many distance measures including the edit, Hamming, and shift distances.


title: Learning distributed channel access policies for networked estimation: data-driven optimization in the mean-field regime

abstract: The problem of communicating sensor measurements over shared networks is prevalent in many modern large-scale distributed systems such as cyber-physical systems, wireless sensor networks, and the internet of things. Due to bandwidth constraints, the system designer must jointly design decentralized medium access transmission and estimation policies that accommodate a very large number of devices in extremely contested environments such that the collection of all observations is reproduced at the destination with the best possible fidelity. We formulate a remote estimation problem in the mean-field regime where a very large number of sensors communicate their observations to an access point, or base station, under a strict constraint on the maximum fraction of transmitting devices. We show that in the mean-field regime, this problem exhibits a structure that enables tractable optimization algorithms. More importantly, we obtain a data-driven learning scheme that admits a finite sample-complexity guarantee on the performance of the resulting estimation system under minimal assumptions on the data's probability density function.


title: On Cayley representations of central Cayley graphs over almost simple groups

abstract: A Cayley graph over a group $G$ is said to be central if its connection set is a normal subset of $G$. We prove that every central Cayley graph over a simple group $G$ has at most two pairwise nonequivalent Cayley representations over $G$ associated with the subgroups of $Sym(G)$ induced by left and right multiplications of $G$. We also provide an algorithm which, given a central Cayley graph $\Gamma$ over an almost simple group $G$ whose socle is of a bounded index, finds the full set of pairwise nonequivalent Cayley representations of $\Gamma$ over $G$ in time polynomial in size of $G$.


title: ANA: Ant Nesting Algorithm for Optimizing Real-World Problems

abstract: In this paper, a novel swarm intelligent algorithm is proposed called ant nesting algorithm (ANA). The algorithm is inspired by Leptothorax ants and mimics the behavior of ants searching for positions to deposit grains while building a new nest. Although the algorithm is inspired by the swarming behavior of ants, it does not have any algorithmic similarity with the ant colony optimization (ACO) algorithm. It is worth mentioning that ANA is considered a continuous algorithm that updates the search agent position by adding the rate of change (e.g., step or velocity). ANA computes the rate of change differently as it uses previous, current solutions, fitness values during the optimization process to generate weights by utilizing the Pythagorean theorem. These weights drive the search agents during the exploration and exploitation phases. The ANA algorithm is benchmarked on 26 well-known test functions, and the results are verified by a comparative study with genetic algorithm (GA), particle swarm optimization (PSO), dragonfly algorithm (DA), five modified versions of PSO, whale optimization algorithm (WOA), salp swarm algorithm (SSA), and fitness dependent optimizer (FDO). ANA outperformances these prominent metaheuristic algorithms on several test cases and provides quite competitive results. Finally, the algorithm is employed for optimizing two well-known real-world engineering problems: antenna array design and frequency-modulated synthesis. The results on the engineering case studies demonstrate the proposed algorithm's capability in optimizing real-world problems.


title: Magnetized ICF Implosions: Scaling of Temperature and Yield Enhancement

abstract: This paper investigates the impact of an applied magnetic field on the yield and hot-spot temperature of inertial confinement fusion implosions. A scaling of temperature amplification due to magnetization is shown to be in agreement with unperturbed 2-D extended-magnetohydrodynamic simulations. A perfectly spherical hot-spot with an axial magnetic field is predicted to have a maximum temperature amplification of 37%. However, elongation of the hot-spot along field lines raises this value by decreasing the hot-spot surface area along magnetic field lines. A scaling for yield amplification predicts that a magnetic field has the greatest benefit for low temperature implosions; this is in agreement with simplified 1-D simulations, but not 2-D simulations where the hot-spot pressure can be significantly reduced by heat-flow anisotropy. Simulations including a P2 drive asymmetry then show that the magnetized yield is a maximum when the capsule drive corrects the hot-spot shape to be round at neutron bang-time. The benefit of an applied field increases when the implosion is more highly perturbed. Increasing the magnetic field strength past the value required to magnetize the electrons is beneficial due to additional suppression of perturbations by magnetic tension.


title: Logical Boltzmann Machines

abstract: The idea of representing symbolic knowledge in connectionist systems has been a long-standing endeavour which has attracted much attention recently with the objective of combining machine learning and scalable sound reasoning. Early work has shown a correspondence between propositional logic and symmetrical neural networks which nevertheless did not scale well with the number of variables and whose training regime was inefficient. In this paper, we introduce Logical Boltzmann Machines (LBM), a neurosymbolic system that can represent any propositional logic formula in strict disjunctive normal form. We prove equivalence between energy minimization in LBM and logical satisfiability thus showing that LBM is capable of sound reasoning. We evaluate reasoning empirically to show that LBM is capable of finding all satisfying assignments of a class of logical formulae by searching fewer than 0.75% of the possible (approximately 1 billion) assignments. We compare learning in LBM with a symbolic inductive logic programming system, a state-of-the-art neurosymbolic system and a purely neural network-based system, achieving better learning performance in five out of seven data sets.


title: Revisiting the Boundary between ASR and NLU in the Age of Conversational Dialog Systems

abstract: As more users across the world are interacting with dialog agents in their daily life, there is a need for better speech understanding that calls for renewed attention to the dynamics between research in automatic speech recognition (ASR) and natural language understanding (NLU). We briefly review these research areas and lay out the current relationship between them. In light of the observations we make in this paper, we argue that (1) NLU should be cognizant of the presence of ASR models being used upstream in a dialog system's pipeline, (2) ASR should be able to learn from errors found in NLU, (3) there is a need for end-to-end datasets that provide semantic annotations on spoken input, (4) there should be stronger collaboration between ASR and NLU research communities.