title: POV Learning: Individual Alignment of Multimodal Models using Human Perception

abstract: Aligning machine learning systems with human expectations is mostly attempted by training with manually vetted human behavioral samples, typically explicit feedback. This is done on a population level since the context that is capturing the subjective Point-Of-View (POV) of a concrete person in a specific situational context is not retained in the data. However, we argue that alignment on an individual level can boost the subjective predictive performance for the individual user interacting with the system considerably. Since perception differs for each person, the same situation is observed differently. Consequently, the basis for decision making and the subsequent reasoning processes and observable reactions differ. We hypothesize that individual perception patterns can be used for improving the alignment on an individual level. We test this, by integrating perception information into machine learning systems and measuring their predictive performance wrt.~individual subjective assessments. For our empirical study, we collect a novel data set of multimodal stimuli and corresponding eye tracking sequences for the novel task of Perception-Guided Crossmodal Entailment and tackle it with our Perception-Guided Multimodal Transformer. Our findings suggest that exploiting individual perception signals for the machine learning of subjective human assessments provides a valuable cue for individual alignment. It does not only improve the overall predictive performance from the point-of-view of the individual user but might also contribute to steering AI systems towards every person's individual expectations and values.


title: Immortal solutions of the K\"ahler-Ricci flow

abstract: We survey some recent developments on solutions of the K\"ahler-Ricci flow on compact K\"ahler manifolds which exist for all positive times.


title: Realistic Channel and Delay Coefficient Generation for Dual Mobile Space-Ground Links - A Tutorial-

abstract: Channel and delay coefficient are two essential parameters for the characterization of a multipath propagation environment. It is crucial to generate realistic channel and delay coefficient in order to study the channel characteristics that involves signals propagating through environments with severe multipath effects. While many deterministic channel models, such as ray-tracing (RT), face challenges like high computational complexity, data requirements for geometrical information, and inapplicability for space-ground links, and nongeometry-based stochastic channel models (NGSCMs) might lack spatial consistency and offer lower accuracy, we present a scalable tutorial for the channel modeling of dual mobile space-ground links in urban areas, utilizing the Quasi Deterministic Radio Channel Generator (QuaDRiGa), which adopts a geometry-based stochastic channel model (GSCM), in conjunction with an International Telecommunication Union (ITU) provided state duration model. This tutorial allows for the generation of realistic channel and delay coefficients in a multipath environment for dual mobile space-ground links. We validate the accuracy of the work by analyzing the generated channel and delay coefficient from several aspects, such as received signal power and amplitude, multipath delay distribution, delay spread and Doppler spectrum.


title: Causal Inference in the Multiverse of Hazard

abstract: Hazard serves as a pivotal estimand in both practical applications and methodological frameworks. However, its causal interpretation poses notable challenges, including inherent selection biases and ill-defined populations to be compared between different treatment groups. In response, we propose a novel definition of counterfactual hazard within the framework of possible worlds. Instead of conditioning on prior survival status as a conditional probability, our new definition involves intervening in the prior status, treating it as a marginal probability. Using single-world intervention graphs, we demonstrate that the proposed counterfactual hazard is a type of controlled direct effect. Conceptually, intervening in survival status at each time point generates a new possible world, where the proposed hazards across time points represent risks in these hypothetical scenarios, forming a "multiverse of hazard." The cumulative and average counterfactual hazards correspond to the sum and average of risks across this multiverse, respectively, with the actual world's risk lying between the two. This conceptual shift reframes hazards in the actual world as a collection of risks across possible worlds, marking a significant advancement in the causal interpretation of hazards.


title: Cosmology from one galaxy in voids?

abstract: Understanding galaxy properties may be the key to unlocking some of the most intriguing mysteries of modern cosmology. Recent work relied on machine learning to extract cosmological constraints on $\Omega_\mathrm{m}$ using only $\textit{one}$ galaxy. But if this is true, how should we select $\textit{the}$ galaxy to use for cosmology inference? In this paper, we consider selecting a galaxy that lies in cosmic voids, the underdense regions of the cosmic web, and compare the constraints obtained with the ones obtained when randomly selecting a galaxy in the whole sample. We use the IllustrisTNG galaxy catalog from the CAMELS project and the VIDE void finder to identify galaxies inside voids. We show that void galaxies provide stronger constraints on $\Omega_\mathrm{m}$ compared to randomly selected galaxies. This result suggests that the distinctive characteristics of void galaxies may provide a cleaner and more effective environment for extracting cosmological information.


title: Exact solution of long-range stabilizer R\'enyi entropy in the dual-unitary XXZ model

abstract: Quantum systems can not be efficiently simulated classically due to the presence of entanglement and nonstabilizerness, also known as quantum magic. Here we study the generation of magic under evolution by a quantum circuit. To be able to provide exact solutions, we focus on the dual-unitary XXZ model and a measure of magic called stabilizer R\'enyi entropy (SRE). Moreover, we focus also on long-range SRE, which cannot be removed by short-depth quantum circuits. To obtain exact solutions we use a ZX-calculus representation and graphical rules for the evaluation of the required expressions. We obtain exact results for SRE after short-time evolution in the thermodynamic limit and for long-range SRE for all times and all R\'enyi parameters for a particular partition of the state. Since the numerical evaluation of these quantities is exponentially costly in the R\'enyi parameter, we verify this numerically for low R\'enyi parameters and accessible system sizes and provide numerical results for the long-range SRE in other bipartitions.


title: Derivation of kinetic and diffusion equations from a hard-sphere Rayleigh gas using collision trees and semigroups

abstract: We will revisit the classical questions of understanding the statistics of various deterministic dynamics of $N$ hard spheres of diameter $\varepsilon$ with random initial data in the Boltzmann-Grad scaling as $\varepsilon$ tends to zero and $N$ tends to infinity. The convergence of the empiric particle dynamics to the Boltzmann-type dynamics is shown using semigroup methods to describe probability measures on collision trees associated to physical trajectories in the case of a Rayleigh gas. As an application we derive the diffusion equation by a further rescaling.


title: A natural model for curved inflation

abstract: Inflationary models with a non-zero background curvature are ill-defined in general relativity because scalar modes cannot be canonically quantized. Therefore, there is no consensus on the primordial power spectrum that should be considered at large scales in a curved Universe. In this letter, we propose a model of curved inflation where canonical quantization is possible for any curvature, and we unambiguously obtain the resulting primordial power spectra. The framework is a recently proposed modification of general relativity in which a non-dynamical topological term is added to the Einstein equation. The main strength of this model is that no additional degree of freedom compared to the standard model of cosmology is needed, giving a natural solution to the problem of constructing curved inflation, and at the same time providing an additional argument for this topological modification of general relativity.


title: Analyticity for classical hard-core gases via recursion

abstract: In the recent work of [Michelen, Perkins, Comm. Math. Phys. 399:1 (2023)], a new lower bound of $eC_{\phi}(\beta)^{-1}$ is obtained for the positive activity up to which the pressure of a classical system of particles with repulsive pair interactions is analytic. In this paper, we extend their method to the class of radially symmetric, locally stable, and tempered pair potentials. Our main result is that the pressure of such systems is analytic for positive activities up to $e^{2(1-W(eA_{\phi}(\beta)/C_{\phi}(\beta)))}C_{\phi}(\beta)^{-1}e^{-(\beta C+1)}$, where $C>0$ is the local stability constant, $W(\cdot)$ the Lambert $W$-function, and $A_{\phi}(\beta)$ the contribution from the attractive part of the pair potential to the temperedness constant. In the high-temperature limit, our result improves the classical Penrose-Ruelle bound of $C_{\phi}(\beta)^{-1}e^{-(\beta C+1)}$ by a factor of $e^{2}$. This proves the absence of phase transitions in these systems in the Lee-Yang sense for activities up to the above threshold.

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


title: Piecewise continuous maps on the interval

abstract: Let $f$ be a piecewise continuous map on the interval with at most a finite number of turning points. In this paper we study some basic properties about this class of functions and show its main difference from the continuous case. We define and study the notion of closed structure, which can be seen as an extension of the notion of periodic orbit. Moreover, we also study the periodic orbits which are away from the discontinuities of $f$, extending the notion of trapped and free periodic orbits.


title: Towards Continual Knowledge Graph Embedding via Incremental Distillation

abstract: Traditional knowledge graph embedding (KGE) methods typically require preserving the entire knowledge graph (KG) with significant training costs when new knowledge emerges. To address this issue, the continual knowledge graph embedding (CKGE) task has been proposed to train the KGE model by learning emerging knowledge efficiently while simultaneously preserving decent old knowledge. However, the explicit graph structure in KGs, which is critical for the above goal, has been heavily ignored by existing CKGE methods. On the one hand, existing methods usually learn new triples in a random order, destroying the inner structure of new KGs. On the other hand, old triples are preserved with equal priority, failing to alleviate catastrophic forgetting effectively. In this paper, we propose a competitive method for CKGE based on incremental distillation (IncDE), which considers the full use of the explicit graph structure in KGs. First, to optimize the learning order, we introduce a hierarchical strategy, ranking new triples for layer-by-layer learning. By employing the inter- and intra-hierarchical orders together, new triples are grouped into layers based on the graph structure features. Secondly, to preserve the old knowledge effectively, we devise a novel incremental distillation mechanism, which facilitates the seamless transfer of entity representations from the previous layer to the next one, promoting old knowledge preservation. Finally, we adopt a two-stage training paradigm to avoid the over-corruption of old knowledge influenced by under-trained new knowledge. Experimental results demonstrate the superiority of IncDE over state-of-the-art baselines. Notably, the incremental distillation mechanism contributes to improvements of 0.2%-6.5% in the mean reciprocal rank (MRR) score.


title: Constraining Millicharged dark matter with Gravitational positivity bounds

abstract: Gravitational positivity bounds provide consistency conditions for effective field theories with gravity. They turn out to be phenomenologically useful by providing lower bounds in parameters of new physics beyond the Standard Models (BSM). In this paper, we derive constraints on millicharged fermion dark matter models with massless dark photon using gravitational positivity bounds. Combining them with upper bounds from cosmological and astrophysical observations, we can severely constrain the parameter space of the model. In particular, we show that when the dark matter mass is lighter than the solar core temperature, most of the parameter region is excluded by combining gravitational positivity bounds and the stellar bounds.


