title: Self-Training for Sample-Efficient Active Learning for Text Classification with Pre-Trained Language Models

abstract: Active learning is an iterative labeling process that is used to obtain a small labeled subset, despite the absence of labeled data, thereby enabling to train a model for supervised tasks such as text classification. While active learning has made considerable progress in recent years due to improvements provided by pre-trained language models, there is untapped potential in the often neglected unlabeled portion of the data, although it is available in considerably larger quantities than the usually small set of labeled data. Here we investigate how self-training, a semi-supervised approach where a model is used to obtain pseudo-labels from the unlabeled data, can be used to improve the efficiency of active learning for text classification. Starting with an extensive reproduction of four previous self-training approaches, some of which are evaluated for the first time in the context of active learning or natural language processing, we devise HAST, a new and effective self-training strategy, which is evaluated on four text classification benchmarks, on which it outperforms the reproduced self-training approaches and reaches classification results comparable to previous experiments for three out of four datasets, using only 25% of the data.


title: Investigating potential causes of Sepsis with Bayesian network structure learning

abstract: Sepsis is a life-threatening and serious global health issue. This study combines knowledge with available hospital data to investigate the potential causes of Sepsis that can be affected by policy decisions. We investigate the underlying causal structure of this problem by combining clinical expertise with score-based, constraint-based, and hybrid structure learning algorithms. A novel approach to model averaging and knowledge-based constraints was implemented to arrive at a consensus structure for causal inference. The structure learning process highlighted the importance of exploring data-driven approaches alongside clinical expertise. This includes discovering unexpected, although reasonable, relationships from a clinical perspective. Hypothetical interventions on Chronic Obstructive Pulmonary Disease, Alcohol dependence, and Diabetes suggest that the presence of any of these risk factors in patients increases the likelihood of Sepsis. This finding, alongside measuring the effect of these risk factors on Sepsis, has potential policy implications. Recognising the importance of prediction in improving Sepsis related health outcomes, the model built is also assessed in its ability to predict Sepsis. The predictions generated by the consensus model were assessed for their accuracy, sensitivity, and specificity. These three indicators all had results around 70%, and the AUC was 80%, which means the causal structure of the model is reasonably accurate given that the models were trained on data available for commissioning purposes only.


title: Python-based DSL for generating Verilog model of Synchronous Digital Circuits

abstract: We have designed a Python-based Domain Specific Language (DSL) for modeling synchronous digital circuits. In this DSL, hardware is modeled as a collection of transactions -- running in series, parallel, and loops. When the model is executed by a Python interpreter, synthesizable and behavioural Verilog is generated as output, which can be integrated with other RTL designs or directly used for FPGA and ASIC flows. In this paper, we describe - 1) the language (DSL), which allows users to express computation in series/parallel/loop constructs, with explicit cycle boundaries, 2) the internals of a simple Python implementation to produce synthesizable Verilog, and 3) several design examples and case studies for applications in post-quantum cryptography, stereo-vision, digital signal processing and optimization techniques. In the end, we list ideas to extend this framework.


title: Acceleration of the Universe without the Hubble tension with Kaniadakis holographic dark energy using the Hubble horizon as the IR cut-off

abstract: We introduce a holographic dark energy model that incorporates the first-order approximate Kaniadaski entropy, utilizing the Hubble horizon, $1/H$, as the infrared cutoff. We investigate the cosmological evolution within this framework. The model introduces an extra parameter relative to the $\Lambda$CDM model. It posits a Universe that is initially dominated by dark matter, which then evolves to a phase where dark energy becomes the predominant component, with this transition occurring at a redshift of approximately $z \sim 0.419$. The energy density of dark energy is ultimately expected to become constant, thereby circumventing the potential issue of a "big rip". Employing the most recent Type Ia supernova and Hubble parameter data, we constrain the model's parameters and find a Hubble constant of $H_0=72.8$ km/s/Mpc, thereby resolving the Hubble tension issue. The estimated age of the Universe, based on the best-fit parameter values, is $14.2$ Gyr. Furthermore, we predict the number of strong gravitational lenses and conduct statefinder and $Om$ diagnostic analyses to validate and characterize the model.


title: Davenport constant and its variants for some non-abelian groups

abstract: We define two variants $e(G)$, $f(G)$ of the Davenport constant $d(G)$ of a finite group $G$, that is not necessarily abelian. These naturally arising constants aid in computing $d(G)$ and are of potential independent interest. We compute the constants $d(G)$, $e(G)$, $f(G)$ for some nonabelian groups G, and demonstrate that, unlike abelian groups where these constants are identical, they can each be distinct. As a byproduct of our results, we also obtain some cases of a conjecture of J. Bass. We compute the $k$-th Davenport constant for several classes of groups as well. We also make a conjecture on $f(G)$ for metacyclic groups and provide evidence towards it.


title: WildlifeReID-10k: Wildlife re-identification dataset with 10k individual animals

abstract: We introduce a new wildlife re-identification dataset WildlifeReID-10k with more than 214k images of 10k individual animals. It is a collection of 30 existing wildlife re-identification datasets with additional processing steps. WildlifeReID-10k contains animals as diverse as marine turtles, primates, birds, African herbivores, marine mammals and domestic animals. Due to the ubiquity of similar images in datasets, we argue that the standard (random) splits into training and testing sets are inadequate for wildlife re-identification and propose a new similarity-aware split based on the similarity of extracted features. To promote fair method comparison, we include similarity-aware splits both for closed-set and open-set settings, use MegaDescriptor - a foundational model for wildlife re-identification - for baseline performance and host a leaderboard with the best results. We publicly publish the dataset and the codes used to create it in the wildlife-datasets library, making WildlifeReID-10k both highly curated and easy to use.


title: To curve, or not to curve: Is curvature-assisted quintessence observationally viable?

abstract: Single-field models of accelerated expansion with nearly flat potentials, despite being able to provide observationally viable explanations for the early-time cosmic inflation and the late-time cosmic acceleration, are in strong tension with string theory evidence and the associated de Sitter swampland constraints. It has recently been argued that in an open universe, where the spatial curvature is negative (i.e., with $\Omega_k>0$), a new stable fixed point arises, which may lead to viable single-field-based accelerated expansion with an arbitrarily steep potential. Here we show, through a dynamical systems analysis and a Bayesian statistical inference of cosmological parameters, that the additional cosmological solutions based on the new fixed point do not render steep-potential, single-field, accelerated expansion observationally viable. We mainly focus on quintessence models of dark energy, but we also argue that a similar conclusion can be drawn for cosmic inflation.


title: Charged massive spin 2 and 3/2 propagation in a constant electromagnetic background

abstract: We present two methods for deriving the equations of motion for charged massive spin-3/2 particles. The first approach involves utilizing the Euler-Lagrange equations derived from a Lagrangian that describes the propagation of the first massive excitation of open superstrings. The second method entails enforcing the conditions that the trace vanishes and that the covariant derivative of the equations vanish. We very briefly comment about other spins.


title: Applying Multi-Agent Negotiation to Solve the Production Routing Problem With Privacy Preserving

abstract: This paper presents a novel approach to address the Production Routing Problem with Privacy Preserving (PRPPP) in supply chain optimization. The integrated optimization of production, inventory, distribution, and routing decisions in real-world industry applications poses several challenges, including increased complexity, discrepancies between planning and execution, and constraints on information sharing. To mitigate these challenges, this paper proposes the use of intelligent agent negotiation within a hybrid Multi-Agent System (MAS) integrated with optimization algorithms. The MAS facilitates communication and coordination among entities, encapsulates private information, and enables negotiation. This, along with optimization algorithms, makes it a compelling framework for establishing optimal solutions. The approach is supported by real-world applications and synergies between MAS and optimization methods, demonstrating its effectiveness in addressing complex supply chain optimization problems.


title: On Softmax Direct Preference Optimization for Recommendation

abstract: Recommender systems aim to predict personalized rankings based on user preference data. With the rise of Language Models (LMs), LM-based recommenders have been widely explored due to their extensive world knowledge and powerful reasoning abilities. Most of the LM-based recommenders convert historical interactions into language prompts, pairing with a positive item as the target response and fine-tuning LM with a language modeling loss. However, the current objective fails to fully leverage preference data and is not optimized for personalized ranking tasks, which hinders the performance of LM-based recommenders. Inspired by the current advancement of Direct Preference Optimization (DPO) in human preference alignment and the success of softmax loss in recommendations, we propose Softmax-DPO (S-DPO) to instill ranking information into the LM to help LM-based recommenders distinguish preferred items from negatives, rather than solely focusing on positives. Specifically, we incorporate multiple negatives in user preference data and devise an alternative version of DPO loss tailored for LM-based recommenders, connected to softmax sampling strategies. Theoretically, we bridge S-DPO with the softmax loss over negative sampling and find that it has a side effect of mining hard negatives, which assures its exceptional capabilities in recommendation tasks. Empirically, extensive experiments conducted on three real-world datasets demonstrate the superiority of S-DPO to effectively model user preference and further boost recommendation performance while mitigating the data likelihood decline issue of DPO. Our codes are available at https://github.com/chenyuxin1999/S-DPO.


title: Three New Galactic Globular Cluster Candidates: FSR1700, Teutsch67, and CWNU4193

abstract: The VISTA Variables in the Via L\'actea Extended Survey (VVVX) enables exploration of previously uncharted territories within the inner Milky Way (MW), particularly those obscured by stellar crowding and intense extinction. Our objective is to identify and investigate new star clusters to elucidate their intrinsic characteristics. Specifically, we are focused on uncovering new candidate Globular Clusters (GCs) situated at low Galactic latitudes, with the ultimate goal of completing the census of the MW GC system. Leveraging a combination of Near-InfraRed (NIR) data from the VVVX survey and Two Micron All Sky Survey (2MASS), along with optical photometry and precise proper motions (PMs) from the Gaia Data Release 3 (DR3), we are conducting a systematic characterisation of new GCs. As a result, we report the discovery and characterisation of four new Galactic clusters named FSR 1700, FSR 1415, CWNU 4193, and Teutsch 67, all located within the MW disk. We estimate a wide range of reddening, with values ranging from 0.44 to 0.73 mag for E(J-Ks). The heliocentric distances span from 10.3 to 13.2 kpc. Additionally, we determine their metallicities and ages, finding a range of -0.85 to -0.75 dex for [Fe/H] and ages approximately close to 11 Gyr, respectively. FSR 1415 is an exception, it is an old open cluster with age = 3 Gyr and [Fe/H] = -0.10. Furthermore, we fitted the radial density profiles to derive their structural parameters like tidal radius, core radius, and concentration parameters. In conclusion, based on their positions, kinematics, metallicities, and ages, and comparing our findings with existing literature, we categorise FSR 1700, Teutsch 67 and CWNU 4193 as genuine GC candidates, while FSR 1415 is an old open cluster exhibiting characteristics of a post core-collapse cluster.


