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 541 records · Page 30Linked to original sources
arXiv2026

WeLM-Image: A Unified Image Generation Model towards Visual Intelligence

We present \textbf{WeLM-Image}, a unified image foundation model that integrates multimodal understanding into text-to-image generation, instruction-guided editing, and multi-reference synthesis. Designed for single-GPU deployment in WeChat's large-scale consumer applications, the model processes text, reference images, and target latents as one interleaved sequence. A Mixture-of-Transformers (MoT) backbone combines shared attention with independent understanding and generation parameters to limit optimization interference. Equipping each path with Mixture-of-Experts (MoE) modules provides sparse capacity, with 31.7B stored parameters and approximately 5.4B generation parameters activated per target latent token. A generation-oriented data engine combines a knowledge-grounded visual vocabulary with large-scale visual clustering to balance semantic coverage and editing tasks, while training-time evaluation guides iterative data refinement. Bilingual annotations and verified editing supervision support progressive training up to native 1.5K resolution. We optimize generation and editing separately with rubric- and checklist-based rewards, then consolidate the specialized policies through noise-aware on-policy distillation. In the reported overall comparisons, the 1536-resolution model ranks first among the evaluated open-source models on PRISM-Bench, Qwen-Image-Bench, and UnicBench. MeanFlow-based few-step distillation yields WeLM-Image-Turbo, which generates a $1024\times1024$ image in 4.98\,s on a single NVIDIA H20 GPU using eight guidance-free steps.

cs.CV↗
arXiv2026

$1/N$ corrections to $\langle TJJ\rangle$ and $\langle TTT\rangle$ in the critical $O(N)$ vector and Gross--Neveu--Yukawa models

We compute the subleading corrections in the $1/N$ expansion of the three-point functions $\langle TJJ\rangle$ and $\langle TTT\rangle$ in the three-dimensional critical $O(N)$ vector and Gross--Neveu--Yukawa models. We determine the coefficients of the two parity-even conformal structures and the corresponding conformal collider parameters. The calculation uses an expansion of momentum-space Feynman diagrams in a soft external momentum, together with the contact terms required by background gauge and metric sources. The sums of the structure coefficients reproduce the known current and stress-tensor two-point normalizations. We also compute these coefficients independently using the metric and mixed metric--gauge derivatives of the sphere free energy. Extrapolating the large $N$ results to the $O(2)$ vector model yields reasonably good agreement with recent numerical bootstrap bounds. At $N=2$, our $γ$ and $t_4$ predictions lie within the joint bootstrap region under weaker spectral assumptions; their deviations from the more restrictive interval midpoints are only $3.28\%$ and $4.44\%$, respectively. We discuss the implications for energy flux, high-frequency conductivity, and shear response near quantum criticality.

hep-th↗
arXiv2026

Rigorously Certified Neural-Network Computation of Nonlinear Water Waves at Near-Machine Precision

We present a computational framework that combines machine-learning-based discovery with rigorous computer-assisted numerical certification and formal verification for strongly nonlinear partial differential equations. We demonstrate the approach for periodic gravity-capillary traveling water waves. Physics-informed neural networks are used as a search mechanism, with the wave profile, wave speed and, in continuation experiments, surface tension learned directly from the governing equations without training data. Through a staged training and refinement procedure, the neural networks achieve near-machine-precision residuals of the governing equations, even in strongly nonlinear regimes. A single formulation recovers high-amplitude Stokes waves, Crapper waves and Wilton ripples. Continuation from a high-amplitude Wilton ripple in surface tension reveals new high-amplitude candidate solutions. We freeze one candidate as an explicit finite representation and rigorously certify a uniform bound on its governing-equation residual using interval arithmetic, accounting for floating-point roundoff, Fourier truncation, aliasing and grid-to-continuum errors. This independently validates the neural-network accuracy. We formalize the certification argument in Lean, which machine-checks the deductions from certified numerical bounds to the residual theorem. Both the interval certification and formalization were developed with substantial assistance from a large language model, while the validity of the result remains independent of the language model: the numerical bounds are rigorously enclosed by interval arithmetic and the subsequent mathematical deductions are checked by the Lean kernel. Together, these steps provide a pipeline from neural discovery to rigorous numerical certification and machine-checked verification with auditable mathematical guarantees.

