arXiv Science⌕ Search

SEARCH · arXiv Science

Search arXiv Science

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 91 records · Page 5Linked to original sources
arXiv2026

Higgs-Portal Stueckelberg Dark Matter

We study dark photon dark matter X associated with a dark $U(1)_X$ gauge symmetry. To evade laboratory and cosmological constraints on kinetic mixing with the Standard Model $U(1)_Y$, we assign a $Z_2$-odd dark parity to X that forbids such mixing. The leading interactions then arise from gauge-invariant dimension-6 Higgs-portal operators, including both parity-even and parity-odd terms. We assume that the dark matter mass is generated via the Stueckelberg mechanism. In the interacting Stueckelberg EFT, a gauge-invariant dimension-6 parent reduces in unitary gauge to the nominal dimension-4 Higgs-portal interaction $(H^†H)X_μX^μ$, with its coefficient correlated with $m_X^2/Λ^2$, while additional derivative operators are organized by the same longitudinal-mode power counting. We investigate freeze-in production of X from Higgs-pair annihilations after reheating, incorporating both field-strength and Stueckelberg-allowed operators. First, we consider the case in which the Wilson coefficients of the gauge-invariant dimension-6 operators, C and $\tilde C$, are of order unity. Under a conservative single-cutoff power counting in which the strong-coupling scales of the longitudinal mode lie above the cutoff of the field-strength effective theory, we find that the Stueckelberg contributions remain subdominant in dark matter production. We emphasize that this ordering of scales is an explicit assumption rather than a universal consequence of perturbative unitarity. Next, we explore a more general situation in which C and $\tilde C$ are smaller than unity. In this second case, Stueckelberg-allowed operators can become comparable and generate contributions proportional to $T_{reh}^3$, $T_{reh}^5$, and $T_{reh}^7$, including sign-dependent interference effects. For both cases, we show that there exists a wide parameter space consistent with the observed dark matter relic density.

hep-ph↗
arXiv2026

Overcoming Spectral Bias via Cross-Attention

Neural networks often exhibit spectral bias, a phenomenon where high-frequency components may converge substantially more slowly than low-frequency ones. To address this imbalance, we propose a cross-attention-based network that combines a multiscale random Fourier feature bank with learnable amplitude weighting. The amplitude envelope modulates the Fourier features according to their frequencies, while the cross-attention residual structure provides an input-dependent mechanism to emphasize informative scales. As a result, the proposed design accelerates high-frequency convergence relative to comparison networks built on the same multiscale bank. Moreover, the feature bank can be incrementally enriched with dominant modes identified through discrete Fourier analysis of intermediate approximations, without modifying the hidden-layer architecture. We further extend the framework to PDE learning through a two-network representation in which one subnetwork approximates higher-frequency solution components and the other approximates lower-frequency components, with a learnable or analytically computed mixing coefficient balancing their contributions. Numerical experiments on function approximation, image reconstruction, and representative elliptic PDEs demonstrate the accuracy of the proposed method for problems involving high-frequency, multiscale, and discontinuous features.

math.NA↗
arXiv2026

Pareto DNN Verification: Fast for Most Queries

Formal verification of deep neural networks (DNNs) faces a fundamental scalability challenge: verifying robustness is NP-hard and state-of-the-art tools often time out on modern architectures. We propose PAreto VErification, or PAVE: by augmenting DNNs with early exits (EEs) and verifying exit-by-exit, we solve a large fraction of robustness queries---roughly 80% in our evaluation---in a small fraction of the time required for direct verification. The key insight is that many inputs in a robustness neighborhood exit at an early layer. Verifying this early-exit behavior is often a tractable problem,allowing verification to terminate long before the full network is analyzed. EEs can be added without modifying the base network, and incur at most a 0.3% accuracy change across our tested architectures. We formalize the novel robustness property for EE networks, prove it is Fixed-Parameter Tractable under a trace stability condition (which commonly holds in practice), and present a sound and complete verification algorithm. Two sound optimizations --- break (early termination when the winner dominates) and continue (skipping the inner loop when no runner-up can win) --- reduce SAFE-case verification time by up to 10x. Experiments on MNIST, CIFAR-10, and CIFAR-100 with networks from 600K to 33M parameters demonstrate that PAVE enables solving queries that were not solved otherwise, including formal verification of ResNet-18 on CIFAR-100.

cs.LG↗
arXiv2026

Sound waves in a backreaction-affected analogue spacetime: acoustic metric, mass, and correlations in Bose-Einstein condensates

