title: Towards decoupling the effects of permeability and roughness on turbulent boundary layers

abstract: Boundary layer flow over a realistic porous wall might contain both the effects of wall-permeability and wall-roughness. These two effects are typically examined in the context of a rough-wall flow, i.e., by defining a ``roughness'' length or equivalent to capture the effect of the surface on momentum deficit/drag. In this work, we examine the hypothesis of Esteban et al. (2022), that a turbulent boundary layer over a porous wall could be modelled as a superposition of the roughness effects on the permeability effects by using independently obtained information on permeability and roughness. We carry out wind tunnel experiments at high Reynolds number ($14400 \leq Re_{\tau} \leq 33100$) on various combinations of porous walls where different roughnesses are overlaid over a given permeable wall. Measurements are also conducted on the permeable wall as well as the rough walls independently to obtain the corresponding lengthscales. Analysis of mean flow data across all these measurements suggests that an empirical formulation can be obtained where the momentum deficit ($\Delta U^+$) is modelled as a combination of independently obtained roughness and permeability lengthscales. This formulation assumes the presence of outer-layer similarity across these different surfaces, which is shown to be valid at high Reynolds numbers. Finally, this decoupling approach is equivalent to the area-weighted power-mean of the respective permeability and roughness lengthscales, consistent with the approach recently suggested by Hutchins et al. (2023) to capture the effects of heterogeneous rough surfaces.


title: Formalising and Learning a Quantum Model of Concepts

abstract: In this report we present a new modelling framework for concepts based on quantum theory, and demonstrate how the conceptual representations can be learned automatically from data. A contribution of the work is a thorough category-theoretic formalisation of our framework. We claim that the use of category theory, and in particular the use of string diagrams to describe quantum processes, helps elucidate some of the most important features of our quantum approach to concept modelling. Our approach builds upon Gardenfors' classical framework of conceptual spaces, in which cognition is modelled geometrically through the use of convex spaces, which in turn factorise in terms of simpler spaces called domains. We show how concepts from the domains of shape, colour, size and position can be learned from images of simple shapes, where individual images are represented as quantum states and concepts as quantum effects. Concepts are learned by a hybrid classical-quantum network trained to perform concept classification, where the classical image processing is carried out by a convolutional neural network and the quantum representations are produced by a parameterised quantum circuit. We also use discarding to produce mixed effects, which can then be used to learn concepts which only apply to a subset of the domains, and show how entanglement (together with discarding) can be used to capture interesting correlations across domains. Finally, we consider the question of whether our quantum models of concepts can be considered conceptual spaces in the Gardenfors sense.


title: Full large deviation principles for the largest eigenvalue of sub-Gaussian Wigner matrices

abstract: We establish precise upper-tail asymptotics and large deviation principles for the rightmost eigenvalue $\lambda_1$ of Wigner matrices with sub-Gaussian entries. In contrast to the case of heavier tails, where deviations of $\lambda_1$ are due to the appearance of a few large entries, and the sharp sub-Gaussian case that is governed by the collective deviation of entries in a delocalized rank-one pattern, we show that the general sub-Gaussian case is determined by a mixture of localized and delocalized effects. Our key result is a finite-$N$ approximation for the upper tail of $\lambda_1$ by an optimization problem involving \emph{restricted annealed free energies} for a spherical spin glass model. This new type of argument allows us to derive full large deviation principles when the log-Laplace transform of the entries' distribution $\mu$ has bounded second derivative, whereas previous results required much more restrictive assumptions, namely sharp sub-Gaussianity and symmetry, or only covered certain ranges of deviations. We show that the sharp sub-Gaussian condition characterizes measures $\mu$ for which the rate function coincides with that of the Gaussian Orthogonal Ensemble (GOE). When $\mu$ is not sharp sub-Gaussian, at a certain distance from the bulk of the spectrum there is a transition from the GOE rate function to a non-universal rate function depending on $\mu$, and this transition coincides with the onset of a localization phenomenon for the associated eigenvector.


title: Auditing Lustre file system

abstract: With the increasing demand for data storage and the exponential growth of data, traditional single-server architectures are no longer sufficient to handle the massive amounts of data storage, transfer, and various file system events. As a result, distributed file systems have become a necessity to address the scalability challenges of file systems. One such popular distributed file system is Lustre, which is extensively used in high-performance computing environments. Lustre offers parallel file access, allowing multiple clients to access and store data simultaneously. However, in order to ensure the security and integrity of data, auditing plays a crucial role. Lustre auditing serves as a proof of security and enables the implementation of robust security features such as authentication with Kerberos, mandatory access control with SELinux, isolation, and more. Auditing helps track and monitor file system activities, providing valuable insights into user actions, system events, and potential security breaches. The objective of this project is to explore Lustre auditing using CentOS, a popular Linux distribution, within a Lustre architecture. By implementing Lustre auditing, we aim to enhance the security and reliability of the file system. Additionally, we plan to develop a graphical interface that presents the auditing features in a user-friendly and visually appealing manner. This interface will provide administrators and users with a convenient way to monitor and analyze auditing logs, view access patterns, detect anomalies, and ensure compliance with security policies. By combining the power of Lustre's parallel file system architecture with comprehensive auditing capabilities and an intuitive graphical interface, we aim to provide a robust and user-friendly solution for managing and securing large-scale data storage and access.


title: Computational expressivity of (circular) proofs with fixed points

