title: The boundedness and zero isolation problems for weighted automata over nonnegative rationals

abstract: We consider linear cost-register automata (equivalent to weighted automata) over the semiring of nonnegative rationals, which generalise probabilistic automata. The two problems of boundedness and zero isolation ask whether there is a sequence of words that converge to infinity and to zero, respectively. In the general model both problems are undecidable so we focus on the copyless linear restriction. There, we show that the boundedness problem is decidable. As for the zero isolation problem we need to further restrict the class. We obtain a model, where zero isolation becomes equivalent to universal coverability of orthant vector addition systems (OVAS), a new model in the VAS family interesting on its own. In standard VAS runs are considered only in the positive orthant, while in OVAS every orthant has its own set of vectors that can be applied in that orthant. Assuming Schanuel's conjecture is true, we prove decidability of universal coverability for three-dimensional OVAS, which implies decidability of zero isolation in a model with at most three independent registers.


title: The ring of integers of Hopf-Galois degree p extensions of p-adic fields with dihedral normal closure

abstract: For an odd prime number $p$, we consider degree $p$ extensions $L/K$ of $p$-adic fields with normal closure $\widetilde{L}$ such that the Galois group of $\widetilde{L}/K$ is the dihedral group of order $2p$. We shall prove a complete characterization of the freeness of the ring of integers $\mathcal{O}_L$ over its associated order $\mathfrak{A}_{L/K}$ in the unique Hopf-Galois structure on $L/K$, which is analogous to the one already known for cyclic degree $p$ extensions of $p$-adic fields. We shall derive positive and negative results on criteria for the freeness of $\mathcal{O}_L$ as $\mathfrak{A}_{L/K}$-module.


title: Casimir-Polder attraction and repulsion between nanoparticles and graphene in out-of-thermal-equilibrium conditions

abstract: The nonequilibrium Casimir-Polder force between a nanoparticle and a graphene sheet kept at different temperatures is investigated in the framework of Dirac model using the formalism of the polarization tensor. It is shown that the force magnitude increases with increasing temperature of a graphene sheet. At larger separations an impact of nonequilibrium conditions on the force becomes smaller. According to our results, the attractive Casimir-Polder force vanishes at some definite nanoparticle-graphene separation and becomes repulsive at larger separations if the temperature of a graphene sheet is smaller than that of the environment. This effect may find applications both in fundamental investigations of graphene and for the control of forces in microdevices of bioelectronics.


title: Transfer learning driven design optimization for inertial confinement fusion

abstract: Transfer learning is a promising approach to creating predictive models that incorporate simulation and experimental data into a common framework. In this technique, a neural network is first trained on a large database of simulations, then partially retrained on sparse sets of experimental data to adjust predictions to be more consistent with reality. Previously, this technique has been used to create predictive models of Omega and NIF inertial confinement fusion (ICF) experiments that are more accurate than simulations alone. In this work, we conduct a transfer learning driven hypothetical ICF campaign in which the goal is to maximize experimental neutron yield via Bayesian optimization. The transfer learning model achieves yields within 5% of the maximum achievable yield in a modest-sized design space in fewer than 20 experiments. Furthermore, we demonstrate that this method is more efficient at optimizing designs than traditional model calibration techniques commonly employed in ICF design. Such an approach to ICF design could enable robust optimization of experimental performance under uncertainty.


title: Nonlinear aggregation-diffusion equations with Riesz potentials

abstract: We consider an aggregation-diffusion model, where the diffusion is nonlinear of porous medium type and the aggregation is governed by the Riesz potential of order s. The addition of a quadratic diffusion term produces a more precise competition with the aggregation term for small s, as they have the same scaling if s=0. We prove existence and uniqueness of stationary states and we characterize their asymptotic behavior as s goes to zero. Moreover, we prove existence of gradient flow solutions to the evolution problem by applying the JKO scheme.


title: Discovering Policies with DOMiNO: Diversity Optimization Maintaining Near Optimality

abstract: Finding different solutions to the same problem is a key aspect of intelligence associated with creativity and adaptation to novel situations. In reinforcement learning, a set of diverse policies can be useful for exploration, transfer, hierarchy, and robustness. We propose DOMiNO, a method for Diversity Optimization Maintaining Near Optimality. We formalize the problem as a Constrained Markov Decision Process where the objective is to find diverse policies, measured by the distance between the state occupancies of the policies in the set, while remaining near-optimal with respect to the extrinsic reward. We demonstrate that the method can discover diverse and meaningful behaviors in various domains, such as different locomotion patterns in the DeepMind Control Suite. We perform extensive analysis of our approach, compare it with other multi-objective baselines, demonstrate that we can control both the quality and the diversity of the set via interpretable hyperparameters, and show that the discovered set is robust to perturbations.


title: Dynamically Relative Position Encoding-Based Transformer for Automatic Code Edit

abstract: Adapting Deep Learning (DL) techniques to automate non-trivial coding activities, such as code documentation and defect detection, has been intensively studied recently. Learning to predict code changes is one of the popular and essential investigations. Prior studies have shown that DL techniques such as Neural Machine Translation (NMT) can benefit meaningful code changes, including bug fixing and code refactoring. However, NMT models may encounter bottleneck when modeling long sequences, thus are limited in accurately predicting code changes. In this work, we design a Transformer-based approach, considering that Transformer has proven effective in capturing long-term dependencies. Specifically, we propose a novel model named DTrans. For better incorporating the local structure of code, i.e., statement-level information in this paper, DTrans is designed with dynamically relative position encoding in the multi-head attention of Transformer. Experiments on benchmark datasets demonstrate that DTrans can more accurately generate patches than the state-of-the-art methods, increasing the performance by at least 5.45\%-46.57\% in terms of the exact match metric on different datasets. Moreover, DTrans can locate the lines to change with 1.75\%-24.21\% higher accuracy than the existing methods.


title: PerDoor: Persistent Non-Uniform Backdoors in Federated Learning using Adversarial Perturbations

abstract: Federated Learning (FL) enables numerous participants to train deep learning models collaboratively without exposing their personal, potentially sensitive data, making it a promising solution for data privacy in collaborative training. The distributed nature of FL and unvetted data, however, makes it inherently vulnerable to backdoor attacks: In this scenario, an adversary injects backdoor functionality into the centralized model during training, which can be triggered to cause the desired misclassification for a specific adversary-chosen input. A range of prior work establishes successful backdoor injection in an FL system; however, these backdoors are not demonstrated to be long-lasting. The backdoor functionality does not remain in the system if the adversary is removed from the training process since the centralized model parameters continuously mutate during successive FL training rounds. Therefore, in this work, we propose PerDoor, a persistent-by-construction backdoor injection technique for FL, driven by adversarial perturbation and targeting parameters of the centralized model that deviate less in successive FL rounds and contribute the least to the main task accuracy. An exhaustive evaluation considering an image classification scenario portrays on average $10.5\times$ persistence over multiple FL rounds compared to traditional backdoor attacks. Through experiments, we further exhibit the potency of PerDoor in the presence of state-of-the-art backdoor prevention techniques in an FL system. Additionally, the operation of adversarial perturbation also assists PerDoor in developing non-uniform trigger patterns for backdoor inputs compared to uniform triggers (with fixed patterns and locations) of existing backdoor techniques, which are prone to be easily mitigated.


title: PREF: Phasorial Embedding Fields for Compact Neural Representations

abstract: We present an efficient frequency-based neural representation termed PREF: a shallow MLP augmented with a phasor volume that covers significant border spectra than previous Fourier feature mapping or Positional Encoding. At the core is our compact 3D phasor volume where frequencies distribute uniformly along a 2D plane and dilate along a 1D axis. To this end, we develop a tailored and efficient Fourier transform that combines both Fast Fourier transform and local interpolation to accelerate na\"ive Fourier mapping. We also introduce a Parsvel regularizer that stables frequency-based learning. In these ways, Our PREF reduces the costly MLP in the frequency-based representation, thereby significantly closing the efficiency gap between it and other hybrid representations, and improving its interpretability. Comprehensive experiments demonstrate that our PREF is able to capture high-frequency details while remaining compact and robust, including 2D image generalization, 3D signed distance function regression and 5D neural radiance field reconstruction.


title: On the Inconsistency of Kernel Ridgeless Regression in Fixed Dimensions

abstract: ``Benign overfitting'', the ability of certain algorithms to interpolate noisy training data and yet perform well out-of-sample, has been a topic of considerable recent interest. We show, using a fixed design setup, that an important class of predictors, kernel machines with translation-invariant kernels, does not exhibit benign overfitting in fixed dimensions. In particular, the estimated predictor does not converge to the ground truth with increasing sample size, for any non-zero regression function and any (even adaptive) bandwidth selection. To prove these results, we give exact expressions for the generalization error, and its decomposition in terms of an approximation error and an estimation error that elicits a trade-off based on the selection of the kernel bandwidth. Our results apply to commonly used translation-invariant kernels such as Gaussian, Laplace, and Cauchy.


title: Extended symmetry analysis of remarkable (1+2)-dimensional Fokker-Planck equation

abstract: We carry out the extended symmetry analysis of an ultraparabolic Fokker-Planck equation with three independent variables, which is also called the Kolmogorov equation and is singled out within the class of such Fokker-Planck equations by its remarkable symmetry properties. In particular, its essential Lie invariance algebra is eight-dimensional, which is the maximum dimension within the above class. We compute the complete point symmetry pseudogroup of the Fokker-Planck equation using the direct method, analyze its structure and single out its essential subgroup. After listing inequivalent one- and two-dimensional subalgebras of the essential and maximal Lie invariance algebras of this equation, we exhaustively classify its Lie reductions, carry out its peculiar generalized reductions and relate the latter reductions to generating solutions with iterative action of Lie-symmetry operators. As a result, we construct wide families of exact solutions of the Fokker-Planck equation, in particular, those parameterized by an arbitrary finite number of arbitrary solutions of the (1+1)-dimensional linear heat equation. We also establish the point similarity of the Fokker-Planck equation to the (1+2)-dimensional Kramers equations whose essential Lie invariance algebras are eight-dimensional, which allows us to find wide families of exact solutions of these Kramers equations in an easy way.


