title: PRover: Proof Generation for Interpretable Reasoning over Rules

abstract: Recent work by Clark et al. (2020) shows that transformers can act as 'soft theorem provers' by answering questions over explicitly provided knowledge in natural language. In our work, we take a step closer to emulating formal theorem provers, by proposing PROVER, an interpretable transformer-based model that jointly answers binary questions over rule-bases and generates the corresponding proofs. Our model learns to predict nodes and edges corresponding to proof graphs in an efficient constrained training paradigm. During inference, a valid proof, satisfying a set of global constraints is generated. We conduct experiments on synthetic, hand-authored, and human-paraphrased rule-bases to show promising results for QA and proof generation, with strong generalization performance. First, PROVER generates proofs with an accuracy of 87%, while retaining or improving performance on the QA task, compared to RuleTakers (up to 6% improvement on zero-shot evaluation). Second, when trained on questions requiring lower depths of reasoning, it generalizes significantly better to higher depths (up to 15% improvement). Third, PROVER obtains near perfect QA accuracy of 98% using only 40% of the training data. However, generating proofs for questions requiring higher depths of reasoning becomes challenging, and the accuracy drops to 65% for 'depth 5', indicating significant scope for future work. Our code and models are publicly available at https://github.com/swarnaHub/PRover


title: Turing instability analysis of a singular cross-diffusion problem

abstract: The population model of Busenberg and Travis is a paradigmatic model in ecology and tumour modelling due to its ability to capture interesting phenomena like the segregation of populations. Its singular mathematical structure enforces the consideration of regularized problems to deduce properties as fundamental as the existence of solutions. In this article we perform a weakly nonlinear stability analisys of a general class of regularized problems to study the convergence of the instability modes in the limit of the regularization parameter. We demonstrate with some specific examples that the pattern formation observed in the regularized problems, with unbounded wave numbers, is not present in the limit problem due to the amplitude decay of the oscillations. We also check the results of the stability analysis with direct finite element simulations of the problem.


title: Systematic partitioning of proteins for quantum-chemical fragmentation methods using graph algorithms

abstract: Quantum-chemical fragmentation methods offer an efficient approach for the treatment of large proteins, in particular if local target quantities such as protein--ligand interaction energies, enzymatic reaction energies, or spectroscopic properties of embedded chromophores are sought. However, the accuracy that is achievable for such local target quantities intricately depends on how the protein is partitioned into smaller fragments. While the commonly employed na\"ive approach of using fragments with a fixed size is widely used, it can result in large and unpredictable errors when varying the fragment size. Here, we present a systematic partitioning scheme that aims at minimizing the fragmentation error of a local target quantity for a given maximum fragment size. To this end, we construct a weighted graph representation of the protein, in which the amino acids constitute the nodes. These nodes are connected by edges weighted with an estimate for the fragmentation error that is expected when cutting this edge. This allows us to employ graph partitioning algorithms provided by computer science to determine near-optimal partitions of the protein. We apply this scheme to a test set of six proteins representing various prototypical applications of quantum-chemical fragmentation methods using a simplified molecular fractionation with conjugate caps (MFCC) approach with hydrogen caps. We show that our graph-based scheme consistently improves upon the na\"ive approach.


title: Application of Bernoulli Polynomials for Solving Variable-Order Fractional Optimal Control-Affine Problems

abstract: We propose two efficient numerical approaches for solving variable-order fractional optimal control-affine problems. The variable-order fractional derivative is considered in the Caputo sense, which together with the Riemann-Liouville integral operator is used in our new techniques. An accurate operational matrix of variable-order fractional integration for Bernoulli polynomials is introduced. Our methods proceed as follows. First, a specific approximation of the differentiation order of the state function is considered, in terms of Bernoulli polynomials. Such approximation, together with the initial conditions, help us to obtain some approximations for the other existing functions in the dynamical control-affine system. Using these approximations, and the Gauss-Legendre integration formula, the problem is reduced to a system of nonlinear algebraic equations. Some error bounds are then given for the approximate optimal state and control functions, which allow us to obtain an error bound for the approximate value of the performance index. We end by solving some test problems, which demonstrate the high accuracy of our results.


title: Electroweak axion string and superconductivity

abstract: We study the axion strings with the electroweak gauge flux in the DFSZ axion model and show that these strings, called the electroweak axion strings, can exhibit superconductivity without fermionic zero modes. We construct three types of electroweak axion string solutions. Among them, the string with $W$-flux can be lightest in some parameter space, which leads to a stable superconducting cosmic string. We also show that a large electric current can flow along the string due to the Peccei-Quinn scale much higher than the electroweak scale. This large current induces a net attractive force between the axion strings with the same topological charge, which opens a novel possibility that the axion strings form Y-junctions in the early universe.


title: StoqMA vs. MA: the power of error reduction

abstract: StoqMA characterizes the computational hardness of stoquastic local Hamiltonians, which is a family of Hamiltonians that does not suffer from the sign problem. Although error reduction is commonplace for many complexity classes, such as BPP, BQP, MA, QMA, etc.,this property remains open for StoqMA since Bravyi, Bessen and Terhal defined this class in 2006. In this note, we show that error reduction forStoqMA will imply that StoqMA = MA.


title: Group-like small cancellation theory for rings

abstract: In the present paper we develop a small cancellation theory for associative algebras with a basis of invertible elements. Namely, we study quotients of a group algebra of a free group and introduce three axioms for the corresponding defining relations. We show that the obtained ring is non-trivial. Moreover, we show that this ring enjoys a global filtration that agrees with relations, find a basis of the ring as a vector space and establish the corresponding structure theorems. We also provide a revision of a concept of Gr\"{o}bner basis for our rings and establish a greedy algorithm for the Ideal Membership Problem.


title: Scaling Laws for Dynamic Solar Loops

abstract: The scaling laws which relate the peak temperature $T_M$ and volumetric heating rate $E_H$ to the pressure $P$ and length $L$ for static coronal loops were established over 40 years ago; they have proved to be of immense value in a wide range of studies. Here we extend these scaling laws to {\it dynamic} loops, where enthalpy flux becomes important to the energy balance, and study impulsive heating/filling characterized by upward enthalpy flows. We show that for collision-dominated thermal conduction, the functional dependencies of the scaling laws are the same as for the static case, when the radiative losses scale as $T^{-1/2}$, but with a different constant of proportionality that depends on the Mach number $M$ of the flow. The dependence on the Mach number is such that the scaling laws for low to moderate Mach number flows are almost indistinguishable from the static case. When thermal conduction is limited by turbulent processes, however, the much weaker dependence of the scattering mean free path (and hence thermal conduction coefficient) on temperature leads to a limiting Mach number for return enthalpy fluxes driven by thermal conduction between the corona and chromosphere.


title: A Closer Look at Codistillation for Distributed Training

abstract: Codistillation has been proposed as a mechanism to share knowledge among concurrently trained models by encouraging them to represent the same function through an auxiliary loss. This contrasts with the more commonly used fully-synchronous data-parallel stochastic gradient descent methods, where different model replicas average their gradients (or parameters) at every iteration and thus maintain identical parameters. We investigate codistillation in a distributed training setup, complementing previous work which focused on extremely large batch sizes. Surprisingly, we find that even at moderate batch sizes, models trained with codistillation can perform as well as models trained with synchronous data-parallel methods, despite using a much weaker synchronization mechanism. These findings hold across a range of batch sizes and learning rate schedules, as well as different kinds of models and datasets. Obtaining this level of accuracy, however, requires properly accounting for the regularization effect of codistillation, which we highlight through several empirical observations. Overall, this work contributes to a better understanding of codistillation and how to best take advantage of it in a distributed computing environment.


title: Stable vector bundles on the families of curves

abstract: We offer a new approach to proving the Chen-Donaldson-Sun theorem which we demonstrate with a series of examples. We discuss the existence of a construction of a special metric on stable vector bundles over the surfaces formed by a families of curves and its relation to the one-dimensional cycles in the moduli space of stable bundles on curves.


title: Semantic Evaluation for Text-to-SQL with Distilled Test Suites

abstract: We propose test suite accuracy to approximate semantic accuracy for Text-to-SQL models. Our method distills a small test suite of databases that achieves high code coverage for the gold query from a large number of randomly generated databases. At evaluation time, it computes the denotation accuracy of the predicted queries on the distilled test suite, hence calculating a tight upper-bound for semantic accuracy efficiently. We use our proposed method to evaluate 21 models submitted to the Spider leader board and manually verify that our method is always correct on 100 examples. In contrast, the current Spider metric leads to a 2.5% false negative rate on average and 8.1% in the worst case, indicating that test suite accuracy is needed. Our implementation, along with distilled test suites for eleven Text-to-SQL datasets, is publicly available.


title: Learning a mixture of two subspaces over finite fields