math.AP↗
arXiv2026

Discrete history operators: Exact state-space realization for sequence memory

A prescribed finite-dimensional analysis of an evolving discrete history need not admit an exact recurrence driven only by its current state and the entering input. We study exact realizations of causal linear discrete history operators (DHOs). Operator factorization and kernel inclusion characterize exact closure, while the cross-projection defect characterizes closure failure for orthonormal analyses. For finite-dimensional history spaces over fixed finite horizons, we distinguish two minimality problems. Reachable task quotients determine the minimum state dimension for preserving prescribed future tasks on reachable histories. Backward invariant envelopes characterize the minimum dimension of exact linear realizations recovering prescribed analyses on full history spaces within the admissible class. The minimum number of additional independent state directions is given by the rank of the propagated closure defect operator restricted to the kernel of the current analysis. For geometrically weighted countable histories, matrix mode transport yields structured exact recurrences and a uniform exponential decay estimate for state transitions. Additional conditions provide uniform Gram bounds and refined decay estimates. A stationary Meixner specialization yields explicit recurrence matrices, an O(N) arithmetic state update, and minimum augmentation dimensions over finite horizons for selected coefficients. Numerical experiments examine recurrence accuracy, state transition bounds, Gram conditions, and minimum realization dimensions.

math.DS↗
arXiv2026

Vis2State: Visual Reasoning through Executable State Abstractions

Solving visual puzzles requires both accurate interpretation of visual evidence and reliable computation under task-specific rules. Embedding visual assumptions and task constraints directly in solving code makes the represented problem difficult to inspect and revise independently. We introduce Vis2State, a training-free agentic framework that abstracts visual puzzles into explicit, revisable problem states linking visual inspection and execution. Visual inspection guides state construction and refinement, while generated programs solve the represented problem. The model constructs both the state and the program without predefined puzzle schemas or solving procedures. Inspection and execution feedback allow it to revise the problem representation and solving procedure independently. Vis2State achieves the state-of-the-art performance on four benchmarks. Cross-model evaluation further demonstrates consistent gains. Ablations, error analyses, and fixed-program state interventions further support the effectiveness of the state-centered design. The code will be made publicly available to facilitate future research.

cs.CV↗
arXiv2026

FreePath: Neural Mean Free Path for Image Dehazing

Single image dehazing requires recovering scene radiance from visual responses that are weakened and veiled by participating media. Existing methods either invert explicit scattering variables, which can be unstable under complex scenes, or learn direct restoration mappings, which often discard the physical organization of haze formation. We present \emph{FreePath}, a neural mean free path framework for image dehazing. Instead of estimating atmospheric parameters, FreePath represents dehazing as feature space path state restoration, inspired by the expected distance a visual response can propagate before interacting with haze. Within a residual encoder and decoder, the Mean Free Path Residual Block learns path and collision fields to guide haze constrained correction, while FreePath State Conservation Integration preserves restored path states during deep feature aggregation. Experiments on paired CDD-11 haze images and real RTTS scenes show that FreePath consistently improves full reference fidelity, no reference perceptual quality, and visual faithfulness over representative dehazing baselines.

cs.CV↗
arXiv2026

Changepoint localization via nested exchangeability tests: from point estimates to confidence intervals

We study distribution-free uncertainty quantification for a changepoint estimate in an offline setting. We observe a sequence with a single changepoint and are given an estimate of its location. The pre- and post-change segments are independent and each consists of i.i.d. (or, more generally, exchangeable) observations from arbitrary and unknown distributions. We introduce Changepoint LOcalization via Nested Exchangeability testing (CLONE), a novel method for constructing distribution-free confidence intervals around that estimate by testing exchangeability in nested windows centered at the reference estimate. Under these assumptions, CLONE provides finite-sample coverage for any black-box reference estimator. Using a geometrically shrinking radius grid, CLONE requires only $O(log n)$ permutation tests. We characterize optimal scores for the framework and provide practical recommendations that result in sharp confidence intervals. Under mild assumptions, CLONE confidence intervals have asymptotically vanishing normalized length. Simulations and experiments on image and text data support our theoretical findings.