title: Subspace clustering in high-dimensions: Phase transitions & Statistical-to-Computational gap

abstract: A simple model to study subspace clustering is the high-dimensional $k$-Gaussian mixture model where the cluster means are sparse vectors. Here we provide an exact asymptotic characterization of the statistically optimal reconstruction error in this model in the high-dimensional regime with extensive sparsity, i.e. when the fraction of non-zero components of the cluster means $\rho$, as well as the ratio $\alpha$ between the number of samples and the dimension are fixed, while the dimension diverges. We identify the information-theoretic threshold below which obtaining a positive correlation with the true cluster means is statistically impossible. Additionally, we investigate the performance of the approximate message passing (AMP) algorithm analyzed via its state evolution, which is conjectured to be optimal among polynomial algorithm for this task. We identify in particular the existence of a statistical-to-computational gap between the algorithm that require a signal-to-noise ratio $\lambda_{\text{alg}} \ge k / \sqrt{\alpha} $ to perform better than random, and the information theoretic threshold at $\lambda_{\text{it}} \approx \sqrt{-k \rho \log{\rho}} / \sqrt{\alpha}$. Finally, we discuss the case of sub-extensive sparsity $\rho$ by comparing the performance of the AMP with other sparsity-enhancing algorithms, such as sparse-PCA and diagonal thresholding.

categories: stat.ML cond-mat.dis-nn cs.LG math.PR math.ST stat.TH


title: SFP: State-free Priors for Exploration in Off-Policy Reinforcement Learning

abstract: Efficient exploration is a crucial challenge in deep reinforcement learning. Several methods, such as behavioral priors, are able to leverage offline data in order to efficiently accelerate reinforcement learning on complex tasks. However, if the task at hand deviates excessively from the demonstrated task, the effectiveness of such methods is limited. In our work, we propose to learn features from offline data that are shared by a more diverse range of tasks, such as correlation between actions and directedness. Therefore, we introduce state-free priors, which directly model temporal consistency in demonstrated trajectories, and are capable of driving exploration in complex tasks, even when trained on data collected on simpler tasks. Furthermore, we introduce a novel integration scheme for action priors in off-policy reinforcement learning by dynamically sampling actions from a probabilistic mixture of policy and action prior. We compare our approach against strong baselines and provide empirical evidence that it can accelerate reinforcement learning in long-horizon continuous control tasks under sparse reward settings.


title: Triplet pairing mechanisms from Hund's-Kondo models: applications to UTe$_{2}$ and CeRh$_{2}$As$_{2}$

abstract: Observing that several U and Ce based candidate triplet superconductors share a common structural motif, with pairs of magnetic atoms separated by an inversion center, we hypothesize a triplet pairing mechanism based on an interplay of Hund's and Kondo interactions that is unique to this structure. In the presence of Hund's interactions, valence fluctuations generate a triplet superexchange between electrons and local moments. The offset from the center of symmetry allows spin-triplet pairs formed by the resulting Kondo effect to delocalize onto the Fermi surface, precipitating superconductivity. We demonstrate this mechanism within a minimal two-channel Kondo lattice model and present support for this pairing mechanism from existing experiments.


title: Semantic Parsing of Interpage Relations

abstract: Page-level analysis of documents has been a topic of interest in digitization efforts, and multimodal approaches have been applied to both classification and page stream segmentation. In this work, we focus on capturing finer semantic relations between pages of a multi-page document. To this end, we formalize the task as semantic parsing of interpage relations and we propose an end-to-end approach for interpage dependency extraction, inspired by the dependency parsing literature. We further design a multi-task training approach to jointly optimize for page embeddings to be used in segmentation, classification, and parsing of the page dependencies using textual and visual features extracted from the pages. Moreover, we also combine the features from two modalities to obtain multimodal page embeddings. To the best of our knowledge, this is the first study to extract rich semantic interpage relations from multi-page documents. Our experimental results show that the proposed method increased LAS by 41 percentage points for semantic parsing, increased accuracy by 33 percentage points for page stream segmentation, and 45 percentage points for page classification over a naive baseline.


title: Learning ReLU networks to high uniform accuracy is intractable

abstract: Statistical learning theory provides bounds on the necessary number of training samples needed to reach a prescribed accuracy in a learning problem formulated over a given target class. This accuracy is typically measured in terms of a generalization error, that is, an expected value of a given loss function. However, for several applications -- for example in a security-critical context or for problems in the computational sciences -- accuracy in this sense is not sufficient. In such cases, one would like to have guarantees for high accuracy on every input value, that is, with respect to the uniform norm. In this paper we precisely quantify the number of training samples needed for any conceivable training algorithm to guarantee a given uniform accuracy on any learning problem formulated over target classes containing (or consisting of) ReLU neural networks of a prescribed architecture. We prove that, under very general assumptions, the minimal number of training samples for this task scales exponentially both in the depth and the input dimension of the network architecture.


title: Selective Classification Via Neural Network Training Dynamics

abstract: Selective classification is the task of rejecting inputs a model would predict incorrectly on through a trade-off between input space coverage and model accuracy. Current methods for selective classification impose constraints on either the model architecture or the loss function; this inhibits their usage in practice. In contrast to prior work, we show that state-of-the-art selective classification performance can be attained solely from studying the (discretized) training dynamics of a model. We propose a general framework that, for a given test input, monitors metrics capturing the disagreement with the final predicted label over intermediate models obtained during training; we then reject data points exhibiting too much disagreement at late stages in training. In particular, we instantiate a method that tracks when the label predicted during training stops disagreeing with the final predicted label. Our experimental evaluation shows that our method achieves state-of-the-art accuracy/coverage trade-offs on typical selective classification benchmarks.


title: Effects of CO-dark Gas on Measurements of Molecular Cloud Stability and the Size-Linewidth Relationship

abstract: Stars form within molecular clouds, so characterizing the physical states of molecular clouds is key in understanding the process of star formation. Cloud structure and stability is frequently assessed using metrics including the virial parameter and Larson (1981) scaling relationships between cloud radius, velocity dispersion, and surface density. Departures from the typical Galactic relationships between these quantities have been observed in low-metallicity environments. The amount of H$_2$ gas in cloud envelopes without corresponding CO emission is expected to be high under these conditions; therefore, this "CO-dark" gas could plausibly be responsible for the observed variations in cloud properties. We derive simple corrections that can be applied to empirical clump properties (mass, radius, velocity dispersion, surface density, and virial parameter) to account for CO-dark gas in clumps following power-law and Plummer mass density profiles. We find that CO-dark gas is not likely to be the cause of departures from Larson's relationships in low-metallicity regions, but that virial parameters may be systematically overestimated. We demonstrate that correcting for CO-dark gas is critical for accurately comparing the dynamical state and evolution of molecular clouds across diverse environments.


title: Geometric multipliers and partial teleparallelism in Poincar\'e gauge theory

abstract: The dynamics of the torsion-powered teleparallel theory are only viable because thirty-six multiplier fields disable all components of the Riemann--Cartan curvature. We generalise this suggestive approach by considering Poincar\'e gauge theory in which sixty such `geometric multipliers' can be invoked to disable any given irreducible part of the curvature, or indeed the torsion. Torsion theories motivated by a weak-field analysis frequently suffer from unwanted dynamics in the strong-field regime, such as the activation of ghosts. By considering the propagation of massive, parity-even vector torsion, we explore how geometric multipliers may be able to limit strong-field departures from the weak-field Hamiltonian constraint structure, and consider their tree-level phenomena.


title: AdaptFormer: Adapting Vision Transformers for Scalable Visual Recognition

abstract: Pretraining Vision Transformers (ViTs) has achieved great success in visual recognition. A following scenario is to adapt a ViT to various image and video recognition tasks. The adaptation is challenging because of heavy computation and memory storage. Each model needs an independent and complete finetuning process to adapt to different tasks, which limits its transferability to different visual domains. To address this challenge, we propose an effective adaptation approach for Transformer, namely AdaptFormer, which can adapt the pre-trained ViTs into many different image and video tasks efficiently. It possesses several benefits more appealing than prior arts. Firstly, AdaptFormer introduces lightweight modules that only add less than 2% extra parameters to a ViT, while it is able to increase the ViT's transferability without updating its original pre-trained parameters, significantly outperforming the existing 100\% fully fine-tuned models on action recognition benchmarks. Secondly, it can be plug-and-play in different Transformers and scalable to many visual tasks. Thirdly, extensive experiments on five image and video datasets show that AdaptFormer largely improves ViTs in the target domains. For example, when updating just 1.5% extra parameters, it achieves about 10% and 19% relative improvement compared to the fully fine-tuned models on Something-Something~v2 and HMDB51, respectively. Code is available at https://github.com/ShoufaChen/AdaptFormer.


title: Verifying Learning-Based Robotic Navigation Systems

abstract: Deep reinforcement learning (DRL) has become a dominant deep-learning paradigm for tasks where complex policies are learned within reactive systems. Unfortunately, these policies are known to be susceptible to bugs. Despite significant progress in DNN verification, there has been little work demonstrating the use of modern verification tools on real-world, DRL-controlled systems. In this case study, we attempt to begin bridging this gap, and focus on the important task of mapless robotic navigation -- a classic robotics problem, in which a robot, usually controlled by a DRL agent, needs to efficiently and safely navigate through an unknown arena towards a target. We demonstrate how modern verification engines can be used for effective model selection, i.e., selecting the best available policy for the robot in question from a pool of candidate policies. Specifically, we use verification to detect and rule out policies that may demonstrate suboptimal behavior, such as collisions and infinite loops. We also apply verification to identify models with overly conservative behavior, thus allowing users to choose superior policies, which might be better at finding shorter paths to a target. To validate our work, we conducted extensive experiments on an actual robot, and confirmed that the suboptimal policies detected by our method were indeed flawed. We also demonstrate the superiority of our verification-driven approach over state-of-the-art, gradient attacks. Our work is the first to establish the usefulness of DNN verification in identifying and filtering out suboptimal DRL policies in real-world robots, and we believe that the methods presented here are applicable to a wide range of systems that incorporate deep-learning-based agents.