title: Convergence and error control of consistent PINNs for elliptic PDEs

abstract: We provide an a priori analysis of a certain class of numerical methods, commonly referred to as collocation methods, for solving elliptic boundary value problems. They begin with information in the form of point values of the right side f of such equations and point values of the boundary function g and utilize only this information to numerically approximate the solution u of the Partial Differential Equation (PDE). For such a method to provide an approximation to u with guaranteed error bounds, additional assumptions on f and g, called model class assumptions, are needed. We determine the best error (in the energy norm) of approximating u, in terms of the number of point samples m, under all Besov class model assumptions for the right hand side $f$ and boundary g. We then turn to the study of numerical procedures and asks whether a proposed numerical procedure (nearly) achieves the optimal recovery error. We analyze numerical methods which generate the numerical approximation to $u$ by minimizing a specified data driven loss function over a set $\Sigma$ which is either a finite dimensional linear space, or more generally, a finite dimensional manifold. We show that the success of such a procedure depends critically on choosing a correct data driven loss function that is consistent with the PDE and provides sharp error control. Based on this analysis a loss function $L^*$ is proposed. We also address the recent methods of Physics Informed Neural Networks (PINNs). Minimization of the new loss $L^*$ over neural network spaces $\Sigma$ is referred to as consistent PINNs (CPINNs). We prove that CPINNs provides an optimal recovery of the solution $u$, provided that the optimization problem can be numerically executed and $\Sigma$ has sufficient approximation capabilities. Finally, numerical examples illustrating the benefits of the CPINNs are given.


title: Cohomological integrality for symmetric representations of reductive groups

abstract: In this paper, we prove the integrality conjecture for quotient stacks given by a symmetric representation of a reductive group. This result will be crucial to generalise cohomological Donaldson-Thomas theory of $2$ and $3$-Calabi-Yau categories to $0$ and $(-1)$-shifted symplectic stacks respectively.


title: Measuring glitch recoveries and braking indices with Bayesian model selection

abstract: For a selection of 35 pulsars with large spin-up glitches ($\Delta{\nu}/\nu\geq10^{-6}$), which are monitored by the Jodrell Bank Observatory, we analyse 157 glitches and their recoveries. All parameters are measured consistently and we choose the best model to describe the post-glitch recovery based on Bayesian evidence. We present updated glitch epochs, sizes, changes of spin down rate, exponentially recovering components (amplitude and corresponding timescale) when present, as well as pulsars' second frequency derivatives and their glitch associated changes if detected. We discuss the different observed styles of post-glitch recovery as well as some particularly interesting sources. Several correlations are revealed between glitch parameters and pulsar spin parameters, including a very strong correlation between a pulsar's interglitch $|\ddot{\nu}|$ and $\dot{\nu}$, as well as between the glitch-induced spin-down rate change $\Delta\dot{\nu}_{\rm p}$ that does not relax exponentially and $\dot{\nu}$. We find that the ratio $\left|\Delta \dot{\nu}_{\mathrm{p}}/\ddot{\nu}\right|$ can be used as an estimate of glitch recurrence times, especially for those pulsars for which there are indications of a characteristic glitch size and interglitch waiting time. We calculate the interglitch braking index $n$ and find that pulsars with large glitches typically have $n$ greater than $3$, suggesting that internal torques dominate the rotational evolution between glitches. The external torque, e.g. from electromagnetic dipole radiation, could dominate the observed $\ddot{\nu}$ for the youngest pulsars ($\lesssim10^{4}\;\mathrm{yr}$), which may be expected to display $n\sim3$.


title: An improved asteroseismic age of the rapid rotator Altair from TESS data

abstract: Understanding the effects of rotation in stellar evolution is key to modelling early-type stars, half of which have equatorial velocities over 100 km/s. The nearby star Altair is an example of such fast-rotating stars, and furthermore, it has the privilege of being modelled by a detailed 2D concordance model that reproduces most of its observables. The aim of this paper is to include new asteroseismic frequencies to improve our knowledge of Altair, especially its age. We processed images of Altair obtained during July 2022 by the Transiting Exoplanet Survey Satellite using the halo photometry technique to obtain its light curve over this observation period. By analysing the light curve, we derived a set of 22 new frequencies in the oscillation spectrum of Altair and confirmed 12 previously known frequencies. Compared with model predictions, we could associate ten frequencies with ten axisymmetric modes. This identification is based on the modelled visibility of the modes. Moreover, nine of the modelled frequencies can be adjusted to simultaneously match their corresponding observed frequencies, once the core hydrogen mass fraction of the concordance model is set to $X_{\rm core}/X_{\rm ini}\simeq0.972$, with $X_{\rm ini}=0.739$. Using the combined results of a 1D MESA model computing the pre-main sequence and a 2D time-dependent ESTER model computing the main sequence, we find that this core hydrogen abundance sets the age of Altair to 88$\pm$10 Myrs, which is slightly younger than previous estimates.


title: A 100 kpc Ram Pressure Tail Trailing the Group Galaxy NGC 2276

abstract: We present the discovery of a 100 kpc low-frequency radio tail behind the nearby group galaxy, NGC 2276. The extent of this tail is a factor of ten larger than previously reported from higher-frequency radio and X-ray imaging. The radio morphology of the galaxy disc and tail suggest that the tail was produced via ram-pressure stripping, cementing NGC 2276 as the clearest known example of ram-pressure stripping in a low-mass group. With multi-frequency imaging, we extract radio continuum spectra between ~50 MHz and 1.2 GHz as a function of projected distance along the tail. All of the spectra are well fit by a simple model of spectral ageing due to synchrotron and inverse-Compton losses. From these fits we estimate a velocity of 870 km/s for the stripped plasma across the plane of the sky, and a three-dimensional orbital velocity of 970 km/s for NGC 2276. The orbital speed that we derive is in excellent agreement with the previous estimate from Rasmussen et al., despite it being derived with a completely independent methodology.


title: Well-posedness and regularity of solutions to neural field problems with dendritic processing

abstract: We study solutions to a recently proposed neural field model in which dendrites are modelled as a continuum of vertical fibres stemming from a somatic layer. Since voltage propagates along the dendritic direction via a cable equation with nonlocal sources, the model features an anisotropic diffusion operator, as well as an integral term for synaptic coupling. The corresponding Cauchy problem is thus markedly different from classical neural field equations. We prove that the weak formulation of the problem admits a unique solution, with embedding estimates similar to the ones of nonlinear local reaction-diffusion equations. Our analysis relies on perturbing weak solutions to the diffusion-less problem, that is, a standard neural field, for which weak problems have not been studied to date. We find rigorous asymptotic estimates for the problem with and without diffusion, and prove that the solutions of the two models stay close, in a suitable norm, on finite time intervals. We provide numerical evidence of our perturbative results.


title: Solving the Synthetic Riddle of Colloidal 2D PbTe Nanoplatelets with Tunable Near-Infrared Emission

abstract: Near-infrared emitting colloidal two-dimensional (2D) PbX (X=S, Se) nanoplatelets have emerged as interesting materials with strong size quantisation in the thickness dimension. They act as model systems for efficient charge carrier multiplication and hold potential as intriguing candidates for finer-based photonic quantum applications. However, synthetic access to the third family member, 2D PbTe, remains elusive due to a challenging precursor chemistry. Here, we report a direct synthesis for 2D PbTe nanoplatelets (NPLs) with unable photoluminescence (PL, 910-1460 nm (1.36-0.85 eV), PLQY 1-15 %), based on aminophosphine precursor chemistry. Ex-situ transamination of tris(dimethylamino)phosphine telluride with octylamine is confirmed by 31P NMR and yields a reactive tellurium precursor for the formation of 2D PbTe NPLs at temperatures as low as 0 {\deg}C. The PL position of the PbTe NPLs is unable by controlling the Pb:Te ration in the reaction. GIWAXS confirms the 2D geometry of the NPLs and the formation of superlattices. The importance of a post-synthetic passivation of the PbTe NPLs by PbI2 to ensure colloidal stability of the otherwise oxygen sensitive samples is supported by X-ray photoelectron spectroscopy. Our results expand and complete the row of lead chalcogenide-based 2D NPLs, opening up new ways for further pushing the optical properties of 2D NPLs into the infrared and toward technologically relevant wavelengths.


title: Cascaded injection locking of optomechanical crystal oscillators

abstract: Optomechanical oscillators stand out as high-performance and versatile candidates for serving as reference clocks in sequential photonic integrated circuits. Indeed, they have the unique capability of simultaneously generating mechanical tones and optical signal modulations at frequencies determined by their geometrical design. In this context, the concept of synchronization introduces a powerful means to precisely coordinate the dynamics of multiple oscillators in a controlled manner, thus increasing efficiency and preventing errors in signal processing photonic systems or communication interfaces. In this work, we demonstrate the cascaded injection locking of a pair of silicon-based optomechanical crystal cavities to an external reference signal that subtly modulates the laser driving one of the oscillators. Both cavities interact solely through a weak mechanical link, making the extension of this synchronization mechanism to an increased number of optomechanical oscillators within a common chip more feasible than relying solely on optical interactions. Thus, the combination of the obtained results, supported by a numerical model, with remote optical injection locking schemes discussed in the literature, lays the groundwork for the distribution of reference signals within large networks of processing elements in future phonon-photon hybrid circuits.


