title: Minimax Instrumental Variable Regression and $L_2$ Convergence Guarantees without Identification or Closedness

abstract: In this paper, we study nonparametric estimation of instrumental variable (IV) regressions. Recently, many flexible machine learning methods have been developed for instrumental variable estimation. However, these methods have at least one of the following limitations: (1) restricting the IV regression to be uniquely identified; (2) only obtaining estimation error rates in terms of pseudometrics (\emph{e.g.,} projected norm) rather than valid metrics (\emph{e.g.,} $L_2$ norm); or (3) imposing the so-called closedness condition that requires a certain conditional expectation operator to be sufficiently smooth. In this paper, we present the first method and analysis that can avoid all three limitations, while still permitting general function approximation. Specifically, we propose a new penalized minimax estimator that can converge to a fixed IV solution even when there are multiple solutions, and we derive a strong $L_2$ error rate for our estimator under lax conditions. Notably, this guarantee only needs a widely-used source condition and realizability assumptions, but not the so-called closedness condition. We argue that the source condition and the closedness condition are inherently conflicting, so relaxing the latter significantly improves upon the existing literature that requires both conditions. Our estimator can achieve this improvement because it builds on a novel formulation of the IV estimation problem as a constrained optimization problem.

categories: stat.ML cs.LG econ.EM math.ST stat.ME stat.TH


title: ACE, a generic constraint solver

abstract: Constraint Programming (CP) is a useful technology for modeling and solving combinatorial constrained problems. On the one hand, on can use a library like PyCSP3 for easily modeling problems arising in various application fields (e.g., scheduling, planning, data-mining, cryptography, bio-informatics, organic chemistry, etc.). Problem instances can then be directly generated from specific models and data. On the other hand, for solving instances (notably, represented in XCSP3 format), one can use a constraint solver like ACE, which is presented in this paper. ACE is an open-source constraint solver, developed in Java, which focuses on integer variables (including 0/1-Boolean variables), state-of-the-art table constraints, popular global constraints, search heuristics and (mono-criterion) optimization.


title: Adversarial Transformer Language Models for Contextual Commonsense Inference

abstract: Contextualized or discourse aware commonsense inference is the task of generating coherent commonsense assertions (i.e., facts) from a given story, and a particular sentence from that story. Some problems with the task are: lack of controllability for topics of the inferred facts; lack of commonsense knowledge during training; and, possibly, hallucinated or false facts. In this work, we utilize a transformer model for this task and develop techniques to address the aforementioned problems in the task. We control the inference by introducing a new technique we call "hinting". Hinting is a kind of language model prompting, that utilizes both hard prompts (specific words) and soft prompts (virtual learnable templates). This serves as a control signal to advise the language model "what to talk about". Next, we establish a methodology for performing joint inference with multiple commonsense knowledge bases. Joint inference of commonsense requires care, because it is imprecise and the level of generality is more flexible. You want to be sure that the results "still make sense" for the context. To this end, we align the textual version of assertions from three knowledge graphs (ConceptNet, ATOMIC2020, and GLUCOSE) with a story and a target sentence. This combination allows us to train a single model to perform joint inference with multiple knowledge graphs. We show experimental results for the three knowledge graphs on joint inference. Our final contribution is exploring a GAN architecture that generates the contextualized commonsense assertions and scores them as to their plausibility through a discriminator. The result is an integrated system for contextual commonsense inference in stories, that can controllably generate plausible commonsense assertions, and takes advantage of joint inference between multiple commonsense knowledge bases.


title: Matching Correlated Inhomogeneous Random Graphs using the $k$-core Estimator

abstract: We consider the task of estimating the latent vertex correspondence between two edge-correlated random graphs with generic, inhomogeneous structure. We study the so-called \emph{$k$-core estimator}, which outputs a vertex correspondence that induces a large, common subgraph of both graphs which has minimum degree at least $k$. We derive sufficient conditions under which the $k$-core estimator exactly or partially recovers the latent vertex correspondence. Finally, we specialize our general framework to derive new results on exact and partial recovery in correlated stochastic block models, correlated Chung-Lu graphs, and correlated random geometric graphs.

categories: math.ST cs.IT cs.LG cs.SI math.IT math.PR stat.TH


title: Maximally entangled Rydberg-atom pairs via Landau-Zener sweeps

abstract: We analyze the formation of maximally entangled Rydberg atom pairs subjected to Landau-Zener sweeps of the atom-light detuning. Though the populations reach a steady value at longer times, the phases evolve continuously, leading to periodic oscillations in the entanglement entropy. The local unitary equivalence between the obtained maximally entangled states and the Bell states is verified by computing the polynomial invariants. Finally, we study the effect of spontaneous emission from the Rydberg state of rubidium atoms on the correlation dynamics and show that the oscillatory dynamics persists for high-lying Rydberg states. Our study may offer novel ways to generate maximally entangled states, quantum gates and exotic quantum matter in arrays of Rydberg atoms through Landau Zener sweeps.


title: First passage times under frequent stochastic resetting

abstract: We determine the full distribution and moments of the first passage time for a wide class of stochastic search processes in the limit of frequent stochastic resetting. Our results apply to any system whose short-time behavior of the search process without resetting can be estimated. In addition to the typical case of exponentially distributed resetting times, we prove our results for a wide array of resetting time distributions. We illustrate our results in several examples and show that the errors of our approximations vanish exponentially fast in typical scenarios of diffusive search.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: Semi-Visible Dark Photon Phenomenology at the GeV Scale

abstract: In rich dark sector models, dark photons heavier than tens of MeV can behave as semi-visible particles: their decays contain both visible and invisible final states. We present models containing multiple dark fermions which allow for such decays and inscribe them in the context of inelastic dark matter and heavy neutral leptons scenarios. Our models represent a generalization of the traditional inelastic dark matter model by means of a charge conjugation symmetry. We revisit constraints on dark photons from $e^+e^-$ colliders and fixed target experiments, including the effect of analysis vetoes on semi-visible decays, $A^\prime \to \psi_i (\psi_j \to \psi_k \ell^+\ell^-)$. We find that in some cases, the BaBar and NA64 experiments no longer exclude large kinetic mixing, $\varepsilon \sim 10^{-2}$, and, specifically, the related explanation of the discrepancy in the muon $(g-2)$. This reopens an interesting window in parameter space for dark photons with exciting discovery prospects. We point out that a modified missing-energy search at NA64 can target short-lived $A^\prime$ decays and directly probe the newly-open parameter space.


title: The Impact of Network Design Interventions on the Security of Interdependent Systems

abstract: We study the problem of defending a Cyber-Physical System (CPS) consisting of interdependent components with heterogeneous sensitivity to investments. In addition to the optimal allocation of limited security resources, we analyze the impact of an orthogonal set of defense strategies in the form of network design interventions in the CPS to protect it against the attacker. We first propose an algorithm to simplify the CPS attack graph to an equivalent form which reduces the computational requirements for characterizing the defender's optimal security investments. We then evaluate four types of design interventions in the network in the form of adding nodes in the attack graph, interpreted as introducing additional safeguards, introducing structural redundancies, introducing functional redundancies, and introducing new functionalities. We identify scenarios in which interventions that strengthen internal components of the CPS may be more beneficial than traditional approaches such as perimeter defense. We showcase our proposed approach in two practical use cases: a remote attack on an industrial CPS and a remote attack on an automotive system. We highlight how our results closely match recommendations made by security organizations and discuss the implications of our findings for CPS design.


title: Achieving Linear Speedup in Non-IID Federated Bilevel Learning

abstract: Federated bilevel optimization has received increasing attention in various emerging machine learning and communication applications. Recently, several Hessian-vector-based algorithms have been proposed to solve the federated bilevel optimization problem. However, several important properties in federated learning such as the partial client participation and the linear speedup for convergence (i.e., the convergence rate and complexity are improved linearly with respect to the number of sampled clients) in the presence of non-i.i.d.~datasets, still remain open. In this paper, we fill these gaps by proposing a new federated bilevel algorithm named FedMBO with a novel client sampling scheme in the federated hypergradient estimation. We show that FedMBO achieves a convergence rate of $\mathcal{O}\big(\frac{1}{\sqrt{nK}}+\frac{1}{K}+\frac{\sqrt{n}}{K^{3/2}}\big)$ on non-i.i.d.~datasets, where $n$ is the number of participating clients in each round, and $K$ is the total number of iteration. This is the first theoretical linear speedup result for non-i.i.d.~federated bilevel optimization. Extensive experiments validate our theoretical results and demonstrate the effectiveness of our proposed method.


title: The mirage of luminal modified gravitational-wave propagation

abstract: Using conformal invariance of gravitational waves, we show that for a luminal modified gravity theory, the gravitational-wave propagation and luminosity distance are the same as in general relativity. The relation between the gravitational-wave and electromagnetic-wave luminosity distance gets however modified for electromagnetism minimally coupled to the Jordan frame metric. Using effective field theory we show that the modified relation obtained for luminal theories is also valid for non-luminal theories with Jordan frame matter-gravity coupling.We generalise our analysis to a time-dependent speed of gravitational waves with matter minimally coupled to either the Jordan or Einstein frame metrics.


title: Constraining Light Thermal Inelastic Dark Matter with NA64

abstract: A vector portal between the Standard Model and the dark sector is a predictive and compelling framework for thermal dark matter. Through co-annihilations, models of inelastic dark matter (iDM) and inelastic Dirac dark matter (i2DM) can reproduce the observed relic density in the MeV to GeV mass range without violating cosmological limits. In these scenarios, the vector mediator behaves like a semi-visible particle, evading traditional bounds on visible or invisible resonances, and uncovering new parameter space to explain the muon $(g-2)$ anomaly. By means of a more inclusive signal definition at the NA64 experiment, we place new constraints on iDM and i2DM using a missing energy technique. With a recast-based analysis, we contextualize the NA64 exclusion limits in parameter space and estimate the reach of the newly collected and expected future NA64 data. Our results motivate the development of an optimized search program for semi-visible particles, in which fixed-target experiments like NA64 provide a powerful probe in the sub-GeV mass range.


title: Enabling Transformational ngEHT Science via the Inclusion of 86 GHz Capabilities