abstract: We study the problem of learning a mixture of two subspaces over $\mathbb{F}_2^n$. The goal is to recover the individual subspaces, given samples from a (weighted) mixture of samples drawn uniformly from the two subspaces $A_0$ and $A_1$. This problem is computationally challenging, as it captures the notorious problem of "learning parities with noise" in the degenerate setting when $A_1 \subseteq A_0$. This is in contrast to the analogous problem over the reals that can be solved in polynomial time (Vidal'03). This leads to the following natural question: is Learning Parities with Noise the only computational barrier in obtaining efficient algorithms for learning mixtures of subspaces over $\mathbb{F}_2^n$? The main result of this paper is an affirmative answer to the above question. Namely, we show the following results: 1. When the subspaces $A_0$ and $A_1$ are incomparable, i.e., $A_0$ and $A_1$ are not contained inside each other, then there is a polynomial time algorithm to recover the subspaces $A_0$ and $A_1$. 2. In the case when $A_1$ is a subspace of $A_0$ with a significant gap in the dimension i.e., $dim(A_1) \le \alpha dim(A_0)$ for $\alpha<1$, there is a $n^{O(1/(1-\alpha))}$ time algorithm to recover the subspaces $A_0$ and $A_1$. Thus, our algorithms imply computational tractability of the problem of learning mixtures of two subspaces, except in the degenerate setting captured by learning parities with noise.


title: Rankine--Hugoniot conditions for fluids whose energy depends on space and time derivatives of density

abstract: By using the Hamilton principle of stationary action, we derive the governing equations and Rankine-Hugoniot conditions for continuous media where the specific energy depends on the space and time density derivatives. The governing system of equations is a time reversible dispersive system of conservation laws for the mass, momentum and energy. We obtain additional relations to the Rankine-Hugoniot conditions coming from the conservation laws and discuss the well-founded of shock wave discontinuities for dispersive systems.


title: Adaptive sampling of pressure distribution features for the airfoil statistical analysis

abstract: In the area of supercritical wing design, a variety of principles, laws and rules have been summarized by scholars who perform theoretical and experimental analyses. The applicability of these rules is usually restricted by the airfoil samples investigated. With the advance of computational fluid dynamics and computational intelligence, such work can be better conducted on computers. The present paper proposes an output space sampling method to generate airfoil samples that have specified pressure distributions or meet certain special requirements. The well-selected and distributed samples are then utilized for statistical studies to obtain more reliable or more universal aerodynamics rules that can be used as guidance in the process of supercritical airfoil design. The capabilities of the output space sampling method in regard to filling the space and exploring the boundaries are also improved. The output space sampling method is employed to generate supercritical airfoil samples with different requirements, allowing the relationships between the shock wave location and the drag divergence Mach number as well as the drag creep characteristic to be revealed.


title: Cosmic ray positrons from compact binary millisecond pulsars

abstract: A new population of neutron stars has emerged during the last decade: compact binary millisecond pulsars (CBMSPs). Because these pulsars and their companion stars are in tight orbits with typical separations of $10^{11}$ cm, their winds interact strongly forming an intrabinary shock. Electron-positron pairs reaccelerated at the shock can reach energies of about 10 TeV, which makes this new population a potential source of GeV-TeV cosmic ray positrons. We present an analytical model for the fluxes and spectra of positrons from intrabinary shocks of CBMSPs. We find that the minimum energy $E_{\min}$ of the pairs that enter the shock is critical to quantify the energy spectrum with which positrons are injected into the interstellar medium. We measure for the first time the Galactic scale height of CBMSPs, $z_e=0.4\pm0.1$ kpc, after correcting for an observational bias against finding them close to the Galactic plane. From this, we estimate a local density of 5-9 kpc$^{-3}$ and an extrapolated total of 2-7 thousand CBMSPs in the Galaxy. We then propagate the pairs in the isotropic diffusion approximation and find that the positron flux from the total population is about two times higher than that from the 52 currently known systems. For $E_{\min}$ between 1 and 50 GeV, our model predicts only a minor contribution from CBMSPs to the diffuse positron flux at 100 GeV observed at Earth. We also quantify the effects of anisotropic transport due to the ordered Galactic magnetic field, which can change the diffuse flux from nearby sources drastically. Finally, we find that a single "hidden" CBMSP close to the Galactic plane can yield a positron flux comparable to the AMS-02 measurements at 600 GeV if its line-of-sight to Earth is along the ordered Galactic field lines, while its combined electron and positron flux at higher energies would be close to the measurements of CALET, DAMPE and Fermi-LAT.


title: Topology protects chiral edge currents in stochastic systems

abstract: Constructing systems that exhibit time-scales much longer than those of the underlying components, as well as emergent dynamical and collective behavior, is a key goal in fields such as synthetic biology and materials self-assembly. Inspiration often comes from living systems, in which robust global behavior prevails despite the stochasticity of the underlying processes. Here, we present two-dimensional stochastic networks that consist of minimal motifs representing out-of-equilibrium cycles at the molecular scale and support chiral edge currents in configuration space. These currents arise in the topological phase due to the bulk-boundary correspondence and dominate the system dynamics in the steady-state, further proving robust to defects or blockages. We demonstrate the topological properties of these networks and their uniquely non-Hermitian features such as exceptional points and vorticity, while characterizing the edge state localization. As these emergent edge currents are associated to macroscopic timescales and length scales, simply tuning a small number of parameters enables varied dynamical phenomena including a global clock, dynamical growth and shrinkage, and synchronization. Our construction provides a novel topological formalism for stochastic systems and fresh insights into non-Hermitian physics, paving the way for the prediction of robust dynamical states in new classical and quantum platforms.

categories: cond-mat.stat-mech cond-mat.soft cond-mat.str-el physics.bio-ph


abstract: As reinforcement learning agents become increasingly integrated into complex, real-world environments, designing for safety becomes a critical consideration. We specifically focus on researching scenarios where agents can cause undesired side effects while executing a policy on a primary task. Since one can define multiple tasks for a given environment dynamics, there are two important challenges. First, we need to abstract the concept of safety that applies broadly to that environment independent of the specific task being executed. Second, we need a mechanism for the abstracted notion of safety to modulate the actions of agents executing different policies to minimize their side-effects. In this work, we propose Safety Aware Reinforcement Learning (SARL) - a framework where a virtual safe agent modulates the actions of a main reward-based agent to minimize side effects. The safe agent learns a task-independent notion of safety for a given environment. The main agent is then trained with a regularization loss given by the distance between the native action probabilities of the two agents. Since the safe agent effectively abstracts a task-independent notion of safety via its action probabilities, it can be ported to modulate multiple policies solving different tasks within the given environment without further training. We contrast this with solutions that rely on task-specific regularization metrics and test our framework on the SafeLife Suite, based on Conway's Game of Life, comprising a number of complex tasks in dynamic environments. We show that our solution is able to match the performance of solutions that rely on task-specific side-effect penalties on both the primary and safety objectives while additionally providing the benefit of generalizability and portability.


title: Robustness and Reliability of Gender Bias Assessment in Word Embeddings: The Role of Base Pairs

abstract: It has been shown that word embeddings can exhibit gender bias, and various methods have been proposed to quantify this. However, the extent to which the methods are capturing social stereotypes inherited from the data has been debated. Bias is a complex concept and there exist multiple ways to define it. Previous work has leveraged gender word pairs to measure bias and extract biased analogies. We show that the reliance on these gendered pairs has strong limitations: bias measures based off of them are not robust and cannot identify common types of real-world bias, whilst analogies utilising them are unsuitable indicators of bias. In particular, the well-known analogy "man is to computer-programmer as woman is to homemaker" is due to word similarity rather than societal bias. This has important implications for work on measuring bias in embeddings and related work debiasing embeddings.


title: Unified Robust Estimation

abstract: Robust estimation is primarily concerned with providing reliable parameter estimates in the presence of outliers. Numerous robust loss functions have been proposed in regression and classification, along with various computing algorithms. In modern penalised generalised linear models (GLM), however, there is limited research on robust estimation that can provide weights to determine the outlier status of the observations. This article proposes a unified framework based on a large family of loss functions, a composite of concave and convex functions (CC-family). Properties of the CC-family are investigated, and CC-estimation is innovatively conducted via the iteratively reweighted convex optimisation (IRCO), which is a generalisation of the iteratively reweighted least squares in robust linear regression. For robust GLM, the IRCO becomes the iteratively reweighted GLM. The unified framework contains penalised estimation and robust support vector machine and is demonstrated with a variety of data applications.


title: CoRe: Color Regression for Multicolor Fashion Garments

abstract: Developing deep networks that analyze fashion garments has many real-world applications. Among all fashion attributes, color is one of the most important yet challenging to detect. Existing approaches are classification-based and thus cannot go beyond the list of discrete predefined color names. In this paper, we handle color detection as a regression problem to predict the exact RGB values. That's why in addition to a first color classifier, we include a second regression stage for refinement in our newly proposed architecture. This second step combines two attention models: the first depends on the type of clothing, the second depends on the color previously detected by the classifier. Our final prediction is the weighted spatial pooling over the image pixels RGB values, where the illumination has been corrected. This architecture is modular and easily expanded to detect the RGBs of all colors in a multicolor garment. In our experiments, we show the benefits of each component of our architecture.


title: Scaling up reservoir engineering for error-correcting codes

abstract: Error-correcting codes are usually envisioned to counter errors by operating unitary corrections depending on the projective measurement results of some syndrome observables. We here propose a way to use them in a more integrated way, where the error correction is applied continuously and autonomously by an engineered environment. We focus on a proposal for the repetition code that counters bit-flip errors, and how to scale up the network encoding a logical quantum bit, towards stronger information protection. The challenge has been to devise a network architecture which allows to autonomously correct higher-order errors, while remaining realistic towards experimental realization by avoiding all-to-all or all-to-one coupling.


title: Topological phases of amorphous matter

abstract: Topological phases of matter are often understood and predicted with the help of crystal symmetries, although they don't rely on them to exist. In this chapter we review how topological phases have been recently shown to emerge in amorphous systems. We summarize the properties of topological states and discuss how disposing of translational invariance has motivated the surge of new tools to characterize topological states in amorphous systems, both theoretically and experimentally. The ubiquity of amorphous systems combined with the robustness of topology has the potential to bring new fundamental understanding in our classification of phases of matter, and inspire new technological developments.


title: Emergence of exceptional points and their spectroscopic signature in Dirac semimetal-dirty Superconductor heterojunction

abstract: We theoretically investigate the emergence of non-hermitian physics at the heterojunction of a type-II Dirac semi-metal (DSM) and a dirty superconductor (DSC). The non-hermiticity is introduced in the DSM through the self-energy term incorporated via the dirtiness of the superconducting material. This causes the spectra of the effective Hamiltonian to become complex, which gives rise to the appearance of the exceptional points (EPs). This complex self energy, apart from having a frequency dependence, also acquires spatial dependence as well, which is unique and can provide interesting effects related to non-hermitian physics in spectral function analysis. At an appropriate distance from the normal metal-superconductor junction of the DSC, non-hermitian degeneracies appear and a single Dirac point splits into two EPs. In the spectral function analysis, apart from the EPs, a Fermi-arc like structure also emerges, which connects the two degeneracies (EPs). The results discussed here are distinctive and possibly can be realized in spectroscopy measurements.


title: Magnetic microswimmers exhibit Bose-Einstein-like condensation

abstract: We study an active matter system comprised of magnetic microswimmers confined in a microfluidic channel and show that it exhibits a new type of self-organized behavior. Combining analytical techniques and Brownian dynamics simulations, we demonstrate how the interplay of non-equilibrium activity, external driving, and magnetic interactions leads to the condensation of swimmers at the center of the channel via a non-equilibrium phase transition that is formally akin to Bose-Einstein condensation. We find that the effective dynamics of the microswimmers can be mapped onto a diffusivity-edge problem, and use the mapping to build a generalized thermodynamic framework, which is verified by a parameter-free comparison with our simulations. Our work reveals how driven active matter has the potential to generate exotic classical non-equilibrium phases of matter with traits that are analogous to those observed in quantum systems.


title: Edge rings with $q$-linear resolutions

abstract: In the present paper, we give a complete classification of connected simple graphs whose edge rings have a $q$-linear resolution with $q \geq 2$. In particular, we show that the edge ring of a finite connected simple graph with a $q$-linear resolution, where $q \geq 3$, is a hypersurface, which was conjectured by Hibi, Matsuda, and Tsuchiya.


title: CURI: A Benchmark for Productive Concept Learning Under Uncertainty

abstract: Humans can learn and reason under substantial uncertainty in a space of infinitely many concepts, including structured relational concepts ("a scene with objects that have the same color") and ad-hoc categories defined through goals ("objects that could fall on one's head"). In contrast, standard classification benchmarks: 1) consider only a fixed set of category labels, 2) do not evaluate compositional concept learning and 3) do not explicitly capture a notion of reasoning under uncertainty. We introduce a new few-shot, meta-learning benchmark, Compositional Reasoning Under Uncertainty (CURI) to bridge this gap. CURI evaluates different aspects of productive and systematic generalization, including abstract understandings of disentangling, productive generalization, learning boolean operations, variable binding, etc. Importantly, it also defines a model-independent "compositionality gap" to evaluate the difficulty of generalizing out-of-distribution along each of these axes. Extensive evaluations across a range of modeling choices spanning different modalities (image, schemas, and sounds), splits, privileged auxiliary concept information, and choices of negatives reveal substantial scope for modeling advances on the proposed task. All code and datasets will be available online.