Analogue gravity treats sound as a field on an effective spacetime set by the background flow, but quantum fluctuations feed back on this background. Whether a condensate modified by such backreaction still defines a spacetime for the quantum field remains open. Using a number-conserving expansion of a Bose-Einstein condensate, we show that in the sound-wave and eikonal approximations the first-order phase fluctuation propagates on an acoustic metric of the backreaction-corrected condensate and acquires a spacetime-dependent mass that cannot be absorbed into the metric. For a finite, quasi-one-dimensional gas after an interaction quench, backreaction enhances the equal-point phase correlation by about $10\%$ in the bulk and up to $20\%$ near the walls while the depletion remains below $2\%$; the bulk enhancement survives finite imaging resolution.

cond-mat.quant-gas↗
arXiv2026

Controlling microalgae populations by phototactic memory

Motile microorganisms navigate environments that vary in space and time by coupling sensory inputs to internal physiological states and active motion. In photosynthetic microorganisms, such coupling can be mediated by phototaxis, yet how temporal sensing combines with spatial variations of the environment to shape population organisation remains poorly understood. To probe this coupling, we expose populations of the phototactic microalga \textit{Chlamydomonas reinhardtii} to structured light landscapes. Under ring-shaped illumination, cells robustly accumulate at the center of the illuminated region, rather than at the light-intensity maximum. Single-cell tracking shows that cells steer relative to local intensity gradients and undergo a non-trivial phototactic response, where, on average, cells outside the ring perform positive phototaxis while cells inside perform negative phototaxis. Population experiments, numerical simulations and analytical modelling show that this trapping cannot be reproduced by an instantaneous switching rule, but requires a finite phototactic memory acting on the transition between positive and negative phototaxis. This internal timescale couples to the geometry of the light field and to the persistence of active motion, enabling controllable spatial localisation without physical confinement. Our results generically show how memory in a single-cell sensory response can control population-level organisation in a living active system.

cond-mat.soft↗
arXiv2026

EmboTeam: Asymmetric State Grounding for Heterogeneous Multi-Robot Collaboration

Heterogeneous multi-robot collaboration over long horizons requires both global task planning and robust coordination during execution. Existing plan- ners using large language models (LLMs) can generate task decompositions or symbolic plans, but often execute them as rigid action sequences, making them fragile to local state mismatches and synchronization failures. We propose Em- boTeam, a neuro-symbolic framework for asymmetric state grounding. An LLM generates structured state expectations, which are verified and coordinated through symbolic search using Planning Domain Definition Language (PDDL) and then grounded into a team-level parallel behavior tree. Robot-specific subtrees per- form precondition checking, skill execution, effect validation, local replanning, and blackboard-based synchronization. We further introduce MACE-THOR, con- taining 42 heterogeneous multi-robot tasks across 8 indoor layouts. EmboTeam improves task success rate from 12% to 55% and goal condition recall from 32% to 75% over LaMMA-P, demonstrating the effectiveness of synchronized reactive grounding for collaboration over long horizons.

cs.RO↗
arXiv2026

Scaling laws for amplitude surrogates

Scaling laws describing the dependence of neural network performance on the amount of training data, the spent compute, and the network size have emerged across a huge variety of machine learning task and datasets. In this work, we systematically investigate these scaling laws in the context of amplitude surrogates for particle physics. We show that the scaling coefficients are connected to the number of external particles of the process. Our results demonstrate that scaling laws are a useful tool to achieve desired precision targets.

hep-ph↗
arXiv2026

HyperGraphPro: Progress-Aware Reinforcement Learning for Structure-Guided Hypergraph RAG

Multi-hop question answering requires retrieval agents to construct a connected evidence path across reasoning turns rather than retrieve isolated relevant evidence for a single query. However, in existing GraphRAG methods, retrieval and reinforcement learning are often optimized with mismatched signals: retrieval is driven by local semantic relevance, while outcome-level reinforcement learning assigns the reward by assessing the final answer without identifying which retrieval actions progress the reasoning path. We introduce HyperGraphPro, a progress-aware hypergraph RAG framework that focuses on evidence-path progress as the shared objective for retrieval and policy optimization. For retrieval, HyperGraphPro reranks candidate hyperedges using query-conditioned structural distinctiveness, combining entity-query relevance with a local-vs-global hypergraph incidence signal to favor entities that are informative in the current graph neighborhood. For policy optimization, HyperGraphPro augments uniform trajectory-level reward assignment with stepwise progress-aware policy optimization, which assigns step-level rewards according to the coverage of answer-guided target hyperedges. Experiments on multi-hop question answering benchmarks demonstrate that HyperGraphPro consistently improves reasoning accuracy over existing GraphRAG methods.