abstract: We present a case for significantly enhancing the utility and efficiency of the ngEHT by incorporating an additional 86 GHz observing band. In contrast to 230 or 345 GHz, weather conditions at the ngEHT sites are reliably good enough for 86 GHz to enable year-round observations. Multi-frequency imaging that incorporates 86 GHz observations would sufficiently augment the ($u,v$) coverage at 230 and 345 GHz to permit detection of the M87 jet structure without requiring EHT stations to join the array. The general calibration and sensitivity of the ngEHT would also be enhanced by leveraging frequency phase transfer techniques, whereby simultaneous observations at 86 GHz and higher-frequency bands have the potential to increase the effective coherence times from a few seconds to tens of minutes. When observation at the higher frequencies is not possible, there are opportunities for standalone 86 GHz science, such as studies of black hole jets and spectral lines. Finally, the addition of 86 GHz capabilities to the ngEHT would enable it to integrate into a community of other VLBI facilities $-$ such as the GMVA and ngVLA $-$ that are expected to operate at 86 GHz but not at the higher ngEHT observing frequencies.


title: Approximate Dynamic Programming for a Mean-field Game of Traffic Flow: Existence and Uniqueness

abstract: Highway vehicular traffic is an inherently multi-agent problem. Traffic jams can appear and disappear mysteriously. We develop a method for traffic flow control that is applied at the vehicular level via mean-field games. We begin this work with a microscopic model of vehicles subject to control input, disturbances, noise, and a speed limit. We formulate a discounted-cost infinite-horizon robust mean-field game on the vehicles, and obtain the associated dynamic programming (DP) PDE system. We then perform approximate dynamic programming (ADP) using these equations to obtain a sub-optimal control for the traffic density adaptively. The sub-optimal controls are subject to an ODE-PDE system. We show that the ADP ODE-PDE system has a unique weak solution in a suitable Hilbert space using semigroup and successive approximation methods. We additionally give a numerical simulation, and interpret the results.


title: A Mathematical Model of Package Management Systems -- from General Event Structures to Antimatroids

abstract: This paper brings mathematical tools to bear on the study of package dependencies in software systems. We introduce structures known as Dependency Structures with Choice (DSC) that provide a mathematical account of such dependencies, inspired by the definition of general event structures in the study of concurrency. We equip DSCs with a particular notion of morphism and show that the category of DSCs is isomorphic to the category of antimatroids. We study the exactness properties of these equivalent categories, and show that they are finitely complete, have finite coproducts but not all coequalizers. Further, we construct a functor from a category of DSCs equipped with a certain subclass of morphisms to the opposite of the category of finite distributive lattices, making use of a simple finite characterization of the Bruns-Lakser completion, and finally, we introduce a formal account of versions of packages and introduce a mathematical account of package version-bound policies.


title: Quickest Inference of Susceptible-Infected Cascades in Sparse Networks

abstract: We consider the task of estimating a network cascade as fast as possible. The cascade is assumed to spread according to a general Susceptible-Infected process with heterogeneous transmission rates from an unknown source in the network. While the propagation is not directly observable, noisy information about its spread can be gathered through multiple rounds of error-prone diagnostic testing. We propose a novel adaptive procedure which quickly outputs an estimate for the cascade source and the full spread under this observation model. Remarkably, under mild conditions on the network topology, our procedure is able to estimate the full spread of the cascade in an $n$-vertex network, before $\mathrm{poly log}(n)$ vertices are affected by the cascade. We complement our theoretical analysis with simulation results illustrating the effectiveness of our methods.

categories: math.ST cs.IT cs.SI math.IT math.PR stat.TH


title: Gauge-equivariant neural networks as preconditioners in lattice QCD

abstract: We demonstrate that a state-of-the art multi-grid preconditioner can be learned efficiently by gauge-equivariant neural networks. We show that the models require minimal re-training on different gauge configurations of the same gauge ensemble and to a large extent remain efficient under modest modifications of ensemble parameters. We also demonstrate that important paradigms such as communication avoidance are straightforward to implement in this framework.


title: Astrometric Accelerations as Dynamical Beacons: A Giant Planet Imaged Inside the Debris Disk of the Young Star AF Lep

abstract: We present the direct imaging discovery of a giant planet orbiting the young star AF Lep, a 1.2 $M_{\odot}$ member of the 24 $\pm$ 3 Myr $\beta$ Pic moving group. AF Lep was observed as part of our ongoing high-contrast imaging program targeting stars with astrometric accelerations between Hipparcos and Gaia that indicate the presence of substellar companions. Keck/NIRC2 observations in $L'$ with the Vector Vortex Coronagraph reveal a point source, AF Lep b, at ${\approx}340$ mas which exhibits orbital motion at the 6-$\sigma$ level over the course of 13 months. A joint orbit fit yields precise constraints on the planet's dynamical mass of 3.2$^{+0.7}_{-0.6}$ $M_\mathrm{Jup}$, semi-major axis of $8.4^{+1.1}_{-1.3}$ au, and eccentricity of $0.24^{+0.27}_{-0.15}$. AF Lep hosts a debris disk located at $\sim$50 au, but it is unlikely to be sculpted by AF Lep b, implying there may be additional planets in the system at wider separations. The stellar inclination ($i_* = 54^{+11}_{-9} {}^\circ$) and orbital inclination ($i_o = 50^{+9}_{-12} {}^\circ$) are in good agreement, which is consistent with the system having spin-orbit alignment. AF Lep b is the lowest-mass imaged planet with a dynamical mass measurement and highlights the promise of using astrometric accelerations as a tool to find and characterize long-period planets.


title: Some asymptotics for short maturity Asian options

abstract: Most of the existing methods for pricing Asian options are less efficient in the limit of small maturities and small volatilities. In this paper, we use the large deviations theory for the analysis of short-maturity Asian options. We present a local volatility model for the underlying market that incorporates a jump term in addition to the drift and diffusion terms. We estimate the asymptotics for the out-of-the-money, in-the-money, and at-the-money short-maturity Asian call and put options. Under appropriate assumptions, we show that the asymptotics for out-of-the-money Asian call and put options are governed by rare events. For the at-the-money Asian options, the result is more involved and in that case, we find the upper and lower bounds of the asymptotics of the Asian option price.


title: Study of the Ultraviolet Behavior of an O($N$) $|\vec \phi|^6$ Theory in $d=3$ Dimensions

abstract: We study the ultraviolet (UV) behavior of an O($N$) $|\vec \phi |^6$ theory in $d=3$ spacetime dimensions, focusing on the question of the range in $N$ over which the perturbative beta function exhibits robust evidence of a UV zero in the $|\vec \phi |^6$ coupling, $g$. The four-loop $(4\ell)$ beta function is known to have a (scheme-independent) UV zero at $g=g_{_{UV,4\ell}}$, which is reliably calculable for large $N$. For our analysis we use the six-loop beta function calculated in the minimal subtraction scheme. We find that this six-loop beta function has a UV zero, $g_{_{UV,6\ell}}$, if $N > N_c$, where $N_c \simeq 796$, and we calculate $g_{_{UV,6\ell}}$. To investigate the reliability of the result in the region of $N \gtrsim N_c$, we apply three methods: (i) calculation of the fractional difference between $g_{_{UV,4\ell}}$ and $g_{_{UV,6\ell}}$, (ii) a Pad\'e approximant, and (iii) an assessment of scheme dependence. Our results provide quantitative measures of the range of $N$ over which the six-loop beta function has a UV zero and of the $1/N$ corrections to the value of $g$ at the UV zero for large but finite $N$. If one imposes a benchmark requirement that the fractional difference between $g_{_{UV,4\ell}}$ and $g_{_{UV,6\ell}}$ must be less than 15 \%, then our results show that this requirement is satisfied for $N \gtrsim 2 \times 10^3$. The possible role of nonperturbative effects is also noted.


title: Bi-isometries reducing the hyper-ranges of the coordinates

abstract: Let $(S_1, S_2)$ be a bi-isometry, that is, a pair of commuting isometries $S_1$ and $S_2$ on a complex Hilbert space $\mathscr H.$ By the von Neumann-Wold decomposition, the hyper-range $\mathscr H_\infty(S_1):=\cap_{n=0}^\infty S^n_1\mathscr H$ of $S_1$ reduces $S_1$ to a unitary operator. Although $\mathscr H_\infty(S_1)$ is an invariant subspace for $S_2,$ in general, $\mathscr H_\infty(S_1)$ is not a reducing subspace for $S_2.$ We show that $\mathscr H_\infty(S_1)$ reduces $S_2$ to an isometry if and only if the subspaces $S_2(\ker S^*_1)$ and $\mathscr H_\infty(S_1)$ of $\mathscr H$ are orthogonal. Further, we describe all bi-isometries $(S_1, S_2)$ satisfying the orthogonality condition mentioned above.


title: On the Spectral Evolution of Hot White Dwarf Stars. IV. The Diffusion and Mixing of Residual Hydrogen in Helium-rich White Dwarfs

abstract: In the framework of our extensive modeling study of the spectral evolution of white dwarfs, we present here a new set of detailed calculations of the transport of residual hydrogen in helium-rich white dwarfs. First, we investigate the so-called float-up process at high effective temperature, whereby the upward diffusion of trace hydrogen leads to the formation of a hydrogen atmosphere. We examine the dependence of this phenomenon on the initial hydrogen abundance and on the strength of the radiative wind that opposes gravitational settling. Combined with our empirical knowledge of spectral evolution, our simulations provide new quantitative constraints on the hydrogen content of the hot helium-dominated white dwarf population. Then, we study the outcome of the so-called convective dilution process at low effective temperature, whereby the superficial hydrogen layer is mixed within the underlying helium-rich envelope. In stark contrast with previous works on convective dilution, we demonstrate that, under reasonable assumptions, our models successfully reproduce the observed atmospheric composition of cool DBA stars, thereby solving one of the most important problems of spectral evolution theory. This major improvement is due to our self-consistent modeling of the earlier float-up process, which predicts the existence of a massive hydrogen reservoir underneath the thin superficial layer. We argue that the trace hydrogen detected at the surface of DBA white dwarfs is, in most cases, of primordial origin rather than the result of external accretion.


