title: Unveiling the Hubble Constant through Galaxy Cluster Gas Mass Fractions

abstract: In this work, we obtain Hubble constant ($H_0$) estimates by using two galaxy cluster gas mass fraction measurement samples, Type Ia supernovae luminosity distances and the validity of the cosmic distance duality relation. Notably, the angular diameter distance (ADD) to each galaxy cluster in the samples is determined by combining its gas mass fraction measurement with galaxy clustering observations, more precisely, the $\Omega_b / \Omega_m$ ratio. Such a combination results in a $H_0$ estimate that is independent of a specific cosmological framework. In one of the samples, the gas fraction measurements were calculated in spherical shells at radii near $r_{\rm 2500}$ (44 data points), while in the other (103 data points) the measurements were obtained by integrating X-ray observations across all radii $< r_{\rm 500}$. The quantities $r_{2500}$ and $r_{\rm 500}$ define the radii within which the mean cluster density is 2500 or 500 times the critical density of the Universe at the cluster's redshift. We find $H_0=71.4^{+10.5}_{-8.9}$ km/s/Mpc and $H_0=75.5^{+9.9}_{-7.9}$ km/s/Mpc at 68\% CL, respectively. We also investigate the impact on the $H_0$ determination by exploring the precision and number of gas mass fraction data by performing a data Monte Carlo simulation. Our simulations show that future measurements could achieve a precision of up to 3.5\% for $H_0$.


title: Generalization Bounds for Dependent Data using Online-to-Batch Conversion

abstract: In this work, we give generalization bounds of statistical learning algorithms trained on samples drawn from a dependent data source, both in expectation and with high probability, using the Online-to-Batch conversion paradigm. We show that the generalization error of statistical learners in the dependent data setting is equivalent to the generalization error of statistical learners in the i.i.d. setting up to a term that depends on the decay rate of the underlying mixing stochastic process and is independent of the complexity of the statistical learner. Our proof techniques involve defining a new notion of stability of online learning algorithms based on Wasserstein distances and employing "near-martingale" concentration bounds for dependent random variables to arrive at appropriate upper bounds for the generalization error of statistical learners trained on dependent data.


title: A hot core in the group-dominant elliptical galaxy NGC 777

abstract: NGC 777 provides an example of a phenomenon observed in some group-central ellipticals, in which the temperature profile shows a central peak, despite the short central cooling time of the intra-group medium. We use deep Chandra X-ray observations of the galaxy, supported by uGMRT 400 MHz radio imaging, to investigate the origin of this hot core. We confirm the centrally-peaked temperature profile and find that entropy and cooling time both monotonically decline to low values (2.62 [+0.19, -0.18] keV cm$^2$ and 71.3 [+12.8, -13.1] Myr) in the central ~700 pc. Faint diffuse radio emission surrounds the nuclear point source, with no clear jets or lobes but extending to ~10 kpc on a northwest-southeast axis. This alignment and extent agree well with a previously identified filamentary H$\alpha$+[NII] nebula. While cavities are not firmly detected, we see X-ray surface brightness decrements on the same axis at 10-20 kpc radius which are consistent with the intra-group medium having been pushed aside by expanding radio lobes. Any such outburst must have occurred long enough ago for lobe emission to have faded below detectability. Cavities on this scale would be capable of balancing radiative cooling for at least ~240 Myr. We consider possible causes of the centrally peaked temperature profile, including gravitational heating of gas as the halo relaxes after a period of AGN jet activity, and heating by particles leaking from the remnant relativistic plasma of the old radio jets.


title: Electromagnetic moments of the odd-mass nickel isotopes $^{59-67}$Ni

abstract: The magnetic dipole and the spectroscopic quadrupole moments of the nuclear ground states in the odd-mass nickel isotopes $^{59-67}$Ni have been determined using collinear laser spectroscopy at the CERN-ISOLDE facility. They are compared to ab initio valence-space in-medium similarity renormalization group (VS-IMSRG) calculations including contributions of two-body currents as well as to shell-model calculations. The two-body-current contributions significantly improve the agreement with experimental data, reducing the mean-square deviation from the experimental moments by a factor of 3 to 5, depending on the employed interaction. For all interactions, the largest contributions are obtained for the $5/2^-$ ($7/2^-$) isotopes $^{65}$Ni ($^{55}$Ni), which is ascribed to the high angular momentum of the $f$ orbitals. Our results demonstrate that the inclusion of two-body-current contributions to the magnetic moment in an isotopic chain of complex nuclei can be handled by the VS-IMSRG and can outperform phenomenological shell-model calculations using effective $g$-factors in the nickel region.


title: The Kinematics of Polycyclic Aromatic Hydrocarbons (PAHs) in Galaxies revealed by Principal Component Analysis (PCA) tomography with JWST/NIRSpec

abstract: Polycyclic Aromatic Hydrocarbons (PAHs) are organic molecules which comprise the smallest particles of dust in the interstellar medium (ISM). Due to their broad/complex emission profiles, obtaining kinematics is a challenge with traditional methods, especially before the advent of the JWST. In this work we employ Principal Component Analysis (PCA) tomography to analyse JWST/NIRSpec IFU data of 3 nearby luminous infrared galaxies (LIRGs), namely, NGC 3256 N, NGC 3256 S and NGC 7469. We detect the signature of rotation in the second principal component of the 3.3 $\mu$m PAH feature in all three targets. We construct velocity maps from the principal components for the 3.3 $\mu$m PAH feature, Br$\beta$ (2.625$\mu$m) and molecular hydrogen, H$_2$ 1-0 S(1) (2.12$\mu$m). We find that in each target, the PAHs qualitatively follow the rotation of the galaxy, consistent with the rotational signature derived from Br$\beta$ and H$_2$. There are however some differences, with the PAH rotation in NGC 3256 N appearing at a different position angle, which suggest differences in the motion of the dust as compared to the gas. This kind of analysis opens a new window into this key component of the ISM.


title: GNN-based Anomaly Detection for Encoded Network Traffic

abstract: The early research report explores the possibility of using Graph Neural Networks (GNNs) for anomaly detection in internet traffic data enriched with information. While recent studies have made significant progress in using GNNs for anomaly detection in finance, multivariate time-series, and biochemistry domains, there is limited research in the context of network flow data. In this report, we explore the idea that leverages information-enriched features extracted from network flow packet data to improve the performance of GNN in anomaly detection. The idea is to utilize feature encoding (binary, numerical, and string) to capture the relationships between the network components, allowing the GNN to learn latent relationships and better identify anomalies.


title: Sun-as-a-star observations of obscuration dimmings caused by filament eruptions

abstract: Filament eruptions often lead to coronal mass ejections (CMEs) on the Sun and are one of the most energetic eruptive phenomena in the atmospheres of other late-type stars. However, the detection of filament eruptions and CMEs on stars beyond the solar system is challenging. Here we present six filament eruption cases on the Sun and show that filament material obscuring part of the solar disk can cause detectable dimming signatures in sun-as-a-star flux curves of He II 304 A. Those filament eruptions have similar morphological features, originating from small filaments inside active regions and subsequently strongly expanding to obscure large areas of the solar disk or the bright flare regions. We have tracked the detailed evolution of six obscuration dimmings and estimated the dimming properties, such as dimming depths, dimming areas, and duration. The largest dimming depth among the six events under study is 6.2% accompanied by the largest dimming area of 5.6\% of the solar disk area. Other events have maximum dimming depths in a range of around 1% to 3% with maximum areas varying between about 3% to 4% of the solar disk area. The duration of the dimming spans from around 0.4 hours to 7.0 hours for the six events under study. A positive correlation was found between the dimming depth and area, which may help to set constraint on the filament sizes in stellar observations.


title: Advancing Spiking Neural Networks towards Multiscale Spatiotemporal Interaction Learning

abstract: Recent advancements in neuroscience research have propelled the development of Spiking Neural Networks (SNNs), which not only have the potential to further advance neuroscience research but also serve as an energy-efficient alternative to Artificial Neural Networks (ANNs) due to their spike-driven characteristics. However, previous studies often neglected the multiscale information and its spatiotemporal correlation between event data, leading SNN models to approximate each frame of input events as static images. We hypothesize that this oversimplification significantly contributes to the performance gap between SNNs and traditional ANNs. To address this issue, we have designed a Spiking Multiscale Attention (SMA) module that captures multiscale spatiotemporal interaction information. Furthermore, we developed a regularization method named Attention ZoneOut (AZO), which utilizes spatiotemporal attention weights to reduce the model's generalization error through pseudo-ensemble training. Our approach has achieved state-of-the-art results on mainstream neural morphology datasets. Additionally, we have reached a performance of 77.1% on the Imagenet-1K dataset using a 104-layer ResNet architecture enhanced with SMA and AZO. This achievement confirms the state-of-the-art performance of SNNs with non-transformer architectures and underscores the effectiveness of our method in bridging the performance gap between SNN models and traditional ANN models.


title: Discrete Orbit Effect Lengthens Merger Times for Inspiraling Binary Black Holes

abstract: The inspiral merger time for two black holes captured into a nonrelativistic bound orbit by gravitational radiation emission has been often calculated by a formula of Peters that assumes the adiabatic approximation that the changes per orbit are small. However, initially this is not true for the semimajor axis and period of most of the initially highly eccentric orbits, which change significantly during closest approach and much less elsewhere along the orbit. This effect can make the merger time much longer (using other formulas from Peters that do not assume the adiabatic approximation) than that calculated by the adiabatic formula of Peters.


title: Continuous dependence for p-Laplace equations with varying operators

abstract: For the following Neumann problem in a ball $$\begin{cases} -\Delta_p u+u^{p-1}=u^{q-1}\quad&\text{in }B,\\ u>0,\,u\text{ radial}\quad&\text{in }B,\\ \frac{\partial u}{\partial \nu}=0\quad&\text{on }\partial B, \end{cases}$$ with $1<p<q<\infty$, we prove continuous dependence on $p$, for radially nondecreasing solutions. As a byproduct, we obtain an existence result for nonconstant solutions in the case $p\in(1,2)$ and $q$ larger than an explicit threshold.