cs.CL↗
arXiv2026

Massless Representations in Conformal Space and Their de Sitter Restrictions

The monograph offers a coherent and self-contained treatment of massless (ladder) representations of the conformal group U(2,2) and their restriction to the de Sitter group Sp(2,2), combining rigorous representation-theoretic analysis with fully explicit constructions. It systematically develops these representations, including the derivation of invariant bilinear forms and Casimir operators, and constructs vertex operators and two-point functions for low-helicity fields. A central and distinctive contribution is the introduction of a canonical Clifford-split-octonion framework, in which 8-component Majorana spinors are realized within an alternative composition algebra, providing a unified and intrinsically defined setting for the algebraic, spinorial, and geometric structures underlying the theory. By bridging abstract symmetry principles with concrete computational methods and physically motivated applications in quantum field theory and cosmology, the monograph advances both conceptual clarity and technical control. While primarily addressed to researchers in mathematical physics and related fields, the exposition is carefully structured to guide advanced graduate students through subtle constructions, maintaining accessibility without compromising mathematical precision.

math-ph↗
arXiv2026

Depth-Recurrent Attention Mixture (Dreamer): Giving Latent Reasoning the Attention it Deserves

Depth-recurrence facilitates latent reasoning by sharing parameters across depths. However, prior work lacks combined FLOP-, parameter-, and memory-matched baselines, underutilizes depth-recurrence due to partially fixed layer stacks, and ignores the bottleneck of constant hidden-sizes that restricts many-step latent reasoning. To address this, we introduce a modular framework of depth-recurrent attention mixtures (Dreamer), combining sequence attention, depth attention, and sparse expert attention. It alleviates the hidden-size bottleneck through attention along depth, decouples scaling dimensions, and allows depth-recurrent models to scale efficiently and effectively. Across language reasoning benchmarks, our models require 2 to 8x fewer training tokens for the same accuracy as FLOP-, parameter-, and memory-matched SOTA, and outperform ca. 2x larger SOTA models with the same training tokens. We further present insights into knowledge usage across depths, e.g., showing 2 to 11x larger expert selection diversity than SOTA MoEs.

cs.AI↗
arXiv2026

Detection of Gravitational Anomaly at Low Acceleration from a Highest-quality Sample of 36 Wide Binaries with Accurate 3D Velocities

We set out to accurately measure gravity in the low-acceleration range $(10^{-11},10^{-9})\,{\rm m}\,{\rm s}^{-2}$ from 3D motions of isolated wide binary stars. Gaia DR3 provides precise measurements of the four sky-plane components of the 3D relative displacement and velocity ($\mathbf{r}, \mathbf{v}$) for a system, but not comparably precise line-of-sight (radial) separation and velocity $v_{r}$. Based on our new observations and the public databases/publications, we assemble a sample of 36 nearby (distance $<150$pc) wide binaries in the low-acceleration regime with relatively accurate values of $v_r$. Kinematic contaminants such as undetected stellar companions are well under control using various observational diagnostics such as Gaia's {\tt ruwe} parameter, the color-magnitude diagram, multi-epoch observations of radial velocities, Speckle interferometric follow-up observations, and requiring Hipparcos-Gaia proper motion consistency. For $Γ\equiv \log_{10}\sqrtγ$ with $γ\equiv G/G_{\rm N}$ (where $G$ is a parameter generalizing Newton's constant $G_{\rm N}$), we find $Γ=0.102_{-0.021}^{+0.028}$ for $<10^{-9.1}\,{\rm m}\,{\rm s}^{-2}$ ($0.132_{-0.027}^{+0.035}$ for $<10^{-9.5}\,{\rm m}\,{\rm s}^{-2}$) giving a gravity boost factor of $γ=1.60_{-0.14}^{+0.24}$, which rules out Newton. This strong anomaly is dominated by two systems (the pairs of HD 189739, HD 189760, and TYC 259-236-1, TYC 259-906-1) that have 3D relative velocities exceeding their estimated Newtonian escape velocities. Without them, we have $Γ=0.042_{-0.024}^{+0.027}$ for $<10^{-9.1}\,{\rm m}\,{\rm s}^{-2}$, $0.057_{-0.031}^{+0.035}$ for $<10^{-9.5}\,{\rm m}\,{\rm s}^{-2}$, and $0.085_{-0.045}^{+0.059}$ for $<10^{-10.1}\,{\rm m}\,{\rm s}^{-2}$. Future radial velocity monitoring and Speckle interferometric imaging for larger samples will be useful to refine the present result.