title: Deep Learning Based Object Tracking in Walking Droplet and Granular Intruder Experiments

abstract: We present a deep-learning based tracking objects of interest in walking droplet and granular intruder experiments. In a typical walking droplet experiment, a liquid droplet, known as \textit{walker}, propels itself laterally on the free surface of a vibrating bath of the same liquid. This motion is the result of the interaction between the droplets and the surface waves generated by the droplet itself after each successive bounce. A walker can exhibit a highly irregular trajectory over the course of its motion, including rapid acceleration and complex interactions with the other walkers present in the same bath. In analogy with the hydrodynamic experiments, the granular matter experiments consist of a vibrating bath of very small solid particles and a larger solid \textit{intruder}. Like the fluid droplets, the intruder interacts with and travels the domain due to the waves of the bath but tends to move much slower and much less smoothly than the droplets. When multiple intruders are introduced, they also exhibit complex interactions with each other. We leverage the state-of-art object detection model YOLO and the Hungarian Algorithm to accurately extract the trajectory of a walker or intruder in real-time. Our proposed methodology is capable of tracking individual walker(s) or intruder(s) in digital images acquired from a broad spectrum of experimental settings and does not suffer from any identity-switch issues. Thus, the deep learning approach developed in this work could be used to automatize the efficient, fast and accurate extraction of observables of interests in walking droplet and granular flow experiments. Such extraction capabilities are critically enabling for downstream tasks such as building data-driven dynamical models for the coarse-grained dynamics and interactions of the objects of interest.


title: Lower bounds for Choiceless Polynomial Time via Symmetric XOR-circuits

abstract: Choiceless Polynomial Time (CPT) is one of the few remaining candidate logics for capturing PTIME. In this paper, we make progress towards separating CPT from polynomial time by firstly establishing a connection between the expressive power of CPT and the existence of certain symmetric circuit families, and secondly, proving lower bounds against these circuits. We focus on the isomorphism problem of unordered Cai-F\"urer-Immerman-graphs (the CFI-query) as a potential candidate for separating CPT from P. Results by Dawar, Richerby and Rossman, and subsequently by Pakusa, Schalth\"ofer and Selman show that the CFI-query is CPT-definable on linearly ordered and preordered base graphs with small colour classes. We define a class of CPT-algorithms, that we call "CFI-symmetric algorithms", which generalises all the known ones, and show that such algorithms can only define the CFI-query on a given class of base graphs if there exists a family of symmetric XOR-circuits with certain properties. These properties include that the circuits have the same symmetries as the base graphs, are of polynomial size, and satisfy certain fan-in restrictions. Then we prove that such circuits with slightly strengthened requirements (i.e. stronger symmetry and fan-in and fan-out restrictions) do not exist for the n-dimensional hypercubes as base graphs. This almost separates the CFI-symmetric algorithms from polynomial time - up to the gap that remains between the circuits whose existence we can currently disprove and the circuits whose existence is necessary for the definability of the CFI-query by a CFI-symmetric algorithm.


title: A Zero Sum Signaling Method for High Speed, Dense Parallel Bus Communications

abstract: Complex digital systems such as high performance computers (HPCs) make extensive use of high-speed electrical interconnects, in routing signals among processing elements, or between processing elements and memory. Despite increases in serializer/deserializer (SerDes) and memory interface speeds, there is demand for higher bandwidth busses in constrained physical spaces which still mitigate simultaneous switching noise (SSN). The concept of zero sum signaling utilizes coding across a data bus to allow the use of single-ended buffers while still mitigating SSN, thereby reducing the number of physical channels (e.g. circuit board traces) by nearly a factor of two when compared with traditional differential signaling. Through simulation and analysis of practical (non-ideal) data bus and power delivery network architectures, we demonstrate the feasibility of zero sum signaling and compare performance with that of traditional (single-ended and differential) methods.


title: STERLING: Synergistic Representation Learning on Bipartite Graphs

abstract: A fundamental challenge of bipartite graph representation learning is how to extract informative node embeddings. Self-Supervised Learning (SSL) is a promising paradigm to address this challenge. Most recent bipartite graph SSL methods are based on contrastive learning which learns embeddings by discriminating positive and negative node pairs. Contrastive learning usually requires a large number of negative node pairs, which could lead to computational burden and semantic errors. In this paper, we introduce a novel synergistic representation learning model (STERLING) to learn node embeddings without negative node pairs. STERLING preserves the unique local and global synergies in bipartite graphs. The local synergies are captured by maximizing the similarity of the inter-type and intra-type positive node pairs, and the global synergies are captured by maximizing the mutual information of co-clusters. Theoretical analysis demonstrates that STERLING could improve the connectivity between different node types in the embedding space. Extensive empirical evaluation on various benchmark datasets and tasks demonstrates the effectiveness of STERLING for extracting node embeddings.


title: Entropic force for quantum particles

abstract: Entropic force has been drawing the attention of theoretical physicists following E. Verlinde's work in 2011 to derive Newton's second law and Einstein's field equations of general relativity. In this paper, we extend the idea of entropic force to the distribution of quantum particles. Starting from the definition of Shannon entropy for continuous variables, here we have derived quantum osmotic pressure as well as the consequent entropic forces for bosonic and fermionic particles. The entropic force is computed explicitly for a pair of bosons and fermions. The low temperature limit of this result show that the entropic force for bosons is similar to Hooke's law of elasticity revealing the importance of this idea in the formation of a Bose-Einstein condensate. For fermions, the low temperature limit boils down to the well known Neumann's radial force and also reveals the Pauli's exclusion principle. The classical limit of the entropic force between quantum particles is then discussed. As a further example, the entropic force for quantum particles in noncommutative space is also computed. The result reveals a violation of the Pauli exclusion principle for fermions in noncommutative space.


title: Oracle-Efficient Smoothed Online Learning for Piecewise Continuous Decision Making

abstract: Smoothed online learning has emerged as a popular framework to mitigate the substantial loss in statistical and computational complexity that arises when one moves from classical to adversarial learning. Unfortunately, for some spaces, it has been shown that efficient algorithms suffer an exponentially worse regret than that which is minimax optimal, even when the learner has access to an optimization oracle over the space. To mitigate that exponential dependence, this work introduces a new notion of complexity, the generalized bracketing numbers, which marries constraints on the adversary to the size of the space, and shows that an instantiation of Follow-the-Perturbed-Leader can attain low regret with the number of calls to the optimization oracle scaling optimally with respect to average regret. We then instantiate our bounds in several problems of interest, including online prediction and planning of piecewise continuous functions, which has many applications in fields as diverse as econometrics and robotics.


title: NeSe: Near-Sensor Event-Driven Scheme for Low Power Energy Harvesting Sensors

abstract: Digital technologies have made it possible to deploy visual sensor nodes capable of detecting motion events in the coverage area cost-effectively. However, background subtraction, as a widely used approach, remains an intractable task due to its inability to achieve competitive accuracy and reduced computation cost simultaneously. In this paper, an effective background subtraction approach, namely NeSe, for tiny energy-harvested sensors is proposed leveraging non-volatile memory (NVM). Using the developed software/hardware method, the accuracy and efficiency of event detection can be adjusted at runtime by changing the precision depending on the application's needs. Due to the near-sensor implementation of background subtraction and NVM usage, the proposed design reduces the data movement overhead while ensuring intermittent resiliency. The background is stored for a specific time interval within NVMs and compared with the next frame. If the power is cut, the background remains unchanged and is updated after the interval passes. Once the moving object is detected, the device switches to the high-powered sensor mode to capture the image.


title: Tackling Bias in the Dice Similarity Coefficient: Introducing nDSC for White Matter Lesion Segmentation

abstract: The development of automatic segmentation techniques for medical imaging tasks requires assessment metrics to fairly judge and rank such approaches on benchmarks. The Dice Similarity Coefficient (DSC) is a popular choice for comparing the agreement between the predicted segmentation against a ground-truth mask. However, the DSC metric has been shown to be biased to the occurrence rate of the positive class in the ground-truth, and hence should be considered in combination with other metrics. This work describes a detailed analysis of the recently proposed normalised Dice Similarity Coefficient (nDSC) for binary segmentation tasks as an adaptation of DSC which scales the precision at a fixed recall rate to tackle this bias. White matter lesion segmentation on magnetic resonance images of multiple sclerosis patients is selected as a case study task to empirically assess the suitability of nDSC. We validate the normalised DSC using two different models across 59 subject scans with a wide range of lesion loads. It is found that the nDSC is less biased than DSC with lesion load on standard white matter lesion segmentation benchmarks measured using standard rank correlation coefficients. An implementation of nDSC is made available at: https://github.com/NataliiaMolch/nDSC .


title: Unified Functional Hashing in Automatic Machine Learning

abstract: The field of Automatic Machine Learning (AutoML) has recently attained impressive results, including the discovery of state-of-the-art machine learning solutions, such as neural image classifiers. This is often done by applying an evolutionary search method, which samples multiple candidate solutions from a large space and evaluates the quality of each candidate through a long training process. As a result, the search tends to be slow. In this paper, we show that large efficiency gains can be obtained by employing a fast unified functional hash, especially through the functional equivalence caching technique, which we also present. The central idea is to detect by hashing when the search method produces equivalent candidates, which occurs very frequently, and this way avoid their costly re-evaluation. Our hash is "functional" in that it identifies equivalent candidates even if they were represented or coded differently, and it is "unified" in that the same algorithm can hash arbitrary representations; e.g. compute graphs, imperative code, or lambda functions. As evidence, we show dramatic improvements on multiple AutoML domains, including neural architecture search and algorithm discovery. Finally, we consider the effect of hash collisions, evaluation noise, and search distribution through empirical analysis. Altogether, we hope this paper may serve as a guide to hashing techniques in AutoML.


title: On-chip time-domain terahertz spectroscopy of superconducting films below the diffraction limit