stat.ME↗
arXiv2026

Extensions of the Haldane gap proof: higher dimensions, near degeneracy, fermions and tensor-network states

A recent remarkable paper by OpenAI showed that the spin-one Heisenberg chain with periodic boundary conditions has a spectral gap in the thermodynamic limit. The proof elegantly deduces this gap from the Hamiltonian's spectrum on a finite system. This basic idea is an inequality involving the purity of the original Gibbs state and a dual Gibbs state that is defined via space-time rotation. Here we consider a few generalizations of this purity bootstrap argument. We first extend it to arbitrary spatial dimensions. Our main result uses the space-time duality between symmetry generators and symmetry twists to obtain upper bounds on the splitting of nearly degenerate low-energy states, together with a nonzero gap above them, from finite-system information. As applications, we show that finite-system calculations for the 2+1-D toric code in a field and the 2+1-D transverse-field Ising model establish parameter regimes with four and two low-lying states whose splittings are bounded from above by $e^{-cL}$ and $e^{-cL^2}$ respectively for arbitrarily large system size $L$, while the gap above these states remains nonzero in the thermodynamic limit. Next, we extend it to fermionic systems and use a finite calculation to establish a symmetric mass generation phase in a $2+1$-D fermionic model. Finally, we apply the bootstrap to tensor-network states and establish exponential decay of connected correlations of all local operators in the symmetric square-lattice spin-one state introduced by Jian and Zaletel.

cond-mat.str-el↗
arXiv2026

Higher-order topological quantum battery

A quantum battery is a next-generation energy-storage device that exploits genuinely quantum properties such as superposition and coherence. We propose a second-order topological quantum battery coupled to a photonic crystal described by the breathing-Kagome model, where optical loss is present on all lattice sites while nonlinear gains are introduced selectively at the output sites. Under these realistic non-Hermitian conditions, the system exhibits a clear topological phase transition manifested in both the ergotropy and the charging power. Remarkably, perfect work extraction is realized in the topological phase, where the maximum value of the ergotropy is quantized and acts as a good topological-phase indicator. The triangular geometry coherently distributes energy into two quantum batteries, where mirror-symmetry-protected phase synchronization gives rise to collective energy storage.

quant-ph↗
arXiv2026

Holomorphic sectional curvature and the Calabi operator on Kähler C-spaces

We study holomorphic sectional curvature and the Calabi curvature operator on compact Kähler manifolds. First we show that every homogeneous Kähler metric on a generalized flag manifold has positive holomorphic sectional curvature. For the standard homogeneous Kähler-Einstein metric with Einstein constant 2, it is shown that the spectrum of the Calabi operator lies in $(-2,2]$. We determine its sharp upper bound in terms of the anticanonical degrees and characterize the 2-eigenspace. The spectral bounds imply nonnegative cross quadratic bisectional curvature and positive dual cross quadratic bisectional curvature, proving conjectures of Ni and Zheng. We also show that these conditions do not characterize homogeneity: we construct a nonhomogeneous Kähler-Einstein 13-fold whose Calabi spectrum lies strictly inside $(-2,2)$ after the same normalization, as well as nonhomogeneous examples in dimensions 4 and 5. The proofs involve an integral identity for holomorphic sectional curvature, projective embeddings, root-space estimates, and explicit metrics on projective bundles.

math.DG↗
arXiv2026

Dynamic Watermarking and Action-Conditioned Latent Dynamics for Secure Vision-Based Controllers