astro-ph.GA↗
arXiv2026

Differentiable Knapsack and Top-k Operators via Dynamic Programming

Knapsack and Top-k operators are useful for selecting discrete subsets of variables. However, their integration into neural networks is challenging as they are piecewise constant, yielding gradients that are zero almost everywhere. In this paper, we propose a unified framework casting these operators as dynamic programs, and derive differentiable relaxations by smoothing the underlying recursions. On the algorithmic side, we develop efficient parallel algorithms supporting both deterministic and stochastic forward passes, and vector-Jacobian products for the backward pass. On the theoretical side, we prove that Shannon's negative entropy is the unique separable regularization choice that yields permutation-equivariant operators, and characterize regularizers inducing sparse selections. On the experimental side, we demonstrate our framework on a benchmark on learning to predict Knapsack solutions, an extension of discrete VAEs, and a constrained dynamic assortment RL problem.

cs.LG↗
arXiv2026

Reconsidering Positional Supervision in Masked Diffusion Language Model Training

Masked diffusion language models (MDLMs) generate text by unmasking tokens in parallel and have recently emerged as alternatives to autoregressive language models. They can be viewed as parallel decoders trained with a position-wise cross-entropy (CE) loss, the same setup as non-autoregressive translation (NAT). In NAT, CE-trained parallel decoders have been argued to be sensitive to small positional shifts, since CE penalizes them harshly. We ask whether CE-trained MDLMs are similarly sensitive to such shifts under iterative decoding. To probe this, we apply a controlled intervention that introduces them during decoding. On LLaDA-8B-Instruct with Arena-Hard, displacing as little as 1% of generated tokens by one position substantially reduces win rates against the unintervened model, showing that MDLMs are sensitive to such small shifts under iterative parallel decoding. Motivated by this, we adapt connectionist temporal classification (CTC), an alignment-flexible objective known to mitigate it there, to MDLM supervised fine-tuning. By relaxing the strict position-wise match that CE imposes, CTC gives the loss room to absorb small positional shifts; concretely, we modified CTC objective to use a special token that absorbs positional uncertainty between target tokens and output positions, and a updated collapse map that preserves target surface forms. Across four open-ended generation benchmarks, the resulting model consistently improves over both the original model and a matched cross-entropy-trained baseline, with statistically significant gains on all four. These results identify training-side alignment flexibility as a useful design dimension for MDLM SFT, complementary to the inference-time approaches explored in prior work.

cs.CL↗
arXiv2026

Online Conformal Prediction via Universal Portfolio Algorithms

Online conformal prediction (OCP) seeks prediction intervals that achieve long-run $1-α$ coverage for arbitrary (possibly adversarial) data streams, while remaining as informative as possible. Existing OCP methods often require manual learning-rate tuning to work well, and may also require algorithm-specific analyses. Here, we develop a general regret-to-coverage theory for interval-valued OCP based on the $(1-α)$-pinball loss. Our first contribution is to identify \emph{linearized regret} as a key notion, showing that controlling it implies coverage bounds for any online algorithm. This relies on a black-box reduction that depends only on the Fenchel conjugate of an upper bound on the linearized regret. Building on this theory, we propose UP-OCP, a parameter-free method for OCP, via a reduction to a two-asset portfolio selection problem, leveraging universal portfolio algorithms. We show strong finite-time bounds on the miscoverage of UP-OCP, even for polynomially growing predictions. Extensive experiments support that UP-OCP delivers consistently better size/coverage trade-offs than prior online conformal baselines.

stat.ML↗
arXiv2026

A Generalized Framework for Singular Fractional Burgers Equations with Stochastic Forcing

In this paper, we investigate the regularization effect of fractional stochastic forcing on Burgers-type equations with fractional dissipation, with an application to the Degasperis--Procesi (DP) equation. In particular, we consider the perturbation induced by the singular noise $|D|^{1/2}ξ$ and establish local well-posedness in the negative Sobolev space $H^{-1/4+δ}$ for some small $δ>0$. Due to the singular nature of the nonlinear interactions, classical solution theories cannot be directly applied. Inspired by the framework developed in \cite{hairer2013solving,gubinelli2017kpz}, we introduce a generalized solution theory based on an enhanced structure and derive the effective equations satisfied by these generalized solutions. Our main contribution is the establishment of a general framework for describing singular PDEs driven by rough data. Moreover, we prove the convergence of the associated non-Gaussian rough structures in the fractional dissipation setting. As an application, we apply this framework to the stochastic Degasperis--Procesi equation and obtain its local well-posedness in the low-regularity regime.