abstract: Free-space time domain THz spectroscopy accesses electrodynamic responses in a frequency regime ideally matched to interacting condensed matter systems. However, THz spectroscopy is challenging when samples are physically smaller than the diffraction limit of ~0.5 mm, as is typical, for example, in van der Waals materials and heterostructures. Here, we present an on-chip, time-domain THz spectrometer based on semiconducting photoconductive switches with a bandwidth of 200 GHz to 750 GHz. We measure the optical conductivity of a 7.5-$\mu$m wide NbN film across the superconducting transition, demonstrating spectroscopic signatures of the superconducting gap in a sample smaller than 2% of the Rayleigh diffraction limit. Our spectrometer features an interchangeable sample architecture, making it ideal for probing superconductivity, magnetism, and charge order in strongly correlated van der Waals materials.


title: A deep convolutional neural network for salt-and-pepper noise removal using selective convolutional blocks

abstract: In recent years, there has been an unprecedented upsurge in applying deep learning approaches, specifically convolutional neural networks (CNNs), to solve image denoising problems, owing to their superior performance. However, CNNs mostly rely on Gaussian noise, and there is a conspicuous lack of exploiting CNNs for salt-and-pepper (SAP) noise reduction. In this paper, we proposed a deep CNN model, namely SeConvNet, to suppress SAP noise in gray-scale and color images. To meet this objective, we introduce a new selective convolutional (SeConv) block. SeConvNet is compared to state-of-the-art SAP denoising methods using extensive experiments on various common datasets. The results illustrate that the proposed SeConvNet model effectively restores images corrupted by SAP noise and surpasses all its counterparts at both quantitative criteria and visual effects, especially at high and very high noise densities.


title: Accurate estimation of angular power spectra for maps with correlated masks

abstract: The widely used MASTER approach for angular power spectrum estimation was developed as a fast $C_{\ell}$ estimator on limited regions of the sky. This method expresses the power spectrum of a masked map ("pseudo-$C_\ell$") in terms of the power spectrum of the unmasked map (the true $C_\ell$) and that of the mask or weight map. However, it is often the case that the map and mask are correlated in some way, such as point source masks used in cosmic microwave background (CMB) analyses, which have nonzero correlation with CMB secondary anisotropy fields and other mm-wave sky signals. In such situations, the MASTER approach gives biased results, as it assumes that the unmasked map and mask have zero correlation. While such effects have been discussed before with regard to specific physical models, here we derive a completely general formalism for any case where the map and mask are correlated. We show that our result ("reMASTERed") reconstructs ensemble-averaged pseudo-$C_\ell$ to effectively exact precision, with significant improvements over traditional estimators for cases where the map and mask are correlated. In particular, we obtain an improvement in the mean absolute percent error from 30% with the MASTER result to essentially no error with the reMASTERed result for an integrated Sachs-Wolfe (ISW) field map with a mask built from the thresholded ISW field, and 10% to effectively zero for a Compton-$y$ map combined with an infrared source mask (the latter being directly relevant to actual data analysis). An important consequence of our result is that for maps with correlated masks it is no longer possible to invert a simple equation to obtain the true $C_\ell$ from the pseudo-$C_\ell$. Instead, our result necessitates the use of forward modeling from theory space into the observable domain of the pseudo-$C_\ell$. Our code is publicly available at https://github.com/kmsurrao/reMASTERed.


title: High Probability Convergence of Clipped-SGD Under Heavy-tailed Noise

abstract: While the convergence behaviors of stochastic gradient methods are well understood \emph{in expectation}, there still exist many gaps in the understanding of their convergence with \emph{high probability}, where the convergence rate has a logarithmic dependency on the desired success probability parameter. In the \emph{heavy-tailed noise} setting, where the stochastic gradient noise only has bounded $p$-th moments for some $p\in(1,2]$, existing works could only show bounds \emph{in expectation} for a variant of stochastic gradient descent (SGD) with clipped gradients, or high probability bounds in special cases (such as $p=2$) or with extra assumptions (such as the stochastic gradients having bounded non-central moments). In this work, using a novel analysis framework, we present new and time-optimal (up to logarithmic factors) \emph{high probability} convergence bounds for SGD with clipping under heavy-tailed noise for both convex and non-convex smooth objectives using only minimal assumptions.


title: Deep Learning on Implicit Neural Representations of Shapes

abstract: Implicit Neural Representations (INRs) have emerged in the last few years as a powerful tool to encode continuously a variety of different signals like images, videos, audio and 3D shapes. When applied to 3D shapes, INRs allow to overcome the fragmentation and shortcomings of the popular discrete representations used so far. Yet, considering that INRs consist in neural networks, it is not clear whether and how it may be possible to feed them into deep learning pipelines aimed at solving a downstream task. In this paper, we put forward this research problem and propose inr2vec, a framework that can compute a compact latent representation for an input INR in a single inference pass. We verify that inr2vec can embed effectively the 3D shapes represented by the input INRs and show how the produced embeddings can be fed into deep learning pipelines to solve several tasks by processing exclusively INRs.


title: Enhanced Access Traffic Steering Splitting Switching with Utility-Based Decisioning

abstract: Coexistence of 3GPP access networks, namely 4G and 5G, and non-3GPP access networks, namely Wi-Fi, has enabled data offloading from one access network to another to reduce burden on the congested network. Within the evolution of 5G system, the coexistence has been evolved to a multi-access framework where simultaneous transmission on both 3GPP and non-3GPP access networks has been enabled. This framework is named as access traffic steering, splitting and switching (ATSSS) in 3GPP and is considered as one of the key enablers to provide stringent requirements on data rate and service continuity. In this paper, we introduce an enhanced ATSSS (eAT3S) algorithm where not only instantaneous link performance measurements but also network operator preferences are taken into account to optimize the overall network performance. As part of considered non-3GPP wireless access technologies (WATs), light fidelity (LiFi) access networks are also considered alongside with Wi-Fi networks.


title: Forward Learning with Top-Down Feedback: Empirical and Analytical Characterization

abstract: "Forward-only" algorithms, which train neural networks while avoiding a backward pass, have recently gained attention as a way of solving the biologically unrealistic aspects of backpropagation. Here, we first address compelling challenges related to the "forward-only" rules, which include reducing the performance gap with backpropagation and providing an analytical understanding of their dynamics. To this end, we show that the forward-only algorithm with top-down feedback is well-approximated by an "adaptive-feedback-alignment" algorithm, and we analytically track its performance during learning in a prototype high-dimensional setting. Then, we compare different versions of forward-only algorithms, focusing on the Forward-Forward and PEPITA frameworks, and we show that they share the same learning principles. Overall, our work unveils the connections between three key neuro-inspired learning rules, providing a link between "forward-only" algorithms, i.e., Forward-Forward and PEPITA, and an approximation of backpropagation, i.e., Feedback Alignment.


title: Project and Probe: Sample-Efficient Domain Adaptation by Interpolating Orthogonal Features

abstract: Transfer learning with a small amount of target data is an effective and common approach to adapting a pre-trained model to distribution shifts. In some situations, target data labels may be expensive to obtain, so we may only have access to a limited number of target data points. To make the most of a very small target dataset, we propose a lightweight, sample-efficient approach that learns a diverse set of features and adapts to a target distribution by interpolating these features. Our approach, Project and Probe (Pro$^2$), first learns a linear projection that maps a pre-trained embedding onto orthogonal directions while being predictive of labels in the source dataset. The goal of this step is to learn a variety of predictive features, so that at least some of them remain useful after distribution shift. Pro$^2$ then learns a linear classifier on top of these projected features using a small target dataset. Theoretically, we find that Pro$^2$ results in more sample-efficient generalization by inducing a favorable bias-variance tradeoff. Our experiments on four datasets, with multiple distribution shift settings for each, show that Pro$^2$ improves performance by 5-15% when given limited target data compared to prior methods such as standard linear probing.


title: Scaling Vision Transformers to 22 Billion Parameters

abstract: The scaling of Transformers has driven breakthrough capabilities for language models. At present, the largest large language models (LLMs) contain upwards of 100B parameters. Vision Transformers (ViT) have introduced the same architecture to image and video modelling, but these have not yet been successfully scaled to nearly the same degree; the largest dense ViT contains 4B parameters (Chen et al., 2022). We present a recipe for highly efficient and stable training of a 22B-parameter ViT (ViT-22B) and perform a wide variety of experiments on the resulting model. When evaluated on downstream tasks (often with a lightweight linear model on frozen features), ViT-22B demonstrates increasing performance with scale. We further observe other interesting benefits of scale, including an improved tradeoff between fairness and performance, state-of-the-art alignment to human visual perception in terms of shape/texture bias, and improved robustness. ViT-22B demonstrates the potential for "LLM-like" scaling in vision, and provides key steps towards getting there.


title: Believability and Harmfulness Shape the Virality of Misleading Social Media Posts

abstract: Misinformation on social media presents a major threat to modern societies. While previous research has analyzed the virality across true and false social media posts, not every misleading post is necessarily equally viral. Rather, misinformation has different characteristics and varies in terms of its believability and harmfulness - which might influence its spread. In this work, we study how the perceived believability and harmfulness of misleading posts are associated with their virality on social media. Specifically, we analyze (and validate) a large sample of crowd-annotated social media posts from Twitter's Birdwatch platform, on which users can rate the believability and harmfulness of misleading tweets. To address our research questions, we implement an explanatory regression model and link the crowd ratings for believability and harmfulness to the virality of misleading posts on Twitter. Our findings imply that misinformation that is (i) easily believable and (ii) not particularly harmful is associated with more viral resharing cascades. These results offer insights into how different kinds of crowd fact-checked misinformation spreads and suggest that the most viral misleading posts are often not the ones that are particularly concerning from the perspective of public safety. From a practical view, our findings may help platforms to develop more effective strategies to curb the proliferation of misleading posts on social media.


title: Q-Match: Self-Supervised Learning by Matching Distributions Induced by a Queue

abstract: In semi-supervised learning, student-teacher distribution matching has been successful in improving performance of models using unlabeled data in conjunction with few labeled samples. In this paper, we aim to replicate that success in the self-supervised setup where we do not have access to any labeled data during pre-training. We introduce our algorithm, Q-Match, and show it is possible to induce the student-teacher distributions without any knowledge of downstream classes by using a queue of embeddings of samples from the unlabeled dataset. We focus our study on tabular datasets and show that Q-Match outperforms previous self-supervised learning techniques when measuring downstream classification performance. Furthermore, we show that our method is sample efficient--in terms of both the labels required for downstream training and the amount of unlabeled data required for pre-training--and scales well to the sizes of both the labeled and unlabeled data.