title: Revisiting Common Envelope Evolution -- A New Semi-Analytic Model for N-body and Population Synthesis Codes

abstract: We present a novel way of modeling common envelope evolution in binary and few-body systems. We consider the common envelope inspiral as driven by a drag force with a power-law dependence in relative distance and velocity. The orbital motion is resolved either by direct N-body integration or by solving the set of differential equations for the orbital elements as derived using perturbation theory. Our formalism can model the eccentricity during the common envelope inspiral, and it gives results consistent with smoothed particles hydrodynamical simulations. We apply our formalism to common envelope events from binary population synthesis models and find that the final eccentricity distribution resembles the observed distribution of post-common-envelope binaries. Our model can be used for time-resolved common-envelope evolution in population synthesis calculations or as part of binary interactions in direct N-body simulations of star clusters.


title: On the separation of correlation-assisted sum capacities of multiple access channels

abstract: The capacity of a channel characterizes the maximum rate at which information can be transmitted through the channel asymptotically faithfully. For a channel with multiple senders and a single receiver, computing its sum capacity is possible in theory, but challenging in practice because of the nonconvex optimization involved. To address this challenge, we investigate three topics in our study. In the first part, we study the sum capacity of a family of multiple access channels (MACs) obtained from nonlocal games. For any MAC in this family, we obtain an upper bound on the sum rate that depends only on the properties of the game when allowing assistance from an arbitrary set of correlations between the senders. This approach can be used to prove separations between sum capacities when the senders are allowed to share different sets of correlations, such as classical, quantum or no-signalling correlations. We also construct a specific nonlocal game to show that the approach of bounding the sum capacity by relaxing the nonconvex optimization can give arbitrarily loose bounds. Owing to this result, in the second part, we study algorithms for non-convex optimization of a class of functions we call Lipschitz-like functions. This class includes entropic quantities, and hence these results may be of independent interest in information theory. Subsequently, in the third part, we show that one can use these techniques to compute the sum capacity of an arbitrary two-sender MACs to a fixed additive precision in quasi-polynomial time. We showcase our method by efficiently computing the sum capacity of a family of two-sender MACs for which one of the input alphabets has size two. Furthermore, we demonstrate with an example that our algorithm may compute the sum capacity to a higher precision than using the convex relaxation.


title: Mitigating barren plateaus of variational quantum eigensolvers

abstract: Variational quantum algorithms (VQAs) are expected to establish valuable applications on near-term quantum computers. However, recent works have pointed out that the performance of VQAs greatly relies on the expressibility of the ansatzes and is seriously limited by optimization issues such as barren plateaus (i.e., vanishing gradients). This work proposes the state efficient ansatz (SEA) for accurate ground state preparation with improved trainability. We show that the SEA can generate an arbitrary pure state with much fewer parameters than a universal ansatz, making it efficient for tasks like ground state estimation. Then, we prove that barren plateaus can be efficiently mitigated by the SEA and the trainability can be further improved most quadratically by flexibly adjusting the entangling capability of the SEA. Finally, we investigate a plethora of examples in ground state estimation where we obtain significant improvements in the magnitude of cost gradient and the convergence speed.


title: Anatomy of single-field inflationary models for primordial black holes

abstract: We construct an analytically solvable simplified model that captures the essential features for primordial black hole (PBH) production in most models of single-field inflation. The construction makes use of the Wands duality between the constant-roll (or slow-roll) and the preceding ultra-slow-roll phases and can be realized by a simple inflaton potential of two joined parabolas. Within this framework, it is possible to formulate explicit inflationary scenarios consistent with the CMB observations and copious production of PBHs of arbitrary mass. We quantify the variability of the shape of the peak in the curvature power spectrum in different inflationary scenarios and discuss its implications for probing PBHs with scalar-induced gravitational wave backgrounds. We find that the COBE/Firas $\mu$-distortion constraints exclude the production of PBHs heavier than $10^4 M_\odot$ in single-field inflation.


title: Multi-messenger Emission from Tidal Waves in Neutron Star Oceans

abstract: Neutron stars in astrophysical binary systems represent exciting sources for multi-messenger astrophysics. A potential source of electromagnetic transients from compact binary systems is the neutron star ocean, the external fluid layer encasing a neutron star. We present a groundwork study into tidal waves in neutron star oceans and their consequences. Specifically, we investigate how oscillation modes in neutron star oceans can be tidally excited during compact binary inspirals and parabolic encounters. We find that neutron star oceans can sustain tidal waves with frequencies between $0.01-20$ Hz. Our results suggest that tidally resonant neutron star ocean waves may serve as a never-before studied source of precursor electromagnetic emission prior to neutron star-black hole and binary neutron star mergers. If accompanied by electromagnetic flares, tidally resonant neutron star ocean waves, whose energy budget can reach $10^{46}$ erg, may serve as early warning signs ($\gtrsim 1$ minute before merger) for compact binary mergers. Similarly, excited ocean tidal waves will coincide with neutron star parabolic encounters. Depending on the neutron star ocean model and a flare emission scenario, tidally resonant ocean flares may be detectable by Fermi and NuSTAR out to $\gtrsim 100$ Mpc with detection rates as high as $\sim 7$ yr$^{-1}$ for binary neutron stars and $\sim0.6$ yr$^{-1}$ for neutron star-black hole binaries. Observations of emission from neutron star ocean tidal waves along with gravitational waves will provide insight into the equation of state at the neutron star surface, the composition of neutron star oceans and crusts, and neutron star geophysics.


title: BEVFusion: Multi-Task Multi-Sensor Fusion with Unified Bird's-Eye View Representation

abstract: Multi-sensor fusion is essential for an accurate and reliable autonomous driving system. Recent approaches are based on point-level fusion: augmenting the LiDAR point cloud with camera features. However, the camera-to-LiDAR projection throws away the semantic density of camera features, hindering the effectiveness of such methods, especially for semantic-oriented tasks (such as 3D scene segmentation). In this paper, we break this deeply-rooted convention with BEVFusion, an efficient and generic multi-task multi-sensor fusion framework. It unifies multi-modal features in the shared bird's-eye view (BEV) representation space, which nicely preserves both geometric and semantic information. To achieve this, we diagnose and lift key efficiency bottlenecks in the view transformation with optimized BEV pooling, reducing latency by more than 40x. BEVFusion is fundamentally task-agnostic and seamlessly supports different 3D perception tasks with almost no architectural changes. It establishes the new state of the art on nuScenes, achieving 1.3% higher mAP and NDS on 3D object detection and 13.6% higher mIoU on BEV map segmentation, with 1.9x lower computation cost. Code to reproduce our results is available at https://github.com/mit-han-lab/bevfusion.


title: Revealing the Dark Secrets of Masked Image Modeling

abstract: Masked image modeling (MIM) as pre-training is shown to be effective for numerous vision downstream tasks, but how and where MIM works remain unclear. In this paper, we compare MIM with the long-dominant supervised pre-trained models from two perspectives, the visualizations and the experiments, to uncover their key representational differences. From the visualizations, we find that MIM brings locality inductive bias to all layers of the trained models, but supervised models tend to focus locally at lower layers but more globally at higher layers. That may be the reason why MIM helps Vision Transformers that have a very large receptive field to optimize. Using MIM, the model can maintain a large diversity on attention heads in all layers. But for supervised models, the diversity on attention heads almost disappears from the last three layers and less diversity harms the fine-tuning performance. From the experiments, we find that MIM models can perform significantly better on geometric and motion tasks with weak semantics or fine-grained classification tasks, than their supervised counterparts. Without bells and whistles, a standard MIM pre-trained SwinV2-L could achieve state-of-the-art performance on pose estimation (78.9 AP on COCO test-dev and 78.0 AP on CrowdPose), depth estimation (0.287 RMSE on NYUv2 and 1.966 RMSE on KITTI), and video object tracking (70.7 SUC on LaSOT). For the semantic understanding datasets where the categories are sufficiently covered by the supervised pre-training, MIM models can still achieve highly competitive transfer performance. With a deeper understanding of MIM, we hope that our work can inspire new and solid research in this direction.


title: Effective drug combination for Caenorhabditis elegans nematodes discovered by output-driven feedback system control technique

abstract: Infections from parasitic nematodes (or roundworms) contribute to a significant disease burden and productivity losses for humans and livestock. The limited number of anthelmintics (or antinematode drugs) available today to treat these infections are rapidly losing their efficacy as multidrug resistance in parasites becomes a global health challenge. We propose an engineering approach to discover an anthelmintic drug combination that is more potent at killing wild-type Caenorhabditis elegans worms than four individual drugs. In the experiment, freely swimming single worms are enclosed in microfluidic drug environments to assess the centroid velocity and track curvature of worm movements. After analyzing the behavioral data in every iteration, the feedback system control (FSC) scheme is used to predict new drug combinations to test. Through a differential evolutionary search, the winning drug combination is reached that produces minimal centroid velocity and high track curvature, while requiring each drug in less than their EC50 concentrations. The FSC approach is model-less and does not need any information on the drug pharmacology, signaling pathways, or animal biology. Toward combating multidrug resistance, the method presented here is applicable to the discovery of new potent combinations of available anthelmintics on C. elegans, parasitic nematodes, and other small model organisms.


title: Learning black- and gray-box chemotactic PDEs/closures from agent based Monte Carlo simulation data