title: Probing atmospheric escape through metastable He I triplet lines in 15 exoplanets observed with SPIRou

abstract: For several years, the metastable helium triplet line has been successfully used as a tracer to probe atmospheric escape in transiting exoplanets. This absorption in the near-infrared (1083.3 nm) can be observed from the ground using high-resolution spectroscopy, providing new constraints on the mass-loss rate and the temperature characterizing the upper atmosphere of close-in exoplanets. The aim of this work is to search for the He triplet signature in 15 transiting exoplanets -- ranging from super-Earths to ultrahot Jupiters -- observed with SPIRou, a high-resolution (R~70 000) near-infrared spectropolarimeter at the CFHT, in order to bring new constraints or to improve existing ones regarding atmospheric escape through a homogeneous study. We developed a full data processing and analysis pipeline to correct for the residual telluric and stellar contributions. We then used two different 1D models based on the Parker-wind equations and nonlocal thermodynamic equilibrium (NLTE) radiative transfer to interpret the observational results. We confirm published He triplet detections for HAT-P-11 b, HD 189733 b, and WASP-69 b. We tentatively detect the signature of escaping He in HD 209458 b, GJ 3470 b, and WASP-76 b. We report new constraints on the mass-loss rate and temperature for our three detections and set upper limits for the tentative and nondetections. We notably report improved constraints on the mass-loss rate and temperature of the escaping gas for TOI-1807 b, and report a nondetection for the debated atmospheric escape in GJ 1214 b. We also conducted the first search for the He signature in GJ 486 b since its discovery and report a nondetection of the He triplet. Finally, we studied the impact of important model assumptions on our retrieved parameters, notably the limitations of 1D models and the influence of the H/He ratio on the derived constraints.


title: How & Why To Use Audience Segmentation to Maximize (Listener) Demand Across Digital Music Portfolio

abstract: Digital delivery of songs has radically changed the way people can enjoy music, the sort of music available for listening, and the manner by which rights holders are compensated for their contributions to songs. Listeners enjoy an unlimited potpourri of sounds, uniquely free of incremental acquisition or switching costs which have been replaced by subscription or rentier fees. This regime shift has revealed listening patterns governed by affinity, boredom, attention budget, etc.: instantaneous, dynamic, organic or programmatic song selection. This regime shift in demand availability -- with the commensurate translation of revenue implications -- deprecates current orthodoxy for content curation. The impulse to point-of-sale model is insufficient in a regime where demand revenue is proportional to demand affinity and each are strongly dependent time series processes. We explore strategies & implications -- which are generalizable to any media rights holding firm -- from a prediction & optimization point of view for two straightforward demand models.


title: Well-posedness of aggregation-diffusion systems with irregular kernels

abstract: We consider aggregation-diffusion equations with merely bounded nonlocal interaction potential $K$. We are interested in establishing their well-posedness theory when the nonlocal interaction potential $K$ is neither differentiable nor positive (semi-)definite, thus preventing application of classical arguments. We prove the existence of weak solutions in two cases: if the mass of the initial data is sufficiently small, or if the interaction potential is symmetric and of bounded variation without any smallness assumption. The latter allows one to exploit the dissipation of the free energy in an optimal way, which is an entirely new approach. Remarkably, in both cases, under the additional condition that $\nabla K\ast K$ is in $L^2$, we can prove that the solution is smooth and unique. When $K$ is a characteristic function of a ball, we construct the classical unique solution. Under additional structural conditions we extend these results to the $n$-species system.


title: Measuring gravitational wave memory with LISA

abstract: Gravitational wave (GW) astronomy has revolutionized our capacity to explore nature. The next generation of observatories, among which the space-borne detector Laser Interferometer Space Antenna LISA, is expected to yield orders of magnitude of signal-to-noise ratio improvement, and reach fainter and novel features of General Relativity. Among them, an exciting possibility is the detection of GW memory. Interpreted as a permanent deformation of the background spacetime after a GW perturbation has passed through the detector, GW memory offers a novel avenue to proof-test General Relativity, access the non-linear nature of gravity, and provide complementary information for a better characterization of the GW source. Previous studies have shown that GW memory detection from individual mergers of massive black hole binaries is expected with LISA. However, these works have not simulated the proper time domain response of the detector to the GW memory. This work is filling this gap and presents the detection prospects of LISA regarding GW memory and the expected signature of GW memory on the data-streams using the most up-to-date LISA consortium simulations of the response, as well as GW memory time-series computation inherited from numerical relativity. We will confront the LISA observation window to massive black hole binary mergers' population forecasted with the state-of-the-art population models and evaluate the odds and the expected accuracies regarding GW memory observations in the LISA lifetime. We conclude that GW memory will be a key feature of several events detected by LISA, and will help to exploit the scientific potential of the mission fully.


title: MGRQ: Post-Training Quantization For Vision Transformer With Mixed Granularity Reconstruction

abstract: Post-training quantization (PTQ) efficiently compresses vision models, but unfortunately, it accompanies a certain degree of accuracy degradation. Reconstruction methods aim to enhance model performance by narrowing the gap between the quantized model and the full-precision model, often yielding promising results. However, efforts to significantly improve the performance of PTQ through reconstruction in the Vision Transformer (ViT) have shown limited efficacy. In this paper, we conduct a thorough analysis of the reasons for this limited effectiveness and propose MGRQ (Mixed Granularity Reconstruction Quantization) as a solution to address this issue. Unlike previous reconstruction schemes, MGRQ introduces a mixed granularity reconstruction approach. Specifically, MGRQ enhances the performance of PTQ by introducing Extra-Block Global Supervision and Intra-Block Local Supervision, building upon Optimized Block-wise Reconstruction. Extra-Block Global Supervision considers the relationship between block outputs and the model's output, aiding block-wise reconstruction through global supervision. Meanwhile, Intra-Block Local Supervision reduces generalization errors by aligning the distribution of outputs at each layer within a block. Subsequently, MGRQ is further optimized for reconstruction through Mixed Granularity Loss Fusion. Extensive experiments conducted on various ViT models illustrate the effectiveness of MGRQ. Notably, MGRQ demonstrates robust performance in low-bit quantization, thereby enhancing the practicality of the quantized model.


title: Correlations and Signaling in the Schr\"{o}dinger-Newton Model

abstract: The Schr\"odinger-Newton model is a semi-classical theory in which, in addition to mutual attraction, massive quantum particles interact with their own gravitational fields. While there are many studies on the phenomenology of single particles, correlation dynamics in multipartite systems is largely unexplored. Here, we show that the Schr\"odinger-Newton interactions preserve the product form of initial states, yet on average it agrees with classical mechanics of continuous mass distributions. This leads to a simple test of the model, based on verifying bipartite gravitational evolution towards non-product states. We show using standard quantum mechanics that, with currently accessible single-particle parameters, two masses released from harmonic traps get correlated well before any observable entanglement is accumulated. Therefore, the Schr\"odinger-Newton model can be tested with setups aimed at observation of gravitational entanglement with significantly relaxed requirements on coherence time. We also present a mixed-state extension of the model that avoids superluminal signaling.


title: Elastic scattering on a quantum computer

abstract: Scattering probes the internal structure of quantum systems. We calculate the two-particle elastic scattering phase shift for a short-ranged interaction on a quantum computer. Short-ranged interactions with a large scattering length or shallow bound state describe a universality class that is of interest in atomic, condensed matter, nuclear, and particle physics. The phase shift is calculated by relating the ground state energy of the interacting particles in a harmonic trap. The relaxation method is used as the variational quantum eigensolver for the ground state calculation. Schmidt decomposition is used to reduce quantum circuits nominally requiring tens of qubits to 2-qubit circuits, thus reducing the noise in quantum measurements. Calculations in multi-particle systems with many-body interactions would benefit from this reduction of qubits in noisy quantum processors.


title: Sparse reconstruction in spin systems II: Ising and other factor of IID measures

abstract: For a sequence of Boolean functions $f_n : \{-1, 1\}^{V_n} \longrightarrow \{-1, 1\}$, with random input given by some probability measure $\mathbb{P}_n$, we say that there is sparse reconstruction for $f_n$ if there is a sequence of subsets $U_n \subseteq V_n$ of coordinates satisfying $|U_n| = o(|V_n|)$ such that knowing the spins in $U_n$ gives us a non-vanishing amount of information about the value of $f_n$. In the first part of this work, we showed that if the $\mathbb{P}_n$s are product measures, then no sparse reconstruction is possible for any sequence of transitive functions. In this sequel, we consider spin systems that are relatives of IID measures in one way or another, with our main focus being on the Ising model on finite transitive graphs or exhaustions of lattices. We prove that no sparse reconstruction is possible for the entire high temperature regime on Euclidean boxes and the Curie-Weiss model, while sparse reconstruction for the majority function of the spins is possible in the critical and low temperature regimes. We give quantitative bounds for two-dimensional boxes and the Curie-Weiss model, sharp in the latter case. The proofs employ several different methods, including factor of IID and FK random cluster representations, strong spatial mixing, a generalization of discrete Fourier analysis to Divide-and-Color models, and entropy inequalities.


title: C2HLSC: Can LLMs Bridge the Software-to-Hardware Design Gap?

abstract: High Level Synthesis (HLS) tools offer rapid hardware design from C code, but their compatibility is limited by code constructs. This paper investigates Large Language Models (LLMs) for refactoring C code into HLS-compatible formats. We present several case studies by using an LLM to rewrite C code for NIST 800-22 randomness tests, a QuickSort algorithm and AES-128 into HLS-synthesizable c. The LLM iteratively transforms the C code guided by user prompts, implementing functions like streaming data and hardware-specific signals. This evaluation demonstrates the LLM's potential to assist hardware design refactoring regular C code into HLS synthesizable C code.


title: Determination of the distance from a projection to nilpotents

abstract: In this note, we study the distance from an arbitrary nonzero projection $P$ to the set of nilpotents in a factor $\mathcal{M}$ equipped with a normal faithful tracial state $\tau$. We prove that the distance equals $(2\cos \frac{\tau(P)\pi}{1+2\tau(P)})^{-1}$. This is new even in the case where $\mathcal{M}$ is the matrix algebra. The special case settles a conjecture posed by Z. Cramer.