title: Effective Approximation to Complex Algebraic Numbers by Algebraic Numbers of Bounded Degree

abstract: We establish the first effective improvements on the Liouville inequality for approximation to complex non-real algebraic numbers by complex algebraic numbers of degree at most 4.


title: Robust Scheduling with GFlowNets

abstract: Finding the best way to schedule operations in a computation graph is a classical NP-hard problem which is central to compiler optimization. However, evaluating the goodness of a schedule on the target hardware can be very time-consuming. Traditional approaches as well as previous machine learning ones typically optimize proxy metrics, which are fast to evaluate but can lead to bad schedules when tested on the target hardware. In this work, we propose a new approach to scheduling by sampling proportionally to the proxy metric using a novel GFlowNet method. We introduce a technique to control the trade-off between diversity and goodness of the proposed schedules at inference time and demonstrate empirically that the pure optimization baselines can lead to subpar performance with respect to our approach when tested on a target model. Furthermore, we show that conditioning the GFlowNet on the computation graph enables generalization to unseen scheduling problems for both synthetic and real-world compiler datasets.


title: Visual Ensemble Analysis of Fluid Flow in Porous Media across Simulation Codes and Experiment

abstract: We study the question of how visual analysis can support the comparison of spatio-temporal ensemble data of liquid and gas flow in porous media. To this end, we focus on a case study, in which nine different research groups concurrently simulated the process of injecting CO2 into the subsurface. We explore different data aggregation and interactive visualization approaches to compare and analyze these nine simulations. In terms of data aggregation, one key component is the choice of similarity metrics that define the relation between the different simulations. We test different metrics and find that a fine-tuned machine-learning based metric provides the best visualization results. Based on that, we propose different visualization methods. For overviewing the data, we use dimensionality reduction methods that allow us to plot and compare the different simulations in a scatterplot. To show details about the spatio-temporal data of each individual simulation, we employ a space-time cube volume rendering. We use the resulting interactive, multi-view visual analysis tool to explore the nine simulations and also to compare them to data from experimental setups. Our main findings include new insights into ranking of simulation results with respect to experimental data, and the development of gravity fingers in simulations.


title: The Construction of Reality in an AI: A Review

abstract: AI constructivism as inspired by Jean Piaget, described and surveyed by Frank Guerin, and representatively implemented by Gary Drescher seeks to create algorithms and knowledge structures that enable agents to acquire, maintain, and apply a deep understanding of the environment through sensorimotor interactions. This paper aims to increase awareness of constructivist AI implementations to encourage greater progress toward enabling lifelong learning by machines. It builds on Guerin's 2008 "Learning Like a Baby: A Survey of AI approaches." After briefly recapitulating that survey, it summarizes subsequent progress by the Guerin referents, numerous works not covered by Guerin (or found in other surveys), and relevant efforts in related areas. The focus is on knowledge representations and learning algorithms that have been used in practice viewed through lenses of Piaget's schemas, adaptation processes, and staged development. The paper concludes with a preview of a simple framework for constructive AI being developed by the author that parses concepts from sensory input and stores them in a semantic memory network linked to episodic data. Extensive references are provided.


title: Heckerthoughts

abstract: This manuscript is technical memoir about my work at Stanford and Microsoft Research. Included are fundamental concepts central to machine learning and artificial intelligence, applications of these concepts, and stories behind their creation.


title: A network-based biomarkers discovery of Cold/Hot ZHENG chronic gastritis and Cold/Hot herbs of formulae

abstract: Objective: To discover biomarkers and uncover the mechanism of Cold/Hot ZHENG (syndrome in traditional Chinese medicine) chronic gastritis (CG) and Cold/Hot herbs in traditional Chinese medicine (TCM) formulae on systematic biology. Background: CG is a common inflammatory disease and the diagnosis of CG in TCM can be classified into Cold ZHENG (Asthenic Cold) and Hot ZHENG (Excess Hot). However, the molecular features of Cold/Hot ZHENG in CG and the mechanism of Cold/Hot herbs in formulae for CG remained unclear. Methods: Based on data of 35 patients of Cold/Hot ZHENG CG and 3 scRNA-seq CG samples, we conduct analysis with transcriptomics datasets and algorithms, to discover biomarkers for Cold/Hot ZHENG CG. And we collected 25 formulae (with traditional effects related to Cold/Hot ZHENG) for CG and corresponding 89 Cold/Hot herbs (including Warm/Cool herbs) to discover features and construct target networks of Cold/Hot herbs on the basis of network target and enrichment analysis. Results: Biomarkers of Cold/Hot ZHENG CG represented by CCL2 and LEP suggested that Hot ZHENG CG might be characterized by over-inflammation and exuberant metabolism, and Cold ZHENG CG showed a trend of suppression in immune regulation and energy metabolism. And biomarkers of Cold/Hot ZHENG showed also significant changes in the progression of gastric cancer. And biomarkers and pathways of Hot herbs intend to regulate immune responses and energy metabolism, while those of Cold herbs were likely to participate in anti-inflammation effect. Conclusion: In this study, we found that the biomarkers and mechanism of Cold/Hot ZHENG CG and those of Cold/Hot herbs were closely related to the regulation of immune and metabolisms. These findings may reflect the mechanism, build bridges between multiple views of Cold/Hot ZHENG and Cold/Hot herbs, and provide a research paradigm for further achieving precision TCM.


title: Brain Effective Connectome based on fMRI and DTI Data: Bayesian Causal Learning and Assessment

abstract: Neuroscientific studies aim to find an accurate and reliable brain Effective Connectome (EC). Although current EC discovery methods have contributed to our understanding of brain organization, their performances are severely constrained by the short sample size and poor temporal resolution of fMRI data, and high dimensionality of the brain connectome. By leveraging the DTI data as prior knowledge, we introduce two Bayesian causal discovery frameworks -- the Bayesian GOLEM (BGOLEM) and Bayesian FGES (BFGES) methods -- that offer significantly more accurate and reliable ECs and address the shortcomings of the existing causal discovery methods in discovering ECs based on only fMRI data. Through a series of simulation studies on synthetic and hybrid (DTI of the Human Connectome Project (HCP) subjects and synthetic fMRI) data, we demonstrate the effectiveness of the proposed methods in discovering EC. To numerically assess the improvement in the accuracy of ECs with our method on empirical data, we first introduce the Pseudo False Discovery Rate (PFDR) as a new computational accuracy metric for causal discovery in the brain. We show that our Bayesian methods achieve higher accuracy than traditional methods on HCP data. Additionally, we measure the reliability of discovered ECs using the Rogers-Tanimoto index for test-retest data and show that our Bayesian methods provide significantly more reproducible ECs than traditional methods. Overall, our study's numerical and graphical results highlight the potential for these frameworks to advance our understanding of brain function and organization significantly.


title: About the atomic and molecular databases in the planetary community -- A contribution in the Laboratory Astrophysics Data WG IAU 2022 GA session

abstract: This paper corresponds to an invited oral contribution to the session 5A organised by the IAU inter-commission B2-B5 working group (WG) "Laboratory Astrophysics Data Compilation, Validation and Standardization: from the Laboratory to FAIR usage in the Astronomical Community" at the IAU 2022 General Assembly (GA). This WG provides a platform where to discuss the Findability, Accessibility,Interoperability, Reuse (FAIR) usage of laboratory Atomic and Molecular (A&M) data in astronomy and astrophysics. A&M data play a key role in the understanding of the physics and chemistry of processes in several research topics, including planetary science and interdisciplinary research in particular the atmospheres of planets and planetary explorations, etc. Databases, compilation of spectroscopic parameters, and facility tools are used by computer codes to interpret spectroscopic observations and simulate them. In this talk I presented existing A&M databases of interest to the planetary community focusing on access, organisation, infrastructures, limitations and issues, etc.


title: INSPIRE: INvestigating Stellar Population In RElics III. Second data release (DR2): testing the systematics on the stellar velocity dispersion

abstract: This is the second data release (DR2) of the INvestigating Stellar Population In RElics (INSPIRE) project, comprising 21 new systems with observations completed before March 2022. For each system, we release four one-dimensional (1D) spectra to the ESO Science Archive, one spectrum for each arm of the X-Shooter spectrograph. In this paper, we focus on the line-of-sight velocity distribution, measuring integrated stellar velocity dispersions from the spectra, and assessing their robustness and the associated uncertainties. For each of the 21 new systems, we systematically investigated the effect of the parameters and set-ups of the full spectral fitting on the stellar velocity dispersion ($\sigma$) measurements. In particular, we tested how $\sigma$ changes when several parameters of the fit as well as the resolution and spectral coverage of the input spectra are varied. We found that the effect that causes the largest systematic uncertainties on $\sigma$ is the wavelength range used for the fit, especially for spectra with a lower signal-to-noise ratio (S/N $\leq$ 30). When using blue wavelengths (UVB arm) one generally underestimates the velocity dispersion (by $\sim$15 km/s). The values obtained from the near-IR (NIR) arm present a larger scatter because the quality of the spectra is lower. We finally compared our results with those in literature, finding a very good agreement overall. Joining results obtained in DR1 with those presented here, INSPIRE contains 40 ultra-compact massive galaxies, corresponding to 75% of the whole survey. By plotting these systems in a stellar mass-velocity dispersion diagram, we identify at least four highly reliable relic candidates among the new systems. Their velocity dispersion is larger than that of normal-sized galaxies of similar stellar mass.


title: Distillation of encoder-decoder transformers for sequence labelling

abstract: Driven by encouraging results on a wide range of tasks, the field of NLP is experiencing an accelerated race to develop bigger language models. This race for bigger models has also underscored the need to continue the pursuit of practical distillation approaches that can leverage the knowledge acquired by these big models in a compute-efficient manner. Having this goal in mind, we build on recent work to propose a hallucination-free framework for sequence tagging that is especially suited for distillation. We show empirical results of new state-of-the-art performance across multiple sequence labelling datasets and validate the usefulness of this framework for distilling a large model in a few-shot learning scenario.