Replay attacks are difficult to detect in vision-based control systems because previously recorded observations can remain plausible while the physical system follows a different trajectory. This paper develops an adaptive dynamic-watermarking framework for detecting replay attacks against vision-based controllers. A private Gaussian watermark is added to the nominal control input, and a control input-conditioned latent dynamics network (LDN) predicts the corresponding evolution in a compact latent space learned from image observations. Attack evidence is obtained from the discrepancy between the predicted latent response and the latent representation of the received image observation. A reinforcement learning policy adjusts the watermark covariance using the latent state and detector confidence, thereby balancing attack detectability, watermark energy, and control distortion. A Lagrangian penalty on task-specific safety costs is included during training to limit the adverse effect of the excitation. The framework is evaluated on a vision-guided UR5 manipulation task in which the robot reaches a target while avoiding a moving human arm under nominal and replay-attacked observations.

cs.RO↗
arXiv2026

Weak Values in Postselected Quantum Trajectories

Weak value (WV) describes the amplified response of a meter when the measured system undergoes postselection. While conventional WV theory mainly rests on a single system-meter interaction setting, it remains unexplored whether WV can act as an effective pointer for sequential quantum measurements under postselection. Here we introduce the concept of WVs to the setting of sequential quantum measurements and quantum trajectories. We find that WV naturally emerges in postselected quantum trajectories of sequential weak measurements, by establishing a connection between the WV of the measured observable and the postselected statistics of quantum trajectories. Using sequential weak measurements on a qubit or an oscillator implemented by Ramsey interferometry with an ancilla qubit, we show that postselection shifts the collective record polarization away from the unconditioned ones, with an effective bias described by the WV. Our predictions are feasible to test in various platforms.

quant-ph↗
arXiv2026

No Significant Rotation of the Spiral Structure in the IM Lup Protoplanetary Disk

Spiral structures are often observed in protoplanetary disks, but their origins remain uncertain. Yoshida et al. (2025) reported a pattern speed consistent with local Keplerian rotation for the $m=2$ spiral in the dusty disk around IM Lup using multi-epoch ALMA observations, supporting a gravitational instability (GI)-driven origin. However, recent studies revise the disk geometry of IM Lup, motivating a reassessment of its spiral pattern speed. In this study, we reanalyze the disk geometry of the same multi-epoch data using visibility-based continuum emission modeling. The inferred disk geometries differ from those adopted in previous studies by a few degrees but are consistent across epochs and with recent independent estimates based on gas emission analyses. The revised geometries yield weaker residuals and more physically plausible radial spiral phase profiles. Unlike previous studies, our remeasured spiral pattern speeds are consistent with zero rotation within the uncertainties. We conclude that the previously reported Keplerian-like motion can be explained by a mismatch in the adopted disk geometry, which affects the spiral phases measured in Band 6 (2017, 2019) and Band 7 (2024) differently. In addition, we identify a tentative large-scale one-armed spiral-like structure extending beyond the known $m=2$ spiral, which may provide clues to additional perturbations, such as an embedded planet or late-stage infall. Future high-resolution Band~6 observations with a longer time baseline will be essential for more accurately determining the spiral pattern speed.

astro-ph.EP↗
arXiv2026

Random Reshuffling for Smooth Convex Optimization: Dominates Stochastic Gradient Descent

Stochastic Gradient Descent (SGD) is one of the most classical optimization algorithms with favorable theoretical guarantees, yet its practical implementation differs subtly from its well-known form and is often referred to as Shuffling Stochastic Gradient Descent (Shuffling SGD). A particularly popular strategy in Shuffling SGD is Random Reshuffling (RR), which has achieved great empirical success. Despite its strong performance, RR has long been considered a heuristic due to a lack of theoretical support. Over the last decade, people have finally established provable convergence rates for RR, thus justifying its observed superiority. However, for smooth convex optimization, two clouds over the convergence theory of RR remain. According to current theory, Shuffling SGD under RR converges only when the stepsize is smaller than a threshold proportional to $1/n$, where $n$ is the number of summands in the objective (or the number of data points). Consequently, the optimally tuned theoretical rate of Shuffling SGD under RR is strictly worse than that of SGD when the number of epochs is smaller than another threshold proportional to $n$. These two restrictions heavily limit the applicability of existing theories and leave a critical mismatch with practice. In this work, for the first time, we prove that RR dominates SGD in smooth convex optimization for any reasonable stepsize after any finite number of epochs, thereby addressing a longstanding open question. Moreover, we establish new algorithm-dependent lower bounds for RR and SGD, respectively. Altogether, these results yield (nearly) sharp worst-case characterizations of RR and SGD. Furthermore, we develop a shuffling-based method to optimize functions satisfying the quadratic growth condition, a strict relaxation of strong convexity, and derive a new complexity bound improving existing results proved under stronger assumptions.