title: Comparative Many-Body Study of Pr$_4$Ni$_3$O$_8$ and NdNiO$_2$

abstract: We study the many-body electronic structure of the stoichiometric and electron-doped trilayer nickelate Pr$_4$Ni$_3$O$_8$ in comparison to that of the stoichiometric and hole-doped infinite layer nickelate NdNiO$_2$ within the framework of density functional plus dynamical mean field theory, noting that Pr$_4$Ni$_3$O$_8$ has the same nominal carrier concentration as NdNiO$_2$ doped to a level of 1/3 holes/Ni. We find that the correlated Ni-$3d$ shells of both of these low valence nickelates have similar many-body configurations with correlations dominated by the $d_{x^2-y^2}$ orbital. Additionally, when compared at the same nominal carrier concentration, the materials exhibit similar many-body electronic structures, self energies, and correlation strengths. Compared to cuprates, these materials are closer to the Mott-Hubbard regime due to their larger charge transfer energies. Moreover, doping involves the charge reservoir provided by the rare earth $5d$ electrons, as opposed to cuprates where it is realized via the oxygen $2p$ electrons.


title: "Interpolated Factored Green Function" Method for accelerated solution of Scattering Problems

abstract: This paper presents a novel {\em Interpolated Factored Green Function} method (IFGF) for the accelerated evaluation of the integral operators in scattering theory and other areas. Like existing acceleration methods in these fields, the IFGF algorithm evaluates the action of Green function-based integral operators at a cost of $\mathcal{O}(N\log N)$ operations for an $N$-point surface mesh. The IFGF strategy, which leads to an extremely simple algorithm, capitalizes on slow variations inherent in a certain Green function {\em analytic factor}, which is analytic up to and including infinity, and which therefore allows for accelerated evaluation of fields produced by groups of sources on the basis of a recursive application of classical interpolation methods. Unlike other approaches, the IFGF method does not utilize the Fast Fourier Transform (FFT), and is thus better suited than other methods for efficient parallelization in distributed-memory computer systems. Only a serial implementation of the algorithm is considered in this paper, however, whose efficiency in terms of memory and speed is illustrated by means of a variety of numerical experiments -- including a 43 min., single-core operator evaluation (on 10 GB of peak memory), with a relative error of $1.5\times 10^{-2}$, for a problem of acoustic size of 512$\lambda$.


title: Pseudogap metal induced by long-range Coulomb interactions

abstract: In correlated electron systems the metallic character of a material can be strongly suppressed near an integer concentration of conduction electrons as Coulomb interactions forbid the double occupancy of local atomic orbitals. While the Mott-Hubbard physics arising from such on-site interactions has been largely studied, several unexplained phenomena observed in correlated materials challenge this description and call for the development of new ideas. Here we explore a general route for obtaining correlated behavior that is decidedly different from the spin-related Mott-Hubbard mechanism and instead relies on the presence of unscreened, long-range Coulomb interactions. We find a pseudogap metal phase characterized by a divergent quasiparticle mass and the opening of a Coulomb pseudogap in the electronic spectrum. The destruction of the Fermi-liquid state occurs because the electrons move in a nearly frozen, disordered charge background, as collective charge rearrangements are drastically slowed down by the frustrating nature of long-range potentials on discrete lattices. The present pseudogap metal realizes an early conjecture by Efros, that a soft Coulomb gap should appear for quantum lattice electrons with strong unscreened interactions due to self-generated randomness.


title: Static spherical perfect fluid stars with finite radius in general relativity: a review

abstract: In this article, we provide a pedagogical review of the Tolman-Oppenheimer-Volkoff (TOV) equation and its solutions which describe static, spherically symmetric gaseous stars in general relativity. Our discussion starts with a systematic derivation of the TOV equation from the Einstein field equations and the relativistic Euler equations. Next, we give a proof for the existence and uniqueness of solutions of the TOV equation describing a star of finite radius, assuming suitable conditions on the equation of state characterizing the gas. We also prove that the compactness of the gas contained inside a sphere centered at the origin satisfies the well-known Buchdahl bound, independent of the radius of the sphere. Further, we derive the equation of state for an ideal, classical monoatomic relativistic gas from statistical mechanics considerations and show that it satisfies our assumptions for the existence of a unique solution describing a finite radius star. Although none of the results discussed in this article are new, they are usually scattered in different articles and books in the literature; hence it is our hope that this article will provide a self-contained and useful introduction to the topic of relativistic stellar models.


title: Learn to Synchronize, Synchronize to Learn

abstract: In recent years, the machine learning community has seen a continuous growing interest in research aimed at investigating dynamical aspects of both training procedures and machine learning models. Of particular interest among recurrent neural networks we have the Reservoir Computing (RC) paradigm characterized by conceptual simplicity and a fast training scheme. Yet, the guiding principles under which RC operates are only partially understood. In this work, we analyze the role played by Generalized Synchronization (GS) when training a RC to solve a generic task. In particular, we show how GS allows the reservoir to correctly encode the system generating the input signal into its dynamics. We also discuss necessary and sufficient conditions for the learning to be feasible in this approach. Moreover, we explore the role that ergodicity plays in this process, showing how its presence allows the learning outcome to apply to multiple input trajectories. Finally, we show that satisfaction of the GS can be measured by means of the Mutual False Nearest Neighbors index, which makes effective to practitioners theoretical derivations.


title: Network Localization Based Planning for Autonomous Underwater Vehicles with Inter-Vehicle Ranging

abstract: Localization between a swarm of AUVs can be entirely estimated through the use of range measurements between neighboring AUVs via a class of techniques commonly referred to as sensor network localization. However, the localization quality depends on network topology, with degenerate topologies, referred to as low-rigidity configurations, leading to ambiguous or highly uncertain localization results. This paper presents tools for rigidity-based analysis, planning, and control of a multi-AUV network which account for sensor noise and limited sensing range. We evaluate our long-term planning framework in several two-dimensional simulated environments and show we are able to generate paths in feasible time and guarantee a minimum network rigidity over the full course of the paths.


title: Adaptive Synchronization of Heterogeneous Multi-Agent Systems: A Free Observer Approach

abstract: Adaptive synchronization protocols for heterogeneous multi-agent network are investigated. The interaction between each of the agents is carried out through a directed graph. We highlight the lack of communication between agents and the presence of uncertainties in each system among the conventional problems that can arise in cooperative networks. Two methodologies are presented to deal with the uncertainties: A strategy based on robust optimal control and a strategy based on neural networks. Likewise, an input estimation methodology is designed to face the disconnection that any agent may present on the network. These control laws can guarantee synchronization between agents even when there are disturbances or no communication from any agent. Stability and boundary analyzes are performed. Cooperative cruise control simulation results are shown to validate the performance of the proposed control methods.


title: Directional Graph Networks

abstract: The lack of anisotropic kernels in graph neural networks (GNNs) strongly limits their expressiveness, contributing to well-known issues such as over-smoothing. To overcome this limitation, we propose the first globally consistent anisotropic kernels for GNNs, allowing for graph convolutions that are defined according to topologicaly-derived directional flows. First, by defining a vector field in the graph, we develop a method of applying directional derivatives and smoothing by projecting node-specific messages into the field. Then, we propose the use of the Laplacian eigenvectors as such vector field. We show that the method generalizes CNNs on an $n$-dimensional grid and is provably more discriminative than standard GNNs regarding the Weisfeiler-Lehman 1-WL test. We evaluate our method on different standard benchmarks and see a relative error reduction of 8% on the CIFAR10 graph dataset and 11% to 32% on the molecular ZINC dataset, and a relative increase in precision of 1.6% on the MolPCBA dataset. An important outcome of this work is that it enables graph networks to embed directions in an unsupervised way, thus allowing a better representation of the anisotropic features in different physical or biological problems.