title: Precise Empirical Determination of Metallicity Dependence of Near-infrared Period-Luminosity Relations for RR Lyrae Variables

abstract: RR Lyrae variables are excellent population II distance indicators thanks to their well-defined period-luminosity relations (PLRs) at infrared wavelengths. We present results of near-infrared (NIR) monitoring of Galactic globular clusters to empirically quantify the metallicity dependence of NIR PLRs for RR Lyrae variables. Our sample includes homogeneous, accurate, and precise photometric data for 964 RR Lyrae variables in 11 globular clusters covering a large metallicity range ($\Delta\textrm{[Fe/H]}\sim2$~dex). We derive $JHK_s$ band period-luminosity-metallicity (PLZ) and period-Wesenheit-metallicity (PWZ) relations anchored using 346 Milky Way field RR Lyrae stars with {\it Gaia} parallaxes, and simultaneously solved for independent distances to globular clusters. We find a significant metallicity dependence of $\sim0.2$~mag/dex in $JHK_s$ band PLZ and PWZ relations for RR Lyrae stars independent of the adopted metallicity scale. The metallicity coefficients and the zero-points of the empirical PLZ and PWZ relations are in excellent agreement with the predictions from the horizontal branch evolution and pulsation models. Furthermore, RR Lyrae based distances to our sample of globular clusters are also statistically consistent with other independent measurements in the literature. Our recommended empirical $JHK_s$ band PLZ relations are also provided for RR Lyrae based distance measurements.


title: Supergravity Scattering Amplitudes

abstract: Supergravity theories with non-minimal K\"ahler potentials are characterized by a non-trivial field space manifold with corresponding non-trivial kinetic terms. The scattering amplitudes in these theories can be calculated at fixed background field values by making a field redefinition to Riemann normal coordinates. Because of the K\"ahler structure of supergravity, a more compact method for calculating amplitudes is obtained by a redefinition to K\"ahler normal coordinates. We compare both methods and calculate the explicit transformations and amplitudes for several examples in the context of no-scale supergravity with one and two chiral superfields. We show that in all cases the equivalence of the scattering amplitudes using either Riemann normal or K\"ahler normal coordinates is possible only at extremal points of the scalar potential.


title: Compressed quantum error mitigation

abstract: We introduce a quantum error mitigation technique based on probabilistic error cancellation to eliminate errors which have accumulated during the application of a quantum circuit. Our approach is based on applying an optimal "denoiser" after the action of a noisy circuit and can be performed with an arbitrary number of extra gates. The denoiser is given by an ensemble of circuits distributed with a quasiprobability distribution. For a simple noise model, we show that efficient, local denoisers can be found, and we demonstrate their effectiveness for the digital quantum simulation of the time evolution of simple spin chains.


title: Isospin-violating dark matter at liquid noble detectors: new constraints, future projections, and an exploration of target complementarity

abstract: There is no known reason that dark matter interactions with the Standard Model should couple to neutrons and protons in the same way. This isospin violation can have large consequences, modifying the sensitivity of existing and future direct detection experimental constraints by orders of magnitude. Previous works in the literature have focused on the zero-momentum limit which has its limitations when extending the analysis to the Non-Relativistic Effective Field Theory basis (NREFT). In this paper, we study isospin violation in a detailed manner, paying specific attention to the experimental setups of liquid noble detectors. We analyse two effective Standard Model gauge invariant models as interesting case studies as well as the more model-independent NREFT operators. This work demonstrates the high degree of complementarity between the target nuclei xenon and argon. Most notably, we show that the Standard Model gauge-invariant formulation of the standard spin-dependent interaction often generates a sizeable response from argon, a target nuclei with zero spin. This work is meant as an update and a useful reference to model builders and experimentalists.


title: Limits on Neutrino Emission from GRB 221009A from MeV to PeV using the IceCube Neutrino Observatory

abstract: Gamma-ray bursts (GRBs) have long been considered a possible source of high-energy neutrinos. While no correlations have yet been detected between high-energy neutrinos and GRBs, the recent observation of GRB 221009A - the brightest GRB observed by Fermi-GBM to date and the first one to be observed above an energy of 10 TeV - provides a unique opportunity to test for hadronic emission. In this paper, we leverage the wide energy range of the IceCube Neutrino Observatory to search for neutrinos from GRB 221009A. We find no significant deviation from background expectation across event samples ranging from MeV to PeV energies, placing stringent upper limits on the neutrino emission from this source.


title: Shortcuts to Adiabaticity in Krylov Space

abstract: Shortcuts to adiabaticity provide fast protocols for quantum state preparation in which the use of auxiliary counterdiabatic controls circumvents the requirement of slow driving in adiabatic strategies. While their development is well established in simple systems, their engineering and implementation are challenging in many-body quantum systems with many degrees of freedom. We show that the equation for the counterdiabatic term, equivalently the adiabatic gauge potential, is solved by introducing a Krylov basis. The Krylov basis spans the minimal operator subspace in which the dynamics unfolds and provides an efficient way to construct the counterdiabatic term. We apply our strategy to paradigmatic single- and many-particle models. The properties of the counterdiabatic term are reflected in the Lanczos coefficients obtained in the course of the construction of the Krylov basis by an algorithmic method. We examine how the expansion in the Krylov basis incorporates many-body interactions in the counterdiabatic term.


title: Leptoquark search at the Forward Physics Facility

abstract: In this study, we calculate the sensitivity reach on the vector leptoquark (LQ) $U_1$ at the experiments proposed in Forward Physics Facility (FPF), including FASER$\nu$, FASER$\nu2$, FLArE (10 tons), and FLArE (100 tons) using the neutrino-nucleon scattering ($\nu N \rightarrow \nu N'$ and $\nu N \rightarrow l N'$). We cover a wide mass range of $10^{-3}$ GeV $\leq M_{LQ}\leq 10^4$ GeV. The new result shows that the FLArE (100 tons) offers the best sensitivity to the LQ model. The sensitivity curves for all the experiments follow a similar pattern with weakened sensitivities with the increment of the LQ mass. We combine the sensitivities obtained from the neutral- and charged-current interactions of the neutrinos.


title: Magnetized Rotating Isothermal Winds

abstract: We consider the general problem of a Parker-type non-relativistic isothermal wind from a rotating and magnetic star. Using the magnetohydrodynamics (MHD) code athena++, we construct an array of simulations in the stellar rotation rate $\Omega_\ast$ and the isothermal sound speed $c_T$, and calculate the mass, angular momentum, and energy loss rates across this parameter space. We also briefly consider the three dimensional case, with misaligned magnetic and rotation axes. We discuss applications of our results to the spindown of normal stars, highly-irradiated exoplanets, and to nascent highly-magnetic and rapidly-rotating neutron stars born in massive star core collapse.8


title: Gravitational Harmonium: Gravitationally Induced Entanglement in a Harmonic Trap