abstract: We propose a machine learning framework for the data-driven discovery of macroscopic chemotactic Partial Differential Equations (PDEs) -- and the closures that lead to them -- from high-fidelity, individual-based stochastic simulations of E.coli bacterial motility. The fine scale, detailed, hybrid (continuum - Monte Carlo) simulation model embodies the underlying biophysics, and its parameters are informed from experimental observations of individual cells. We exploit Automatic Relevance Determination (ARD) within a Gaussian Process framework for the identification of a parsimonious set of collective observables that parametrize the law of the effective PDEs. Using these observables, in a second step we learn effective, coarse-grained "Keller-Segel class" chemotactic PDEs using machine learning regressors: (a) (shallow) feedforward neural networks and (b) Gaussian Processes. The learned laws can be black-box (when no prior knowledge about the PDE law structure is assumed) or gray-box when parts of the equation (e.g. the pure diffusion part) is known and "hardwired" in the regression process. We also discuss data-driven corrections (both additive and functional) of analytically known, approximate closures.

categories: q-bio.QM cs.AI cs.LG cs.NA math.DS math.NA


title: Atom Interferometer Tests of Dark Matter

abstract: Direct detection experiments for dark matter are increasingly ruling out large parameter spaces. However, light dark matter models with particle masses $<$ GeV are still largely unconstrained. Here we examine a proposal to use atom interferometers to detect a light dark matter subcomponent at sub-GeV masses. We describe the decoherence and phase shifts caused by dark matter scattering off of one "arm" of an atom interferometer using a generalized dark matter direct detection framework. This allows us to consider multiple channels: nuclear recoils, hidden photon processes, and axion interactions. We apply this framework to several proposed atom interferometer experiments. Because atom interferometers are sensitive to extremely low momentum deposition and their coherent atoms give them a boost in sensitivity, these experiments will be highly competitive and complementary to other direct detection methods. In particular, atom interferometers are uniquely able to probe a dark matter sub-component with $m_\chi \lesssim 10~\rm{keV}$. We find that, for a mediator mass $m_\phi=10^{-10}m_\chi$, future atom interferometers could close a gap in the existing constraints on nuclear recoils down to $\bar{\sigma}_n \sim 10^{-46}~\rm{cm}^2$ for $m_\chi \sim 10^{-5} - 10^{-1}~\rm{MeV}$ dark matter masses.


title: The impact of a massive Sagittarius dSph on GD-1-like streams

abstract: We investigate the effects of a massive ($\gtrsim4\times10^{10}M_\odot$) Sagittarius dwarf spheroidal galaxy (Sgr) on stellar streams using test particle simulations in a realistic Milky Way potential. We find that Sgr can easily disrupt streams formed more than $\sim3$ Gyr ago, while stars stripped more recently are generally unaffected. In certain realizations, Sgr is able to produce asymmetry between the leading and trailing tails of Pal 5, qualitatively similar to observations. Using data from the Gaia space telescope and elsewhere, we fit models to the GD-1 stream in the presence of a Sgr with various initial masses. While the best-fitting models do show perturbations resulting from interactions with Sgr, we find that the level of disruption is not significantly greater than in the observed stream. To investigate the general effects of Sgr on a population of streams, we generate 1000 mock streams on GD-1-like orbits with randomized orientations. Some streams show clear evidence of disruption, becoming folded on the sky or developing asymmetry betweeen their two tails. However, many survive unaffected and the peak surface brightness of stars is decreased by no more than $\sim0.3$ mag/arcsec$^2$ on average. We conclude that Sgr having an initial mass of $\gtrsim4\times10^{10}M_\odot$ is compatible with the survival and detection of streams formed more than 3 Gyr ago.


title: Black holes in a swirling universe

abstract: We present a new solution in Einstein's General Relativity representing a Schwarzschild black hole immersed in a rotating universe. Such a solution is constructed analytically by means of the last unexplored Lie point symmetry of the Ernst equations for stationary and axisymmetric spacetimes. This kind of the Ehlers transformation is able to embed any given solution into a rotating background, which is not of NUT type. We analyse the physical properties, ergoregions and geodesics of the new metric, which is regular outside the event horizon and has a well defined thermodynamics. We finally consider the Kerr generalisation.


title: Cosmological constraints on decaying axion-like particles: a global analysis

abstract: Axion-like particles (ALPs) decaying into photons are known to affect a wide range of astrophysical and cosmological observables. In this study we focus on ALPs with masses in the keV-MeV range and lifetimes between $10^4$ and $10^{13}$ seconds, corresponding to decays between the end of Big Bang Nucleosynthesis and the formation of the Cosmic Microwave Background (CMB). Using the CosmoBit module of the global fitting framework GAMBIT, we combine state-of-the-art calculations of the irreducible ALP freeze-in abundance, primordial element abundances (including photodisintegration through ALP decays), CMB spectral distortions and anisotropies, and constraints from supernovae and stellar cooling. This approach makes it possible for the first time to perform a global analysis of the ALP parameter space while varying the parameters of $\Lambda$CDM as well as several nuisance parameters. We find a lower bound on the ALP mass of around $m_a > 300\,\text{keV}$, which can only be evaded if ALPs are stable on cosmological timescales. Future observations of CMB spectral distortions with a PIXIE-like mission are expected to improve this bound by two orders of magnitude.


title: Assessment of the Dimension-5 Seesaw Portal and Impact of Exotic Higgs Decays on Non-Pointing Photon Searches

abstract: The Dimension-5 Seesaw Portal is a Type-I Seesaw model extended by $d=5$ operators involving the sterile neutrino states, leading to new interactions between all neutrinos and the Standard Model neutral bosons. In this work we focus primarily on the implications of these new operators at the GeV-scale. In particular, we recalculate the heavy neutrino full decay width, up to three-body decays. We also review bounds on the dipole operator, and revisit LEP constraints on its coefficient. Finally, we turn to heavy neutrino pair production from Higgs decays, where the former are long-lived and disintegrate into a photon and a light neutrino. We probe this process by recasting two ATLAS searches for non-pointing photons, showing the expected event distribution in terms of arrival time $t_\gamma$ and pointing variable $|\Delta z_\gamma|$.


title: Supergravities on Branes

abstract: Supergravity brane solutions allow for a generalised type of Kaluza-Klein reduction onto brane worldvolumes. The known replacement of a flat worldvolume metric by a Ricci-flat metric constitutes a consistent Kaluza-Klein truncation of the starting higher-dimensional supergravity theory down to a lower-dimensional pure gravity theory. This paper shows how to extend such a brane-worldvolume pure-gravity consistent truncation to that for a full nonlinear supergravity theory for the Type IIB D3-brane and the M-theory/Type IIA M5-brane. The extension of worldvolume supersymmetry is given by the unbroken supersymmetry of the original flat "skeleton" brane. Compatibility with further worldvolume diagonal and transverse vertical dimensional reductions is also shown, providing the brane-worldvolume supergravity embeddings of all descendants of the skeleton D3- and M5-branes. Examples are given of brane-worldvolume supergravity solutions embedded into the corresponding higher-dimensional supergravities.


title: New Physics in $b \to s \mu \mu$: FCC-hh or a Muon Collider?

abstract: Rare flavour-changing neutral-current transitions $b \to s \mu^+ \mu^-$ probe higher energy scales than what is directly accessible at the LHC. Therefore, the presence of new physics in such transitions, as suggested by the present-day LHCb anomalies, would have a major impact on the motivation and planning of future high-energy colliders. The two most prominent options currently debated are a proton-proton collider at 100 TeV (FCC-hh) and a multi-TeV muon collider (MuC). In this work, we compare the discovery prospects at these colliders on benchmark new physics models indirectly detectable in $b \to s \mu^+ \mu^-$ decays but beyond the reach of the high-$p_T$ searches at the HL-LHC. We consider a comprehensive set of scenarios: semileptonic contact interactions, $Z^\prime$ from a gauged $U(1)_{B_3 - L_\mu}$ and $U(1)_{L_\mu - L_\tau}$, the scalar leptoquark $S_3$, and the vector leptoquark $U_1$. We find that a 3 TeV MuC has a sensitivity reach comparable to the one of the FCC-hh. However, for a heavy enough mediator, the new physics effects at a 3 TeV MuC are only observed indirectly via deviations in the highest energy bin, while the FCC-hh has a greater potential for the discovery of a resonance. Finally, to completely cover the parameter space suggested by the $bs\mu\mu$ anomalies, among the proposed future colliders, only a MuC of 10 TeV (or higher) can meet the challenge.


title: The luminosity of cluster galaxies in the Cluster-EAGLE simulations

abstract: We computed the luminosity of simulated galaxies of the C-EAGLE project, a suite of 30 high-resolution zoom-in simulations of galaxy clusters based on the EAGLE simulation. The AB magnitudes are derived for different spectral bands, from ultraviolet to infrared, using the simple stellar population modeling based on the E-MILES stellar spectra library. We take into account obscuration due to dust in star forming regions and diffuse interstellar medium. The $g-r$ colour-stellar mass diagram, at z=0.1, presents a defined red sequence, reaching $g-r \simeq 0.8$, 0.05 dex redder than EAGLE at high masses, and a well populated blue cloud, when field galaxies are included. The clusters' inner regions are dominated by red-sequence galaxies at all masses, although a non-negligible amount of blue galaxies are still present. We adopt Bayesian inference to compute the clusters LFs, testing for statistical significance of both single and double Schechter functions. The multicolour LFs at z=0 show a knee luminosity that peaks in the infrared and increases with the cluster's mass. The faint-end is weakly dependent on colour and mass and shows an upturn in the optical, bounded between -1.25 and -1.39, just moderately steeper than the field. The simulations reproduce, within the observational errors, the spectroscopic LFs of the Hercules and Abell 85 clusters, including their faint end upturn. C-EAGLE LFs are in broad agreement with observed LFs taken from SDSS and XXL surveys, up to z=0.67, showing a rather flat faint end when the observational constrains are taken into account.


title: Training and Inference on Any-Order Autoregressive Models the Right Way