title: A Novel Challenge Set for Hebrew Morphological Disambiguation and Diacritics Restoration

abstract: One of the primary tasks of morphological parsers is the disambiguation of homographs. Particularly difficult are cases of unbalanced ambiguity, where one of the possible analyses is far more frequent than the others. In such cases, there may not exist sufficient examples of the minority analyses in order to properly evaluate performance, nor to train effective classifiers. In this paper we address the issue of unbalanced morphological ambiguities in Hebrew. We offer a challenge set for Hebrew homographs -- the first of its kind -- containing substantial attestation of each analysis of 21 Hebrew homographs. We show that the current SOTA of Hebrew disambiguation performs poorly on cases of unbalanced ambiguity. Leveraging our new dataset, we achieve a new state-of-the-art for all 21 words, improving the overall average F1 score from 0.67 to 0.95. Our resulting annotated datasets are made publicly available for further research.


title: Classical black hole scattering from a worldline quantum field theory

abstract: A precise link is derived between scalar-graviton S-matrix elements and expectation values of operators in a worldline quantum field theory (WQFT), both used to describe classical scattering of a pair of black holes. The link is formally provided by a worldline path integral representation of the graviton-dressed scalar propagator, which may be inserted into a traditional definition of the S-matrix in terms of time-ordered correlators. To calculate expectation values in the WQFT a new set of Feynman rules is introduced which treats the gravitational field $h_{\mu\nu}(x)$ and position $x_i^\mu(\tau_i)$ of each black hole on equal footing. Using these both the next-order classical gravitational radiation $\langle h^{\mu\nu}(k)\rangle$ (previously unknown) and deflection $\Delta p_i^\mu$ from a binary black hole scattering event are obtained. The latter can also be obtained from the eikonal phase of a $2\to2$ scalar S-matrix, which we show to correspond to the free energy of the WQFT.


title: Machine-Learned Preconditioners for Linear Solvers in Geophysical Fluid Flows

abstract: It is tested whether machine learning methods can be used for preconditioning to increase the performance of the linear solver -- the backbone of the semi-implicit, grid-point model approach for weather and climate models. Embedding the machine-learning method within the framework of a linear solver circumvents potential robustness issues that machine learning approaches are often criticized for, as the linear solver ensures that a sufficient, pre-set level of accuracy is reached. The approach does not require prior availability of a conventional preconditioner and is highly flexible regarding complexity and machine learning design choices. Several machine learning methods are used to learn the optimal preconditioner for a shallow-water model with semi-implicit timestepping that is conceptually similar to more complex atmosphere models. The machine-learning preconditioner is competitive with a conventional preconditioner and provides good results even if it is used outside of the dynamical range of the training dataset.

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


title: LOGAN: Local Group Bias Detection by Clustering

abstract: Machine learning techniques have been widely used in natural language processing (NLP). However, as revealed by many recent studies, machine learning models often inherit and amplify the societal biases in data. Various metrics have been proposed to quantify biases in model predictions. In particular, several of them evaluate disparity in model performance between protected groups and advantaged groups in the test corpus. However, we argue that evaluating bias at the corpus level is not enough for understanding how biases are embedded in a model. In fact, a model with similar aggregated performance between different groups on the entire data may behave differently on instances in a local region. To analyze and detect such local bias, we propose LOGAN, a new bias detection technique based on clustering. Experiments on toxicity classification and object classification tasks show that LOGAN identifies bias in a local region and allows us to better analyze the biases in model predictions.


title: Reinforcement Learning in Deep Structured Teams: Initial Results with Finite and Infinite Valued Features

abstract: In this paper, we consider Markov chain and linear quadratic models for deep structured teams with discounted and time-average cost functions under two non-classical information structures, namely, deep state sharing and no sharing. In deep structured teams, agents are coupled in dynamics and cost functions through deep state, where deep state refers to a set of orthogonal linear regressions of the states. In this article, we consider a homogeneous linear regression for Markov chain models (i.e., empirical distribution of states) and a few orthonormal linear regressions for linear quadratic models (i.e., weighted average of states). Some planning algorithms are developed for the case when the model is known, and some reinforcement learning algorithms are proposed for the case when the model is not known completely. The convergence of two model-free (reinforcement learning) algorithms, one for Markov chain models and one for linear quadratic models, is established. The results are then applied to a smart grid.


title: A search for ultrahigh-energy neutrinos associated with astrophysical sources using the third flight of ANITA

abstract: The ANtarctic Impulsive Transient Antenna (ANITA) long-duration balloon experiment is sensitive to interactions of ultra high-energy (E > 10^{18} eV) neutrinos in the Antarctic ice sheet. The third flight of ANITA, lasting 22 days, began in December 2014. We develop a methodology to search for energetic neutrinos spatially and temporally coincident with potential source classes in ANITA data. This methodology is applied to several source classes: the TXS 0506+056 blazar and NGC 1068, the first potential TeV neutrino sources identified by IceCube, flaring high-energy blazars reported by the Fermi All-Sky Variability Analysis, gamma-ray bursts, and supernovae. Among searches within the five source classes, one candidate was identified as associated with SN 2015D, although not at a statistically significant level. We proceed to place upper limits on the source classes. We further comment on potential applications of this methodology to more sensitive future instruments.


title: Dif-MAML: Decentralized Multi-Agent Meta-Learning

abstract: The objective of meta-learning is to exploit the knowledge obtained from observed tasks to improve adaptation to unseen tasks. As such, meta-learners are able to generalize better when they are trained with a larger number of observed tasks and with a larger amount of data per task. Given the amount of resources that are needed, it is generally difficult to expect the tasks, their respective data, and the necessary computational capacity to be available at a single central location. It is more natural to encounter situations where these resources are spread across several agents connected by some graph topology. The formalism of meta-learning is actually well-suited to this decentralized setting, where the learner would be able to benefit from information and computational power spread across the agents. Motivated by this observation, in this work, we propose a cooperative fully-decentralized multi-agent meta-learning algorithm, referred to as Diffusion-based MAML or Dif-MAML. Decentralized optimization algorithms are superior to centralized implementations in terms of scalability, avoidance of communication bottlenecks, and privacy guarantees. The work provides a detailed theoretical analysis to show that the proposed strategy allows a collection of agents to attain agreement at a linear rate and to converge to a stationary point of the aggregate MAML objective even in non-convex environments. Simulation results illustrate the theoretical findings and the superior performance relative to the traditional non-cooperative setting.


title: LETI: Latency Estimation Tool and Investigation of Neural Networks inference on Mobile GPU

abstract: A lot of deep learning applications are desired to be run on mobile devices. Both accuracy and inference time are meaningful for a lot of them. While the number of FLOPs is usually used as a proxy for neural network latency, it may be not the best choice. In order to obtain a better approximation of latency, research community uses look-up tables of all possible layers for latency calculation for the final prediction of the inference on mobile CPU. It requires only a small number of experiments. Unfortunately, on mobile GPU this method is not applicable in a straight-forward way and shows low precision. In this work, we consider latency approximation on mobile GPU as a data and hardware-specific problem. Our main goal is to construct a convenient latency estimation tool for investigation(LETI) of neural network inference and building robust and accurate latency prediction models for each specific task. To achieve this goal, we build open-source tools which provide a convenient way to conduct massive experiments on different target devices focusing on mobile GPU. After evaluation of the dataset, we learn the regression model on experimental data and use it for future latency prediction and analysis. We experimentally demonstrate the applicability of such an approach on a subset of popular NAS-Benchmark 101 dataset and also evaluate the most popular neural network architectures for two mobile GPUs. As a result, we construct latency prediction model with good precision on the target evaluation subset. We consider LETI as a useful tool for neural architecture search or massive latency evaluation. The project is available at https://github.com/leti-ai


title: The bosonic and fermionic propagators under an external electromagnetic field in a Euclidean manifold

abstract: In this paper, we will calculate the bosonic as well as fermionic propagators under classical homogeneous and constant magnetic and electric fields in a Euclidean space. For this, we will reassess the Ritus' method for calculating the Feynman propagator.


title: Affine Homogeneous Surfaces with Hessian rank 2 and Algebras of Differential Invariants

abstract: Consider a graphed holomorphic surface $u=F(x,y)$ in $\mathbb{C}^3_{x,y,u}$ under the action of the affine transformation group $A(3)$. In 1999, Eastwood and Ezhov obtained a list of homogeneous models by determining possible tangential vector fields. Inspired by Olver's recurrence formulas, we study the algebra of $A(3)$ differential invariants of surfaces. We obtain necessary conditions for homogeneity of algebraic nature. Solving these conditions, we organise homogeneous models in inequivalent branches.


title: Jet evolution in a dense QCD medium

abstract: To probe the properties of the quark-gluon plasma created in heavy-ion collisions, a very useful class of observables refers to the propagation of energetic jets. A jet is a collimated spray of particles generated via successive parton branchings, starting with a virtual quark or gluon produced by the collision. When such a jet is produced in the dense environment of a nucleus-nucleus collision, its interactions with the surrounding medium lead to a modification of its properties, phenomenon known as jet quenching. In this thesis, we develop a new theory to describe jet quenching. We compute for the first time the effects of the medium on multiple vacuum-like emissions, that is emissions triggered by the virtuality of the initial parton. We present a new physical picture for jet evolution, with notably a factorisation in time between vacuum-like emissions and medium-induced emissions. This picture is Markovian, hence well suited for a Monte Carlo implementation that we develop in the parton shower JetMed. We then investigate the phenomenological consequences of our new picture on jet observables and especially the jet nuclear modification factor $R_{AA}$, the Soft Drop $z_g$ distribution and the jet fragmentation function. Our Monte Carlo results prove to be in good agreement with the LHC measurements.


title: A note on long powers of paths in tournaments

abstract: A square of a path on $k$ vertices is a directed path $x_1\ldots x_k$, where $x_i$ is directed to $x_{i+2}$, for every $i\in \{1,\ldots, k-1\}$. Recently, Yuster showed that any tournament on $n$ vertices contains a square of a path of length at least $n^{0.295}$. In this short note, we improve this bound. More precisely, we show that for every $\varepsilon>0$, there exists $c_{\varepsilon}>0$ such that any tournament on $n$ vertices contains a square of a path on at least $c_{\varepsilon}n^{1-\varepsilon}$ vertices.