title: Context and Geometry Aware Voxel Transformer for Semantic Scene Completion

abstract: Vision-based Semantic Scene Completion (SSC) has gained much attention due to its widespread applications in various 3D perception tasks. Existing sparse-to-dense approaches typically employ shared context-independent queries across various input images, which fails to capture distinctions among them as the focal regions of different inputs vary and may result in undirected feature aggregation of cross-attention. Additionally, the absence of depth information may lead to points projected onto the image plane sharing the same 2D position or similar sampling points in the feature map, resulting in depth ambiguity. In this paper, we present a novel context and geometry aware voxel transformer. It utilizes a context aware query generator to initialize context-dependent queries tailored to individual input images, effectively capturing their unique characteristics and aggregating information within the region of interest. Furthermore, it extend deformable cross-attention from 2D to 3D pixel space, enabling the differentiation of points with similar image coordinates based on their depth coordinates. Building upon this module, we introduce a neural network named CGFormer to achieve semantic scene completion. Simultaneously, CGFormer leverages multiple 3D representations (i.e., voxel and TPV) to boost the semantic and geometric representation abilities of the transformed 3D volume from both local and global perspectives. Experimental results demonstrate that CGFormer achieves state-of-the-art performance on the SemanticKITTI and SSCBench-KITTI-360 benchmarks, attaining a mIoU of 16.87 and 20.05, as well as an IoU of 45.99 and 48.07, respectively. Remarkably, CGFormer even outperforms approaches employing temporal images as inputs or much larger image backbone networks. Code for the proposed method is available at https://github.com/pkqbajng/CGFormer.


title: Proof of 5D $A_n$ AGT conjecture at $\beta=1$

abstract: In this paper, we give a proof of 5D $A_n$ AGT conjecture at $\beta=1$, where the gauge theory side is one dimension higher than the original 4D case, and corresponds to the q-deformation of the 2D conformal field theory side. We define a q-deformed $A_n$ Selberg integral, which generalizes the $A_n$ Selberg integral and the q-deformed $A_1$ Selberg integral in the literature. A q-deformed $A_n$ Selberg average formula with $n+1$ Schur polynomials is proposed to complete the proof.


title: Naturally Private Recommendations with Determinantal Point Processes

abstract: Often we consider machine learning models or statistical analysis methods which we endeavour to alter, by introducing a randomized mechanism, to make the model conform to a differential privacy constraint. However, certain models can often be implicitly differentially private or require significantly fewer alterations. In this work, we discuss Determinantal Point Processes (DPPs) which are dispersion models that balance recommendations based on both the popularity and the diversity of the content. We introduce DPPs, derive and discuss the alternations required for them to satisfy epsilon-Differential Privacy and provide an analysis of their sensitivity. We conclude by proposing simple alternatives to DPPs which would make them more efficient with respect to their privacy-utility trade-off.


title: Integrated Sensing and Communication Exploiting Prior Information: How Many Sensing Beams are Needed?

abstract: This paper studies an integrated sensing and communication (ISAC) system where a multi-antenna base station (BS) aims to communicate with a single-antenna user in the downlink and sense the unknown and random angle parameter of a target via exploiting its prior distribution information. We consider a general transmit beamforming structure where the BS sends one communication beam and potentially one or multiple dedicated sensing beam(s). Firstly, motivated by the periodic feature of the angle parameter, we derive the periodic posterior Cram\'{e}r-Rao bound (PCRB) for quantifying a lower bound of the mean-cyclic error (MCE), which is more accurate than the conventional PCRB for bounding the mean-squared error (MSE). Then, note that more sensing beams enable higher flexibility in enhancing the sensing performance, while also generating extra interference to the communication user. To resolve this trade-off, we formulate the transmit beamforming optimization problem to minimize the periodic PCRB subject to a communication rate requirement for the user. Despite the non-convexity of this problem, we derive the optimal solution by leveraging the semi-definite relaxation (SDR) technique and Lagrange duality theory. Moreover, we analytically prove that at most one dedicated sensing beam is needed. Numerical results validate our analysis and the advantage of having a dedicated sensing beam.


title: Charged Nariai black holes on the dark bubble

abstract: In this paper, we realise the charged Nariai black hole on a braneworld from a nucleated bubble in AdS$_5$, known as the dark bubble model. Geometrically, the black hole takes the form of a cylindrical spacetime pulling on the dark bubble. This is realised by a brane embedding in an AdS$_5$ black string background. Identifying the brane with a D3-brane in string theory allows us to determine a relation between the fine structure constant and the string coupling, $\alpha_\text{EM} = \frac{3}{2} g_s$, which was previously obtained for a microscopic black hole. We also speculate on the consequences for the Festina Lente bound and neutrino masses.


title: Five parameters are all you need (in $\Lambda$CDM)

abstract: The standard cosmological model, with its six independent parameters, has proven remarkably successful in describing the evolution of the Universe. One of these parameters, the optical depth to reionization $\tau_{\mathrm{reio}}$, represents the scatterings that Cosmic Microwave Background (CMB) photons will experience after decoupling from the primordial plasma as the intergalactic medium transitions from neutral to ionized. $\tau_{\mathrm{reio}}$ depends on the neutral hydrogen fraction $x_{\mathrm{HI}}$, which, in turn, should theoretically depend on cosmology. We present a novel method to establish the missing link between cosmology and reionization timeline. We discover the timeline has a universal shape well described by the Gompertz mortality law, applicable to any cosmology within our simulated data. This enables us to map cosmology to reionization using symbolic regression and to treat $\tau_{\mathrm{reio}}$ as a derived parameter. Reanalyzing CMB data with our universal $x_{\mathrm{HI}}$ tightens the constraint on $\tau_{\mathrm {reio}}$ by more than one order of magnitude to $\approx 1\%$ and reduced the error on the amplitude of the primordial fluctuations by a factor of 2.5 compared to Planck's PR3 constraint. While our results rely on the astrophysical assumptions in our simulations, the methodology itself is independent of these assumptions; after all, $\tau_{\mathrm{reio}}$ is fundamentally a function of cosmology.


title: Unsupervised data driven approaches to Raman imaging through a multimode optical fiber

abstract: Raman spectroscopy is a label-free, chemically specific optical technique which provides detailed information about the chemical composition and structure of the excited analyte. Because of this, there is growing research interest in miniaturizing Raman probes to reach deep regions of the body. Typically, such probes utilize multiple optical fibers to act as separate excitation/collection channels with optical filters attached to the distal facet to separate the collected signal from the background optical signal from the probe itself. Although these probes have achieved impressive diagnostic performance, their use is limited by the overall size of the probe, which is typically several hundred micrometers to millimeters. Here, we show how a wavefront shaping technique can be used to measure Raman images through a single, hair thin multimode fiber. The wavefront shaping technique transforms the tip of the fiber to a sub-cellular spatial resolution Raman microscope. The resultant Raman images were analyzed with a variety of state-of-the-art statistical techniques including PCA, t-SNE, UMAP and k-means clustering. Our data-driven approach enables us to create high quality Raman images of microclusters of pharmaceuticals through a standard silica multimode optical fiber.


title: Constructive Universal Approximation Theorems for Deep Joint-Equivariant Networks by Schur's Lemma

abstract: We present a unified constructive universal approximation theorem covering a wide range of learning machines including both shallow and deep neural networks based on the group representation theory. Constructive here means that the distribution of parameters is given in a closed-form expression (called the ridgelet transform). Contrary to the case of shallow models, expressive power analysis of deep models has been conducted in a case-by-case manner. Recently, Sonoda et al. (2023a,b) developed a systematic method to show a constructive approximation theorem from scalar-valued joint-group-invariant feature maps, covering a formal deep network. However, each hidden layer was formalized as an abstract group action, so it was not possible to cover real deep networks defined by composites of nonlinear activation function. In this study, we extend the method for vector-valued joint-group-equivariant feature maps, so to cover such real networks.


title: Active nematodynamics on deformable surfaces

abstract: We consider active nematodynamics on deformable surfaces. Based on a thermodynamically consistent surface Beris-Edwards model we add nematic activity and focus on the emerging additional coupling mechanism between the nematic field, the flow field and the curved surface. We analyse the impact of the active nematic force at topological defects. Under the presence of curvature all defects become active and contribute not only tangential forces but also normal forces. This confirms the proposed role of topological defects in surface evolution and provides the basis for a dynamic description of morphogenetic processes.

categories: cond-mat.soft math-ph math.DG math.DS math.MP


title: CrossCheckGPT: Universal Hallucination Ranking for Multimodal Foundation Models

abstract: Multimodal foundation models are prone to hallucination, generating outputs that either contradict the input or are not grounded by factual information. Given the diversity in architectures, training data and instruction tuning techniques, there can be large variations in systems' susceptibility to hallucinations. To assess system hallucination robustness, hallucination ranking approaches have been developed for specific tasks such as image captioning, question answering, summarization, or biography generation. However, these approaches typically compare model outputs to gold-standard references or labels, limiting hallucination benchmarking for new domains. This work proposes "CrossCheckGPT", a reference-free universal hallucination ranking for multimodal foundation models. The core idea of CrossCheckGPT is that the same hallucinated content is unlikely to be generated by different independent systems, hence cross-system consistency can provide meaningful and accurate hallucination assessment scores. CrossCheckGPT can be applied to any model or task, provided that the information consistency between outputs can be measured through an appropriate distance metric. Focusing on multimodal large language models that generate text, we explore two information consistency measures: CrossCheck-explicit and CrossCheck-implicit. We showcase the applicability of our method for hallucination ranking across various modalities, namely the text, image, and audio-visual domains. Further, we propose the first audio-visual hallucination benchmark, "AVHalluBench", and illustrate the effectiveness of CrossCheckGPT, achieving correlations of 98% and 89% with human judgements on MHaluBench and AVHalluBench, respectively.


