Peer Revenue Fully funded

Papers

Fresh from arXiv, typeset properly. Highlighted words trade on the market.

All of arXiv

Wednesday 16 September

Systems and Control

Chaotically Paced Transit of an Embedded-Leader Swarm with Local Spring-Damper Formation Control

This paper treats planar swarm transit along a fixed route when no ground station streams the reference in flight. One embedded leader stores the deployment point and the destination, generates the reference onboard, and drives its progress rate with a saturated coordinate of a Chua oscillator; the saturation keeps the rate inside a prescribed positive band, which gives explicit bounds on the reference arrival time. This leader broadcasts the one scalar rate to the other leaders; every leader adds it as a velocity feedforward and holds its station by single-pinned consensus on position error, while followers use only relative position and velocity feedback through a spring-damper network. For kinematic leaders and double-integrator followers on fixed graphs with ideal information exchange, the leader errors decay exponentially, the follower errors are bounded, and the whole swarm eventually stays inside the destination area whenever the final formation fits strictly inside it. Ten simulations with 30 agents compare the chaotic rate with a constant rate. The reference arrivals satisfy the analytical bounds, and the chaotic rate raises the error of a constant-velocity predictor at all three tested horizons, at the cost of a larger but bounded follower error. The analysis does not address internal link failures or model-aware observers.
Read the full abstract

Information Theory

Second-Order Asymptotics for the Gaussian MAC on the Relative Interior of the Sum-Rate Face

We completely characterize the second-order coding rate region of the two-user Gaussian multiple-access channel at points in the relative interior of the sum-rate face, under maximal per-codeword power constraints. For any fixed average error probability $0 < \varepsilon < 1/2$, a nontrivial mixture of power splits reduces the sum-rate dispersion and strictly improves upon standard inner bounds based on a constant power split. Thus, a constant power split, although sufficient to attain the first-order capacity region, is insufficient for second-order optimality in this regime. Our achievability proof builds on the constant composition and coded time-sharing framework of Scarlett, Martinez, and Guillén i Fàbregas, with an optimization over admissible power splits. A matching second-order converse establishes the optimality of the resulting coded time-sharing strategy.
Read the full abstract

Quantum Physics

Sublattice-selective control of spin reversal in metasurface-coupled Kagome interfaces

Coherent manipulation of photonic interface states requires a control field that matches their internal mode structure. We study this requirement in a two-component Kagome lattice motivated by photon-mediated exchange near a nonlinear nonlocal metasurface. The Dirac spinors show why uniform Raman control cannot couple opposite-spin, same-valley interface modes at leading order, even when their spatial envelopes coincide. A $1:1:-2$ sublattice pattern removes this cancellation and maximizes the projected coupling at fixed root-mean-square amplitude within the diagonal-control class. We test this control scheme through full-zone topology and complete lattice propagation. For a smooth, gapped interface, a $720$-dimensional calculation gives target-mode fidelity $0.999937$ with leakage $6.27\times10^{-5}$ at RMS drive $0.04t$. Trace-preserving dynamics gives the separate survival condition needed for successful conversion. An exploratory three-dimensional lithium-niobate supercell reproduces the complex addressing pattern with $0.373\%$ relative error and provides nonlocal exchange, decay and electro-optic frequency-conversion matrices. The mode-resolved control principle thus gives quantitative electromagnetic design targets; the full spin-dependent device realization still requires further calibration.
Read the full abstract

All authors Ximo Wang, Qiwei Han, Zhenqi Bai, Ruyue Guo, Min Feng, Yichi Zhang

Computation and Language

Gaze as Evidence for Common Grounding: A Cross-Corpus Analysis of MapTask and MUNDEX

In collaborative tasks with asymmetric information, participants coordinate their understanding through interaction. We ask whether gaze provides evidence about grounding across two such tasks. Working from discrete behavioral annotations, we map HCRC MapTask (Anderson et al., 1991) and MUNDEX (Türk et al., 2023) into a shared partner/task/away vocabulary and compute gaze features around task-relevant dialogue units. In both corpora, aligned reference interpretations (MapTask) and UND (understood) judgments (MUNDEX) are associated with more task-directed gaze and with less partner-directed gaze, lower gaze entropy, and fewer gaze transitions. The associations are clearest for the participant leading the task: in giver-produced references, and in explainer judgments, which also co-vary with the explainee's gaze. In same-speaker MapTask reference chains, the speaker's gaze entropy is lower at the mention where a previously non-aligned referent becomes aligned. The best gaze feature groups improve modestly over controls under grouped cross-validation: temporal features in MapTask and raw proportions in MUNDEX. Because effects are small and several weaken when recurring participants rather than dialogues are the unit of inference, we treat gaze as one contributing cue to grounding, to be interpreted alongside task and dialogue context.
Read the full abstract

Dynamical Systems

Torus Bifurcation in the Hopf-Langford type system through Averaging Theory