math.OC↗
arXiv2026

The interface scattering law for run-and-tumble kinetic models

For microorganisms with run-and-tumble motility, kinetic models provide a well-established description of transport in smoothly varying environments. Sharp signal changes, however, can induce asymmetric interface responses. A motivating example is the response to dark-light boundaries: cells moving into the light largely maintain their direction, whereas those entering the dark are effectively scattered back. Through an interface-layer analysis of pathway-based kinetic equations, we formally derive effective interface conditions for the limiting run-and-tumble model. These velocity-nonlocal conditions capture non-adiabatic scattering near signal discontinuities, linking intracellular sensory dynamics to transport across sharp environmental boundaries. For a two-velocity model, they reduce to an explicit transmission matrix. We assess the interface law numerically using biologically motivated parameters for E. coli chemotaxis.

math.AP↗
arXiv2026

Spectral symmetry fingerprints in equivariant representations

Symmetry governs the organization of physical structures, while symmetry breaking reveals their transformations. In geometric deep learning, symmetry imposes rank constraints on equivariant representations, limiting the expressive capacity of equivariant graph neural networks (GNNs). Here we show that these constraints can instead be exploited: the singular-value spectra of equivariant representations provide a unified fingerprint of structural symmetry. We introduce spectral symmetry fingerprints (SymFP), which enable discrete point-group identification through rank-template matching and continuous symmetry analysis by quantifying spectral energy beyond target rank constraints. SymFP is orientation invariant and architecture agnostic, enabling a parameter-free GNN implementation. Its spectra can be reused across multiple target groups, and the resulting leakage scores satisfy subgroup monotonicity. Across synthetic structures, molecules, coordination complexes and large biological assemblies, SymFP accurately identifies point groups, tracks controlled symmetry breaking and reveals local and degree-resolved symmetry changes that can be obscured by global geometric measures. These results establish the spectral structure of equivariant representations as a general framework for characterizing symmetry across physical systems.

cs.LG↗
arXiv2026

Kinematic Hypothesis Context: Embodiment-Conditioned Learned Video Coding for Bandwidth-Limited Robot Policy Uplinks

Robots increasingly run large vision-language-action policies on remote servers, making the camera uplink the bottleneck. Existing video codecs spend bits on content the receiver could predict: the robot's own motion. We introduce the kinematic hypothesis context, a zero-rate conditioning signal that both ends build from joint states, the robot model and the camera calibration. Ego-motion homographies, per-link robot reprojections, an end-effector plane and a background memory warp the previous reconstruction into hypotheses that condition a learned video codec. We prove that history-only and global-pose conditioning with a limited receptive field cannot access this information under large motion, and that coding gains become task gains at the policy's success cliff. On LIBERO, the context saves 23.9% bit rate over a capacity-matched history-conditioned codec and 40-56% over x264, x265 and SVT-AV1, and needs 23.2% fewer bits than DCVC-RT at equal policy action deviation; trained to lower rates, it matches DCVC-RT in PSNR. In closed loop at equal rate, OpenVLA-OFT success nearly doubles from 22.8% to 43.1% at 6 kbps (72.6% with lower-rate training, 23.6 points above DCVC-RT), pi_0.5 success rises from 55.5% to 77.4%, and the gain grows under packet loss. The context transfers across three codec hosts and to real robot data.

cs.RO↗