Search arXiv⌕ Search

SEARCH · Search arXiv

Search Search arXiv

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

A Cyanopolyyne-rich but COM-poor Massive Protostar: The First Hot Carbon Chain Chemistry Source G28.28-0.36

We present molecular emission line data from the massive young stellar object (MYSO) G28.28-0.36 (G28.28) obtained with the Atacama Large Millimeter/submillimeter Array Band 3. Cyanopolyynes (HC$_3$N and HC$_5$N) and three complex organic molecules (COMs; CH$_3$OH, CH$_3$CN, and CH$_3$CHO) are detected from the MYSO G28.28. In addition, strong emission regions of cyanopolyynes are identified between G28.28 and a nearby ultracompact H II region. The HC$_5$N emission is coincident with the dust continuum peak, where an excitation temperature of 100 K is derived from CH$_3$CN. These results suggest that the Hot Carbon Chain Chemistry (HCCC) mechanism produces cyanopolyynes in the hot region around G28.28. We find that G28.28 exhibits a unique chemical feature: cyanopolyynes are abundant, but COMs are deficient, unlike the other MYSOs studied previously. These results imply that G28.28 is a counterpart of the Warm Carbon Chain Chemistry (WCCC) low-mass source L1527. G28.28 is the first HCCC source identified so far.

astro-ph.GA↗
arXiv2026

Certificate-Carrying Distributed Model Predictive Control on Product Manifolds with $\mathrm{SO}(3)$

This paper studies constraint certification in synchronous distributed model predictive control (DMPC) when neighboring predictions change between sampling instants. Before the parallel local solves, each agent communicates a shifted prediction and an announced update budget. A hard trajectory trust region makes that budget enforceable, while an edge-wise feasibility cap computed from the shifted packets keeps the fallback feasible without using any current optimizer output. Distance and relative-attitude constraints are tightened with explicit Lipschitz constants and two budget layers: one accounts for the simultaneous neighbor update and the other retains a checkable shift reserve. We prove hard pairwise constraint satisfaction and recursive feasibility under stated nominal-execution and terminal assumptions, give the additional residual caused by execution error, and derive a local practical value-decrease bound. A spacecraft formation example uses hard terminal and pairwise constraints, a geodesic relative- attitude constraint on $\SO$, and reproducible terminal-set checks. Comparisons with fixed, trajectory-only, and windowed online margins show that the proposed budget reduces conservatism while preserving a positive shifted-feasibility margin.

eess.SY↗
arXiv2026

Component Benchmark: Hierarchical Model Profiling for Large-scale Recommendation Systems

Large-scale recommendation models pose distinct, under-explored profiling challenges. Most recommendation model architectures are structurally heterogeneous, intermixing memory-bandwidth-bound operations, small compute-bound dense layers, dynamic shapes from jagged categorical features, and low-arithmetic-intensity operations. Recommendation models evolve rapidly as modeling engineers experiment with compositions, often written without visibility into hardware execution characteristics. Standard profiling tools offer either end-to-end throughput or operator-level traces, but cannot attribute performance to the submodules that practitioners reason about. We present Component Benchmark (CB), a profiling system that independently characterizes each submodule performance in a hierarchical manner, providing a tree-structured, interactive visualization that brings performance clarity to ML practitioners. At its core, CB provides a simple yet extensible, submodule-based benchmarking framework with a plugin architecture that enables hierarchical performance analysis. These large-scale recommendation models are TB-scale, run on thousands of GPUs and ingest 100B examples per day. We demonstrate CB's effectiveness on common open sourced models and discuss how CB has been leveraged to accelerate modern recommendation model performance analysis and optimization.

cs.IR↗
arXiv2026

Prompt Injection Detection for Email Agents Through Attack Chain Modeling