We study the existence of periodic solutions and invariant tori bifurcating from a zero-Hopf equilibrium in a Hopf-Langford type system. Using second-order averaging theory, we establish explicit parameter conditions under which the system admits a periodic solution near the origin, together with its stability. We then apply recent results relating invariant tori to Neimark-Sacker bifurcations of the associated Poincaré map to obtain a smooth bifurcation curve along which a unique invariant torus surrounds the periodic solution. The relevant first Lyapunov coefficient is computed explicitly as a power series in the perturbation parameter, and we show that, under the conditions considered, this coefficient is always positive; consequently, whenever it exists, the bifurcating torus is unstable, regardless of the specific parameter values chosen within our hypotheses. This provides a structural obstruction to the existence of asymptotically stable tori in this family of systems. We illustrate our results with two numerical examples, one exhibiting an isolated asymptotically stable periodic solution with no bifurcating torus, and another exhibiting a periodic solution surrounded by an unstable invariant torus, the latter also illustrated through its Poincaré map.
Read the full abstract

Audio and Speech Processing

SG-Mamba: Sparse Graph-Guided Mamba for Audio-Visual Speech Enhancement

Lightweight audio-visual speech enhancement (AVSE) models face a critical trade-off between computational efficiency and cross-modal alignment accuracy. While simple concatenation lacks relational expressiveness, dense cross-attention incurs computational overhead and is prone to unreliable cross-modal correspondence under strong acoustic interference. We propose Sparse Graph-Guided Mamba (SG-Mamba), a lightweight AVSE framework that integrates a sparse heterogeneous graph with a linear-complexity Mamba backbone. The graph explicitly models modality-specific relations through content-adaptive attention and cross-frame audio-visual connections, while Mamba captures long-range temporal context. We further introduce an audio skip connection to preserve spectral detail without sacrificing noise suppression. Evaluated on LRS3, SG-Mamba achieves competitive or superior performance against strong lightweight baselines and reaches 13.091 dB SI-SDR under noise-only condition. It also remains robust in cluttered multi-speaker conditions with a competitive cost of 3.45 G MACs (or 6.90 G FLOPs). Results on VoxCeleb2 further suggest that explicit structural priors improve robustness, generalizability, and computational efficiency in lightweight AVSE.
Read the full abstract

All authors Guo-Ruei Tseng, Hung-Shin Lee, Hsin-Min Wang, Berlin Chen

Materials Science

High-performance orbital-torque magnetic memory on the 300-mm platform

Contemporary memory technologies are increasingly constrained by the fundamental trilemma of storage capacity, access latency, and power consumption. Among the emerging technologies, spin-orbit torque magnetic random-access memory (SOT-MRAM) shows promise to circumvent these challenges, owing to its fast switching dynamics and high endurance. However, the application of SOT-MRAM is hindered by the relatively low write and read efficiencies, resulting in a large bitcell area and an insufficient sensing margin. Meanwhile, the involvement of an ultrathin spin-source channel, typically within a few nanometers, imposes technological challenges for mass production. Here, we resolve these issues on a 300-mm wafer platform by exploiting the emerging orbital degree of freedom and the resultant orbital torque (OT) from the relatively thick Ti/W bilayer. In particular, OT memory nanodevices exhibit a giant tunnel magnetoresistance (TMR) of 182%, nanosecond-scale response, 1012 endurance, together with an enhanced switching efficiency (E_b/I_c), which consequently enables an ultra-low write energy of less than 0.1 pJ/bit. Our findings demonstrate that orbital angular momentum can be implemented for building energy-efficient MRAM devices, offering a practical pathway towards low-latency memory that is demanded for high-performance computing and AI applications.
Read the full abstract

All authors Dinggui Zeng, Yang Gao, Jinyu Duan, Lei Zhao, Yuhao An, Xing He, Jintao Ke, Yonglong Ga, Shasha Wang, Zhenghui Ji, Muyuan Chen, Hengan Zhou, Xuejie Xie, Enlong Liu, Junlu Gong, Qijun Guo, Yihui Sun, Zejie Zheng, Weiming He, Xiaolei Yang, Fantao Meng, Yaohua Wang, Hongxin Yang, Delin Zhang, Yong Jiang, Wanjun Jiang, Shikun He

Computer Vision

Newer Is Not Fairer: Gender Stereotyping in Text-to-Image AI Across Model Generations