title: Entangled subspaces and generic local state discrimination with pre-shared entanglement

abstract: Walgate and Scott have determined the maximum number of generic pure quantum states that can be unambiguously discriminated by an LOCC measurement [Journal of Physics A: Mathematical and Theoretical, 41:375305, 08 2008]. In this work, we determine this number in a more general setting in which the local parties have access to pre-shared entanglement in the form of a resource state. We find that, for an arbitrary pure resource state, this number is equal to the Krull dimension of (the closure of) the set of pure states obtainable from the resource state by SLOCC. Surprisingly, a generic resource state maximizes this number. Local state discrimination is closely related to the topic of entangled subspaces, which we study in its own right. We introduce $r$-entangled subspaces, which naturally generalize previously studied spaces to higher multipartite entanglement. We use algebraic-geometric methods to determine the maximum dimension of an $r$-entangled subspace, and present novel explicit constructions of such spaces. We obtain similar results for symmetric and antisymmetric $r$-entangled subspaces, which correspond to entangled subspaces of bosonic and fermionic systems, respectively.


title: Exploiting Network Topology for Accelerated Bayesian Inference of Grain Surface Reaction Networks

abstract: In the study of grain-surface chemistry in the interstellar medium, there exists much uncertainty regarding the reaction mechanisms with few constraints on the abundances of grain-surface molecules. Bayesian inference can be performed to determine the likely reaction rates. In this work, we consider methods for reducing the computational expense of performing Bayesian inference on a reaction network by looking at the geometry of the network. Two methods of exploiting the topology of the reaction network are presented. One involves reducing a reaction network to just the reaction chains with constraints on them. After this, new constraints are added to the reaction network and it is shown that one can separate this new reaction network into sub-networks. The fact that networks can be separated into sub-networks is particularly important for the reaction networks of interstellar complex organic molecules, whose surface reaction networks may have hundreds of reactions. Both methods allow the maximum-posterior reaction rate to be recovered with minimal bias.


title: The deployment of the ICARUS LAr detector on the short baseline (SBN) neutrino beam at FNAL

abstract: The Icarus T600 detector represents the first example of a fully working large-mass LAr detector. After operations at the LNGS INFN laboratories, it has been refurbished at CERN in 2015-2017 and then installed as far detector on the BNB neutrino beamline at FNAL. The main operations involved in the T600 overhauling are thouroghly described in this paper.


title: Transport and fluctuations in mass aggregation processes: mobility driven clustering

abstract: We calculate the bulk-diffusion coefficient and the conductivity in a broad class of conserved-mass aggregation processes on a ring of discrete sites. These processes involve chipping and fragmentation of masses, which diffuse around and aggregate upon contact with their neighboring masses. We find that, even in the absence of microscopic time reversibility, the systems satisfy an Einstein relation, which connects the ratio of the conductivity and the bulk-diffusion coefficient to mass fluctuation. Interestingly, when aggregation dominates over chipping, the conductivity or, equivalently, the mobility, gets enhanced. The enhancement in conductivity, in accordance with the Einstein relation, results in large mass fluctuations, implying a {\it mobility driven clustering} in the system. Indeed, in a certain parameter regime, we demonstrate that the conductivity diverges beyond a critical density, signaling the onset of a condensation transition observed in the past. In a striking similarity to Bose-Einstein condensation, the condensate formation along with the diverging conductivity thus underlies a dynamic "superfluidlike" transition in these nonequilibrium systems. Notably, the bulk-diffusion coefficient remains finite in all cases. Our analytic results are in a quite good agreement with simulations.


title: The cosmological evolution of ultralight axionlike scalar fields

abstract: We examine the cosmological evolution of ultralight axionlike (ULA) scalar fields with potentials of the form $V(\phi) = m^2 f^2[1 - \cos(\phi/f)]^n$, with particular emphasis on the deviation in their behavior from the corresponding small$-\phi$ power-law approximations to these potentials: $V(\phi) \propto \phi^{2n}$. We show that in the slow-roll regime, when $\dot \phi^2/2 \ll V(\phi)$, the full ULA potentials yield a more interesting range of possibilities for quintessence than do the corresponding power law approximations. For rapidly oscillating scalar fields, we derive the equation of state parameter and oscillation frequency for the ULA potentials and show how they deviate from the corresponding power-law values. We derive an analytic expression for the equation of state parameter that better approximates the ULA value than does the pure power-law approximation.


title: A General Framework for Decentralized Safe Optimal Control of Connected and Automated Vehicles in Multi-Lane Intersections

abstract: We address the problem of optimally controlling Connected and Automated Vehicles (CAVs) arriving from four multi-lane roads at an intersection where they conflict in terms of safely crossing (including turns) with no collision. The objective is to jointly minimize the travel time and energy consumption of each CAV while ensuring safety. This problem was solved in prior work for single-lane roads. A direct extension to multiple lanes on each road is limited by the computational complexity required to obtain an explicit optimal control solution. Instead, we propose a general framework that first converts a multi-lane intersection problem into a decentralized optimal control problem for each CAV with less conservative safety constraints than prior work. We then employ a method combining optimal control and control barrier functions, which has been shown to efficiently track tractable unconstrained optimal CAV trajectories while also guaranteeing the satisfaction of all constraints. Simulation examples are included to show the effectiveness of the proposed framework under symmetric and asymmetric intersection geometries and different schemes for CAV sequencing.


title: COD3S: Diverse Generation with Discrete Semantic Signatures

abstract: We present COD3S, a novel method for generating semantically diverse sentences using neural sequence-to-sequence (seq2seq) models. Conditioned on an input, seq2seq models typically produce semantically and syntactically homogeneous sets of sentences and thus perform poorly on one-to-many sequence generation tasks. Our two-stage approach improves output diversity by conditioning generation on locality-sensitive hash (LSH)-based semantic sentence codes whose Hamming distances highly correlate with human judgments of semantic textual similarity. Though it is generally applicable, we apply COD3S to causal generation, the task of predicting a proposition's plausible causes or effects. We demonstrate through automatic and human evaluation that responses produced using our method exhibit improved diversity without degrading task performance.


title: Inverse-closedness of the subalgebra of locally nuclear operators

abstract: Let $X$ be a Banach space and $T$ be a bounded linear operator acting in $l_p(\mathbb Z^c,X)$, $1\le p\le\infty$. The operator $T$ is called \emph{locally nuclear} if it can be represented in the form \begin{equation*} (Tx)_k=\sum\limits_{m\in\mathbb Z^c} b_{km}x_{k-m},\qquad k\in\mathbb Z^c, \end{equation*} where $b_{km}:\,X\to X$ are nuclear, \begin{equation*} \lVert b_{km}\rVert_{\mathfrak S_1}\le\beta_{m},\qquad k,m\in\mathbb Z^c, \end{equation*} $\lVert\cdot\rVert_{\mathfrak S_1}$ is the nuclear norm, $\beta\in l_{1}(\mathbb Z^c,\mathbb C)$ or $\beta\in l_{1,g}(\mathbb Z^c,\mathbb C)$, and $g$ is an appropriate weight on $\mathbb Z^c$. It is established that if $T$ is locally nuclear and the operator $\mathbf1+T$ is invertible, then the inverse operator $(\mathbf1+T)^{-1}$ has the form $\mathbf1+T_1$, where $T_1$ is also locally nuclear. This result is refined for the case of operators acting in $L_p(\mathbb R^c,\mathbb C)$.


title: The Heisenberg Calculus, Index Theory and Cyclic (Co)homology

abstract: A hypoelliptic operator in the Heisenberg calculus on a compact contact manifold is a Fredholm operator. Its symbol determines an element in the K-theory of the noncommutative algebra of Heisenberg symbols. We construct a periodic cyclic cocycle which, when paired with the Connes-Chern character of the principal Heisenberg symbol, calculates the index. Our index formula is local, i.e. given as a local expression in terms of the principal symbol of the operator and a connection on TM and its curvature. We prove our index formula by reduction to Boutet de Monvel's index theorem for Toeplitz operators.


title: The white dwarf binary pathways survey V. The Gaia white dwarf plus AFGK binary sample and the identification of 23 close binaries

abstract: Close white dwarf binaries consisting of a white dwarf and an A, F, G or K type main sequence star, henceforth close WD+AFGK binaries, are ideal systems to understand the nature of type Ia supernovae progenitors and to test binary evolution models. In this work we identify 775 WD+AFGK candidates from TGAS (The Tycho-Gaia Astrometric Solution) and Gaia Data Release 2 (DR2), a well-defined sample of stars with available parallaxes, and we measure radial velocities (RVs) for 275 of them with the aim of identifying close binaries. The RVs have been measured from high resolution spectra obtained at the Xinglong 2.16m Telescope and the San Pedro M\'artir 2.12m Telescope and/or from available LAMOST DR6 (low-resolution) and RAVE DR5 (medium-resolution) spectra. We identify 23 WD+AFGK systems displaying more than 3$\sigma$ RV variation among 151 systems for which the measured values are obtained from different nights. Our WD+AFGK binary sample contains both AFGK dwarfs and giants, with a giant fraction $\sim$43%. The close binary fractions we determine for the WD+AFGK dwarf and giant samples are $\simeq$24% and $\simeq$15%, respectively. We also determine the stellar parameters (i.e. effective temperature, surface gravity, metallicity, mass and radius) of the AFGK companions with available high resolution spectra. The stellar parameter distributions of the AFGK companions that are members of close and wide binary candidates do not show statistically significant differences.


title: Viscous properties of hot and dense QCD matter in the presence of a magnetic field