Large language model email assistants are particularly vulnerable to indirect prompt injection because untrusted email content can be retrieved into the model context and influence subsequent tool use. Existing prompt injection detectors mainly formulate this problem as binary malicious text classification, which overlooks the important factor that harmful agent behavior often arises through a sequence of stages. We propose a detection framework that models this attack chain by combining a text detector, verifiers specific to each stage, explicit rule-based risk signals, user intent and action consistency analysis, and a logistic decision policy. To support this framework, we derive attack chain labels from prompt injection datasets, evaluate the proposed framework under random splits, temporal phase transfer, conditional stage transfer, cross-dataset transfer, and conduct ablation studies on multiple benchmarks. Results show that random train test splits substantially overestimate robustness under distribution shift, while later tool argument stages are more predictable than earlier stages in the framework. We also show that training on harmless emails that resemble attacks helps reduce false alarms while preserving the ability to detect real attacks. Across five binary benchmarks, our framework achieves a mean F1 score of 0.406 under the strict threshold setting policy, compared with 0.216 for the strongest of five pretrained detectors evaluated without additional training. These results highlight the value of combining attack stage predictions with checks for conflicts between the user's request and instructions in retrieved emails. Our experiments also demonstrate the importance of training with challenging benign examples to balance attack detection and false alarms.

cs.CR↗
arXiv2026

DiffusionShadow: Diffusion-based Shadow Caching for Neural Volume Rendering

Implicit neural representations (INRs) have gained momentum in scientific visualization due to their compactness and scalability to large datasets, making them well suited for integration with direct volume rendering (DVR). However, real-time volume rendering of INR with advanced illumination effects, such as shadows, remains computationally expensive, as evaluating shadow terms via ray marching is costly. Alternatively, precomputing and storing shadows for many lighting directions is prohibitive in both memory and storage. To address this, we introduce a diffusion-based shadow caching framework that compresses a vast set of pre-calculated shadow INRs into a single diffusion model. Rather than focusing on generalizing to unseen directions, our method effectively memorizes and reconstructs a dense set of pre-trained lighting conditions on the fly. We first encode a collection of shadow coefficient volumes as shadow INRs, and then train a diffusion model conditioned on lighting direction to predict the corresponding shadow INR weights at inference time. This design integrates directly with standard INR renderers without additional runtime sampling. Experiments show that our approach achieves faster rendering than traditional methods while bypassing the massive storage bloat of independent INRs, producing shadows that closely match most of the reference results.

cs.GR↗
arXiv2026

Image Reconstruction from Phase with Untrained Neural Priors

Fourier phase encodes important spatial image structure, but recovering an image without measured spectral magnitude requires additional constraints and leaves absolute intensity ambiguous. We propose a projection-based two-stage framework that combines Fourier-phase and spatial-support constraints with an image-specific neural prior. The first stage alternates constraint enforcement with regularized neural-prior updates, while the second performs phase/support refinement alone with guaranteed convergence. We evaluate two neural-prior implementations on the same 77 microscopy images and compare them with a constraint-only baseline. After 500 final refinement passes, the best-performing variant achieves 31.41 dB pooled PSNR, 35.75 dB mean PSNR, and 0.9531 mean SSIM, improving pooled PSNR by 1.51~dB and reducing pooled MSE by 29.3% relative to the baseline. The results demonstrate the benefit of combining neural guidance with explicit constraint refinement at the evaluated iteration budget, while showing that lower phase residual alone does not guarantee greater reconstruction accuracy.

eess.IV↗
arXiv2026

Geometry as Thermodynamics:Entropy Stationarity and Horizon Residues