Text-to-image generative models are widely used in professional and creative settings, yet how they represent gender across occupations – and whether newer models are fairer – remains poorly understood across multiple generations. We evaluate gender representation across 20 occupations, 5 prompt templates, and 4 Stable Diffusion model generations (SD 1.5, SD 2.1, SDXL, SD 3 Medium), generating 8,000 images with n = 100 per occupation-model cell (5 prompts x 20 images), and classifying all with DeepFace. Across the 8,000 open-source images, 76.4% show male subjects (95% CI [75.1%, 78.7%], p < 2.2 x 10^-16, Benjamini-Hochberg adjusted). More strikingly, 57.6% of images for historically female-coded occupations show male subjects (raw p = 3.43 x 10^-22, BH-adjusted p = 1.71 x 10^-21). All nine significant tests reported in this paper survive BH correction across 10 tests. When compared against U.S. Bureau of Labor Statistics workforce data, models underrepresent women by 20-46pp on average, with particularly large deviations for near gender-balanced occupations: scientist (48% female in BLS, 82-99% male in model outputs) and cleaner (46% female in BLS, 80-92% male in outputs). Model generations do not improve steadily: bias worsens from SD 1.5 to SDXL before partially recovering in SD 3 Medium. A preliminary comparison with GPT-image-1 on five occupations suggests lower bias than open-source models, though the practical effect is small (Cramer's V = 0.080) and the comparison is exploratory. No model achieves gender parity.
Read the full abstract

Astrophysics of Galaxies

A Possible Hidden Hot Halo Component Revealed by Joint X-ray and Sunyaev–Zel'dovich Observations

Massive galaxies are expected to host extended halos of hot gas that contain a substantial fraction of their baryons and feedback energy. X-ray observations probe the dense, X-ray-bright component of this circumgalactic medium (CGM), while the thermal Sunyaev-Zel'dovich (SZ) effect is also sensitive to lower-density gas through its integrated thermal pressure. We present the first spatially resolved joint X-ray and SZ analysis of a massive isolated disk galaxy, using deep XMM-Newton observations of NGC 4594 from the X-raying the Accretion Reservoir Transferred to the ATmosphere Orbiting a Massive Spiral (XART-ATOMS) program, together with multiple independent Planck-based SZ reconstructions. The measured SZ signal in the inner halo appears to exceed the value predicted from the X-ray-derived gas properties, even after accounting for major systematic uncertainties. Our preferred interpretation is that an additional lower-density CGM component contributes little to the observed soft X-ray emission but carries substantial thermal pressure. Under a simple two-phase model in approximate pressure equilibrium, the most probable X-ray-to-SZ ratio implies that the detected X-ray-emitting gas occupies only a small fraction of the halo volume, with a characteristic filling factor of f_X ~ (4-6)x10^-3 near r~50 kpc. Such a small filling factor implies that single-phase X-ray analyses can underestimate the baryon mass contained in the hot CGM by a factor of ~2.5, while the thermal energy content of the CGM is underestimated by about one order of magnitude. The non-detection of the additional component in the X-ray spectra requires it to be very hot and/or spatially extended, so weak in the soft X-ray emissions. These results favor the presence of a "hidden" X-ray-faint hotter halo component, while alternative interpretations, including a nonthermal contribution, are not excluded.
Read the full abstract

All authors Jiang-Tao Li, Rui Huang, Joel N. Bregman, Q. Daniel Wang, Cameron Pratt

Computation and Language

A Calibrated Instrument for Measuring How Inference Optimizations Affect Output Quality

Large language model optimization is an active research area, spanning quantization of model weights, early-exit methods for skipping layers, and speculative decoding. Each track uses its own quality measures, typically an idiosyncratic benchmark score. Few approach the measurement precision required by other scientific disciplines. We propose a rigorous methodology for measuring output quality, suitable for cross-system and cross-technique comparison. We score outputs with an LLM as a judge, but calibrate the judge formally: we compare its scores on two ordinary runs of a model given the same prompts, verifying that it shows no systematic preference between statistically equivalent outputs and measuring its per-sample noise. Each design also includes a 'null' condition, provably identical in distribution to the unmodified model, whose measured difference must be zero. With this one instrument we measure several acceleration techniques on the same prompts, so their quality costs can be compared. Perceived quality proves highly dependent on the domain of discourse. A 4-bit model was indistinguishable from its 16-bit original down to our design's +/-0.3-point resolution, in English prose and Chinese alike. At 3-bit precision the same prompts lost 0.5 points in English prose, 0.9 in Chinese, and 1.1 on multi-step math; early exit that cost 0.7 points on prose cost 2.5 on math, cutting correctly solved problems from 19 of 27 to 6. The pattern held for models from Alibaba and from Meta, but not its magnitude: the same quantizer cost Meta's model 1.8 points where it cost Alibaba's 0.7. A model's certainty about a token predicts how likely it is to differ from the full model's choice, but not how much that difference affects judged quality, so acceptance rules relying on certainty cannot distinguish errors that matter from errors that don't.
Read the full abstract

Artificial Intelligence

Missing Bridges: Composition-Aware Active Imitation Learning

Active imitation learning reduces expert effort by allowing a learner to request the demonstrations it needs. Existing methods typically select these requests for their expected information gain about the expert policy. In structured multi-task domains, however, the number of start-goal tasks may grow combinatorially despite their solutions sharing reusable behavior. This makes composable behaviors especially valuable, since a single demonstration may help solve many tasks at once. Prior methods do not explicitly account for this value when selecting which demonstration to request. We introduce Adaptive Agents via Latent Topologies (AALT), which requests demonstrations that maximize expected gains in start-goal connectivity. We further show that this objective is formally tied to information gain about task reachability. AALT organizes existing demonstrations into a topology of latent hub states connected by learned behaviors, identifies high-value bridge demonstrations that are likely to enable many tasks at once, and grounds each to an expert query. At inference, it plans through the resulting topology and conditions a diffusion policy on each successive hub transition. In a simulated UR5e robot ordered-retrieval domain with 72 tasks, AALT improved from 42/72 to 72/72 (100%) successful tasks consistently using only 3 demonstrations totaling 5 transitions beyond the initial dataset. After 20 demonstrations, the strongest baseline averaged 88.6% success using 98 transitions.
Read the full abstract

Signal Processing

Antenna Placement for Monostatic Near-Field Wireless Sensing

The emergence of movable antenna technology enables flexible antenna placement, allowing transceiver antennas to more effectively exploit spatial degrees of freedom. In this paper, we investigate a monostatic near-field sensing system, aiming to minimize the worst-case squared position error bound (SPEB) over the entire near-field region by jointly optimizing the transmit and receive antenna placements, along with the transmit power allocation. Toward this end, we first derive the closed-form expression of SPEB by calculating the Cramér-Rao bound (CRB) for estimating the target's angle and distance. It is shown that the derived SPEB is governed by the power-weighted moments of the transmit antenna locations and the moments of the receive antenna locations, motivating the development of a moment-based optimization algorithm. Functional analysis of the SPEB's moment structure proves that the optimal antenna distributions can be realized by a centro-symmetric structure, and shows that the worst-case target is located at the array broadside on the Rayleigh boundary. Moreover, by leveraging moment-based analysis and the Richter-Tchakaloff theorem, we derive closed-form antenna distributions with three points supported at the aperture center and two edges. Specifically, the optimal transmit antenna distribution can be exactly realized by activating only three transmit antennas while the optimal receive antenna distribution consists of three clusters. Numerical results show that the proposed closed-form design significantly outperforms conventional antenna placements and power allocation benchmark schemes.
Read the full abstract

Quantum Physics

Algorithmic Design of Heralded Linear Optical Circuits for Multipartite Entanglement

Heralded multipartite entanglement is a key resource for various quantum information tasks. However, designing linear optical circuits that generate specific target states is generally challenging due to the complexity of the required optical structures. Here we formulate the design of heralded photonic circuits as an algorithmic graph-search problem. Our framework enables the automated construction and optimization of heralded photonic circuits by substantially reducing the search space using the linear quantum graph (LQG) picture. Our strategy reconstructs circuit structures as graphs in the picture and identifies suitable graphs automatically. As a result, we design efficient schemes for a broad range of useful multipartite resource states, including hypergraph magic states, quantum error correcting codes, general three-qubit states and length-1 caterpillar graph states. Our work establishes an algorithmic framework for the systematic discovery of heralded resource states, laying the foundation for the automated design of increasingly complex multipartite entangled resources.
Read the full abstract

All authors Jaehee Kim, Hon Wai Lau, William J. Munro, Joonsuk Huh, Seungbeom Chin

Logic

1-genericity and almost everywhere domination

We prove that there is a 1-generic set which computes a uniformly almost everywhere dominating function. The proof has two ingredients: a Baire space version of the Chong-Downey Sigma01-density criterion and the forcing of Cholak-Greenberg-Miller.

Astrophysics of Galaxies

Does galaxy-scale compactness regulate nebular electron density? A cross-scale test with DESI

Nebular electron density, $n_e$, traces ionized gas in small-scale H\,ii regions and diffuse ionized structures, whereas galaxy stellar surface density, $\Sigma_\star$, measures compactness on kpc scales. Whether these quantities are correlated is therefore a cross-scale question rather than a geometrical identity. We test whether nebular electron density varies systematically with galaxy-scale stellar compactness after controlling for the correlated effects of stellar mass and star-formation rate (SFR). We use DESI DR 1 spectra to test this cross-scale connection in AGN-clean star-forming galaxies at $0.10<z<0.44$. We divide each redshift interval into tertiles of $\Sigma_\star=M_\star/(2\pi R_e^2)$. We construct one controlled sample in which the $M_\star$ distributions are matched across the three compactness tertiles, and a second in which their joint $M_\star$–SFR distributions are matched, thereby minimizing the influence of these correlated galaxy properties. For each compactness tertile, we stack the galaxy spectra with equal weight and use the stacked spectrum to measure the average $n_e$ of the galaxies in that sample. The average $n_e$ increases systematically toward higher stellar surface density in all redshift intervals. This is the first controlled population-level evidence for a correlation between kpc-scale galaxy stellar surface density (compactness) and the average $n_e$ of ionized gas on subgalactic scales. Its persistence after matching both $M_\star$ and SFR suggests that a more compact stellar configuration may promote higher gas pressure and/or stronger confinement of ionized gas, linking galaxy-scale structure to nebular conditions.
Read the full abstract

Statistical Methodology

Drift Inference for Unit-Root Galton-Watson Processes with Immigration

We study inference on the drift of a critical Galton–Watson process with immigration, a count time series with a unit root. Climate change motivates such nonstationary models for weather-related disaster counts. The drift is the expected increase in the count per period. Ordinary least squares is inconsistent for the drift, so we study state-weighted least squares, giving greater weight to observations following small counts, where conditional variance is lower. Under strict recurrence, we apply null-recurrent regenerative limit theory to obtain a polynomial convergence rate and a standard normal studentized limit. Our main contribution is the recurrence boundary, where we establish a logarithmic convergence rate and a parameter-free non-Gaussian studentized limit. Estimating the optimal weights yields the same first-order limiting distribution as knowing them. Simulations show lower root mean squared error than time-weighted least squares with weights $1/t$, and improved state-weighted confidence-interval coverage when the unit root is imposed.
Read the full abstract

Solar and Stellar Astrophysics

Three-dimensional simulations of accretion disks in pre-CE systems – II. Accretion efficiency and angular momentum transport

Rapid mass transfer preceding a common envelope event is a critical yet poorly understood stage of binary stellar evolution, setting the initial conditions for the common envelope inspiral and for the formation of compact binary stars. We present three-dimensional smoothed particle hydrodynamics simulations of accretion disk formation during this phase using the Phantom code. We model the final $21~yr$ of Roche lobe overflow from a $7~M_{\odot}$ red giant onto a $1.4~M_{\odot}$ neutron star companion, with the mass transfer rate prescribed by a 1D MESA model. Over this interval, the mass transfer rate increases from $1.3\times10^{-4}$ to $1.0\times10^{-1}~M_\odot~yr^{-1}$. An accretion disk forms around the neutron star, reading a mass of $5.0\times10^{-3} ~ M_{\odot}$, a radius of $40~R_{\odot}$ and an aspect ratio H/R$\sim 0.1$ by the end of the simulation. A direct comparison with the grid-based simulation of Juarez-Garcia et al. (2025) shows that the two codes produce disk masses that agree to within 6%. The accretion rate onto the neutron star reaches $5.2\times10^{-3}~M_\odot~yr^{-1}$, corresponding to 14% of the mass injection rate and greatly exceeding the Eddington limit. We demonstrate that this accretion rate is consistent with being driven by turbulent angular momentum transport, with an effective viscosity parameter $\alpha_{\rm eff}~=~0.03-0.06$. Ejecta leaving the binary system carries specific angular momentum approximately 90% that of the $L_{2}$ Lagrange point, equivalent to $\sim10$ times the binary's specific orbital angular momentum. This indicates that $L_{2}$ mass loss efficiently reduces the binary orbital separation.
Read the full abstract

All authors Ana L. Juarez-Garcia, Mike Y. M. Lau, Orsola De Marco, Lionel Siess, Daniel J. Price, Rebecca Nealon

Machine Learning

The Attention Within: Consensus Dynamics in Selective State Space Models

Selective state space models (SSMs) have recently emerged as a compelling alternative to transformers, combining competitive performance with substantially improved inference efficiency. At each SSM layer, a sequence of hidden states are propagated by a recurrence, mixing information of different tokens. Despite using a different mechanism, this mixing plays a role analogous to attention in transformers. In fact, recent works have shown that the two architectures may be closer than they first appear, as this recurrence admits a formulation akin to linear attention. In transformers, attention is known to drive the tokens to cluster, i.e., to reach consensus, collapsing in the limit to a single direction. Thus, we ask: does the recurrence at the core of SSMs drive the tokens to consensus, as attention does in transformers? To answer this question, we take a dynamical systems perspective on SSMs, modeling the evolution of tokens across layers as an ordinary differential equation. By exploiting input-to-state stability arguments, we establish local exponential stability of the consensus equilibria and characterize their domain of attraction for time-varying weight matrices, a setting not addressed by previous results. We thereby show that the resemblance between SSMs and transformers does run deeper: the recurrence at the core of SSMs aggregates tokens just as attention does. Numerical experiments on a pretrained Mamba-2 model point to the output gate as the component that regulates the extent of this consensus, preventing the tokens from reaching it in full.
Read the full abstract

Computation and Language

Modeling the Developmental Shift in Telicity Acquisition

Acquiring telicity, which is the distinction between bounded (e.g., ate an apple) and unbounded (e.g., ate apples) events, requires first language (L1) learners to map surface-level and semantic cues to abstract event structures, but the computational trajectory of this mapping is not well understood. We introduce a Difference in Surprisal method that uses GPT2 token surprisal over paired temporal adverbial diagnostics (in an hour versus for an hour) to automatically label telicity across English CHILDES corpora, validated against expert linguist judgments. Using these labels, we train diagnostic logistic regression classifiers on 12 syntactic and lexical semantic features to compare how child speech and child-directed speech encode telicity. The two models diverge: the child model reaches near perfect accuracy through a single deterministic cue, the presence of a post-verbal determiner, while the adult model relies more heavily on verb class and other lexical semantic features, with the determiner cue neutralized. This trajectory supports Syntactic Bootstrapping: learners first exploit high-frequency structural cues as a scaffold to bootstrap, before developing fully compositional, verb-based event structures.
Read the full abstract

Machine Learning

QuanText: Protecting Dataset-Level Secrets in Textual Data Sharing

Natural-language datasets support many downstream applications and research studies, but releasing text can reveal sensitive global properties of the underlying data source, such as the proportion of records associated with a particular gender, diagnosis, or political stance. Existing work has largely focused on property inference attacks that recover such global properties, while defenses for protecting these dataset-level secrets remain limited. Differential privacy, although effective for protecting individual records, provides only weak protection for aggregate properties. We propose Randomized Quantization for Text (QuanText), a training-free and large-language-model-agnostic data release mechanism that protects global secrets in textual datasets while preserving data utility. Given a dataset-level secret, such as the proportion of records with a particular diagnosis, and attributes whose utility should be preserved, such as topic and sentiment, QuanText perturbs both the secret distribution and the distributions of correlated attributes. It does so by constructing candidate release distributions over secret and non-secret attributes, randomly selecting a candidate sufficiently close to the private empirical distribution, and rewriting each private text sample to match the selected distribution using attribute-related snippets from the original text. QuanText is inspired by the Statistic Maximal Leakage (SML) framework, which bounds leakage about a secret function of a data distribution. Under idealized conditions, we show that QuanText satisfies an SML guarantee. Since these conditions may not hold exactly in practice, we also evaluate QuanText empirically on real-world datasets. Our results show that QuanText achieves a better empirical privacy-utility trade-off than competing data generation baselines.
Read the full abstract

Logic

Almost-everywhere computation of weak generics relative to r.e. sets

A set B is AEWG if almost every set computes a weakly 1-B-generic. Extending two results of Hirschfeldt, Jockusch and Schupp, we prove that there is an AEWG superhigh r.e. set and every low2 r.e. set is AEWG.

Software Engineering

Experimental Settings in LLM-Based Program Repair: A Study of Inputs, Tool Access, Feedback, and Validation

Evaluations of automated program repair (APR) systems commonly report the benchmark, the number of repaired defects, and the tests used for final patch validation, but these items no longer fully specify the repair task presented to a system. Recent LLM-based systems differ in the information supplied before repair, the repository and testing operations permitted during repair, and the feedback returned after unsuccessful attempts, allowing the same benchmark to instantiate substantially different repair tasks ranging from localized patch generation to repository-level diagnosis and iterative repair. We present a framework for explicitly specifying the experimental settings associated with reported APR results. We analyze reported experimental settings from systems evaluated on Defects4J and SWE-bench and characterize each result by its task unit, fault-localization assumptions, initial input, tool access, repair-time feedback, final validation, and resource budget. Our analysis shows that benchmark identity alone is insufficient to reconstruct the evaluated task or determine the appropriate scope of comparison across reported repair rates. We therefore introduce a machine-readable schema for specifying each experimental setting to improve reproducibility and make the scope of cross-system comparisons explicit.
Read the full abstract

All authors Xushu Dai, Yicheng Cai, Nanqing Luo, Pei-Yu Tseng

Networking

The Operable Pareto Front: Distilling Offline Search into Run-Time Control for Multi-Objective UAV Edge-Computing Scheduling

A UAV mobile edge computing (MEC) fleet trades energy against delay, and its schedules form a Pareto front; we call a scheduler operable when the fleet can be asked for any point on that front at run time. We propose PrefDT, to the best of our knowledge the first preference-conditioned Decision Transformer for the problem of joint trajectory, association and offloading scheduling. Its idea comes from language modeling: we hand the model the desired trade-off as an input, such that a single model only needs to be trained once offline to return any desired point on the curve in one rollout. The fleet's state is summarized by attention pooling with a per-user bypass, so the scheduler keeps working when user reports are lost. The energy target is a running budget decremented by what the fleet actually spends. As a result, when wind or load pushes consumption off the plan, the policy can track the difference and hold its budget. Because no corpus of preference-labeled flights exists, we design a distillation pipeline and build the corpus by ourselves. In simulation against 26 method variants, PrefDT produces the best trade-off curve of any learned method and holds its energy budget to within 0.6% when propulsion cost rises by half in mid-flight.
Read the full abstract

All authors Qiao Liao, Zhiyong Feng, Bin Wu, Guodong Fan

Quantum Physics

Fourier Analysis of Parametrized Interactive Quantum Classifiers

Interactive Quantum Classifiers (IQCs) constitute a family of quantum machine learning models inspired by open quantum systems, in which the interaction between a target qubit and an environment is described by a Hamiltonian. Previous works introduced alternative Hamiltonian parameterizations and showed empirically that they can improve classification performance, but the role of these parameters in the resulting classifier remains poorly understood. In this work, we derive a closed-form expression for the reduced quantum channel generated by a parametrized IQC with a single target qubit. The analytical solution explicitly reveals how the Hamiltonian parameters control the constant, sine, and cosine components of the classifier output, establishing a Fourier interpretation of the induced feature map. This analysis motivates a generalized family of Hamiltonian encodings, including matrix-parameterized environmental Hamiltonians whose Fourier components depend on linear combinations of input features, thereby enabling non-separable Fourier structures. Numerical experiments on synthetic and real-world datasets show that the proposed models can improve classification performance on several nonlinear benchmarks. The generalized matrix encoding achieves the strongest aggregate performance in the evaluated benchmark, while a simpler four-parameter extension often attains comparable performance with substantially fewer trainable parameters. We additionally characterize the generated state ensembles using the standard fidelity-based expressibility measure, finding that global expressibility does not directly predict classification performance. Our results provide an analytical characterization of parametrized Hamiltonians in Interactive Quantum Classifiers and establish Fourier analysis as a useful framework for understanding and designing open-system-inspired quantum learning models.
Read the full abstract

Mesoscale and Nanoscale Physics

Experimental assessment of the Wiedemann-Franz law in thin metal films using thermoreflectance and electrical measurements

Accurate thermal properties of metal thin films are essential for microelectronic thermal modeling and for interpreting thermoreflectance measurements when signals are sensitive to film thermal transport. In practice, film thermal conductivity is commonly inferred from electrical resistivity via the Wiedemann-Franz (WF) law with the Sommerfeld-Lorenz number L_0, neglecting phonon contributions and microstructure-dependent scattering. Here, we combine square-pulsed source (SPS) thermoreflectance with van der Pauw measurements to characterize thermal and electrical transport in Al, Ti, and Ta thin films prepared by thermal evaporation, e-beam evaporation, and magnetron sputtering. SPS measurements from 80 to 300 K yield the film thermal conductivity k_m and volumetric heat capacity C_m, with C_m agreeing with bulk values within +/-8%. Compared with WF-based estimates using L_0 and a modeled resistivity, h̊o}_model (T)=h̊o}_bulk (T)+h̊o}_0, k_m deviates by 5-20% for Al and Ti and up to 40% for sputtered Ta at 300 K. While the smaller deviations are comparable to experimental uncertainty, the large mismatch for Ta demonstrates the limitation of applying the bulk L_0 to highly resistive metal films. Apparent Lorenz numbers L_app=k_m h̊o}_meas/T from 150 to 300 K further reveal that deposition-induced disorder, grain-boundary scattering, and possible phase-related effects can modify the correlation between heat and charge transport in thin metal films. These results clarify the applicability of the WF law to deposited metal thin films and offer practical guidance for thermal modeling and thermoreflectance analysis.
Read the full abstract