abstract: We study the computational expressivity of proof systems with fixed point operators, within the `proofs-as-programs' paradigm. We start with a calculus $\mu\mathsf{LJ}$ (due to Clairambault) that extends intuitionistic logic by least and greatest positive fixed points. Based in the sequent calculus, $\mu\mathsf{LJ}$ admits a standard extension to a `circular' calculus $\mathsf{C}\mu\mathsf{LJ}$. Our main result is that, perhaps surprisingly, both $\mu\mathsf{LJ}$ and $\mathsf{C}\mu\mathsf{LJ}$ represent the same first-order functions: those provably total in $\Pi^1_2$-$\mathsf{CA}_0$, a subsystem of second-order arithmetic beyond the `big five' of reverse mathematics and one of the strongest theories for which we have an ordinal analysis (due to Rathjen). This solves various questions in the literature on the computational strength of (circular) proof systems with fixed points. For the lower bound we give a realisability interpretation from an extension of Peano Arithmetic by fixed points that has been shown to be arithmetically equivalent to $\Pi^1_2$-$\mathsf{CA}_0$ (due to M\"ollerfeld). For the upper bound we construct a novel computability model in order to give a totality argument for circular proofs with fixed points. In fact we formalise this argument itself within $\Pi^1_2$-$\mathsf{CA}_0$ in order to obtain the tight bounds we are after. Along the way we develop some novel reverse mathematics for the Knaster-Tarski fixed point theorem.


title: Electrostatic effect due to patch potentials between closely spaced surfaces

abstract: The spatial variation and temporal variation in surface potential are important error sources in various precision experiments and deserved to be considered carefully. In the former case, the theoretical analysis shows that this effect depends on the surface potentials through their spatial autocorrelation functions. By making some modification to the quasi-local correlation model, we obtain a rigorous formula for the patch force, where the magnitude is proportional to ${\frac{1}{{{a}^{2}}}{{(\frac{a}{w})}^{\beta (a/w)+2}}}$ with ${a}$ the distance between two parallel plates, ${w}$ the mean patch size, and ${\beta}$ the scaling coefficient from ${-2}$ to ${-4}$. A torsion balance experiment is then conducted, and obtain a 0.4 mm effective patch size and 20 mV potential variance. In the latter case, we apply an adatom diffusion model to describe this mechanism and predicts a ${f^{-3/4}}$ frequency dependence above 0.01 ${\rm mHz}$. This prediction meets well with a typical experimental results. Finally, we apply these models to analyze the patch effect for two typical experiments. Our analysis will help to investigate the properties of surface potentials.


title: Interconnect Bandwidth Heterogeneity on AMD MI250x and Infinity Fabric

abstract: Demand for low-latency and high-bandwidth data transfer between GPUs has driven the development of multi-GPU nodes. Physical constraints on the manufacture and integration of such systems has yielded heterogeneous intra-node interconnects, where not all devices are connected equally. The next generation of supercomputing platforms are expected to feature AMD CPUs and GPUs. This work characterizes the extent to which interconnect heterogeneity is visible through GPU programming APIs on a system with four AMD MI250x GPUs, and provides several insights for users of such systems.


title: Automatic Scoring of Dream Reports' Emotional Content with Large Language Models

abstract: In the field of dream research, the study of dream content typically relies on the analysis of verbal reports provided by dreamers upon awakening from their sleep. This task is classically performed through manual scoring provided by trained annotators, at a great time expense. While a consistent body of work suggests that natural language processing (NLP) tools can support the automatic analysis of dream reports, proposed methods lacked the ability to reason over a report's full context and required extensive data pre-processing. Furthermore, in most cases, these methods were not validated against standard manual scoring approaches. In this work, we address these limitations by adopting large language models (LLMs) to study and replicate the manual annotation of dream reports, using a mixture of off-the-shelf and bespoke approaches, with a focus on references to reports' emotions. Our results show that the off-the-shelf method achieves a low performance probably in light of inherent linguistic differences between reports collected in different (groups of) individuals. On the other hand, the proposed bespoke text classification method achieves a high performance, which is robust against potential biases. Overall, these observations indicate that our approach could find application in the analysis of large dream datasets and may favour reproducibility and comparability of results across studies.


title: Dish-TS: A General Paradigm for Alleviating Distribution Shift in Time Series Forecasting

abstract: The distribution shift in Time Series Forecasting (TSF), indicating series distribution changes over time, largely hinders the performance of TSF models. Existing works towards distribution shift in time series are mostly limited in the quantification of distribution and, more importantly, overlook the potential shift between lookback and horizon windows. To address above challenges, we systematically summarize the distribution shift in TSF into two categories. Regarding lookback windows as input-space and horizon windows as output-space, there exist (i) intra-space shift, that the distribution within the input-space keeps shifted over time, and (ii) inter-space shift, that the distribution is shifted between input-space and output-space. Then we introduce, Dish-TS, a general neural paradigm for alleviating distribution shift in TSF. Specifically, for better distribution estimation, we propose the coefficient net (CONET), which can be any neural architectures, to map input sequences into learnable distribution coefficients. To relieve intra-space and inter-space shift, we organize Dish-TS as a Dual-CONET framework to separately learn the distribution of input- and output-space, which naturally captures the distribution difference of two spaces. In addition, we introduce a more effective training strategy for intractable CONET learning. Finally, we conduct extensive experiments on several datasets coupled with different state-of-the-art forecasting models. Experimental results show Dish-TS consistently boosts them with a more than 20% average improvement. Code is available.


title: Sharp thresholds in inference of planted subgraphs

abstract: A major question in the study of the Erd\H{o}s--R\'enyi random graph is to understand the probability that it contains a given subgraph. This study originated in classical work of Erd\H{o}s and R\'enyi (1960). More recent work studies this question both in building a general theory of sharp versus coarse transitions (Friedgut and Bourgain 1999; Hatami, 2012) and in results on the location of the transition (Kahn and Kalai, 2007; Talagrand, 2010; Frankston, Kahn, Narayanan, Park, 2019; Park and Pham, 2022). In inference problems, one often studies the optimal accuracy of inference as a function of the amount of noise. In a variety of sparse recovery problems, an ``all-or-nothing (AoN) phenomenon'' has been observed: Informally, as the amount of noise is gradually increased, at some critical threshold the inference problem undergoes a sharp jump from near-perfect recovery to near-zero accuracy (Gamarnik and Zadik, 2017; Reeves, Xu, Zadik, 2021). We can regard AoN as the natural inference analogue of the sharp threshold phenomenon in random graphs. In contrast with the general theory developed for sharp thresholds of random graph properties, the AoN phenomenon has only been studied so far in specific inference settings. In this paper we study the general problem of inferring a graph $H=H_n$ planted in an Erd\H{o}s--R\'enyi random graph, thus naturally connecting the two lines of research mentioned above. We show that questions of AoN are closely connected to first moment thresholds, and to a generalization of the so-called Kahn--Kalai expectation threshold that scans over subgraphs of $H$ of edge density at least $q$. In a variety of settings we characterize AoN, by showing that AoN occurs if and only if this ``generalized expectation threshold'' is roughly constant in $q$. Our proofs combine techniques from random graph theory and Bayesian inference.

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


title: FacEDiM: A Face Embedding Distribution Model for Few-Shot Biometric Authentication of Cattle

abstract: This work proposes to solve the problem of few-shot biometric authentication by computing the Mahalanobis distance between testing embeddings and a multivariate Gaussian distribution of training embeddings obtained using pre-trained CNNs. Experimental results show that models pre-trained on the ImageNet dataset significantly outperform models pre-trained on human faces. With a VGG16 model, we obtain a FRR of 1.25% for a FAR of 1.18% on a dataset of 20 cattle identities.


title: Planetary Exploration Horizon 2061 Report Chapter 5: Enabling technologies for planetary exploration

abstract: The main objective of this chapter is to present an overview of the different areas of key technologies that will be needed to fly the technically most challenging of the representative missions identified in chapter 4 (the Pillar 2 Horizon 2061 report). It starts with a description of the future scientific instruments which will address the key questions of Horizon 2061 described in chapter 3 (the Pillar 1 Horizon 2061 report) and the new technologies that the next generations of space instruments will require (section 2). From there, the chapter follows the line of logical development and implementation of a planetary mission: section 3 describes some of the novel mission architectures that will be needed and how they will articulate interplanetary spacecraft and science platforms; section 4 summarizes the system-level technologies needed: power, propulsion, navigation, communication, advanced autonomy on board planetary spacecraft; section 5 describes the diversity of specialized science platforms that will be needed to survive, operate and return scientific data from the extreme environments that future missions will target; section 6 describes the new technology developments that will be needed for long-duration missions and semi-permanent settlements; finally, section 7 attempts to anticipate on the disruptive technologies that should emerge and progressively prevail in the decades to come to meet the long-term needs of future planetary missions.


title: Learning to Control Autonomous Fleets from Observation via Offline Reinforcement Learning

abstract: Autonomous Mobility-on-Demand (AMoD) systems are an evolving mode of transportation in which a centrally coordinated fleet of self-driving vehicles dynamically serves travel requests. The control of these systems is typically formulated as a large network optimization problem, and reinforcement learning (RL) has recently emerged as a promising approach to solve the open challenges in this space. Recent centralized RL approaches focus on learning from online data, ignoring the per-sample-cost of interactions within real-world transportation systems. To address these limitations, we propose to formalize the control of AMoD systems through the lens of offline reinforcement learning and learn effective control strategies using solely offline data, which is readily available to current mobility operators. We further investigate design decisions and provide empirical evidence based on data from real-world mobility systems showing how offline learning allows to recover AMoD control policies that (i) exhibit performance on par with online methods, (ii) allow for sample-efficient online fine-tuning and (iii) eliminate the need for complex simulation environments. Crucially, this paper demonstrates that offline RL is a promising paradigm for the application of RL-based solutions within economically-critical systems, such as mobility systems.


title: DAG-Inducing Problems and Algorithms

abstract: Consider the execution of a sequential algorithm that requires the program to converge to an optimal state, and then terminate/stutter. To design such an algorithm, we need to ensure that the state space that it traverses forms a directed acyclic graph (DAG) and its sink nodes are optimal states. However, if we run the same algorithm on multiple computing nodes running in parallel, and without synchronization, it may not reach an optimal state. In most parallel processing algorithms designed in the literature, a synchronization primitive is assumed. Synchronization ensures that the nodes read fresh value, and the execution proceeds systematically, such that the subject algorithm traverses a DAG induced among the global states. With this observation, we investigate the conditions that guarantee that the execution of an algorithm is correct even if it is executed in parallel and without synchronization. To this end, we introduce DAG-inducing problems and DAG-inducing algorithms. We show that induction of a $\prec$-DAG (induced among the global states -- that forms as a result of a partial order induced among the local states visited by individual nodes) is a necessary and sufficient condition to allow an algorithm to run in asynchrony. In the paper, we first give a comprehensive description of DAG-inducing problems and DAG-inducing algorithms, along with some simple examples. Then we show some properties of an algorithm that is tolerant to asynchrony, which include the above-mentioned condition.


title: Novel Machine Learning Approach for Predicting Poverty using Temperature and Remote Sensing Data in Ethiopia

abstract: In many developing nations, a lack of poverty data prevents critical humanitarian organizations from responding to large-scale crises. Currently, socioeconomic surveys are the only method implemented on a large scale for organizations and researchers to measure and track poverty. However, the inability to collect survey data efficiently and inexpensively leads to significant temporal gaps in poverty data; these gaps severely limit the ability of organizational entities to address poverty at its root cause. We propose a transfer learning model based on surface temperature change and remote sensing data to extract features useful for predicting poverty rates. Machine learning, supported by data sources of poverty indicators, has the potential to estimate poverty rates accurately and within strict time constraints. Higher temperatures, as a result of climate change, have caused numerous agricultural obstacles, socioeconomic issues, and environmental disruptions, trapping families in developing countries in cycles of poverty. To find patterns of poverty relating to temperature that have the highest influence on spatial poverty rates, we use remote sensing data. The two-step transfer model predicts the temperature delta from high resolution satellite imagery and then extracts image features useful for predicting poverty. The resulting model achieved 80% accuracy on temperature prediction. This method takes advantage of abundant satellite and temperature data to measure poverty in a manner comparable to the existing survey methods and exceeds similar models of poverty prediction.


title: A Generalization of the Riccati Recursion for Equality-Constrained Linear Quadratic Optimal Control

abstract: This paper introduces a generalization of the well-known Riccati recursion for solving the discrete-time equality-constrained linear quadratic optimal control problem. The recursion can be used to compute the solutions as well as optimal feedback control policies. Unlike other tailored approaches for this problem class, the proposed method does not require restrictive regularity conditions on the problem. This allows its use in nonlinear optimal control problem solvers that use exact Lagrangian Hessian information. We demonstrate that our approach can be implemented in a highly efficient algorithm that scales linearly with the horizon length. Numerical tests show a significant speed-up of up to two orders of magnitude with respect to state-of-the-art general-purpose sparse linear solvers. Based on the proposed approach, faster nonlinear optimal control problem solvers can be developed that are suitable for more complex applications or for implementations on low-cost or low-power computational platforms. The implementation of the proposed algorithm is made available as open-source software.


title: An introduction to field extensions and Galois descent for sheaves of vector spaces

abstract: We study extension of scalars for sheaves of vector spaces, assembling results that follow from well-known statements about vector spaces, but also developing some complements. In particular, we formulate Galois descent in this context, and we also discuss the case of derived categories and perverse sheaves. Most of the results are not new, but our aim is to give an accessible introduction to this subject relying only on techniques from basic sheaf theory. Our proofs also illustrate some applications of results about the structure of constructible and perverse sheaves.


title: EvoPrompting: Language Models for Code-Level Neural Architecture Search

abstract: Given the recent impressive accomplishments of language models (LMs) for code generation, we explore the use of LMs as adaptive mutation and crossover operators for an evolutionary neural architecture search (NAS) algorithm. While NAS still proves too difficult a task for LMs to succeed at solely through prompting, we find that the combination of evolutionary prompt engineering with soft prompt-tuning, a method we term EvoPrompting, consistently finds diverse and high performing models. We first demonstrate that EvoPrompting is effective on the computationally efficient MNIST-1D dataset, where EvoPrompting produces convolutional architecture variants that outperform both those designed by human experts and naive few-shot prompting in terms of accuracy and model size. We then apply our method to searching for graph neural networks on the CLRS Algorithmic Reasoning Benchmark, where EvoPrompting is able to design novel architectures that outperform current state-of-the-art models on 21 out of 30 algorithmic reasoning tasks while maintaining similar model size. EvoPrompting is successful at designing accurate and efficient neural network architectures across a variety of machine learning tasks, while also being general enough for easy adaptation to other tasks beyond neural network design.


title: Asymptotic behavior of the pressure function for H\"older potentials

abstract: We study the behavior of the pressure function for H\"{o}lder continuous potentials on mixing subshifts of finite type. The classical theory of thermodynamic formalism shows that such pressure functions are convex, analytic and have slant asymptotes. We provide a sharp exponential lower bound on how fast the pressure function approaches its asymptotes. As a counterpart, we also show that there is no corresponding upper bound by exhibiting systems for which the convergence is arbitrarily slow. However, we prove that the exponential upper bound still holds for a generic H\"{o}lder potential. In addition, we determine that the pressure function satisfies a coarse uniform convexity property. Asymptotic bounds and quantitative convexity estimates are the first additional general properties of the pressure function obtained in the settings of Bowen and Ruelle since their groundbreaking work more than 40 years ago.


title: Motivic geometry of two-loop Feynman integrals

abstract: We study the geometry and Hodge theory of the cubic hypersurfaces attached to two-loop Feynman integrals for generic physical parameters. We show that the Hodge structure attached to planar two-loop Feynman graphs decomposes into mixed Tate pieces and the Hodge structures of families of hyperelliptic, elliptic, or rational curves depending on the space-time dimension. For two-loop graphs with a small number of edges, we give more precise results. In particular, we recover a result of Bloch arXiv:2105.06132 that in the well-known double box example, there is an underlying family of elliptic curves, and we give a concrete description of these elliptic curves. We argue that the motive for the non-planar two-loop tardigrade graph is that of a K3 surface of Picard number 11 and determine the generic lattice polarization. Lastly, we show that generic members of the ice cream cone family of graph hypersurfaces correspond to pairs of sunset Calabi--Yau varieties.


title: Competencia y Depredaci\'on: el Arribo de una Especie Ex\'otica al Medio

abstract: In this thesis we use dynamical systems to analize the consequences of competition in the arrival of a foreign species in an ecosystem.


title: Stability of the Lanczos algorithm on matrices with regular spectral distributions

abstract: We study the stability of the Lanczos algorithm run on problems whose eigenvector empirical spectral distribution is near to a reference measure with well-behaved orthogonal polynomials. We give a backwards stability result which can be upgraded to a forward stability result when the reference measure has a density supported on a single interval with square root behavior at the endpoints. Our analysis implies the Lanczos algorithm run on many large random matrix models is in fact forward stable, and hence nearly deterministic, even when computations are carried out in finite precision arithmetic. Since the Lanczos algorithm is not forward stable in general, this provides yet another example of the fact that random matrices are far from "any old matrix", and care must be taken when using them to test numerical algorithms.


title: High Probability Convergence of Stochastic Gradient Methods

abstract: In this work, we describe a generic approach to show convergence with high probability for both stochastic convex and non-convex optimization with sub-Gaussian noise. In previous works for convex optimization, either the convergence is only in expectation or the bound depends on the diameter of the domain. Instead, we show high probability convergence with bounds depending on the initial distance to the optimal solution. The algorithms use step sizes analogous to the standard settings and are universal to Lipschitz functions, smooth functions, and their linear combinations. This method can be applied to the non-convex case. We demonstrate an $O((1+\sigma^{2}\log(1/\delta))/T+\sigma/\sqrt{T})$ convergence rate when the number of iterations $T$ is known and an $O((1+\sigma^{2}\log(T/\delta))/\sqrt{T})$ convergence rate when $T$ is unknown for SGD, where $1-\delta$ is the desired success probability. These bounds improve over existing bounds in the literature. Additionally, we demonstrate that our techniques can be used to obtain high probability bound for AdaGrad-Norm (Ward et al., 2019) that removes the bounded gradients assumption from previous works. Furthermore, our technique for AdaGrad-Norm extends to the standard per-coordinate AdaGrad algorithm (Duchi et al., 2011), providing the first noise-adapted high probability convergence for AdaGrad.


title: Student Sense-Making in Post-Secondary Introductory Proof Courses: An Argument for and Outline of a Methodological Approach

abstract: While proof is a central component of postsecondary mathematical study, proof construction has historically posed significant difficulties for students who intend to earn mathematics degrees at the undergraduate level. This work is comprised of detailed literature reviews, an argument for a methodological approach, and a descriptive research plan to study how university students use their mathematical discourse to interpret proof tasks and ultimately engage in constructing proofs in response to these tasks. The theoretical outcomes of using the approach outlined therein are: (a) theorized models of undergraduate students' patterned mathematical activity in response to proof tasks; (b) identified words, phrases, or problem features that evoke this patterned activity; and (c) identified similarities and differences in students' descriptions of their uses for mathematical concepts vs. how instructors expect students to think about and use mathematical concepts.


title: Long-term modulation of solar cycles

abstract: Solar activity has a cyclic nature with the ~11-year Schwabe cycle dominating its variability on the interannual timescale. However, solar cycles are significantly modulated in length, shape and magnitude, from near-spotless grand minima to very active grand maxima. The ~400-year-long direct sunspot-number series is inhomogeneous in quality and too short to study robust parameters of long-term solar variability. The cosmogenic-isotope proxy extends the timescale to twelve millennia and provides crucial observational constraints of the long-term solar dynamo modulation. Here, we present a brief up-to-date overview of the long-term variability of solar activity at centennial--millennial timescales. The occurrence of grand minima and maxima is discussed as well as the existing quasi-periodicities such as centennial Gleissberg, 210-year Suess/de Vries and 2400-year Hallstatt cycles. It is shown that the solar cycles contain an important random component and have no clock-like phase locking implying a lack of long-term memory. A brief yet comprehensive review of the theoretical perspectives to explain the observed features in the framework of the dynamo models is presented, including the nonlinearity and stochastic fluctuations in the dynamo. We keep gaining knowledge of the processes driving solar variability with the new data acquainted and new models developed.


title: Khronometric theories of modified Newtonian dynamics

abstract: In 2011 Blanchet and Marsat suggested a fully relativistic version of Milgrom's modified Newtonian dynamics (MOND) in which the dynamical degrees of freedom consist of the spacetime metric and a foliation of spacetime, the khronon field. This theory is simpler than the alternative relativsitic formulations. We show that the theory has a consistent non-relativistic or slow motion limit. Blanchet and Marsat showed that in the slow motion limit the theory reproduces stationary solutions of modified Newtonian dynamics. We show that these solutions are stable to khronon perturbations in the low acceleration regime, for the cases of spherical, cylindrical and planar symmetry. For non-stationary systems in the low acceleration regime we show that the khronon field generally gives an order unity correction to the modified Newtonian dynamics.


title: Experimental Characterization of the Pyridine:Acetylene Co-crystal and Implications for Titan's Surface

abstract: Titan, Saturn's largest moon, has a plethora of organic compounds in the atmosphere and on the surface that interact with each other. Cryominerals such as co-crystals may influence the geologic processes and chemical composition of Titan's surface, which in turn informs our understanding of how Titan may have evolved, how the surface is continuing to change, as well as the extent of Titan's habitability. Previous work has shown that a pyridine:acetylene (1:1) co-crystal forms under specific temperatures and experimental conditions; however, this has not yet been demonstrated under Titan-relevant conditions. Our work here demonstrates that the pyridine:acetylene co-crystal is stable from 90 K, Titan's average surface temperature, up to 180 K under an atmosphere of N2. In particular, the co-crystal forms via liquid-solid interactions within minutes upon mixing of the constituents at 150 K, as evidenced by distinct, new Raman bands and band shifts. XRD results indicate moderate anisotropic thermal expansion (about 0.5% - 1.1%) along the three principal axes between 90-150 K. Additionally, the co-crystal is detectable after being exposed to liquid ethane, implying stability in a residual ethane "wetting" scenario on Titan. These results suggest that the pyridine:acetylene co-crystal could form in specific geologic contexts on Titan that allow for warm environments in which liquid pyridine could persist, and as such, this cryomineral may preserve evidence of impact, cryovolcanism, or subsurface transport in surface materials.


title: Internal doubly periodic gravity-capillary waves with vorticity

abstract: We consider a multi-fluid system with several free interfaces. For this system we prove existence of three-dimensional steady gravity-capillary waves with non-zero vorticity. We obtain non-zero vorticity by prescribing the relative velocity fields to be Beltrami fields, for which the vorticity and velocity are parallel. The main result is a multi-parameter bifurcation result for small amplitude waves given in two variants: a first theorem guaranteeing existence under some general parameter assumptions; and a second specific but less exhaustive theorem, for which the assumptions may be explicitly verified, yielding the existence of both in-phase and off-phase motions in the different layers. The proof relies on an implicit function theorem corresponding to multi-parameter bifurcation. This theorem is presented in an appendix as an abstract result that can be applied directly to other problems.


title: Primes and irreducible polynomials

abstract: In 2002, M.Ram Murty showed that if p is a prime with k-adic expansion :$p = \sum_{i = 0}^n a_i k^i$ , then the polynomial $f(x) = \sum_{i = 0}^n a_ix^i$ is irreducible in $\mathbb{Z}[x]$.When $k = 10$ , it's a result of A.Cohn. I think this kind of polynomials is really interesting and worse to speak more. So I plan to find more conclusions about this kind of polynomials. In the first section of this article, author proves a stronger version of this theorem that if we multiply prime $p$ by a factor $t$ that is smaller than $k$ ,the conclusion also holds. In the second section, author further consider larger multiplier $t$ ,and gives a technique to control one of the factors of the polynomial.


title: Conformal Quantum Mechanics, Holomorphic Factorisation, and Ultra-Spinning Black Holes

abstract: We study a limit in which a relativistic CFT reduces to conformal quantum mechanics, and relate the partition functions of the two theories. When the initial CFT is holographic, our limit coincides with an ultra-spinning limit in the gravity dual. We therefore propose that ultra-spinning black holes are dual to an appropriate ensemble in finite-dimensional conformal quantum mechanics. The limit is studied in detail for SCFTs in four and six dimensions. These theories have a superconformal index which can be computed by gluing together two or more blocks. Applying our limit to the index effectively isolates a single such block. Our results therefore suggest that ultra-spinning black holes play the role of blocks in the gravitational dual of holomorphic factorisation.


title: Improved bounds on the cop number when forbidding a minor

abstract: Andreae (1986) proved that the cop number of connected $H$-minor-free graphs is bounded for every graph $H$. In particular, the cop number is at most $|E(H-h)|$ if $H-h$ contains no isolated vertex. The main result of this paper is an improvement on this bound, which is most significant when $H$ is small or sparse, for instance when $H-h$ can be obtained from another graph by multiple edge subdivisions. Some consequences of this result are improvements on the upper bound for the cop number of $K_{3,m}$-minor-free graphs, $K_{2,m}$-minor free graphs and linklessly embeddable graphs.


title: The Navier-Stokes Equation and Helmholtz Decomposition

abstract: This work explores Navier-Stokes equation with no gravitational forces. In short, it shows that any smooth solution that decays quickly must take the form $$ \textbf{u}(x,t)- \dfrac{1}{4\pi}\textbf{Curl}\Biggl( \int_{\mathbb{R}^3}^{}{\dfrac{\textbf{Curl} (\textbf{u} (x^\prime,t))}{|x-x^\prime|}}dV^\prime\Biggr) = -\int_{0}^{t}{\dfrac{1}{\rho} \textbf{Grad}\big(\Gamma(x,s)\big)}ds.$$ Consequently, any curl free solution must be written as $$\textbf{u}(x,t) = -\dfrac{1}{\rho} \textbf{Grad}\biggl(\int_{0}^{t}{\Gamma(x,s) ds}\biggr)$$ with $\Gamma$ a known function which is related to the heat equation. Even further it shows if there exist a value $k\in \mathbb{N}$ such that $$\textbf{curl}^k\biggl((\textbf{u}\cdot \nabla )\textbf{u}\biggr)(x,t)=\textbf{0}$$ for all $t^\prime\le t$ then $$\textbf{u}(x,t) = \textbf{H}^{k+1}(\xi_1,\xi_2,\xi_3,t) -\int_{0}^{t}{\dfrac{1}{\rho} \textbf{Grad}\big(\Gamma(x,s)\big)}ds, ~~~~~ t\in [t^\prime,\infty)$$ with $$\xi_i(x,t):= \int_{\mathbb{R}^3}^{}{\alpha(x-y,\dfrac{t}{\nu})v^k_i(x,0)}dy, ~~~~~ v^k_i(x,0) = \biggl(\textbf{curl}^k(\textbf{u}(x,0))\biggr)_i, ~~~~~ 1\le i\le 3$$ and $\textbf{H}^k$ the $k^{th}$ application of Helmholtz operator. Hence, if there is another solution where the non-linear term is infinitly curlable then the solution is not unique. If the solution is unique, then this is the only possible solution.


title: An Efficient Tester-Learner for Halfspaces

abstract: We give the first efficient algorithm for learning halfspaces in the testable learning model recently defined by Rubinfeld and Vasilyan (2023). In this model, a learner certifies that the accuracy of its output hypothesis is near optimal whenever the training set passes an associated test, and training sets drawn from some target distribution -- e.g., the Gaussian -- must pass the test. This model is more challenging than distribution-specific agnostic or Massart noise models where the learner is allowed to fail arbitrarily if the distributional assumption does not hold. We consider the setting where the target distribution is Gaussian (or more generally any strongly log-concave distribution) in $d$ dimensions and the noise model is either Massart or adversarial (agnostic). For Massart noise, our tester-learner runs in polynomial time and outputs a hypothesis with (information-theoretically optimal) error $\mathsf{opt} + \epsilon$ for any strongly log-concave target distribution. For adversarial noise, our tester-learner obtains error $O(\mathsf{opt}) + \epsilon$ in polynomial time when the target distribution is Gaussian; for strongly log-concave distributions, we obtain $\tilde{O}(\mathsf{opt}) + \epsilon$ in quasipolynomial time. Prior work on testable learning ignores the labels in the training set and checks that the empirical moments of the covariates are close to the moments of the base distribution. Here we develop new tests of independent interest that make critical use of the labels and combine them with the moment-matching approach of Gollakota et al. (2023). This enables us to simulate a variant of the algorithm of Diakonikolas et al. (2020) for learning noisy halfspaces using nonconvex SGD but in the testable learning setting.


title: Phase Field Modeling of Dictyostelium Discoideum Chemotaxis

abstract: A phase field approach is proposed to model the chemotaxis of Dictyostelium discoideum. In this framework, motion is controlled by active forces as determined by the Meinhardt model of chemical dynamics which is used to simulate directional sensing during chemotaxis. Then, the movement of the cell is achieved by the phase field dynamics, while the reaction-diffusion equations of the Meinhardt model are solved on an evolving cell boundary. This task requires the extension of the usual phase-field formulation to allow for components that are restricted to the membrane. The coupled system is numerically solved by an efficient spectral method under periodic boundary conditions. Numerical experiments show that our model system can successfully mimic the typically observed pseudopodia patterns during chemotaxis.


title: Discovery of Orbital Ordering in Bi2Sr2CaCu2O8+x

abstract: The primordial ingredient of cuprate superconductivity is the CuO2 unit cell. Here, theoretical attention usually concentrates on the intra-atom Coulombic interactions dominating the 3d^9 and 3d^10 configurations of each copper ion. However, if Coulombic interactions also occur between electrons of the 2p^6 orbitals of each planar oxygen atom, spontaneous orbital ordering may split their energy levels. This long predicted intra-unit cell symmetry breaking should then generate an orbital ordered phase, for which the charge-transfer energy E separating the 2p^6 and 3d^10orbitals is distinct for the two oxygen atoms. Here we introduce sublattice resolved E(r) imaging techniques to CuO2 studies and discover intra-unit-cell rotational symmetry breaking of E(r), with energy-level splitting between the two oxygen atoms on the 50 meV scale. Spatially, this state is arranged in disordered Ising domains of orthogonally oriented orbital order that appear bounded by dopant ions, and within whose domain walls low energy electronic quadrupolar two-level systems occur. Overall, these data reveal a Q=0 orbitally ordered state that splits the energy levels of the oxygen orbitals by ~50 meV, in underdoped CuO2.


title: How closely does transient magnetic linear dichroism follow the spin moment?

abstract: In highly out-of-equilibrium states of matter, such as those induced by a pump laser, the applicability of well established spectroscopic probes of magnetic order are called into question. Here we address the validity of x-ray absorption techniques in pump laser conditions, focusing on magnetic linear dichroism (MLD), a crucial probe of antiferromagnetic (AFM) order. We directly compute the dynamics of the square of the spin moment and compare to those obtained via the MLD response. For AFM FePd the agreement between these distinct routes to the magnetic moment severely degrades at pulse fluences greater than 1 mJ/cm$^2$, indicating a breakdown of the MLD response as an accurate probe of the transient moment. This contrasts with the MLD for ferromagnetic FePt which reliably tracks the moment for fluences (and absorbed energies) up to an order of magnitude greater than the breakdown threshold for AFM FePd. The underlying microscopic reason for this we find to be increased laser induced excitations out of the $d$-band in AFM FePd, where this increase is made possible by the AFM pseudogap.


title: Variational deep learning of equilibrium transition path ensembles

abstract: We present a time dependent variational method to learn the mechanisms of equilibrium reactive processes and efficiently evaluate their rates within a transition path ensemble. This approach builds off variational path sampling methodology by approximating the time dependent commitment probability within a neural network ansatz. The reaction mechanisms inferred through this approach are elucidated by a novel decomposition of the rate in terms of the components of a stochastic path action conditioned on a transition. This decomposition affords an ability to resolve the typical contribution of each reactive mode and their couplings to the rare event. The associated rate evaluation is variational and systematically improvable through the development of a cumulant expansion. We demonstrate this method in both over- and under-damped stochastic equations of motion, in low-dimensional model systems and the isomerization of solvated alanine dipeptide. In all examples, we find that we can obtain quantitatively accurate estimates of the rates of the reactive events with minimal trajectory statistics, and gain unique insight into the transitions through the analysis of their commitment probability.


title: Spectrally-tuned compact finite-difference schemes with domain decomposition and applications to numerical relativity

abstract: Compact finite-difference (FD) schemes specify derivative approximations implicitly, thus to achieve parallelism with domain-decomposition suitable partitioning of linear systems is required. Consistent order of accuracy, dispersion, and dissipation is crucial to maintain in wave propagation problems such that deformation of the associated spectra of the discretized problems is not too severe. In this work we consider numerically tuning spectral error, at fixed formal order of accuracy to automatically devise new compact FD schemes. Grid convergence tests indicate error reduction of at least an order of magnitude over standard FD. A proposed hybrid matching-communication strategy maintains the aforementioned properties under domain-decomposition. Under evolution of linear wave-propagation problems utilizing exponential integration or explicit Runge-Kutta methods improvement is found to remain robust. A first demonstration that compact FD methods may be applied to the Z4c formulation of numerical relativity is provided where we couple our header-only, templated C++ implementation to the highly performant GR-Athena++ code. Evolving Z4c on test-bed problems shows at least an order in magnitude reduction in phase error compared to FD for propagated metric components. Stable binary-black-hole evolution utilizing compact FD together with improved convergence is also demonstrated.


title: BakedSDF: Meshing Neural SDFs for Real-Time View Synthesis

abstract: We present a method for reconstructing high-quality meshes of large unbounded real-world scenes suitable for photorealistic novel view synthesis. We first optimize a hybrid neural volume-surface scene representation designed to have well-behaved level sets that correspond to surfaces in the scene. We then bake this representation into a high-quality triangle mesh, which we equip with a simple and fast view-dependent appearance model based on spherical Gaussians. Finally, we optimize this baked representation to best reproduce the captured viewpoints, resulting in a model that can leverage accelerated polygon rasterization pipelines for real-time view synthesis on commodity hardware. Our approach outperforms previous scene representations for real-time rendering in terms of accuracy, speed, and power consumption, and produces high quality meshes that enable applications such as appearance editing and physical simulation.


title: Revocable Cryptography from Learning with Errors

abstract: Quantum cryptography leverages many unique features of quantum information in order to construct cryptographic primitives that are oftentimes impossible classically. In this work, we build on the no-cloning principle of quantum mechanics and design cryptographic schemes with key-revocation capabilities. We consider schemes where secret keys are represented as quantum states with the guarantee that, once the secret key is successfully revoked from a user, they no longer have the ability to perform the same functionality as before. We define and construct several fundamental cryptographic primitives with key-revocation capabilities, namely pseudorandom functions, secret-key and public-key encryption, and even fully homomorphic encryption, assuming the quantum subexponential hardness of the learning with errors problem. Central to all our constructions is our approach for making the Dual-Regev encryption scheme (Gentry, Peikert and Vaikuntanathan, STOC 2008) revocable.


title: Loop-level double-copy for massive fermions in the fundamental

abstract: We find that unitarity cuts and the duality between color and kinematics are sufficient constraints to bootstrap $D$-dimensional QCD scattering amplitudes starting from three-particle tree-level. Specifically, we calculate tree level amplitudes through six-points, as well as the four-point one-loop correction for massive fermions in the fundamental representation of the gauge group -- constructing a color-dual representation of the latter for the first time. To do so we clarify a prescription for functional kinematic ansatze involving fermionic matter. The advantages of color-dual calculation, familiar from particles in the adjoint, also apply here: only a small number of basis topologies must be constrained via physical information of the theory, and algebraic relations propagate this to a full solution. As all the QCD amplitudes we construct here are color-dual, they trivially generate $D$-dimensional amplitudes in gravitational theories via double-copy construction.


title: Categorical Symmetry of the Standard Model from Gravitational Anomaly

abstract: In the Standard Model, some combination of the baryon $\bf B$ and lepton $\bf L$ number symmetry is free of mixed anomalies with strong and electroweak $su(3) \times su(2) \times u(1)_{\tilde Y}$ gauge forces. However, it can still suffer from a mixed gravitational anomaly, hypothetically pertinent to leptogenesis in the very early universe. This happens when the total "sterile right-handed" neutrino number $n_{\nu_R}$ is not equal to the family number $N_f$. Thus the invertible $\bf B - L$ symmetry current conservation can be violated quantum mechanically by gravitational backgrounds such as gravitational instantons. In specific, we show that a noninvertible categorical $\bf B - L$ generalized symmetry still survives in gravitational backgrounds. In general, we propose a construction of noninvertible symmetry charge operators as topological defects derived from invertible anomalous symmetries that suffer from mixed gravitational anomalies. Examples include the perturbative local and nonperturbative global anomalies classified by $\mathbb{Z}$ and $\mathbb{Z}_{16}$ respectively. For this construction, we utilize the anomaly inflow bulk-boundary correspondence, the 4d Pontryagin class and the gravitational Chern-Simons 3-form, the 3d Witten-Reshetikhin-Turaev-type topological quantum field theory corresponding to a 2d rational conformal field theory with an appropriate rational chiral central charge, and the 4d $\mathbb{Z}_4^{\rm TF}$-time-reversal symmetric topological superconductor with 3d boundary topological order.


title: Chiral quantum optics in the bulk of photonic quantum Hall systems

abstract: We study light-matter interactions in the bulk of a two-dimensional photonic lattice system, where photons are subject to the combined effect of a synthetic magnetic field and an orthogonal synthetic electric field. In this configuration, chiral waveguide modes appear in the bulk region of the lattice, in direct analogy to transverse Hall currents in electronic systems. By evaluating the non-Markovian dynamics of emitters that are coupled to those modes, we identify critical coupling conditions, under which the shape of the spontaneously emitted photons becomes almost fully symmetric. Combined with a directional, dispersionless propagation, this property enables a complete reabsorption of the photon by another distant emitter, without relying on any time-dependent control. We show that this mechanism can be generalized to arbitrary in-plane synthetic potentials, thereby enabling flexible realizations of re-configurable networks of quantum emitters with arbitrary chiral connectivity.


title: Reward Design with Language Models

abstract: Reward design in reinforcement learning (RL) is challenging since specifying human notions of desired behavior may be difficult via reward functions or require many expert demonstrations. Can we instead cheaply design rewards using a natural language interface? This paper explores how to simplify reward design by prompting a large language model (LLM) such as GPT-3 as a proxy reward function, where the user provides a textual prompt containing a few examples (few-shot) or a description (zero-shot) of the desired behavior. Our approach leverages this proxy reward function in an RL framework. Specifically, users specify a prompt once at the beginning of training. During training, the LLM evaluates an RL agent's behavior against the desired behavior described by the prompt and outputs a corresponding reward signal. The RL agent then uses this reward to update its behavior. We evaluate whether our approach can train agents aligned with user objectives in the Ultimatum Game, matrix games, and the DealOrNoDeal negotiation task. In all three tasks, we show that RL agents trained with our framework are well-aligned with the user's objectives and outperform RL agents trained with reward functions learned via supervised learning


title: Multi-view Semantic Consistency based Information Bottleneck for Clustering

abstract: Multi-view clustering can make use of multi-source information for unsupervised clustering. Most existing methods focus on learning a fused representation matrix, while ignoring the influence of private information and noise. To address this limitation, we introduce a novel Multi-view Semantic Consistency based Information Bottleneck for clustering (MSCIB). Specifically, MSCIB pursues semantic consistency to improve the learning process of information bottleneck for different views. It conducts the alignment operation of multiple views in the semantic space and jointly achieves the valuable consistent information of multi-view data. In this way, the learned semantic consistency from multi-view data can improve the information bottleneck to more exactly distinguish the consistent information and learn a unified feature representation with more discriminative consistent information for clustering. Experiments on various types of multi-view datasets show that MSCIB achieves state-of-the-art performance.


title: Is a spectrograph of hidden variables possible?

abstract: A new definition of "Realism" is proposed: it is that a gedanken "spectrograph" of hidden variables behaves as an actual (say, wavelength) spectrograph. The question is: does this definition allow, by itself, the derivation of Bell's inequalities? If it were, then such a spectrograph would be impossible, for Bell's inequalities are observed to be violated. In this short paper it is reported that, on the contrary, such spectrograph is compatible with the violation of Bell's inequalities. This result puts some new light on the controversy about the hypotheses necessary to derive Bell's inequalities. In particular, "Spectrograph's Realism", and "Locality", are proven to be different, and both necessary, hypotheses to derive Bell's inequalities.


title: Parameter Optimization of LLC-Converter with multiple operation points using Reinforcement Learning

abstract: The optimization of electrical circuits is a difficult and time-consuming process performed by experts, but also increasingly by sophisticated algorithms. In this paper, a reinforcement learning (RL) approach is adapted to optimize a LLC converter at multiple operation points corresponding to different output powers at high converter efficiency at different switching frequencies. During a training period, the RL agent learns a problem specific optimization policy enabling optimizations for any objective and boundary condition within a pre-defined range. The results show, that the trained RL agent is able to solve new optimization problems based on LLC converter simulations using Fundamental Harmonic Approximation (FHA) within 50 tuning steps for two operation points with power efficiencies greater than 90%. Therefore, this AI technique provides the potential to augment expert-driven design processes with data-driven strategy extraction in the field of power electronics and beyond.


title: Benchmarks and Explanations for Deep Learning Estimates of X-ray Galaxy Cluster Masses

abstract: We evaluate the effectiveness of deep learning (DL) models for reconstructing the masses of galaxy clusters using X-ray photometry data from next-generation surveys. We establish these constraints using a catalogue of realistic mock eROSITA X-ray observations which use hydrodynamical simulations to model realistic cluster morphology, background emission, telescope response, and AGN sources. Using bolometric X-ray photon maps as input, DL models achieve a predictive mass scatter of $\sigma_{\ln M_\mathrm{500c}} = 17.8\%$, a factor of two improvements on scalar observables such as richness $N_\mathrm{gal}$, 1D velocity dispersion $\sigma_\mathrm{v,1D}$, and photon count $N_\mathrm{phot}$ as well as a $32\%$ improvement upon idealised, volume-integrated measurements of the bolometric X-ray luminosity $L_X$. We then show that extending this model to handle multichannel X-ray photon maps, separated in low, medium, and high energy bands, further reduces the mass scatter to $16.2\%$. We also tested a multimodal DL model incorporating both dynamical and X-ray cluster probes and achieved marginal gains at a mass scatter of $15.9\%$. Finally, we conduct a quantitative interpretability study of our DL models and find that they greatly down-weight the importance of pixels in the centres of clusters and at the location of AGN sources, validating previous claims of DL modelling improvements and suggesting practical and theoretical benefits for using DL in X-ray mass inference.


title: Self-Consistent Spin, Tidal and Dynamical Equations of Motion in the REBOUNDx Framework

abstract: We have introduced self-consistent spin, tidal and dynamical equations of motion into REBOUNDx, a library of additional effects for the popular N-body integrator REBOUND. The equations of motion used are derived from the constant time lag approximation to the equilibrium tide model of tidal friction. These effects will allow the study of a variety of systems where the full dynamical picture cannot be encapsulated by point particle dynamics. We provide several test cases and benchmark the code's performance against analytic predictions. The open-source code is available in the most recent release of REBOUNDx.


title: Statics and diffusive dynamics of surfaces driven by $p$-atic topological defects

abstract: Inspired by epithelial morphogenesis, we consider a minimal model for the shaping of a surface driven by $p$-atic topological defects. We show that a positive (negative) defect can dynamically generate a (hyperbolic) cone whose shape evolves diffusively, and predict that a defect of charge $+1/p$ leads to a final semi-cone angle $\beta$ which satisfies the inequality $\sin\beta \ge 1 - \frac{1}{p} + \frac{1}{2p^2}$. By exploiting the fact that for axisymmetric surfaces, the extrinsic geometry is tightly coupled to the intrinsic geometry, we further show that the resulting stationary shape of a membrane with negligible bending modulus and embedded polar order is a deformed lemon with two defects at antipodal points. Finally, we close by pointing out that our results may be relevant beyond epithelial morphogenesis in such contexts as shape transitions in macroscopic closed spheroidal surfaces such as pollen grains.


title: Stellar halo substructure generated by bar resonances

abstract: Using data from the Gaia satellite's Radial Velocity Spectrometer Data Release 3 (RVS, DR3), we find a new and robust feature in the phase space distribution of halo stars. It is a prominent ridge at constant energy and with angular momentum $L_z>0$. We run test particle simulations of a stellar halo-like distribution of particles in a realistic Milky Way potential with a rotating bar. We observe similar structures generated in the simulations from the trapping of particles in resonances with the bar, particularly at the corotation resonance. Many of the orbits trapped at the resonances are halo-like, with large vertical excursions from the disc. The location of the observed structure in energy space is consistent with a bar pattern speed in the range $\Omega_\mathrm{b}\approx35-40$ km s$^{-1}$ kpc$^{-1}$. Overall, the effect of the resonances is to give the inner stellar halo a mild, net spin in the direction of the bar's rotation. As the distribution of the angular momentum becomes asymmetric, a population of stars with positive mean $L_z$ and low vertical action is created. The variation of the average rotational velocity of the simulated stellar halo with radius is similar to the behaviour of metal-poor stars in data from the APOGEE survey. Though the effects of bar resonances have long been known in the Galactic disc, this is strong evidence that the bar can drive changes even in the diffuse and extended stellar halo through its resonances.


title: JWST-TST Proper Motions: I. High-Precision NIRISS Calibration and Large Magellanic Cloud Kinematics

abstract: We develop and disseminate effective point-spread functions and geometric-distortion solutions for high-precision astrometry and photometry with the JWST NIRISS instrument. We correct field dependencies and detector effects, and assess the quality and the temporal stability of the calibrations. As a scientific application and validation, we study the proper motion (PM) kinematics of stars in the JWST calibration field near the Large Magellanic Cloud (LMC) center, comparing to a first-epoch Hubble Space Telescope (HST) archival catalog with a 16-yr baseline. For stars with G~20, the median PM uncertainty is ~13 $\mu$as yr$^{-1}$ (3.1 km s$^{-1}$), better than Gaia DR3 typically achieves for its very best-measured stars. We kinematically detect the known star cluster OGLE-CL LMC 407, measure its absolute PM for the first time, and show how this differs from other LMC populations. The inferred cluster dispersion sets an upper limit of 24 $\mu$as yr$^{-1}$ (5.6 km s$^{-1}$) on systematic uncertainties. Red-giant-branch stars have a velocity dispersion of 33.8 $\pm$ 0.6 km s$^{-1}$, while younger blue populations have a narrower velocity distribution, but with a significant kinematical substructure. We discuss how this relates to the larger velocity dispersions inferred from Gaia DR3. These results establish JWST as capable of state-of-the-art astrometry, building on the extensive legacy of HST. This is the first paper in a series by our JWST Telescope Scientist Team (TST), in which we will use Guaranteed Time Observations to study the PM kinematics of various stellar systems in the Local Group.


title: Direct detection of supernova progenitor stars with ZTF and LSST

abstract: The direct detection of core-collapse supernova (SN) progenitor stars is a powerful way of probing the last stages of stellar evolution. However, detections in archival Hubble Space Telescope images are limited to about one per year. Here, we explore whether we can increase the detection rate by using data from ground-based wide-field surveys. Due to crowding and atmospheric blurring, progenitor stars can typically not be identified in pre-explosion images alone. Instead, we combine many pre-SN and late-time images to search for the disappearance of the progenitor star. As a proof of concept, we implement our search for ZTF data. For a few hundred images, we achieve limiting magnitudes of about 23 mag in the g and r band. However, no progenitor stars or long-lived outbursts are detected for 29 SNe within z<0.01, and the ZTF limits are typically several magnitudes less constraining than detected progenitors in the literature. Next, we estimate progenitor detection rates for the Legacy Survey of Space and Time (LSST) with the Vera C. Rubin telescope by simulating a population of nearby SNe. The background from bright host galaxies reduces the nominal LSST sensitivity by, on average, 0.4 mag. Over the ten-year survey, we expect the detection of about 50 red supergiant progenitors and several yellow and blue supergiants. The progenitors of SNe Ib and Ic are detectable if they are brighter than -4.7 mag or -4.0 mag in the LSST i band, respectively. In addition, we expect the detection of hundreds of pre-SN outbursts depending on their brightness and duration.


title: Planetary line-to-accretion luminosity scaling relations: Extrapolating to higher-order hydrogen lines

abstract: Aoyama et al. (2021, ApJL) provided scaling relations between hydrogen-line luminosities and the accretion luminosity for planetary-mass objects. These fits should be an improvement over blind extrapolations of stellar relations. The fits go up only to the n = 8 electron energy level, but higher-n Balmer lines have been observed in the near-UV at Delorme 1 (AB)b with UVES (Ringqvist et al. 2023). We extend the scaling relations to higher-n levels for the Balmer and other series by fitting the fit coefficients (a, b) themselves and extrapolating them. Within the assumption of an accretion shock as the source of line emission, these fits should be robust for accreting planetary-mass objects.


title: Planetary Population Synthesis and the Emergence of Four Classes of Planetary System Architectures

abstract: Planetary population synthesis is a tool to understand the physics of planetary system formation. It builds on a model that includes a multitude of physical processes. The outcome can be statistically compared with exoplanet observations. Here, we review the population synthesis method and then use one population to explore how different planetary system architectures emerge and which conditions lead to their formation. The systems can be classified into four main architectures: Class I of near-in situ compositionally ordered terrestrial and ice planets, Class II of migrated sub-Neptunes, Class III of mixed low-mass and giant planets, broadly similar to the Solar System, and Class IV of dynamically active giants without inner low-mass planets. These four classes exhibit distinct typical formation pathways and are characterised by certain mass scales. Class I systems form from the local accretion of planetesimals followed by a giant impact phase, and the final planet masses correspond to the `Goldreich mass'. Class II systems form when planets reach the `equality mass' (equal accretion and migration timescales) before the dispersal of the gas disc, but not large enough to allow for rapid gas accretion. Giant planets form when the `equality mass' allows for rapid gas accretion while the planet are migrating, i.e. when the critical core mass is reached. The main discriminant of the four classes is the initial mass of solids in the disc, with contributions from the lifetime and mass of the gas disc. The breakdown into classes allows to better understand which physical processes are dominant. Comparison with observations reveals certain differences to the actual population, pointing at limitation of theoretical understanding. For example, the overrepresentation of synthetic super Earths and sub-Neptunes in Class I causes these planets to be found at lower metallicities than in observations.


title: What neutron stars tell about the hadron-quark phase transition: a Bayesian study

abstract: The existence of quark matter inside the heaviest neutron stars has been the topic of numerous recent studies, many of them suggesting that a phase transition to strongly interacting conformal matter inside neutron stars is feasible. Here we examine this hybrid star scenario using a soft and a stiff hadronic model, a constituent quark model with three quark flavours, and applying a smooth crossover transition between the two. Within a Bayesian framework, we study the effect of up-to-date constraints from neutron star observations on the equation-of-state parameters and various neutron star observables. Our results show that a pure quark core is only possible if the maximum mass of neutron stars is below $\sim2.35~M_\odot$. However, we also find, consistently with other studies, that a peak in the speed of sound, exceeding $1/3$, is highly favoured by astrophysical measurements, which might indicate the percolation of hadrons at $\sim3-4n_0$. Even though our prediction for the phase transition parameters varies depending on the specific astrophysical constraints utilized, the position of the speed of sound peak only changes slightly, while the existence of pure quark matter below $\sim4 n_0$, using our parameterization, is disfavoured. On the other hand, the preferred range for the EoS shows signs of conformality above $\sim4n_0$. Additionally, we present the difference in the upper bounds of radius estimates using the full probability density data and sharp cut-offs, and stress the necessity of using the former.


title: Light Shining Through a Thin Wall: Evanescent Hidden Photon Detection

abstract: A kinetically-mixed hidden photon is sourced as an evanescent mode by electromagnetic fields that oscillate at a frequency smaller than the hidden photon mass. These evanescent modes fall off exponentially with distance, but nevertheless yield detectable signals in a photon regeneration experiment if the electromagnetic barrier is made sufficiently thin. We consider such an experiment using superconducting cavities at GHz frequencies, proposing various cavity and mode arrangements that enable unique sensitivity to hidden photon masses ranging from $10^{-5}$ eV to $ 10^{-1}$ eV.


title: LISA Constraints on an Intermediate-Mass Black Hole in the Galactic Centre

abstract: Galactic nuclei are potential hosts for intermediate-mass black holes (IMBHs), whose gravitational field can affect the motion of stars and compact objects. The absence of observable perturbations in our own Galactic Centre has resulted in a few constraints on the mass and orbit of a putative IMBH. Here, we show that the Laser Interferometer Space Antenna (LISA) can further constrain these parameters if the IMBH forms a binary with a compact remnant (a white dwarf, a neutron star, or a stellar-mass black hole), as the gravitational-wave signal from the binary will exhibit Doppler-shift variations as it orbits around Sgr A$^\star$. We argue that this method is the most effective for IMBHs with masses $10^3\,M_\odot\lesssim M_{\rm IMBH}\lesssim 10^5\,M_\odot$ and distances of $0.1$ mpc to $2$ mpc with respect to the supermassive black hole, a region of the parameter space partially unconstrained by other methods. We show that in this region the Doppler shift is most likely measurable whenever the binary is detected in the LISA band, and it can help constrain the mass and orbit of a putative IMBH in the centre of our Galaxy. We also discuss possible ways for an IMBH to form a binary in the Galactic Centre, showing that gravitational-wave captures of stellar-mass black holes and neutron stars are the most efficient channel.


title: The metal-weak Milky Way stellar disk hidden in the Gaia-Sausage-Enceladus debris: the APOGEE DR17 view

abstract: We have for the first time identified the early stellar disk in the Milky Way by using a combination of elemental abundances and kinematics. Using data from APOGEE DR17 and Gaia we select stars in the Mg-Mn-Al-Fe plane with elemental abundances indicative of accreted origin and find stars with both halo-like and disk-like kinematics. The stars with halo-like kinematics lie along a lower sequence in [Mg/Fe], while the stars with disk-like kinematics lie along a higher sequence. Through with asteroseismic observations, we determine the stars with halo-like kinematics are old, 9-11 Gyr and that the more evolved stellar disk is about 1-2 Gyr younger. We show that the in situ fraction of stars on deeply bound orbits is not small, in fact the inner Galaxy likely harbours a genuine in-situ population together with an accreted one. In addition, we show that the selection of Gaia-Sausage-Enceladus in the En-Lz plane is not very robust. In fact, radically different selection criteria give almost identical elemental abundance signatures for the accreted stars.


title: Detection of single ions in a nanoparticle coupled to a fiber cavity

abstract: Many quantum information protocols require the storage and manipulation of information over long times, and its exchange between nodes of a quantum network across long distances. Implementing these protocols requires an advanced quantum hardware, featuring, for example, a register of long-lived and interacting qubits with an efficient optical interface in the telecommunication band. Here we present the Purcell-enhanced detection of single solid-state ions in erbium-doped nanoparticles placed in a fiber cavity, emitting photons at 1536 nm. The open-access design of the cavity allows for complete tunability both in space and frequency, selecting individual particles and ions. The ions are confined in a volume two orders of magnitude smaller than in previous realizations, increasing the probability of finding ions separated only by a few nanometers which could then interact. We report the detection of individual spectral features presenting saturation of the emission count rate and linewidth, as expected for two-level systems. We also report an uncorrected $g^{(2)} \left ( 0 \right )$ of 0.24(5) for the emitted field, confirming the presence of a single emitter. Our fully fiber-integrated system is an important step towards the realization of the initially envisioned quantum hardware.


title: Entanglement Negativity Transitions in Chaotic Eigenstates

abstract: It was recently noted that the entanglement entropy for a subsystem of a chaotic eigenstate exhibits an enhanced correction when the subsystem approaches a phase transition at half the total system size. This enhanced correction was derived for general subsystems by Dong and Wang by summing over noncrossing permutations, which can be thought of as ``saddles'' either in a sum emerging from averaging over Wick contractions or in an analogous gravitational calculation. We extend these results to the case of entanglement negativity, an entanglement measure defined on a bipartite density matrix. We focus on a particular transition previously studied in a toy model of JT gravity, one for which the sum over permutations was found to give similar (or even stronger) enhanced corrections. We derive and resum the relevant permutations to give a form for the averaged negativity spectrum, reproducing the gravitational answer for some quantities and finding tension with other quantities, namely the partially transposed entropy. Along the way, we extend the results of Dong and Wang to the case of $n < 1$ R\'enyi entropy, showing that it always receives volume law corrections.


title: Monitoring of the polarized $H_{2}O$ maser emission around the massive protostars W75N(B)-VLA1 and W75N(B)-VLA2

abstract: Several radio sources have been detected in the HMSFR W75N(B), among them the massive YSOs VLA1 and VLA2 are of great interest. These are thought to be in different evolutionary stages. In particular, VLA1 is at the early stage of the photoionization and it is driving a thermal radio jet, while VLA2 is a thermal, collimated ionized wind surrounded by a dusty disk or envelope. In both sources 22 GHz water masers have been detected in the past. Those around VLA1 show a persistent distribution along the radio jet and those around VLA2 have instead traced the evolution from a non-collimated to a collimated outflow over a period of 20 years. By monitoring the polarized emission of the water masers around both VLA1 and VLA2 over a period of 6 years, we aim to determine whether the maser distributions show any variation over time and whether the magnetic field behaves accordingly. The EVN was used in full polarization and phase-reference mode to measure the absolute positions of the masers and to determine both the orientation and the strength of the magnetic field. We observed four epochs separated by two years from 2014 to 2020. We detected polarized emission from the water masers around both the YSOs in all the epochs. We find that the masers around VLA1 are tracing a nondissociative shock originating from the expansion of the thermal radio jet, while the masers around VLA2 are tracing an asymmetric expansion of the gas that is halted in the northeast where the gas likely encounters a very dense medium. We also found that the magnetic field inferred from the water masers in each epoch can be considered as a portion of a quasi-static magnetic field estimated in that location rather than in that time. This allowed us to study locally the morphology of the magnetic field around both YSOs in a larger area by considering the vectors estimated in all the epochs as a whole.


title: A shared accretion instability for black holes and neutron stars

abstract: Accretion disks around compact objects are expected to enter an unstable phase at high luminosity. One instability may occur when the radiation pressure generated by accretion modifies the disk viscosity, resulting in the cyclic depletion and refilling of the inner disk on short timescales. Such a scenario, however, has only been quantitatively verified for a single stellar-mass black hole. Although there are hints of these cycles in a few isolated cases, their apparent absence in the variable emission of most bright accreting neutron stars and black holes has been a lingering puzzle. Here we report the presence of the same multiwavelength instability around an accreting neutron star. Moreover, we show that the variability across the electromagnetic spectrum-from radio to X-ray-of both black holes and neutron stars at high accretion rates can be explained consistently if the accretion disks are unstable, producing relativistic ejections during transitions that deplete or refill the inner disk. Such new association allows us to identify the main physical components responsible for the fast multiwavelength variability of highly accreting compact objects.


title: Quantum equilibration and measurements -- bounds on speeds, Lyapunov exponents, and transport coefficients obtained from the uncertainty relations and their comparison with experimental data

abstract: We discuss our recent study of local quantum mechanical uncertainty relations in quantum many body systems. These lead to fundamental bounds for quantities such as the speed, acceleration, relaxation times, spatial gradients and the Lyapunov exponents. We additionally obtain bounds on various transport coefficients like the viscosity, the diffusion constant, and the thermal conductivity. Some of these bounds are related to earlier conjectures, such as the bound on chaos by Maldacena, Shenker and Stanford while others are new. Our approach is a direct way of obtaining exact bounds in fairly general settings. We employ uncertainty relations for local quantities from which we strip off irrelevant terms as much as possible, thereby removing non-local terms. To gauge the utility of our bounds, we briefly compare their numerical values with typical values available from experimental data. In various cases, approximate simplified variants of the bounds that we obtain can become fairly tight, i.e., comparable to experimental values. These considerations lead to a minimal time for thermal equilibrium to be achieved. Building on a conjectured relation between quantum measurements and equilibration, our bounds, far more speculatively, suggest a minimal time scale for measurements to stabilize to equilibrium values.


title: DAEMONFLUX: DAta-drivEn MuOn-calibrated atmospheric Neutrino Flux

abstract: In this paper, we present a refined calculation of the atmospheric neutrino flux spanning from GeV to PeV energies. Our method, Daemonflux, utilizes data-driven inputs and incorporates adjustable parameters to take their uncertainties into account. By optimizing these parameters using a combination of muon data and constraints from fixed-target experiments, we achieve uncertainties in the calculated neutrino fluxes of less than 10% up to 1 TeV, with neutrino ratios constrained to below 10%. Our model performs particularly well at energies below 100 GeV, where the smallest errors are obtained. We make our model available as a software package that provides access to predictions of fluxes, ratios, and errors, including the covariance matrix obtained from the fit.


title: Global Well-Posedness for Eddy-Mean Vorticity Equations on $\mathbb{T}^2$

abstract: We consider the two-dimensional, $\beta$-plane, vorticity equations for an incompressible flow, where the zonally averaged flow varies on scales much larger than the perturbation. We prove global existence and uniqueness of the solution to the equations on periodic settings.


title: Quantum textures of the many-body wavefunctions in magic-angle graphene

abstract: Interactions among electrons create novel many-body quantum phases of matter with wavefunctions that often reflect electronic correlation effects, broken symmetries, and novel collective excitations. A wide range of quantum phases has been discovered in MATBG, including correlated insulating, unconventional superconducting, and magnetic topological phases. The lack of microscopic information, including precise knowledge of possible broken symmetries, has thus far hampered our understanding of MATBG's correlated phases. Here we use high-resolution scanning tunneling microscopy to directly probe the wavefunctions of the correlated phases in MATBG. The squares of the wavefunctions of gapped phases, including those of the correlated insulators, pseudogap, and superconducting phases, show distinct patterns of broken symmetry with a $\sqrt{3}$ x $\sqrt{3}$ super-periodicity on the graphene atomic lattice that has a complex spatial dependence on the moir\'e superlattice scale. We introduce a symmetry-based analysis to describe our measurements of the wavefunctions of MATBG's correlated phases with a set of complex-valued local order parameters. For the correlated insulators in MATBG, at fillings of $\nu$ = $\pm$ 2 electrons per moir\'e unit cell relative to charge neutrality, we compare the observed quantum textures to those expected for proposed theoretical ground states. In typical MATBG devices, the textures of correlated insulators' wavefunctions closely match those of the theoretically proposed IKS order, while in ultra-low-strain samples our data has local symmetries like those of a T-IVC phase. We also study the wavefunction of MATBG's superconducting state, revealing strong signatures of intervalley coherence that can only be distinguished from those of the insulator with our phase-sensitive measurements.


title: A variable active galactic nucleus at $z=2.06$ triply-imaged by the galaxy cluster MACS J0035.4-2015

abstract: We report the discovery of a triply imaged active galactic nucleus (AGN), lensed by the galaxy cluster MACS J0035.4-2015 ($z_{\mathrm{d}}=0.352$). The object is detected in Hubble Space Telescope imaging taken for the RELICS program. It appears to have a quasi-stellar nucleus consistent with a point-source, with a de-magnified radius of $r_e\lesssim100$ pc. The object is spectroscopically confirmed to be an AGN at $z_{\mathrm{spec}}=2.063\pm0.005$ showing broad rest-frame UV emission lines, and is detected in both X-ray observations with Chandra and in ALCS ALMA band 6 (1.2 mm) imaging. It has a relatively faint rest-frame UV luminosity for a quasar-like object, $M_{\mathrm{UV},1450}=-19.7\pm0.2$. The object adds to just a few quasars or other X-ray sources known to be multiply lensed by a galaxy cluster. Some diffuse emission from the host galaxy is faintly seen around the nucleus and there is a faint object nearby sharing the same multiple-imaging symmetry and geometric redshift, possibly an interacting galaxy or a star-forming knot in the host. We present an accompanying lens model, calculate the magnifications and time delays, and infer physical properties for the source. We find the rest-frame UV continuum and emission lines to be dominated by the AGN, and the optical emission to be dominated by the host galaxy of modest stellar mass $M_{\star}\simeq10^{9.2} \mathrm{M}_{\odot}$. We also observe some variation in the AGN emission with time, which may suggest that the AGN used to be more active. This object adds a low-redshift counterpart to several relatively faint AGN recently uncovered at high redshifts with HST and JWST.


title: On weak ergodicity breaking in mean-field spin glasses

abstract: The weak ergodicity breaking hypothesis postulates that out-of-equilibrium glassy systems lose memory of their initial state despite being unable to reach an equilibrium stationary state. It is a milestone of glass physics, and has provided a lot of insight on the physical properties of glass aging. Despite its undoubted usefulness as a guiding principle, its general validity remains a subject of debate. Here, we present evidence that this hypothesis does not hold for a class of mean-field spin glass models. While most of the qualitative physical picture of aging remains unaffected, our results suggest that some important technical aspects should be revisited.


title: Finite-time singularity formation for angled-crested water waves

abstract: We show that the water waves system is locally wellposed in weighted Sobolev spaces which allow for interfaces with corners. No symmetry assumptions are required. These singular points are not rigid: if the initial interface exhibits a corner, it remains a corner but generically its angle changes. Using a characterization of the asymptotic behavior of the fluid near a corner that follows from our a priori energy estimates, we show the existence of initial data in these spaces for which the fluid becomes singular in finite time.


title: Efficient Sensor Placement from Regression with Sparse Gaussian Processes in Continuous and Discrete Spaces

abstract: The sensor placement problem is a common problem that arises when monitoring correlated phenomena, such as temperature, precipitation, and salinity. Existing approaches to this problem typically formulate it as the maximization of information metrics, such as mutual information~(MI), and use optimization methods such as greedy algorithms in discrete domains, and derivative-free optimization methods such as genetic algorithms in continuous domains. However, computing MI for sensor placement requires discretizing the environment, and its computation cost depends on the size of the discretized environment. This limitation restricts these approaches from scaling to large problems. We have uncovered a novel connection between the sensor placement problem and sparse Gaussian processes~(SGP). Our approach leverages SGPs and is gradient-based, which allows us to efficiently find solution placements in continuous environments. We generalize our method to also handle discrete environments. Our experimental results on four real-world datasets demonstrate that our approach generates sensor placements consistently on par with or better than the prior state-of-the-art approaches in terms of both MI and reconstruction quality, all while being significantly faster. Our computationally efficient approach enables both large-scale sensor placement and fast robotic sensor placement for informative path planning algorithms.


title: Accurate dynamics from self-consistent memory in stochastic chemical reactions with small copy numbers

abstract: We present a method that captures the fluctuations beyond mean field in chemical reactions in the regime of small copy numbers and hence large fluctuations, using self-consistently determined memory: by integrating information from the past we can systematically improve our approximation for the dynamics of chemical reactions. This memory emerges from a perturbative treatment of the effective action of the Doi-Peliti field theory for chemical reactions. By dressing only the response functions and by the self-consistent replacement of bare responses by the dressed ones, we show how a very small class of diagrams contributes to this expansion, with clear physical interpretations. From these diagrams, a large sub-class can be further resummed to infinite order, resulting in a method that is stable even for large values of the expansion parameter or equivalently large reaction rates. We demonstrate this method and its accuracy on single and multi-species binary reactions across a range of reaction constant values.


title: Comment on evidence of a transition to the ultimate regime of heat transfer

abstract: It is pointed out that the simulations presented by Zhu et al. PRL 120, 144502, (2018) were not ran to a stationary state. The claim of Zhu et al. that they have found evidence to a transition to the ultimate state of heat transfer predicted by Kraichnan (1962) is therefore not supported by the simulations.


title: Tiny Classifier Circuits: Evolving Accelerators for Tabular Data

abstract: A typical machine learning (ML) development cycle for edge computing is to maximise the performance during model training and then minimise the memory/area footprint of the trained model for deployment on edge devices targeting CPUs, GPUs, microcontrollers, or custom hardware accelerators. This paper proposes a methodology for automatically generating predictor circuits for classification of tabular data with comparable prediction performance to conventional ML techniques while using substantially fewer hardware resources and power. The proposed methodology uses an evolutionary algorithm to search over the space of logic gates and automatically generates a classifier circuit with maximised training prediction accuracy. Classifier circuits are so tiny (i.e., consisting of no more than 300 logic gates) that they are called "Tiny Classifier" circuits, and can efficiently be implemented in ASIC or on an FPGA. We empirically evaluate the automatic Tiny Classifier circuit generation methodology or "Auto Tiny Classifiers" on a wide range of tabular datasets, and compare it against conventional ML techniques such as Amazon's AutoGluon, Google's TabNet and a neural search over Multi-Layer Perceptrons. Despite Tiny Classifiers being constrained to a few hundred logic gates, we observe no statistically significant difference in prediction performance in comparison to the best-performing ML baseline. When synthesised as a Silicon chip, Tiny Classifiers use 8-18x less area and 4-8x less power. When implemented as an ultra-low cost chip on a flexible substrate (i.e., FlexIC), they occupy 10-75x less area and consume 13-75x less power compared to the most hardware-efficient ML baseline. On an FPGA, Tiny Classifiers consume 3-11x fewer resources.


title: Decentralized Model Dissemination Empowered Federated Learning in mmWave Aerial-Terrestrial Integrated Networks

abstract: It is anticipated that aerial-terrestrial integrated networks incorporating unmanned aerial vehicles (UAVs) mounted relays will offer improved coverage and connectivity in the beyond 5G era. Meanwhile, federated learning (FL) is a promising distributed machine learning technique for building inference models over wireless networks due to its ability to maintain user privacy and reduce communication overhead. However, off-the-shelf FL models aggregate global parameters at a central parameter server (CPS), increasing energy consumption and latency, as well as inefficiently utilizing radio resource blocks (RRBs) for distributed user devices (UDs). This paper presents a resource-efficient FL framework, called FedMoD (\textbf{fed}erated learning with \textbf{mo}del \textbf{d}issemination), for millimeter-wave (mmWave) aerial-terrestrial integrated networks with the following two unique characteristics. Firstly, FedMoD presents a novel decentralized model dissemination algorithm that makes use of UAVs as local model aggregators through UAV-to-UAV and device-to-device (D2D) communications. As a result, FedMoD (i) increases the number of participant UDs in developing FL model and (ii) achieves global model aggregation without involving CPS. Secondly, FedMoD reduces the energy consumption of FL using radio resource management (RRM) under the constraints of over-the-air learning latency. In order to achieve this, by leveraging graph theory, FedMoD optimizes the scheduling of line-of-sight (LOS) UDs to suitable UAVs/RRBs over mmWave links and non-LOS UDs to available LOS UDs via overlay D2D communications. Extensive simulations reveal that decentralized FedMoD offers same convergence rate performance as compared to conventional FL frameworks.


title: Effect of Transport Noise on Kelvin-Helmholtz instability

abstract: The effect of transport noise on a 2D fluid may depend on the space-scale of the noise. We investigate numerically the dissipation properties of very small-scale transport noise. As a test problem we consider the Kelvin-Helmholtz instability and we compare the inviscid case, the viscous one, both without noise, and the inviscid case perturbed by transport noise. We observe a partial similarity with the viscous case, namely a delay of the instability.


title: A Comprehensive Perturbative Formalism for Phase Mixing in Perturbed Disks. II. Phase Spirals in an Inhomogeneous Disk Galaxy with a Non-responsive Dark Matter Halo

abstract: We develop a linear perturbative formalism to compute the response of an inhomogeneous stellar disk embedded in a non-responsive dark matter halo to perturbations like bars, spiral arms and satellite galaxy encounters. Without self-gravity to reinforce it, the response of a Fourier mode phase mixes away due to an intrinsic spread in the vertical ($\Omega_z$), radial ($\Omega_r$) and azimuthal ($\Omega_\phi$) frequencies, giving rise to local phase-space spirals. Collisional diffusion due to scattering of stars by structures like giant molecular clouds causes super-exponential damping of the phase-spiral amplitude. The $z-v_z$ phase-spiral is 1-armed (2-armed) for vertically anti-symmetric (symmetric) bending (breathing) modes. Only transient perturbations with timescales ($\tau_{\mathrm{P}}$) comparable to the vertical oscillation period ($\tau_z \sim 1/\Omega_z$) trigger $z-v_z$ phase-spirals. Each $(n,l,m)$ mode of the response to impulsive ($\tau_{\mathrm{P}}<\tau=1/(n\Omega_z+l\Omega_r+m\Omega_\phi)$) perturbations is power law ($\sim \tau_{\mathrm{P}}/\tau$) suppressed, but that to adiabatic ($\tau_{\mathrm{P}}>\tau$) perturbations is exponentially weak ($\sim \exp{\left[-\left(\tau_{\mathrm{P}}/\tau\right)^\alpha\right]}$) except resonant ($\tau\to \infty$) modes. Slower ($\tau_{\mathrm{P}}>\tau_z$) perturbations, e.g., distant encounters with satellite galaxies, induce stronger bending modes. If the Gaia phase-spiral was triggered by a satellite, Sagittarius is the leading contender as it dominates the Solar neighborhood response of the Milky Way disk to satellite encounters. However, survival against collisional damping necessitates that the impact occurred within $\sim 0.6-0.7$ Gyr ago. We discuss how the detailed galactic potential dictates the phase-spiral shape: phase mixing occurs slower and phase-spirals are less wound in the outer disk and in presence of an ambient halo.


title: Collaborative Mean Estimation over Intermittently Connected Networks with Peer-To-Peer Privacy

abstract: This work considers the problem of Distributed Mean Estimation (DME) over networks with intermittent connectivity, where the goal is to learn a global statistic over the data samples localized across distributed nodes with the help of a central server. To mitigate the impact of intermittent links, nodes can collaborate with their neighbors to compute local consensus which they forward to the central server. In such a setup, the communications between any pair of nodes must satisfy local differential privacy constraints. We study the tradeoff between collaborative relaying and privacy leakage due to the additional data sharing among nodes and, subsequently, propose a novel differentially private collaborative algorithm for DME to achieve the optimal tradeoff. Finally, we present numerical simulations to substantiate our theoretical findings.