abstract: Conditional inference on arbitrary subsets of variables is a core problem in probabilistic inference with important applications such as masked language modeling and image inpainting. In recent years, the family of Any-Order Autoregressive Models (AO-ARMs) -- closely related to popular models such as BERT and XLNet -- has shown breakthrough performance in arbitrary conditional tasks across a sweeping range of domains. But, in spite of their success, in this paper we identify significant improvements to be made to previous formulations of AO-ARMs. First, we show that AO-ARMs suffer from redundancy in their probabilistic model, i.e., they define the same distribution in multiple different ways. We alleviate this redundancy by training on a smaller set of univariate conditionals that still maintains support for efficient arbitrary conditional inference. Second, we upweight the training loss for univariate conditionals that are evaluated more frequently during inference. Our method leads to improved performance with no compromises on tractability, giving state-of-the-art likelihoods in arbitrary conditional modeling on text (Text8), image (CIFAR10, ImageNet32), and continuous tabular data domains.


title: Constraints on horizonless objects after the EHT observation of Sagittarius A*

abstract: The images of Sagittarius A$^*$ recently released by the Event Horizon Telescope collaboration have been accompanied [Ap.J.Lett.\,{\bf 930\,\#2}\,(2022)\,L17] by an analysis of the constraints on the possible absence of a trapping horizon, i.e.~on the possibility that the object at the center of our galaxy is an ultra-compact object with a surface re-emitting incident radiation. Indeed, using the observed image size and the broadband spectrum of Sgr A$^*$, it is claimed that the radius of any such thermal surface is strongly bounded from above by these latest observations. Herein, we discuss how the reported constraint relies on the extremely strong assumption of perfect balance in the energy exchange between the accretion disk and the central object, and show that this is violated whenever the surface is endowed with any non-zero absorption coefficient. We discuss in detail the upper-bound constraints that can be cast on the radius and dimensionless absorption coefficient of the surface. We show that the conclusions of the analysis presented by the EHT collaboration hold only for unnaturally small values of the absorption coefficient (i.e. much lower than $10^{-14}$), and thus have to be significantly revised in scenarios with physical significance.


title: Regular black holes without mass inflation instability

abstract: Generic models of regular black holes have separate outer and inner horizons, both with nonzero surface gravity. It has been shown that a nonzero inner horizon surface gravity results in exponential instability at the inner horizon controlled by this parameter. This phenomenon takes the name of "mass inflation instability", and its presence has put in question the physical viability of regular black holes as alternatives to their (singular) general relativity counterparts. In this paper, we show that it is possible to make the inner horizon surface gravity vanish, while maintaining the separation between horizons, and a non-zero outer horizon surface gravity. We construct specific geometries satisfying these requirements, and analyze their behavior under different kinds of perturbations, showing that the exponential growth characteristic of mass inflation instability is not present for these geometries. These "inner-extremal" regular black holes are thereby better behaved than singular black holes and generic regular black holes, thus providing a well-motivated alternative of interest for fundamental and phenomenological studies.


title: Generating Non-topological Solitons Via Thermal Corrections: Higgs Balls

abstract: Scalar fields which carry charge can generally form non-topoligical solitons (Q-balls), if the energy in the extended configuration is less than the energy of an equivalent number of free quanta. For global Q-balls, such solitons exist whenever the potential grows slower than quadratically. We show that even in the absence of attractive interactions, finite temperature corrections can generate Q-ball solutions, as the coefficient of cubic corrections is generally negative. As an illustration of this, we consider the possibility of constructing Q-balls using the Higgs field. We first show that the finite temperature corrections would enable the existence of Higgs balls if the Standard Model symmetry was ungauged. We then show that Higgs self-interactions mediated by the Standard Model gauge bosons are sufficient to prevent the existence of these states in the actual Standard Model, but they can be present in a variety of extensions.


title: Configuration space for quantum gravity in a locally regularized path integral

abstract: We discuss some aspects of the metric configuration space in quantum gravity in the background field formalism. We give a necessary and sufficient condition for the parameterization of Euclidean metric fluctuations such that i) the signature of the metric is preserved in all configurations that enter the gravitational path integral, and ii) the parameterization provides a bijective map between full Euclidean metrics and metric fluctuations about a fixed background. For the case of foliatable manifolds, we show how to parameterize fluctuations in order to preserve foliatability of all configurations. Moreover, we show explicitly that preserving the signature on the configuration space for the Lorentzian quantum gravitational path integral is most conveniently achieved by inequality constraints. We discuss the implementation of these inequality constraints in a non-perturbative renormalization group setup.


title: HashPIM: High-Throughput SHA-3 via Memristive Digital Processing-in-Memory

abstract: Recent research has sought to accelerate cryptographic hash functions as they are at the core of modern cryptography. Traditional designs, however, suffer from the von Neumann bottleneck that originates from the separation of processing and memory units. An emerging solution to overcome this bottleneck is processing-in-memory (PIM): performing logic within the same devices responsible for memory to eliminate data-transfer and simultaneously provide massive computational parallelism. In this paper, we seek to vastly accelerate the state-of-the-art SHA-3 cryptographic function using the memristive memory processing unit (mMPU), a general-purpose memristive PIM architecture. To that end, we propose a novel in-memory algorithm for variable rotation, and utilize an efficient mapping of the SHA-3 state vector for memristive crossbar arrays to efficiently exploit PIM parallelism. We demonstrate a massive energy efficiency of 1,422 Gbps/W, improving a state-of-the-art memristive SHA-3 accelerator (SHINE-2) by 4.6x.


title: $f(T,B)$ Gravity in the late Universe in the context of local measurements

abstract: We explore the viability of three models in $f(T,B)$ gravity using data from recent surveys based on cosmic chronometers, the Pantheon data set, and baryonic acoustic oscillation data. We also assess the consistency of these models and data set combinations with two important priors on the Hubble constant coming from the SH0ES Team and measurements using the tip of the red giant branch respectively. These give the highest and lowest values of the Hubble constant coming from cosmology independent studies. In general, our analysis does provide a more consistent fit for the late time data being analyzed. However, each model does include an additional model parameter in comparison with the concordance model. We close the analysis with a comparative analysis in which each model, data set and Hubble constant prior combination are cross-analyzed against each other.


title: Physics-Guided Hierarchical Reward Mechanism for Learning-Based Robotic Grasping

abstract: Learning-based grasping can afford real-time grasp motion planning of multi-fingered robotics hands thanks to its high computational efficiency. However, learning-based methods are required to explore large search spaces during the learning process. The search space causes low learning efficiency, which has been the main barrier to its practical adoption. In addition, the trained policy lacks a generalizable outcome unless objects are identical to the trained objects. In this work, we develop a novel Physics-Guided Deep Reinforcement Learning with a Hierarchical Reward Mechanism to improve learning efficiency and generalizability for learning-based autonomous grasping. Unlike conventional observation-based grasp learning, physics-informed metrics are utilized to convey correlations between features associated with hand structures and objects to improve learning efficiency and outcomes. Further, the hierarchical reward mechanism enables the robot to learn prioritized components of the grasping tasks. Our method is validated in robotic grasping tasks with a 3-finger MICO robot arm. The results show that our method outperformed the standard Deep Reinforcement Learning methods in various robotic grasping tasks.


title: Analysis of a Direct Separation Method Based on Adaptive Chirplet Transform for Signals with Crossover Instantaneous Frequencies

abstract: In many applications, it is necessary to retrieve the sub-signal building blocks of a multi-component signal, which is usually non-stationary in real-world and real-life applications. Empirical mode decomposition (EMD), synchrosqueezing transform (SST), signal separation operation (SSO), and iterative filtering decomposition (IFD) have been proposed and developed for this purpose. However, these computational methods are restricted by the specification of well-separation of the sub-signal frequency curves for multi-component signals. On the other hand, the chirplet transform-based signal separation scheme (CT3S) that extends SSO from the two-dimensional "time-frequency" plane to the three-dimensional "time-frequency-chirp rate" space was recently proposed in our recent work to remove the frequency-separation specification, and thereby allowing "frequency crossing". The main objective of this present paper is to carry out an in-depth error analysis study of instantaneous frequency estimation and component recovery for the CT3S method.


title: Exploring the effect of baryons on the radial distribution of satellite galaxies with GAMA and IllustrisTNG