abstract: We have studied the effect of strong magnetic field on the viscous properties of hot QCD matter at finite chemical potential by calculating the shear ($\eta$) and bulk ($\zeta$) viscosities. The viscosities are calculated using kinetic theory in the relaxation time approximation. The interactions are incorporated through the quasiparticle masses of partons at strong magnetic field and finite chemical potential. From this study, one can understand the effects of strong magnetic field and chemical potential on the sound attenuation through the Prandtl number (Pl), on the nature of the flow by the Reynolds number (Rl), and on the relative behavior between shear viscosity and bulk viscosity through the ratio $\zeta/\eta$. We have found that, $\eta$ and $\zeta$ get increased in a strong magnetic field and the additional presence of chemical potential further enhances their magnitudes. With the increase of temperature, $\eta$ increases in a strong magnetic field as well as in the absence of magnetic field, whereas $\zeta$ decreases with the temperature, contrary to its increase in the absence of magnetic field. We have observed that, the Prandtl number gets increased in the presence of strong magnetic field and chemical potential as compared to the isotropic one, but it always remains larger than 1, thus the momentum diffusion largely affects the sound attenuation in the medium. The Reynolds number gets lowered than 1 in a strong magnetic field and it becomes further decreased in an additional presence of chemical potential, so the kinematic viscosity dominates over the characteristic length scale of the system. Finally, $\zeta/\eta$ becomes larger than 1, contrary to its value in the absence of magnetic field and chemical potential where it is less than 1, so the bulk viscosity prevails over the shear viscosity for the hot and dense QCD matter in the presence of a strong magnetic field.


title: Critical polynomials in the nonplanar and continuum percolation models

abstract: Exact or precise thresholds have been intensively studied since the introduction of the percolation model. Recently the critical polynomial $P_{\rm B}(p,L)$ was introduced for planar-lattice percolation models, where $p$ is the occupation probability and $L$ is the linear system size. The solution of $P_{\rm B} = 0$ can reproduce all known exact thresholds and leads to unprecedented estimates for thresholds of unsolved planar-lattice models. In two dimensions, assuming the universality of $P_{\rm B}$, we use it to study a nonplanar lattice model, i.e., the equivalent-neighbor lattice bond percolation, and the continuum percolation of identical penetrable disks, by Monte Carlo simulations and finite-size scaling analysis. It is found that, in comparison with other quantities, $P_{\rm B}$ suffers much less from finite-size corrections. As a result, we obtain a series of high-precision thresholds $p_c(z)$ as a function of coordination number $z$ for equivalent-neighbor percolation with $z$ up to O$(10^5)$, and clearly confirm the asymptotic behavior $zp_c-1 \sim 1/\sqrt{z}$ for $z \rightarrow \infty$. For the continuum percolation model, we surprisingly observe that the finite-size correction in $P_{\rm B}$ is unobservable within uncertainty O$(10^{-5})$ as long as $L \geq 3$. The estimated threshold number density of disks is $\rho_c = 1.436 325 05(10)$, slightly below the most recent result $\rho_c = 1.436 325 45(8)$ of Mertens and Moore obtained by other means. Our work suggests that the critical polynomial method can be a powerful tool for studying nonplanar and continuum systems in statistical mechanics.


title: Testing Tail Weight of a Distribution Via Hazard Rate

abstract: Understanding the shape of a distribution of data is of interest to people in a great variety of fields, as it may affect the types of algorithms used for that data. We study one such problem in the framework of distribution property testing, characterizing the number of samples required to to distinguish whether a distribution has a certain property or is far from having that property. In particular, given samples from a distribution, we seek to characterize the tail of the distribution, that is, understand how many elements appear infrequently. We develop an algorithm based on a careful bucketing scheme that distinguishes light-tailed distributions from non-light-tailed ones with respect to a definition based on the hazard rate, under natural smoothness and ordering assumptions. We bound the number of samples required for this test to succeed with high probability in terms of the parameters of the problem, showing that it is polynomial in these parameters. Further, we prove a hardness result that implies that this problem cannot be solved without any assumptions.


title: GLOSS: Tensor-Based Anomaly Detection in Spatiotemporal Urban Traffic Data

abstract: Anomaly detection in spatiotemporal data is a challenging problem encountered in a variety of applications including hyperspectral imaging, video surveillance and urban traffic monitoring. In the case of urban traffic data, anomalies refer to unusual events such as traffic congestion and unexpected crowd gatherings. Detecting these anomalies is challenging due to the dependence of anomaly definition on time and space. In this paper, we introduce an unsupervised tensor-based anomaly detection method for spatiotemporal urban traffic data. The proposed method assumes that the anomalies are sparse and temporally continuous, {i.e.}, anomalies appear as spatially contiguous groups of locations that show anomalous values consistently for a short duration of time. Furthermore, a manifold embedding approach is adopted to preserve the local geometric structure of the data across each mode. The proposed framework, Graph Regularized Low-rank plus Temporally Smooth Sparse decomposition (GLOSS), is formulated as an optimization problem and solved using alternating method of multipliers (ADMM). The resulting algorithm is shown to converge and be robust against missing data and noise. The proposed framework is evaluated on both synthetic and real spatiotemporal urban traffic data and compared with baseline methods.


title: Iterative Methods for Computing Eigenvectors of Nonlinear Operators

abstract: In this chapter we are examining several iterative methods for solving nonlinear eigenvalue problems. These arise in variational image-processing, graph partition and classification, nonlinear physics and more. The canonical eigenproblem we solve is $T(u)=\lambda u$, where $T:\R^n\to \R^n$ is some bounded nonlinear operator. Other variations of eigenvalue problems are also discussed. We present a progression of 5 algorithms, coauthored in recent years by the author and colleagues. Each algorithm attempts to solve a unique problem or to improve the theoretical foundations. The algorithms can be understood as nonlinear PDE's which converge to an eigenfunction in the continuous time domain. This allows a unique view and understanding of the discrete iterative process. Finally, it is shown how to evaluate numerically the results, along with some examples and insights related to priors of nonlinear denoisers, both classical algorithms and ones based on deep networks.


title: High quality Nelson-Barr solution to the strong CP problem with $\theta=\pi$

abstract: We discuss composite UV completions of the Nelson-Barr(NB) solution to the strong CP problem. In our construction, the CP symmetry is broken spontaneously by the dynamics of a hidden QCD at $\theta=\pi$. We focus on the minimal implementation of the NB construction where the visible sector contains one extra pair of vector-like up/down quarks. We show that the minimal NB theory suffers from a quality problem, and discuss how composite UV completions may resolve it. We present a simple calculable scheme, free of a quality problem, where dynamical CP violation in the hidden sector is mediated through a scalar portal to the visible sector, which successfully realizes the NB construction.


title: The Payload for Ultrahigh Energy Observations (PUEO): A White Paper

abstract: The Payload for Ultrahigh Energy Observations (PUEO) long-duration balloon experiment is designed to have world-leading sensitivity to ultrahigh-energy neutrinos at energies above 1 EeV. Probing this energy region is essential for understanding the extreme-energy universe at all distance scales. PUEO leverages experience from and supersedes the successful Antarctic Impulsive Transient Antenna (ANITA) program, with an improved design that drastically improves sensitivity by more than an order of magnitude at energies below 30 EeV. PUEO will either make the first significant detection of or set the best limits on ultrahigh-energy neutrino fluxes.

categories: astro-ph.IM astro-ph.HE hep-ex physics.ins-det


title: SAFENet: Self-Supervised Monocular Depth Estimation with Semantic-Aware Feature Extraction

abstract: Self-supervised monocular depth estimation has emerged as a promising method because it does not require groundtruth depth maps during training. As an alternative for the groundtruth depth map, the photometric loss enables to provide self-supervision on depth prediction by matching the input image frames. However, the photometric loss causes various problems, resulting in less accurate depth values compared with supervised approaches. In this paper, we propose SAFENet that is designed to leverage semantic information to overcome the limitations of the photometric loss. Our key idea is to exploit semantic-aware depth features that integrate the semantic and geometric knowledge. Therefore, we introduce multi-task learning schemes to incorporate semantic-awareness into the representation of depth features. Experiments on KITTI dataset demonstrate that our methods compete or even outperform the state-of-the-art methods. Furthermore, extensive experiments on different datasets show its better generalization ability and robustness to various conditions, such as low-light or adverse weather.


title: Spreading of viscoplastic droplets

abstract: The spreading under surface tension and gravity of a droplet of yield-stress fluid over a thin film of the same material is studied. The droplet converges to a final equilibrium shape once the driving stresses inside the droplet fall below the yield stress. Scaling laws are presented for the final radius and complemented with an asymptotic analysis for shallow droplets. Moreover, numerical simulations using the volume-of-fluid method and a regularized constitutive law, and experiments with an aqueous solution of Carbopol are presented.


title: Site percolation on square and simple cubic lattices with extended neighborhoods and their continuum limit

abstract: By means of Monte Carlo simulations, we study long-range site percolation on square and simple cubic lattices with various combinations of nearest neighbors, up to the eighth neighbors for the square lattice and the ninth neighbors for the simple cubic lattice. We find precise thresholds for 23 systems using a single-cluster growth algorithm. Site percolation on lattices with compact neighborhoods can be mapped to problems of lattice percolation of extended shapes, such as disks and spheres, and the thresholds can be related to the continuum thresholds $\eta_c$ for objects of those shapes. This mapping implies $zp_{c} \sim 4 \eta_c = 4.51235$ in 2D and $zp_{c} \sim 8 \eta_c = 2.73512$ in 3D for large $z$ for circular and spherical neighborhoods respectively, where $z$ is the coordination number. Fitting our data to the form $p_c = c/(z+b)$ we find good agreement with $c = 2^d \eta_c$; the constant $b$ represents a finite-$z$ correction term. We also study power-law fits of the thresholds.


title: Mass Gatherings for Political Expression Had No Discernable Association with the Local Course of the COVID-19 Pandemic in the USA in 2020 and 2021