title: Prompt Mixing in Diffusion Models using the Black Scholes Algorithm

abstract: We introduce a novel approach for prompt mixing, aiming to generate images at the intersection of multiple text prompts using pre-trained text-to-image diffusion models. At each time step during diffusion denoising, our algorithm forecasts predictions w.r.t. the generated image and makes informed text conditioning decisions. To do so, we leverage the connection between diffusion models (rooted in non-equilibrium thermodynamics) and the Black-Scholes model for pricing options in Finance, and draw analogies between the variables in both contexts to derive an appropriate algorithm for prompt mixing using the Black Scholes model. Specifically, the parallels between diffusion models and the Black-Scholes model enable us to leverage properties related to the dynamics of the Markovian model derived in the Black-Scholes algorithm. Our prompt-mixing algorithm is data-efficient, meaning it does not need additional training. Furthermore, it operates without human intervention or hyperparameter tuning. We highlight the benefits of our approach by comparing it qualitatively and quantitatively to other prompt mixing techniques, including linear interpolation, alternating prompts, step-wise prompt switching, and CLIP-guided prompt selection across various scenarios such as single object per text prompt, multiple objects per text prompt and objects against backgrounds. Code is available at https://github.com/divyakraman/BlackScholesDiffusion2024.


title: Embedding Generalized Semantic Knowledge into Few-Shot Remote Sensing Segmentation

abstract: Few-shot segmentation (FSS) for remote sensing (RS) imagery leverages supporting information from limited annotated samples to achieve query segmentation of novel classes. Previous efforts are dedicated to mining segmentation-guiding visual cues from a constrained set of support samples. However, they still struggle to address the pronounced intra-class differences in RS images, as sparse visual cues make it challenging to establish robust class-specific representations. In this paper, we propose a holistic semantic embedding (HSE) approach that effectively harnesses general semantic knowledge, i.e., class description (CD) embeddings.Instead of the naive combination of CD embeddings and visual features for segmentation decoding, we investigate embedding the general semantic knowledge during the feature extraction stage.Specifically, in HSE, a spatial dense interaction module allows the interaction of visual support features with CD embeddings along the spatial dimension via self-attention.Furthermore, a global content modulation module efficiently augments the global information of the target category in both support and query features, thanks to the transformative fusion of visual features and CD embeddings.These two components holistically synergize general CD embeddings and visual cues, constructing a robust class-specific representation.Through extensive experiments on the standard FSS benchmark, the proposed HSE approach demonstrates superior performance compared to peer work, setting a new state-of-the-art.


title: Effect of spin in binary neutron star mergers

abstract: We investigate the effect of spin on equal and unequal mass binary neutron star mergers using finite-temperature, composition-dependent Hempel-Schaffner-Bielich (SFHo) equation of state, via 3+1 general relativistic hydrodynamics simulations which take into account neutrino emission and absorption. Equal mass cases that have a mass of $M_{1,2}$ =$1.27$, $1.52$ and $2.05M_{\odot}$, result in a supramassive neutron star, a delayed, and a prompt collapse to a black hole, respectively. For all cases, we analyse the effect of initial spin on dynamics, on the structure of the final remnant, its spin evolution, the amount and composition of the ejected matter, gravitational waves, neutrino energy and luminosities, and disc masses. We show that in equal mass binary neutron star mergers, the ejected mass could reach $\sim0.085M_{\odot}$ for highly aligned-spins ($\chi=0.67$). The black hole which results from such highly spinning, high-mass binary neutron star merger reaches a dimensionless spin of $0.92$; this is the highest spin reached in binary neutron star mergers, to date.


title: Vibrational modes as the origin of dielectric loss at 0.27$\unicode{x2013}$100 THz in a-SiC:H

abstract: Low-loss deposited dielectrics are beneficial for the advancement of superconducting integrated circuits for astronomy. In the microwave band ($\mathrm{\sim}$1$\unicode{x2013}$10 GHz) the cryogenic and low-power dielectric loss is dominated by two-level systems. However, the origin of the loss in the millimeter-submillimeter band ($\mathrm{\sim}$0.1$\unicode{x2013}$1 THz) is not understood. We measured the loss of hydrogenated amorphous SiC (a-SiC:H) films in the 0.27$\unicode{x2013}$100 THz range using superconducting microstrip resonators and Fourier-transform spectroscopy. The agreement between the loss data and a Maxwell-Helmholtz-Drude dispersion model suggests that vibrational modes above 10 THz dominate the loss in the a-SiC:H above 200 GHz.


title: Stabilizing classical accelerometers and gyroscopes with a quantum inertial sensor

abstract: Accurate measurement of inertial quantities is essential in geophysics, geodesy, fundamental physics and navigation. For instance, inertial navigation systems require stable inertial sensors to compute the position and attitude of the carrier. Here, we present the first hybridized cold-atom inertial sensor based on matter wave interferometry where the atomic measurements are used to correct the drift and bias of both an accelerometer and a gyroscope at the same time. We achieve respective bias stabilities of $7 \times 10^{-7}$ m/s$^2$ and $4 \times 10^{-7}$ rad/s after two days of integration, corresponding to a 100-fold and 3-fold increase on the stability of the hybridized sensor compared to the force-balanced accelerometer and Coriolis vibrating gyroscope operated alone. The instrument has been operated under up to 100-times the Earth rotation rate. Compared to state-of-the-art atomic gyroscope, the simplicity and scalability of our architecture make it easily extendable to a compact full six-axis inertial measurement unit, providing a pathway towards autonomous positioning and orientation using cold-atom sensors.


title: The effect of regularization in high dimensional Cox regression

abstract: We investigate analytically the behaviour of the penalized maximum partial likelihood estimator (PMPLE). Our results are derived for a generic separable regularization, but we focus on the elastic net. This penalization is routinely adopted for survival analysis in the high dimensional regime, where the Maximum Partial Likelihood estimator (no regularization) might not even exist. Previous theoretical results require that the number $s$ of non-zero association coefficients is $O(n^{\alpha})$, with $\alpha \in (0,1)$ and $n$ the sample size. Here we accurately characterize the behaviour of the PMPLE when $s$ is proportional to $n$ via the solution of a system of six non-linear equations that can be easily obtained by fixed point iteration. These equations are derived by means of the replica method and under the assumption that the covariates $\mathbf{X}\in \mathbb{R}^p$ follow a multivariate Gaussian law with covariance $\mathbf{I}_p/p$. The solution of the previous equations allows us to investigate the dependency of various metrics of interest and hence their dependency on the ratio $\zeta = p/n$, the fraction of true active components $\nu = s/p$, and the regularization strength. We validate our results by extensive numerical simulations.


title: Neural Networks-based Random Vortex Methods for Modelling Incompressible Flows

abstract: In this paper we introduce a novel Neural Networks-based approach for approximating solutions to the (2D) incompressible Navier--Stokes equations. Our algorithm uses a Physics-informed Neural Network, that approximates the vorticity based on a loss function that uses a computationally efficient formulation of the Random Vortex dynamics. The neural vorticity estimator is then combined with traditional numerical PDE-solvers for the Poisson equation to compute the velocity field. The main advantage of our method compared to standard Physics-informed Neural Networks is that it strictly enforces physical properties, such as incompressibility or boundary conditions, which might otherwise be hard to guarantee with purely Neural Networks-based approaches.

categories: physics.flu-dyn cs.NA math.NA math.PR stat.ML


title: Challenging Gradient Boosted Decision Trees with Tabular Transformers for Fraud Detection at Booking.com

abstract: Transformer-based neural networks, empowered by Self-Supervised Learning (SSL), have demonstrated unprecedented performance across various domains. However, related literature suggests that tabular Transformers may struggle to outperform classical Machine Learning algorithms, such as Gradient Boosted Decision Trees (GBDT). In this paper, we aim to challenge GBDTs with tabular Transformers on a typical task faced in e-commerce, namely fraud detection. Our study is additionally motivated by the problem of selection bias, often occurring in real-life fraud detection systems. It is caused by the production system affecting which subset of traffic becomes labeled. This issue is typically addressed by sampling randomly a small part of the whole production data, referred to as a Control Group. This subset follows a target distribution of production data and therefore is usually preferred for training classification models with standard ML algorithms. Our methodology leverages the capabilities of Transformers to learn transferable representations using all available data by means of SSL, giving it an advantage over classical methods. Furthermore, we conduct large-scale experiments, pre-training tabular Transformers on vast amounts of data instances and fine-tuning them on smaller target datasets. The proposed approach outperforms heavily tuned GBDTs by a considerable margin of the Average Precision (AP) score. Pre-trained models show more consistent performance than the ones trained from scratch when fine-tuning data is limited. Moreover, they require noticeably less labeled data for reaching performance comparable to their GBDT competitor that utilizes the whole dataset.


title: Uncovering Algorithmic Discrimination: An Opportunity to Revisit the Comparator

abstract: Causal reasoning, in particular, counterfactual reasoning plays a central role in testing for discrimination. Counterfactual reasoning materializes when testing for discrimination, what is known as the counterfactual model of discrimination, when we compare the discrimination comparator with the discrimination complainant, where the comparator is a similar (or similarly situated) profile to that of the complainant used for testing the discrimination claim of the complainant. In this paper, we revisit the comparator by presenting two kinds of comparators based on the sort of causal intervention we want to represent. We present the ceteris paribus and the mutatis mutandis comparator, where the former is the standard and the latter is a new kind of comparator. We argue for the use of the mutatis mutandis comparator, which is built on the fairness given the difference notion, for testing future algorithmic discrimination cases.


title: Gaussian Time Machine: A Real-Time Rendering Methodology for Time-Variant Appearances

