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 487 records · Page 27Linked to original sources

arXiv2026

Permanent and Transient Representations for Continual Reinforcement Learning

Continual Reinforcement Learning (CRL) agents struggle to adapt to new situations while retaining prior knowledge, leading to a stability-plasticity trade-off. One approach to solving this problem is by using complementary learning systems: one for slow, long-term learning and another for quick, transient adaptation. Anand & Precup (2023) instantiated this idea using permanent and transient value functions, but used the same features in both systems. Intuitively, long-term learning should rely more on parametric representations for broad generalization, while transient learning would be best served by non-parametric representations for situation-specific adaptation. In this paper, we explore this idea both theoretically and empirically. By introducing a novel non-parametric approximation for estimating the transient value function in complex tasks, we demonstrate that our method enables online learning and outperforms competitive baselines on image-based tasks and Craftax-Classic, underscoring the effectiveness of our system-level decomposition.

cs.LG↗

arXiv2026

Where Do Reported Long-Video QA Gains Come From? A Controlled Audit of Frame Selection, Evidence Injection, and Expert Routing

Long-video question answering is usually studied as frame selection: which few frames should a vision-language model see? We introduce VideoRouteAudit, a controlled audit that separates this choice from two alternatives, injecting non-visual evidence and routing to another answering model. It holds the backbone, frame budget, decoding, prompt and grader fixed while varying one decision at a time. On the full Video-MME long bucket (n=900, K=8), no tested selector significantly improves over uniform sampling. The largest selection-only estimate is +1.9 pt (95% CI [-1.2,+5.0]) and our cascade is +1.2 pt [-1.7,+4.1]; all are equivalent to uniform within +/-5 pt. The same contrasts are unstable at the n=200 subset scale commonly used: three of four are up to 3.8x larger, one reverses sign, and resampled 200-item subsets reverse the full-bucket effect's sign in 35.8% of draws. The audit also corrects our own first results. The anomaly-domain "+ASR" arms injected no text, so the pooled +4.7 pt gain was selection plus a development prefix. With transcripts, ASR lowers XD-Violence accuracy by 10.0 pt when appended after the question and not at all when placed before it, and lowers UCF-Crime by 13.0 pt either way; on Video-MME, placing it first adds about 4 pt (7 on Qwen2-VL) to uniform sampling and to the cascade alike (post hoc, unadjusted). Swapping the answering model gives the largest contrast (+15.1 pt on MUSIC-AVQA, +33.3 pt on its worst type), but the same audio-visual expert with its soundtrack silenced keeps 92% of the gain (69% with a mismatched soundtrack), so the contrast is mostly a model swap. Code, per-item predictions and scripts that recompute every statistic are available at https://github.com/mikeslin-ir/long-video-qa-audit.

cs.CV↗

arXiv2026

Parity-Selective Quantum Interference in Unconventional Magnets

Nonrelativistic spin splitting has emerged as a defining feature of unconventional magnetic states. Here we show that quantum interference offers a symmetry-resolved probe for the parity of such spin splitting, as even- and odd-parity magnets exhibit qualitatively different weak (anti-)localization behaviors. Even-parity magnets can host time-reversal symmetric scattering loops depicted by the spin group, giving rise to a weak localization that can be suppressed by spin-orbit coupling. In contrast, odd-parity magnets have a hidden weak antilocalization that can be released by spinorbit coupling. We further derive the corresponding magnetoconductivity formulas to facilitate experimental explorations. Our results not only advance the weak (anti-)localization theory to unconventional magnets but also suggest a practical diagnostic of unconventional spin-split magnetic states.

cond-mat.mes-hall↗

arXiv2026

On explicit units in a family of cubic fields and the arithmetic of curves arising from powers of these units