abstract: Epidemic disease can spread during mass gatherings. We assessed the impact on the local-area trajectory of the COVID-19 epidemic of a type of mass gathering about which comprehensive data were available. Here, we examined five types of political events in 2020 and 2021: the US primary elections; the US Senate special election in Georgia; the gubernatorial elections in New Jersey and Virginia; Donald Trump's political rallies; and the Black Lives Matter protests. Our study period encompassed over 700 such mass gatherings during multiple phases of the pandemic. We used data from the 48 contiguous states, representing 3,119 counties, and we implemented a novel extension of a recently developed non-parametric, generalized difference-in-difference estimator with a (high-quality) matching procedure for panel data to estimate the average effect of the gatherings on local mortality and other outcomes. There were no statistically significant increases in cases, deaths, or a measure of epidemic transmissibility (Rt) in a 40-day period following large-scale political activities. We estimated small and statistically insignificant effects, corresponding to an average difference of -0.0567 deaths (95% CI = -0.319, 0.162), and 8.275 cases (95% CI = -1.383, 20.7), on each day, for counties that held mass gatherings for political expression compared to matched control counties. In sum, there is no statistical evidence of a material increase in local COVID-19 deaths, cases, or transmissibility after mass gatherings for political expression during the first two years of the pandemic in the USA. This may relate to the specific manner in which such activities are typically conducted.


title: Exactly solvable SIR models, their extensions and their application to sensitive pandemic forecasting

abstract: The classic SIR model of epidemic dynamics is solved completely by quadratures, including a time integral transform expanded in a series of incomplete gamma functions. The model is also generalized to arbitrary time-dependent infection rates and solved explicitly when the control parameter depends on the accumulated infections at time $t$. Numerical results are presented by way of comparison. Autonomous and non-autonomous generalizations of SIR for interacting regions are also considered, including non-separability for two or more interacting regions. A reduction of simple SIR models to one variable leads us to a generalized logistic model, Richards model, which we use to fit Mexico's COVID-19 data up to day number 134. Forecasting scenarios resulting from various fittings are discussed. A critique to the applicability of these models to current pandemic outbreaks in terms of robustness is provided. Finally, we obtain the bifurcation diagram for a discretized version of Richards model, displaying period doubling bifurcation to chaos.


title: A search for non-reciprocal magnons in MnPS$_3$

abstract: Recent articles have suggested that the quasi-two dimensional antiferromagnet MnPS$_3$ may have non-reciprocal magnons, whereby magnons in a Brillouin zone corner at +q have different energies than those at $-$q. The magnons along the Brillouin zone boundaries were measured using neutron three-axis spectrometry, paying careful attention to the resolution function, to determine whether such non-reciprocity was present. The data show that, within the resolution, there are no significant differences between the magnons in opposite Brillouin zone corners.


title: Multi-Rees algebras on principal ideal rings

abstract: When $R$ is a Noetherian ring and we have a family of ideals in which every ideal contains at least one nonzero divisor, then it is already known that the defining ideal of the multi-Rees algebra of these ideals is equal to a saturated ideal. In such a case to get the defining ideal of the multi-Rees algebra we only need to saturate the first syzygies of direct sum of this family of ideals. However, this fact is not true, when at least one of these ideals does not contain any nonzero divisor. In this paper we show that the defining ideal of the multi-Rees algebra of a family of ideals of a polynomial ring over a principal ideal ring, is equal to another kind of saturated ideal, where we saturate more explicit polynomials other than just first syzygies. Please notice that in general some of these ideals may not contain nonzero divisors. Given this explicit formula, we can compute Gr\"{o}bner basis of the defining ideal using an elimination order, which we talk about in the present paper.


title: Index theory and Noncommutative Geometry: A Survey

abstract: This article is an introductory survey of index theory in the context of noncommutative geometry, written for the occasion of the 70th birthday of Alain Connes.


title: Rapidly rotating $\Delta$-resonance-admixed hypernuclear compact stars

abstract: We use a set of hadronic equations of state derived from covariant density functional theory to study the impact of their high-density behavior on the properties of rapidly rotating $\Delta$-resonance-admixed hyperonic compact stars. In particular, we explore systematically the effects of variations of the bulk energy isoscalar skewness, $Q_{\mathrm{sat}}$, and the symmetry energy slope, $L_{\mathrm{sym}}$, on the masses of rapidly rotating compact stars. With models for equation of state satisfying all the modern astrophysical constraints, excessively large gravitational masses of around $2.5 \, M_{\odot}$ are only obtained under three conditions: (a) strongly attractive $\Delta$-resonance potential in nuclear matter, (b) maximally fast (Keplerian) rotation, and (c) parameter ranges $Q_{\mathrm{sat}}\gtrsim500$ MeV and $L_{\mathrm{sym}}\lesssim50$ MeV. These values of $Q_{\mathrm{sat}}$ and $L_{\mathrm{sym}}$ have a rather small overlap with a large sample (total of about 260) parametrizations of covariant nucleonic density functionals. The extreme nature of requirements (a)-(c) reinforces the theoretical expectation that the secondary object involved in the GW190814 event is likely to be a low-mass black hole rather than a supramassive neutron star.


title: Nonlinear Topological Valley Hall Edge States Arising from Type-II Dirac Cones

abstract: Type-II Dirac/Weyl points, although impermissible in particle physics due to Lorentz covariance, were uncovered in condensed matter physics, driven by fundamental interest and intriguing applications of topological materials. Recently, there has been a surge of exploration of such generic points using various engineered platforms including photonic crystals, waveguide arrays, metasurfaces, magnetized plasma and polariton micropillars, aiming towards relativistic quantum emulation and understanding of exotic topological phenomena. Such endeavors, however, have focused mainly on linear topological states in real or synthetic Dirac/Weyl materials. Here, we demonstrate nonlinear valley Hall edge states (VHESs) in laser-writing anisotropic photonic lattices hosting type-II Dirac points. These self-trapped VHESs, manifested as topological gap quasi-solitons, are fundamentally distinct from their linear counterparts in type-I lattices and from all previously found topological solitons. Our finding may provide a route for understanding nonlinear phenomena in Lorentz-violating topological systems and for developing advanced light sources from topological insulator lasers.


title: Keep CALM and Explore: Language Models for Action Generation in Text-based Games

abstract: Text-based games present a unique challenge for autonomous agents to operate in natural language and handle enormous action spaces. In this paper, we propose the Contextual Action Language Model (CALM) to generate a compact set of action candidates at each game state. Our key insight is to train language models on human gameplay, where people demonstrate linguistic priors and a general game sense for promising actions conditioned on game history. We combine CALM with a reinforcement learning agent which re-ranks the generated action candidates to maximize in-game rewards. We evaluate our approach using the Jericho benchmark, on games unseen by CALM during training. Our method obtains a 69% relative improvement in average game score over the previous state-of-the-art model. Surprisingly, on half of these games, CALM is competitive with or better than other models that have access to ground truth admissible actions. Code and data are available at https://github.com/princeton-nlp/calm-textgame.


title: Generalized Measure of Quantum Fisher Information

abstract: In this work, we present a lower bound on the quantum Fisher information (QFI) which is efficiently computable on near-term quantum devices. This bound itself is of interest, as we show that it satisfies the canonical criteria of a QFI measure. Specifically, it is essentially a QFI measure for subnormalized states, and hence it generalizes the standard QFI in this sense. Our bound employs the generalized fidelity applied to a truncated state, which is constructed via the $m$ largest eigenvalues and their corresponding eigenvectors of the probe quantum state $\rho_{\theta}$. Focusing on unitary families of exact states, we analyze the properties of our proposed lower bound, and demonstrate its utility for efficiently estimating the QFI.

categories: quant-ph math-ph math.MP physics.data-an


title: Blueprint for a Scalable Photonic Fault-Tolerant Quantum Computer

abstract: Photonics is the platform of choice to build a modular, easy-to-network quantum computer operating at room temperature. However, no concrete architecture has been presented so far that exploits both the advantages of qubits encoded into states of light and the modern tools for their generation. Here we propose such a design for a scalable and fault-tolerant photonic quantum computer informed by the latest developments in theory and technology. Central to our architecture is the generation and manipulation of three-dimensional hybrid resource states comprising both bosonic qubits and squeezed vacuum states. The proposal enables exploiting state-of-the-art procedures for the non-deterministic generation of bosonic qubits combined with the strengths of continuous-variable quantum computation, namely the implementation of Clifford gates using easy-to-generate squeezed states. Moreover, the architecture is based on two-dimensional integrated photonic chips used to produce a qubit cluster state in one temporal and two spatial dimensions. By reducing the experimental challenges as compared to existing architectures and by enabling room-temperature quantum computation, our design opens the door to scalable fabrication and operation, which may allow photonics to leap-frog other platforms on the path to a quantum computer with millions of qubits.


title: The Index Theorem for Toeplitz Operators as a Corollary of Bott Periodicity

abstract: This is an expository paper about the index of Toeplitz operators, and in particular Boutet de Monvel's theorem. We prove Boutet de Monvel's theorem as a corollary of Bott periodicity, and independently of the Atiyah-Singer index theorem.


title: 21cm foregrounds and polarization leakage: a user's guide on cleaning and mitigation strategies

abstract: The success of HI intensity mapping is largely dependent on how well 21cm foreground contamination can be controlled. In order to progress our understanding further, we present a range of simulated foreground data from four different $\sim3000$\,deg$^2$ sky regions, with and without effects from polarization leakage. Combining these with underlying cosmological HI simulations creates a range of single-dish intensity mapping test cases that require different foreground treatments. This allows us to conduct the most generalized study to date into 21cm foregrounds and their cleaning techniques for the post-reionization era. We first provide a pedagogical review of the most commonly used blind foreground removal techniques (PCA/SVD, FASTICA, GMCA). We also trial a non-blind parametric fitting technique and discuss potential hybridization of methods. We highlight the similarities and differences in these techniques finding that the blind methods produce near equivalent results, and we explain the fundamental reasons for this. The simulations allow an exact decomposition of the resulting cleaned data and we analyse the contribution from foreground residuals. Our results demonstrate that polarized foreground residuals should be generally subdominant to HI on small scales ($k\gtrsim0.1\,h\,\text{Mpc}^{-1}$). However, on larger scales, results are more region dependent. In some cases, aggressive cleans severely damp HI power but still leave dominant foreground residuals. We also demonstrate the gain from cross-correlations with optical galaxy surveys, where extreme levels of residual foregrounds can be circumvented. However, these residuals still contribute to errors and we discuss the optimal balance between over- and under-cleaning.