title: Variational Mode Decomposition as Trusted Data Augmentation in ML-based Power System Stability Assessment

abstract: Balanced data is required for deep neural networks (DNNs) when learning to perform power system stability assessment. However, power system measurement data contains relatively few events from where power system dynamics can be learnt. To mitigate this imbalance, we propose a novel data augmentation strategy preserving the dynamic characteristics to be learnt. The augmentation is performed using Variational Mode Decomposition. The detrended and the augmented data are tested for distributions similarity using Kernel Maximum Mean Discrepancy test. In addition, the effectiveness of the augmentation methodology is validated via training an Encoder DNN utilizing original data, testing using the augmented data, and evaluating the Encoder's performance employing several metrics.


title: Two sides of the same coin: the F-statistic and the 5-vector method

abstract: This work explores the relationship between two data-analysis methods used in the search for continuous gravitational waves in LIGO-Virgo-KAGRA data: the $\mathcal{F}$-statistic and the 5-vector method. We show that the 5-vector method can be derived from a maximum likelihood framework similar to the $\mathcal{F}$-statistic. Our analysis demonstrates that the two methods are statistically equivalent, providing the same detection probability for a given false alarm rate. We extend this comparison to multiple detectors, highlighting differences from the standard approach that simply combines 5-vectors from each detector. In our maximum likelihood approach, each 5-vector is weighted by the observation time and sensitivity of its respective detector, resulting in efficient estimators and analytical distributions for the detection statistic. Additionally, we present the analytical computation of sensitivity for different searches, expressed in terms of the minimum detectable amplitude.


title: Absorptive Corrections to the Electromagnetic Form Factor in High-Energy Elastic Proton-Proton Scattering

abstract: Recently, it was noted that absorptive corrections to the electromagnetic form factor in high-energy proton-proton scattering are important for the theoretical interpretation of the $p^\uparrow{p}$ and $p^\uparrow{A}$ analyzing power $A_\text{N}(t)$ measurements with the Hydrogen Jet Target polarimeter (HJET) at RHIC. Here, a concise expression for the absorptive correction was derived within the eikonal approach. The resulting analysis reveals a systematic bias, nearly independent of the beam energy, in the experimental determination of the real-to-imaginary ratio $\rho$ when absorption effects are overlooked in the data analysis. Quantification of this bias, as $\rho^\text{meas}=\rho + (0.036\pm0.016)_\text{bias}$, was achieved using a Regge fit applied to available proton-proton measurements of $\rho^\text{meas}(s)$ and $\sigma^\text{meas}_\text{tot}(s)$. Considering the potential impact of such an effect on the experimentally determined $A_\text{N}(t)$, one may enhance consistency between the HJET and STAR measurements of the hadronic spin-flip amplitude. While the sign of the bias in the value of $\rho$ aligns with the anticipated effective increase in the proton charge radius in $pp$ scattering due to absorption, it amplifies the observed discrepancy between $\sigma^\text{meas}_\text{tot}$ and $\rho^\text{meas}$ values at $\sqrt{s}=13\,\text{TeV}$ as measured in the TOTEM experiment. Evaluation (using published TOTEM data) of the measured proton-proton $d\sigma/dt$ dependence on the absorptive corrections indicated that possible soft photon corrections to the hadronic amplitude slope may be essential for such data analysis.


title: Near-Field Multiuser Communications based on Sparse Arrays

abstract: This paper considers near-field multiuser communications based on sparse arrays (SAs). First, for the uniform SAs (USAs), we analyze the beam gains of channel steering vectors, which shows that increasing the antenna spacings can effectively improve the spatial resolution of the antenna arrays to enhance the sum rate of multiuser communications. Then, we investigate nonuniform SAs (NSAs) to mitigate the high multiuser interference from the grating lobes of the USAs. To maximize the sum rate of near-field multiuser communications, we optimize the antenna positions of the NSAs, where a successive convex approximation-based antenna position optimization algorithm is proposed. Moreover, we find that the channels of both the USAs and the NSAs show uniform sparsity in the defined surrogate distance-angle (SD-A) domain. Based on the channel sparsity, an on-grid SD-A-domain orthogonal matching pursuit (SDA-OMP) algorithm is developed to estimate multiuser channels. To further improve the resolution of the SDA-OMP, we also design an off-grid SD-A-domain iterative super-resolution channel estimation algorithm. Simulation results demonstrate the superior performance of the proposed methods.


title: EHAZOP: A Proof of Concept Ethical Hazard Analysis of an Assistive Robot

abstract: The use of assistive robots in domestic environments can raise significant ethical concerns, from the risk of individual ethical harm to wider societal ethical impacts including culture flattening and compromise of human dignity. It is therefore essential to ensure that technological development of these robots is informed by robust and inclusive techniques for mitigating ethical concerns. This paper presents EHAZOP, a method for conducting an ethical hazard analysis on an assistive robot. EHAZOP draws upon collaborative, creative and structured processes originating within safety engineering, using these to identify ethical concerns associated with the operation of a given assistive robot. We present the results of a proof of concept study of EHAZOP, demonstrating the potential for this process to identify diverse ethical hazards in these systems.


title: Comparison Visual Instruction Tuning

abstract: Comparing two images in terms of Commonalities and Differences (CaD) is a fundamental human capability that forms the basis of advanced visual reasoning and interpretation. It is essential for the generation of detailed and contextually relevant descriptions, performing comparative analysis, novelty detection, and making informed decisions based on visual data. However, surprisingly, little attention has been given to these fundamental concepts in the best current mimic of human visual intelligence - Large Multimodal Models (LMMs). We develop and contribute a new two-phase approach CaD-VI for collecting synthetic visual instructions, together with an instruction-following dataset CaD-Inst containing 349K image pairs with CaD instructions collected using CaD-VI. Our approach significantly improves the CaD spotting capabilities in LMMs, advancing the SOTA on a diverse set of related tasks by up to 17.5%. It is also complementary to existing difference-only instruction datasets, allowing automatic targeted refinement of those resources increasing their effectiveness for CaD tuning by up to 10%. Additionally, we propose an evaluation benchmark with 7.5K open-ended QAs to assess the CaD understanding abilities of LMMs.


title: What is the long-run distribution of stochastic gradient descent? A large deviations analysis

abstract: In this paper, we examine the long-run distribution of stochastic gradient descent (SGD) in general, non-convex problems. Specifically, we seek to understand which regions of the problem's state space are more likely to be visited by SGD, and by how much. Using an approach based on the theory of large deviations and randomly perturbed dynamical systems, we show that the long-run distribution of SGD resembles the Boltzmann-Gibbs distribution of equilibrium thermodynamics with temperature equal to the method's step-size and energy levels determined by the problem's objective and the statistics of the noise. In particular, we show that, in the long run, (a) the problem's critical region is visited exponentially more often than any non-critical region; (b) the iterates of SGD are exponentially concentrated around the problem's minimum energy state (which does not always coincide with the global minimum of the objective); (c) all other connected components of critical points are visited with frequency that is exponentially proportional to their energy level; and, finally (d) any component of local maximizers or saddle points is "dominated" by a component of local minimizers which is visited exponentially more often.


title: Towards a Characterisation of Monte-Carlo Tree Search Performance in Different Games

abstract: Many enhancements to Monte-Carlo Tree Search (MCTS) have been proposed over almost two decades of general game playing and other artificial intelligence research. However, our ability to characterise and understand which variants work well or poorly in which games is still lacking. This paper describes work on an initial dataset that we have built to make progress towards such an understanding: 268,386 plays among 61 different agents across 1494 distinct games. We describe a preliminary analysis and work on training predictive models on this dataset, as well as lessons learned and future plans for a new and improved version of the dataset.


title: On averages of completely multiplicative functions over co-prime integer pairs

abstract: Recently, Donoso, Le, Moreira and Sun studied the asymptotic behavior of the averages of completely multiplicative functions over the Gaussian integers. They derived Wirsing's theorem for Gaussian integers, answered a question of Frantzikinakis and Host for sum of two squares, and obtained a variant of a theorem of Bergelson and Richter on ergodic averages along the number of prime factors of integers. In this paper, we will show the analogue of these results for co-prime integer pairs. Moreover, building on Frantzikinakis and Host's results, we obtain some convergences on the multilinear averages of multiplicative functions over primitive lattice points.


title: Final-state interactions in neutrino-induced proton knockout from argon in MicroBooNE