abstract: Recent advancements in neural rendering techniques have significantly enhanced the fidelity of 3D reconstruction. Notably, the emergence of 3D Gaussian Splatting (3DGS) has marked a significant milestone by adopting a discrete scene representation, facilitating efficient training and real-time rendering. Several studies have successfully extended the real-time rendering capability of 3DGS to dynamic scenes. However, a challenge arises when training images are captured under vastly differing weather and lighting conditions. This scenario poses a challenge for 3DGS and its variants in achieving accurate reconstructions. Although NeRF-based methods (NeRF-W, CLNeRF) have shown promise in handling such challenging conditions, their computational demands hinder real-time rendering capabilities. In this paper, we present Gaussian Time Machine (GTM) which models the time-dependent attributes of Gaussian primitives with discrete time embedding vectors decoded by a lightweight Multi-Layer-Perceptron(MLP). By adjusting the opacity of Gaussian primitives, we can reconstruct visibility changes of objects. We further propose a decomposed color model for improved geometric consistency. GTM achieved state-of-the-art rendering fidelity on 3 datasets and is 100 times faster than NeRF-based counterparts in rendering. Moreover, GTM successfully disentangles the appearance changes and renders smooth appearance interpolation.


title: Total cost of ownership and evaluation of Google cloud resources for the ATLAS experiment at the LHC

abstract: The ATLAS Google Project was established as part of an ongoing evaluation of the use of commercial clouds by the ATLAS Collaboration, in anticipation of the potential future adoption of such resources by WLCG grid sites to fulfil or complement their computing pledges. Seamless integration of Google cloud resources into the worldwide ATLAS distributed computing infrastructure was achieved at large scale and for an extended period of time, and hence cloud resources are shown to be an effective mechanism to provide additional, flexible computing capacity to ATLAS. For the first time a total cost of ownership analysis has been performed, to identify the dominant cost drivers and explore effective mechanisms for cost control. Network usage significantly impacts the costs of certain ATLAS workflows, underscoring the importance of implementing such mechanisms. Resource bursting has been successfully demonstrated, whilst exposing the true cost of this type of activity. A follow-up to the project is underway to investigate methods for improving the integration of cloud resources in data-intensive distributed computing environments and reducing costs related to network connectivity, which represents the primary expense when extensively utilising cloud resources.


title: The metamorphosis of semi-classical mechanisms of confinement: From monopoles on ${\mathbb R}^3 \times S^1$ to center-vortices on ${\mathbb R}^2 \times T^2$

abstract: There are two distinct regimes of Yang-Mills theory where we can demonstrate confinement, the existence of a mass gap, and fractional theta angle dependence using a reliable semi-classical calculation. The two regimes are Yang-Mills theory on $S^1 \times {\mathbb R}^3$ with a small circle and a double-trace deformation, and Yang-Mills theory on $T^2 \times {\mathbb R}^2$ where the torus $T^2$ is small and threaded by a 't Hooft flux. In the first case the confinement mechanism is related to self-dual monopoles, whereas in the second case self-dual center-vortices play a crucial role. These two topological objects are distinct. In particular, they have different mutual statistics with Wilson loops. On the other hand, they carry the same topological charge and action. On ${\mathbb R \times T^2 \times S^1}$, we are able to extrapolate both monopole regime and vortex regime to a quantum mechanical domain, where a cross-over takes place. Both sides of the cross-over are described by a deformed $\mathbb Z_N$ TQFT. On ${\mathbb R^2 \times S^1 \times S^1}$, we derive the effective field theory of vortices from the effective theory of monopoles in the presence of a 't Hooft flux. This results from a two-stage adjoint Higgs mechanism, to $U(1)^{N-1}$ in 3d first and a $\mathbb Z_N$ EFT in 2d second. This proves adiabatic continuity of the two confinement mechanisms across dimensions and shows how monopoles and their magnetic flux transmute into center-vortices. This basic mechanism is flux fractionalization: The magnetic flux of the monopoles fractionalizes and collimates in such a way that 2d Wilson loops detect it as a center vortex.


title: The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum

abstract: Characteristic formulae give a complete logical description of the behaviour of processes modulo some chosen notion of behavioural semantics. They allow one to reduce equivalence or preorder checking to model checking, and are exactly the formulae in the modal logics characterizing classic behavioural equivalences and preorders for which model checking can be reduced to equivalence or preorder checking. This paper studies the complexity of determining whether a formula is characteristic for some finite, loop-free process in each of the logics providing modal characterizations of the simulation-based semantics in van Glabbeek's branching-time spectrum. Since characteristic formulae in each of those logics are exactly the consistent and prime ones, it presents complexity results for the satisfiability and primality problems, and investigates the boundary between modal logics for which those problems can be solved in polynomial time and those for which they become computationally hard. Amongst other contributions, this article also studies the complexity of constructing characteristic formulae in the modal logics characterizing simulation-based semantics, both when such formulae are presented in explicit form and via systems of equations.


title: How to set AdamW's weight decay as you scale model and dataset size

abstract: We show that weights learned by AdamW can be understood as an exponential moving average (EMA) of recent updates. This gives critical insights for how to set the weight decay in AdamW, and how the weight decay should scale with model and dataset size. In particular, the key hyperparameter for an exponential moving average is the EMA timescale. Intuitively, the EMA timescale can be understood as the number of recent iterations the EMA averages over. Given a fixed learning rate, there is a one-to-one mapping from the EMA timescale to the usual weight decay hyperparameter. Thus, choosing an EMA timescale implicitly sets the weight decay. Importantly, there are natural guidelines for sensible values for the EMA timescale: we need to average over all datapoints, so the EMA timescale should not be (much) smaller than 1 epoch, and we need to forget early updates, so the EMA timescale should not be (much) bigger than the total number of training epochs. In our experiments, we find that optimal EMA timescales are consistent with these guidelines, as are the hyperparameters chosen in recent large-scale LLM pretraining runs (e.g.\ Llama 1+2 and Stable LM). Critically, these guidelines suggest that the optimal EMA timescale should not change (much) as we scale the model and dataset. That implies that as the dataset size increases, the optimal weight decay should fall. Moreover, as the model size increases, the optimal weight decay should also increase (if we follow the muP recommendation for scaling the learning rate).


title: Uncertainty-aware Evaluation of Auxiliary Anomalies with the Expected Anomaly Posterior

abstract: Anomaly detection is the task of identifying examples that do not behave as expected. Because anomalies are rare and unexpected events, collecting real anomalous examples is often challenging in several applications. In addition, learning an anomaly detector with limited (or no) anomalies often yields poor prediction performance. One option is to employ auxiliary synthetic anomalies to improve the model training. However, synthetic anomalies may be of poor quality: anomalies that are unrealistic or indistinguishable from normal samples may deteriorate the detector's performance. Unfortunately, no existing methods quantify the quality of auxiliary anomalies. We fill in this gap and propose the expected anomaly posterior (EAP), an uncertainty-based score function that measures the quality of auxiliary anomalies by quantifying the total uncertainty of an anomaly detector. Experimentally on 40 benchmark datasets of images and tabular data, we show that EAP outperforms 12 adapted data quality estimators in the majority of cases.


title: Theory of Majorana-Type Heavy Ion Double Charge Exchange Reactions by Pion--Nucleon Isotensor Interactions

abstract: The theory of heavy ion double charge exchange (DCE) reactions proceeding by effective rank-2 isotensor interactions is presented. Virtual pion--nucleon charge exchange interactions are investigated as the source for induced isotensor interactions, giving rise to the Majorana DCE (MDCE) reaction mechanism. MDCE is of a generic character, proceeding through pairs of complementary ($\pi^\pm,\pi^\mp$) reactions in the projectile and target nucleus. The dynamics of the elementary processes is discussed, where the excitation of pion--nucleon resonances are of central importance. Investigations of initial and final state ion--ion interactions show that these effects are acting as vertex renormalizations. In closure approximation, well justified by the finite pion mass, the second-order transition matrix elements reduce to pion potentials and effective two-body isotensor DCE interactions, giving rise also to two-body correlations in either of the participating nuclei. Connections to neutrinoless Majorana double beta decay (MDBD) are elucidated at various levels of the dynamics, from the underlying fundamental electro-weak and QCD scales to the physical scales of nuclear MDBD and MDCE physics. It is pointed out that heavy ion MDCE reactions may also proceed by competing electro-weak charge exchange processes, leading to lepton MDCE by electrons, positrons, and neutrinos.


title: Metabook: An Automatically Generated Augmented Reality Storybook Interaction System to Improve Children's Engagement in Storytelling

abstract: Storytelling serves as a crucial avenue for children to acquire knowledge, offering numerous benefits such as enhancing children's sensitivity to various forms of syntax, diction, and rhetoric; recognizing patterns in language and human experience; stimulating creativity; and providing practice in problem-solving, decision-making, and evaluation. However, current storytelling book facing these problems:1.Traditional 3D storybooks lack flexibility in dealing with text changing, as adding a new story requires remaking of the 3D book by artists. 2. Children often have many questions after reading stories, but traditional 3D books are unable to provide answers or explanations for children.3.Children can easily feel bored when reading text, and traditional 3D books still rely on text to tell stories, thus limiting their ability to increase children's enthusiasm for reading. So, we propose the Metabook: an automatically generated interactive 3D storybook. Our main contributions are as follows: First, we propose a story to 3D generation scheme, enabling 3D books to be automatically generated based on stories. Next, we introduce cartoon Metahumans for storytelling, utilizing lip-syncing and eye-tracking technology to enable facial interaction with children, enhancing the fun of reading. Last but not least, we connect GPT-4 to the brain of the metahuman, which provides answers and explanations to the questions children have after reading.


title: Impurity-level induced broadband photoelectric response in wide-band semiconductor SrSnO3