General Economics

Whom Do AI Agents Serve? Role-Induced Sponsorship Bias in Decision Models and Generative LLMs

Consumers increasingly delegate product search to AI shopping agents powered by generative large language models (LLMs) or non-generative decision models. Because retail platforms monetize through sponsored listings that consumers typically discount, we examine whether an AI agent's evaluation of sponsored listings depends on who delegates it. Across six LLMs and six decision models in Study 1, consumer-delegated agents penalize sponsored listings, whereas naming a booking platform as principal significantly attenuates this sponsorship penalty without instructions to favor advertisers. This sponsorship bias replicates across prompt wordings and LLM reasoning efforts and operates through reduced pre-choice skepticism in LLMs. In Study 2, attributing the paid placement to the platform amplifies sponsorship bias across both model families, and stricter disclosure wording ("Sponsored" vs. "Promoted") fails to eliminate it. In Study 3, prompt-level mitigation removes platform leniency but can over-correct the sponsorship penalty, whereas consumer-aligned fine-tuning eliminates sponsorship bias and better preserves baseline preferences.
Read the full abstract

Statistical Mechanics

The quantum Mpemba effect in symmetric random Clifford circuits

The quantum Mpemba effect is the counterintuitive phenomenon whereby a quantum state initially farther from equilibrium relaxes faster than one initially closer to it. We demonstrate this effect in random Clifford circuits with a conserved $\mathrm{U}(1)$ charge, using the entanglement asymmetry to characterize relaxation through dynamical symmetry restoration. Exact numerical simulations show that an initially more asymmetric state can become locally more symmetric than an initially less asymmetric one. We explain this behavior by mapping the dynamics onto a charge-conserving quantum automaton, in which the decay of the entanglement asymmetry is controlled by the statistics of encounters between two particle species evolving according to a symmetric simple exclusion process. This mapping yields an analytic expression for the entanglement asymmetry and provides a simple microscopic mechanism for the quantum Mpemba effect: stronger initial symmetry breaking corresponds to a denser particle configuration, which enhances the frequency of particle encounters and thereby accelerates symmetry restoration.
Read the full abstract