Thermodynamic descriptions of gravity involve both variational conditions for spacetime dynamics and analytic structures associated with horizons. We examine their relation while keeping their assumptions distinct. First, we present an explicit derivation of the Einstein equation from the established null-vector entropy functional, including the null constraint, the matter term, and the integration constant associated with the cosmological constant. Second, for an analytic static spherical geometry with a nondegenerate Killing horizon, we define a meromorphic radial one-form whose residue is the inverse of twice the surface gravity. Euclidean regularity then fixes the Hawking temperature. Combining this residue with the Einstein--Hilbert Noether charge gives a normalized contour representation of the Wald entropy. The construction reproduces the Schwarzschild temperature, entropy, and Smarr relation, but does not constitute an independent microscopic derivation of the area law. We establish the limits of a stronger identification between pole structure and dynamics: an asymptotically flat family can retain the Schwarzschild horizon residue, area, surface gravity, and mass while violating the vacuum Einstein equation, and an extremal charged solution possesses a higher-order pole. We also show why exponentiating an unspecified entropy functional does not produce a universal entropy residue. The resulting framework separates entropy stationarity, horizon analyticity, and charge normalization, providing explicit consistency tests for further thermodynamic interpretations of gravitational singularities.

gr-qc↗
arXiv2026

Population loss in shallow ReLU networks: Bias & families of critical points

The main result presented is a formula for the population loss in the student-teacher kernel model that is applicable to shallow ReLU networks with bias. This extends previous work of Choo and Saul (2009) and Brutzkus and Globerson (2017). The formula makes essential use of Owen's T-function. The necessary theory of the T-function is given and a high precision coding using MPFR for the T-function, based on an algorithm of Komelj (2023), is available on request. It is shown that various families of spurious minima described in past papers of Arjevani and the author extend to biased networks and that the loss is always strictly decreased when bias is added. The change in landscape geometry caused by adding bias appears to be relatively mild. Only the simplest examples are described in this paper where it is assumed that the number of inputs is equal to the number of neurons (this restriction is for reasons of length). A review of relevant previous results on unbiased networks is included. Aside from Gaussian statistics, the main mathematical tools and ideas come from analytic geometry (analytic and subanalytic sets, the Curve Selection Lemma).

cs.LG↗
arXiv2026

LLM Parkinsonism: Executive-Control Failure, Token-Inefficient Persistence, and an Uncertainty-Aware Global Executive Control Architecture for Autonomous Language-Model Agents

Large language models (LLMs) can plan, use tools, write code, and execute long-horizon workflows, yet strong local competence does not guarantee project-level executive control. Agents may continue acting after the original objective is satisfied, producing low-value refinements, repeated verification, and repairs to self-created complexity. We use LLM Parkinsonism as a narrowly defined, non-clinical metaphor for this pattern of persistent action despite diminishing task-level value. We argue that the problem is not explained by autoregressive next-token prediction alone, but more directly by concentrating proposal generation, scope interpretation, progress assessment, and stopping authority within the same self-conditioned loop. We therefore introduce Global Executive Control (GEC) v0.2, an uncertainty-aware governance architecture that separates action generation from project-level control. In a 24,000-episode matched-candidate benchmark under a common 40,000-token ceiling, a first-candidate baseline achieved 67.42% hard-goal success, a candidate-set local control achieved 96.53%, and GEC achieved 96.57%. The candidate-set control shows that access to multiple candidate actions explains most of the success gain; relative to that control, GEC preserved success while reducing mean token use from 19,782 to 12,574 (36.4%) and restricted mean tokens to completion at the 40,000-token ceiling from 16,136 to 13,114 (18.7%), while eliminating measured pre-completion drift and sharply reducing gross complexity. Governance-overhead sensitivity remained favorable through an additional 500 synthetic governance tokens per cycle. These mechanistic simulations support explicit governance of scope, evidence, resource use, and stopping, while live-model validation remains necessary.

cs.AI↗
arXiv2026

Symmetric Kahane--Salem--Zygmund Inequalities and the Supremum Norm