abstract: Broadband spectrum detectors exhibit great promise in fields such as multispectral imaging and optical communications. Despite significant progress, challenges like materials instability, complex manufacturing process and high costs still hinder further application. Here we present a method that achieves broadband spectral detect by impurity-level in SrSnO3. We report over 200 mA/W photo-responsivity at 275 nm (ultraviolet C solar-bind) and 367 nm (ultraviolet A) and ~ 1 mA/W photo-responsivity at 532 nm and 700 nm (visible) with a voltage bias of 5V. Further transport and photoluminescence results indicate that the broadband response comes from the impurity levels and mutual interactions. Additionally, the photodetector demonstrates excellent robustness and stability under repeated tests and prolonged exposure in air. These findings show the potential of SSO photodetectors and propose a method to achieve broadband spectrum detection, creating new possibility for the development of single-phase, low-cost, simple structure and high-efficiency photodetectors.


title: Achieving consensus in networks of increasingly stubborn voters

abstract: We study opinion evolution in networks of stubborn agents discussing a sequence of issues, modeled through the so called concatenated Friedkin-Johnsen (FJ) model. It is concatenated in the sense that agents' opinions evolve for each issue, and the final opinion is then taken as a starting point for the next issue. We consider the scenario where agents {also take a vote at the end of each issue} and propose a feedback mechanism from the result (based on the median voter) to the agents' stubbornness. Specifically, agents become increasingly stubborn during issue $s+1$ the more they disagree with the vote at the end of issue $s$. We analyze {this model} for a number of special cases and provide sufficient conditions for convergence to consensus stated in terms of permissible initial opinion and stubbornness. In the opposite scenario, where agents become less stubborn when disagreeing with the vote result, we prove that consensus is achieved{, and we demonstrate the faster convergence of opinions compared to constant stubbornness.


title: Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving

abstract: Autonomous vehicles necessitate a delicate balance between safety, efficiency, and user preferences in trajectory planning. Existing traditional or learning-based methods face challenges in adequately addressing all these aspects. In response, this paper proposes a novel component termed the Logical Guidance Layer (LGL), designed for seamless integration into autonomous driving trajectory planning frameworks, specifically tailored for highway scenarios. The LGL guides the trajectory planning with a local target area determined through scenario reasoning, scenario evaluation, and guidance area calculation. Integrating the Responsibility-Sensitive Safety (RSS) model, the LGL ensures formal safety guarantees while accommodating various user preferences defined by logical formulae. Experimental validation demonstrates the effectiveness of the LGL in achieving a balance between safety and efficiency, and meeting user preferences in autonomous highway driving scenarios.


title: Low Fidelity Digital Twin for Automated Driving Systems: Use Cases and Automatic Generation

abstract: Automated driving systems are an integral part of the automotive industry. Tools such as Robot Operating System and simulators support their development. However, in the end, the developers must test their algorithms on a real vehicle. To better observe the difference between reality and simulation--the reality gap--digital twin technology offers real-time communication between the real vehicle and its model. We present low fidelity digital twin generator and describe situations where automatic generation is preferable to high fidelity simulation. We validated our approach of generating a virtual environment with a vehicle model by replaying the data recorded from the real vehicle.


title: Symmetric vs. chiral approaches to massive fields with spin

abstract: Massive higher spin fields are notoriously difficult to introduce interactions when they are described by symmetric (spin)-tensors. An alternative approach is to use chiral description that does not have unphysical longitudinal modes. For low spin fields we show that chiral and symmetric approaches can be related via a family of invertible change of variables (equivalent to parent actions), which should facilitate introduction of consistent interactions in the symmetric approach and help to control parity in the chiral one. We consider some examples of electromagnetic and gravitational interactions and their transmutations when going to the chiral formulation. An interesting feature of the relation is how second class constraints get eliminated while preserving Lorentz invariance.


title: Rethinking and Accelerating Graph Condensation: A Training-Free Approach with Class Partition

abstract: The increasing prevalence of large-scale graphs poses a significant challenge for graph neural network training, attributed to their substantial computational requirements. In response, graph condensation (GC) emerges as a promising data-centric solution aiming to substitute the large graph with a small yet informative condensed graph to facilitate data-efficient GNN training. However, existing GC methods suffer from intricate optimization processes, necessitating excessive computing resources. In this paper, we revisit existing GC optimization strategies and identify two pervasive issues: 1. various GC optimization strategies converge to class-level node feature matching between the original and condensed graphs, making the optimization target coarse-grained despite the complex computations; 2. to bridge the original and condensed graphs, existing GC methods rely on a Siamese graph network architecture that requires time-consuming bi-level optimization with iterative gradient computations. To overcome these issues, we propose a training-free GC framework termed Class-partitioned Graph Condensation (CGC), which refines the node feature matching from the class-to-class paradigm into a novel class-to-node paradigm. Remarkably, this refinement also simplifies the GC optimization as a class partition problem, which can be efficiently solved by any clustering methods. Moreover, CGC incorporates a pre-defined graph structure to enable a closed-form solution for condensed node features, eliminating the back-and-forth gradient descent in existing GC approaches without sacrificing accuracy. Extensive experiments demonstrate that CGC achieves state-of-the-art performance with a more efficient condensation process. For instance, compared with the seminal GC method (i.e., GCond), CGC condenses the largest Reddit graph within 10 seconds, achieving a 2,680X speedup and a 1.4% accuracy increase.


title: Requirements are All You Need: The Final Frontier for End-User Software Engineering

abstract: What if end users could own the software development lifecycle from conception to deployment using only requirements expressed in language, images, video or audio? We explore this idea, building on the capabilities that generative Artificial Intelligence brings to software generation and maintenance techniques. How could designing software in this way better serve end users? What are the implications of this process for the future of end-user software engineering and the software development lifecycle? We discuss the research needed to bridge the gap between where we are today and these imagined systems of the future.


title: Comparisons of Sequential Experiments for Additively Separable Problems

abstract: For three natural classes of dynamic decision problems; 1. additively separable problems, 2. discounted problems, and 3. discounted problems for a fixed discount factor; we provide necessary and sufficient conditions for one sequential experiment to dominate another in the sense that the dominant experiment is preferred to the other for any decision problem in the specified class. We use these results to study the timing of information arrival in additively separable problems.


title: Optimizing Lymphocyte Detection in Breast Cancer Whole Slide Imaging through Data-Centric Strategies

abstract: Efficient and precise quantification of lymphocytes in histopathology slides is imperative for the characterization of the tumor microenvironment and immunotherapy response insights. We developed a data-centric optimization pipeline that attain great lymphocyte detection performance using an off-the-shelf YOLOv5 model, without any architectural modifications. Our contribution that rely on strategic dataset augmentation strategies, includes novel biological upsampling and custom visual cohesion transformations tailored to the unique properties of tissue imagery, and enables to dramatically improve model performances. Our optimization reveals a pivotal realization: given intensive customization, standard computational pathology models can achieve high-capability biomarker development, without increasing the architectural complexity. We showcase the interest of this approach in the context of breast cancer where our strategies lead to good lymphocyte detection performances, echoing a broadly impactful paradigm shift. Furthermore, our data curation techniques enable crucial histological analysis benchmarks, highlighting improved generalizable potential.


title: VAE-Var: Variational-Autoencoder-Enhanced Variational Assimilation

abstract: Data assimilation refers to a set of algorithms designed to compute the optimal estimate of a system's state by refining the prior prediction (known as background states) using observed data. Variational assimilation methods rely on the maximum likelihood approach to formulate a variational cost, with the optimal state estimate derived by minimizing this cost. Although traditional variational methods have achieved great success and have been widely used in many numerical weather prediction centers, they generally assume Gaussian errors in the background states, which limits the accuracy of these algorithms due to the inherent inaccuracies of this assumption. In this paper, we introduce VAE-Var, a novel variational algorithm that leverages a variational autoencoder (VAE) to model a non-Gaussian estimate of the background error distribution. We theoretically derive the variational cost under the VAE estimation and present the general formulation of VAE-Var; we implement VAE-Var on low-dimensional chaotic systems and demonstrate through experimental results that VAE-Var consistently outperforms traditional variational assimilation methods in terms of accuracy across various observational settings.


title: Learning Diffusion Priors from Observations by Expectation Maximization

abstract: Diffusion models recently proved to be remarkable priors for Bayesian inverse problems. However, training these models typically requires access to large amounts of clean data, which could prove difficult in some settings. In this work, we present a novel method based on the expectation-maximization algorithm for training diffusion models from incomplete and noisy observations only. Unlike previous works, our method leads to proper diffusion models, which is crucial for downstream tasks. As part of our method, we propose and motivate a new posterior sampling scheme for unconditional diffusion models. We present empirical evidence supporting the effectiveness of our method.


title: Block decompositions for $p$-adic classical groups and their inner forms

abstract: For an inner form $\mathrm{G}$ of a general linear group or classical group over a non-archimedean local field of odd residue characteristic, we decompose the category of smooth representations on $\mathbb{Z}[\mu_{p^{\infty}},1/p]$-modules by endo-parameter. We prove that parabolic induction preserves these decompositions, and hence that it preserves endo-parameters. Moreover, we show that the decomposition by endo-parameter is the $\overline{\mathbb{Z}}[1/p]$-block decomposition; and, for $\mathrm{R}$ an integral domain, introduce a graph whose connected components parameterize the $\mathrm{R}$-blocks, in particular including the cases $\mathrm{R}=\overline{\mathbb{Z}}_{\ell}$ and $\mathrm{R}=\overline{\mathbb{F}}_\ell$ for $\ell\neq p$. From our description, we deduce that the $\overline{\mathbb{Z}_\ell}$-blocks and $\overline{\mathbb{F}_\ell}$-blocks of $\mathrm{G}$ are in natural bijection, as had long been expected. Our methods also apply to the trivial endo-parameter (i.e., the depth zero subcategory) of any connected reductive $p$-adic group, providing an alternative approach to results of Dat and Lanard in depth zero. Finally, under a technical assumption (known for inner forms of general linear groups) we reduce the $\mathrm{R}$-block decomposition of $\mathrm{G}$ to depth zero.


title: Absence of nebular He{\sc ii} $\lambda$4686 constrains the UV emission from the Ultraluminous X-ray pulsar NGC~1313~X--2

abstract: While much has been learned in recent decades about the X-ray emission of the extragalactic Ultraluminous X-ray sources (ULXs), their radiative output in the UV band remains poorly constrained. Understanding of the full ULX spectral energy distribution (SED) is imperative to constrain the accretion flow geometry powering them, as well as their radiative power. Here we present constraints on the UV emission of the pulsating ULX (PULX) NGC~1313~X--2 based on the absence of nebular {He{\sc ii} $\lambda$4686} emission in its immediate environment. To this end, we first perform multi-band spectroscopy of the ULX to derive three realistic extrapolations of the SED into the unaccessible UV, each predicting varying levels of UV luminosity. We then perform photo-ionization modelling of the bubble nebula and predict the {He{\sc ii} $\lambda$4686} fluxes that should have been observed based on each of the derived SEDs. We then compare these predictions with the derived upper limit on {\heii} from MUSE data, which allows us to infer a UV luminosity $L_\mathrm{UV} \lesssim 1 \times 10^{39}$ erg/s in the PULX NGC~1313~X--2. Comparing the UV luminosity inferred with other ULXs, our work suggests there may be an intrinsic difference between hard and soft ULXs, either related to different mass-transfer rates and/or the nature of the accretor. However, a statistical sample of ULXs with inferred UV luminosities is needed to fully determine the distinguishing features between hard and soft ULXs. Finally, we discuss ULXs ionising role in the context of the nebular {He{\sc ii} $\lambda$4686} line observed in star-forming, metal-poor galaxies.


title: Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios

abstract: Formal representations of traffic scenarios can be used to generate test cases for the safety verification of autonomous driving. However, most existing methods are limited in highway or highly simplified intersection scenarios due to the intricacy and diversity of traffic scenarios. In response, we propose Traffic Scenario Logic (TSL), which is a spatial-temporal logic designed for modeling and reasoning of urban pedestrian-free traffic scenarios. TSL provides a formal representation of the urban road network that can be derived from OpenDRIVE, i.e., the de facto industry standard of high-definition maps for autonomous driving, enabling the representation of a broad range of traffic scenarios. We implemented the reasoning of TSL using Telingo, i.e., a solver for temporal programs based on the Answer Set Programming, and tested it on different urban road layouts. Demonstrations show the effectiveness of TSL in test scenario generation and its potential value in areas like decision-making and control verification of autonomous driving.


title: Bose-Einstein condensation of an optical thermodynamic system into a solitonic state

abstract: Recent years have seen a resurgence of interest in multimode fibers due to their intriguing physics and applications, with spatial beam self-cleaning (BSC) having received special attention. In BSC light condenses into the fundamental fiber mode at elevated intensities. Despite extensive efforts utilizing optical thermodynamics to explain such counterintuitive beam reshaping process, several challenges still remain in fully understanding underlying physics. Here we provide compelling experimental evidence that BSC in a dissipative dual-core fiber can be understood in full analogy to Bose-Einstein condensation (BEC) in dilute gases. Being ruled by the identical Gross-Pitaevskii Equation, both systems feature a Townes soliton solution, for which we find further evidence by modal decomposition of our experimental data. Specifically, we observe that efficient BSC only sets in after an initial thermalization phase, causing converge towards a Townes beam profile once a threshold intensity has been surpassed. This process is akin to a transition from classical to quantum-mechanical thermodynamics in BEC. Furthermore, our analysis also identifies dissipative processes as a crucial, yet previously unidentified component for efficient BSC in multimode fiber. This discovery paves the way for unprecedented applications of multimode-fiber based systems in ultrafast lasers, communications, and fiber-based delivery of high-power laser beams.


title: Lossy-and-Constrained Extended Non-Local Games with Applications to Cryptography: BC, QKD and QPV

abstract: Extended non-local games are a generalization of monogamy-of-entanglement games, played by two quantum parties and a quantum referee that performs a measurement on their local quantum system. Along the lines of the NPA hierarchy, the optimal winning probability of those games can be upper bounded by a hierarchy of semidefinite programs (SDPs) converging to the optimal value. Here, we show that if one extends such games by considering constraints and loss, motivated by experimental errors and loss through quantum communication, the convergence of the SDPs to the optimal value still holds. We give applications of this result, and we compute SDPs that show tighter security of protocols for relativistic bit commitment, quantum key distribution, and quantum position verification.


title: Upper and lower memory capacity bounds of transformers for next-token prediction

abstract: Given a sequence of tokens, such as words, the task of next-token prediction is to predict the next-token conditional probability distribution. Decoder-only transformers have become effective models for this task, but their properties are still not fully understood. In particular, the largest number of distinct context sequences that a decoder-only transformer can interpolate next-token distributions for has not been established. To fill this gap, we prove upper and lower bounds on this number, which are equal up to a multiplicative constant. We prove these bounds in the general setting where next-token distributions can be arbitrary as well as the empirical setting where they are calculated from a finite number of document sequences. Our lower bounds are for one-layer transformers and our proofs highlight an important injectivity property satisfied by self-attention. Furthermore, we provide numerical evidence that the minimal number of parameters for memorization is sufficient for being able to train the model to the entropy lower bound.


title: Minimal cobordisms between thin and thick torus knots

abstract: We determine the locally flat cobordism distance between torus knots with small and large braid index, up to high precision. Here small means 2, 3, 4, or 6. As an application, we derive a surprising fact about torus knots that are met along the way of almost minimal cobordisms between two-stranded torus knots and the trivial knot.


title: Spin-orbital excitations encoding the magnetic phase transition in the van der Waals antiferromagnet FePS$_{3}$

abstract: In the rich phases of van der Waals (vdW) materials featuring intertwined electronic order and collective phenomena, characterizing elementary dynamics that entail the low-energy Hamiltonian and electronic degrees of freedom is of paramount importance. Here we performed resonant inelastic X-ray scattering (RIXS) to elaborate the spin-orbital ground and excited states of the vdW antiferromagnetic insulator FePS$_{3}$, as well as their relation to magnetism. We observed the spectral enhancement of spin-orbital multiplet transitions about $\sim$ 100 and $\sim$ 220 meV, as well as quasielastic response, when entering the zig-zag antiferromagnetic phase, where the spectral changes develop an order-parameter-like evolution with temperature. By comparing with ligand field theory calculations, we discovered the essential role of trigonal lattice distortion and negative metal-ligand charge-transfer to account for these emergent excitations. Such spectral profiles are further examined upon confinement by mechanical exfoliation. We reveal their spectral robustness down to the few atomic layer limit, in accordance with the persistent antiferromagnetic state previously reported in optical measurements. Our study demonstrates the versatile RIXS capability that resolves magneto-crystalline anisotropy and charge-transfer energetics. These provide the crucial insight to understand how the spontaneous magnetic symmetry-breaking stabilizes in the quasi-two-dimensional limit for the vdW magnet FePS$_{3}$.


title: Connectivity Shapes Implicit Regularization in Matrix Factorization Models for Matrix Completion

abstract: Matrix factorization models have been extensively studied as a valuable test-bed for understanding the implicit biases of overparameterized models. Although both low nuclear norm and low rank regularization have been studied for these models, a unified understanding of when, how, and why they achieve different implicit regularization effects remains elusive. In this work, we systematically investigate the implicit regularization of matrix factorization for solving matrix completion problems. We empirically discover that the connectivity of observed data plays a crucial role in the implicit bias, with a transition from low nuclear norm to low rank as data shifts from disconnected to connected with increased observations. We identify a hierarchy of intrinsic invariant manifolds in the loss landscape that guide the training trajectory to evolve from low-rank to higher-rank solutions. Based on this finding, we theoretically characterize the training trajectory as following the hierarchical invariant manifold traversal process, generalizing the characterization of Li et al. (2020) to include the disconnected case. Furthermore, we establish conditions that guarantee minimum nuclear norm, closely aligning with our experimental findings, and we provide a dynamics characterization condition for ensuring minimum rank. Our work reveals the intricate interplay between data connectivity, training dynamics, and implicit regularization in matrix factorization models.


title: InstaDrag: Lightning Fast and Accurate Drag-based Image Editing Emerging from Videos

abstract: Accuracy and speed are critical in image editing tasks. Pan et al. introduced a drag-based image editing framework that achieves pixel-level control using Generative Adversarial Networks (GANs). A flurry of subsequent studies enhanced this framework's generality by leveraging large-scale diffusion models. However, these methods often suffer from inordinately long processing times (exceeding 1 minute per edit) and low success rates. Addressing these issues head on, we present InstaDrag, a rapid approach enabling high quality drag-based image editing in ~1 second. Unlike most previous methods, we redefine drag-based editing as a conditional generation task, eliminating the need for time-consuming latent optimization or gradient-based guidance during inference. In addition, the design of our pipeline allows us to train our model on large-scale paired video frames, which contain rich motion information such as object translations, changing poses and orientations, zooming in and out, etc. By learning from videos, our approach can significantly outperform previous methods in terms of accuracy and consistency. Despite being trained solely on videos, our model generalizes well to perform local shape deformations not presented in the training data (e.g., lengthening of hair, twisting rainbows, etc.). Extensive qualitative and quantitative evaluations on benchmark datasets corroborate the superiority of our approach. The code and model will be released at https://github.com/magic-research/InstaDrag.


title: Sub-cycle modulation of light's Orbital Angular Momentum

abstract: The exploration of light has traditionally focused on its spatial properties, particularly its orbital angular momentum (OAM), while its temporal dynamics have remained an underexplored frontier due to the slow response times of existing modulation techniques. In this context, we introduce a method to modulate the OAM of light on a femtosecond scale by engineering a controllable space-time coupling in ultrashort pulses. By intricately linking azimuthal position with time, we implement a static, azimuthally varying wavefront transformation to dynamically alter the spatial distribution of light in a fixed transverse plane. Our experiments demonstrate self-torqued wave packets that exhibit spiraling motions and rapid temporal OAM changes down to a few femtoseconds. We further extend this concept to generate wave packets that angularly self-accelerate. We reveal that these wave packets dynamically adjust their OAM by redistributing their energy density across their spectral bandwidth, all without the influence of external forces. Owing to the unique properties of self-torque and angular acceleration, these time-varying OAM beams offer an accessible avenue for exploring light at fundamental time scales, with far-reaching implications for ultrafast spectroscopy, nano- and micro-structure manipulation, condensed matter physics, and other related areas.


title: A Polynomial Result for Dimensions of Irreducible Representations of Smooth Affine Group Schemes Over Principal Ideal Local Rings

abstract: Denote by $\mathfrak{o}$ the valuation ring of a non-Archimedean local field with prime ideal $\mathfrak{p}$ and finite residue field, and let $r\geq 1$ be an integer. We prove that for every smooth affine group scheme $G$ over $\mathbb{Z}$, the dimension of each irreducible representation of $G(\mathfrak{o}/\mathfrak{p}^r)$ is given by one of finitely many polynomials with coefficients in $\mathbb{Q}$ evaluated at $q=|\mathfrak{o}/\mathfrak{p}|$, provided that the residue characteristic $p=\mathrm{char} \mathfrak{o}/\mathfrak{p}$ is large and fixed.


title: On the planar $L_p$-Gaussian-Minkowski problem for $0 \leq p<1$

abstract: In this paper, we show that if $L_p$ Gaussian surface area measure is proportional to the spherical Lebesgue measure, then the corresponding convex body has to be a centered disk when $p\in[0,1)$. Moreover, we investigate $C^0$ estimate of the corresponding convex bodies when the density function of their Gaussian surface area measures have the uniform upper and lower bound. We obtain convex bodies' uniform upper and lower bound when $p=0$ in asymmetric situation and $p\in(0,1)$ in symmetric situation. In fact, for $p\in(0,1)$ , there is a counterexample to claim the uniform bound does not exist in asymmetric situation.


title: Score-based Generative Models with Adaptive Momentum

abstract: Score-based generative models have demonstrated significant practical success in data-generating tasks. The models establish a diffusion process that perturbs the ground truth data to Gaussian noise and then learn the reverse process to transform noise into data. However, existing denoising methods such as Langevin dynamic and numerical stochastic differential equation solvers enjoy randomness but generate data slowly with a large number of score function evaluations, and the ordinary differential equation solvers enjoy faster sampling speed but no randomness may influence the sample quality. To this end, motivated by the Stochastic Gradient Descent (SGD) optimization methods and the high connection between the model sampling process with the SGD, we propose adaptive momentum sampling to accelerate the transforming process without introducing additional hyperparameters. Theoretically, we proved our method promises convergence under given conditions. In addition, we empirically show that our sampler can produce more faithful images/graphs in small sampling steps with 2 to 5 times speed up and obtain competitive scores compared to the baselines on image and graph generation tasks.


title: TMD Relations: Insights from a Light-Front Quark-Diquark Model

abstract: In this work, we have established the relations between the T-even proton transverse momentum-dependent parton distributions (TMDs) at all twist levels up to twist-4 using the light-front quark diquark model (LFQDM). From the parameterization equations of TMDs, we have found that there are multiple ways by which a particular TMD can be expressed in terms of the helicities of the proton in the initial and final states. For the first time, we have presented a parameterization table that can be applied to the derivation and recognition of proton TMDs based on their helicity. We have constructed the linear and quadratic relationships of TMDs at the intra-twist and inter-twist levels within the same model. We have also looked at the inequality relations that TMDs follow. Additionally, to provide an easy access to the calculations, amplitude matrices have been expressed in the form of TMDs over all the possible helicities of the diquark.


title: Lattice model for percolation on a plane of partially aligned sticks with length dispersity

abstract: A lattice-based model for continuum percolation is applied to the case of randomly located, partially aligned sticks with unequal lengths in 2D which are allowed to cross each other. Results are obtained for the critical number of sticks per unit area at the percolation threshold in terms of the distributions over length and orientational angle and are compared with findings from computer simulations. Consistent with findings from computer simulations, our model shows that the percolation threshold is (i) elevated by increasing degrees of alignment for a fixed length distribution, and (ii) lowered by increasing degrees of length dispersity for a fixed orientational distribution. The impact of length dispersity is predicted to be governed entirely by the first and second moments of the stick length distribution, and the threshold is shown to be quite sensitive to particulars of the orientational distribution function.


title: ComboStoc: Combinatorial Stochasticity for Diffusion Generative Models

abstract: In this paper, we study an under-explored but important factor of diffusion generative models, i.e., the combinatorial complexity. Data samples are generally high-dimensional, and for various structured generation tasks, there are additional attributes which are combined to associate with data samples. We show that the space spanned by the combination of dimensions and attributes is insufficiently sampled by existing training scheme of diffusion generative models, causing degraded test time performance. We present a simple fix to this problem by constructing stochastic processes that fully exploit the combinatorial structures, hence the name ComboStoc. Using this simple strategy, we show that network training is significantly accelerated across diverse data modalities, including images and 3D structured shapes. Moreover, ComboStoc enables a new way of test time generation which uses insynchronized time steps for different dimensions and attributes, thus allowing for varying degrees of control over them.


title: Subspace Mixed-FEM for Real-Time Heterogeneous Elastodynamics

abstract: We propose a reduced space mixed finite element method (MFEM) built on a Skinning Eigenmode subspace and material-aware cubature scheme. Our solver is well-suited for simulating scenes with large material and geometric heterogeneities in real-time. This mammoth geometry is composed of 98,175 vertices and 531,565 tetrahedral elements and with a heterogenous composition of widely varying materials of muscles ($E= 5\times10^5$ Pa), joints ($E=1\times10^5$ Pa), and bone ($E=1\times10^{10}$ Pa). The resulting simulation runs at 120 frames per second (FPS).


title: Control, Transport and Sampling: Towards Better Loss Design

abstract: Leveraging connections between diffusion-based sampling, optimal transport, and optimal stochastic control through their shared links to the Schr\"odinger bridge problem, we propose novel objective functions that can be used to transport $\nu$ to $\mu$, consequently sample from the target $\mu$, via optimally controlled dynamics. We highlight the importance of the pathwise perspective and the role various optimality conditions on the path measure can play for the design of valid training losses, the careful choice of which offer numerical advantages in practical implementation.


title: Photo-dynamical characterisation of the TOI-178 resonant chain

abstract: The TOI-178 system consists of a nearby late K-dwarf transited by six planets in the super-Earth to mini-Neptune regime, with radii ranging from 1.2 to 2.9 earth radius and orbital periods between 1.9 and 20.7 days. All planets but the innermost one form a chain of Laplace resonances. The fine-tuning and fragility of such orbital configurations ensure that no significant scattering or collision event has taken place since the formation and migration of the planets in the protoplanetary disc, hence providing important anchors for planet formation models. We aim to improve the characterisation of the architecture of this key system, and in particular the masses and radii of its planets. In addition, since this system is one of the few resonant chains that can be characterised by both photometry and radial velocities, we aim to use it as a test bench for the robustness of the planetary mass determination with each technique. We perform a global analysis of all available photometry and radial velocity. We also try different sets of priors on the masses and eccentricity, as well as different stellar activity models, to study their effects on the masses estimated by each method. We show how stellar activity is preventing us from obtaining a robust mass estimation for the three outer planets using radial velocity data alone. We also show that our joint photo-dynamical and radial velocity analysis resulted in a robust mass determination for planets c to g, with precision of 12% for the mass of planet c, and better than 10% for planets d to g. The new precisions on the radii range from 2 to 3%. The understanding of this synergy between photometric and radial velocity measurements will be valuable during the PLATO mission. We also show that TOI-178 is indeed currently locked in the resonant configuration, librating around an equilibrium of the chain.


title: Nuclear quantum effects in structural and elastic properties of cubic silicon carbide

abstract: Silicon carbide, a semiconducting material, has gained importance in the fields of ceramics, electronics, and renewable energy due to its remarkable hardness and resistance. In this study, we delve into the impact of nuclear quantum motion, or vibrational mode quantization, on the structural and elastic properties of 3C-SiC. This aspect, elusive in conventional {\it ab-initio} calculations, is explored through path-integral molecular dynamics (PIMD) simulations using an efficient tight-binding (TB) Hamiltonian. This investigation spans a wide range of temperatures and pressures, including tensile stress, adeptly addressing the quantization and anharmonicity inherent in solid-state vibrational modes. The accuracy of the TB model has been checked by comparison with density-functional-theory calculations at zero temperature. The magnitude of quantum effects is assessed by comparing PIMD outcomes with results obtained from classical molecular dynamics simulations. Our investigation uncovers notable reductions of 5%, 10%, and 4% in the elastic constants $C_{11}$, $C_{12}$, and $C_{44}$, respectively, attributed to atomic zero-point oscillations. Consequently, the bulk modulus and Poisson's ratio of 3C-SiC exhibit reduced values by 7% and 5% at low temperature. The persistence of these quantum effects in the material's structural and elastic attributes beyond room temperature underscores the necessity of incorporating nuclear quantum motion for an accurate description of these fundamental properties of SiC.


title: Sampling cubic rings

abstract: We explain how to construct a uniformly random cubic integral domain $S$ of given signature with $|\text{disc}(S)| \leq T$ in expected time $\widetilde O(\log T)$.


title: Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model

abstract: Control barrier certificates have proven effective in formally guaranteeing the safety of the control systems. However, designing a control barrier certificate is a time-consuming and computationally expensive endeavor that requires expert input in the form of domain knowledge and mathematical maturity. Additionally, when a system undergoes slight changes, the new controller and its correctness certificate need to be recomputed, incurring similar computational challenges as those faced during the design of the original controller. Prior approaches have utilized transfer learning to transfer safety guarantees in the form of a barrier certificate while maintaining the control invariant. Unfortunately, in practical settings, the source and the target environments often deviate substantially in their control inputs, rendering the aforementioned approach impractical. To address this challenge, we propose integrating \emph{inverse dynamics} -- a neural network that suggests required action given a desired successor state -- of the target system with the barrier certificate of the source system to provide formal proof of safety. In addition, we propose a validity condition that, when met, guarantees correctness of the controller. We demonstrate the effectiveness of our approach through three case studies.


title: Towards Counting Markov Equivalence Classes with Logical Constraints

abstract: We initiate the study of counting Markov Equivalence Classes (MEC) under logical constraints. MECs are equivalence classes of Directed Acyclic Graphs (DAGs) that encode the same conditional independence structure among the random variables of a DAG model. Observational data can only allow to infer a DAG model up to Markov Equivalence. However, Markov equivalent DAGs can represent different causal structures, potentially super-exponentially many. Hence, understanding MECs combinatorially is critical to understanding the complexity of causal inference. In this paper, we focus on analysing MECs of size one, with logical constraints on the graph topology. We provide a polynomial-time algorithm (w.r.t. the number of nodes) for enumerating essential DAGs (the only members of an MEC of size one) with arbitrary logical constraints expressed in first-order logic with two variables and counting quantifiers (C^2). Our work brings together recent developments in tractable first-order model counting and combinatorics of MECs.


title: Massive scalar clouds and black hole spacetimes in Gauss-Bonnet gravity

abstract: We study static black holes in scalar-Gauss-Bonnet (sGB) gravity with a massive scalar field as an example of higher curvature gravity. The scalar mass introduces an additional scale and leads to a strong suppression of the scalar field beyond its Compton wavelength. We numerically compute sGB black hole spacetimes and scalar configurations and also compare with perturbative results for small couplings, where we focus on a dilatonic coupling function. We analyze the constraints on the parameters from requiring the curvature singularity to be located inside the black hole horizon $r_h$ and the relation to the regularity condition for the scalar field. For scalar field masses $m r_h \gtrsim 10^{-1}$, this leads to a new and currently most stringent bound on sGB coupling constant $\alpha$ of $\alpha/r_h^2 \sim 10^{-1}$ in the context of stellar mass black holes. Lastly, we look at several properties of the black hole configurations relevant for further work on observational consequences, including the scalar monopole charge, Arnowitt Deser Misner mass, curvature invariants and the frequencies of the innermost stable circular orbit and light ring.


title: Memory capacity of three-layer neural networks with non-polynomial activations

abstract: The minimal number of neurons required for a feedforward neural network to interpolate $n$ generic input-output pairs from $\mathbb{R}^d\times \mathbb{R}$ is $\Theta(\sqrt{n})$. While previous results have shown that $\Theta(\sqrt{n})$ neurons are sufficient, they have been limited to logistic, Heaviside, and rectified linear unit (ReLU) as the activation function. Using a different approach, we prove that $\Theta(\sqrt{n})$ neurons are sufficient as long as the activation function is real analytic at a point and not a polynomial there. Thus, the only practical activation functions that our result does not apply to are piecewise polynomials. Importantly, this means that activation functions can be freely chosen in a problem-dependent manner without loss of interpolation power.


title: Measuring the Burgers Vector of Dislocations with Dark-Field X-ray Microscopy

abstract: The behavior of dislocations is essential to understand material properties, but their subsurface dynamics that are representative of bulk phenomena cannot be resolved by conventional transmission electron microscopy (TEM). Dark field X-ray microscope (DFXM) was recently demonstrated to image hierarchical structures of bulk dislocations by imaging lattice distortions along the transmitted X-ray diffracted beam using an objective lens. While today's DFXM can effectively map the line vector of dislocations, it still cannot quantify the Burgers vector required to understand dislocation interactions, structures, and energies. Our study formulates a theoretical model of how DFXM images collected along specific scans can be used to directly measure the Burgers vector of a dislocation. By revisiting the "invisibility criteria" from TEM theory, we re-solve this formalism for DFXM and extend it to the geometric-optics model developed for DFXM to evaluate how the images acquired from different scans about a single {hkl} diffraction peak encode the Burgers vector within them. We demonstrate this for edge, screw, and mixed dislocations and discuss the observed symmetries. This work advances our understanding of DFXM to establish its capabilities to connect bulk experiments to dislocation theory and mechanics.


title: Mining Action Rules for Defect Reduction Planning

abstract: Defect reduction planning plays a vital role in enhancing software quality and minimizing software maintenance costs. By training a black box machine learning model and "explaining" its predictions, explainable AI for software engineering aims to identify the code characteristics that impact maintenance risks. However, post-hoc explanations do not always faithfully reflect what the original model computes. In this paper, we introduce CounterACT, a Counterfactual ACTion rule mining approach that can generate defect reduction plans without black-box models. By leveraging action rules, CounterACT provides a course of action that can be considered as a counterfactual explanation for the class (e.g., buggy or not buggy) assigned to a piece of code. We compare the effectiveness of CounterACT with the original action rule mining algorithm and six established defect reduction approaches on 9 software projects. Our evaluation is based on (a) overlap scores between proposed code changes and actual developer modifications; (b) improvement scores in future releases; and (c) the precision, recall, and F1-score of the plans. Our results show that, compared to competing approaches, CounterACT's explainable plans achieve higher overlap scores at the release level (median 95%) and commit level (median 85.97%), and they offer better trade-off between precision and recall (median F1-score 88.12%). Finally, we venture beyond planning and explore leveraging Large Language models (LLM) for generating code edits from our generated plans. Our results show that suggested LLM code edits supported by our plans are actionable and are more likely to pass relevant test cases than vanilla LLM code recommendations.


title: Existence in NSOP$_1$ theories

abstract: We show that Kim-forking satisfies existence in all NSOP$_1$ theories.


title: Generalized Einstein Relations between Absorption and Emission Spectra at Thermodynamic Equilibrium

abstract: We present Einstein coefficient spectra and a detailed-balance derivation of generalized Einstein relations between them that is based on the connection between spontaneous and stimulated emission. If two broadened levels or bands overlap in energy, transitions between them need not be purely absorptive or emissive. Consequently, spontaneous emission can occur in both transition directions, and four Einstein coefficient spectra replace the three Einstein coefficients for a line. At equilibrium, the four different spectra obey five pairwise relationships and one lineshape generates all four. These relationships are independent of molecular quantum statistics and predict the Stokes' shift between forward and reverse transitions required by equilibrium with blackbody radiation. For Boltzmann statistics, the relative strengths of forward and reverse transitions depend on the formal chemical potential difference between the initial and final bands, which becomes the standard chemical potential difference for ideal solutes. The formal chemical potential of a band replaces both the energy and degeneracy of a quantum level. Like the energies of quantum levels, the formal chemical potentials of bands obey the Rydberg-Ritz combination principle. Each stimulated Einstein coefficient spectrum gives a frequency-dependent transition cross section. Transition cross sections obey causality and a detailed-balance condition with spontaneous emission, but do not directly obey generalized Einstein relations. Even with an energetic width much less than the photon energy, an absorptive forward transition with an energetic width much greater than the thermal energy can have such an extreme Stokes' shift that its reverse transition cross section becomes predominantly absorptive rather than emissive.


title: Cyclic Cubic Points on Higher Genus Curves

abstract: The distribution of degree $d$ points on curves is well understood, especially for low degrees. We refine this study to include information on the Galois group in the simplest interesting case: $d = 3$. For curves of genus at least 5, we show cubic points with Galois group $C_3$ arise from well-structured morphisms, along with providing computable tests for the existence of such morphisms. We prove the same for curves of lower genus under some geometric or arithmetic assumptions.


title: A Privacy Measure Turned Upside Down? Investigating the Use of HTTP Client Hints on the Web

abstract: HTTP client hints are a set of standardized HTTP request headers designed to modernize and potentially replace the traditional user agent string. While the user agent string exposes a wide range of information about the client's browser and device, client hints provide a controlled and structured approach for clients to selectively disclose their capabilities and preferences to servers. Essentially, client hints aim at more effective and privacy-friendly disclosure of browser or client properties than the user agent string. We present a first long-term study of the use of HTTP client hints in the wild. We found that despite being implemented in almost all web browsers, server-side usage of client hints remains generally low. However, in the context of third-party websites, which are often linked to trackers, the adoption rate is significantly higher. This is concerning because client hints allow the retrieval of more data from the client than the user agent string provides, and there are currently no mechanisms for users to detect or control this potential data leakage. Our work provides valuable insights for web users, browser vendors, and researchers by exposing potential privacy violations via client hints and providing help in developing remediation strategies as well as further research.


title: NeurCross: A Self-Supervised Neural Approach for Representing Cross Fields in Quad Mesh Generation

abstract: Quadrilateral mesh generation plays a crucial role in numerical simulations within Computer-Aided Design and Engineering (CAD/E). The quality of the cross field is essential for generating a quadrilateral mesh. In this paper, we propose a self-supervised neural representation of the cross field, named NeurCross, comprising two modules: one to fit the signed distance function (SDF) and another to predict the cross field. Unlike most existing approaches that operate directly on the given polygonal surface, NeurCross takes the SDF as a bridge to allow for SDF overfitting and the prediction of the cross field to proceed simultaneously. By utilizing a neural SDF, we achieve a smooth representation of the base surface, minimizing the impact of piecewise planar discretization and minor surface variations. Moreover, the principal curvatures and directions are fully encoded by the Hessian of the SDF, enabling the regularization of the overall cross field through minor adjustments to the SDF. Compared to state-of-the-art methods, NeurCross significantly improves the placement of singular points and the approximation accuracy between the input triangular surface and the output quad mesh, as demonstrated in the teaser figure.