Artificial Intelligence

Multimodal Conditioning of Fine-Tuned Stable Diffusion XL for Controllable and Culturally Faithful Ulos Motif Generation

The traditional Batak Ulos weaving industry faces growing challenges in producing diverse, innovative motifs due to limitations in conventional, manually driven design methods. This study proposes a multimodal generative framework integrating a fine-tuned Latent Diffusion Model (Stable Diffusion XL v1.0 via LoRA) with a Multimodal Large Language Model (LLaMA 1.5-7B) to enable controllable, culturally faithful Ulos motif generation. Four complementary conditioning mechanisms: text, image, representation, and semantic map (via ControlNet) jointly guide the generation process, each governing a distinct aspect from semantic intent to spatial layout. A five level ablation study across three scenarios (shape transformation, colour variation, and high-complexity input) shows that conditioning effectiveness is not proportional to the number of mechanisms combined: Text + Image + Semantic Map achieved the best FID (270) and CLIP Score (0.65 - 0.70) but the weakest SSIM (0.65), while Text + Image + Representation offered the best overall balance, with stable SSIM (0.84) and competitive FID (280). Combining all four mechanisms yielded the weakest FID (330), indicating conflicting optimization signals. Qualitative evaluation by nine weavers and thirty public participants confirmed statistically significant positive acceptance (Wilcoxon, p=0.007 and p<0.001, respectively). A web-based prototype supporting text-to-image and image-to-image generation was also developed, offering a practical digital design tool for cultural heritage preservation.
Read the full abstract