abstract: Neutrino event generators make use of intranuclear cascade models (INCs), to predict the kinematics of hadrons produced in neutrino-nucleus interactions. We perform a consistent comparison of different INCs, by using the same set of events as input to the NEUT, NuWro, Achilles and INCL INCs. The inputs correspond to calculations of the fully differential single-proton knockout cross section, either in the distorted-wave impulse approximation (DWIA) or plane-wave impulse approximation (PWIA), both including realistic nuclear hole spectral functions. We compare the INC results to DWIA calculations with an optical potential, used extensively in the analysis of (e,e'p) experiments. We point out a systematic discrepancy between both approaches. We apply the INC results to recent MicroBooNE data. We assess the influence of the choice of spectral function, finding that large variations in realistic spectral functions are indistinguishable with present data. The data is underpredicted, with strength missing in the region where two-nucleon knockout and resonance production contribute. However, the data is underpredicted also in regions of low transverse missing momentum, where one-nucleon knockout dominates. The inclusion of the interference with two-body currents could lead to additional strength in this region.


title: Two problems on submodules of $H^2(\mathbb{D}^n)$

abstract: Given any shift-invariant closed subspace $\mathcal{S}$ (aka submodule) of the Hardy space over the unit polydisc $H^2(\mathbb{D}^n)$ (where $n \geq 2$), let $R_{z_j}:=M_{z_j}|_{\mathcal{S}}$, and $E_{z_j}:=P_{\mathcal{S}}\circ ev_{z_j}$, for each $j \in \{1,\ldots,n\}$. Here, $ev_{z_j}$ is the operator evaluating at $0$ in the $z_j$-th variable. In this article, we prove that given any subset $\Lambda \subseteq \{1,\ldots,n\}$, there exists a collection of one-variable inner functions $\{\phi_\lambda (z_\lambda)\}_{\lambda \in \Lambda}$ on $\mathbb{D}^n$, such that \[ \mathcal{S} = \sum_{\lambda \in \Lambda} \phi_\lambda (z_\lambda)H^2(\mathbb{D}^n), \] if and only if the conditions $ (I_{\mathcal{S}}-E_{z_k}E_{z_k}^*)(I_{\mathcal{S}}-R_{z_k}R_{z_k}^*)=0$ for all $k \in \{1,\dots,n\} \setminus \Lambda$, and $(I_{\mathcal{S}}-E_{z_{i}}E_{z_{i}}^*)(I_{\mathcal{S}}-R_{z_{i}}R_{z_{i}}^*)(I_{\mathcal{S}}-E_{z_{j}}E_{z_{j}}^*)(I_{\mathcal{S}}-R_{z_{j}}R_{z_{j}}^*)=0$ for all distinct $i,j \in \Lambda$ are satisfied. Following this, we study R.G. Douglas's question on the commutativity of orthogonal projections onto the corresponding quotient modules.


title: OpenVLA: An Open-Source Vision-Language-Action Model

abstract: Large policies pretrained on a combination of Internet-scale vision-language data and diverse robot demonstrations have the potential to change how we teach robots new skills: rather than training new behaviors from scratch, we can fine-tune such vision-language-action (VLA) models to obtain robust, generalizable policies for visuomotor control. Yet, widespread adoption of VLAs for robotics has been challenging as 1) existing VLAs are largely closed and inaccessible to the public, and 2) prior work fails to explore methods for efficiently fine-tuning VLAs for new tasks, a key component for adoption. Addressing these challenges, we introduce OpenVLA, a 7B-parameter open-source VLA trained on a diverse collection of 970k real-world robot demonstrations. OpenVLA builds on a Llama 2 language model combined with a visual encoder that fuses pretrained features from DINOv2 and SigLIP. As a product of the added data diversity and new model components, OpenVLA demonstrates strong results for generalist manipulation, outperforming closed models such as RT-2-X (55B) by 16.5% in absolute task success rate across 29 tasks and multiple robot embodiments, with 7x fewer parameters. We further show that we can effectively fine-tune OpenVLA for new settings, with especially strong generalization results in multi-task environments involving multiple objects and strong language grounding abilities, and outperform expressive from-scratch imitation learning methods such as Diffusion Policy by 20.4%. We also explore compute efficiency; as a separate contribution, we show that OpenVLA can be fine-tuned on consumer GPUs via modern low-rank adaptation methods and served efficiently via quantization without a hit to downstream success rate. Finally, we release model checkpoints, fine-tuning notebooks, and our PyTorch codebase with built-in support for training VLAs at scale on Open X-Embodiment datasets.


title: Modelling the magnetic vectors of ICMEs at different heliocentric distances with INFROS

abstract: The INterplanetary Flux ROpe Simulator (INFROS) is an observationally constrained analytical model dedicated for forecasting the strength of the southward component (Bz) of the magnetic field embedded in interplanetary coronal mass ejections (ICMEs). In this work, we validate the model for six ICMEs sequentially observed by two radially-aligned spacecraft positioned at different heliocentric distances. The six selected ICMEs in this study comprise of cases associated with isolated CME evolution as well as those interacting with high-speed streams (HSS) and high-density streams (HDS). For the isolated CMEs, our results show that the model outputs at both the spacecraft are in good agreement with in-situ observations. However, for most of the interacting events, the model correctly captures the CME evolution only at the inner spacecraft. Due to the interaction with HSS and HDS, which in most cases occurred at heliocentric distances beyond the inner spacecraft, the ICME evolution no longer remains self-similar. Consequently, the model underestimates the field strength at the outer spacecraft. Our findings indicate that constraining the INFROS model with inner spacecraft observations significantly enhances the prediction accuracy at the outer spacecraft for the three events undergoing self-similar expansion, achieving a 90 % correlation between observed and predicted Bz profiles. This work also presents a quantitative estimation of the ICME magnetic field enhancement due to interaction which may lead to severe space weather. We conclude that the assumption of self-similar expansion provides a lower limit to the magnetic field strength estimated at any heliocentric distance, based on the remote sensing observations.


title: Wigner non-negative states that verify the Wigner entropy conjecture

abstract: We present further progress, in the form of analytical results, on the Wigner entropy conjecture set forth in https://link.aps.org/doi/10.1103/PhysRevA.104.042211 and https://iopscience.iop.org/article/10.1088/1751-8121/aa852f/meta. Said conjecture asserts that the differential entropy defined for non-negative, yet physical, Wigner functions is minimized by pure Gaussian states while the minimum entropy is equal to $1+\ln\pi$. We prove this conjecture for the qubits formed by Fock states $|0\rangle$ and $|1\rangle$ that correspond to non-negative Wigner functions. In particular, we derive an explicit form of the Wigner entropy for those states lying on the boundary of the set of Wigner non-negative qubits. We then consider general mixed states and derive a sufficient condition for Wigner non-negativity. For states satisfying our condition we verify that the conjecture is true. Lastly, we elaborate on the states of the set which is in accordance with our condition.


title: Closed bounded sets in 1-h-minimal valued fields

abstract: We show that the 1-h-minimal fields satisfy a property of naive compactness for decreasing definable families of closed bounded sets indexed by the value group. We use this to prove that a local topological definable group has a definable family of neighborhoods of the identity consisting of open subgroups.


title: MirrorCheck: Efficient Adversarial Defense for Vision-Language Models

abstract: Vision-Language Models (VLMs) are becoming increasingly vulnerable to adversarial attacks as various novel attack strategies are being proposed against these models. While existing defenses excel in unimodal contexts, they currently fall short in safeguarding VLMs against adversarial threats. To mitigate this vulnerability, we propose a novel, yet elegantly simple approach for detecting adversarial samples in VLMs. Our method leverages Text-to-Image (T2I) models to generate images based on captions produced by target VLMs. Subsequently, we calculate the similarities of the embeddings of both input and generated images in the feature space to identify adversarial samples. Empirical evaluations conducted on different datasets validate the efficacy of our approach, outperforming baseline methods adapted from image classification domains. Furthermore, we extend our methodology to classification tasks, showcasing its adaptability and model-agnostic nature. Theoretical analyses and empirical findings also show the resilience of our approach against adaptive attacks, positioning it as an excellent defense mechanism for real-world deployment against adversarial threats.


title: The Tolman-Ehrenfest criterion of thermal equilibrium in scalar-tensor gravity

abstract: The Tolman-Ehrenfest criterion for the thermal equilibrium of a fluid at rest in a static general-relativistic geometry is generalized to scalar-tensor gravity. The gravitational scalar field, which fixes the strength of the effective gravitational coupling, plays a role in determining thermal equilibrium. As a result, heat sinks more in a gravitational field where the geometry is more curved, but also where gravity is stronger.


title: From asymmetric simple exclusion processes with open boundaries to stationary measures of open KPZ fixed point: the shock region

abstract: We continue the investigation of limit fluctuations of stationary measures of the asymmetric simple exclusion processes with open boundaries (open ASEP), complementing the recent result by Bryc et al. (2023). It was shown therein that in the fan region of the phase diagram, an appropriate scaling limit of the height function of open ASEP converges in distribution to a stochastic process introduced by Barraquand and Le Doussal (2022), known as the stationary measure of the (conjectural) open KPZ fixed point. In this paper, we establish the corresponding convergence in the shock region. Our proof is based on the integral representation of the matrix product ansatz in terms of Askey-Wilson signed measures introduced by Wang et al. (2023). The analysis of the asymptotic behavior is more delicate here than in the fan region. In particular, our proof of the duality formula for the stationary measures of the open KPZ fixed point in the shock region is different from the approach by Bryc et al. (2023) taken in the fan region: ours relies crucially on a recent result by Bryc and Zatitskii (2024).


title: Deep Sketched Output Kernel Regression for Structured Prediction

abstract: By leveraging the kernel trick in the output space, kernel-induced losses provide a principled way to define structured output prediction tasks for a wide variety of output modalities. In particular, they have been successfully used in the context of surrogate non-parametric regression, where the kernel trick is typically exploited in the input space as well. However, when inputs are images or texts, more expressive models such as deep neural networks seem more suited than non-parametric methods. In this work, we tackle the question of how to train neural networks to solve structured output prediction tasks, while still benefiting from the versatility and relevance of kernel-induced losses. We design a novel family of deep neural architectures, whose last layer predicts in a data-dependent finite-dimensional subspace of the infinite-dimensional output feature space deriving from the kernel-induced loss. This subspace is chosen as the span of the eigenfunctions of a randomly-approximated version of the empirical kernel covariance operator. Interestingly, this approach unlocks the use of gradient descent algorithms (and consequently of any neural architecture) for structured prediction. Experiments on synthetic tasks as well as real-world supervised graph prediction problems show the relevance of our method.


title: General Bayesian Predictive Synthesis

abstract: This study investigates Bayesian ensemble learning for improving the quality of decision-making. We consider a decision-maker who selects an action from a set of candidates based on a policy trained using observations. In our setting, we assume the existence of experts who provide predictive distributions based on their own policies. Our goal is to integrate these predictive distributions within the Bayesian framework. Our proposed method, which we refer to as General Bayesian Predictive Synthesis (GBPS), is characterized by a loss minimization framework and does not rely on parameter estimation, unlike existing studies. Inspired by Bayesian predictive synthesis and general Bayes frameworks, we evaluate the performance of our proposed method through simulation studies.


title: Compact Parallel Hash Tables on the GPU