title: Robust constraints on tensor perturbations from cosmological data: a comparative analysis from Bayesian and frequentist perspectives

abstract: We analyze primordial tensor perturbations using the latest cosmic microwave background and gravitational waves data, focusing on the tensor-to-scalar ratio, $r$, and the tensor spectral tilt, $n_t$. Utilizing data from Planck PR4, BICEP/Keck, and LIGO-Virgo-KAGRA, we employ both Bayesian and frequentist methods to provide robust constraints on these parameters. Our results indicate more conservative upper limits for $r$ with profile likelihoods compared to Bayesian credible intervals, highlighting the influence of prior selection and volume effects. The profile likelihood for $n_t$ shows that the current data do not provide sufficient information to derive quantitative bounds, unless extra assumptions on $r$ are used. Additionally, we conduct a 2D profile likelihood analysis of $r$ and $n_t$, indicating a closer agreement between both statistical methods for the largest values of $r$. This study not only updates our understanding of the tensor perturbations but also highlights the importance of employing both statistical methods to explore less constrained parameters, crucial for future explorations in cosmology.


title: Chemical abundances along the quasar main sequence

abstract: The 4D eigenvector 1 (E1) sequence has emerged as a powerful tool for organizing the observational and physical characteristics of type-1 active galactic nuclei (AGNs). In this study, we present a comprehensive analysis of the metallicity of the broad line region gas, incorporating both new data and previously published findings, to assess the presence of any trend along the sequence. We perform a multi-component analysis on the strongest UV and optical emission lines, compute $\sim 10$ diagnostic ratios, and compare them with the prediction of CLOUDY photoionization simulations, identifying a photoionization solution closest to the data. Our investigation reveals a consistent pattern along the optical plane of the E1. We observe a systematic progression in metallicity, ranging from sub-solar values to metallicity levels several times higher than solar values. These findings underscore the role of metallicity as a fundamental correlate of the 4DE1/main sequence. Extreme values of metallicity, at least several tens solar, are confirmed in low-$z$ AGNs radiating at a high Eddington ratio, although the origin of the extreme enrichment remains open to debate.


title: Towards Geographic Inclusion in the Evaluation of Text-to-Image Models

abstract: Rapid progress in text-to-image generative models coupled with their deployment for visual content creation has magnified the importance of thoroughly evaluating their performance and identifying potential biases. In pursuit of models that generate images that are realistic, diverse, visually appealing, and consistent with the given prompt, researchers and practitioners often turn to automated metrics to facilitate scalable and cost-effective performance profiling. However, commonly-used metrics often fail to account for the full diversity of human preference; often even in-depth human evaluations face challenges with subjectivity, especially as interpretations of evaluation criteria vary across regions and cultures. In this work, we conduct a large, cross-cultural study to study how much annotators in Africa, Europe, and Southeast Asia vary in their perception of geographic representation, visual appeal, and consistency in real and generated images from state-of-the art public APIs. We collect over 65,000 image annotations and 20 survey responses. We contrast human annotations with common automated metrics, finding that human preferences vary notably across geographic location and that current metrics do not fully account for this diversity. For example, annotators in different locations often disagree on whether exaggerated, stereotypical depictions of a region are considered geographically representative. In addition, the utility of automatic evaluations is dependent on assumptions about their set-up, such as the alignment of feature extractors with human perception of object similarity or the definition of "appeal" captured in reference datasets used to ground evaluations. We recommend steps for improved automatic and human evaluations.


title: Metallic mean fractal systems and their tilings

abstract: Fractals and quasiperiodic structures share self-similarity as a structural property. Motivated by the link between Fibonacci fractals and quasicrystals which are scaled by the golden mean ratio $\frac{1+\sqrt{5}}{2}$, we introduce and characterize a family of metallic-mean ratio fractals. We calculate the spatial properties of this generalized family, including their boundaries, which are also fractal. We then demonstrate how these fractals can be related to aperiodic tilings, and show how we can decorate them to produce new, fractal tilings.


title: A Significantly Better Class of Activation Functions Than ReLU Like Activation Functions

abstract: This paper introduces a significantly better class of activation functions than the almost universally used ReLU like and Sigmoidal class of activation functions. Two new activation functions referred to as the Cone and Parabolic-Cone that differ drastically from popular activation functions and significantly outperform these on the CIFAR-10 and Imagenette benchmmarks are proposed. The cone activation functions are positive only on a finite interval and are strictly negative except at the end-points of the interval, where they become zero. Thus the set of inputs that produce a positive output for a neuron with cone activation functions is a hyperstrip and not a half-space as is the usual case. Since a hyper strip is the region between two parallel hyper-planes, it allows neurons to more finely divide the input feature space into positive and negative classes than with infinitely wide half-spaces. In particular the XOR function can be learn by a single neuron with cone-like activation functions. Both the cone and parabolic-cone activation functions are shown to achieve higher accuracies with significantly fewer neurons on benchmarks. The results presented in this paper indicate that many nonlinear real-world datasets may be separated with fewer hyperstrips than half-spaces. The Cone and Parabolic-Cone activation functions have larger derivatives than ReLU and are shown to significantly speedup training.


title: Transition of dimuonium through foil

abstract: This article presents a study of the passage of dimuonium through the foil of ordinary matter. First, we provide an overview of how dimuonium is planned to be produced for such a type of experiment and how it is expected to interact with the ordinary atoms -- predominantly electromagnetically via the screened coulomb potential of the atomic nuclei. Then, we describe the transport equations that represent the evolution of dimuonium states during the passage and their solution methods. Finally, for three different foils (Beryllium, Aluminium and Lead), we present the results of this study. To estimate impact of uncertainties in the potential of a target atom, we study 15 different approximations of the atomic potential and show that the corresponding atomic-potential-model-dependent error in the yields of the low lying states of dimuonium is quite small within the framework of the applied Born approximation. The convergence of the results after truncation of the infinite system of transport equations to the finite number of quantum states of dimuonium is also studied, and good convergence for the yields of low-lying states is demonstrated.


title: SPIRou spectropolarimetry of the T Tauri star TW Hydrae: magnetic fields, accretion and planets