For an integer $b\neq0,1$ let $K_b$ be the cubic field generated by the unique real root of $x^3-3bx-b^3$, let $η_0$ be its fundamental unit, and let $η_b$ be the explicit unit studied in the companion paper (arXiv:2609.37389). Write $η_b=η_0^{n(b)}$. Deciding whether $n(b)$ is divisible by $q$ amounts to finding the integral points of a plane curve $C_q$ of degree $2q$. We prove that for every integer $q\ge1$ the curve $C_q$ is irreducible with $g(C_q)=\binom{q-1}{2}$, the genus of a smooth plane curve of degree $q$ rather than of degree $2q$. The proof is not a genus computation but a structural one: $C_q$ is the inverse image, under the $q$-power map of a two-dimensional torus, of the curve traced by the minimal polynomial of $η_b$ as $b$ varies, and the formula falls out of two applications of Riemann-Hurwitz in the resulting tower. As a consequence the problem splits into exactly three regimes: $q=2$ rational, $q=3$ elliptic, and $q\ge4$ of general type. In particular only finitely many $b$ have $q\mid n(b)$ for each $q\ge4$. A lower bound for linear forms in two logarithms gives $n(b)<6082138$ for every $b$, so $n(b)\in\{1,2\}$ for all but finitely many $b$, though not effectively. We add two computations: $n(b)$ is determined outright for $|b|\le10^{30}$, and the rational points of $C_4$ are determined by quadratic Chabauty, giving $4\mid n(b)\iff b\in\{-75,-3,5,96\}$. We state precisely which parts of the latter rest on certified arithmetic and which do not. Finally, we show that $K_b\cong K_{b'}$ with $b\neq b'$ holds for $\{b,b'\}=\{-1,5\}$, and otherwise only if one of the two parameters, $c$ say, satisfies $|c|>10^{30}$ and $n(c)$ is divisible by a prime $q\ge5$. There are only finitely many such pairs.

math.NT↗

arXiv2026

Last-Iterate Convergence of Stochastic Gradient Methods for Unbounded Problems

Last-iterate convergence guarantees for stochastic gradient methods have attracted significant attention as practical implementations typically return the last iterate instead of an average of the iterates. In this paper, we study two approaches for analyzing the last-iterate convergence of proximal and projected stochastic gradient methods without bounded domain or bounded variance assumptions, where black-box variational inference serves as a running example. Under two related assumptions relaxing the bounded variance, we show near-optimal anytime rate $\widetilde{\mathcal{O}}(1/\sqrt{T})$ for the last iterate. Moreover, when the horizon $T$ is known, we remove the logarithmic factor and obtain the optimal order $\mathcal{O}(1/\sqrt{T})$, matching the order known under bounded variance or bounded domain assumptions.

math.OC↗

arXiv2026

When Do Sports Leagues Stop Being Competitive? Bayesian Detection of Competitive-Balance Eras from Match-Level Data

Competitive balance shapes outcome uncertainty, fan interest, and league regulation, yet standard measures summarize realized standings and cannot separate structural ability differences from match-level randomness. We develop a Bayesian framework that infers structural competitive balance from longitudinal match outcomes. Team abilities are obtained by projecting Gaussian auxiliary variables onto a graph-fused l1 polytope whose radius measures total pairwise ability variation. The projection places positive probability on exact ties, so statistically indistinguishable teams form explicit rank tiers. The radius equals realized ability variation whenever the constraint binds, linking it to parity, detectability, and structural inequality. An adaptive finite-regime model lets competitive eras recur, emerge, and disappear while team hierarchies remain season specific. Simulations show accurate recovery of regimes, radii, abilities, and tiers. Applied to 25 English Premier League seasons, the model identifies a persistent shift to a more stratified league beginning in 2005/06, with 2010/11 the only later return to the compressed regime. It also shows that a close title race can coexist with wide league-wide separation and that head-to-head results can separate clubs level on points. The framework gives leagues a model-based measure of balance to inform debates on revenue sharing and financial regulation.

stat.AP↗

arXiv2026

Energy-Time Optimal Decoding Using Expander-Graph LDPC Codes and Mesh Network Architecture

Within the Thompson VLSI model, the first energy optimal decoding schemes (up to polylogarithmic factors) that also reach clock cycle lower bounds are constructed. Let $N$ be block length. Then, there is an exponential error scaling function and a binary symmetric channel, such that for all $f(N)$ that scales to zero more slowly than this, there is a decoding scheme for this channel with error probability that scales as $O(f(N))$ that has number of clock cycles $T\le O(\sqrt{-\log(f(N)})\text{polylog}(N))$ and energy $E\le O(N\sqrt{-\log(f(N))}\text{polylog}(N))$. This matches fundamental lower bounds up to polylogarithmic factors. The technique uses expander-graph based LDPC codes, a mesh network architecture, and a parallelization technique. The key technical result needed for this is a lemma in graph theory. This lemma is used to show that communication graphs of bounded node degree can be routed through two- and three-dimensional mesh networks without overflowing the memory of any mesh node. Upper bounds are also extended to three dimensions.

cs.IT↗

arXiv2026

Frustration-freeness is decidable but unprovable

The frustration-free property is valuable in quantum many-body systems, which states that its ground states simultaneously minimize all local interaction terms, even when these terms act on overlapping degrees of freedom. Prominent examples include the AKLT model and Kitaev's toric code model, which serve as paradigmatic models of symmetry-protected topological phases and topological order, respectively. A fundamental question is whether a given Hamiltonian is frustration-free for all system sizes. Here we establish two seemingly contradictory results concerning this decision problem. First, we prove that frustration-freeness is decidable for any fixed local Hilbert space dimension. Specifically, there exists a finite, Hamiltonian-independent system-size cutoff such that frustration-freeness at this cutoff size guarantees frustration-freeness at all system sizes. Second, on the other hand, we also show that there exists a frustration-free Hamiltonian whose frustration-freeness cannot be proved within the standard axioms of mathematics (ZFC). We reconcile these seemingly contradictory results by showing that the cutoff, although finite for each local Hilbert space dimension, is uncomputable as a function of that dimension. Our findings reveal an unexpected fundamental distinction between decidability and provability arising in quantum many-body physics.

quant-ph↗

arXiv2026

The Milky Way-like radial structure in nearby galaxies

The Milky Way exhibits a distinctive plateau in its inner surface brightness profile around one effective radius, challenging the traditional view of a purely exponential disk. To explore the origin of this feature, we identify 65 nearby galaxies ($<50$ Mpc) with similar plateau structures and analyze their multi-band surface brightness and color profiles using SDSS, DESI, 2MASS, and Mephisto data. Of the 65 galaxies with Milky Way-like plateaus, 42 have bar classifications (25 barred, 17 non-barred). Barred galaxies show radial color variations more consistent with stellar population ageing, while non-barred galaxies align more with the dust reddening direction, suggesting dust attenuation contributes to plateau formation in non-barred systems. The broad range of color gradients among barred galaxies suggests bars influence plateaus through multiple pathways, including stellar population variations and dynamical stellar-mass redistribution. Environment may also contribute: both barred and non-barred galaxies tend to reside in denser environments than a comparison sample without plateaus. The low occurrence rate ($\sim$3.6\%) may indicate that plateau structures mark a relatively uncommon evolutionary stage. The Milky Way, with both strong stellar population dependence and a persistent stellar mass profile feature, may represent an intermediate case where both stellar population variations and dynamical processes associated with the bar shape its plateau.

astro-ph.GA↗

arXiv2026

DiagDBench: Evaluating Agentic LLMs on Interactive Database Diagnosis and Anomaly Remediation

Database diagnosis and anomaly remediation are essential to reliable database management system (DBMS) operation. Despite advances in large language model (LLM)-based database agents, constructing live DBMS environments that reproduce diverse anomalies at scale remains challenging, limiting the availability of executable samples for database agent training and evaluation. To this end, we introduce DiagDBench, a large-scale benchmark for training and evaluating database agents on interactive diagnosis, anomaly remediation, and optional workload performance optimization across diverse, realistic anomaly scenarios. Each sample pairs a user request, comprising an issue description and an anomaly-verified workload under which the issue was observed, with a self-contained, executable DBMS environment that supports real-time monitoring, interactive diagnosis, remediation, and workload execution. To construct these samples at scale, we propose an LLM-based framework with two complementary pipelines: Manual-Guided Anomaly Synthesis, which sequentially synthesizes user requests, database modifications, and anomaly-injection scripts grounded in DBA manuals and official DBMS documentation; and Incident-Guided Anomaly Reproduction, which reconstructs anomaly samples end to end from real-world enterprise online diagnosis incidents. Built using this framework with sample filtering, expert review, and refinement, DiagDBench comprises 6,940 synthesized training samples and a held-out test set of 454 expert-annotated samples, spanning three hardware configurations, two DBMSs, and three database schemas. Extensive evaluations of database agents powered by multiple LLMs demonstrate that even the best-performing agent, ReAct with GPT-6 Astra, scores only 56.24, whereas most agents score below 45, underscoring the difficulty of DiagDBench.

cs.DB↗

arXiv2026

Boltzmann equations with dilatation and shear: global well-posedness and stability

We study global well-posedness and stability for Boltzmann equations with linear velocity deformation, allowing for arbitrarily large deformation strength. For diagonal dilatation with $-2<γ\leq0$ and cylindrical dilatation with $-3/2<γ\leq0$, with or without shear, we construct global homogeneous solutions for small data and prove their stability under small spatially inhomogeneous perturbations. In scaled variables, the perturbations remain uniformly controlled in deformation-adapted spaces and decay in mixed spatial--velocity norms, algebraically in the diagonal regime and exponentially in the cylindrical regime. For homogeneous simple shear with $-2\leqγ\leq0$, we prove global existence and uniqueness for nonnegative data with finite mass and Fisher information, without smallness or a finite-energy assumption. These solutions conserve mass and propagate additional Sobolev regularity. For spatially inhomogeneous simple shear with $-2<γ\leq0$, we establish global well-posedness for small data. The analysis combines commuting vector fields, dispersive and bilinear collision estimates, and integrability of the rescaled collision coefficients. For homogeneous shear, a positivity-preserving splitting transfers Fisher-information control to rough data, while a Lorentz-space estimate includes the endpoint $γ=-2$ in the global continuation argument.

math.AP↗

arXiv2026

Selective Retrieval Routing for Multi-Violation Knowledge Graph Repair

Knowledge graphs often contain missing or inconsistent facts that undermine the applications built on them. Schema validation detects such violations but does not identify which of several valid repairs recovers the intended graph. External corpora can supply the evidence needed to identify the intended repair, but retrieving from them is costly and not always successful. We propose a framework for selective retrieval in iterative graph repair. An LLM repair agent explores and edits the graph, while a router controls its access to a researcher agent that retrieves external evidence. We extend a violation-injection framework to generate cases with multiple compatible violations and known reference repairs. The agent's repair outcomes on these cases provide supervision for training the deployment-specific router. On two building-automation datasets, researcher access improves repairs for some violations and degrades them for others, with effects differing across deployments. The router uses fewer repair-time tokens than always enabling access in all six evaluation suites. It achieves higher repair $F_1$ than always disabling access in five of six suites.

cs.DB↗

arXiv2026

Fidelity Determines the Minimum Error of Quantum Recovery

Even a recovery that maximizes worst-input entanglement fidelity can retain avoidable errors in subsequent measurements. Entanglement fidelity is the probability of passing a test of whether the state and its entanglement were preserved; infidelity is the probability of failing it. Operational error is the largest possible change in any measurement probability, quantified by the normalized diamond distance. For every finite-dimensional noise channel and fixed encoding, we prove that operational error and worst-input entanglement infidelity have the same minimum over all recovery operations. The proof constructs one final unitary (a reversible quantum operation) that makes any recovery's operational error no greater than its original worst-input entanglement infidelity. With a retained noise record, we determine the optimal error and characterize all optimal decoders subject to a Kraus-rank limit for each outcome. For a fixed decoded channel, a semidefinite program finds the optimal final unitary in the low-error regime. We characterize all optimal final corrections and show that, at a fixed error floor $0<ε<1$, the operational optimizers' sensitivity to residual unitary errors of size $s$ is at worst of order $s^{4/3}$, while the canonical polar correction has quadratic sensitivity.

quant-ph↗

arXiv2026

Slide to Report: Continuous Reporting Symptom-Specific Cybersickness in VR

Cybersickness is often assessed during VR exposure through discrete overall sickness, which cannot capture specific symptoms or their changes over time. Post-exposure questionnaires such as the Simulator Sickness Questionnaire provide symptom-specific measures but cannot be collected during immersion. We investigate whether separating cybersickness into three symptom-specific dimensions -- nausea, oculomotor discomfort, and disorientation -- during immersion provides more informative continuous measurements. We conducted a between-subjects study with 52 participants in a VR-rollercoaster, comparing a three-slider interface with a single-slider interface. Concurrently, participants also completed an auditory Simon task to measure attention. We additionally collected multimodal set of physiological signals, including GSR, ECG, PPG, eye and head tracking. Results show that each slider correlated most strongly with its corresponding SSQ subscale, whereas the single slider correlated with all SSQ subscales. Using three sliders did not significantly affect usability, workload, or attention. We publicly release the multimodal dataset to support future cybersickness research.

cs.HC↗

arXiv2026

AtlasULP: Domain-aware Universal Link Prediction via Relation Atlas

Link prediction (LP) is a widely applied task in graph learning. Conventional LP approaches typically follow a dataset-specific paradigm, requiring independent training for each graph and incurring high computational and maintenance costs in large-scale applications. Motivated by these limitations, recent work explores Universal Link Prediction (ULP), aiming to enable training-free inference on arbitrary unseen graphs. However, existing methods primarily rely on subgraph sampling strategies to construct universal representations, which are unable to capture higher-order information due to the exponential growth of higher-order neighborhoods. As a result, they often under-perform on graphs where long-range signals are essential, such as biological networks. Moreover, their prediction models are typically domain-agnostic and lack the ability to adapt to different graph domains, leading to limited generalization. To address these challenges, we propose an Atlas-based Universal Link Prediction framework (AtlasULP), which introduces the relation atlas to capture structural associations between node pairs from both global and local perspectives, enabling a comprehensive characterization of connectivity signals across diverse graph domains. Building upon this representation, we develop a domain-guided prompting ULP model, which generates domain-aware prompt tokens from contextual structures and performs prompt-guided in-context prediction for adaptive link inference. Extensive experiments demonstrate that AtlasULP consistently outperforms state-of-the-art methods across diverse graph domains.

cs.LG↗

arXiv2026

Constant-Factor Approximations for the Biased Traveling Salesman Problem and Its Path Variant

The metric traveling salesman problem (TSP) is a fundamental problem in combinatorial optimization that asks for a minimum-cost Hamiltonian cycle in a complete undirected graph with $N$ vertices, where edge costs satisfy the triangle inequality. The biased TSP (BTSP) is a natural generalization of the metric TSP, in which the vertex set is partitioned into $k$ subsets: edge costs satisfy the triangle inequality within each subset, while edges crossing the subsets may violate the triangle inequality by a certain bias factor. This model captures scenarios in which distances are metric only locally but may be distorted across different regions or types of vertices. In this paper, we study approximation algorithms for the BTSP and its path variant, the biased traveling salesman path problem (BTSPP), which asks for a minimum-cost Hamiltonian path. Previously, constant-factor approximation algorithms were known only for the case $k=2$. Whether the BTSP and the BTSPP admit constant-factor approximation algorithms for any fixed integer $k>2$ has remained an open question. We resolve this question affirmatively. We show that both the BTSP and the BTSPP admit $O(k)$-approximation algorithms with running time $N^{O(2^k k!)}$. Moreover, for the BTSPP with $k=2$, we propose an improved $(α+2+\varepsilon)$-approximation algorithm, where $α<3/2-10^{-34}$ is the best-known approximation ratio for the metric TSP, improving upon the previous ratio of $4$

cs.DS↗

arXiv2026

From What Is Used to What Is Missing: Rethinking Dynamic Rank in LoRA

Parameter-efficient fine-tuning with LoRA is governed by rank, which controls parameter budget and locally accessible task updates. Existing dynamic-rank methods mainly focus on capacity allocation, leaving unresolved whether the current adaptation space is sufficient for the task. We characterize the first-order information boundary of standard factor gradients, showing that their unobservable subspace coincides with the normal space of the low-rank manifold. Thus, factor gradients alone cannot distinguish under-optimization within the current space from task-relevant directions beyond its first-order reach. This motivates a geometric view of rank evolution, where tangent information optimizes existing degrees of freedom and the normal spectrum quantifies the value of new ones. Under a local quadratic model, we show that leading normal singular directions yield the locally optimal rank expansion, with spectral energy determining its gain. Building on this characterization, we propose GEAR, which turns the tangent--normal decomposition into rank evolution through tangent-space optimization, matrix-free normal-spectrum estimation for rank expansion, and task-induced geometric initialization. Across language and vision benchmarks, GEAR achieves the best average performance in all evaluated settings with substantially fewer trainable parameters. On LLaMA3-8B, it raises the average commonsense score from 86.61 to 88.45 while reducing trainable parameters from 42.0M to 14.4M.

math.OC↗

arXiv2026

Finite-Support Approximation in Variable-Coefficient Sobolev Spaces on Nonhomogeneous Flow-Measure Trees

Let $T$ be a nonhomogeneous rooted tree equipped with a positive flow measure $m$. For $1<p<\infty$, consider the variable-coefficient Sobolev space on the nonhomogeneous flow-measure tree~$T$ \[ W_a^{1,p}(T,m) = \left\{ f\in L^p(T,m): \sum_{x\ne ρ}a(x)m(x)\lvert f(x)-f(π(x))\rvert^p<\infty \right\}, \] where $a$ is a positive variable coefficient, $ρ$ denotes the root and $π(x)$ denotes the parent of $x$. Using an averaging method over descendant levels, we prove the density of finitely supported functions in $W_a^{1,p}(T,m)$ for coefficients satisfying a weighted moment condition. As an application, the relationship between solutions on finite domains and global solutions is clarified for $p=2$.

math.AP↗