abstract: On the GPU, hash table operation speed is determined in large part by cache line efficiency, and state-of-the-art hashing schemes thus divide tables into cache line-sized buckets. This raises the question whether performance can be further improved by increasing the number of entries that fit in such buckets. Known compact hashing techniques have not yet been adapted to the massively parallel setting, nor have they been evaluated on the GPU. We consider a compact version of bucketed cuckoo hashing, and a version of compact iceberg hashing suitable for the GPU. We discuss the tables from a theoretical perspective, and provide an open source implementation of both schemes in CUDA for comparative benchmarking. In terms of performance, the state-of-the-art cuckoo hashing benefits from compactness on lookups and insertions (most experiments show at least 10-20% increase in throughput), and the iceberg table benefits significantly, to the point of being comparable to compact cuckoo hashing--while supporting performant dynamic operation.


title: Integral solutions to systems of diagonal equations

abstract: In this paper, we obtain the asymptotic formula for the number of integral solutions to a system of diagonal equations. We obtain the asymptotic formula for the number of solutions with variables restricted to smooth numbers as well. We improve the required number of variables compared to previous results by incorporating the recent progress on Waring's problem and the resolution of Vinogradov's mean value theorem.


title: Assessing Model Generalization in Vicinity

abstract: This paper evaluates the generalization ability of classification models on out-of-distribution test sets without depending on ground truth labels. Common approaches often calculate an unsupervised metric related to a specific model property, like confidence or invariance, which correlates with out-of-distribution accuracy. However, these metrics are typically computed for each test sample individually, leading to potential issues caused by spurious model responses, such as overly high or low confidence. To tackle this challenge, we propose incorporating responses from neighboring test samples into the correctness assessment of each individual sample. In essence, if a model consistently demonstrates high correctness scores for nearby samples, it increases the likelihood of correctly predicting the target sample, and vice versa. The resulting scores are then averaged across all test samples to provide a holistic indication of model accuracy. Developed under the vicinal risk formulation, this approach, named vicinal risk proxy (VRP), computes accuracy without relying on labels. We show that applying the VRP method to existing generalization indicators, such as average confidence and effective invariance, consistently improves over these baselines both methodologically and experimentally. This yields a stronger correlation with model accuracy, especially on challenging out-of-distribution test sets.


title: Extraction of Information from Polarized Deep Exclusive Scattering with Machine Learning

abstract: A framework defining benchmarks for the analysis of polarized exclusive scattering cross sections is proposed that uses physics symmetry constraints as well as lattice QCD predictions. These constraints are built into machine learning (ML) algorithms. Both physics driven and ML based benchmarks are applied to a wide range of deeply virtual exclusive processes through explainable ML techniques with controllable uncertainties. The observables, namely the Compton Form Factors (CFFs) which are convolutions of Generalized Parton Distributions (GPDs), are extracted using methods such as the random targets method to evaluate the separate contribution of the aleatoric and epistemic uncertainties in exclusive scattering analyses.


title: Freudenthal Duality in Conformal Field Theory

abstract: Rotational Freudenthal duality (RFD) relates two extremal Kerr-Newman (KN) black holes (BHs) with different angular momenta and electric-magnetic charges, but with the same Bekenstein-Hawking entropy. Through the Kerr/CFT correspondence (and its KN extension), a four-dimensional, asymptotically flat extremal KN BH is endowed with a dual thermal, two-dimensional conformal field theory (CFT) such that the Cardy entropy of the CFT is the same as the Bekenstein-Hawking entropy of the KN BH itself. Using this connection, we study the effect of the RFD on the thermal CFT dual to the KN extremal BH. We find that the RFD maps two different thermal, two-dimensional CFTs with different temperatures and central charges, but with the same asymptotic density of states, thereby matching the Cardy entropy. In an appendix, we discuss the action of the RFD on doubly-extremal rotating BHs, finding a spurious branch in the non-rotating limit, and determining that for this class of BH solutions the image of the RFD necessarily over-rotates.


title: Deep Transformer Network for Monocular Pose Estimation of Ship-Based UAV

abstract: This paper introduces a deep transformer network for estimating the relative 6D pose of a Unmanned Aerial Vehicle (UAV) with respect to a ship using monocular images. A synthetic dataset of ship images is created and annotated with 2D keypoints of multiple ship parts. A Transformer Neural Network model is trained to detect these keypoints and estimate the 6D pose of each part. The estimates are integrated using Bayesian fusion. The model is tested on synthetic data and in-situ flight experiments, demonstrating robustness and accuracy in various lighting conditions. The position estimation error is approximately 0.8\% and 1.0\% of the distance to the ship for the synthetic data and the flight experiments, respectively. The method has potential applications for ship-based autonomous UAV landing and navigation.


title: Non-Invertible Surface Defects in 2+1d QFTs from Half Spacetime Gauging

abstract: We study duality defects in 2+1d theories with $\bZ^{(0)}_N\times\bZ^{(1)}_N$ global symmetry and trivial mixed 't Hooft anomaly. By gauging these symmetries simultaneously in half of the spacetime, we define duality defects for theories that are self-dual under gauging. We calculate the fusion rules involving duality defects and show that they obey a fusion 2-category. We also construct the corresponding symmetry topological field theory, a four-dimensional BF theory on a slab which realizes the duality defects on the boundary upon shrinking the interval. Furthermore, we provide explicit examples of such duality defects in $U(1)\times U(1)$ gauge theories and in more general product theories. Finally, we find duality defects in non-Lagrangian theories obtained by compactification of 6d $\cN=(2,0)$ SCFTs of type $A_{N-1}$ on various three-manifolds.


title: Flexible Heteroscedastic Count Regression with Deep Double Poisson Networks

abstract: Neural networks that can produce accurate, input-conditional uncertainty representations are critical for real-world applications. Recent progress on heteroscedastic continuous regression has shown great promise for calibrated uncertainty quantification on complex tasks, like image regression. However, when these methods are applied to discrete regression tasks, such as crowd counting, ratings prediction, or inventory estimation, they tend to produce predictive distributions with numerous pathologies. We propose to address these issues by training a neural network to output the parameters of a Double Poisson distribution, which we call the Deep Double Poisson Network (DDPN). In contrast to existing methods that are trained to minimize Gaussian negative log likelihood (NLL), DDPNs produce a proper probability mass function over discrete output. Additionally, DDPNs naturally model under-, over-, and equi-dispersion, unlike networks trained with the more rigid Poisson and Negative Binomial parameterizations. We show DDPNs 1) vastly outperform existing discrete models; 2) meet or exceed the accuracy and flexibility of networks trained with Gaussian NLL; 3) produce proper predictive distributions over discrete counts; and 4) exhibit superior out-of-distribution detection. DDPNs can easily be applied to a variety of count regression datasets including tabular, image, point cloud, and text data.


title: Generative Inverse Design of Crystal Structures via Diffusion Models with Transformers

abstract: Recent advances in deep learning have enabled the generation of realistic data by training generative models on large datasets of text, images, and audio. While these models have demonstrated exceptional performance in generating novel and plausible data, it remains an open question whether they can effectively accelerate scientific discovery through the data generation and drive significant advancements across various scientific fields. In particular, the discovery of new inorganic materials with promising properties poses a critical challenge, both scientifically and for industrial applications. However, unlike textual or image data, materials, or more specifically crystal structures, consist of multiple types of variables - including lattice vectors, atom positions, and atomic species. This complexity in data give rise to a variety of approaches for representing and generating such data. Consequently, the design choices of generative models for crystal structures remain an open question. In this study, we explore a new type of diffusion model for the generative inverse design of crystal structures, with a backbone based on a Transformer architecture. We demonstrate our models are superior to previous methods in their versatility for generating crystal structures with desired properties. Furthermore, our empirical results suggest that the optimal conditioning methods vary depending on the dataset.


title: Towards Bidirectional Human-AI Alignment: A Systematic Review for Clarifications, Framework, and Future Directions