math.AP↗
arXiv2026

Foundation Model-Driven Semantic Change Detection in Remote Sensing Imagery

Remote sensing (RS) change detection is essential for interpreting surface dynamics. Semantic change detection (SCD) further enables pixel-level understanding of multi-class transitions, yet remains sensitive to pseudo-changes induced by imaging conditions. Recent RS foundation models extract semantically consistent features across temporal and environmental variations, which is critical for mitigating pseudo-changes. However, existing SCD methods are often rigid and backbone-specific, lacking the flexibility to integrate diverse multi-scale features from emerging foundation models. To this end, we introduce a modular Cascaded Gated Decoder (CG-Decoder) that bridges various backbones and SCD tasks, processing multi-scale features in a coarse-to-fine manner while enabling adaptive change extraction. Building upon the RS foundation model PerA, we present PerASCD, a unified SCD framework. We further propose a Soft Semantic Consistency Loss (SSCLoss) to mitigate numerical instability in mixed-precision training. Extensive experiments on SECOND and LandsatSCD show that PerASCD achieves new state-of-the-art Sek scores (26.11% and 65.21%), surpassing the previous best by 0.61% and 4.95%, respectively. It also demonstrates exceptional data efficiency (outperforming the full-data baseline with 50% data), seamless cross-backbone generalization, and enhanced interpretability. Our approach maintains robust semantic consistency under radiometric variations, providing a reliable SCD solution. Code: https://github.com/SathShen/PerASCD.git.

cs.CV↗
arXiv2026

WoVR: World Models as Reliable Simulators for Post-Training VLA Policies with RL

Reinforcement learning (RL) promises to unlock capabilities beyond imitation learning for Vision--Language--Action (VLA) models, but its requirement for massive real-world interaction prevents direct deployment on physical robots. Recent work attempts to use learned world models as simulators for policy optimization, yet closed-loop imagined rollouts inevitably suffer from hallucination and long-horizon error accumulation. Such errors not only degrade visual fidelity, but also mislead policy optimization by providing unreliable learning signals. We propose WoVR, a reliable world-model-based RL framework for post-training VLA policies. Instead of assuming a faithful world model, WoVR explicitly regulates how RL interacts with imperfect imagined dynamics. It improves rollout stability through a controllable action-conditioned video world model, reshapes imagined interaction to reduce effective error depth via Keyframe-Initialized Rollouts, and maintains policy--simulator alignment through World Model-Policy co-evolution. Extensive experiments demonstrate that WoVR enables stable long-horizon imagined rollouts and effective policy optimization, achieving superior LIBERO performance and consistent real-world gains across multiple robotic platforms. These results show that world models can serve as practical simulators for RL when hallucination is explicitly controlled. Additional visualization results are available at https://wovr-rlinf.github.io.

cs.RO↗
arXiv2026

RoboCurate: Harnessing Diversity with Action-Verified Synthetic Data for Robot Learning

Synthetic data generated by video generative models has shown promise for robot learning as a scalable pipeline, but it often suffers from noisy action labels due to imperfect video generation or inaccurate action prediction. Recently, vision-language models (VLMs) have been leveraged to validate video quality, but they cannot directly evaluate the generated actions themselves. To tackle this issue, we introduce RoboCurate, a novel framework for action-verified synthetic robot data that addresses inconsistencies between generated videos and annotated actions. Specifically, RoboCurate executes the actions predicted by an inverse dynamics model (IDM) in a simulator and verifies action consistency by measuring the motion agreement between the simulator rollout and the generated video. To better leverage such a framework, we further expand the scene diversity of synthetic data beyond the available dataset through off-the-shelf generative models with structured editing axes. We then use a VLM to pre-filter physically implausible generated videos before verifying their action labels. Across diverse manipulation scenarios, RoboCurate yields substantial relative improvements in success rates compared to using only real data, achieving +90.3% on GR-1 Tabletop (300 demos), +29.1% on DexMimicGen in the pre-training setup on simulation benchmarks, and +179.9% and +42.9% in the co-finetuning setup on challenging real-world ALLEX and OpenArm humanoid benchmarks, respectively.

cs.RO↗