abstract: We explore the radial distribution of satellite galaxies in groups in the Galaxy and Mass Assembly (GAMA) survey and the IllustrisTNG simulations. Considering groups with masses $12.0 \leq \log_{10} (\mathcal{M}_h / h^{-1} \mathrm{M}_{\odot}) < 14.8$ at $z<0.267$, we find a good agreement between GAMA and a sample of TNG300 groups and galaxies designed to match the GAMA selection. Both display a flat profile in the centre of groups, followed by a decline that becomes steeper towards the group edge, and normalised profiles show no dependence on group mass. Using matched satellites from TNG and dark matter-only TNG-Dark runs we investigate the effect of baryons on satellite radial location. At $z=0$, we find that the matched subhaloes from the TNG-Dark runs display a much flatter radial profile: namely, satellites selected above a minimum stellar mass exhibit both smaller halo-centric distances and longer survival times in the full-physics simulations compared to their dark-matter only analogues. We then divide the TNG satellites into those which possess TNG-Dark counterparts and those which do not, and develop models for the radial positions of each. We find the satellites with TNG-Dark counterparts are displaced towards the halo centre in the full-physics simulations, and this difference has a power-law behaviour with radius. For the `orphan' galaxies without TNG-Dark counterparts, we consider the shape of their radial distribution and provide a model for their motion over time, which can be used to improve the treatment of satellite galaxies in semi-analytic and semi-empirical models of galaxy formation.


title: $D^0\rightarrow \bar p e^+$ Form Factors in LCSR

abstract: Baryon number is conserved in the Standard Model (SM) of particle physics. Baryon Number Violation (BNV) is one of the criteria to explain the matter anti-matter asymmetry of the universe. Various beyond the SM (BSM) scenarios motivate BNV. In that view, it becomes important to look for various BNV decays. \\ In this work, we consider the BNV decay of heavy charmed meson to anti-proton and positron. This decay proceeds via the dim-6 SM effective field theory (SMEFT) operator and involves 12 independent form factors. We give estimates for these form factors in the framework of Light Cone Sum Rules (LCSR). As the interpolation current for the proton state is not unique, we have considered different forms of proton interpolation current and discuss the effect of the choice of the interpolation current.


title: Unequal Covariance Awareness for Fisher Discriminant Analysis and Its Variants in Classification

abstract: Fisher Discriminant Analysis (FDA) is one of the essential tools for feature extraction and classification. In addition, it motivates the development of many improved techniques based on the FDA to adapt to different problems or data types. However, none of these approaches make use of the fact that the assumption of equal covariance matrices in FDA is usually not satisfied in practical situations. Therefore, we propose a novel classification rule for the FDA that accounts for this fact, mitigating the effect of unequal covariance matrices in the FDA. Furthermore, since we only modify the classification rule, the same can be applied to many FDA variants, improving these algorithms further. Theoretical analysis reveals that the new classification rule allows the implicit use of the class covariance matrices while increasing the number of parameters to be estimated by a small amount compared to going from FDA to Quadratic Discriminant Analysis. We illustrate our idea via experiments, which show the superior performance of the modified algorithms based on our new classification rule compared to the original ones.


title: Exploration, Exploitation, and Engagement in Multi-Armed Bandits with Abandonment

abstract: Multi-armed bandit (MAB) is a classic model for understanding the exploration-exploitation trade-off. The traditional MAB model for recommendation systems assumes the user stays in the system for the entire learning horizon. In new online education platforms such as ALEKS or new video recommendation systems such as TikTok and YouTube Shorts, the amount of time a user spends on the app depends on how engaging the recommended contents are. Users may temporarily leave the system if the recommended items cannot engage the users. To understand the exploration, exploitation, and engagement in these systems, we propose a new model, called MAB-A where "A" stands for abandonment and the abandonment probability depends on the current recommended item and the user's past experience (called state). We propose two algorithms, ULCB and KL-ULCB, both of which do more exploration (being optimistic) when the user likes the previous recommended item and less exploration (being pessimistic) when the user does not like the previous item. We prove that both ULCB and KL-ULCB achieve logarithmic regret, $O(\log K)$, where $K$ is the number of visits (or episodes). Furthermore, the regret bound under KL-ULCB is asymptotically sharp. We also extend the proposed algorithms to the general-state setting. Simulation results confirm our theoretical analysis and show that the proposed algorithms have significantly lower regrets than the traditional UCB and KL-UCB, and Q-learning-based algorithms.


title: Observation of Universal Hall Response in Strongly Interacting Fermions

abstract: The Hall effect, which originates from the motion of charged particles in magnetic fields, has deep consequences for the description of materials, extending far beyond condensed matter. Understanding such an effect in interacting systems represents a fundamental challenge, even for small magnetic fields. In this work, we used an atomic quantum simulator in which we tracked the motion of ultracold fermions in two-leg ribbons threaded by artificial magnetic fields. Through controllable quench dynamics, we measured the Hall response for a range of synthetic tunneling and atomic interaction strengths. We unveil a universal interaction-independent behavior above an interaction threshold, in agreement with theoretical analyses. The ability to reach hard-to-compute regimes demonstrates the power of quantum simulation to describe strongly correlated topological states of matter.


title: Learning Dialogue Representations from Consecutive Utterances

abstract: Learning high-quality dialogue representations is essential for solving a variety of dialogue-oriented tasks, especially considering that dialogue systems often suffer from data scarcity. In this paper, we introduce Dialogue Sentence Embedding (DSE), a self-supervised contrastive learning method that learns effective dialogue representations suitable for a wide range of dialogue tasks. DSE learns from dialogues by taking consecutive utterances of the same dialogue as positive pairs for contrastive learning. Despite its simplicity, DSE achieves significantly better representation capability than other dialogue representation and universal sentence representation models. We evaluate DSE on five downstream dialogue tasks that examine dialogue representation at different semantic granularities. Experiments in few-shot and zero-shot settings show that DSE outperforms baselines by a large margin. For example, it achieves 13% average performance improvement over the strongest unsupervised baseline in 1-shot intent classification on 6 datasets. We also provide analyses on the benefits and limitations of our model.


title: Tidal forces in dirty black hole spacetimes

abstract: Black holes can be inserted in very rich astrophysical environments, such as accretion disks. Although isolated black holes are simple objects in general relativity, their accretion disks may significantly enrich the field configurations of their surroundings. Alternative theories of gravity can lead to novel black hole solutions, which can be represented by small deviations in the metric due to an effective stress-energy tensor. Among the key aspects of the interaction of black holes with their surroundings, stand tidal forces phenomena. We study the tidal forces of spherically symmetric black holes in the presence of effective matter fields, dubbed as dirty black holes. These effective fields can generically represent usual or exotic matter associated to a variety of gravity theories. We show that this dirtiness leads to characteristic imprints in the tidal forces, which are absent in the case of a black hole surrounded by vacuum. We apply our results to particular cases, such as black holes coupled to linear and nonlinear electrodynamics theories and a Schwarzschild black hole surrounded by a spherical shell.


title: ClinicalPath: a Visualization tool to Improve the Evaluation of Electronic Health Records in Clinical Decision-Making

abstract: Physicians work at a very tight schedule and need decision-making support tools to help on improving and doing their work in a timely and dependable manner. Examining piles of sheets with test results and using systems with little visualization support to provide diagnostics is daunting, but that is still the usual way for the physicians' daily procedure, especially in developing countries. Electronic Health Records systems have been designed to keep the patients' history and reduce the time spent analyzing the patient's data. However, better tools to support decision-making are still needed. In this paper, we propose ClinicalPath, a visualization tool for users to track a patient's clinical path through a series of tests and data, which can aid in treatments and diagnoses. Our proposal is focused on patient's data analysis, presenting the test results and clinical history longitudinally. Both the visualization design and the system functionality were developed in close collaboration with experts in the medical domain to ensure a right fit of the technical solutions and the real needs of the professionals. We validated the proposed visualization based on case studies and user assessments through tasks based on the physician's daily activities. Our results show that our proposed system improves the physicians' experience in decision-making tasks, made with more confidence and better usage of the physicians' time, allowing them to take other needed care for the patients.


title: Low-rank lottery tickets: finding efficient low-rank neural networks via matrix differential equations

abstract: Neural networks have achieved tremendous success in a large variety of applications. However, their memory footprint and computational demand can render them impractical in application settings with limited hardware or energy resources. In this work, we propose a novel algorithm to find efficient low-rank subnetworks. Remarkably, these subnetworks are determined and adapted already during the training phase and the overall time and memory resources required by both training and evaluating them are significantly reduced. The main idea is to restrict the weight matrices to a low-rank manifold and to update the low-rank factors rather than the full matrix during training. To derive training updates that are restricted to the prescribed manifold, we employ techniques from dynamic model order reduction for matrix differential equations. This allows us to provide approximation, stability, and descent guarantees. Moreover, our method automatically and dynamically adapts the ranks during training to achieve the desired approximation accuracy. The efficiency of the proposed method is demonstrated through a variety of numerical experiments on fully-connected and convolutional networks.


title: Clinical Dialogue Transcription Error Correction using Seq2Seq Models

abstract: Good communication is critical to good healthcare. Clinical dialogue is a conversation between health practitioners and their patients, with the explicit goal of obtaining and sharing medical information. This information contributes to medical decision-making regarding the patient and plays a crucial role in their healthcare journey. The reliance on note taking and manual scribing processes are extremely inefficient and leads to manual transcription errors when digitizing notes. Automatic Speech Recognition (ASR) plays a significant role in speech-to-text applications, and can be directly used as a text generator in conversational applications. However, recording clinical dialogue presents a number of general and domain-specific challenges. In this paper, we present a seq2seq learning approach for ASR transcription error correction of clinical dialogues. We introduce a new Gastrointestinal Clinical Dialogue (GCD) Dataset which was gathered by healthcare professionals from a NHS Inflammatory Bowel Disease clinic and use this in a comparative study with four commercial ASR systems. Using self-supervision strategies, we fine-tune a seq2seq model on a mask-filling task using a domain-specific PubMed dataset which we have shared publicly for future research. The BART model fine-tuned for mask-filling was able to correct transcription errors and achieve lower word error rates for three out of four commercial ASR outputs.


title: Efficient Approximation of Gromov-Wasserstein Distance Using Importance Sparsification

abstract: As a valid metric of metric-measure spaces, Gromov-Wasserstein (GW) distance has shown the potential for matching problems of structured data like point clouds and graphs. However, its application in practice is limited due to the high computational complexity. To overcome this challenge, we propose a novel importance sparsification method, called \textsc{Spar-GW}, to approximate GW distance efficiently. In particular, instead of considering a dense coupling matrix, our method leverages a simple but effective sampling strategy to construct a sparse coupling matrix and update it with few computations. The proposed \textsc{Spar-GW} method is applicable to the GW distance with arbitrary ground cost, and it reduces the complexity from $O(n^4)$ to $O(n^{2+\delta})$ for an arbitrary small $\delta>0$. Theoretically, the convergence and consistency of the proposed estimation for GW distance are established under mild regularity conditions. In addition, this method can be extended to approximate the variants of GW distance, including the entropic GW distance, the fused GW distance, and the unbalanced GW distance. Experiments show the superiority of our \textsc{Spar-GW} to state-of-the-art methods in both synthetic and real-world tasks.


title: Pruning has a disparate impact on model accuracy

abstract: Network pruning is a widely-used compression technique that is able to significantly scale down overparameterized models with minimal loss of accuracy. This paper shows that pruning may create or exacerbate disparate impacts. The paper sheds light on the factors to cause such disparities, suggesting differences in gradient norms and distance to decision boundary across groups to be responsible for this critical issue. It analyzes these factors in detail, providing both theoretical and empirical support, and proposes a simple, yet effective, solution that mitigates the disparate impacts caused by pruning.


title: Predictor-corrector algorithms for stochastic optimization under gradual distribution shift

abstract: Time-varying stochastic optimization problems frequently arise in machine learning practice (e.g. gradual domain shift, object tracking, strategic classification). Although most problems are solved in discrete time, the underlying process is often continuous in nature. We exploit this underlying continuity by developing predictor-corrector algorithms for time-varying stochastic optimizations. We provide error bounds for the iterates, both in presence of pure and noisy access to the queries from the relevant derivatives of the loss function. Furthermore, we show (theoretically and empirically in several examples) that our method outperforms non-predictor corrector methods that do not exploit the underlying continuous process.


title: Factors Impacting Resilience of Internet of Things Systems in Critical Infrastructure

abstract: Internet of Things (IoT) systems are recently being employed in various types of critical infrastructure, including integrated rescue systems, healthcare, defence, energy and other fields. Recently, the security and safety of IoT systems, in general, has been questioned by a number of studies. Raised concerns do not relate to the IoT technology in principle but to poor engineering practices that are mostly preventable. In critical infrastructure, demand for safety and security is strongly present and justifies a discussion about the general resilience of IoT systems. In this context, resilience includes system resistance to cyberattacks and its stability to operating conditions and system reliability and safety in terms of present flaws. In this paper, we discuss relevant factors impacting the resilience of IoT systems in the critical infrastructure and suggest possible countermeasures and actions mitigate the potential effects of these factors. Contrary to the previous work, an unique critical system Model-based Testing viewpoint is taken in this analysis.


title: Understanding new tasks through the lens of training data via exponential tilting

abstract: Deploying machine learning models to new tasks is a major challenge despite the large size of the modern training datasets. However, it is conceivable that the training data can be reweighted to be more representative of the new (target) task. We consider the problem of reweighing the training samples to gain insights into the distribution of the target task. Specifically, we formulate a distribution shift model based on the exponential tilt assumption and learn train data importance weights minimizing the KL divergence between labeled train and unlabeled target datasets. The learned train data weights can then be used for downstream tasks such as target performance evaluation, fine-tuning, and model selection. We demonstrate the efficacy of our method on Waterbirds and Breeds benchmarks.


title: Dynamic Network Reconfiguration for Entropy Maximization using Deep Reinforcement Learning

abstract: A key problem in network theory is how to reconfigure a graph in order to optimize a quantifiable objective. Given the ubiquity of networked systems, such work has broad practical applications in a variety of situations, ranging from drug and material design to telecommunications. The large decision space of possible reconfigurations, however, makes this problem computationally intensive. In this paper, we cast the problem of network rewiring for optimizing a specified structural property as a Markov Decision Process (MDP), in which a decision-maker is given a budget of modifications that are performed sequentially. We then propose a general approach based on the Deep Q-Network (DQN) algorithm and graph neural networks (GNNs) that can efficiently learn strategies for rewiring networks. We then discuss a cybersecurity case study, i.e., an application to the computer network reconfiguration problem for intrusion protection. In a typical scenario, an attacker might have a (partial) map of the system they plan to penetrate; if the network is effectively "scrambled", they would not be able to navigate it since their prior knowledge would become obsolete. This can be viewed as an entropy maximization problem, in which the goal is to increase the surprise of the network. Indeed, entropy acts as a proxy measurement of the difficulty of navigating the network topology. We demonstrate the general ability of the proposed method to obtain better entropy gains than random rewiring on synthetic and real-world graphs while being computationally inexpensive, as well as being able to generalize to larger graphs than those seen during training. Simulations of attack scenarios confirm the effectiveness of the learned rewiring strategies.


title: CA-UDA: Class-Aware Unsupervised Domain Adaptation with Optimal Assignment and Pseudo-Label Refinement

abstract: Recent works on unsupervised domain adaptation (UDA) focus on the selection of good pseudo-labels as surrogates for the missing labels in the target data. However, source domain bias that deteriorates the pseudo-labels can still exist since the shared network of the source and target domains are typically used for the pseudo-label selections. The suboptimal feature space source-to-target domain alignment can also result in unsatisfactory performance. In this paper, we propose CA-UDA to improve the quality of the pseudo-labels and UDA results with optimal assignment, a pseudo-label refinement strategy and class-aware domain alignment. We use an auxiliary network to mitigate the source domain bias for pseudo-label refinement. Our intuition is that the underlying semantics in the target domain can be fully exploited to help refine the pseudo-labels that are inferred from the source features under domain shift. Furthermore, our optimal assignment can optimally align features in the source-to-target domains and our class-aware domain alignment can simultaneously close the domain gap while preserving the classification decision boundaries. Extensive experiments on several benchmark datasets show that our method can achieve state-of-the-art performance in the image classification task.


title: Accurate modeling and mitigation of overlapping signals and glitches in gravitational-wave data

abstract: The increasing sensitivity of gravitational-wave detectors has brought about an increase in the rate of astrophysical signal detections as well as the rate of "glitches"; transient and non-Gaussian detector noise. Temporal overlap of signals and glitches in the detector presents a challenge for inference analyses that typically assume the presence of only Gaussian detector noise. In this study we perform an extensive exploration of the efficacy of a recently proposed method that models the glitch with sine-Gaussian wavelets while simultaneously modeling the signal with compact-binary waveform templates. We explore a wide range of glitch families and signal morphologies and demonstrate that the joint modeling of glitches and signals (with wavelets and templates respectively) can reliably separate the two. We find that the glitches that most affect parameter estimation are also the glitches that are well modeled by such wavelets due to their compact time-frequency signature. As a further test, we investigate the robustness of this analysis against waveform systematics like those arising from the exclusion of higher-order modes and spin-precession effects. Our analysis provides an estimate of the signal parameters; the glitch waveform to be subtracted from the data; and an assessment of whether some detected excess power consists of a glitch, signal, or both. We analyze the low-significance triggers (191225_215715 and 200114_020818) and find that they are both consistent with glitches overlapping high-mass signals.


title: Combinatorial constructions of generating functions of cylindric partitions with small profiles into unrestricted or distinct parts

abstract: In this paper, cylindric partitions into profiles $c=(1,1)$ and $c=(2,0)$ are considered. The generating functions into unrestricted cylindric partitions and cylindric partitions into distinct parts with these profiles are constructed. The constructions are combinatorial and they connect the cylindric partitions with ordinary partitions.


title: On the Construction of New Toric Quantum Codes and Quantum Burst-Error Correcting Codes

abstract: A toric quantum error-correcting code construction procedure is presented in this work. A new class of an infinite family of toric quantum codes is provided by constructing a classical cyclic code on the square lattice $\mathbb{Z}_{q}\times \mathbb{Z}_{q}$ for all odd integers $q\geq 5$ and, consequently, new toric quantum codes are constructed on such square lattices regardless of whether $q$ can be represented as a sum of two squares. Furthermore this work supplies for each $q$ the polyomino shapes that tessellate the corresponding square lattices and, consequently, tile the lattice $\mathbb{Z}^{2}$. The channel without memory to be considered for these constructed toric quantum codes is symmetric, since the $\mathbb{Z}^{2}$-lattice is autodual. Moreover, we propose a quantum interleaving technique by using the constructed toric quantum codes which shows that the code rate and the coding gain of the interleaved toric quantum codes are better than the code rate and the coding gain of Kitaev's toric quantum codes for $q=2n+1$, where $n\geq 2$, and of an infinite class of Bombin and Martin-Delgado's toric quantum codes. In addition to the proposed quantum interleaving technique improves such parameters, it can be used for burst-error correction in errors which are located, quantum data stored and quantum channels with memory.


title: Harnessing Artificial Intelligence to Infer Novel Spatial Biomarkers for the Diagnosis of Eosinophilic Esophagitis

abstract: Eosinophilic esophagitis (EoE) is a chronic allergic inflammatory condition of the esophagus associated with elevated esophageal eosinophils. Second only to gastroesophageal reflux disease, EoE is one of the leading causes of chronic refractory dysphagia in adults and children. EoE diagnosis requires enumerating the density of esophageal eosinophils in esophageal biopsies, a somewhat subjective task that is time-consuming, thus reducing the ability to process the complex tissue structure. Previous artificial intelligence (AI) approaches that aimed to improve histology-based diagnosis focused on recapitulating identification and quantification of the area of maximal eosinophil density. However, this metric does not account for the distribution of eosinophils or other histological features, over the whole slide image. Here, we developed an artificial intelligence platform that infers local and spatial biomarkers based on semantic segmentation of intact eosinophils and basal zone distributions. Besides the maximal density of eosinophils (referred to as Peak Eosinophil Count [PEC]) and a maximal basal zone fraction, we identify two additional metrics that reflect the distribution of eosinophils and basal zone fractions. This approach enables a decision support system that predicts EoE activity and classifies the histological severity of EoE patients. We utilized a cohort that includes 1066 biopsy slides from 400 subjects to validate the system's performance and achieved a histological severity classification accuracy of 86.70%, sensitivity of 84.50%, and specificity of 90.09%. Our approach highlights the importance of systematically analyzing the distribution of biopsy features over the entire slide and paves the way towards a personalized decision support system that will assist not only in counting cells but can also potentially improve diagnosis and provide treatment prediction.


title: Quantum Thermodynamics of a Quantum Sized AdS Black Hole

abstract: In this paper, we investigate the effects of non-perturbative quantum gravitational corrections on a quantum sized AdS black hole. It will be observed that these non-perturbative quantum gravitational corrections modify the stability of this black hole. We will use the non-equilibrium quantum thermodynamics to investigate the evaporation of this black hole between two states. We will analyze the effects of non-perturbative quantum gravitational corrections on this non-equilibrium quantum thermodynamics. We will explicitly obtain the quantum work distribution for this black hole, as it evaporates between two states. It will be observed that this quantum work distribution is modified due to non-perturbative quantum gravitational corrections.


title: Learning in Feedback-driven Recurrent Spiking Neural Networks using full-FORCE Training

abstract: Feedback-driven recurrent spiking neural networks (RSNNs) are powerful computational models that can mimic dynamical systems. However, the presence of a feedback loop from the readout to the recurrent layer de-stabilizes the learning mechanism and prevents it from converging. Here, we propose a supervised training procedure for RSNNs, where a second network is introduced only during the training, to provide hint for the target dynamics. The proposed training procedure consists of generating targets for both recurrent and readout layers (i.e., for a full RSNN system). It uses the recursive least square-based First-Order and Reduced Control Error (FORCE) algorithm to fit the activity of each layer to its target. The proposed full-FORCE training procedure reduces the amount of modifications needed to keep the error between the output and target close to zero. These modifications control the feedback loop, which causes the training to converge. We demonstrate the improved performance and noise robustness of the proposed full-FORCE training procedure to model 8 dynamical systems using RSNNs with leaky integrate and fire (LIF) neurons and rate coding. For energy-efficient hardware implementation, an alternative time-to-first-spike (TTFS) coding is implemented for the full- FORCE training procedure. Compared to rate coding, full-FORCE with TTFS coding generates fewer spikes and facilitates faster convergence to the target dynamics.


title: Comparing the Digital Annealer with Classical Evolutionary Algorithm

abstract: In more recent years, there has been increasing research interest in exploiting the use of application specific hardware for solving optimisation problems. Examples of solvers that use specialised hardware are IBM's Quantum System One and D-wave's Quantum Annealer (QA) and Fujitsu's Digital Annealer (DA). These solvers have been developed to optimise problems faster than traditional meta-heuristics implemented on general purpose machines. Previous research has shown that these solvers (can optimise many problems much quicker than exact solvers such as GUROBI and CPLEX. Such conclusions have not been made when comparing hardware solvers with classical evolutionary algorithms. Making a fair comparison between traditional evolutionary algorithms, such as Genetic Algorithm (GA), and the DA (or other similar solvers) is challenging because the later benefits from the use of application specific hardware while evolutionary algorithms are often implemented on general-purpose machines. Moreover, quantum or quantum-inspired solvers are limited to solving problems in a specific format. A common formulation used is Quadratic Unconstrained Binary Optimisation (QUBO). Many optimisation problems are however constrained and have natural representations that are non-binary. Converting such problems to QUBO can lead to more problem difficulty and/or larger search space. The question addressed in this paper is whether quantum or quantum-inspired solvers can optimise QUBO transformations of combinatorial optimisation problems faster than classical evolutionary algorithms applied to the same problems in their natural representations. We show that the DA often present better average objective function values than GA on Travelling Salesman, Quadratic Assignment and Multi-dimensional Knapsack Problem instances.


title: Evolution of beliefs in social networks

abstract: Evolution of beliefs of a society are a product of interactions between people (horizontal transmission) in the society over generations (vertical transmission). Researchers have studied both horizontal and vertical transmission separately. Extending prior work, we propose a new theoretical framework which allows application of tools from Markov chain theory to the analysis of belief evolution via horizontal and vertical transmission. We analyze three cases: static network, randomly changing network, and homophily-based dynamic network. Whereas the former two assume network structure is independent of beliefs, the latter assumes that people tend to communicate with those who have similar beliefs. We prove under general conditions that both static and randomly changing networks converge to a single set of beliefs among all individuals along with the rate of convergence. We prove that homophily-based network structures do not in general converge to a single set of beliefs shared by all and prove lower bounds on the number of different limiting beliefs as a function of initial beliefs. We conclude by discussing implications for prior theories and directions for future work.


title: Geometry of transcendental singularities of complex analytic functions and vector fields

abstract: We study transcendental meromorphic functions with essential singularities on Riemann surfaces. Every function $\Psi_X$ has associated a complex vector field $X$. In the converse direction, vector fields $X$ provide single valued or multivalued functions $\Psi_X$. Our goal is to understand the relationship between the analytical properties of $\Psi_X$, the singularities of its inverse $\Psi_X^{-1}$ and the geometric behavior of $X$. As first result, by examining the containment properties of the neighborhoods of the singularities of $\Psi_X^{-1}$, we characterize when a singularity of $\Psi_X^{-1}$ over a singular value $a$, is either algebraic, logarithmic or non logarithmic. Secondly, to make precise the cooperative aspects between analysis and geometry, we present the systematic study of two holomorphic families of transcendental functions with an essential singularity at infinity, as well as some sporadic examples. As third stage, we study the incompleteness of the trajectories of the associated vector field $X$ with essential singularities on a Riemann surface $M_{\mathfrak g}$ of genus ${\mathfrak g}$. As an application, we provide conditions under which there exists an infinite number of (real) incomplete trajectories of $X$ localized at the essential singularities. Furthermore, removing the incomplete trajectories decomposes the Riemann surface into real flow invariant canonical pieces.


title: Pessimism in the Face of Confounders: Provably Efficient Offline Reinforcement Learning in Partially Observable Markov Decision Processes

abstract: We study offline reinforcement learning (RL) in partially observable Markov decision processes. In particular, we aim to learn an optimal policy from a dataset collected by a behavior policy which possibly depends on the latent state. Such a dataset is confounded in the sense that the latent state simultaneously affects the action and the observation, which is prohibitive for existing offline RL algorithms. To this end, we propose the \underline{P}roxy variable \underline{P}essimistic \underline{P}olicy \underline{O}ptimization (\texttt{P3O}) algorithm, which addresses the confounding bias and the distributional shift between the optimal and behavior policies in the context of general function approximation. At the core of \texttt{P3O} is a coupled sequence of pessimistic confidence regions constructed via proximal causal inference, which is formulated as minimax estimation. Under a partial coverage assumption on the confounded dataset, we prove that \texttt{P3O} achieves a $n^{-1/2}$-suboptimality, where $n$ is the number of trajectories in the dataset. To our best knowledge, \texttt{P3O} is the first provably efficient offline RL algorithm for POMDPs with a confounded dataset.

categories: cs.LG cs.AI math.ST stat.ME stat.ML stat.TH


title: Light- and heavy-quark symmetries and the $Y(4230)$, $Y(4360)$, $Y(4500)$, $Y(4620)$ and $X(4630)$ resonances

abstract: The heavy hadron spectrum is constrained by symmetries, of which two of the most important ones are heavy-quark spin and SU(3)-flavor symmetries. Here we argue that in the molecular picture the $Y(4230)$ (or $Y(4260)$), the $Y(4360)$ and the recently discovered $Y(4500)$ and $Y(4620)$ vector-like resonances are linked by these two symmetries. By formulating a contact-range effective field theory for the $D \bar{D}_1$ and $D_s \bar{D}_{s1}$ family of S- and P-wave charmed meson-antimeson systems, we find that if the $Y(4230)$ were to be a pure $D \bar{D}_1$ molecular state, there would be a $D^* \bar{D}_1$ partner with a mass similar to the $Y(4360)$, a $D_s \bar{D}_{s1}$ partner with a mass close to the $Y(4500)$ and three $J=1,2$ $D_s^* \bar{D}_{s1}$ and $J=3$ $D_s^* \bar{D}_{s2}^{*}$ bound states with a mass in the vicinity of $4630\,{\rm MeV}$, of which the first one ($J=1$) might correspond with the $Y(4620)$. The previous predictions can in turn be improved by modifying the assumptions we have used to build the effective field theory. In particular, if we consider the closeness of the $D^* \bar{D}_1$-$D^* \bar{D}_2^*$ and $D_s^* \bar{D}_{s1}$-$D_s^* \bar{D}_{s2}^*$ thresholds and include the related coupled channel dynamics, we predict a $J=2$ positive C-parity state with a mass around $4650\,{\rm MeV}$. This hidden-strange and hidden-charm state might in turn be identified with the $X(4630)$ that has been discovered past year by the LHCb in the $J/\psi \phi$ invariant mass distribution.


title: A protocol to create a multi-particle entangled state for quantum-enhanced sensing

abstract: We propose a protocol for generating multi-particle entangled states using coherent manipulation of atoms trapped in an optical cavity. We show how entanglement can be adiabatically produced with two control beams and by exploiting cavity-mediated interactions between the atoms. Our methods will allow for optimal generation of entanglement for the measurement protocol we propose. We discuss an experimental implementation and compare the performance of the states produced with those of classical states and ideal maximally-entangled Dicke states. We find that our states always feature metrological gain and even outperform ideal Dicke states in the measurement of magnetic field gradients. Due to the easy scalability, our entanglement protocol is a promising tool for quantum state engineering.


title: Generalized Riemann Functions, Their Weights, and the Complete Graph

abstract: By a {\em Riemann function} we mean a function $f\colon{\mathbb Z}^n\to{\mathbb Z}$ such that $f({\bf d})$ is equals $0$ for $d_1+\cdots+d_n$ sufficiently small, and equals $d_1+\cdots+d_n+C$ for a constant, $C$, for $d_1+\cdots+d_n$ sufficiently large. By adding $1$ to the Baker-Norine rank function of a graph, one gets an equivalent Riemann function, and similarly for related rank functions. To each Riemann function we associate a related function $W\colon{\mathbb Z}^n\to{\mathbb Z}$ via M\"obius inversion that we call the {\em weight} of the Riemann function. We give evidence that the weight seems to organize the structure of a Riemann function in a simpler way: first, a Riemann function $f$ satisfies a Riemann-Roch formula iff its weight satisfies a simpler symmetry condition. Second, we will calculate the weight of the Baker-Norine rank for certain graphs and show that the weight function is quite simple to describe; we do this for graphs on two vertices and for the complete graph. For the complete graph, we build on the work of Cori and Le Borgne who gave a linear time method to compute the Baker-Norine rank of the complete graph. The associated weight function has a simple formula and is extremely sparse (i.e., mostly zero). Our computation of the weight function leads to another linear time algorithm to compute the Baker-Norine rank, via a formula likely related to one of Cori and Le Borgne, but seemingly simpler, namely $$ r_{{\rm BN},K_n}({\bf d}) = -1+\biggl| \biggl\{ i=0,\ldots,{\rm deg}({\bf d}) \ \Bigm| \ \sum_{j=1}^{n-2} \bigl( (d_j-d_{n-1}+i) \bmod n \bigr) \le {\rm deg}({\bf d})-i \biggr\} \biggr|. $$ Our study of weight functions leads to a natural generalization of Riemann functions, with many of the same properties exhibited by Riemann functions.