abstract: In this paper we report near-infrared observations of the classical T Tauri star TW Hya with the SPIRou high-resolution spectropolarimeter and velocimeter at the 3.6-m Canada-France-Hawaii Telescope in 2019, 2020, 2021 and 2022. By applying Least-Squares Deconvolution (LSD) to our circularly polarized spectra, we derived longitudinal fields that vary from year to year from -200 to +100 G, and exhibit low-level modulation on the 3.6 d rotation period of TW Hya, despite the star being viewed almost pole-on. We then used Zeeman-Doppler Imaging to invert our sets of unpolarized and circularly-polarized LSD profiles into brightness and magnetic maps of TW Hya in all 4 seasons, and obtain that the large-scale field of this T Tauri star mainly consists of a 1.0-1.2 kG dipole tilted at about 20{\deg} to the rotation axis, whereas the small-scale field reaches strengths of up to 3-4 kG. We find that the large-scale field is strong enough to allow TW Hya to accrete material from the disc on the polar regions at the stellar surface in a more or less geometrically stable accretion pattern, but not to succeed in spinning down the star. We also report the discovery of a radial velocity signal of semi-amplitude $11.1^{+3.3}_{-2.6}$ m/s (detected at 4.3$\sigma$ at a period of 8.3 d in the spectrum of TW Hya, whose origin may be attributed to either a non-axisymmetric density structure in the inner accretion disc, or to a $0.55^{+0.17}_{-0.13}$ Jupiter mass candidate close-in planet (if orbiting in the disc plane), at an orbital distance of $0.075\pm0.001$ au.


title: A Constructive Winning Maker Strategy in the Maker-Breaker $C_4$-Game

abstract: Maker-Breaker subgraph games are among the most famous combinatorial games. For given $n,q \in \mathbb{N}$ and a subgraph $C$ of the complete graph $K_n$, the two players, called Maker and Breaker, alternately claim edges of $K_n$. In each round of the game Maker claims one edge and Breaker is allowed to claim up to $q$ edges. If Maker is able to claim all edges of a copy of $C$, he wins the game. Otherwise Breaker wins. In this work we introduce the first constructive strategy for Maker for the $C_4$-Maker-Breaker game and show that he can win the game if $q < 0.16 n^{2/3}$. According to the theorem of Bednarska and Luczak (2000) $n^{2/3}$ is asymptotically optimal for this game, but the constant given there for a random Maker strategy is magnitudes apart from our constant 0.16.


title: Large-Scale MPC: Scaling Private Iris Code Uniqueness Checks to Millions of Users

abstract: In this work we tackle privacy concerns in biometric verification systems that typically require server-side processing of sensitive data (e.g., fingerprints and Iris Codes). Concretely, we design a solution that allows us to query whether a given Iris Code is similar to one contained in a given database, while all queries and datasets are being protected using secure multiparty computation (MPC). Addressing the substantial performance demands of operational systems like World ID and aid distributions by the Red Cross, we propose new protocols to improve performance by more than three orders of magnitude compared to the recent state-of-the-art system Janus (S&P 24). Our final protocol can achieve a throughput of over a million Iris Code comparisons per second on a single CPU core, while protecting the privacy of both the query and database Iris Codes. We additionally investigate GPU acceleration for some building blocks of our protocol, which results in further speedups of over 38x compared to the respective multi-threaded CPU implementation.


title: Ekedahl-Oort strata and the supersingular locus in the GU(q-2,2) Shimura variety

abstract: This paper concerns the characteristic-$p$ fibers of $\mathsf{GU}(q-2,2)$ Shimura varieties, which classify abelian varieties with additional structure. These Shimura varieties admit two stratifications of interest: the Ekedahl-Oort stratification, based on the isomorphism class of the $p$-torsion subgroup scheme, and the Newton stratification, based on the isogeny class of the $p$-divisible group. It is natural to ask which Ekedahl-Oort strata intersect the unique closed Newton stratum, called the \emph{supersingular locus}. In this paper, we present several novel techniques that give information about the interaction between the two stratifications for general signature $(q-2,2)$, and as an application, we completely answer this question for the signature $(3,2)$.


title: Two-way Fixed Effects and Differences-in-Differences Estimators in Heterogeneous Adoption Designs

abstract: We consider treatment-effect estimation under a parallel trends assumption, in heterogeneous adoption designs where no unit is treated at period one, and units receive a weakly positive dose at period two. First, we develop a test of the assumption that the treatment effect is mean independent of the treatment, under which the commonly-used two-way-fixed-effects estimator is consistent. When this test is rejected, we propose alternative, robust estimators. If there are stayers with a period-two treatment equal to 0, the robust estimator is a difference-in-differences (DID) estimator using stayers as the control group. If there are quasi-stayers with a period-two treatment arbitrarily close to zero, the robust estimator is a DID using units with a period-two treatment below a bandwidth as controls. Finally, without stayers or quasi-stayers, we propose non-parametric bounds, and an estimator relying on a parametric specification of treatment-effect heterogeneity. We use our results to revisit Pierce and Schott (2016) and Enikolopov et al. (2011).


title: A fully differentiable GNN-based PDE Solver: With Applications to Poisson and Navier-Stokes Equations

abstract: In this study, we present a novel computational framework that integrates the finite volume method with graph neural networks to address the challenges in Physics-Informed Neural Networks(PINNs). Our approach leverages the flexibility of graph neural networks to adapt to various types of two-dimensional unstructured grids, enhancing the model's applicability across different physical equations and boundary conditions. The core innovation lies in the development of an unsupervised training algorithm that utilizes GPU parallel computing to implement a fully differentiable finite volume method discretization process. This method includes differentiable integral and gradient reconstruction algorithms, enabling the model to directly solve partial-differential equations(PDEs) during training without the need for pre-computed data. Our results demonstrate the model's superior mesh generalization and its capability to handle multiple boundary conditions simultaneously, significantly boosting its generalization capabilities. The proposed method not only shows potential for extensive applications in CFD but also establishes a new paradigm for integrating traditional numerical methods with deep learning technologies, offering a robust platform for solving complex physical problems.

categories: physics.flu-dyn math-ph math.MP physics.comp-ph


title: Online List Labeling with Near-Logarithmic Writes

abstract: In the Online List Labeling problem, a set of $n \leq N$ elements from a totally ordered universe must be stored in sorted order in an array with $m=N+\lceil\varepsilon N \rceil$ slots, where $\varepsilon \in (0,1]$ is constant, while an adversary chooses elements that must be inserted and deleted from the set. We devise a skip-list based algorithm for maintaining order against an oblivious adversary and show that the expected amortized number of writes is $O(\varepsilon^{-1}\log (n) \operatorname{poly}(\log \log n))$ per update.


title: Turning the Ratchet: Dynamic Screening with Multiple Agents

abstract: We study a dynamic contracting problem with multiple agents and a lack of commitment. A principal who can only commit to one-period contracts wants to screen efficient agents over time. Once an agent reveals his type, the principal becomes tempted to revise contract terms, causing a "ratchet effect." Alterations of contracts are observable and, hence, whenever past promises are not honored future information revelation stops. We provide a necessary and sufficient condition under which the principal is able to foster information revelation. When players are sufficiently patient, the agents' private information is either never revealed or fully revealed in a sequential manner. Optimal contracts entail high-powered incentives after an agent's type is initially disclosed, and rewards for information revelation disappear in the long run.


title: Galactic transient sources with the Cherenkov Telescope Array

abstract: A wide variety of Galactic sources show transient emission at soft and hard X-ray energies: low-mass and high-mass X-ray binaries containing compact objects (e.g., novae, microquasars, transitional millisecond pulsars, supergiant fast X-ray transients), isolated neutron stars exhibiting extreme variability as magnetars as well as pulsar wind nebulae. Although most of them can show emission up to MeV and/or GeV energies, many have not yet been detected in the TeV domain by Imaging Atmospheric Cherenkov Telescopes. In this paper, we explore the feasibility of detecting new Galactic transients with the Cherenkov Telescope Array (CTA) and the prospects for studying them with Target of Opportunity observations. We show that CTA will likely detect new sources in the TeV regime, such as the massive microquasars in the Cygnus region, low-mass X-ray binaries with low-viewing angle, flaring emission from the Crab pulsar-wind nebula or other novae explosions, among others. We also discuss the multi-wavelength synergies with other instruments and large astronomical facilities.


title: Emergent Conformal Symmetry at the Multicritical Point of (2+1)D SO(5) Model with Wess-Zumino-Witten Term on Sphere

abstract: Novel critical phenomena beyond the Landau-Ginzburg-Wilson paradigm have been long sought after. Among many candidate scenarios, the deconfined quantum critical point (DQCP) constitutes the most fascinating one, and its lattice model realization has been debated over the past two decades. Following the pioneering works with the fuzzy sphere methods [W. Zhu, et al, Phys. Rev. X 13, 021009], we apply the spherical Landau level regularization to study the effective (2+1)D SO(5) non-linear sigma model with a topological term and the potential DQCP therein. Utilizing the state-of-the-art density matrix renormalization group method with explicit $\text{SU(2)}_\text{spin}\times\text{U(1)}_\text{charge}\times\text{U(1)}_\text{angular-momentum}$ symmetry as well as exact diagonalization simulations, we provide a comprehensive phase diagram for the model with a SO(5) continuous transition line -- extension of the previous identified SO(5) multicritical point [arXiv:2307.05307] -- while tuning interaction length. The state-operator correspondence with the conformal tower structure is used to identify the emergent conformal symmetry with the best scaling dimension of relevant primary fields and they match well with the critical exponents obtained from the crossing point analysis of the correlation ratio. Our results thus further support the rich structure of the phase diagram of the SO(5) model.


title: Universal Spatial Audio Transcoder

abstract: This paper addresses the challenges associated with both the conversion between different spatial audio formats and the decoding of a spatial audio format to a specific loudspeaker layout. Existing approaches often rely on layout remapping tools, which may not guarantee optimal conversion from a psychoacoustic perspective. To overcome these challenges, we present the Universal Spatial Audio Transcoder (USAT) method and its corresponding open source implementation. USAT generates an optimal decoder or transcoder for any input spatial audio format, adapting it to any output format or 2D/3D loudspeaker configuration. Drawing upon optimization techniques based on psychoacoustic principles, the algorithm maximizes the preservation of spatial information. We present examples of the decoding and transcoding of several audio formats, and show that USAT approach is advantageous compared to the most common methods in the field.


title: Neural Network Quantum States for the Interacting Hofstadter Model with Higher Local Occupations and Long-Range Interactions

abstract: Due to their immense representative power, neural network quantum states (NQS) have gained significant interest in current research. In recent advances in the field of NQS, it has been demonstrated that this approach can compete with state-of-the-art numerical techniques, making NQS a compelling alternative, in particular for the simulation of large, two-dimensional quantum systems. In this study, we show that recurrent neural network (RNN) wave functions can be employed to study systems relevant to current research in quantum many-body physics. Specifically, we employ a 2D tensorized gated RNN to explore the bosonic Hofstadter model with a variable local Hilbert space cut-off and long-range interactions. At first, we benchmark the RNN-NQS for the Hofstadter-Bose-Hubbard (HBH) Hamiltonian on a square lattice. We find that this method is, despite the complexity of the wave function, capable of efficiently identifying and representing most ground state properties. Afterwards, we apply the method to an even more challenging model for current methods, namely the Hofstadter model with long-range interactions. This model describes Rydberg-dressed atoms on a lattice subject to a synthetic magnetic field. We study systems of size up to $12 \times 12$ sites and identify three different regimes by tuning the interaction range and the filling fraction $\nu$. In addition to phases known from the HBH model at short-ranged interaction, we observe bubble crystals and Wigner crystals for long-ranged interactions. Especially interesting is the evidence of a bubble crystal phase on a lattice, as this gives experiments a starting point for the search of clustered liquid phases, possibly hosting non-Abelian anyon excitations. In our work we show that NQS are an efficient and reliable simulation method for quantum systems, which are the subject of current research.

categories: cond-mat.dis-nn cond-mat.mes-hall cond-mat.quant-gas cond-mat.str-el


title: Nonlinear Landau damping and wave operators in sharp Gevrey spaces

abstract: We prove nonlinear Landau damping in optimal weighted Gevrey-3 spaces for solutions of the confined Vlasov-Poisson system on $\T^d\times\R^d$ which are small perturbations of homogeneous Penrose-stable equilibria. We also prove the existence of nonlinear scattering operators associated to the confined Vlasov-Poisson evolution, as well as suitable injectivity properties and Lipschitz estimates (also in weighted Gevrey-3 spaces) on these operators. Our results give definitive answers to two well-known open problems in the field, both of them stated in the recent review of Bedrossian [4, Section 6].


title: Thermodynamics and geometrothermodynamics of regular black holes

abstract: We assume the validity of the Bekenstein-Hawking entropy, as given in terms of the horizon area of the Bardeen regular black hole, and consider it as the fundamental thermodynamic equation. We derive and investigate the behavior of the main thermodynamic variables. Using the formalism of geometrothermodynamics, we derive the geometric properties of the corresponding equilibrium space and show that the curvature contains information about the stability properties and phase transition structure of the black hole.


title: Bayesian Copula Density Estimation Using Bernstein Yett-Uniform Priors

abstract: Probability density estimation is a central task in statistics. Copula-based models provide a great deal of flexibility in modelling multivariate distributions, allowing for the specifications of models for the marginal distributions separately from the dependence structure (copula) that links them to form a joint distribution. Choosing a class of copula models is not a trivial task and its misspecification can lead to wrong conclusions. We introduce a novel class of random Bernstein copula functions, and studied its support and the behavior of its posterior distribution. The proposal is based on a particular class of random grid-uniform copulas, referred to as yett-uniform copulas. Alternative Markov chain Monte Carlo algorithms for exploring the posterior distribution under the proposed model are also studied. The methodology is illustrated by means of simulated and real data.


title: BERP: A Blind Estimator of Room Acoustic and Physical Parameters for Single-Channel Noisy Speech Signals

abstract: Room acoustic parameters (RAPs) and room physical parameters ( RPPs) are essential metrics for parameterizing the room acoustical characteristics (RAC) of a sound field around a listener's local environment, offering comprehensive indications for various applications. The current RAPs and RPPs estimation methods either fall short of covering broad real-world acoustic environments in the context of real background noise or lack universal frameworks for blindly estimating RAPs and RPPs from noisy single-channel speech signals, particularly sound source distances, direction-of-arrival (DOA) of sound sources, and occupancy levels. On the other hand, in this paper, we propose a novel universal blind estimation framework called the blind estimator of room acoustical and physical parameters (BERP), by introducing a new stochastic room impulse response (RIR) model, namely, the sparse stochastic impulse response (SSIR) model, and endowing the BERP with a unified encoder and multiple separate predictors to estimate RPPs and SSIR parameters in parallel. This estimation framework enables the computationally efficient and universal estimation of room parameters by solely using noisy single-channel speech signals. Finally, all the RAPs can be simultaneously derived from the RIRs synthesized from SSIR model with the estimated parameters. To evaluate the effectiveness of the proposed BERP and SSIR models, we compile a task-specific dataset from several publicly available datasets. The results reveal that the BERP achieves state-of-the-art (SOTA) performance. Moreover, the evaluation results pertaining to the SSIR RIR model also demonstrated its efficacy. The code is available on GitHub.


title: Designing an Objective-Driven Test Method for the Comparative Performance Evaluation of Commercial DTI Solutions for Counter UAS systems

abstract: Unmanned Aerial Systems (UASs) or drones become more and more commercially available and cheap. There has been much emphasis on developing and deploying Counter-UAS systems (UASs) with Detection Tracking and Identification (DTI) solutions. However, the capabilities of these systems are hard to benchmark. Performance claims of these systems are currently not supported by evidence. In addition, no standard test methodologies are available for these DTI systems and different test methodologies make comparison of these systems hard or impossible. We report on the definition, development and verification of an objective-driven test method and corresponding comparative performance evaluation for commercial DTI solutions for C-UASs. The developed methodology is based on end-user scenarios that are operationally relevant. The test methodology is based on a generic DTI system lay-out and is detailed towards detection, tracking and identification, taking into account contextual information and end-user input. The comparative performance evaluation is developed to enable the use of the methodology in a relevant environment, thereby taking into account any potential environmental aspect that might influence DTI system performance. Validation of the work in a relevant environment has been done in three operational trials. The operational trial results show that the method allows for performance evaluation at component level (i.e., detection, tracking or identification component) and at system level (combinations of these components and integrated DTI system of system solutions).


title: Exploration of Novel Neuromorphic Methodologies for Materials Applications

abstract: Many of today's most interesting questions involve understanding and interpreting complex relationships within graph-based structures. For instance, in materials science, predicting material properties often relies on analyzing the intricate network of atomic interactions. Graph neural networks (GNNs) have emerged as a popular approach for these tasks; however, they suffer from limitations such as inefficient hardware utilization and over-smoothing. Recent advancements in neuromorphic computing offer promising solutions to these challenges. In this work, we evaluate two such neuromorphic strategies known as reservoir computing and hyperdimensional computing. We compare the performance of both approaches for bandgap classification and regression using a subset of the Materials Project dataset. Our results indicate recent advances in hyperdimensional computing can be applied effectively to better represent molecular graphs.


title: Tunable superconductivity in electron- and hole-doped Bernal bilayer graphene

abstract: Graphene-based, high quality two-dimensional electronic systems have emerged as a highly tunable platform for studying superconductivity. Specifically, superconductivity has been observed in both electron-doped and hole-doped twisted graphene moire systems, whereas in crystalline graphene systems, superconductivity has so far only been observed in hole-doped rhombohedral trilayer and hole-doped Bernal bilayer graphene (BBG). Recently, enhanced superconductivity has been demonstrated in BBG due to the proximity with a monolayer WSe2. Here, we report the observation of superconductivity and a series of flavor-symmetry-breaking phases in both electron- and hole-doped BBG/WSe2 device by electrostatic doping. The strength of the observed superconductivity is tunable by applied vertical electric fields. The maximum Berezinskii-Kosterlitz-Thouless (BKT) transition temperature for the electron- and hole-doped superconductivity is about 210 mK and 400 mK, respectively. Superconductivities emerge only when applied electric fields drive BBG electron or hole wavefunctions toward the WSe2 layer, underscoring the importance of the WSe2 layer in the observed superconductivity. We find the hole-doped superconductivity violates the Pauli paramagnetic limit, consistent with an Ising-like superconductor. In contrast, the electron-doped superconductivity obeys the Pauli limit, even though the proximity induced Ising spin-orbit coupling is also notable in the conduction band. Our findings highlight the rich physics associated with the conduction band in BBG, paving the way for further studies into the superconducting mechanisms of crystalline graphene and the development of novel superconductor devices based on BBG.


title: Concentration Tail-Bound Analysis of Coevolutionary and Bandit Learning Algorithms

abstract: Runtime analysis, as a branch of the theory of AI, studies how the number of iterations algorithms take before finding a solution (its runtime) depends on the design of the algorithm and the problem structure. Drift analysis is a state-of-the-art tool for estimating the runtime of randomised algorithms, such as evolutionary and bandit algorithms. Drift refers roughly to the expected progress towards the optimum per iteration. This paper considers the problem of deriving concentration tail-bounds on the runtime/regret of algorithms. It provides a novel drift theorem that gives precise exponential tail-bounds given positive, weak, zero and even negative drift. Previously, such exponential tail bounds were missing in the case of weak, zero, or negative drift. Our drift theorem can be used to prove a strong concentration of the runtime/regret of algorithms in AI. For example, we prove that the regret of the \rwab bandit algorithm is highly concentrated, while previous analyses only considered the expected regret. This means that the algorithm obtains the optimum within a given time frame with high probability, i.e. a form of algorithm reliability. Moreover, our theorem implies that the time needed by the co-evolutionary algorithm RLS-PD to obtain a Nash equilibrium in a \bilinear max-min-benchmark problem is highly concentrated. However, we also prove that the algorithm forgets the Nash equilibrium, and the time until this occurs is highly concentrated. This highlights a weakness in the RLS-PD which should be addressed by future work.


title: Measurement of Spin-Polarized Photoemission from Wurtzite and Zinc-Blende Gallium Nitride Photocathodes

abstract: Spin-polarized photoemission from wurtzite and zinc-blende gallium nitride (GaN) photocathodes has been observed and measured for the first time. The p-doped GaN photocathodes were epitaxially grown and activated to negative electron affinity (NEA) with a cesium monolayer deposited on their surfaces. A field-retarding Mott polarimeter was used to measure the spin-polarization of electrons photoemitted from the top of the valence band. A spectral scan with a tunable optical parametric amplifier (OPA) constructed to provide low-bandwidth light revealed peak spin polarizations of 17% and 29% in the wurtzite and zinc-blende photocathodes, respectively. Zinc-blende GaN results are analyzed with a spin-polarization model accounting for experimental parameters used in the measurements, while possible mechanisms influencing the obtained spin polarization values of wurtzite GaN are discussed.


title: Harnack inequality for parabolic equations in double-divergence form with singular lower order coefficients

abstract: This paper investigates the Harnack inequality for nonnegative solutions to second-order parabolic equations in double divergence form. We impose conditions where the principal coefficients satisfy the Dini mean oscillation condition in $x$, while the drift and zeroth-order coefficients belong to specific Morrey classes. Our analysis contributes to advancing the theoretical foundations of parabolic equations in double divergence form, including Fokker-Planck-Kolmogorov equations for probability densities.


title: CloudDiff: Super-resolution ensemble retrieval of cloud properties for all day using the generative diffusion model

abstract: Clouds play a crucial role in the Earth's water and energy cycles, underscoring the importance of high spatiotemporal resolution data on cloud phase and properties for accurate numerical modeling and weather prediction. Currently, Moderate Resolution Imaging Spectroradiometer (MODIS) provides cloud products with a spatial resolution of 1 km. However, these products suffer from a lengthy revisit cycle. This study develops a generative diffusion model (donated as CloudDiff) for super-resolution retrieval of high spatiotemporal cloud phase and properties, applicable both day and night. Leveraging 2 km spatial resolution Himawari-8 Advanced Himawari Imager (AHI) thermal infrared (TIR) radiances and viewing geometry as condition, alongside daytime MODIS products as targets, the model can generate cloud phase (CLP), cloud top height (CTH), cloud optical thickness (COT), and cloud effective radius (CER) at 1 km spatial resolution and 10-minute temporal resolution. The conditional diffusion model can generate sharper images and capture finer local features than deterministic super-resolution approaches. It draws multiple samples based on the underlying probability distribution, enabling retrieval uncertainty assessment. Evaluations show agreement between cloud phase and properties derived from the CloudDiff and MODIS cloud products. The ensemble mean is found to enhance retrieval accuracy and credibility, outperforming the deterministic model.


title: OptPDE: Discovering Novel Integrable Systems via AI-Human Collaboration

abstract: Integrable partial differential equation (PDE) systems are of great interest in natural science, but are exceedingly rare and difficult to discover. To solve this, we introduce OptPDE, a first-of-its-kind machine learning approach that Optimizes PDEs' coefficients to maximize their number of conserved quantities, $n_{\rm CQ}$, and thus discover new integrable systems. We discover four families of integrable PDEs, one of which was previously known, and three of which have at least one conserved quantity but are new to the literature to the best of our knowledge. We investigate more deeply the properties of one of these novel PDE families, $u_t = (u_x+a^2u_{xxx})^3$. Our paper offers a promising schema of AI-human collaboration for integrable system discovery: machine learning generates interpretable hypotheses for possible integrable systems, which human scientists can verify and analyze, to truly close the discovery loop.


title: Adapting WavLM for Speech Emotion Recognition

abstract: Recently, the usage of speech self-supervised models (SSL) for downstream tasks has been drawing a lot of attention. While large pre-trained models commonly outperform smaller models trained from scratch, questions regarding the optimal fine-tuning strategies remain prevalent. In this paper, we explore the fine-tuning strategies of the WavLM Large model for the speech emotion recognition task on the MSP Podcast Corpus. More specifically, we perform a series of experiments focusing on using gender and semantic information from utterances. We then sum up our findings and describe the final model we used for submission to Speech Emotion Recognition Challenge 2024.


title: Quantum Rabin oblivious transfer using two pure states

abstract: Oblivious transfer between two untrusting parties is an important primitive in cryptography. There are different variants of oblivious transfer. In Rabin oblivious transfer, the sender Alice holds a bit, and the receiver Bob either obtains the bit, or obtains no information with probability $p_?$. Alice should not know whether or not Bob obtained the bit. We examine a quantum Rabin oblivious transfer protocol that uses two pure states. Investigating different cheating scenarios for the sender and for the receiver, we determine optimal cheating probabilities in each case. Comparing the quantum Rabin oblivious transfer protocol to classical Rabin oblivious transfer protocols, we show that the quantum protocol outperforms classical protocols which do not use a third party, for some values of $p_?$.


title: UQ state-dependent framework for seismic fragility assessment of industrial components

abstract: In this study, we propose a novel surrogate modelling approach to efficiently and accurately approximate the response of complex dynamical systems driven by time-varying Recently, there has been increased interest in assessing the seismic fragility of industrial plants and process equipment. This is reflected in the growing number of studies, community-funded research projects and experimental campaigns on the matter.Nonetheless, the complexity of the problem and its inherent modelling, coupled with a general scarcity of available data on process equipment, has limited the development of risk assessment methods. In fact, these limitations have led to the creation of simplified and quick-to-run models. In this context, we propose an innovative framework for developing state-dependent fragility functions. This new methodology combines limited data with the power of metamodelling and statistical techniques, namely polynomial chaos expansions (PCE) and bootstrapping. Therefore, we validated the framework on a simplified and inexpensive-to-run MDoF system endowed with Bouc-Wen hysteresis.Then, we tested it on a real nonstructural industrial process component. Specifically, we applied the state-dependent fragility framework to a critical vertical tank of a multicomponent full-scale 3D steel braced frame (BF). The seismic performance of the BF endowed with process components was captured by means of shake table campaign within the European SPIF project. Finally, we derived state-dependent fragility functions based on the combination of PCE and bootstrap at a greatly reduced computational cost.


title: Oscillating Middle Vehicle in a Platoon

abstract: A three-member platoon of Ahmed bodies was studied to investigate the effects of drag variation when the middle member goes out of synchronization and starts to oscillate longitudinally. Oscillations were carried out at two different reduced frequencies corresponding to two different drafting scenarios in NASCAR. Computational Fluid Dynamics simulations were performed to calculate the transient drag force, which was compared with the steady averaged drag results obtained with the middle member in different locations with respect to the lead and trailing bodies. Oscillations create dynamic forces in a platoon, such as suction and compression, which are taken into account by transient analysis. Since the steady cases failed to reproduce these forces on the oscillating vehicle, steady and transient drag comparison for the middle vehicle showed about 75\% difference at normalized time of 1.5 for reduced frequency of 0.4. Drag oscillates for every platoon member and remains cyclically repeatable after the first cycle. Higher reduced frequency increases the drag amplitude for the oscillating member. For the rest of the platoon, changing frequencies does not show significant effects. At very small separation gaps, pressure loss occurs resulting in sudden change in the drag. Drag peaks are mostly governed by the dynamic forces, therefore transient methods should be used for studying the oscillating effects in a platoon.


title: S3Former: Self-supervised High-resolution Transformer for Solar PV Profiling

abstract: As the impact of climate change escalates, the global necessity to transition to sustainable energy sources becomes increasingly evident. Renewable energies have emerged as a viable solution for users, with Photovoltaic energy being a favored choice for small installations due to its reliability and efficiency. Accurate mapping of PV installations is crucial for understanding the extension of its adoption and informing energy policy. To meet this need, we introduce S3Former, designed to segment solar panels from aerial imagery and provide size and location information critical for analyzing the impact of such installations on the grid. Solar panel identification is challenging due to factors such as varying weather conditions, roof characteristics, Ground Sampling Distance variations and lack of appropriate initialization weights for optimized training. To tackle these complexities, S3Former features a Masked Attention Mask Transformer incorporating a self-supervised learning pretrained backbone. Specifically, our model leverages low-level and high-level features extracted from the backbone and incorporates an instance query mechanism incorporated on the Transformer architecture to enhance the localization of solar PV installations. We introduce a self-supervised learning phase (pretext task) to improve the initialization weights on the backbone of S3Former. We evaluated S3Former using diverse datasets, demonstrate improvement state-of-the-art models.


title: Resource-Efficient and Self-Adaptive Quantum Search in a Quantum-Classical Hybrid System

abstract: Over the past decade, the rapid advancement of deep learning and big data applications has been driven by vast datasets and high-performance computing systems. However, as we approach the physical limits of semiconductor fabrication in the post-Moore's Law era, questions arise about the future of these applications. In parallel, quantum computing has made significant progress with the potential to break limits. Major companies like IBM, Google, and Microsoft provide access to noisy intermediate-scale quantum (NISQ) computers. Despite the theoretical promise of Shor's and Grover's algorithms, practical implementation on current quantum devices faces challenges, such as demanding additional resources and a high number of controlled operations. To tackle these challenges and optimize the utilization of limited onboard qubits, we introduce ReSaQuS, a resource-efficient index-value searching system within a quantum-classical hybrid framework. Building on Grover's algorithm, ReSaQuS employs an automatically managed iterative search approach. This method analyzes problem size, filters fewer probable data points, and progressively reduces the dataset with decreasing qubit requirements. Implemented using Qiskit and evaluated through extensive experiments, ReSaQuS has demonstrated a substantial reduction, up to 86.36\% in cumulative qubit consumption and 72.72\% in active periods, reinforcing its potential in optimizing quantum computing application deployment.


title: TorchDriveEnv: A Reinforcement Learning Benchmark for Autonomous Driving with Reactive, Realistic, and Diverse Non-Playable Characters

abstract: The training, testing, and deployment, of autonomous vehicles requires realistic and efficient simulators. Moreover, because of the high variability between different problems presented in different autonomous systems, these simulators need to be easy to use, and easy to modify. To address these problems we introduce TorchDriveSim and its benchmark extension TorchDriveEnv. TorchDriveEnv is a lightweight reinforcement learning benchmark programmed entirely in Python, which can be modified to test a number of different factors in learned vehicle behavior, including the effect of varying kinematic models, agent types, and traffic control patterns. Most importantly unlike many replay based simulation approaches, TorchDriveEnv is fully integrated with a state of the art behavioral simulation API. This allows users to train and evaluate driving models alongside data driven Non-Playable Characters (NPC) whose initializations and driving behavior are reactive, realistic, and diverse. We illustrate the efficiency and simplicity of TorchDriveEnv by evaluating common reinforcement learning baselines in both training and validation environments. Our experiments show that TorchDriveEnv is easy to use, but difficult to solve.


title: Geometric Structures for the $G_2'$-Hitchin Component

abstract: We give an explicit geometric structures interpretation of the $G_2'$-Hitchin component $Hit(S, G_2') \subset \chi(\pi_1S,G_2')$ of a closed oriented surface $S$ of genus $g \geq 2$. In particular, we prove $Hit(S, G_2')$ is naturally homeomorphic to a moduli space $\mathscr{M}$ of $(G,X)$-structures for $G = G_2'$ and $X = Ein^{2,3}$ on a fiber bundle $\mathscr{C}$ over $S$ via the descended holonomy map. Explicitly, $\mathscr{C}$ is the direct sum of fiber bundles $\mathscr{C} = UTS \oplus UTS \oplus \underline{\mathbb{R}_+}$ with fiber $\mathscr{C}_p = UT_p S \times UT_p S \times \mathbb{R}_+$, where $UT S$ denotes the unit tangent bundle. The geometric structure associated to a $G_2'$-Hitchin representation $\rho$ is explicitly constructed from the unique associated $\rho$-equivariant alternating almost-complex curve $\hat{\nu}: \tilde{S} \rightarrow \hat{\mathbb{S}}^{2,4}$; we critically use recent work of Collier-Toulisse on the moduli space of such curves. Our explicit geometric structures are examined in the $G_2'$-Fuchsian case and shown to be unrelated to the $(G_2', Ein^{2,3})$-structures of Guichard-Wienhard.