abstract: Recent advancements in general-purpose AI have highlighted the importance of guiding AI systems towards the intended goals, ethical principles, and values of individuals and groups, a concept broadly recognized as alignment. However, the lack of clarified definitions and scopes of human-AI alignment poses a significant obstacle, hampering collaborative efforts across research domains to achieve this alignment. In particular, ML- and philosophy-oriented alignment research often views AI alignment as a static, unidirectional process (i.e., aiming to ensure that AI systems' objectives match humans) rather than an ongoing, mutual alignment problem [429]. This perspective largely neglects the long-term interaction and dynamic changes of alignment. To understand these gaps, we introduce a systematic review of over 400 papers published between 2019 and January 2024, spanning multiple domains such as Human-Computer Interaction (HCI), Natural Language Processing (NLP), Machine Learning (ML), and others. We characterize, define and scope human-AI alignment. From this, we present a conceptual framework of "Bidirectional Human-AI Alignment" to organize the literature from a human-centered perspective. This framework encompasses both 1) conventional studies of aligning AI to humans that ensures AI produces the intended outcomes determined by humans, and 2) a proposed concept of aligning humans to AI, which aims to help individuals and society adjust to AI advancements both cognitively and behaviorally. Additionally, we articulate the key findings derived from literature analysis, including discussions about human values, interaction techniques, and evaluations. To pave the way for future studies, we envision three key challenges for future directions and propose examples of potential future solutions.


title: Sharing Matters: Analysing Neurons Across Languages and Tasks in LLMs

abstract: Multilingual large language models (LLMs) have greatly increased the ceiling of performance on non-English tasks. However the mechanisms behind multilingualism in these LLMs are poorly understood. Of particular interest is the degree to which internal representations are shared between languages. Recent work on neuron analysis of LLMs has focused on the monolingual case, and the limited work on the multilingual case has not considered the interaction between tasks and linguistic representations. In our work, we investigate how neuron activation is shared across languages by categorizing neurons into four distinct groups according to their responses across different languages for a particular input: all-shared, partial-shared, specific, and non-activated. This categorization is combined with a study of neuron attribution, i.e. the importance of a neuron w.r.t an output. Our analysis reveals the following insights: (i) the linguistic sharing patterns are strongly affected by the type of task, but neuron behaviour changes across different inputs even for the same task; (ii) all-shared neurons play a key role in generating correct responses; (iii) boosting multilingual alignment by increasing all-shared neurons can enhance accuracy on multilingual tasks. The code is available at https://github.com/weixuan-wang123/multilingual-neurons.


title: SySTeC: A Symmetric Sparse Tensor Compiler

abstract: Symmetric and sparse tensors arise naturally in many domains including linear algebra, statistics, physics, chemistry, and graph theory. Symmetric tensors are equal to their transposes, so in the $n$-dimensional case we can save up to a factor of $n!$ by avoiding redundant operations. Sparse tensors, on the other hand, are mostly zero, and we can save asymptotically by processing only nonzeros. Unfortunately, specializing for both symmetry and sparsity at the same time is uniquely challenging. Optimizing for symmetry requires consideration of $n!$ transpositions of a triangular kernel, which can be complex and error prone. Considering multiple transposed iteration orders and triangular loop bounds also complicates iteration through intricate sparse tensor formats. Additionally, since each combination of symmetry and sparse tensor formats requires a specialized implementation, this leads to a combinatorial number of cases. A compiler is needed, but existing compilers cannot take advantage of both symmetry and sparsity within the same kernel. In this paper, we describe the first compiler which can automatically generate symmetry-aware code for sparse or structured tensor kernels. We introduce a taxonomy for symmetry in tensor kernels, and show how to target each kind of symmetry. Our implementation demonstrates significant speedups ranging from 1.36x for SSYMV to 30.4x for a 5-dimensional MTTKRP over the non-symmetric state of the art.


title: Global smooth solutions by transport noise of 3D Navier-Stokes equations with small hyperviscosity

abstract: The existence of global smooth solutions to the Navier-Stokes equations (NSEs) with hyperviscosity $(-\Delta)^{\gamma}$ is open unless $\gamma $ is close to the J.-L. Lions exponent $ \frac{5}{4}$ at which the energy balance is strong enough to prevent singularity formation. If $1<\gamma \ll \frac{5}{4}$, then the global well-posedness of the hyperviscous NSEs is widely open as for the usual NSEs. In this paper, for all $\gamma>1$, we show the existence of a transport noise for which global smooth solutions to the stochastic hyperviscous NSEs on the three-dimensional torus exist with high probability. In particular, a suitable transport noise considerably improves the known well-posedness results in the deterministic setting.


title: Cascade of multi-exciton states generated by singlet fission

abstract: Identifying multi-exciton states generated from singlet fission is key to understanding the carrier multiplication process, which presents a strategy for improving the efficiency of photovoltaics and bio-imaging. Broadband optically detected magnetic resonance is a sensitive technique to detect multi-exciton states. Here we report a dominant species emerging under intense light excitation corresponding to a weakly exchange coupled triplet pair located on adjacent molecules oriented by nearly 90 degrees, contrasting to the pi-stacked triplet pair under low excitation intensity. The weakly coupled species model precisely reproduces the intricate spin transitions in the Hilbert space of the triplet pair. Combining the magneto photoluminescence and high-magnetic field ODMR, we also identify a strongly exchange-coupled state of three triplet excitons formed by photoexcited V2, which manifests through the magnetic field induced level crossings between its quintet and triplet manifolds. The excellent agreement between the experimental Zeeman fan and the two-triplet spin Hamiltonian highlights the potential of multi-exciton states for quantum information processing.


title: CMB bounds on primordial black holes with dark matter mini-halos: the role of radiative feedback

abstract: Observations of the cosmic microwave background constrain the abundance of primordial black holes, as these would accrete gas and inject energy into the cosmological medium. We have revisited these constraints, taking into account the local heating and ionisation of the gas around the black holes. While constraints for \textit{naked} black holes are not significantly affected, bounds including dark matter mini-halos are drastically relaxed. This result suggests that previous analysis may have significantly overestimated the role of dark matter mini-halos in boosting the accretion rates.


title: Discovery and Extensive Follow-Up of SN 2024ggi, a nearby type IIP supernova in NGC 3621

abstract: We present the discovery and early observations of the nearby Type II supernova (SN) 2024ggi in NGC 3621 at 6.64 +/- 0.3 Mpc. The SN was caught 5.8 (+1.9 -2.9) hours after its explosion by the ATLAS survey. Early-phase, high-cadence, and multi-band photometric follow-up was performed by the Kinder (Kilonova Finder) project, collecting over 1000 photometric data points within a week. The combined o- and r-band light curves show a rapid rise of 3.3 magnitudes in 13.7 hours, much faster than SN 2023ixf (another recent, nearby, and well-observed SN II). Between 13.8 and 18.8 hours after explosion SN 2024ggi became bluer, with u-g colour dropping from 0.53 to 0.15 mag. The rapid blueward evolution indicates a wind shock breakout (SBO) scenario. No hour-long brightening expected for the SBO from a bare stellar surface was detected during our observations. The classification spectrum, taken 17 hours after the SN explosion, shows flash features of high-ionization species such as Balmer lines, He I, C III, and N III. Detailed light curve modeling reveals critical insights into the properties of the circumstellar material (CSM). Our favoured model has an explosion energy of 2 x 10^51 erg, a mass-loss rate of 10^-3 solar_mass/yr (with an assumed 10 km/s wind), and a confined CSM radius of 6 x 10^14 cm. The corresponding CSM mass is 0.4 solar_mass. Comparisons with SN 2023ixf highlight that SN 2024ggi has a smaller CSM density, resulting in a faster rise and fainter UV flux. The extensive dataset and the involvement of citizen astronomers underscore that a collaborative network is essential for SBO searches, leading to more precise and comprehensive SN characterizations.


title: Spin excitations in Nd1-xSrxNiO2 and YBa2Cu3O7-delta: the influence of Hubbard U

abstract: We use Resonant Inelastic X-ray Scattering (RIXS) to compare the doping dependence of magnetic excitations of an Infinite-Layer nickelate to those of a prototypical superconducting cuprate. The polarization analysis of RIXS spectra establishes the dominant spin-flip nature of the mid-infrared peak in both cases. Hole doping leads to opposite behavior of the magnetic energy in the two materials. By fitting the data with an original Hubbard-based model for dynamic susceptibility, we find that t is comparable in the two materials while U is about twice larger in the nickelate. This finding accounts for the smaller magnetic bandwidth of nickelates and for its decrease upon doping.


title: Action2Sound: Ambient-Aware Generation of Action Sounds from Egocentric Videos

abstract: Generating realistic audio for human interactions is important for many applications, such as creating sound effects for films or virtual reality games. Existing approaches implicitly assume total correspondence between the video and audio during training, yet many sounds happen off-screen and have weak to no correspondence with the visuals -- resulting in uncontrolled ambient sounds or hallucinations at test time. We propose a novel ambient-aware audio generation model, AV-LDM. We devise a novel audio-conditioning mechanism to learn to disentangle foreground action sounds from the ambient background sounds in in-the-wild training videos. Given a novel silent video, our model uses retrieval-augmented generation to create audio that matches the visual content both semantically and temporally. We train and evaluate our model on two in-the-wild egocentric video datasets Ego4D and EPIC-KITCHENS. Our model outperforms an array of existing methods, allows controllable generation of the ambient sound, and even shows promise for generalizing to computer graphics game clips. Overall, our work is the first to focus video-to-audio generation faithfully on the observed visual content despite training from uncurated clips with natural background sounds.


title: QCD constraints on isospin-dense matter and the nuclear equation of state

abstract: Understanding the behavior of dense hadronic matter is a central goal in nuclear physics as it governs the nature and dynamics of astrophysical objects such as supernovae and neutron stars. Because of the non-perturbative nature of quantum chromodynamics (QCD), little is known rigorously about hadronic matter in these extreme conditions. Here, lattice QCD calculations are used to compute thermodynamic quantities and the equation of state of QCD over a wide range of isospin chemical potentials. Agreement is seen with chiral perturbation theory predictions when the chemical potential is small. Comparison to perturbative QCD calculations at large chemical potential allows for an estimate of the gap in the superconducting phase, and this quantity is seen to agree with perturbative determinations. Since the partition function for an isospin chemical potential, $\mu_I$, bounds the partition function for a baryon chemical potential $\mu_B=3/2\mu_I$, these calculations also provide rigorous non-perturbative QCD bounds on the nuclear equation of state over a wide range of baryon densities for the first time.


title: Doubled Shapiro steps in a dynamic axion insulator Josephson junction

abstract: Dynamic axion insulators feature a time-dependent axion field that can be induced by antiferromagnetic resonance. Here, we show that a Josephson junction incorporating this dynamic axion insulator between two superconductors exhibits a striking doubled Shapiro steps wherein all odd steps are completely suppressed in the jointly presence of a DC bias and a static magnetic field. The resistively shunted junction simulation confirms that these doubled Shapiro steps originate from the distinctive axion electrodynamics driven by the antiferromagnetic resonance, which thus not only furnishes a hallmark to identify the dynamic axion insulator but also provides a method to evaluate its mass term. Furthermore, the experimentally feasible differential conductance is also determined. Our work holds significant importance in condensed matter physics and materials science for understanding the dynamic axion insulator, paving the way for its further exploration and applications.


title: The CUISINES Framework for Conducting Exoplanet Model Intercomparison Projects, Version 1.0

abstract: As JWST begins to return observations, it is more important than ever that exoplanet climate models can consistently and correctly predict the observability of exoplanets, retrieval of their data, and interpretation of planetary environments from that data. Model intercomparisons play a crucial role in this context, especially now when few data are available to validate model predictions. The CUISINES Working Group of NASA's Nexus for Exoplanet System Science (NExSS) supports a systematic approach to evaluating the performance of exoplanet models, and provides here a framework for conducting community-organized exoplanet Model Intercomparison Projects (exoMIPs). The CUISINES framework adapts Earth climate community practices specifically for the needs of exoplanet researchers, encompassing a range of model types, planetary targets, and parameter space studies. It is intended to help researchers to work collectively, equitably, and openly toward common goals. The CUISINES framework rests on five principles: 1) Define in advance what research question(s) the exoMIP is intended to address. 2) Create an experimental design that maximizes community participation, and advertise it widely. 3) Plan a project timeline that allows all exoMIP members to participate fully. 4) Generate data products from model output for direct comparison to observations. 5) Create a data management plan that is workable in the present and scalable for the future. Within the first years of its existence, CUISINES is already providing logistical support to 10 exoMIPs, and will continue to host annual workshops for further community feedback and presentation of new exoMIP ideas.


title: Multigrid preconditioning for discontinuous Galerkin discretizations of an elliptic optimal control problem with a convection-dominated state equation

abstract: We consider discontinuous Galerkin methods for an elliptic distributed optimal control problem constrained by a convection-dominated problem. We prove global optimal convergence rates using an inf-sup condition, with the diffusion parameter $\varepsilon$ and regularization parameter $\beta$ explicitly tracked. We then propose a multilevel preconditioner based on downwind ordering to solve the discretized system. The preconditioner only requires two approximate solves of single convection-dominated equations using multigrid methods. Moreover, for the strongly convection-dominated case, only two sweeps of block Gauss-Seidel iterations are needed. We also derive a simple bound indicating the role played by the multigrid preconditioner. Numerical results are shown to support our findings.


title: End-to-end Streaming model for Low-Latency Speech Anonymization

abstract: Speaker anonymization aims to conceal cues to speaker identity while preserving linguistic content. Current machine learning based approaches require substantial computational resources, hindering real-time streaming applications. To address these concerns, we propose a streaming model that achieves speaker anonymization with low latency. The system is trained in an end-to-end autoencoder fashion using a lightweight content encoder that extracts HuBERT-like information, a pretrained speaker encoder that extract speaker identity, and a variance encoder that injects pitch and energy information. These three disentangled representations are fed to a decoder that resynthesizes the speech signal. We present evaluation results from two implementations of our system, a full model that achieves a latency of 230ms, and a lite version (0.1x in size) that further reduces latency to 66ms while maintaining state-of-the-art performance in naturalness, intelligibility, and privacy preservation.


title: Boosting information transfer in a quantum correlated medium

abstract: Sharing and receiving information plays a pivotal role in science and technology. Quantum communication relies on the principles of quantum mechanics to transmit information in a nonclassical manner. Existing quantum communication protocols are commonly based on shared entangled states between sender and receiver, while the transmitting medium is classical. We here demonstrate that information transfer may be enhanced in a quantum correlated medium without entanglement distribution. We concretely show that nonclassical correlations, with nonzero discord, between the first two spins of a spin chain that acts as a quantum wire can increase the information flow and reduce the propagation time. We relate this effect to the breaking of the spatial symmetry of the out-of-time-order correlator that characterizes the spread of information through the medium.


title: Unpacking DPO and PPO: Disentangling Best Practices for Learning from Preference Feedback

abstract: Learning from preference feedback has emerged as an essential step for improving the generation quality and performance of modern language models (LMs). Despite its widespread use, the way preference-based learning is applied varies wildly, with differing data, learning algorithms, and evaluations used, making disentangling the impact of each aspect difficult. In this work, we identify four core aspects of preference-based learning: preference data, learning algorithm, reward model, and policy training prompts, systematically investigate the impact of these components on downstream model performance, and suggest a recipe for strong learning for preference feedback. Our findings indicate that all aspects are important for performance, with better preference data leading to the largest improvements, followed by the choice of learning algorithm, the use of improved reward models, and finally the use of additional unlabeled prompts for policy training. Notably, PPO outperforms DPO by up to 2.5% in math and 1.2% in general domains. High-quality preference data leads to improvements of up to 8% in instruction following and truthfulness. Despite significant gains of up to 5% in mathematical evaluation when scaling up reward models, we surprisingly observe marginal improvements in other categories. We publicly release the code used for training (https://github.com/hamishivi/EasyLM) and evaluating (https://github.com/allenai/open-instruct) our models, along with the models and datasets themselves (https://huggingface.co/collections/allenai/tulu-v25-suite-66676520fd578080e126f618).


title: Jet formation in post-AGB binaries: Confronting cold magnetohydrodynamic disc wind wind models with observations

abstract: Aims: We consider cold self-similar magnetohydrodynamic (MHD) disc wind solutions to describe jets that are launched from the circumcompanion accretion discs in post-AGB binaries. Resulting predictions are matched to observations for five different post-AGB binaries. This both tests the physical validity of the MHD disc wind paradigm and reveals the accretion disc properties. Results: Many of the time-series' properties are reproduced well by the models, though systematic mismatches, such as overestimated rotation, remain. Four targets imply accretion discs that reach close to the secondary's stellar surface, while one is fitted with an unrealistically large inner radius of about 20 stellar radii. Some fits imply inner disc temperatures over 10 000 K, seemingly discrepant with a previous observational estimate from H band interferometry. This estimate is, however, shown to be biased. Fitted mass-accretion rates range from about 10^-6 to 10^-3 solar masses per year. Relative to the jets launched from young stellar objects (YSOs), all targets prefer winds with higher ejection efficiencies, lower magnetizations and thicker discs. Conclusions: Our models show that current cold MHD disc wind solutions can explain many of the jet-related Balmer alpha features seen in post-AGB binaries, though systematic discrepancies remain. This includes, but is not limited to, overestimated rotation and underestimated post-AGB circumbinary disc lifetimes. The consideration of thicker discs and the inclusion of irradiation from the post-AGB primary, leading to warm magnetothermal wind launching, might alleviate these.


title: Computing congruences of finite inverse semigroups

abstract: In this paper we present an algorithm for computing a congruence on an inverse semigroup from a collection of generating pairs. This algorithm uses a myriad of techniques from computational group theory, automata, and the theory of inverse semigroups. An initial implementation of this algorithm outperforms existing implementations by several orders of magnitude.


title: On the Effects of Heterogeneous Data Sources on Speech-to-Text Foundation Models

abstract: The Open Whisper-style Speech Model (OWSM) series was introduced to achieve full transparency in building advanced speech-to-text (S2T) foundation models. To this end, OWSM models are trained on 25 public speech datasets, which are heterogeneous in multiple ways. In this study, we advance the OWSM series by introducing OWSM v3.2, which improves on prior models by investigating and addressing the impacts of this data heterogeneity. Our study begins with a detailed analysis of each dataset, from which we derive two key strategies: data filtering with proxy task to enhance data quality, and the incorporation of punctuation and true-casing using an open large language model (LLM). With all other configurations staying the same, OWSM v3.2 improves performance over the OWSM v3.1 baseline while using 15% less training data.


title: Local Langlands in families: The banal case

abstract: We state a conjecture, local Langlands in families, connecting the centre of the category of smooth representations on $\mathbb{Z}[\sqrt{q}^{-1}]$-modules of a quasi-split $p$-adic group $\mathrm{G}$ (where $q$ is the cardinality of the residue field of the underlying local field), the ring of global functions on the stack of Langlands parameters for $\mathrm{G}$ over $\mathbb{Z}[\sqrt{q}^{-1}]$, and the endomorphisms of a Gelfand-Graev representation for $\mathrm{G}$. For a class of classical $p$-adic groups (symplectic, unitary, or split odd special orthogonal groups), we prove this conjecture after inverting an integer depending only on $\mathrm{G}$. Along the way, we show that the local Langlands correspondence for classical $p$-adic groups (1) preserves integrality of $\ell$-adic representations; (2) satisfies an "extended" (generic) packet conjecture; (3) is compatible with parabolic induction up to semisimplification (generalizing a result of Moussaoui), hence induces a semisimple local Langlands correspondence; and (4) the semisimple correspondence is compatible with automorphisms of $\mathbb{C}$ fixing $\sqrt{q}$.


title: Surface and curvature tensions of relativistic models

abstract: In the present paper, we show a simple method to obtain fittings for the surface and curvature tensions. The method uses the nuclear mass of a spherical fully ionized atom and a simple expression for the binding energy such that a least square fit is found when confronted with the Atomic Mass Evaluation (AME) 2020. The fittings are then used to evaluate the pasta phase free energy per particle, which is confronted with the one obtained with a Thomas-Fermi fitting. The results are very encouraging and suggest that this recipe can be safely used whenever the surface and curvature tensions are necessary.


title: The O-minimal Zilber Conjecture in Higher Dimensions

abstract: We prove the higher dimensional case of the o-minimal variant of Zilber's Restricted Trichotomy Conjecture. More precisely, let $\mathcal R$ be an o-minimal expansion of a real closed field, let $M$ be an interpretable set in $\mathcal R$, and let $\mathcal M=(M,...)$ be a reduct of the induced structure on $M$. If $\mathcal M$ is strongly minimal and not locally modular, then $\dim_{\mathcal R}(M)=2$. As an application, we prove the Zilber trichotomy for all strongly minimal structures interpreted in the theory of compact complex manifolds.


title: FlowAVSE: Efficient Audio-Visual Speech Enhancement with Conditional Flow Matching

abstract: This work proposes an efficient method to enhance the quality of corrupted speech signals by leveraging both acoustic and visual cues. While existing diffusion-based approaches have demonstrated remarkable quality, their applicability is limited by slow inference speeds and computational complexity. To address this issue, we present FlowAVSE which enhances the inference speed and reduces the number of learnable parameters without degrading the output quality. In particular, we employ a conditional flow matching algorithm that enables the generation of high-quality speech in a single sampling step. Moreover, we increase efficiency by optimizing the underlying U-net architecture of diffusion-based systems. Our experiments demonstrate that FlowAVSE achieves 22 times faster inference speed and reduces the model size by half while maintaining the output quality. The demo page is available at: https://cyongong.github.io/FlowAVSE.github.io/


title: Optimal magnetization switching via spin-orbit torque on the surface of a topological insulator

abstract: An optimal protocol for the current-induced switching of a perpendicularly magnetized nanoelement placed on the surface of a topological insulator is presented. The time dependence of both in-plane components of the surface current that induces the magnetization reversal via Dirac spin-orbit torque with minimal Joule heating is derived analytically as a function of the required switching time and material properties. It is demonstrated that a particularly energy-efficient switching is realized for vanishing dampinglike torque. The optimal reversal time providing a tradeoff between the switching speed and energy efficiency is derived. The obtained switching protocol is contrasted with the one realized in heavy-metal systems. Topological insulators provide a highly tunable platform for the realization of energy-efficient magnetization switching.