title: On Euclidean Steiner $(1+\epsilon)$-Spanners

abstract: Lightness and sparsity are two natural parameters for Euclidean $(1+\varepsilon)$-spanners. Classical results show that, when the dimension $d\in \mathbb{N}$ and $\varepsilon>0$ are constant, every set $S$ of $n$ points in $d$-space admits an $(1+\varepsilon)$-spanners with $O(n)$ edges and weight proportional to that of the Euclidean MST of $S$. Tight bounds on the dependence on $\varepsilon>0$ for constant $d\in \mathbb{N}$ have been established only recently. Le and Solomon (FOCS 2019) showed that Steiner points can substantially improve the lightness and sparsity of a $(1+\varepsilon)$-spanner. They gave upper bounds of $\tilde{O}(\varepsilon^{-(d+1)/2})$ for the minimum lightness in dimensions $d\geq 3$, and $\tilde{O}(\varepsilon^{-(d-1))/2})$ for the minimum sparsity in $d$-space for all $d\geq 1$. They obtained lower bounds only in the plane ($d=2$). Le and Solomon (ESA 2020) also constructed Steiner $(1+\varepsilon)$-spanners of lightness $O(\varepsilon^{-1}\log\Delta)$ in the plane, where $\Delta\in \Omega(\sqrt{n})$ is the \emph{spread} of $S$, defined as the ratio between the maximum and minimum distance between a pair of points. In this work, we improve several bounds on the lightness and sparsity of Euclidean Steiner $(1+\varepsilon)$-spanners. Using a new geometric analysis, we establish lower bounds of $\Omega(\varepsilon^{-d/2})$ for the lightness and $\Omega(\varepsilon^{-(d-1)/2})$ for the sparsity of such spanners in Euclidean $d$-space for all $d\geq 2$. We use the geometric insight from our lower bound analysis to construct Steiner $(1+\varepsilon)$-spanners of lightness $O(\varepsilon^{-1}\log n)$ for $n$ points in Euclidean plane.


title: Overdensities of Submillimetre-Bright Sources around Candidate Protocluster Cores Selected from the South Pole Telescope Survey

abstract: We present APEX-LABOCA 870 micron observations of the fields surrounding the nine brightest, high-redshift, unlensed objects discovered in the South Pole Telescope's (SPT) 2500 square degrees survey. Initially seen as point sources by SPT's 1-arcmin beam, the 19-arcsec resolution of our new data enables us to deblend these objects and search for submillimetre (submm) sources in the surrounding fields. We find a total of 98 sources above a threshold of 3.7 sigma in the observed area of 1300 square arcminutes, where the bright central cores resolve into multiple components. After applying a radial cut to our LABOCA sources to achieve uniform sensitivity and angular size across each of the nine fields, we compute the cumulative and differential number counts and compare them to estimates of the background, finding a significant overdensity of approximately 10 at 14 mJy. The large overdensities of bright submm sources surrounding these fields suggest that they could be candidate protoclusters undergoing massive star-formation events. Photometric and spectroscopic redshifts of the unlensed central objects range from 3 to 7, implying a volume density of star-forming protoclusters of approximately 0.1 per giga-parsec cube. If the surrounding submm sources in these fields are at the same redshifts as the central objects, then the total star-formation rates of these candidate protoclusters reach 10,000 solar masses per year, making them much more active at these redshifts than what has been seen so far in both simulations and observations.


title: Towards Refining the Topological Strings on Compact Calabi-Yau 3-folds

abstract: We make a proposal for calculating refined Gopakumar-Vafa numbers (GVN) on elliptically fibered Calabi-Yau 3-folds based on refined holomorphic anomaly equations. The key examples are smooth elliptic fibrations over (almost) Fano surfaces. We include a detailed review of existing mathematical methods towards defining and calculating the (unrefined) Gopakumar-Vafa invariants (GVI) and the GVNs on compact Calabi-Yau 3-folds using moduli of stable sheaves, in a language that should be accessible to physicists. In particular, we discuss the dependence of the GVNs on the complex structure moduli and on the choice of an orientation. We calculate the GVNs in many instances and compare the B-model predictions with the geometric calculations. We also derive the modular anomaly equations from the holomorphic anomaly equations by analyzing the quasi-modular properties of the propagators. We speculate about the physical relevance of the mathematical choices that can be made for the orientation.


title: Chess as a Testing Grounds for the Oracle Approach to AI Safety

abstract: To reduce the danger of powerful super-intelligent AIs, we might make the first such AIs oracles that can only send and receive messages. This paper proposes a possibly practical means of using machine learning to create two classes of narrow AI oracles that would provide chess advice: those aligned with the player's interest, and those that want the player to lose and give deceptively bad advice. The player would be uncertain which type of oracle it was interacting with. As the oracles would be vastly more intelligent than the player in the domain of chess, experience with these oracles might help us prepare for future artificial general intelligence oracles.


title: On Additive Approximate Submodularity

abstract: A real-valued set function is (additively) approximately submodular if it satisfies the submodularity conditions with an additive error. Approximate submodularity arises in many settings, especially in machine learning, where the function evaluation might not be exact. In this paper we study how close such approximately submodular functions are to truly submodular functions. We show that an approximately submodular function defined on a ground set of $n$ elements is $O(n^2)$ pointwise-close to a submodular function. This result also provides an algorithmic tool that can be used to adapt existing submodular optimization algorithms to approximately submodular functions. To complement, we show an $\Omega(\sqrt{n})$ lower bound on the distance to submodularity. These results stand in contrast to the case of approximate modularity, where the distance to modularity is a constant, and approximate convexity, where the distance to convexity is logarithmic.


title: Albanese maps and fundamental groups of varieties with many rational points over function fields

abstract: We investigate properties of the Albanese map and the fundamental group of a complex projective variety with many rational points over some function field, and prove that every linear quotient of the fundamental group of such a variety is virtually abelian, as well as that its Albanese map is surjective, has connected fibres, and has no multiple fibres in codimension one.


title: Conduction Mechanisms in Epitaxial NiO/Graphene Gas Sensors

abstract: Integrated, highly sensitive and reversible sensor devices for toxic and hazardous gases in environmental pollution monitoring can be realized with graphene-based materials. Here we show that, single layer graphene grown on SiC can be utilized to implement sensor devices being extremely sensitive towards NO2 showing an n-type response. A second type of sensor with an added NiO layer on top of the single layer graphene changed its response to p-type but did not reduce its sensitivity. We show that the conduction switch from n-type to p-type was not a consequence of an alteration of the graphene layer but is found to be an effect of the NiO layer. We find that the NiO leads to lowering of the Fermi level to a point that a crossing of the Dirac Point in the graphene switched the conduction type. These sensors were tested in the 100 ppb NO2 regime, showing good response and a detection limit extrapolated to be below 1 ppb. This new NiO/graphene/SiC configuration can be an attractive p-type sub-ppb sensor platform for NO2 and related gases.


title: Hidden Wave Function of Twisted Bilayer Graphene: Flat Band as a Landau Level

abstract: We study the chirally symmetric continuum model (CS-CM) of the twisted bilayer graphene. The equation on a flat band could be interpreted as a Dirac equation on a torus in the external non-abelian magnetic field. We prove that the existence of the flat band implies that the wave-function has a zero and vice verse. We found a hidden solution in the CS-CM model that has a pole instead of a zero. Our main result is that in the basis of the flat band and hidden wave functions the flat band could be interpreted as Landau level in the external magnetic field. From that interpretation we show the existence of extra flat bands in the magnetic field.

categories: cond-mat.str-el cond-mat.mes-hall math-ph math.MP


title: Reconciling Modern Deep Learning with Traditional Optimization Analyses: The Intrinsic Learning Rate

abstract: Recent works (e.g., (Li and Arora, 2020)) suggest that the use of popular normalization schemes (including Batch Normalization) in today's deep learning can move it far from a traditional optimization viewpoint, e.g., use of exponentially increasing learning rates. The current paper highlights other ways in which behavior of normalized nets departs from traditional viewpoints, and then initiates a formal framework for studying their mathematics via suitable adaptation of the conventional framework namely, modeling SGD-induced training trajectory via a suitable stochastic differential equation (SDE) with a noise term that captures gradient noise. This yields: (a) A new ' intrinsic learning rate' parameter that is the product of the normal learning rate and weight decay factor. Analysis of the SDE shows how the effective speed of learning varies and equilibrates over time under the control of intrinsic LR. (b) A challenge -- via theory and experiments -- to popular belief that good generalization requires large learning rates at the start of training. (c) New experiments, backed by mathematical intuition, suggesting the number of steps to equilibrium (in function space) scales as the inverse of the intrinsic learning rate, as opposed to the exponential time convergence bound implied by SDE analysis. We name it the Fast Equilibrium Conjecture and suggest it holds the key to why Batch Normalization is effective.


title: A Contrastive Learning Approach for Training Variational Autoencoder Priors

abstract: Variational autoencoders (VAEs) are one of the powerful likelihood-based generative models with applications in many domains. However, they struggle to generate high-quality images, especially when samples are obtained from the prior without any tempering. One explanation for VAEs' poor generative quality is the prior hole problem: the prior distribution fails to match the aggregate approximate posterior. Due to this mismatch, there exist areas in the latent space with high density under the prior that do not correspond to any encoded image. Samples from those areas are decoded to corrupted images. To tackle this issue, we propose an energy-based prior defined by the product of a base prior distribution and a reweighting factor, designed to bring the base closer to the aggregate posterior. We train the reweighting factor by noise contrastive estimation, and we generalize it to hierarchical VAEs with many latent variable groups. Our experiments confirm that the proposed noise contrastive priors improve the generative performance of state-of-the-art VAEs by a large margin on the MNIST, CIFAR-10, CelebA 64, and CelebA HQ 256 datasets. Our method is simple and can be applied to a wide variety of VAEs to improve the expressivity of their prior distribution.