title: Probability of Presence Versus $\psi(x,t)^* \psi(x, t)$

abstract: Postulating the identification of $\psi^*(x, t) \psi(x,t)$ with a physical probability density is unsatisfactory conceptually and overly limited practically. For electrons, there is a simple, calculable relativistic correction proportional to $\nabla \psi^* \cdot \nabla \psi$. In particular, zeroes of the wave function do not indicate vanishing probability density of presence. Effects of this kind arise generically in Lagrangian-based theories implementing the particle concept.


title: Representation Learning of Daily Movement Data Using Text Encoders

abstract: Time-series representation learning is a key area of research for remote healthcare monitoring applications. In this work, we focus on a dataset of recordings of in-home activity from people living with Dementia. We design a representation learning method based on converting activity to text strings that can be encoded using a language model fine-tuned to transform data from the same participants within a $30$-day window to similar embeddings in the vector space. This allows for clustering and vector searching over participants and days, and the identification of activity deviations to aid with personalised delivery of care.


title: Toward In-Context Teaching: Adapting Examples to Students' Misconceptions

abstract: When a teacher provides examples for a student to study, these examples must be informative, enabling a student to progress from their current state toward a target concept or skill. Good teachers must therefore simultaneously infer what students already know and adapt their teaching to students' changing state of knowledge. There is increasing interest in using computational models, particularly large language models, as pedagogical tools. As students, language models in particular have shown a remarkable ability to adapt to new tasks given small numbers of examples. But how effectively can these models adapt as teachers to students of different types? To study this question, we introduce a suite of models and evaluation methods we call AdapT. AdapT has two components: (1) a collection of simulated Bayesian student models that can be used for evaluation of automated teaching methods; (2) a platform for evaluation with human students, to characterize the real-world effectiveness of these methods. We additionally introduce (3) AToM, a new probabilistic model for adaptive teaching that jointly infers students' past beliefs and optimizes for the correctness of future beliefs. In evaluations of simulated students across three learning domains (fraction arithmetic, English morphology, function learning), AToM systematically outperforms LLM-based and standard Bayesian teaching models. In human experiments, both AToM and LLMs outperform non-adaptive random example selection. Our results highlight both the difficulty of the adaptive teaching task and the potential of learned adaptive models for solving it.