The Kahane--Salem--Zygmund inequality provides unimodular $m$-linear forms with small supremum norm. We consider its dimension-free symmetric constant $C_m^{\mathrm{sym}}$ over the real scalar field, defined by the requirement that, for every $n$, some real symmetric unimodular $m$-linear form $A:(\ell_\infty^n)^m\to\mathbb R$ satisfy \[ \|A\|\le C_m^{\mathrm{sym}}n^{(m+1)/2}. \] For complex scalars, Boas obtained under permutation symmetry an upper bound of order at most $\sqrt{m\log m}\,\sqrt{m!}$; over the real scalar field, an elementary argument gives the sharper order $\sqrt m\,\sqrt{m!}$. We prove \[ C_m^{\mathrm{sym}}\ge \left(\sqrt{\frac2e}+o(1)\right)\frac{\sqrt{m!}}m, \] using the square-free Walsh spectrum of the diagonal polynomial. In the opposite direction, we establish \[ C_m^{\mathrm{sym}}\le C_0\sqrt{m!}, \] where $C_0$ is absolute, removing the factor $\sqrt m$ from the real upper bound. This estimate follows from a geometric argument in which rigidity for Gram permanents reduces the relevant configurations to sets controlled by Gaussian width. For unrestricted unimodular forms, we also obtain a quantitative rectangular estimate from truncated Hadamard matrices; in equal dimension, the normalized minimum is at most $1+o(1)$ whenever $m=o(n^{5/6})$.

math.FA↗
arXiv2026

Rigidity of stationary and uniformly rotating planar Euler flows in the $C^1$ Yudovich class

We prove a rigidity theorem for stationary and uniformly rotating solutions of the two-dimensional incompressible Euler equation with vorticity $ ω_0\in C^1(\mathbb{R}^2)\cap L^1(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2). $ If the angular velocity $Ω$ satisfies \[ Ω\leq\frac12\inf_{\mathbb{R}^2}ω_0 \qquad\text{or}\qquad Ω\geq\frac12\sup_{\mathbb{R}^2}ω_0, \] then $ω_0$ is radially symmetric, in particular, every stationary vorticity of one sign in the class $C^1(\mathbb{R}^2)\cap L^1(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$ must be radially symmetric about some point. Furthermore, for $Ω\neq0$, the center is necessarily the origin; The proof is based on the analysis for level-set geometry of a normalized stream function. A componentwise Bernoulli formula, together with the isoperimetric inequality and Pohozaev identities, yields a nonnegative defect measure encoding both geometric defects and topological branching. An analysis at infinity forces this measure to vanish, reducing the problem to a semilinear elliptic equation with a bounded nonnegative Borel nonlinearity. Radial symmetry then follows from a theorem of P.-L.\ Lions.

math.AP↗
arXiv2026

On Standard perturbations of the Affine twist map

For any $t\in\mathbb{R}$, consider the Affine twist map $\rm{Aff_t}:\mathbb{T}^2\to\mathbb{T}^2$ given by $$\rm{Aff_t}(x,y)=(x+y \text{ mod 1}, y+t \text{ mod 1}).$$ The map $\rm{Aff_t}$ clearly possesses an invariant foliation by horizontal curves. If $t$ is rational, each leaf is periodic, and if $t$ is irrational, the orbit of each leaf is dense in the torus. In both cases, the vertical rotation set of the proper lift of $\rm{Aff_t}$ to the vertical cylinder is reduced to $\{t\}.$ Now, for $k\in\mathbb{R},$ define $$f_{k,t}(x,y):=(x+y+k\sin (2πx)\text{ mod 1},y+k\sin (2πx)+t\text{ mod 1}).$$ We show that: 1) when $t=p/q$ for integers $p$ and $q>0$, KAM theory implies the existence of a constant $k_{p/q}>0$ such that for $|k|<k_{p/q}$, the vertical rotation set of an adequate lift of $f_{k,p/q}$ is just $\{p/q\}.$ 2) when $t$ is irrational, for any $k\neq 0$ the vertical rotation set of the adequate lift of $f_{k,t}$ is a non-degenerate interval which contains $t$ in its interior. In other words, it is not easy to build area-preserving twist maps whose vertical rotation sets are reduced to a single irrational number. From Theorem A of \cite{eujul}, such a map needs to have an invariant foliation by Lipschitz graphs over the horizontal coordinate. In particular, all its iterates must satisfy a twist condition. This is precisely what does not hold for $f_{k,t}$, for all non-zero values of $k$.