All authors Humasak Simanjuntak, Tamara Yunika Sianipar, Bronson T.M Siallagan, Difya Laurensya Ambarita, Arlinta Barus

Optimization and Control

Prediction with Five Experts and Geometric Stopping: A Probabilistic Construction and Analytic Verification

We present a solution of the limiting five-expert prediction problem with geometric stopping, based on stochastic calculus and partial differential equations. If $\delta$ is the stopping probability, the minimax expected regret from tied initial scores is $45\pi^2/(512\sqrt{2\delta})+o(\delta^{-1/2})$ as $\delta\downarrow0$. The adversarial rank control selecting the best and third-best experts maximizes the limiting Hamiltonian at every state. Following the four-expert construction of Bayraktar, Ekren, and Zhang (2020), we represent the value correction as a discounted boundary-local-time expectation for a degenerate obliquely reflected Brownian motion. The hyperbolic systems governing its boundary traces are derived and solved explicitly. To verify the nonlinear Hamilton–Jacobi–Bellman equation, we combine heat-equation minimum principles in equality directions, ODE minimum principles applied to convex combinations of multiple controls, and comparisons across controls. These arguments reduce the 48 regional control inequalities to a few lower-dimensional boundary problems, with the remaining signs established by explicit monotonicity arguments and by factorization of multivariate integral kernels that are positive polynomials in some of their variables. We prove global $C^2$ regularity across both regional interfaces and changes in rank ordering. We also show that the alternating COMB control only attains the limiting Hamiltonian maximum exactly when the two highest scores coincide and the third- and fourth-highest scores coincide.
Read the full abstract

Artificial Intelligence

RideWay: Benchmarking Efficient Task Completion for Tool-Using Language Agents

AI agents are usually evaluated by whether they complete a task. In interactive service settings, a successful agent can still frustrate users by asking repeated questions, performing redundant searches, or making avoidable revisions. We introduce RideWay, an efficiency-centered benchmark for ridehailing agents in a stateful tool-calling environment, together with Efficiency Utility, a success-gated metric that discounts successful trajectories for excess tool calls and user-facing turns relative to task-specific reference effort. Human paired preferences calibrate the relative penalties, reflecting an aggregate service-workflow trade-off: extra dialogue often creates visible friction, whereas extra tool use can sometimes verify constraints or preserve user intent. Across 58 tasks and 24 models, the fitted penalty for excess turns is about twice that for excess tool calls. On task-disjoint held-out preferences, Efficiency Utility achieves 78.7% accuracy overall: 90.6% when trajectories differ in turns, but chance-level accuracy when they differ solely in tool calls - the axis on which human annotators agree least. RideWay therefore makes interaction efficiency measurable alongside task success, while exposing the boundary of count-based tool-use evaluation.
Read the full abstract

All authors Qingnuan Han, Boli Fang, Mingzhi Hou, Claire Liu