title: Edit-Your-Motion: Space-Time Diffusion Decoupling Learning for Video Motion Editing

abstract: Existing diffusion-based video editing methods have achieved impressive results in motion editing. Most of the existing methods focus on the motion alignment between the edited video and the reference video. However, these methods do not constrain the background and object content of the video to remain unchanged, which makes it possible for users to generate unexpected videos. In this paper, we propose a one-shot video motion editing method called Edit-Your-Motion that requires only a single text-video pair for training. Specifically, we design the Detailed Prompt-Guided Learning Strategy (DPL) to decouple spatio-temporal features in space-time diffusion models. DPL separates learning object content and motion into two training stages. In the first training stage, we focus on learning the spatial features (the features of object content) and breaking down the temporal relationships in the video frames by shuffling them. We further propose Recurrent-Causal Attention (RC-Attn) to learn the consistent content features of the object from unordered video frames. In the second training stage, we restore the temporal relationship in video frames to learn the temporal feature (the features of the background and object's motion). We also adopt the Noise Constraint Loss to smooth out inter-frame differences. Finally, in the inference stage, we inject the content features of the source object into the editing branch through a two-branch structure (editing branch and reconstruction branch). With Edit-Your-Motion, users can edit the motion of objects in the source video to generate more exciting and diverse videos. Comprehensive qualitative experiments, quantitative experiments and user preference studies demonstrate that Edit-Your-Motion performs better than other methods.


title: Unveiling Disparities in Web Task Handling Between Human and Web Agent

abstract: With the advancement of Large-Language Models (LLMs) and Large Vision-Language Models (LVMs), agents have shown significant capabilities in various tasks, such as data analysis, gaming, or code generation. Recently, there has been a surge in research on web agents, capable of performing tasks within the web environment. However, the web poses unforeseeable scenarios, challenging the generalizability of these agents. This study investigates the disparities between human and web agents' performance in web tasks (e.g., information search) by concentrating on planning, action, and reflection aspects during task execution. We conducted a web task study with a think-aloud protocol, revealing distinct cognitive actions and operations on websites employed by humans. Comparative examination of existing agent structures and human behavior with thought processes highlighted differences in knowledge updating and ambiguity handling when performing the task. Humans demonstrated a propensity for exploring and modifying plans based on additional information and investigating reasons for failure. These findings offer insights into designing planning, reflection, and information discovery modules for web agents and designing the capturing method for implicit human knowledge in a web task.


title: Generative Planning with Fast Collision Checks for High Speed Navigation

abstract: Reasoning about large numbers of diverse plans to achieve high speed navigation in cluttered environments remains a challenge for robotic systems even in the case of perfect perceptual information. Often, this is tackled by methods that iteratively optimize around a prior seeded trajectory and consequently restrict to local optima. We present a novel planning method using normalizing flows (NFs) to encode expert-styled motion primitives. We also present an accelerated collision checking framework that enables rejecting samples from the prior distribution before running them through the NF model for rapid sampling of collision-free trajectories. The choice of an NF as the generator permits a flexible way to encode diverse multi-modal behavior distributions while maintaining a smooth relation to the input space which allows approximating collision checks on NF inputs rather than outputs. We show comparable performance to model predictive path integral control in random cluttered environments and improved exit rates in a cul-de-sac environment. We conclude by discussing our plans for future work to improve both safety and performance of our controller.


title: Benchmarking Optimizers for Qumode State Preparation with Variational Quantum Algorithms

abstract: Quantum state preparation involves preparing a target state from an initial system, a process integral to applications such as quantum machine learning and solving systems of linear equations. Recently, there has been a growing interest in qumodes due to advancements in the field and their potential applications. However there is a notable gap in the literature specifically addressing this area. This paper aims to bridge this gap by providing performance benchmarks of various optimizers used in state preparation with Variational Quantum Algorithms. We conducted extensive testing across multiple scenarios, including different target states, both ideal and sampling simulations, and varying numbers of basis gate layers. Our evaluations offer insights into the complexity of learning each type of target state and demonstrate that some optimizers perform better than others in this context. Notably, the Powell optimizer was found to be exceptionally robust against sampling errors, making it a preferred choice in scenarios prone to such inaccuracies. Additionally, the Simultaneous Perturbation Stochastic Approximation optimizer was distinguished for its efficiency and ability to handle increased parameter dimensionality effectively.


title: The Chemical Composition of Ryugu: Prospects as a Reference Material for Solar System Composition

abstract: The Hayabusa 2 spacecraft sampled approximately 5.4 g of asteroid material from the Cb-type asteroid Ryugu. Initial analysis of the Ryugu materials revealed a mineralogical, chemical, and isotopic kinship to the CI chondrites. The pristine nature of Ryugu makes the returned samples ideal for constraining the composition of the Solar System. However, some elements (e.g., P, Ca, Mn, and rare earth elements) show large relative dispersions compared to the other elements in the returned materials studied so far, most likely due to the presence of aqueously formed secondary minerals (e.g., carbonates, phosphates) in Ryugu. Therefore, the estimation of the Solar System composition using currently available Ryugu data is challenging due to the so-called nugget effect of carbonates, phosphates, and possibly other accessory minerals. The nugget effect can be mitigated by analyzing a homogenized, relatively large amount of sample. We estimate that for approximately 0.1 g of Ryugu sample, the dispersion (2SD) of the bulk Mn/Cr and Rb/Sr ratios are +/-13% and +/-15%, respectively, while they will be improved to be better than +/-5% for approximately 1 g of homogenized Ryugu sample. To further constrain the Solar System composition and to evaluate if previous estimates based on CI chondrites stored in museums for decades to centuries are reliable, it is strongly recommended to determine the chemical and isotopic compositions of Ryugu using a homogenized sample prepared from relatively large (approx. 1 g) returned material. Determining Ryugu reference compositions will be used by multidisciplinary communities, including Earth and planetary sciences, astronomy, physics, and chemistry.


title: Limiting distributions of the Spherical model and Spin $O(N)$ model: Appearance of GFF

abstract: We revisit the relation between the spherical model of Berlin-Kac and the spin $O(N)$ model in the limit $N \to \infty$ and explain how they are related via the discrete Gaussian free field (GFF). More precisely, using probabilistic limit theorems and concentration of measure we first prove that the infinite volume limit of the spherical model on a $d$-dimensional torus is a massive GFF in the high-temperature regime, a standard GFF at the critical temperature, and a standard GFF plus a Rademacher random constant in the low-temperature regime. The proof in the case of the critical temperature appears to be new and requires a fine understanding of the zero-average Green's function on the torus. For the spin $O(N)$ model, we study the model in the double limit of the spin-dimensionality and the torus size. We take the limit as first the spin-dimension $N$ goes to infinity, and then the size of the torus, and obtain that the different spin coordinates become i.i.d. fields, whose distribution in the high-temperature regime is a massive GFF, a standard GFF at the critical temperature, and a standard GFF plus a Gaussian random constant in the low-temperature regime. In particular, this means that although the limiting free energies per site of the two models agree at all temperatures, their actual finite-dimensional laws still differ in terms of their zero modes in the low-temperature regime.


title: Diatomic Molecules in deSitter and Anti-deSitter Spaces

abstract: The Schr\"odinger equation for diatomic molecules in deSitter and anti-deSitter spaces is studied using the extended uncertainty principle formulation. The equations are solved by the Nikiforov-Uvarov method for both the Kratzer potential and the pseudoharmonic oscillator. The energy eigenvalues of the system have been derived analytically, and the exact expressions of the eigenfunctions are provided in terms of Romanovski and Jacobi polynomials. The impact of the spatial deformation parameter on the bound states is also examined, with experimental results used to establish an upper limit for this parameter.


title: Physics-data hybrid dynamic model of a multi-axis manipulator for sensorless dexterous manipulation and high-performance motion planning

abstract: We report on the development of an implementable physics-data hybrid dynamic model for an articulated manipulator to plan and operate in various scenarios. Meanwhile, the physics-based and data-driven dynamic models are studied in this research to select the best model for planning. The physics-based model is constructed using the Lagrangian method, and the loss terms include inertia loss, viscous loss, and friction loss. As for the data-driven model, three methods are explored, including DNN, LSTM, and XGBoost. Our modeling results demonstrate that, after comprehensive hyperparameter optimization, the XGBoost architecture outperforms DNN and LSTM in accurately representing manipulator dynamics. The hybrid model with physics-based and data-driven terms has the best performance among all models based on the RMSE criteria, and it only needs about 24k of training data. In addition, we developed a virtual force sensor of a manipulator using the observed external torque derived from the dynamic model and designed a motion planner through the physics-data hybrid dynamic model. The external torque contributes to forces and torque on the end effector, facilitating interaction with the surroundings, while the internal torque governs manipulator motion dynamics and compensates for internal losses. By estimating external torque via the difference between measured joint torque and internal losses, we implement a sensorless control strategy which is demonstrated through a peg-in-hole task. Lastly, a learning-based motion planner based on the hybrid dynamic model assists in planning time-efficient trajectories for the manipulator. This comprehensive approach underscores the efficacy of integrating physics-based and data-driven models for advanced manipulator control and planning in industrial environments.


title: Limit distribution of Hodge spectral exponents of irreducible plane curve singularities

abstract: We study the distribution of the Hodge spectral exponents of an irreducible plane curve by comparing it with a continuous distribution. We provide a closed formula for this difference in terms of numerical invariants of the curve. We characterize those families of irreducible plane curves whose limit distribution of Hodge spectral exponents is the continuous distribution and we provide intervals of dominating values.


title: A density-dependent metapopulation model: Extinction, persistence and source-sink dynamics

abstract: We consider a nonlinear coupled discrete-time model of population dynamics. This model describes the movement of populations within a heterogeneous landscape, where the growth of subpopulations are modelled by (possibly different) bounded Kolmogorov maps and coupling terms are defined by nonlinear functions taking values in $(0,1)$. These couplings describe the proportions of individuals dispersing between regions. We first give a brief survey of similar discrete-time dispersal models. We then derive sufficient conditions for the stability/instability of the extinction equilibrium, for the existence of a positive fixed point and for ensuring uniform strong persistence. Finally we numerically explore a planar version of our model in a source-sink context, to show some of the qualitative behaviour that the model we consider can capture: for example, periodic behaviour and dynamics reminiscent of chaos.


title: $\mathrm{D}$ and $\mathrm{D_s}$ decay constants in $N_{\rm f}=2+1$ QCD with Wilson fermions

abstract: We present results for the leptonic decay constants of the D and D$_{\rm s}$ mesons from $N_{\rm f}=2+1$ lattice QCD. We employ a set of 49 high statistics gauge ensembles generated by the Coordinated Lattice Simulations (CLS) effort utilising non-perturbatively improved Wilson fermions and the tree-level Symanzik improved gauge action at six values of the lattice spacing in the range $a = 0.098\,$fm down to $a = 0.039\,$fm, with pion masses varying from around $420\,$MeV down to below the physical point. The ensembles lie on three trajectories in the quark mass plane, two trajectories intersecting close to the physical quark mass point and the third one approaching the SU(3) chiral limit, enabling tight control of the light and strange quark mass dependence. We obtain $f_{\mathrm{D_s}}=246.8(1.3)\,$MeV, $f_\mathrm{D}=208.4(1.5)\,$MeV and $f_{\mathrm{D_s}}/f_\mathrm{D}=1.1842(36)$, where the precision of our results is mostly limited by the determination of the scale.


title: New allometric models for the USA create a step-change in forest carbon estimation, modeling, and mapping

abstract: The United States national forest inventory (NFI) serves as the foundation for forest aboveground biomass (AGB) and carbon accounting across the nation. These data enable design-based estimates of forest carbon stocks and stock-changes at state and regional levels, but also serve as inputs to model-based approaches for characterizing forest carbon stocks and stock-changes at finer resolutions. Although NFI tree and plot-level data are often treated as truth in these models, they are in fact estimates based on regional species-group models known collectively as the Component Ratio Method (CRM). In late 2023 the Forest Inventory and Analysis (FIA) program introduced a new National Scale Volume and Biomass Estimators (NSVB) system to replace CRM nationwide and offer more precise and accurate representations of forest AGB and carbon. Given the prevalence of model-based AGB studies relying on FIA, there is concern about the transferability of methods from CRM to NSVB models, as well as the comparability of existing CRM AGB products (e.g. maps) to new and forthcoming NSVB AGB products. To begin addressing these concerns we compared previously published CRM AGB maps to new maps produced using identical methods with NSVB AGB reference data. Our results suggest that models relying on passive satellite imagery (e.g. Landsat) provide acceptable estimates of point-in-time NSVB AGB and carbon stocks, but fail to accurately quantify growth in mature closed-canopy forests. We highlight that existing estimates, models, and maps based on FIA reference data are no longer compatible with NSVB, and recommend new methods as well as updated models and maps for accommodating this step-change. Our collective ability to adopt NSVB in our modeling and mapping workflows will help us provide the most accurate spatial forest carbon data possible in order to better inform local management and decision making.


title: Synthetic magnetism enhanced mechanical squeezing in Brillouin optomechanical system

abstract: We propose a scheme to generate large amount of mechanical squeezing, far beyond the $\rm{3dB}$ limit, which is based on synthetic magnetism in optomechanical system that hosts a Backward Stimulated Brillouin Scattering (BSBS) process. Our benchmark system consists of an acoustic mode coupled to two optical modes through the BSBS process, and a Duffing mechanical oscillator that couples to the same optical modes through the standard optomechanical radiation pressure. The synthetic magnetism comes from the modulation of the mechanical coupling between the acoustic and the mechanical mode. When there is no synthetic magnetism, a given amount of mechanical squeezing is generated in the system. This squeezing is mainly dependent on the BSBS process, and it is fragile against thermal noise. By switching on the synthetic magnetism, the degree of the generated squeezing is greatly enhanced and goes far beyond the limit of the $\rm{3dB}$. This large magnetism induced squeezing persists even when there is no BSBS process in the system. Moreover, this generated squeezing is robust enough against thermal noise in comparison to the one induced when the synthetic magnetism is off. Furthermore, both the mechanical variance squeezing and effective phonon number exhibit series of peaks and dips depending on the phase modulation of the mechanical coupling. This oscillatory feature is reminiscent of a sudden death and revival of squeezing phenomenon, which can be used to maintain a desired magnitude of squeezing by tuning this phase. Our proposal provides a path toward a flexible scheme that generates large amount of squeezing, far beyond the $\rm{3dB}$ limit. Such a generated squeezed states can be used for quantum applications including quantum information processing, quantum sensing and metrology, and quantum computing.


title: Asymptotic formula for the sum of a prime and a square-full number in short intervals

abstract: Let $R_{m, \mathrm{sq-full}}(N)$ be a representation function for the sum of a prime and a square-full number. In this article, we prove an asymptotic formula for the sum of $R_{m, \mathrm{sq-full}}(N)$ over positive integers $N$ in a short interval ($X$, $X+H$] of length $H$ slightly bigger than $X^{\frac{1}{2}}$.


title: Macroscopic flow out of a segment for Activated Random Walks in dimension 1

abstract: Activated Random Walk is a system of interacting particles which presents a phase transition and a conjectured phenomenon of self-organized criticality. In this note, we prove that, in dimension 1, in the supercritical case, when a segment is stabilized with particles being killed when they jump out of the segment, a positive fraction of the particles leaves the segment with positive probability. This was already known to be a sufficient condition for being in the active phase of the model, and the result of this paper shows that this condition is also necessary, except maybe precisely at the critical point. This result can also be seen as a partial answer to some of the many conjectures which connect the different points of view on the phase transition of the model.


title: Letter of Intent: Open Charm at JLab with the sPHENIX MAPS tracker

abstract: We propose a physics program at JLab with CLAS12 focusing on open-charm measurements, aiming to complement and expand current studies of $J/\psi$ at (sub) threshold. This program will aid us in elucidating the $J/\psi$ production mechanisms, which is crucial for interpreting data in terms of gluon form factors and offer potential insights into the intrinsic charm hypothesis and cold-nuclear matter effects. We discuss the technical feasibility of integrating the sPHENIX monolithic-active-pixel sensor (MAPS) tracker, known as MVTX, with the CLAS12 detector. The sPHENIX MTVX would support an open-charm program by providing excellent secondary-vertex performance for tagging $D$ mesons. We study the kinematics of $\gamma p \to \bar{D}^{0}\Lambda_{c}$ through phase-space simulations and estimate rates for the tagged quasi-photoproduction regime available with the CLAS12 forward tagger. While open-charm cross-sections at threshold remain uncertain, various predictions suggest that these measurements could be feasible when combined with conservative estimates of detector acceptance and luminosity. These preliminary estimates motivate detailed Geant detector simulations of signals and backgrounds, along with thorough technical assessments of operating conditions, to further explore the feasibility of these measurements in future dedicated CLAS12 experiments at JLab.


title: A realization theorem for almost Dedekind domains

abstract: An integral domain $D$ is called an SP-domain if every ideal is a product of radical ideals. Such domains are always almost Dedekind domains, but not every almost Dedekind domain is an SP-domain. The SP-rank of $D$ provides a natural measure of the deviation of $D$ from being an SP-domain. In the present paper we show that every ordinal number $\alpha$ can be realized as the SP-rank of an almost Dedekind domain.


title: Switchable Decision: Dynamic Neural Generation Networks

abstract: Auto-regressive generation models achieve competitive performance across many different NLP tasks such as summarization, question answering, and classifications. However, they are also known for being slow in inference, which makes them challenging to deploy in real-time applications. We propose a switchable decision to accelerate inference by dynamically assigning computation resources for each data instance. Automatically making decisions on where to skip and how to balance quality and computation cost with constrained optimization, our dynamic neural generation networks enforce the efficient inference path and determine the optimized trade-off. Experiments across question answering, summarization, and classification benchmarks show that our method benefits from less computation cost during inference while keeping the same accuracy. Extensive experiments and ablation studies demonstrate that our method can be general, effective, and beneficial for many NLP tasks.


title: Scalable Circuit Cutting and Scheduling in a Resource-constrained and Distributed Quantum System

abstract: Despite quantum computing's rapid development, current systems remain limited in practical applications due to their limited qubit count and quality. Various technologies, such as superconducting, trapped ions, and neutral atom quantum computing technologies are progressing towards a fault tolerant era, however they all face a diverse set of challenges in scalability and control. Recent efforts have focused on multi-node quantum systems that connect multiple smaller quantum devices to execute larger circuits. Future demonstrations hope to use quantum channels to couple systems, however current demonstrations can leverage classical communication with circuit cutting techniques. This involves cutting large circuits into smaller subcircuits and reconstructing them post-execution. However, existing cutting methods are hindered by lengthy search times as the number of qubits and gates increases. Additionally, they often fail to effectively utilize the resources of various worker configurations in a multi-node system. To address these challenges, we introduce FitCut, a novel approach that transforms quantum circuits into weighted graphs and utilizes a community-based, bottom-up approach to cut circuits according to resource constraints, e.g., qubit counts, on each worker. FitCut also includes a scheduling algorithm that optimizes resource utilization across workers. Implemented with Qiskit and evaluated extensively, FitCut significantly outperforms the Qiskit Circuit Knitting Toolbox, reducing time costs by factors ranging from 3 to 2000 and improving resource utilization rates by up to 3.88 times on the worker side, achieving a system-wide improvement of 2.86 times.


title: A Transformer with Stack Attention

abstract: Natural languages are believed to be (mildly) context-sensitive. Despite underpinning remarkably capable large language models, transformers are unable to model many context-free language tasks. In an attempt to address this limitation in the modeling power of transformer-based language models, we propose augmenting them with a differentiable, stack-based attention mechanism. Our stack-based attention mechanism can be incorporated into any transformer-based language model and adds a level of interpretability to the model. We show that the addition of our stack-based attention mechanism enables the transformer to model some, but not all, deterministic context-free languages.


title: Disorder free many-body localization transition in two quasiperiodically coupled Heisenberg spin chains

abstract: Disorder free many-body localization (MBL) can occur in interacting systems that can dynamically generate their own disorder. We address the thermal-MBL phase transition of two isotropic Heisenberg spin chains that are quasi-periodically coupled to each other. The spin chains are incommensurate and are coupled through a short range exchange interaction of the $XXZ$ type that decays exponentially with the distance. Using exact diagonalization, matrix product states and density matrix renormalization group, we calculate the time evolution of the entanglement entropy at long times and extract the inverse participation ratio in the thermodynamic limit. We show that this system has a robust MBL phase. We establish the phase diagram with the onset of MBL as a function of the interchain exchange coupling and of the incommensuration between the spin chains. The Ising limit of the interchain interaction optimizes the stability of the MBL phase over a broad range of incommensurations above a given critical exchange coupling. Incorporation of interchain spin flips significantly enhances entanglement between the spin chains and produces delocalization, favoring a pre-thermal phase whose entanglement entropy grows logarithmically with time.


title: xLSTM: Extended Long Short-Term Memory

abstract: In the 1990s, the constant error carousel and gating were introduced as the central ideas of the Long Short-Term Memory (LSTM). Since then, LSTMs have stood the test of time and contributed to numerous deep learning success stories, in particular they constituted the first Large Language Models (LLMs). However, the advent of the Transformer technology with parallelizable self-attention at its core marked the dawn of a new era, outpacing LSTMs at scale. We now raise a simple question: How far do we get in language modeling when scaling LSTMs to billions of parameters, leveraging the latest techniques from modern LLMs, but mitigating known limitations of LSTMs? Firstly, we introduce exponential gating with appropriate normalization and stabilization techniques. Secondly, we modify the LSTM memory structure, obtaining: (i) sLSTM with a scalar memory, a scalar update, and new memory mixing, (ii) mLSTM that is fully parallelizable with a matrix memory and a covariance update rule. Integrating these LSTM extensions into residual block backbones yields xLSTM blocks that are then residually stacked into xLSTM architectures. Exponential gating and modified memory structures boost xLSTM capabilities to perform favorably when compared to state-of-the-art Transformers and State Space Models, both in performance and scaling.


title: Competition between self- and other-regarding preferences in resolving social dilemmas

abstract: Evolutionary game theory assumes that individuals maximize their benefits when choosing strategies. However, an alternative perspective proposes that individuals seek to maximize the benefits of others. To explore the relationship between these perspectives, we develop a model where self- and other-regarding preferences compete in public goods games. We find that other-regarding preferences are more effective in promoting cooperation, even when self-regarding preferences are more productive. Cooperators with different preferences can coexist in a new phase where two classic solutions invade each other, resulting in a dynamical equilibrium. As a consequence, a lower productivity of self-regarding cooperation can provide a higher cooperation level. Our results, which are also valid in a well-mixed population, may explain why other-regarding preferences could be a viable and frequently observed attitude in human society.


title: Local Advice and Local Decompression

abstract: Algorithms with advice have received ample attention in the distributed and online settings, and they have recently proven useful also in dynamic settings. In this work we study local computation with advice: the goal is to solve a graph problem $\Pi$ with a distributed algorithm in $f(\Delta)$ communication rounds, for some function $f$ that only depends on the maximum degree $\Delta$ of the graph, and the key question is how many bits of advice per node are needed. Our main results are: - Any locally checkable labeling problem can be solved in graphs with sub-exponential growth with only $1$ bit of advice per node. Moreover, we can make the set of nodes that carry advice bits arbitrarily sparse, that is, we can make arbitrarily small the ratio between nodes carrying a 1 and the nodes carrying a 0. - The assumption of sub-exponential growth is necessary: assuming the Exponential-Time Hypothesis, there are LCLs that cannot be solved in general with any constant number of bits per node. - In any graph we can find an almost-balanced orientation (indegrees and outdegrees differ by at most one) with $1$ bit of advice per node, and again we can make the advice arbitrarily sparse. - As a corollary, we can also compress an arbitrary subset of edges so that a node of degree $d$ stores only $d/2 + 2$ bits, and we can decompress it locally, in $f(\Delta)$ rounds. - In any graph of maximum degree $\Delta$, we can find a $\Delta$-coloring (if it exists) with $1$ bit of advice per node, and again, we can make the advice arbitrarily sparse. - In any $3$-colorable graph, we can find a $3$-coloring with $1$ bit of advice per node. Here, it remains open whether we can make the advice arbitrarily sparse. Our work shows that for many problems the key threshold is not whether we can achieve, say, $1$ bit of advice per node, but whether we can make the advice arbitrarily sparse.


title: NaturalCodeBench: Examining Coding Performance Mismatch on HumanEval and Natural User Prompts

abstract: Large language models (LLMs) have manifested strong ability to generate codes for productive activities. However, current benchmarks for code synthesis, such as HumanEval, MBPP, and DS-1000, are predominantly oriented towards introductory tasks on algorithm and data science, insufficiently satisfying challenging requirements prevalent in real-world coding. To fill this gap, we propose NaturalCodeBench (NCB), a challenging code benchmark designed to mirror the complexity and variety of scenarios in real coding tasks. NCB comprises 402 high-quality problems in Python and Java, meticulously selected from natural user queries from online coding services, covering 6 different domains. Noting the extraordinary difficulty in creating testing cases for real-world queries, we also introduce a semi-automated pipeline to enhance the efficiency of test case construction. Comparing with manual solutions, it achieves an efficiency increase of more than 4 times. Our systematic experiments on 39 LLMs find that performance gaps on NCB between models with close HumanEval scores could still be significant, indicating a lack of focus on practical code synthesis scenarios or over-specified optimization on HumanEval. On the other hand, even the best-performing GPT-4 is still far from satisfying on NCB. The evaluation toolkit and development set are available at https://github.com/THUDM/NaturalCodeBench.


title: SCExAO/CHARIS Multi-Wavelength, High-Contrast Imaging of the BD+45$^\circ$598 Debris Disk

abstract: We present a multi-wavelength (1.16$\mu$m-2.37$\mu$m) view of the debris disk around BD+45$^\circ$598, using the Subaru Coronagraphic Extreme Adaptive Optics system paired with the Coronagraphic High Angular Resolution Imaging Spectrograph. With an assumed age of 23 Myr, this source allows us to study the early evolution of debris disks and search for forming planets. We fit a scattered light model to our disk using a differential evolution algorithm, and constrain its geometry. We find the disk to have a peak density radius of $R_0 = 109.6$ au, an inclination of $i = 88.1^\circ$, and position angle $PA = 111.0^\circ$. While we do not detect a substellar companion in the disk, our calculated contrast limits indicate sensitivity to planets as small as $\sim 10 M_{\rm Jup}$ at a projected separation of 12 au of the star, and as small as $\sim 4 M_{\rm Jup}$ beyond 38 au. When measuring intensity as a function of wavelength, the disk color constrains the minimum dust grain size within a range of $\sim0.13$ to 1.01$\mu$m.


title: Astrometric Redshifts of Supernovae

abstract: Differential Chromatic Refraction (DCR) is caused by the wavelength dependence of our atmosphere's refractive index, which shifts the apparent positions of stars and galaxies and distorts their shapes depending on their spectral energy distributions (SEDs). While this effect is typically mitigated and corrected for in imaging observations, we investigate how DCR can instead be used to our advantage to infer the redshifts of supernovae from multi-band, time-series imaging data. We simulate Type Ia supernovae (SNe Ia) in the proposed Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST) Deep Drilling Field (DDF), and evaluate astrometric redshifts. We find that the redshift accuracy improves dramatically with the statistical quality of the astrometric measurements as well as with the accuracy of the astrometric solution. For a conservative choice of a 5-mas systematic uncertainty floor, we find that our redshift estimation is accurate at $z < 0.6$. We then combine our astrometric redshifts with both host galaxy photometric redshifts and supernovae photometric (light-curve) redshifts and show that this considerably improves the overall redshift estimates. These astrometric redshifts will be valuable especially since Rubin will discover a vast number of supernovae for which we will not be able to obtain spectroscopic redshifts.


title: The ramification tree and almost Dedekind domains of prescribed SP-rank

abstract: Given a valuation $v$ with quotient field $K$ and a sequence $\mathcal{K} :K_0\subseteq K_1\subseteq\cdots$ of finite extensions of $K$, we construct a weighted tree $\mathcal{T}(v,\mathcal{K})$ encoding information about the ramification of $v$ in the extensions $K_i$; conversely, we show that a weighted tree $\mathcal{T}$ can be expressed as $\mathcal{T}(v,\mathcal{K})$ under some mild hypothesis on $v$ or on $\mathcal{T}$. We use this construction to construct, for every countable successor ordinal number $\alpha$, an almost Dedekind domain $D$, integral over $V$ (the valuation domain of $v$) whose SP-rank is $\alpha$. Subsequently, we extend this result to countable limit ordinal numbers by considering integral extensions of Dedekind domains with countably many maximal ideals.