math.DS↗
arXiv2026

Stability of oblique sonic shocks in steady supersonic potential flow past a wedge

When a uniform steady supersonic oncoming flow impinges on a straight wedge, if the wedge angle is smaller than the detachment angle, two types of steady oblique shocks satisfying the entropy condition will form in the flow field: weak shocks with supersonic or subsonic downstream flow, and strong shocks with subsonic downstream flow. There have been many results on the stability of oblique shocks with subsonic or supersonic downstream flow. However, much less is known about the stability of oblique shocks with sonic downstream flow, since the flow behind the shock wave is very sensitive to disturbances. This paper investigates the stability of oblique sonic shocks under the assumption of a straight wedge with non-uniform incoming flow. We reduce the problem to a degenerate hyperbolic free boundary problem. A local Lipschitz-continuous solution with sonic-supersonic downstream flow to the free boundary problem is constructed, using the classical Ascoli-Arzelà theorem and a diagonal argument. The main difficulty of this free boundary problem lies in the hyperbolic degeneracy on the sonic line. By adopting a weighted characteristic decomposition method, we establish a delicate estimate of the downstream flow near the sonic line.

math.AP↗
arXiv2026

StarWM: Self-Supervised Trained Attention Routing for Robust World Models

A robust world model must strike the balance between faithfully capturing environmental dynamics and abstracting away from irrelevant content. While reconstruction-based world models ensure faithful supervision, they misallocate representational capacity by pixel area rather than dynamics relevance for visual tasks, which can cause task-irrelevant content to dominate the learned representation. Alternatively, reconstruction-free methods avoid this bias but risk discarding possibly relevant information. We propose StarWM, which uses a cross-attention module trained on self-supervised dynamics to decide where reconstruction applies. A dual-stream decoder then restricts reconstruction to the attended regions, with stop-gradient barriers preventing interference between the two objectives. These components allows reconstruction to supervise the visual content of attended regions without contaminating the latent with non-predictive information. On DeepMind Control with dynamic video backgrounds, default (reward-free) StarWM achieves the strongest performance under random-frame distractors and substantially outperforms reconstruction-based baselines under sequential video. In addition, its reward-augmented variant matches or exceeds reconstruction-free methods on sequential video, achieving the highest overall return across all distractor regimes. Mechanistic probing confirms StarWM preserves state attributes with near-perfect fidelity through long-horizon imagination while systematically discarding distractors.

cs.CV↗
arXiv2026

Long-time Korteweg-de Vries approximation for the Fermi-Pasta-Ulam-Tsingou system

We prove that, as the lattice spacing $h$ tends to zero, general solutions to the infinite Fermi--Pasta--Ulam--Tsingou (FPUT) system can be approximated in $L^2$ by two counter-propagating Korteweg--de Vries (KdV) waves on time intervals of order $\log(1/h)$. This resolves an open question raised by the first author and collaborators~\cite{HKY2021}. Our proof combines the FPUT conservation law with an $h$-uniform local well-posedness theory in $L^2$ and persistence of Sobolev regularity. We also introduce a frequency-localized auxiliary equation to overcome the difficulty of comparing the Fourier restriction norms associated with the FPUT and KdV flows.

math.AP↗
arXiv2026

A Comprehensive Study of the Long-Period Cataclysmic Variable V630 Cassiopeiae