abstract: Recent work has shown that it may be possible to detect gravitationally induced entanglement in tabletop experiments in the not-too-distant future. However, there are at present no thoroughly developed models for this type of experiment where the entangled particles are treated more fundamentally as excitations of a relativistic quantum field, and with the measurements modeled using expectation values of field observables. Here we propose a thought experiment where two particles (i.e., massive scalar field quanta) are initially prepared in a superposition of coherent states within a common three-dimensional (3D) harmonic trap. The particles then develop entanglement through their mutual gravitational interaction, which can be probed through particle position detection probabilities. The present work gives a non-relativistic quantum mechanical analysis of the gravitationally induced entanglement of this system, which we term the `gravitational harmonium' due to its similarity to the harmonium model of approximate electron interactions in a helium atom; the entanglement is operationally determined through the matter wave interference visibility. The present work serves as the basis for a subsequent investigation, which models this system using quantum field theory, providing further insights into the quantum nature of gravitationally induced entanglement through relativistic corrections, together with an operational procedure to quantify the entanglement.


title: Galaxy Zoo: Kinematics of strongly and weakly barred galaxies

abstract: We study the bar pattern speeds and corotation radii of 225 barred galaxies, using IFU data from MaNGA and the Tremaine-Weinberg method. Our sample, which is divided between strongly and weakly barred galaxies identified via Galaxy Zoo, is the largest that this method has been applied to. We find lower pattern speeds for strongly barred galaxies than for weakly barred galaxies. As simulations show that the pattern speed decreases as the bar exchanges angular momentum with its host, these results suggest that strong bars are more evolved than weak bars. Interestingly, the corotation radius is not different between weakly and strongly barred galaxies, despite being proportional to bar length. We also find that the corotation radius is significantly different between quenching and star forming galaxies. Additionally, we find that strongly barred galaxies have significantly lower values for R, the ratio between the corotation radius and the bar radius, than weakly barred galaxies, despite a big overlap in both distributions. This ratio classifies bars into ultrafast bars (R < 1.0; 11% of our sample), fast bars (1.0 < R < 1.4; 27%) and slow bars (R > 1.4; 62%). Simulations show that R is correlated with the bar formation mechanism, so our results suggest that strong bars are more likely to be formed by different mechanisms than weak bars. Finally, we find a lower fraction of ultrafast bars than most other studies, which decreases the recently claimed tension with {\Lambda}CDM. However, the median value of R is still lower than what is predicted by simulations.


title: The Demographics, Stellar Populations, and Star Formation Histories of Fast Radio Burst Host Galaxies: Implications for the Progenitors

abstract: We present a comprehensive catalog of observations and stellar population properties for 23 highly secure host galaxies of fast radio bursts (FRBs). Our sample comprises six repeating FRBs and 17 apparent non-repeaters. We present 82 new photometric and eight new spectroscopic observations of these hosts. Using stellar population synthesis modeling and employing non-parametric star formation histories (SFHs), we find that FRB hosts have a median stellar mass of $\approx 10^{9.9}\,M_{\odot}$, mass-weighted age $\approx 5.1$ Gyr, and ongoing star formation rate $\approx 1.3\,M_{\odot}$ yr$^{-1}$ but span wide ranges in all properties. Classifying the hosts by degree of star formation, we find that 87% (20/23 hosts) are star-forming, two are transitioning, and one is quiescent. The majority trace the star-forming main sequence of galaxies, but at least three FRBs in our sample originate in less active environments (two non-repeaters and one repeater). Across all modeled properties, we find no statistically significant distinction between the hosts of repeaters and non-repeaters. However, the hosts of repeating FRBs generally extend to lower stellar masses, and the hosts of non-repeaters arise in more optically luminous galaxies. While four of the galaxies with the most clear and prolonged rises in their SFHs all host repeating FRBs, demonstrating heightened star formation activity in the last $\lesssim 100$ Myr, one non-repeating host shows this SFH as well. Our results support progenitor models with short delay channels (i.e., magnetars formed via core-collapse supernova) for most FRBs, but the presence of some FRBs in less active environments suggests a fraction form through more delayed channels.


title: The Next Generation Deep Extragalactic Exploratory Public (NGDEEP) Survey

abstract: We present the Next Generation Deep Extragalactic Exploratory Public (NGDEEP) Survey, a deep slitless spectroscopic and imaging Cycle 1 JWST treasury survey designed to constrain feedback mechanisms in low-mass galaxies across cosmic time. NGDEEP targets the Hubble Ultra Deep Field (HUDF) with NIRISS slitless spectroscopy (f~1.2e-18 erg/s/cm^2, 5sigma) to measure metallicities and star-formation rates (SFRs) for low-mass galaxies through the peak of the cosmic SFR density (0.5<z<4). In parallel, NGDEEP targets the HUDF-Par2 parallel field with NIRCam (m=30.6-30.9, 5sigma) to discover galaxies to z>12, constraining the slope of the faint-end of the rest-ultraviolet luminosity function. NGDEEP overlaps with the deepest HST ACS optical imaging in the sky: F435W in the HUDF (m=29.6), and F814W in HUDF-Par2 (m=30), making this a premier HST+JWST Deep Field. As a treasury survey, NGDEEP data is public immediately, and we will rapidly release data products and catalogs in the spirit of previous deep field initiatives. In this paper we present the NGDEEP survey design, summarize the science goals, and detail plans for the public release of NGDEEP reduced data products.


title: $\tau^\pm \nu \gamma\gamma$ and $\ell^\pm \ell^\pm \gamma \gamma {\rlap{\,/}{E}_T} X$ to probe the fermiophobic Higgs boson with high cutoff scales

abstract: The light fermiophobic Higgs boson $h_{\rm f}$ in the type-I two-Higgs-doublet model can evade the current search programs at the LHC since its production through the quark-antiquark annihilation and gluon fusion is not feasible. The particle can be more elusive if the model retains stability up to the Planck scale because the efficient discovery channels are missing from the existing search chart. Through the comprehensive scanning, we show that all the viable parameter points with the Planck cutoff scale require $ m_{h_{\rm f}} \in[80,\, 120]{\;{\rm GeV}}$ and $M_{A/H^\pm} \in [90,\,150]{\;{\rm GeV}}$. Since $h_{\rm f}h_{\rm f}\to \gamma\gamma W^+ W^-$ and $H^\pm \to \tau^\pm \nu/h_{\rm f}W^\pm$ are dominant in this case, two final states are more efficient to probe $h_{\rm f}$ than the conventional search mode of $4\gamma+W^\pm/Z$. One is $\tau^\pm\nu \gamma\gamma$ from $pp \to H^\pm(\to\tau^\pm\nu) h_{\rm f}(\to \gamma\gamma)$ and the other is $\ell^\pm \ell^\pm \gamma\gamma {\rlap{\,/}{E}_T} X$ ($\ell^\pm=e^\pm,\mu^\pm$) from $pp \to H^\pm(\to h_{\rm f}W^\pm) h_{\rm f} \to \gamma\gamma W^+ W^-W^\pm $, $pp \to H^\pm(\to h_{\rm f} W^\pm) A(\to h_{\rm f} Z) \to \gamma\gamma W^+ W^- W^\pm Z $, and $pp \to H^+(\to h_{\rm f} W^+)H^-(\to h_{\rm f} W^-)\to \gamma\gamma W^+ W^- W^+ W^-$. The inclusive $\ell^\pm \ell^\pm \gamma\gamma {\rlap{\,/}{E}_T} X$ consists of a same-sign dilepton, two prompt photons, and missing transverse energy. We perform the signal-background analysis at the detector level. With the total integrated luminosity of $300\;{\rm fb}^{-1}$ and the 5\% background uncertainty, two proposed channels at the 14 TeV LHC yield signal significances above five in the entire viable parameter space of the fermiophobic type-I with a high cutoff scale.


title: Carbonaceous dust grains seen in the first billion years of cosmic time

abstract: Large dust reservoirs (up to $\sim 10^8 \, \mathrm{M_\odot}$) have been detected in galaxies out to redshift $z \sim 8$, when the age of the universe was only about 600 Myr. Generating significant amounts of dust within such a short timescale has proven challenging for theories of dust formation and has prompted the revision of the modelling of potential sites of dust production such as the atmospheres of asymptotic giant branch (AGB) stars in low-metallicity environments, supernovae (SNe) ejecta, and the accelerated growth of grains in the interstellar medium (ISM). However, degeneracies between different evolutionary pathways remain when the total dust mass of galaxies is the only available observable. Here we report observations of the $2175 \, \mathring{\rm A}$ dust attenuation feature, well known in the Milky Way (MW) and galaxies at $z \lesssim 3$, in the near-infrared spectra of galaxies up to $z \sim 7$, corresponding to the first billion years of cosmic time. The relatively short timescale implied for the formation of carbonaceous grains giving rise to this feature suggests a rapid production process, likely in Wolf-Rayet (WR) stars or SN ejecta.


title: Void-Finding Systematics using Crossing Numbers

abstract: We study how well void-finding algorithms identify cosmic void regions and whether we can quantitatively and qualitatively describe their biases by comparing the voids they find with dynamical information from the underlying matter distribution. Using the ORIGAMI algorithm to determine the number of dimensions along which dark matter particles have undergone shell-crossing (crossing number) in $N$-body simulations from the AbacusSummit simulation suite, we identify dark matter particles which have undergone no shell crossing as belonging to voids. We then find voids in the corresponding halo distribution using two different void-finding algorithms: VoidFinder and V$^2$, a ZOBOV-based algorithm. The resulting void catalogs are compared to the distribution of dark matter particles to examine how their crossing numbers depend on void proximity. While both algorithms' voids have a similar distribution of crossing numbers near their centers, we find that beyond 0.25 times the effective void radius, voids found by VoidFinder exhibit a stronger preference for particles with low crossing numbers than those found by V$^2$. We examine two possible methods of mitigating this difference in efficacy between the algorithms. While we are able to partially mitigate the ineffectiveness of V$^2$ by using distance from the void edge as a measure of centrality, we conclude that VoidFinder more reliably identifies dynamically-distinct regions of low crossing number.


title: Properties of k-Descending Trees

abstract: For any real-valued $k > 1$, we consider the tree rooted at 0, where each positive integer $n$ has parent $\lfloor\frac{n}{k}\rfloor$. The average number of children per node is $k$, thus this definition gives a natural way to extend $k$-ary trees to irrational $k$. We focus on the sequence $r_d$: the count of nodes at depth $d$. We first prove there exists some constant $\rho(k)$ such that $r_d \sim \rho(k)\cdot k^d$. We then study a family of values $k=\frac{a + \sqrt{a+4b}}{2}$, where we prove the sequence satisfies the exact recurrence $r_d = a\cdot r_{d-1} + b \cdot r_{d-2}$. This generalizes a special case when $k$ is the golden ratio and $r_d$ is the Fibonacci sequence.


title: New Physics hints from $\tau$ scalar interactions and $(g-2)_{e,\mu}$

abstract: We consider a flavour conserving two Higgs doublet model that consists of a type I (or X) quark sector and a generalized lepton sector where the Yukawa couplings of the charged leptons to the new scalars are not proportional to the lepton masses. The model, previously proposed to solve both muon and electron $g-2$ anomalies simultaneously, is also capable to accommodate the ATLAS excess in $pp \rightarrow S \rightarrow \tau^{+}\tau^{-}$ with gluon-gluon fusion production in the invariant mass range [0.2; 0.6] TeV, including all relevant low and high energy constraints. The excess is reproduced taking into account the new contributions from the scalar H, the pseudoscalar A, or both. In particular, detailed numerical analyses favoured the solution with a significant hierarchy among the vevs of the two Higgs doublets, $t_{\beta} \sim 10$, and light neutral scalars satisfying $m_\mathrm{A} > m_\mathrm{H}$ with sizable couplings to $\tau$ leptons. In this region of the parameter space, the muon $g-2$ anomaly receives one and two loop (Barr-Zee) contributions of similar size, while the electron anomaly is explained at two loops. An analogous ATLAS excess in $b$-associated production and the CMS excess in ditop production are also studied. Further New Physics prospects concerning the anomalous magnetic moment of the $\tau$ lepton and the implications of the CDF $M_W$ measurement on the final results are discussed.


title: Elementary Particle Physics Vision for EPP2024

abstract: In the fall of 2022, the decadal survey committee on Elementary Particle Physics of the US National Academies requested 2000 word Vision Papers, giving personal interpretations of the results of the Snowmass 2021 study and the future of the field. This is my contribution, which emphasizes the central role of the Higgs boson and its associated mysteries. I encourage the authors of other Vision Papers to make them widely available on the arXiv.


title: Geometrical Formulation of Hybrid Kinetic and Gyrokinetic Hamiltonian Field Theory for Astrophysical and Laboratory Plasmas

abstract: In the present work, a consistent Lagrangian model that encapsulates fully kinetic ions and gyrokinetic electrons for solar wind electromagnetic turbulence is formulated. Using a consistent method, where both electrons and protons are treated with the same mathematical formalism, we derive and implement a model in which high frequency waves and kinetic electrons effects are described in a computationally cost-efficient way. To that aim, higher order Lie-transform perturbation methods applied to Hamiltonian formulation of guiding center motion are used in order to describe the dynamics of particles and fields. Furthermore, the use of a Hamiltonian formulation allow us to introduce an abelian and gauge invariant electromagnetic field theory for the closure of the system.

categories: physics.plasm-ph astro-ph.SR math.SG physics.space-ph


title: On the notion of Laplacian bounds on $\mathrm{RCD}$ spaces and applications

abstract: We show that several different interpretations of the inequality $\Delta f\leq\eta$ are equivalent in the setting of $\mathrm{RCD}(K,N)$ spaces. With respect to previously available results in this direction, we improve both on the generality of the underlying space and in terms of regularity to be assumed on the function $f$. Applications are presented.


title: Uncovering the Structural Evolution Arsenene on SiC Substrate

abstract: Two-dimensional arsenic allotropes have been grown on metallic surfaces, while topological properties have been theoretically described on strained structures. Here we experimentally grow arsenene by molecular beam epitaxy over the insulating SiC substrate. The arsenene presents a flat structure with a strain field that follows the SiC surface periodicity. Our ab initio simulations, based on the density functional theory, corroborate the experimental observation. The strained structure presents a new arsenene allotrope with a triangular structure, rather than the honeycomb previously predicted for other pnictogens. This strained structure presents a Peierls-like transition leading to an indirect gap semiconducting behavior.


title: Transactional Panorama: A Conceptual Framework for User Perception in Analytical Visual Interfaces

abstract: Many tools empower analysts and data scientists to consume analysis results in a visual interface, such as a dashboard. When the underlying data changes, these results need to be updated, but this update can take a long time -- all while the user continues to explore the results. In this context, tools can either (i) hide away results that haven't been updated, hindering exploration; (ii) make the updated results immediately available to the user (on the same screen as old results), leading to confusion and incorrect insights; or (iii) present old -- and therefore stale -- results to the user during the update. To help users reason about these options and others, and make appropriate trade-offs, we introduce Transactional Panorama, a formal framework that adopts transactions to jointly model the system refreshing the analysis results and the user interacting with them. We introduce three key properties that are important for user perception in this context, visibility (allowing users to continuously explore results), consistency (ensuring that results resented are from the same version of the data), and monotonicity (making sure that results don't "go back in time"). Within transactional panorama, we characterize all of the feasible property combinations, design new mechanisms (that we call lenses) for presenting analysis results to the user while preserving a given property combination, formally prove their relative orderings for various performance criteria and discuss their use cases. We propose novel algorithms to preserve each property combination and efficiently present fresh analysis results. We implement our transactional panorama framework in a popular, open-source BI tool, illustrate the relative performance implications of different lenses, demonstrate the benefits of the novel lenses, and outline the performance improvement by our optimizations.


title: The paraxial approximation in quantum optics I: Henochromatic modes of a scalar field

abstract: This paper examines how best to associate quantum states of a single particle to different modes of a narrowly collimated beam of classical radiation modeled in the paraxial approximation. Our analysis stresses the importance of the relationship between two inner products naturally arising in the problem. These are the inner product used to expand a general beam as a superposition of orthogonal modes in the paraxial approximation, on the one hand, and the canonical inner product on which the statistical interpretation of quantum (field) theory is founded, on the other. While several candidates for the sort of association between beam modes and single-particle quantum states have been proposed in the literature, here we argue that one of them is uniquely well suited to the task. Specifically, the mapping of beam modes to the ``henochromatic'' quantum states previously introduced by Sudarshan, Simon and Mukunda is unique within a large class of similar mappings in that it is unitary in a mathematically precise sense.


title: On the paraxial approximation in quantum optics II: Henochromatic modes of a Maxwell field

abstract: A companion paper has argued that the best way to associate single-particle quantum states of a scalar field to the modes of a narrowly collimated beam of classical radiation modeled in the paraxial approximation uses the ``henochromatic'' states previously introduced by Sudarshan, Simon and Mukunda. This paper extends that result to Maxwell fields, again emphasizing the central role of unitarity in defining the association. The principal new technical element in the present discussion has to do with the intertwining of polarization and spatial degrees of freedom in the resulting single-photon states.


title: A variational encoder-decoder approach to precise spectroscopic age estimation for large Galactic surveys

abstract: Constraints on the formation and evolution of the Milky Way Galaxy require multi-dimensional measurements of kinematics, abundances, and ages for a large population of stars. Ages for luminous giants, which can be seen to large distances, are an essential component of studies of the Milky Way, but they are traditionally very difficult to estimate precisely for a large dataset and often require careful analysis on a star-by-star basis in asteroseismology. Because spectra are easier to obtain for large samples, being able to determine precise ages from spectra allows for large age samples to be constructed, but spectroscopic ages are often imprecise and contaminated by abundance correlations. Here we present an application of a variational encoder-decoder on cross-domain astronomical data to solve these issues. The model is trained on pairs of observations from APOGEE and Kepler of the same star in order to reduce the dimensionality of the APOGEE spectra in a latent space while removing abundance information. The low dimensional latent representation of these spectra can then be trained to predict age with just $\sim$ 1,000 precise seismic ages. We demonstrate that this model produces more precise spectroscopic ages ($\sim$ 22% overall, $\sim$ 11% for red-clump stars) than previous data-driven spectroscopic ages while being less contaminated by abundance information (in particular, our ages do not depend on [$\alpha$/M]). We create a public age catalog for the APOGEE DR17 data set and use it to map the age distribution and the age-[Fe/H]-[$\alpha$/M] distribution across the radial range of the Galactic disk.


title: Thermodynamic limit of the free electron gas on a circle

abstract: We show that for the ground state of a one dimensional free electron gas on a circle the analytic expression for the canonical ensemble partition function can be easily derived from the density matrix by assuming that the thermodynamic limit coincides with the limit of the eigenfunction expansion of the kinetic energy. This approximation fails to give the finite temperature partition function because those two limits cannot be chosen as coincident.

categories: cond-mat.quant-gas cond-mat.stat-mech math-ph math.MP


title: Domain-Adversarial Graph Neural Networks for $\Lambda$ Hyperon Identification with CLAS12

abstract: Machine learning methods and in particular Graph Neural Networks (GNNs) have revolutionized many tasks within the high energy physics community. We report on the novel use of GNNs and a domain-adversarial training method to identify $\Lambda$ hyperon events with the CLAS12 experiment at Jefferson Lab. The GNN method we have developed increases the purity of the $\Lambda$ yield by a factor of $1.95$ and by $1.82$ using the domain-adversarial training. This work also provides a good benchmark for developing event tagging machine learning methods for the $\Lambda$ and other channels at CLAS12 and other experiments, such as the planned Electron Ion Collider.


title: Efficient and Compact Spreadsheet Formula Graphs

abstract: Spreadsheets are one of the most popular data analysis tools, wherein users can express computation as formulae alongside data. The ensuing dependencies are tracked as formula graphs. Efficiently querying and maintaining these formula graphs is critical for interactivity across multiple settings. Unfortunately, formula graphs are often large and complex such that querying and maintaining them is time-consuming, reducing interactivity. We propose TACO, a framework for efficiently compressing formula graphs, thereby reducing the time for querying and maintenance. The efficiency of TACO stems from a key spreadsheet property: tabular locality, which means that cells close to each other are likely to have similar formula structures. We leverage four such tabular locality-based patterns and develop algorithms for compressing formula graphs using these patterns, directly querying the compressed graph without decompression, and incrementally maintaining the graph during updates. We integrate TACO into an open-source spreadsheet system and show that TACO can significantly reduce formula graph sizes. For querying formula graphs, the speedups of TACO over a baseline implemented in our framework and a commercial spreadsheet system are up to 34,972x and 632x, respectively.


title: Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams

abstract: Decision diagrams are an increasingly important tool in cutting-edge solvers for discrete optimization. However, the field of decision diagrams is relatively new, and is still incorporating the library of techniques that conventional solvers have had decades to build. We drew inspiration from the warm-start technique used in conventional solvers to address one of the major challenges faced by decision diagram based methods. Decision diagrams become more useful the wider they are allowed to be, but also become more costly to generate, especially with large numbers of variables. In the original version of this paper, we presented a method of peeling off a sub-graph of previously constructed diagrams and using it as the initial diagram for subsequent iterations that we call peel-and-bound. We tested the method on the sequence ordering problem, and our results indicate that our peel-and-bound scheme generates stronger bounds than a branch-and-bound scheme using the same propagators, and at significantly less computational cost. In this extended version of the paper, we also propose new methods for using relaxed decision diagrams to improve the solutions found using restricted decision diagrams, discuss the heuristic decisions involved with the parallelization of peel-and-bound, and discuss how peel-and-bound can be hyper-optimized for sequencing problems. Furthermore, we test the new methods on the sequence ordering problem and the traveling salesman problem with time-windows (TSPTW), and include an updated and generalized implementation of the algorithm capable of handling any discrete optimization problem. The new results show that peel-and-bound outperforms ddo (a decision diagram based branch-and-bound solver) on the TSPTW. We also close 15 open benchmark instances of the TSPTW.


title: From zero to positive entropy

abstract: In the sciences in general, the phrase "route to chaos" has come to refer to a metaphor when some physical, biological, economic, or social system transitions from one exhibiting order to one displaying randomness (or chaos). Sometimes the goal is to understand which universal mechanisms explain that transition, and how one can describe systems that operate in a region between order and complete chaos. In other words, the goal is to understand the mathematical processes by which a system evolves from one whose recurrent set is finite towards another one exhibiting chaotic behavior as parameters governing the behavior of the system are varied. This has only been understood for one-dimensional dynamics. The present note exposes new approaches that allow one to move away from those limitations. A tentative global framework toward describing a large class of two-dimensional dynamics, inspired partially by the developments in the one-dimensional theory of interval maps is discussed. More precisely, we present a class of intermediate smooth dynamics between one and higher dimensions. In this setting, it could be possible to develop a similar one-dimensional type approach and in particular to understand the transition from zero entropy to positive entropy.


title: Geometric and arithmetic aspects of rational elliptic surfaces

abstract: PhD dissertation consists in three lines of investigation involving rational elliptic surfaces, namely 1) a study of conic bundles on these surfaces; 2) an investigation of the possible intersection numbers of two sections and 3) a theorem regarding the set of fibers whose Mordell-Weil ranks are at least 3 units higher than the generic rank of the elliptic fibration.