title: Overcoming Dimensional Collapse in Self-supervised Contrastive Learning for Medical Image Segmentation

abstract: Self-supervised learning (SSL) approaches have achieved great success when the amount of labeled data is limited. Within SSL, models learn robust feature representations by solving pretext tasks. One such pretext task is contrastive learning, which involves forming pairs of similar and dissimilar input samples, guiding the model to distinguish between them. In this work, we investigate the application of contrastive learning to the domain of medical image analysis. Our findings reveal that MoCo v2, a state-of-the-art contrastive learning method, encounters dimensional collapse when applied to medical images. This is attributed to the high degree of inter-image similarity shared between the medical images. To address this, we propose two key contributions: local feature learning and feature decorrelation. Local feature learning improves the ability of the model to focus on the local regions of the image, while feature decorrelation removes the linear dependence among the features. Our experimental findings demonstrate that our contributions significantly enhance the model's performance in the downstream task of medical segmentation, both in the linear evaluation and full fine-tuning settings. This work illustrates the importance of effectively adapting SSL techniques to the characteristics of medical imaging tasks. The source code will be made publicly available at: https://github.com/CAMMA-public/med-moco


title: Fast and Efficient Sequential Radar Parameter Estimation in MIMO-OTFS Systems

abstract: We consider the estimation of three-dimensional (3D) radar parameters, namely, bearing or angle-of-arrival (AoA), delay or range, and Doppler shift velocity, under a mono-static multiple-input multiple-output (MIMO) joint communications and radar (JCR) system based on Orthogonal Time Frequency Space (OTFS) signals. In particular, we propose a novel two-step algorithm to estimate the three radar parameters sequentially, where the AoA is obtained first, followed by the estimation of range and velocity via a reduced two-dimensional (2D) grid maximum likelihood (ML) search in the delay-Doppler (DD) domain. Besides the resulting lower complexity, the decoupling of AoA and DD estimation enables the incorporation of an linear minimum mean square error (LMMSE) procedure in the ML estimation of range and velocity, which are found to significantly outperform State-of-the-Art (SotA) alternatives and approach the fundamental limits of the Cram`er-Rao lower bound (CRLB) and search grid resolution.


title: Factorization and irreducibility of composed products

abstract: Brawley and Carlitz introduced diamond products of elements of finite fields and associated composed products of polynomials in 1987. Composed products yield a method to construct irreducible polynomials of large composite degrees from irreducible polynomials of lower degrees. We show that the composed product of two irreducible polynomials of degrees $m$ and $n$ is again irreducible if and only if $m$ and $n$ are coprime and the involved diamond product satisfies a special cancellation property, the so-called conjugate cancellation. This completes the characterization of irreducible composed products, considered in several previous papers. More generally, we give precise criteria when a diamond product satisfies conjugate cancellation. For diamond products defined via bivariate polynomials, we prove simple criteria that characterize when conjugate cancellation holds. We also provide efficient algorithms to check these criteria. We achieve stronger results as well as more efficient algorithms in the case that the polynomials are bilinear. Lastly, we consider possible constructions of normal elements using composed products and the methods we developed.


title: Two Counterexamples to Tokenization and the Noiseless Channel

abstract: In Tokenization and the Noiseless Channel (Zouhar et al., 2023a), R\'enyi efficiency is suggested as an intrinsic mechanism for evaluating a tokenizer: for NLP tasks, the tokenizer which leads to the highest R\'enyi efficiency of the unigram distribution should be chosen. The R\'enyi efficiency is thus treated as a predictor of downstream performance (e.g., predicting BLEU for a machine translation task), without the expensive step of training multiple models with different tokenizers. Although useful, the predictive power of this metric is not perfect, and the authors note there are additional qualities of a good tokenization scheme that R\'enyi efficiency alone cannot capture. We describe two variants of BPE tokenization which can arbitrarily increase R\'enyi efficiency while decreasing the downstream model performance. These counterexamples expose cases where R\'enyi efficiency fails as an intrinsic tokenization metric and thus give insight for building more accurate predictors.


title: An Entropy-Stable Discontinuous Galerkin Discretization of the Ideal Multi-Ion Magnetohydrodynamics System

abstract: In this paper, we present an entropy-stable (ES) discretization using a nodal discontinuous Galerkin (DG) method for the ideal multi-ion magneto-hydrodynamics (MHD) equations. We start by performing a continuous entropy analysis of the ideal multi-ion MHD system, described by, e.g., Toth (2010) [Multi-Ion Magnetohydrodynamics], which describes the motion of multi-ion plasmas with independent momentum and energy equations for each ion species. Following the continuous entropy analysis, we propose an algebraic manipulation to the multi-ion MHD system, such that entropy consistency can be transferred from the continuous analysis to its discrete approximation. Moreover, we augment the system of equations with a generalized Lagrange multiplier (GLM) technique to have an additional cleaning mechanism of the magnetic field divergence error. We first derive robust entropy-conservative (EC) fluxes for the alternative formulation of the multi-ion GLM-MHD system that satisfy a Tadmor-type condition and are consistent with existing EC fluxes for single-fluid GLM-MHD equations. Using these numerical two-point fluxes, we construct high-order EC and ES DG discretizations of the ideal multi-ion MHD system using collocated Legendre--Gauss--Lobatto summation-by-parts (SBP) operators. The resulting nodal DG schemes satisfy the second-law of thermodynamics at the semi-discrete level, while maintaining high-order convergence and local node-wise conservation properties. We demonstrate the high-order convergence, and the EC and ES properties of our scheme with numerical validation experiments. Moreover, we demonstrate the importance of the GLM divergence technique and the ES discretization to improve the robustness properties of a DG discretization of the multi-ion MHD system by solving a challenging magnetized Kelvin-Helmholtz instability problem that exhibits MHD turbulence.


title: The Impact of Word Splitting on the Semantic Content of Contextualized Word Representations

abstract: When deriving contextualized word representations from language models, a decision needs to be made on how to obtain one for out-of-vocabulary (OOV) words that are segmented into subwords. What is the best way to represent these words with a single vector, and are these representations of worse quality than those of in-vocabulary words? We carry out an intrinsic evaluation of embeddings from different models on semantic similarity tasks involving OOV words. Our analysis reveals, among other interesting findings, that the quality of representations of words that are split is often, but not always, worse than that of the embeddings of known words. Their similarity values, however, must be interpreted with caution.


title: The affinity-efficacy problem: an essential part of pharmacology education

abstract: A fundamental mistake in receptor theory has led to an enduring misunderstanding of how to estimate the affinity and efficacy of an agonist. These properties are inextricably linked and cannot be easily separated in any case where the binding of a ligand induces a conformation change in its receptor. Consequently, binding curves and concentration-response relationships for receptor agonists have no straightforward interpretation. This problem, the affinity-efficacy problem, remains overlooked and misunderstood despite it being recognised in 1987. To avoid the further propagation of this misunderstanding, we propose that the affinity-efficacy problem should be included in the core curricula for pharmacology undergraduates proposed by the British Pharmacological Society and IUPHAR.


title: On the origin of the above-room-temperature magnetism in the 2D van der Waals ferromagnet Fe$_3$GaTe$_2$

abstract: Recent advancements in 2D magnetic materials have attracted a growing interest driven by their unique properties and potential applications in spintronic devices. However, the scarcity of systems that exhibit magnetism at room-temperature has limited their practical implementation into functional devices. In this work we focus on the recently synthetised van der Waals (vdW) ferromagnet Fe$_3$GaTe$_2$, which exhibits above-room-temperature magnetism (T$_{\mathrm{c}}$ = 350-380 K) and strong perpendicular magnetic anisotropy. Through first-principles calculations, we examine the magnetic properties of Fe$_3$GaTe$_2$ and compare them with the widely known Fe$_3$GeTe$_2$ ferromagnet. Our calculations unveil the complex microscopic mechanisms governing their magnetic behaviour, emphasizing the pivotal role of the ferromagnetic in-plane exchange interactions in the stabilization of the elevated T$_{\mathrm{c}}$ in Fe$_3$GaTe$_2$. Additionally, we predict the stability, strong perpendicular anisotropy and high T$_{\mathrm{c}}$ of single-layer Fe$_3$GaTe$_2$. We also demonstrate the potential of strain engineering and electrostatic doping to modulate its magnetic exchange interactions and anisotropy. Our results incentivise the isolation of the monolayer and pave the way for the future optimization of Fe$_3$GaTe$_2$ in magnetic and spintronic nanodevices.


title: Seer: Proactive Revenue-Aware Scheduling for Live Streaming Services in Crowdsourced Cloud-Edge Platforms

abstract: As live streaming services skyrocket, Crowdsourced Cloud-edge service Platforms (CCPs) have surfaced as pivotal intermediaries catering to the mounting demand. Despite the role of stream scheduling to CCPs' Quality of Service (QoS) and throughput, conventional optimization strategies struggle to enhancing CCPs' revenue, primarily due to the intricate relationship between resource utilization and revenue. Additionally, the substantial scale of CCPs magnifies the difficulties of time-intensive scheduling. To tackle these challenges, we propose Seer, a proactive revenue-aware scheduling system for live streaming services in CCPs. The design of Seer is motivated by meticulous measurements of real-world CCPs environments, which allows us to achieve accurate revenue modeling and overcome three key obstacles that hinder the integration of prediction and optimal scheduling. Utilizing an innovative Pre-schedule-Execute-Re-schedule paradigm and flexible scheduling modes, Seer achieves efficient revenue-optimized scheduling in CCPs. Extensive evaluations demonstrate Seer's superiority over competitors in terms of revenue, utilization, and anomaly penalty mitigation, boosting CCPs revenue by 147% and expediting scheduling $3.4 \times$ faster.


title: Stability of large cuts in random graphs

abstract: We prove that the family of largest cuts in the binomial random graph exhibits the following stability property: If $1/n \ll p = 1-\Omega(1)$, then, with high probability, there is a set of $n - o(n)$ vertices that is partitioned in the same manner by all maximum cuts of $G_{n,p}$. Moreover, the analogous statement remains true when one replaces maximum cuts with nearly-maximum cuts. We then demonstrate how one can use this statement as a tool for showing that certain properties of $G_{n,p}$ that hold in a fixed balanced cut hold simultaneously in all maximum cuts. We provide two example applications of this tool. First, we prove that maximum cuts in $G_{n,p}$ typically partition the neighbourhood of every vertex into nearly equal parts; this resolves a conjecture of DeMarco and Kahn for all but a narrow range of densities $p$. Second, for all edge-critical, nonbipartite, and strictly 2-balanced graphs $H$, we prove a lower bound on the threshold density $p$ above which every largest $H$-free subgraph of $G_{n,p}$ is $(\chi(H)-1)$-partite. Our lower bound exactly matches the upper bound on this threshold recently obtained by the first two authors.


title: latrend: A Framework for Clustering Longitudinal Data

abstract: Clustering of longitudinal data is used to explore common trends among subjects over time for a numeric measurement of interest. Various R packages have been introduced throughout the years for identifying clusters of longitudinal patterns, summarizing the variability in trajectories between subject in terms of one or more trends. We introduce the R package "latrend" as a framework for the unified application of methods for longitudinal clustering, enabling comparisons between methods with minimal coding. The package also serves as an interface to commonly used packages for clustering longitudinal data, including "dtwclust", "flexmix", "kml", "lcmm", "mclust", "mixAK", and "mixtools". This enables researchers to easily compare different approaches, implementations, and method specifications. Furthermore, researchers can build upon the standard tools provided by the framework to quickly implement new cluster methods, enabling rapid prototyping. We demonstrate the functionality and application of the latrend package on a synthetic dataset based on the therapy adherence patterns of patients with sleep apnea.


title: From Keywords to Structured Summaries: Streamlining Scholarly Knowledge Access

abstract: This short paper highlights the growing importance of information retrieval (IR) engines in the scientific community, addressing the inefficiency of traditional keyword-based search engines due to the rising volume of publications. The proposed solution involves structured records, underpinning advanced information technology (IT) tools, including visualization dashboards, to revolutionize how researchers access and filter articles, replacing the traditional text-heavy approach. This vision is exemplified through a proof of concept centered on the ``reproductive number estimate of infectious diseases'' research theme, using a fine-tuned large language model (LLM) to automate the creation of structured records to populate a backend database that now goes beyond keywords. The result is a next-generation IR method accessible at https://orkg.org/usecases/r0-estimates.


title: RoboScript: Code Generation for Free-Form Manipulation Tasks across Real and Simulation

abstract: Rapid progress in high-level task planning and code generation for open-world robot manipulation has been witnessed in Embodied AI. However, previous studies put much effort into general common sense reasoning and task planning capabilities of large-scale language or multi-modal models, relatively little effort on ensuring the deployability of generated code on real robots, and other fundamental components of autonomous robot systems including robot perception, motion planning, and control. To bridge this ``ideal-to-real'' gap, this paper presents \textbf{RobotScript}, a platform for 1) a deployable robot manipulation pipeline powered by code generation; and 2) a code generation benchmark for robot manipulation tasks in free-form natural language. The RobotScript platform addresses this gap by emphasizing the unified interface with both simulation and real robots, based on abstraction from the Robot Operating System (ROS), ensuring syntax compliance and simulation validation with Gazebo. We demonstrate the adaptability of our code generation framework across multiple robot embodiments, including the Franka and UR5 robot arms, and multiple grippers. Additionally, our benchmark assesses reasoning abilities for physical space and constraints, highlighting the differences between GPT-3.5, GPT-4, and Gemini in handling complex physical interactions. Finally, we present a thorough evaluation on the whole system, exploring how each module in the pipeline: code generation, perception, motion planning, and even object geometric properties, impact the overall performance of the system.


title: A bivariate spatial extreme mixture model for unreplicated heavy metal soil contamination

abstract: Geostatistical models for multivariate applications such as heavy metal soil contamination work under Gaussian assumptions and may result in underestimated extreme values and misleading risk assessments (Marchant et al, 2011). A more suitable framework to analyse extreme values is extreme value theory (EVT). However, EVT relies on replications in time, which are generally not available in geochemical datasets. Therefore, using EVT to map soil contamination requires adaptation to be used in the usual single-replicate data framework of soil surveys. We propose a bivariate spatial extreme mixture model to model the body and tail of contaminant pairs, where the tails are described using a stationary generalised Pareto distribution. We demonstrate the performance of our model using a simulation study and through modelling bivariate soil contamination in the Glasgow conurbation. Model results are given as maps of predicted marginal concentrations and probabilities of joint exceedance of soil guideline values. Marginal concentration maps show areas of elevated lead levels along the Clyde River and elevated levels of chromium around the south and southeast villages such as East Kilbride and Wishaw. The joint probability maps show higher probabilities of joint exceedance to the south and southeast of the city centre, following known legacy contamination regions in the Clyde River basin.


title: Putting the Count Back Into Accountability: An Audit of Social Media Transparency Disclosures, Focusing on Sexual Exploitation of Minors

abstract: This paper explores a lightweight, quantitative audit methodology for transparency disclosures called scrappy audits. It amounts to little more than treating redundant and repeated disclosures as opportunities for validating quantities. The paper applies two concrete audits to social media disclosures about content moderation. The first compares legally mandated reports about the sexual exploitation of minors as disclosed by social media and the national clearinghouse receiving them. The second compares historical quantities included in platforms' CSV files across two subsequent disclosures of the data. Despite their simplicity, these scrappy audits are nonetheless effective. Out of 16 surveyed social media platforms, 11 make transparency disclosures about content moderation and 8 meet the prerequisites of one audit. Yet only 4~platforms pass their audits. The paper continues probing the limits of transparency data by presenting a data-driven overview of the online sexual exploitation of minors. Accordingly, the analysis is particularly careful to identify threats to validity as well as potentially helpful, but unavailable statistics. Likewise, it identifies major shortcomings of widely used technologies for the automated detection of images and videos depicting sexual abuse of minors. Overall, the data shows an alarming growth in such material over the last decade. However, there also are strong indicators that current statistics, which treat all such material the same, are large and unhelpful overcounts. Notably, many technical violations of the law, e.g., teenagers sexting, are not necessarily grounded in actual harm to minors but still reported as such.


title: Self-arresting earthquakes and critical sliding nucleation theory

abstract: We develop a statistical thermodynamic approach for understanding earthquake nucleation on homogeneous faults, explaining the occurrence of both self-arresting and run-away unstable ruptures (subshear and supershear events) previously observed in numerical simulations. Our theory identifies the conditions under which self-arresting earthquakes occur, based on critical sliding distance and dynamical stress drop. We also derive the Gutenberg-Richter distribution for these earthquakes, linking the fractal nature of faulting with the nucleation physics through the critical size's dependence on dynamical stress drop. Furthermore, we connect our findings to the dragon-king theory, which suggests that the largest earthquakes differ significantly in physical and statistical properties from smaller ones, offering new insights for earthquake prediction and risk assessment.


title: Thermal-Aware Floorplanner for 3D IC, including TSVs, Liquid Microchannels and Thermal Domains Optimization

abstract: 3D stacked technology has emerged as an effective mechanism to overcome physical limits and communication delays found in 2D integration. However, 3D technology also presents several drawbacks that prevent its smooth application. Two of the major concerns are heat reduction and power density distribution. In our work, we propose a novel 3D thermal-aware floorplanner that includes: (1) an effective thermal-aware process with 3 different evolutionary algorithms that aim to solve the soft computing problem of optimizing the placement of functional units and through silicon vias, as well as the smooth inclusion of active cooling systems and new design strategies,(2) an approximated thermal model inside the optimization loop, (3) an optimizer for active cooling (liquid channels), and (4) a novel technique based on air channel placement designed to isolate thermal domains have been also proposed. The experimental work is conducted for a realistic many-core single-chip architecture based on the Niagara design. Results show promising improvements of the thermal and reliability metrics, and also show optimal scaling capabilities to target future-trend many-core systems.


title: Tunable transport in bi-disperse porous materials with vascular structure

abstract: We study transport in synthetic, bi-disperse porous structures, with arrays of microchannels interconnected by a nanoporous layer. These structures are inspired by the xylem tissue in vascular plants, in which sap water travels from the roots to the leaves to maintain hydration and carry micronutrients. We experimentally evaluate transport in three conditions: high pressure-driven flow, spontaneous imbibition, and transpiration-driven flow. The latter case resembles the situation in a living plant, where bulk liquid water is transported upwards in a metastable state (negative pressure), driven by evaporation in the leaves; here we report stable, transpiration-driven flows down to $\sim -15$ MPa of driving force. By varying the shape of the microchannels, we show that we can tune the rate of these transport processes in a predictable manner, using a simple analytical (effective medium) approach and numerical simulations of the flow field in the bi-disperse media. We also show that the spontaneous imbibition behavior of a single structure - with fixed geometry - can behave very differently depending on its preparation (filled with air, vs. evacuated), because of a dramatic change in the conductance of vapor in the microchannels; this change offers a second way to tune the rate of transport in bi-disperse, xylem-like structures, by switching between air-filled and evacuated states.


title: Temporal Talbot interferometer of strongly interacting molecular Bose-Einstein condensate

abstract: Talbot interferometer, as a periodic reproduction of momentum distribution in the time domain, finds significant applications in multiple research. The inter-particle interactions during the diffraction and interference process introduce numerous many-body physics problems, leading to unconventional interference characteristics. This work investigates both experimentally and theoretically the influence of interaction in a Talbot interferometer with a $^{6}\rm Li_2$ molecular Bose-Einstein condensate in a one-dimensional optical lattice, with interaction strength directly tunable via magnetic Feshbach resonance. A clear dependence of the period and amplitude of signal revivals on the interaction strength can be observed. While interactions increase the decay rate of the signal and advance the revivals, we find that over a wide range of interactions, the Talbot interferometer remains highly effective over a certain evolutionary timescale, including the case of fractional Talbot interference. This work provides insight into the interplay between interaction and the coherence properties of a temporal Talbot interference in optical lattices, paving the way for research into quantum interference in strongly interacting systems.


title: FlexibleSUSY extended to automatically compute physical quantities in any Beyond the Standard Model theory: Charged Lepton Flavor Violation processes, Higgs decays, and user-defined observables

abstract: FlexibleSUSY is a framework for the automated computation of physical quantities (observables) in models beyond the Standard Model (BSM). This paper describes an extension of FlexibleSUSY which allows to define and add new observables that can be enabled and computed in applicable user-defined BSM models. The extension has already been used to include Charged Lepton Flavor Violation (CLFV) observables, but further observables can now be added straightforwardly. The paper is split into two parts. The first part is non-technical and describes from the user's perspective how to enable the calculation of predefined observables, in particular CLFV observables. The second part of the paper explains how to define new observables such that their automatic computation in any applicable BSM model becomes possible. A key ingredient is the new NPointFunctions extension which allows to use tree-level and loop calculations in the model-independent setup of observables. Three examples of increasing complexity are fully worked out. This illustrates the features and provides code snippets that may be used as a starting point for implementation of further observables.


title: Equidistribution for Random Polynomials and Systems of Random Holomorphic Sections

abstract: This article addresses an equidistribution problem concerning the zeros of systems of random holomorphic sections of positive line bundles on compact K\"{a}hler manifolds and random polynomials on $\mathbb{C}^{m}$ in the setting of a compact subset. For random polynomials, we consider non-orthonormal bases and prove an equidistribution result which is more general than the ones acquired before for non-discrete probability measures. More precisely, our result demonstrates that the equidistribution holds true even when the random coefficients in the basis representation are not independentand identically distributed (i.i.d.), and moreover, they are not constrained to any particular probability distribution function. For random holomorphic sections, by extending the concept of a sequence of asymptotically Bernstein-Markov measures introduced by Levenberg, Bloom and Bayraktar in their recent paper to the setting of holomorphic line bundles over compact Kahler manifolds, we derive a global equidistribution theorem related to the zeros of systems of random holomorphic sections for large tensor powers of a fixed holomorphic line bundle for any codimension k, generalizing a previous result of Bayraktar in his 2016 paper and giving a positive answer to a question posed in the same paper. In both settings using the variance estimation technique in another study of the author with Bojnik plays an important role.


title: Measuring NAT64 Usage in the Wild

abstract: NAT64 is an IPv6 transition mechanism that enables IPv6-only hosts to access the IPv4 Internet. Understanding the deployment of NAT64, and its performance impact, is crucial to the success of the IPv6 transition, by encouraging IPv6-only deployments. We develop a set of tests for detecting NAT64 and apply them to the RIPE Atlas testbed, finding 224 probes, in 43 networks, that can use NAT64 to access the IPv4 Internet. Using 34 dual stack probes, that have both NAT64 and native IPv4 access, to compare performance, we find that NAT64 paths are, on average, 23.13% longer, with 17.47% higher round-trip times.


title: Time Efficient Implementation for Online $k$-server Problem on Trees

abstract: We consider online algorithms for the $k$-server problem on trees of size $n$. Chrobak and Larmore proposed a $k$-competitive algorithm for this problem that has the optimal competitive ratio. However, the existing implementations have $O\left(k^2 + k\cdot \log n\right)$ or $O\left(k(\log n)^2\right)$ time complexity for processing a query, where $n$ is the number of nodes. We propose a new time-efficient implementation of this algorithm that has $O(n)$ time complexity for preprocessing and $O\left(k\log k\right)$ time for processing a query. The new algorithm is faster than both existing algorithms and the time complexity for query processing does not depend on the tree size.


title: GazeTrak: Exploring Acoustic-based Eye Tracking on a Glass Frame

abstract: In this paper, we present GazeTrak, the first acoustic-based eye tracking system on glasses. Our system only needs one speaker and four microphones attached to each side of the glasses. These acoustic sensors capture the formations of the eyeballs and the surrounding areas by emitting encoded inaudible sound towards eyeballs and receiving the reflected signals. These reflected signals are further processed to calculate the echo profiles, which are fed to a customized deep learning pipeline to continuously infer the gaze position. In a user study with 20 participants, GazeTrak achieves an accuracy of 3.6{\deg} within the same remounting session and 4.9{\deg} across different sessions with a refreshing rate of 83.3 Hz and a power signature of 287.9 mW. Furthermore, we report the performance of our gaze tracking system fully implemented on an MCU with a low-power CNN accelerator (MAX78002). In this configuration, the system runs at up to 83.3 Hz and has a total power signature of 95.4 mW with a 30 Hz FPS.


title: Chemically reactive thin films: dynamics and stability

abstract: Catalyst particles or complexes suspended in liquid films can trigger chemical reactions leading to inhomogeneous concentrations of reactants and products in the film. We demonstrate that the sensitivity of the liquid film's gas-liquid surface tension to these inhomogeneous concentrations strongly impacts the film stability. Using linear stability analysis, we identify novel scenarios in which the film can be either stabilized or destabilized by the reactions. Furthermore, we find so far unrevealed rupture mechanisms which are absent in the chemically inactive case. The linear stability predictions are confirmed by numerical simulations, which also demonstrate that the shape of chemically active droplets can depart from the spherical cap and that unsteady states such as traveling and standing waves might appear. Finally, we critically discuss the relevance of our predictions by showing that the range of our selected parameters is well accessible by typical experiments.


title: Production of singly charm pentaquark from meson-baryon interaction in B decay

abstract: In the paper, we discuss the possible interpretation of the $J^P=1/2^-$ singly charm pentaquark as hadronic molecules. With the effective Lagrangian method, we further analyze the production properties of singly charm pentaquark from decays of $B$ meson, including strong coupling constants and production branching ratios of the charm pentaquark. Our numerical results show that the branching ratio of production of pentaquark from B meson can reach to order of $10^{-6}$.


title: Upper Limits of $^{44}$Ti Decay Emission in Four Nearby Thermonuclear Supernova Remnants

abstract: To identify progenitors and investigate evidence of He burning, we searched for decay radiation of freshly synthesized $^{44}$Ti in four young nearby thermonuclear supernova remnants: Kepler, SN 1885, G1.9+0.3 and SN 1006, by analysing the up-to-date NuSTAR archival data. No apparent flux excess from the 68 and 78 keV line emissions accompanying decay was detected above the power law continuum applied for the remnants and the absorbed stray light. By comparing the inferred upper limits of the line flux and the initial $^{44}$Ti masses with a wide variety of supernova nucleosynthesis models, we placed constraints on the supernova progenitors. We derived the first NuSTAR line flux upper limit for Kepler and ruled out most of the double-detonation scenarios with a thick He layer under low density. We estimated, for the first time, the upper limit for SN 1885, which is high because of the large distance yet still remains consistent with the He shell detonation. The new flux and mass limit of G1.9+0.3 derived from a longer total exposure is lower than the results from previous studies and evidently excludes explosive burning of He-rich matter. The relatively advanced age and the large spatial extent of SN 1006 have prevented meaningful constraints.


title: A thermodynamic criterion for the formation of Circumplanetary Disks

abstract: The formation of circumplanetary disks is central to our understanding of giant planet formation, influencing their growth rate during the post-runaway phase and observability while embedded in protoplanetary disks. We use 3D global multifluid radiation hydrodynamics simulations with the FARGO3D code to define the thermodynamic conditions that enable circumplanetary disk formation around Jovian planets on wide orbits. Our simulations include stellar irradiation, viscous heating, static mesh refinement, and active calculation of opacity based on evolving dust fluids. We find a necessary condition for the formation of circumplanetary disks in terms of a mean cooling time: when the cooling time is at least one order of magnitude shorter than the orbital time scale, the specific angular momentum of the gas is nearly Keplerian at scales of $R_{\rm{Hill}}/3$. We show that the inclusion of multifluid dust dynamics favors rotational support because dust settling produces an anisotropic opacity distribution that favors rapid cooling. In all our models with radiation hydrodynamics, specific angular momentum decreases as time evolves in agreement with the formation of an inner isentropic envelope due to compressional heating. The isentropic envelope can extend up to $R_{\rm{Hill}}/3$ and shows negligible rotational support. Thus, our results imply that young gas giant planets may host spherical isentropic envelopes, rather than circumplanetary disks.


title: Cool and Data-Driven: An Exploration of Optical Cool Dwarf Chemistry with Both Data-Driven and Physical Models

abstract: Detailed chemical studies of F/G/K -- or Solar-type -- stars have long been routine in stellar astrophysics, enabling studies in both Galactic chemodynamics, and exoplanet demographics. However, similar understanding of the chemistry of M and late-K dwarfs -- the most common stars in the Galaxy -- has been greatly hampered both observationally and theoretically by the complex molecular chemistry of their atmospheres. Here we present a new implementation of the data-driven \textit{Cannon} model, modelling $T_{\rm eff}$, $\log g$, [Fe/H], and [Ti/Fe] trained on low-medium resolution optical spectra ($4\,000-7\,000\,$\SI{}{\angstrom}) from 103 cool dwarf benchmarks. Alongside this, we also investigate the sensitivity of optical wavelengths to various atomic and molecular species using both data-driven and theoretical means via a custom grid of MARCS synthetic spectra, and make recommendations for where MARCS struggles to reproduce cool dwarf fluxes. Under leave-one-out cross-validation, our \textit{Cannon} model is capable of recovering $T_{\rm eff}$, $\log g$, [Fe/H], and [Ti/Fe] with precisions of 1.4\%, $\pm0.04\,$dex, $\pm0.10\,$dex, and $\pm0.06\,$dex respectively, with the recovery of [Ti/Fe] pointing to the as-yet mostly untapped potential of exploiting the abundant -- but complex -- chemical information within optical spectra of cool stars.


title: Structure and thermodynamics of defects in Na-feldspar from a neural network potential

abstract: The diffusive phase transformations occurring in feldspar, a common mineral in the crust of the Earth, are essential for reconstructing the thermal histories of magmatic and metamorphic rocks. Due to the long timescales over which these transformations proceed, the mechanism responsible for sodium diffusion and its possible anisotropy has remained a topic of debate. To elucidate this defect-controlled process, we have developed a Neural Network Potential (NNP) trained on first-principle calculations of Na-feldspar (Albite) and its charged defects. This new force field reproduces various experimentally known properties of feldspar, including its lattice parameters, elastic constants as well as heat capacity and DFT-calculated defect formation energies. A new type of dumbbell interstitial defect is found to be most favorable and its free energy of formation at finite temperature is calculated using thermodynamic integration. The necessity of including electrostatic corrections before training an NNP is demonstrated by predicting more consistent defect formation energies.


title: Object permanence in newborn chicks is robust against opposing evidence

abstract: Newborn animals have advanced perceptual skills at birth, but the nature of this initial knowledge is unknown. Is initial knowledge flexible, continuously adapting to the statistics of experience? Or can initial knowledge be rigid and robust to change, even in the face of opposing evidence? We address this question through controlled-rearing experiments on newborn chicks. First, we reared chicks in an impoverished virtual world, where objects never occluded one another, and found that chicks still succeed on object permanence tasks. Second, we reared chicks in a virtual world in which objects teleported from one location to another while out of view: an unnatural event that violates the continuity of object motion. Despite seeing thousands of these violations of object permanence, and not a single non-violation, the chicks behaved as if object permanence were true, exhibiting the same behavior as chicks reared with natural object permanence events. We conclude that object permanence develops prenatally and is robust to change from opposing evidence.


title: Distributed Radiance Fields for Edge Video Compression and Metaverse Integration in Autonomous Driving

abstract: The metaverse is a virtual space that combines physical and digital elements, creating immersive and connected digital worlds. For autonomous mobility, it enables new possibilities with edge computing and digital twins (DTs) that offer virtual prototyping, prediction, and more. DTs can be created with 3D scene reconstruction methods that capture the real world's geometry, appearance, and dynamics. However, sending data for real-time DT updates in the metaverse, such as camera images and videos from connected autonomous vehicles (CAVs) to edge servers, can increase network congestion, costs, and latency, affecting metaverse services. Herein, a new method is proposed based on distributed radiance fields (RFs), multi-access edge computing (MEC) network for video compression and metaverse DT updates. RF-based encoder and decoder are used to create and restore representations of camera images. The method is evaluated on a dataset of camera images from the CARLA simulator. Data savings of up to 80% were achieved for H.264 I-frame - P-frame pairs by using RFs instead of I-frames, while maintaining high peak signal-to-noise ratio (PSNR) and structural similarity index measure (SSIM) qualitative metrics for the reconstructed images. Possible uses and challenges for the metaverse and autonomous mobility are also discussed.


title: The Spatial Whitham Equation

abstract: The Whitham equation is a nonlocal, nonlinear partial differential equation that models the temporal evolution of spatial profiles of surface displacement of water waves. However, many laboratory and field measurements record time series at fixed spatial locations. In order to directly model data of this type, it is desirable to have equations that model the spatial evolution of time series. The spatial Whitham equation, proposed as the spatial generalization of the Whitham equation, fills this need. In this paper, we study this equation and apply it to water-wave experiments on shallow and deep water. We compute periodic traveling-wave solutions to the spatial Whitham equation and examine their properties, including their stability. Results for small-amplitude solutions align with known results for the Whitham equation. This suggests that the systems are consistent in the weakly nonlinear regime. At larger amplitudes, there are some discrepancies. Notably, the spatial Whitham equation does not appear to admit cusped solutions of maximal wave height. In the second part, we compare predictions from the temporal and spatial Korteweg-deVries and Whitham equations with measurements from laboratory experiments. We show that the spatial Whitham equation accurately models measurements of tsunami-like waves of depression and solitary waves on shallow water. Its predictions also compare favorably with experimental measurements of waves of depression and elevation on deep water. Accuracy is increased by adding a phenomenological damping term. Finally, we show that neither the spatial nor the temporal Whitham equation accurately models the evolution of wave packets on deep water.


title: Wall-crossing integral Chow rings of $\overline{\mathcal M}_{1,n}$

abstract: We compute the integral Chow rings of $\overline{\mathcal M}_{1,n}$ for $n=3,4$. For $n\leq 6$, these stacks can be obtained by a sequence of weighted blow-ups and blow-downs from a simple stack, either a weighted projective space or a Grassmannian. Our strategy consists in inductively computing all the integral Chow rings of the alternative compactifications introduced by Smyth and studied by Lekili-Polishchuk.


title: Sparse Linear Regression and Lattice Problems

abstract: Sparse linear regression (SLR) is a well-studied problem in statistics where one is given a design matrix $X\in\mathbb{R}^{m\times n}$ and a response vector $y=X\theta^*+w$ for a $k$-sparse vector $\theta^*$ (that is, $\|\theta^*\|_0\leq k$) and small, arbitrary noise $w$, and the goal is to find a $k$-sparse $\widehat{\theta} \in \mathbb{R}^n$ that minimizes the mean squared prediction error $\frac{1}{m}\|X\widehat{\theta}-X\theta^*\|^2_2$. While $\ell_1$-relaxation methods such as basis pursuit, Lasso, and the Dantzig selector solve SLR when the design matrix is well-conditioned, no general algorithm is known, nor is there any formal evidence of hardness in an average-case setting with respect to all efficient algorithms. We give evidence of average-case hardness of SLR w.r.t. all efficient algorithms assuming the worst-case hardness of lattice problems. Specifically, we give an instance-by-instance reduction from a variant of the bounded distance decoding (BDD) problem on lattices to SLR, where the condition number of the lattice basis that defines the BDD instance is directly related to the restricted eigenvalue condition of the design matrix, which characterizes some of the classical statistical-computational gaps for sparse linear regression. Also, by appealing to worst-case to average-case reductions from the world of lattices, this shows hardness for a distribution of SLR instances; while the design matrices are ill-conditioned, the resulting SLR instances are in the identifiable regime. Furthermore, for well-conditioned (essentially) isotropic Gaussian design matrices, where Lasso is known to behave well in the identifiable regime, we show hardness of outputting any good solution in the unidentifiable regime where there are many solutions, assuming the worst-case hardness of standard and well-studied lattice problems.


title: CoLoRA: Continuous low-rank adaptation for reduced implicit neural modeling of parameterized partial differential equations

abstract: This work introduces reduced models based on Continuous Low Rank Adaptation (CoLoRA) that pre-train neural networks for a given partial differential equation and then continuously adapt low-rank weights in time to rapidly predict the evolution of solution fields at new physics parameters and new initial conditions. The adaptation can be either purely data-driven or via an equation-driven variational approach that provides Galerkin-optimal approximations. Because CoLoRA approximates solution fields locally in time, the rank of the weights can be kept small, which means that only few training trajectories are required offline so that CoLoRA is well suited for data-scarce regimes. Predictions with CoLoRA are orders of magnitude faster than with classical methods and their accuracy and parameter efficiency is higher compared to other neural network approaches.


title: On the Central Limit Theorem for the log-partition function of 2D directed polymers

abstract: The log-partition function $ \log W_N(\beta)$ of the two-dimensional directed polymer in random environment is known to converge in distribution to a normal distribution when considering temperature in the subcritical regime $\beta=\beta_N=\hat{\beta}\sqrt{\pi/\log N}$, $\hat{\beta}\in (0,1)$ (Caravenna, Sun, Zygouras, Ann. Appl. Prob. (2017)). In this paper, we present an elementary proof of this result relying on a decoupling argument and the central limit theorem for sums of independent random variables. The argument is inspired by an analogy of the model to branching random walks.


title: Rethinking Invariance Regularization in Adversarial Training to Improve Robustness-Accuracy Trade-off

abstract: Although adversarial training has been the state-of-the-art approach to defend against adversarial examples (AEs), it suffers from a robustness-accuracy trade-off, where high robustness is achieved at the cost of clean accuracy. In this work, we leverage invariance regularization on latent representations to learn discriminative yet adversarially invariant representations, aiming to mitigate this trade-off. We analyze two key issues in representation learning with invariance regularization: (1) a "gradient conflict" between invariance loss and classification objectives, leading to suboptimal convergence, and (2) the mixture distribution problem arising from diverged distributions of clean and adversarial inputs. To address these issues, we propose Asymmetrically Representation-regularized Adversarial Training (AR-AT), which incorporates asymmetric invariance loss with stop-gradient operation and a predictor to improve the convergence, and a split-BatchNorm (BN) structure to resolve the mixture distribution problem. Our method significantly improves the robustness-accuracy trade-off by learning adversarially invariant representations without sacrificing discriminative ability. Furthermore, we discuss the relevance of our findings to knowledge-distillation-based defense methods, contributing to a deeper understanding of their relative successes.


title: Quantum Markov Decision Processes Part I: General Theory, Approximations, and Classes of Policies

abstract: In this two part article, the aim is to develop a quantum counterpart to classical Markov decision processes (MDPs). In Part I, we provide a very general formulation of quantum MDPs with state and action spaces in the quantum domain, quantum transitions, and cost functions. Once we formulate the quantum MDP (q-MDP), our focus shifts to establishing the verification theorem that proves the sufficiency of Markovian quantum control policies and provides a dynamic programming principle. Subsequently, a comparison is drawn between our q-MDP model and previously established quantum MDP models (referred to as QOMDPs) found in the literature. Furthermore, approximations of q-MDPs are obtained via finite-action models, which can be formulated as QOMDPs. Finally, classes of open-loop and closed-loop policies for q-MDPs are introduced, along with structural results for these policies. In summary, we present a novel quantum MDP model aiming to introduce a new framework, algorithms, and future research avenues. We believe that our approach will pave the way for a new research direction in discrete-time quantum control.


title: GaussianPro: 3D Gaussian Splatting with Progressive Propagation

abstract: The advent of 3D Gaussian Splatting (3DGS) has recently brought about a revolution in the field of neural rendering, facilitating high-quality renderings at real-time speed. However, 3DGS heavily depends on the initialized point cloud produced by Structure-from-Motion (SfM) techniques. When tackling with large-scale scenes that unavoidably contain texture-less surfaces, the SfM techniques always fail to produce enough points in these surfaces and cannot provide good initialization for 3DGS. As a result, 3DGS suffers from difficult optimization and low-quality renderings. In this paper, inspired by classical multi-view stereo (MVS) techniques, we propose GaussianPro, a novel method that applies a progressive propagation strategy to guide the densification of the 3D Gaussians. Compared to the simple split and clone strategies used in 3DGS, our method leverages the priors of the existing reconstructed geometries of the scene and patch matching techniques to produce new Gaussians with accurate positions and orientations. Experiments on both large-scale and small-scale scenes validate the effectiveness of our method, where our method significantly surpasses 3DGS on the Waymo dataset, exhibiting an improvement of 1.15dB in terms of PSNR.


title: Quantum Markov Decision Processes Part II: Optimal Solutions and Algorithms

abstract: This two-part article aims to introduce a quantum analogue to classical Markov decision processes (MDPs). In Part II, building on the formulation of q-MDPs presented in Part I, our focus shifts to the development of algorithms for computing optimal policies and value functions of both open-loop and closed-loop policies. First, by using the duality between the dynamic programming and the semi-definite programming formulations of any q-MDP with open-loop policies, we establish an algorithm that enables us to efficiently compute optimal open-loop quantum policies and value functions. Then, dynamic programming and semi-definite programming formulations for closed-loop policies is established, where duality of these two formulations similarly enables the efficient computation of optimal closed-loop policies and value functions. Finally, given that any q-MDP can be approximated by q-MDPs with classical policies--potentially with higher-dimensional underlying Hilbert spaces than the original model--and since any classical policy is an element of the set of closed-loop policies, we conclude that any q-MDP can be approximated by q-MDPs with closed-loop policies having higher-dimensional Hilbert spaces.


title: Cleaner Pretraining Corpus Curation with Neural Web Scraping

abstract: The web contains large-scale, diverse, and abundant information to satisfy the information-seeking needs of humans. Through meticulous data collection, preprocessing, and curation, webpages can be used as a fundamental data resource for language model pretraining. However, when confronted with the progressively revolutionized and intricate nature of webpages, rule-based/feature-based web scrapers are becoming increasingly inadequate. This paper presents a simple, fast, and effective Neural web Scraper (NeuScraper) to help extract primary and clean text contents from webpages. Experimental results show that NeuScraper surpasses the baseline scrapers by achieving more than a 20% improvement, demonstrating its potential in extracting higher-quality data to facilitate the language model pretraining. All of the code is available at https://github.com/OpenMatch/NeuScraper.


title: PRODIGE -- Planet-forming disks in Taurus with NOEMA. I. Overview and first results for 12CO, 13CO, and C18O

abstract: We are performing a line survey of 8 planet-forming Class II disks in Taurus with the IRAM NOrthern Extended Millimeter Array (NOEMA), as a part of the MPG-IRAM Observatory Program PRODIGE (PROtostars and DIsks: Global Evolution; PIs: P. Caselli and Th. Henning). Compact and extended disks around T Tauri stars CI, CY, DG, DL, DM, DN, IQ Tau, and UZ Tau E are observed in ~80 lines from >20 C-, O,- N-, and S-bearing species. The observations in four spectral settings at 210-280 GHz with $1\sigma$ rms sensitivity of ~ 8-12 mJy/beam at 0.9" and 0.3 km/s resolution will be completed in 2024. The uv-visibilities are fitted with the DiskFit model to obtain key stellar and disk properties. In this paper, the combined $^{12}$CO, $^{13}$CO and C$^{18}$O $J = 2-1$ data are presented. We find that the CO fluxes and disk masses inferred from dust continuum tentatively correlate with the CO emission sizes. We constrain dynamical stellar masses, geometries, temperatures, the CO column densities and gas masses for each disk. The best-fit temperatures at 100 au are ~ 17-37 K, and decrease radially with the power-law exponent q ~ 0.05-0.76. The inferred CO column densities decrease radially with the power-law exponent p ~ 0.2-3.1. The gas masses estimated from $^{13}$CO (2-1) are ~ $0.001-0.2 M_\textrm{Sun}$. The best-fit CO column densities point to severe CO freeze-out in the disks. The DL Tau disk is an outlier, and has either stronger CO depletion or lower gas mass than the rest of the sample. The CO isotopologue ratios are roughly consistent with the observed values in disks and the low-mass star-forming regions.


title: Multi-HMR: Multi-Person Whole-Body Human Mesh Recovery in a Single Shot

abstract: We present Multi-HMR, a strong single-shot model for multi-person 3D human mesh recovery from a single RGB image. Predictions encompass the whole body, i.e, including hands and facial expressions, using the SMPL-X parametric model and spatial location in the camera coordinate system. Our model detects people by predicting coarse 2D heatmaps of person centers, using features produced by a standard Vision Transformer (ViT) backbone. It then predicts their whole-body pose, shape and spatial location using a new cross-attention module called the Human Prediction Head (HPH), with one query per detected center token, attending to the entire set of features. As direct prediction of SMPL-X parameters yields suboptimal results, we introduce CUFFS; the Close-Up Frames of Full-Body Subjects dataset, containing humans close to the camera with diverse hand poses. We show that incorporating this dataset into training further enhances predictions, particularly for hands, enabling us to achieve state-of-the-art performance. Multi-HMR also optionally accounts for camera intrinsics, if available, by encoding camera ray directions for each image token. This simple design achieves strong performance on whole-body and body-only benchmarks simultaneously. We train models with various backbone sizes and input resolutions. In particular, using a ViT-S backbone and $448\times448$ input images already yields a fast and competitive model with respect to state-of-the-art methods, while considering larger models and higher resolutions further improve performance.


title: Evaluating Cognitive and Neuropsychological Assessments -- A Comprehensive Review

abstract: Cognitive impairments in older adults represent a significant public health concern, necessitating accurate diagnostic and monitoring strategies. In this study, the principal cognitive and neuropsychological evaluations employed for the diagnosis and longitudinal observation of cognitive deficits in the elderly are investigated. An analytical review of instruments including the Mini-Mental State Examination (MMSE), Digit Symbol Substitution Test (DSST), Montreal Cognitive Assessment (MoCA), and Trail Making Test (TMT) is conducted. This examination encompasses an assessment of each instrument's methodology, efficacy, advantages, and limitations. The objective is to enhance comprehension of these assessments for the early identification and effective management of conditions such as dementia and mild cognitive impairment, thereby contributing to the advancement of cognitive health within the geriatric population.


title: A short account of thermoelectric film characterization techniques

abstract: Thermoelectric films and periodic structures have particularly intriguing electrical and thermal transport features due to their low dimensionality. As a result, they have piqued the attention of researchers from across the spectrum of disciplines. Their applications span from cooling fast CPUs to providing energy for wearable devices. The progress in the techniques for synthesizing TE materials and fabricating thin films has facilitated the emergence of a flourishing research domain in the field of electrical and thermal transport at the nanoscale. Further, a significant proportion of contemporary electronic, opto-electronic, and solar energy components are composed of materials featuring numerous interfaces and nanoscale contacts. Consequently, it is imperative to explore the thermal energy transfer and charge carrier transport across the films with thickness dimensions in the nanometer range. The development of cutting-edge approaches for grasping complicated processes at the nanoscale is critical. This review provides a concise overview of the prevalent methodologies developed over the last two decades and employed for the characterization of the Seebeck coefficient and electrical and thermal conductivity of thermoelectric films.


title: Stabilization of a matrix via a low rank-adaptive ODE

abstract: Let $A$ be a square matrix with a given structure (e.g. real matrix, sparsity pattern, Toeplitz structure, etc.) and assume that it is unstable, i.e. at least one of its eigenvalues lies in the complex right half-plane. The problem of stabilizing $A$ consists in the computation of a matrix $B$, whose eigenvalues have negative real part and such that the perturbation $\Delta=B-A$ has minimal norm. The structured stabilization further requires that the perturbation preserves the structural pattern of $A$. We solve this non-convex problem by a two-level procedure which involves the computation of the stationary points of a matrix ODE. We exploit the low rank underlying features of the problem by using an adaptive-rank integrator that follows slavishly the rank of the solution. We show the benefits derived from the low rank setting in several numerical examples, which also allow to deal with high dimensional problems.


title: OpenCodeInterpreter: Integrating Code Generation with Execution and Refinement

abstract: The introduction of large language models has significantly advanced code generation. However, open-source models often lack the execution capabilities and iterative refinement of advanced systems like the GPT-4 Code Interpreter. To address this, we introduce OpenCodeInterpreter, a family of open-source code systems designed for generating, executing, and iteratively refining code. Supported by Code-Feedback, a dataset featuring 68K multi-turn interactions, OpenCodeInterpreter integrates execution and human feedback for dynamic code refinement. Our comprehensive evaluation of OpenCodeInterpreter across key benchmarks such as HumanEval, MBPP, and their enhanced versions from EvalPlus reveals its exceptional performance. Notably, OpenCodeInterpreter-33B achieves an accuracy of 83.2 (76.4) on the average (and plus versions) of HumanEval and MBPP, closely rivaling GPT-4's 84.2 (76.2) and further elevates to 91.6 (84.6) with synthesized human feedback from GPT-4. OpenCodeInterpreter brings the gap between open-source code generation models and proprietary systems like GPT-4 Code Interpreter.


title: On electroweak corrections to neutral current Drell-Yan with the POWHEG BOX

abstract: Motivated by the requirement of a refined and flexible treatment of electroweak corrections to the neutral current Drell-Yan process, we report on recent developments on various input parameter/renormalization schemes for the calculation of fully differential cross sections, including both on-shell and MSbar schemes. The latter are particularly interesting for direct determinations of running couplings at the highest LHC energies. The calculations feature next-to-leading order precision with additional higher order contributions from universal corrections such as $\Delta \alpha$ and $\Delta \rho$. All the discussed input parameter/renormalization scheme options are implemented in the package of POWHEG-BOX-V2 dedicated to the neutral current Drell-Yan simulation, i.e. Z_ew-BMNNPV, which is used to obtain the presented numerical results. In particular, a comprehensive analysis on physical observables calculated with different input parameter/renormalization schemes is presented, addressing the Z peak invariant mass region as well as the high energy window. We take the opportunity of reporting also on additional improvements and options introduced in the package Z_ew-BMNNPV after svn revision 3376, such as different options for the treatment of the hadronic contribution to the running of the electromagnetic coupling and for the handling of the unstable Z resonance.


title: ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large Language Models

abstract: This paper introduces ConceptMath, a bilingual (English and Chinese), fine-grained benchmark that evaluates concept-wise mathematical reasoning of Large Language Models (LLMs). Unlike traditional benchmarks that evaluate general mathematical reasoning with an average accuracy, ConceptMath systematically organizes math problems under a hierarchy of math concepts, so that mathematical reasoning can be evaluated at different granularity with concept-wise accuracies. Based on our ConcepthMath, we evaluate a broad range of LLMs, and we observe existing LLMs, though achieving high average accuracies on traditional benchmarks, exhibit significant performance variations across different math concepts and may even fail catastrophically on the most basic ones. Besides, we also introduce an efficient fine-tuning strategy to enhance the weaknesses of existing LLMs. Finally, we hope ConceptMath could guide the developers to understand the fine-grained mathematical abilities of their models and facilitate the growth of foundation models.


title: State sum invariants of knots from idempotents in quandle rings

abstract: We use idempotents in quandle rings in combination with the state sum invariants of knots to distinguish all of the 12965 prime oriented knots up to 13 crossings using only 21 connected quandles and three quandles made of idempotents in quandle rings. We also distinguish all knots up to 13 crossings from their mirror images using the same 24 quandles. Furthermore, we distinguish all of the 2977 prime oriented knots up to 12 crossings using only 10 connected quandles and three quandles made of idempotents in quandle rings. This improves a result in [Quandle colorings of knots and applications, J. Knot Theory Ramifications 23 (2014), no. 6, 1450035]. Our computations are achieved with the help of Python and Maple softwares.


title: Varieties of quantitative algebras as categories

abstract: Classical varieties were characterized by Lawvere as the categories with effective congruences and a varietal generator: an abstractly finite regular generator which is regularly projective (its hom-functor preserves regular epimorphisms). We characterize varieties of quantitative algebras of Mardare, Panangaden and Plotkin analogously as metric-enriched categories. We introduce the concept of a subcongruence (a metric-enriched analogue of a congruence) and the corresponding subregular epimorphisms obtained via colimits of subcongruences. Varieties of quantitative algebras are precisely the metric-enriched categories with effective subcongruences and a subvarietal generator: an abstractly finite subregular generator which is subregularly projective (its hom-functor preserves subregular epimorphisms).


title: An upper limit to differential magnification effects in strongly gravitationally lensed galaxies

abstract: Differential magnification is now well-known to distort the spectral energy distributions of strongly gravitationally lensed galaxies. However, that does not mean that any distortions are possible. Here I prove an analytic upper bound to differential magnification effects. For example, a thermal or sub-thermal CO ladder cannot be made to appear super-thermal just from gravitational lensing, and the Balmer decrement emission line ratio H$\alpha$:H$\beta$ cannot reduce below the case B prediction just from differential magnification. In general, if a physical model of a galaxy predicts upper and/or lower bounds to an emission line ratio, then those bounds also apply to the differentially magnified strongly gravitationally lensed case. This applies not just for velocity-integrated emission lines, but also for the line emission in any rest-frame velocity interval.


title: Bayesian Off-Policy Evaluation and Learning for Large Action Spaces

abstract: In interactive systems, actions are often correlated, presenting an opportunity for more sample-efficient off-policy evaluation (OPE) and learning (OPL) in large action spaces. We introduce a unified Bayesian framework to capture these correlations through structured and informative priors. In this framework, we propose sDM, a generic Bayesian approach designed for OPE and OPL, grounded in both algorithmic and theoretical foundations. Notably, sDM leverages action correlations without compromising computational efficiency. Moreover, inspired by online Bayesian bandits, we introduce Bayesian metrics that assess the average performance of algorithms across multiple problem instances, deviating from the conventional worst-case assessments. We analyze sDM in OPE and OPL, highlighting the benefits of leveraging action correlations. Empirical evidence showcases the strong performance of sDM.


title: Quadruplet Loss For Improving the Robustness to Face Morphing Attacks

abstract: Recent advancements in deep learning have revolutionized technology and security measures, necessitating robust identification methods. Biometric approaches, leveraging personalized characteristics, offer a promising solution. However, Face Recognition Systems are vulnerable to sophisticated attacks, notably face morphing techniques, enabling the creation of fraudulent documents. In this study, we introduce a novel quadruplet loss function for increasing the robustness of face recognition systems against morphing attacks. Our approach involves specific sampling of face image quadruplets, combined with face morphs, for network training. Experimental results demonstrate the efficiency of our strategy in improving the robustness of face recognition networks against morphing attacks.


title: Stability of P2P Networks Under Greedy Peering (Full Version)

abstract: Major cryptocurrency networks have relied on random peering choice rules for making connections in their peer-to-peer networks. Generally, these choices have good properties, particularly for open, permissionless networks. Random peering choices however do not take into account that some actors may choose to optimize who they connect to such that they are quicker to hear about information being propagated in the network. In this paper, we explore the dynamics of such greedy strategies. We study a model in which nodes select peers with the objective of minimizing their average distance to a designated subset of nodes in the network, and consider the impact of several factors including the peer selection process, degree constraints, and the size of the designated subset. The latter is particularly interesting in the context of blockchain networks as generally only a subset of nodes are the propagation source for content. We first analyze an idealized version of the game where each node has full knowledge of the current network and aims to select the $d$ best connections, and prove the existence of equilibria under various model assumptions. Since in reality nodes only have local knowledge based on their peers' behavior, we also study a greedy protocol which runs in rounds, with each node replacing its worst-performing edge with a new random edge. We exactly characterize stability properties of networks that evolve with this peering rule and derive regimes where stability is possible and even inevitable. We also run extensive simulations with this peering rule examining both how the network evolves and how different network parameters affect the stability properties of the network. Our findings generally show that the only stable networks that arise from greedy peering choices are low-diameter and result in disparate performance for nodes in the network.


title: ConPA: A Contention-free Mechanism with Power Adaptation for Beyond Listen-Before-Talk

abstract: In view of the need to find novel means to utilize the unlicensed spectrum to meet the rising latency and reliability requirements of new applications, we propose a novel mechanism that allows devices to transmit anytime that a packet has to be delivered. The proposed mechanism, Contention-free with Power Adaptation (ConPA), aims to bypass the contention periods of current Listen-Before-Talk (LBT) approaches, which are the main source of unreliability in unlicensed technologies like Wi-Fi. To assess the feasibility of ConPA, we provide an analytical method based on Markov chains, which allows deriving relevant performance metrics, including throughput, airtime, and quality of transmissions. Using such a model, we study the performance of ConPA in various scenarios, and compare it to baseline channel access approaches like the Distributed Coordination Function (DCF) and the IEEE 802.11ax Overlapping Basic Service Set (OBSS) Packet Detect (PD)-based Spatial Reuse (SR). Our results prove the effectiveness of ConPA in reusing the space to offer substantial throughput gains with respect to the baselines (up to 76% improvement).


title: Differential equations for the series of hypermaps with control on their full degree profile

abstract: We consider the generating series of oriented and non-oriented hypermaps with controlled degrees of vertices, hyperedges and faces. It is well known that these series have natural expansions in terms of Schur and Zonal symmetric functions, and with some particular specializations, they satisfy the celebrated KP and BKP equations. We prove that the full generating series of hypermaps satisfy a family of differential equations. We give a first proof which works for an $\alpha$ deformation of these series related to Jack polynomials. This proof is based on a recent construction formula for Jack characters using differential operators. We also provide a combinatorial proof for the orientable case. Our approach also applies to the series of $k$-constellations with control of the degrees of vertices of all colors. In other words, we obtain an equation for the generating function of Hurwitz numbers (and their $\alpha$-deformations) with control of full ramification profiles above an arbitrary number of points. Such equations are new even in the orientable case.


title: Mechanism and Prevention of Hyperbaric Oxygen Convulsions

abstract: Hyperbaric oxygen therapy (HBOT) proves vital in saving lives by elevating the partial pressure of oxygen (pO2). However, HBOT may also have toxic effects, including lung and retinal damage (peripheral HBOT toxicity), muscle spasms and violent myoclonic convulsions (CNS HBOT toxicity), which may even lead to death if left untreated. Despite the severity of the toxic effects of HBOT, their mechanism is only poorly understood to date. This lack of understanding the underlying mechanism hinders the development of new, effective therapies and preventive strategies to supress HBOT toxicity. Herein, we provide evidence that (1) increased pO2 increases the content of reactive oxygen species (ROS) in tissues, which causes peripheral HBOT toxicity and contributes to CNS toxicity by irreversibly altering cell receptors. Moreover, (2) increased ROS concentration in brain lowers activity of glutamic decarboxylase (GD), which lowers concentrations of inhibitory neurotransmitter gamma-aminobutyric acid (GABA), thereby contributing to the onset of HBOT-derived convulsions. At last, we provide long overlooked evidence that (3) elevated ambient pressure directly inhibits GABA(A) and glycine receptors, thereby leading to the rapid onset of HBOT-derived convulsions. We show that only a combination of these three mechanisms (1 + 2 + 3) are needed to explain most phenomena seen in HBOT toxicity (especially in CNS toxicity). Based on these proposed intertwined mechanisms, we propose administering antioxidants (lowering ROS concentrations), pyridoxine (restoring GD activity), and low doses of sedatives/ anaesthetics (reversing inhibitory effects of pressure on GABA(A) and glycine receptors) before routine hyperbaric oxygen therapies and deep-sea diving to prevent the HBOT toxicity.


title: Looking Forward: A High-Throughput Track Following Algorithm for Parallel Architectures

abstract: Real-time data processing is a central aspect of particle physics experiments with high requirements on computing resources. The LHCb experiment must cope with the 30 million proton-proton bunches collision per second rate of the Large Hadron Collider (LHC), producing $10^9$ particles/s. The large input data rate of 32 Tb/s needs to be processed in real time by the LHCb trigger system, which includes both reconstruction and selection algorithms to reduce the number of saved events. The trigger system is implemented in two stages and deployed in a custom data centre. We present Looking Forward, a high-throughput track following algorithm designed for the first stage of the LHCb trigger and optimised for GPUs. The algorithm focuses on the reconstruction of particles traversing the whole LHCb detector and is developed to obtain the best physics performance while respecting the throughput limitations of the trigger. The physics and computing performances are discussed and validated with simulated samples.


title: Linear isometries of Hol(D)

abstract: A complete characterisation is given of all the linear isometries of the Fr\'echet space of all holomorphic functions on the unit disc, when it is given one of the two standard metrics: these turn out to be weighted composition operators of a particular form. Operators similar to an isometry are also classified. Further, the larger class of operators isometric when restricted to one of the defining seminorms is identified. Finally, the spectra of such operators are studied.


title: Middleware for LLMs: Tools Are Instrumental for Language Agents in Complex Environments

abstract: The applications of large language models (LLMs) have expanded well beyond the confines of text processing, signaling a new era where LLMs are envisioned as generalist language agents capable of operating within complex real-world environments. These environments are often highly expansive, making it impossible for the LLM to process them within its short-term memory. Motivated by recent research on extending the capabilities of LLMs with tools, this paper investigates the intriguing potential of tools to augment LLMs in handling such complexity. To this end, we design customized tools to aid in the proactive exploration within these massive environments. Such tools can serve as a middleware layer shielding the LLM from environmental complexity. In two representative complex environments -- knowledge bases (KBs) and databases -- we demonstrate the significant potential of augmenting language agents with tools in complex environments. Notably, equipped with these tools, GPT-4 achieves 2.8X the performance of the best baseline in tasks requiring access to database content and 2.2X in KB tasks. Our findings illuminate the path for advancing language agents in complex real-world applications.


title: Quasi-ideal feedback-loop supercurrent diode

abstract: We suggest using a device called the Bootstrap Superconducting Quantum Interference Device (BS-SQUID) to break the reciprocity in charge transport. This device uses magnetic flux back-action to create a nonreciprocal current-voltage characteristic, which results in a supercurrent rectification coefficient of up to approximately 95\%. The BS-SQUID works as a quasi-ideal supercurrent diode (SD) and maintains its efficiency up to about 40\% of its critical temperature. The external magnetic flux can be used to adjust or reverse the rectification polarity. Finally, we discuss the finite-voltage operation regime of the SD and present a possible application of our device as a half- and full-wave signal rectifier in the microwave regime.


title: Doing AI: Algorithmic decision support as a human activity

abstract: Algorithmic decision support (ADS), using Machine-Learning-based AI, is becoming a major part of many processes. Organizations introduce ADS to improve decision-making and use available data, thereby possibly limiting deviations from the normative "homo economicus" and the biases that characterize human decision-making. However, a closer look at the development and use of ADS systems in organizational settings reveals that they necessarily involve a series of largely unspecified human decisions. They begin with deliberations for which decisions to use ADS, continue with choices while developing and deploying the ADS, and end with decisions on how to use the ADS output in an organization's operations. The paper presents an overview of these decisions and some relevant behavioral phenomena. It points out directions for further research, which is essential for correctly assessing the processes and their vulnerabilities. Understanding these behavioral aspects is important for successfully implementing ADS in organizations.


title: Constant $Q$-curvature metrics on a product Riemannian manifold

abstract: Let $(M,g)$ be an analytic Riemannian manifold of dimension $n \geq 5$. In this paper, we consider the so-called constant $Q$-curvature equation \[ \varepsilon^4\Delta_{g}^2 u -\varepsilon^2 b \Delta_{g} u +a u = u^{p} , \qquad \text{in } M, \quad u>0, \quad u\in H^2_g(M) \] where $a,b$ are positive constants such that $b^2-4 a>0$, $p$ is a sub-critical exponent $1<p<2^\#-1=\frac{n+4}{n-4}$, $\Delta_g$ denotes the Laplace-Beltrami operator and $\Delta_g^2:=\Delta_{g}(\Delta_{g})$ is the bilaplacian operator on $M$. We show that, if $\varepsilon>0$ is small enough, then positive solutions to the above constant $Q$-curvature equation are generated by a maximum or minimum point of the function $\tau_g$, given by \[ \tau_g(\xi):= \sum_{i, j=1}^{n} \frac{\partial^{2} g_{\xi}^{i i}}{\partial z_{j}^{2}}(0), \] where $g_{\xi}^{i j}$ denotes the components of the inverse of the metric $g$ in geodesic normal coordinates. This result shows that the geometry of $M$ plays a crucial role in finding solutions to the equation above and provides a metric of constant $Q$-curvature on a product manifold of the form $(M\times X, g+\varepsilon^2 h)$ where $(M,g)$ is flat and closed, and $(X,h)$ any $m$-dimensional Einstein Riemannian manifold, $m\geq 3$.


title: On semi-restricted Rock, Paper, Scissors

abstract: Spiro, Surya and Zeng (Electron. J. Combin. 2023; arXiv:2207.11272) recently studied a semi-restricted variant of the well-known game Rock, Paper, Scissors; in this variant the game is played for $3n$ rounds, but one of the two players is restricted and has to use each of the three moves exactly $n$ times. They find the optimal strategy, and they show that it results in an expected score for the unrestricted player $\Theta(\sqrt{n})$; they conjecture, based on numerical evidence, that the expectation is $\approx 1.46\sqrt{n}$. We analyse the result of the strategy further and show that the average is $\sim c \sqrt{n}$ with $c=3\sqrt{3}/2\sqrt{\pi}=1.466$, verifying the conjecture. We also find the asymptotic distribution of the score, and compute its variance.


title: Influence of thermal effects on atomic Bloch oscillation

abstract: Advancements in the experimental toolbox of cold atoms have enabled the meticulous control of atomic Bloch oscillation within optical lattices, thereby enhancing the capabilities of gravity interferometers. This work delves into the impact of thermal effects on Bloch oscillation in 1D accelerated optical lattices aligned with gravity by varying the system's initial temperature. Through the application of Raman cooling, we effectively reduce the longitudinal thermal effect, stabilizing the longitudinal coherence length over the timescale of its lifetime. The atomic losses over multiple Bloch oscillation is measured, which are primarily attributed to transverse excitation. Furthermore, we identify two distinct inverse scaling behaviors in the oscillation lifetime scaled by the corresponding density with respect to temperatures, implying diverse equilibrium processes within or outside the Bose-Einstein condensate regime. The competition between the system's coherence and atomic density leads to a relatively smooth variation in the actual lifetime versus temperature. Our findings provide valuable insights into the interaction between thermal effects and Bloch oscillation, offering avenues for the refinement of quantum measurement technologies.


title: Zeptonewton and Attotesla per Centimeter Metrology With Coupled Oscillators

abstract: We present the coupled oscillator: a new mechanism for signal amplification with widespread application in metrology. We introduce the mechanical theory of this framework, and support it by way of simulations. We present a particular implementation of coupled oscillators: a microelectromechanical system (MEMS) that uses one large (~100mm) N52 magnet coupled magnetically to a small (~0.25mm), oscillating N52 magnet, providing a force resolution of 200zN measured over 1s in a noiseless environment. We show that the same system is able to resolve magnetic gradients of 130aT/cm at a single point (within 500um). This technology therefore has the potential to revolutionize force and magnetic gradient sensing, including high-impact areas such cardiac and brain imaging.


title: Is Cognition and Action Consistent or Not: Investigating Large Language Model's Personality

abstract: In this study, we investigate the reliability of Large Language Models (LLMs) in professing human-like personality traits through responses to personality questionnaires. Our goal is to evaluate the consistency between LLMs' professed personality inclinations and their actual "behavior", examining the extent to which these models can emulate human-like personality patterns. Through a comprehensive analysis of LLM outputs against established human benchmarks, we seek to understand the cognition-action divergence in LLMs and propose hypotheses for the observed results based on psychological theories and metrics.


title: Neutron-nucleus dynamics simulations for quantum computers

abstract: With a view toward addressing the explosive growth in the computational demands of nuclear structure and reactions modeling, we develop a novel quantum algorithm for neutron-nucleus simulations with general potentials, which provides acceptable bound-state energies even in the presence of noise, through the noise-resilient training method. In particular, the algorithm can now solve for any band-diagonal to full Hamiltonian matrices, as needed to accommodate a general central potential. This includes exponential Gaussian-like potentials and ab initio inter-cluster potentials (optical potentials). The approach can also accommodate the complete form of the chiral effective-field-theory nucleon-nucleon potentials used in ab initio nuclear calculations. We make this potential available for three different qubit encodings, including the one-hot (OHE), binary (BE), and Gray encodings (GE), and we provide a comprehensive analysis of the number of Pauli terms and commuting sets involved. We find that the GE allows for an efficient scaling of the model-space size $N$ (or number of basis states used) and is more resource efficient not only for tridiagonal Hamiltonians, but also for band-diagonal Hamiltonians having bandwidth up to $N$. We introduce a new commutativity scheme called distance-grouped commutativity (DGC) and compare its performance with the well-known qubit-commutativity (QC) scheme. We lay out the explicit grouping of Pauli strings and the diagonalizing unitary under the DGC scheme, and we find that it outperforms the QC scheme, at the cost of a more complex diagonalizing unitary. Lastly, we provide first solutions of the neutron-alpha dynamics from quantum simulations suitable for NISQ processors, using an optical potential rooted in first principles, and a study of the bound-state physics in neutron-Carbon systems, along with a comparison of the efficacy of the OHE and GE.


title: Decomposition of P{\l}onka sums into direct systems

abstract: The P{\l}onka sum is an algebra determined using a structure called a direct system. By a direct system, we mean an indexed family of algebras with disjoint universes whose indexes form a join-semilattice s.t. if two indexes are in a partial order relation, then there is a homomorphism from the algebra of the first index to the algebra of the second index. The sum of the sets of the direct system determines the universe of the P{\l}onka sum. Therefore, to speak about a P{\l}onka sum, there must be a direct system on which this algebra is based. However, we can look at a P{\l}onka sum the other way around, considering it as some given algebra, and ask whether it is possible to determine all direct systems of it systematically. In our paper, we will decompose the P{\l}onka sum in such a way as to give a solution to the indicated problem. Moreover, our method works for any algebra of the kind considered in the article, and thus, we can determine if a given algebra is a P{\l}onka sum. The proposed method is based on two concepts introduced in the paper: isolated algebra and P{\l}onka homomorphism.


title: Internal magnetic field structures observed by PSP/WISPR in a filament related coronal mass ejection

abstract: We track and investigate from white-light data taken with the Wide-field Instrument for Solar PRobe (WISPR) aboard Parker Solar Probe (PSP), localized density enhancements, reflecting small-scale magnetic structures belonging to a filament-related coronal mass ejection (CME). We aim to investigate the 3D location, morphology, and evolution of the internal magnetic fine structures of CMEs. Specifically, we ask: what is their relationship with the filament/source region and the flux rope? The fast tangential motion of the PSP spacecraft during its perihelion permits viewing the same event from multiple angles in short times relative to the event's evolution. Hence, we can derive the three-dimensional information of selected CME features from a single spacecraft using triangulation techniques. We group small-scale structures with roughly similar speeds, longitude and latitude, into three distinct morphological groups. We find twisted magnetic field patterns close to the eastern leg of the CME that may be related to 'horns' outlining the edges of the flux-rope cavity. Aligned thread-like bundles are identified close to the western leg. They may be related to confined density enhancements evolving during the filament eruption. High density blob-like features (magnetic islands) are widely spread in longitude ($\sim$40{\deg}) close to the flanks and rear part of the CME. We demonstrate that CME flux ropes may comprise different morphological groups with a cluster behavior, apart from the blobs which instead span a wide range of longitudes. This may hint either to the three-dimensionality of the post-CME current sheet (CS) or to the influence of the ambient corona in the evolutionary behavior of the CS. Importantly, we show that the global appearance of the CME can be very different in WISPR (0.11--0.16~AU) and instruments near 1~AU because of shorter line-of-sight integration of WISPR.


title: Visual Hallucinations of Multi-modal Large Language Models

abstract: Visual hallucination (VH) means that a multi-modal LLM (MLLM) imagines incorrect details about an image in visual question answering. Existing studies find VH instances only in existing image datasets, which results in biased understanding of MLLMs' performance under VH due to limited diversity of such VH instances. In this work, we propose a tool called VHTest to generate a diverse set of VH instances. Specifically, VHTest finds some initial VH instances in existing image datasets (e.g., COCO), generates a text description for each VH mode, and uses a text-to-image generative model (e.g., DALL-E-3) to generate VH images based on the text descriptions. We collect a benchmark dataset with 1,200 VH instances in 8 VH modes using VHTest. We find that existing MLLMs such as GPT-4V, LLaVA-1.5, and MiniGPT-v2 hallucinate for a large fraction of the instances in our benchmark. Moreover, we find that fine-tuning an MLLM using our benchmark dataset reduces its likelihood to hallucinate without sacrificing its performance on other benchmarks. Our benchmarks are publicly available: https://github.com/wenhuang2000/VHTest.


title: Adaptive time series forecasting with markovian variance switching

abstract: Adaptive time series forecasting is essential for prediction under regime changes. Several classical methods assume linear Gaussian state space model (LGSSM) with variances constant in time. However, there are many real-world processes that cannot be captured by such models. We consider a state-space model with Markov switching variances. Such dynamical systems are usually intractable because of their computational complexity increasing exponentially with time; Variational Bayes (VB) techniques have been applied to this problem. In this paper, we propose a new way of estimating variances based on online learning theory; we adapt expert aggregation methods to learn the variances over time. We apply the proposed method to synthetic data and to the problem of electricity load forecasting. We show that this method is robust to misspecification and outperforms traditional expert aggregation.


title: Interferometry of Atomic Matter Waves in the Cold Atom Lab onboard the International Space Station

abstract: Ultracold atomic gases hold unique promise for space science by capitalizing on quantum advantages and extended freefall, afforded in a microgravity environment, to enable next-generation precision sensors. Atom interferometers are a class of quantum sensors which can use freely falling gases of atoms cooled to sub-photon-recoil temperatures to provide unprecedented sensitivities to accelerations, rotations, and gravitational forces, and are currently being developed for space-based applications in gravitational, earth, and planetary sciences, as well as to search for subtle forces that could signify physics beyond General Relativity and the Standard Model. NASA's Cold Atom Lab (CAL) operates onboard the International Space Station as a multi-user facility for studies of ultracold atoms and to mature quantum technologies, including atom interferometry, in persistent microgravity. In this paper, we report on path-finding experiments utilizing ultracold $^{87}$Rb atoms in the CAL atom interferometer, which was enabled by an on-orbit upgrade of the CAL science module: A three-pulse Mach-Zehnder interferometer was studied to understand limitations from the influence of ISS vibrations. Additionally, Ramsey shear-wave interferometry was used to manifest interference patterns in a single run that were observable for over 150 ms free-expansion time. Finally, the CAL atom interferometer was used to remotely measure the photon recoil from the atom interferometer laser as a demonstration of the first quantum sensor using matter-wave interferometry in space.


title: Room-temperature ladder-type optical memory compatible with single photons from InGaAs quantum dots

abstract: On-demand storage and retrieval of quantum information in coherent light-matter interfaces is a key requirement for future quantum networking and quantum communication applications. Alkali vapor memories offer scalable and robust high-bandwidth storage at high repetition rates which makes them a natural fit to interface with solid-state single-photon sources. Here, we experimentally realize a room-temperature ladder-type atomic vapor memory that operates on the Cs D1 line. We provide a detailed experimental characterization and demonstration of on-demand storage and retrieval of weak coherent laser pulses with 0.06 photons per pulse at a high signal-to-noise ratio of SNR$=830(80)$. The memory achieves a maximum internal storage efficiency of $\eta_{\text{int}}=15(1)\%$ and an estimated $1/e$-storage time of $\tau_{\mathrm{s}}\approx32\,$ns. Benchmark properties for the storage of single photons from inhomogeneously broadened state-of-the-art solid-state emitters are estimated from the performance of the memory. Together with the immediate availability of high-quality InGaAs quantum dots emitting at 895\,nm, these results provide clear prospects for the development of a heterogeneous on-demand quantum light interface.


title: On the complete separation of unique $\ell_{1}$ spreading models and the Lebesgue property of Banach spaces

abstract: We construct a reflexive Banach space $X_\mathcal{D}$ with an unconditional basis such that all spreading models admitted by normalized block sequences in $X_\mathcal{D}$ are uniformly equivalent to the unit vector basis of $\ell_1$, yet every infinite-dimensional closed subspace of $X_\mathcal{D}$ fails the Lebesgue property. This is a new result in a program initiated by Odell in 2002 concerning the strong separation of asymptotic properties in Banach spaces.


title: Q-Probe: A Lightweight Approach to Reward Maximization for Language Models

abstract: We present an approach called Q-probing to adapt a pre-trained language model to maximize a task-specific reward function. At a high level, Q-probing sits between heavier approaches such as finetuning and lighter approaches such as few shot prompting, but can also be combined with either. The idea is to learn a simple linear function on a model's embedding space that can be used to reweight candidate completions. We theoretically show that this sampling procedure is equivalent to a KL-constrained maximization of the Q-probe as the number of samples increases. To train the Q-probes we consider either reward modeling or a class of novel direct policy learning objectives based on importance weighted policy gradients. With this technique, we see gains in domains with ground-truth rewards (code generation) as well as implicit rewards defined by preference data, even outperforming finetuning in data-limited regimes. Moreover, a Q-probe can be trained on top of an API since it only assumes access to sampling and embeddings. Code: https://github.com/likenneth/q_probe .


title: SVD, joint-MVD, Berry phase, and generic loss of rank for a matrix valued function of 2 parameters

abstract: In this work we consider generic losses of rank for complex valued matrix functions depending on two parameters. We give theoretical results that characterize parameter regions where these losses of rank occur. Our main results consist in showing how following an appropriate smooth SVD along a closed loop it is possible to monitor the Berry phases accrued by the singular vectors to decide if -- inside the loop -- there are parameter values where a loss of rank takes place. It will be needed to use a new construction of a smooth SVD, which we call the "joint-MVD" (minimum variation decomposition).


title: UFO: a Unified and Flexible Framework for Evaluating Factuality of Large Language Models

abstract: Large language models (LLMs) may generate text that lacks consistency with human knowledge, leading to factual inaccuracies or \textit{hallucination}. Existing research for evaluating the factuality of LLMs involves extracting fact claims using an LLM and verifying them against a predefined fact source. However, these evaluation metrics are task-specific, and not scalable, and the substitutability of fact sources in different tasks is under-explored. To address these challenges, we categorize four available fact sources: human-written evidence, reference documents, search engine results, and LLM knowledge, along with five text generation tasks containing six representative datasets. Then, we propose \texttt{UFO}, an LLM-based unified and flexible evaluation framework to verify facts against plug-and-play fact sources. We implement five evaluation scenarios based on this framework. Experimental results show that for most QA tasks, human-written evidence and reference documents are crucial, and they can substitute for each other in retrieval-augmented QA tasks. In news fact generation tasks, search engine results and LLM knowledge are essential. Our dataset and code are available at \url{https://github.com/WaldenRUC/UFO}.


title: Error Estimates for First- and Second-Order Lagrange-Galerkin Moving Mesh Schemes for the One-Dimensional Convection-Diffusion Equation

abstract: A new moving mesh scheme based on the Lagrange-Galerkin method for the approximation of the one-dimensional convection-diffusion equation is studied. The mesh movement, which is prescribed by a discretized dynamical system for the nodal points, follows the direction of convection. It is shown that under a restriction of the time increment the mesh movement cannot lead to an overlap of the elements and therefore an invalid mesh. For the linear element, optimal error estimates in the $\ell^\infty(L^2) \cap \ell^2(H_0^1)$ norm are proved in case of both, a first-order backward Euler method and a second-order two-step method in time. These results are based on new estimates of the time dependent interpolation operator derived in this work. Preservation of the total mass is verified for both choices of the time discretization. Numerical experiments are presented that confirm the error estimates and demonstrate that the proposed moving mesh scheme can circumvent limitations that the Lagrange-Galerkin method on a fixed mesh exhibits.