We present a comprehensive review of V630 Cassiopeiae, which is a very long-period cataclysmic variable. Based on new observations combining spectroscopy and high-resolution photometry provided by TESS and precise distance data from GAIA, we confirm and extend previously described characteristics. The light curves show differential behaviors between different epochs, attributed to changes in the disk's brightness distribution, likely due to non-axial structures such as precessing eccentric disks. The spectroscopy reveals complex Ha line profiles, with dual components and an emission distribution that suggests a large, asymmetric, and possibly precessing disk, rather than a classic shock structure in the matter-flow impact region. Doppler tomography indicates that the emission originates at the periphery of the disk, distributed in an asymmetric pattern rather than a compact point, complicating the interpretation of radial velocities and limiting their use for accurately determining masses. Through photometric and spectroscopic analysis, we established a donor mass estimate with an approximate value of 0.38 Ms at the adopted distance of 2409 pc, with significant uncertainty related to distance and other systematic factors. Finally, using the parameters of V630 Cas, binary evolution simulations were conducted with MESA incorporating CARB magnetic braking prescription to identify an evolutionary sequence that explains its properties.

astro-ph.SR↗
arXiv2026

TRACE: Temporal Audit and Condition-aware Evaluation of Streaming Video Understanding

Streaming video understanding requires models to interpret evidence as it arrives, yet current evaluations often report task scores without specifying when evidence becomes valid, how visual history is maintained, or how responses are triggered. As a result, similar scores may correspond to different workloads, failure modes, and operational behavior. We introduce TRACE (Temporal Audit and Condition-aware Evaluation), a condition-aware benchmark and evaluation framework that makes these factors explicit. TRACE combines temporally audited visual tasks with evidence timing and instruction-dependent trigger annotations, a unified causal Core--Adapter protocol that controls information availability while recording actual history processing and response events, and multidimensional reporting of answer quality, timeliness, response-selection behavior, workload, completion, and reliability. On 1,240 records from 517 videos, we evaluate eight publicly available models or systems in eight configurations. We find that nearly identical QA accuracy can mask substantial differences in completion, answer validity, and generation workload, while proactive performance separates into response quality, response delay, false alarms (responses emitted while no target window is currently valid and a later one remains), and missed target windows. These results show that streaming-video performance should be interpreted as execution-conditioned system behavior rather than a single score. Our benchmark and code can be accessed at \href{https://github.com/om-ai-lab/trace-bench}{https://github.com/om-ai-lab/trace-bench}.

cs.CL↗
arXiv2026

A Vehicle-Integrated Approach to Digital Twin Deployment for Bridges

The project A Vehicle Integrated Approach to Digital Twin Deployment for Bridges is developing a scalable framework for bridge condition assessment using vibration measurements from a sensorised inspection vehicle. It combines vehicle bridge interaction modelling, state estimation, machine learning and surrogate modelling to reduce reliance on permanent sensor networks. The Old Ada Bridge in Japan is the principal case study because it provides direct and vehicle-based field measurements across multiple experimentally introduced damage states. Progress has been made across three streams. First, forward and inverse Fourier Neural Operator (FNO) models have been demonstrated on a benchmark beam, enabling rapid response prediction and identification of damage location and severity. Second, an inspection vehicle optimisation framework has been developed to select vehicle mass and tyre suspension stiffness that maximise separation between healthy and damaged responses, integrating contact-point reconstruction, damage assessment, Kriging and particle swarm optimisation. Third, an Augmented Kalman Filter-based virtual sensing framework has been developed to estimate moving loads and reconstruct displacement, velocity and acceleration at unmeasured locations from sparse sensors. The next phase will extend and integrate these methods using the Old Ada Bridge model and field data. FNO models will be transferred to the truss structure and evaluated using intact and damaged measurements. Vehicle optimisation will be tested for transferability, while virtual sensing will be extended to the coupled vehicle bridge system to estimate road roughness, vehicle parameters, moving forces and structural responses. Ultimately, these components will form an integrated vehicle-driven digital twin for rapid simulation, response reconstruction and damage assessment under realistic conditions.

eess.SP↗