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 1,711 records · Page 95Linked to original sources
arXiv2026

Robust Data-Driven Controller Synthesis from Sampled and Uncertain Frequency Response Estimates using Integral Quadratic Constraints

In this paper, we develop a novel MIMO controller synthesis method that relies solely on frequency-domain data of discrete-time systems. The approach is based on an iterative design procedure using \emph{integral quadratic constraints} (IQCs). It generalizes existing data-driven methods that approximate semi-infinite IQC conditions by enforcing them on a finite set of measured frequency points. Such approximations do not provide guarantees on the continuous frequency axis and may fail to capture inter-frequency behavior. We address this limitation by formulating a convex optimization problem that preserves robustness guarantees over the entire frequency range. In particular, the proposed method explicitly accounts for inter-frequency behavior of both plant and controller, leading to certified robust stability and performance. The effectiveness and computational efficiency of the approach are demonstrated using experimentally obtained frequency response data from industrial-grade semiconductor equipment. The synthesized controller is implemented on the physical setup, and its performance is validated in real-time experiments.

eess.SY↗
arXiv2026

Bulk superconductivity in quintuple-layer square-planar nickelate La6Ni5O12

Nickelate superconductors, sharing a similar electronic environment with cuprate superconductors, offer a promising platform for unraveling the mechanism of high-temperature superconductivity. However, the realization of superconductivity in these systems has so far been restricted to thin films or bulk samples under high-pressure. This limits the applicability of various experimental probes to study the mechanism of superconductivity, and hinders the potential application of the nickelate superconductors. Exploring bulk superconductivity at ambient pressure is therefore essential to understand its origin and enable broader experimental research. Here, we report the realization of bulk superconductivity at ambient-pressure in quintuple-layer square-planar (SP) nickelate La6Ni5O12. The SP phase is obtained by performing topotactic reaction on the quintuple-layer Ruddlesden-Popper (RP) compound La6Ni5O16. Optimized reduction condition endows La6Ni5O12 with a superconducting state that exhibits onset transition temperature of ~ 18 K, as verified by both zero resistance and diamagnetic shielding effect. Pronounced hysteresis loops revealed by magnetization and torque magnetometry demonstrate the occurrence of vortex pinning. Specific heat measurements on a polycrystalline pellet of La6Ni5O12 reveal a clear superconducting transition at ~18 K and a superconducting volume fraction of ~ 25%, which strongly supports the presence of bulk superconductivity. Our results establish an unprecedented bulk sample platform for investigating superconductivity in nickelates at ambient pressure, which paves the way for further experimental studies into the superconducting mechanism.

cond-mat.supr-con↗
arXiv2026

Subexponential Parameterized Approximation for Group-Fair Euclidean $k$-Center

Clustering is a basic tool for grouping data into meaningful classes, but in many applications the resulting clusters must also respect the fairness conditions among different groups. We study this direction for the group-fair Euclidean $k$-center problem in fixed dimension, where the input points are partitioned into disjoint color classes, and every cluster must satisfy given lower and upper bounds on the fraction of each color. We give a separator-based recursive approximation algorithm for the continuous-center setting. The main idea is to first reduce the continuous search space to a finite candidate center set and then use the geometric sphere separators to break the instance into smaller subproblems. Our algorithm gives a bicriteria approximation: the clustering radius is within a factor of $(1+ε)$ of the optimum exactly fair solution, while the fairness bounds are relaxed only by a multiplicative factor. For fixed dimension, number of colors, and approximation parameters, the running time is polynomial in input size and subexponential in $k$. A recent IJCAI-ECAI2026 result gives a $(1+ε)$-approximation for group-fair $k$-center in bounded doubling metrics with running time $(k/ε)^{\mathcal{O}(k)}n^{\mathcal{O}(1)}$. In the fixed-dimensional Euclidean setting considered here, we improve the dependence on $k$ to subexponential, while allowing continuous centers. The fairness guarantees of the two results are different: the previous work allows an additive fairness violation, whereas our algorithm uses a controlled multiplicative relaxation.

cs.DS↗
arXiv2026

Contrastive uncertainty learning for robust multi-structure segmentation in lower-pelvic MR

Boundary delineation of anatomical structures in prostate MRI is often compromised by regional ambiguity. Automated segmentation methods relying on global overlap loss functions tend to be insensitive to surface deviations, leading to significant errors in ambiguous regions. Most existing uncertainty-aware methods treat uncertainty as a post-hoc quality indicator or prediction filter. We propose Contrastive Uncertainty Learning (CUL), a supervised framework that uses predictive uncertainty to directly guide representation learning. Using Monte Carlo Dropout, CUL identifies voxel-wise uncertainty and structures the embedding geometry accordingly: low-uncertainty, correctly predicted features form stable voxels while high-uncertainty or misclassified features are actively repelled, preventing feature collapse at difficult boundaries. We evaluate CUL on a 589-scan 3D prostate MRI multi-structure segmentation task (8 anatomical structures) using a ViT with UperNet decoder architecture. Average Dice ($83.38\%$) remains comparable to the baseline ($83.35\%$), while surface distance decreases significantly ($p<0.001$) across 6 of 8 anatomical structures. A hard-case analysis reveals a $22{\times}$ asymmetry between significantly improved and degraded cases ($18.8\%$ vs $0.9\%$). Ablation studies show that removing uncertainty-guided sample selection eliminates improvements for the transition zone, while replacing the contrastive objective with a boundary loss additionally removes bladder improvements, demonstrating that both uncertainty-guided sampling and the contrastive objective are essential for the observed gains. These findings demonstrate that the proposed uncertainty-guided representation learning is a useful mechanism for reducing the risk of extreme errors in safety-critical medical segmentation

cs.CV↗
arXiv2026

Adversarial Reinforcement Learning for Robust Planetary Landing

Deep reinforcement learning (DRL) policies for planetary landing and other aerospace guidance, navigation, and control tasks are commonly trained under randomized disturbances to improve robustness. However, typical stochastic perturbation sampling assumes independent variations, whereas real mission disturbances often exhibit spatial and temporal correlation and cannot be reproduced through independent random draws. This work investigates adversarial reinforcement learning to discover challenging off-nominal conditions. A secondary agent generates physically constrained perturbations that degrade the performance of a landing controller, forming an asymmetric sequential zero-sum game. Training proceeds in three stages: baseline controller learning, robustness enhancement with stochastic perturbations, and an iterative adversarial phase in which the controller and disturbance generator are alternately optimized. Preliminary experiments in a three-degree-of-freedom landing environment show that adversarial disturbances reveal vulnerabilities missed by conventional randomization and provide early indications that, with a more extensive training campaign, the approach can yield improved robustness and stronger generalization under previously unseen perturbation regimes.

cs.LG↗
arXiv2026

Repairing Speech Access After Text Updates with Frozen Affine Fields

Speech-capable language models inherit most of their knowledge from text-rich language backbones, and continued model maintenance is likewise dominated by text updates. Knowledge acquired through a text update can nevertheless remain difficult to access when the same query is spoken. We formulate this mismatch as post-update speech access repair, where the knowledge-bearing checkpoint stays frozen and a detachable operator repairs speech-only access in one model pass. We introduce Affine Fields for Interface Repair across Modalities (AFFIRM), which first learns and freezes a base correction for speech hidden states, then adds query-specific corrections with zero mean over the operator-training queries. Paired speech and text states provide the coordinates that condition these corrections on each query. On balanced synthetic-speech PopQA, paired comparisons do not establish a clear advantage for AFFIRM over global SALSA steering or low-rank ReFT interventions under the same frozen single-state constraint. On recorded SLUE-SQA-5 questions with text passages, a full-scale PopQA-fitted AFFIRM operator transfers without refitting and improves ROUGE-L by 0.0941 over its paired No Repair baseline. Low-rank ReFT interventions also transfer positively, whereas the matched SALSA variant falls 0.0707 below its paired baseline. These results show that text acquisition and speech access can diverge after an update and should be verified and repaired separately.

cs.CL↗
arXiv2026

GLoD-LVSM: Learning Geometry-Grounded Continuous-LoD Scene Representations for Large View Synthesis Models

Large view synthesis models (LVSMs) reconstruct scenes from sparse views and render novel views quickly, but they incur unnecessary storage and rendering costs due to token redundancy. We present GLoD-LVSM, a compact, geometry-grounded scene representation for LVSMs with continuous levels of detail. First, instead of learning a fixed set of scene anchor initializations, GLoD-LVSM learns a continuous field that initializes a flexible number of anchors to match the desired budget. A condenser then aggregates scene information into these anchors, with both the field and condenser trained end-to-end. Second, the condenser infers reference-token and anchor geometry to guide compression through geometry-grounded attention, improving rendering quality and enabling frustum culling during decoding. Compared with existing LVSM scene-compression baselines, GLoD-LVSM achieves the best trade-off between rendering quality and scene token count. Compared with the uncompressed base model, GLoD-LVSM reduces the scene-token count by 33.4% and accelerates rendering by $1.23\times$ with no quality loss. Under a relaxed quality-loss budget, the reduction increases to 85.5%, with $3.00\times$ rendering speedup. Further analysis reveals that view-synthesis supervision yields emergent scene depth and self-organized anchors that align with surfaces and adapt their density to local texture complexity. Beyond rendering, we further show that our scene representation also supports scene-semantic understanding, highlighting its potential for broader downstream tasks.

cs.CV↗
arXiv2026

Safe Reinforcement Learning with Receding-Horizon Safety Critic and Differentiable Action Shields

Despite the Markov assumption, safety failures in robot reinforcement learning rarely occur instantaneously; they typically emerge over several steps as the policy enters unfamiliar states under disturbances and domain shift. We address this limitation by learning a receding-horizon safety critic that predicts whether a state will remain non-terminating over the next receding horizon, enabling anticipatory detection of impending locomotion failures. The critic is trained from rollout-derived horizon labels with a composite objective that combines horizon classification, control-barrier-function-inspired temporal consistency, and smoothness regularization, and we aggregate an ensemble of critics with a conservative Conditional Value at Risk estimate to account for uncertainty. Building on the learned critic, we derive a closed-form, differentiable CBF-style safety filter that minimally modifies the policy action to improve predicted safety, and integrate it into PPO with an anticipation loss to reduce policy-filter mismatch during training. In simulated quadruped locomotion, our method improves robustness under action noise, external perturbations, and terrain shifts, reducing catastrophic failures while maintaining competitive returns.

cs.RO↗
arXiv2026

Long-Horizon RL Needs Muon

Long-horizon agents must coordinate reasoning, tool use, and environment feedback over extended interactions. Learning from sparse outcome rewards requires weighting trajectories of different lengths and updating the policy while rollouts are still being collected. We examine a single-rollout asynchronous recipe combining Muon, token-averaged loss, truncated importance sampling, and auxiliary length and tool-error penalties. Single-rollout sampling allows asynchronous learning without waiting for multiple trajectories for the same issue. We study optimizer choices and recipe components for repository-level issue resolution across two model families. The evaluated training runs show higher training success with the full recipe than with the baselines.

cs.LG↗
arXiv2026

The finite basis problem and subvariety intervals for max-plus matrix semirings

Let $S=(\N,\max,+)$ be the max-plus algebra of the nonnegative integers, and let $\overline S$ be obtained from $S$ by adjoining $-\infty$ as a semiring zero. We first prove that the varieties generated by the full matrix semirings $\Mat_n(S)$ and by the upper triangular matrix semirings $\UT_n(\overline S)$ form strictly ascending chains. Every interval between distinct members of either chain has cardinality $2^{\aleph_0}$ and contains a chain and an antichain of that cardinality. The proof uses finite syntactic semirings associated with prime-cycle languages and an independent family of identities. We then construct finite commutative ai-semirings from languages of monomials closed under divisibility and prove their bounded-variable property by cancellation, explicit integer evaluations and independence in a free abelian group. A loop-block identity for upper triangular matrices and dimension-independent cubic-padding identities for full matrices show that every variety in each of the above intervals has infinite axiomatic rank. In fact, every variety between $\V(S)$ and the variety generated by all full matrix dimensions has infinite axiomatic rank. These varieties are therefore nonfinitely based, also relative to the ai-semiring axioms. Finally, for every fixed full matrix dimension, we prove equational equivalence over all six positive or nonnegative integer, rational and real coefficient domains. The original convex-ideal countermodels and their full-matrix transfer proof are recalled separately for comparison; they are not used in the algebraic proofs. Throughout, the signature consists of two binary operations and contains no constant symbols.

math.GR↗
arXiv2026

Gaussian and Qubit Semigroup Dynamics beyond GKSL

A well established approach to describe open quantum system dynamics is the celebrated Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) master equation. In this article we aim to shed light on semigroup dynamics that are not of this form. Such dynamics may appear in real physical systems describing asymptotic long-time dynamics. Thus, they correspond to semigroup dynamics applicable to a restricted set of initial states only. As a way of motivating our studies, first we review known results about the single-mode Gaussian Quantum Brownian motion channel and corresponding master equations. Next we discuss a conceptually simpler family of qubit semigroup generators and identify parameter regions of completely positive, merely positive, and non-positive dynamics. We then focus on the latter case to which we will refer to as restricted-positive, as the semigroup generator may well be physically meaningful when applied to a restricted set of admissible initial states.

quant-ph↗
arXiv2026

Nonexistence of Strongly Regular Graphs via Gegenbauer Positivity and SRG Counting

This paper develops a natural extension of the multipoint spherical semidefinite method of Liao and Yu~\cite{LY}, studying the interaction between semidefinite programming and strongly regular graph counting. Starting from the positive semidefinite kernels furnished by Gegenbauer polynomials, we express weighted kernel sums and counting identities in the same labelled induced-subgraph counts. Eliminating the counting equations gives a semidefinite feasibility problem. Numerical dual solutions guide the construction of rational certificates, whose contradiction identities are verified exactly. Our aim is a systematic method that treats many parameter sets through the same construction. For least eigenvalue $-3$, it gives new counting certificates for $(351,140,73,44)$, $(550,162,75,36)$, $(703,182,81,35)$ and $(1344,221,88,26)$, previously excluded by Liao and Yu~\cite[Theorem~1]{LY}, and for six additional parameter sets: \[ \begin{array}{@{}lll@{}} (375,102,45,21), & (405,132,63,33), & (441,88,35,13),\\ (476,133,60,28), & (540,147,66,30), & (575,112,45,16). \end{array} \] Seven certificates use Gegenbauer positivity and counting information alone at the displayed orders. The cases $v=375,441,575$ additionally use proved short-vector restrictions, unique vertex extensions, and integer common-neighbour inequalities. The proofs end in displayed inequalities with incompatible signs. Their justification is given by the dual identities and the proved positivity and counting relations; accompanying code automates the longer rational arithmetic.

math.CO↗
arXiv2026

Constrain the Size of Broad Line Region in NGC 1068 Using Sub-millimeter Excess

Constraining the size of broad-line region (BLR) close to the accretion disk in active galactic nuclei (AGNs) is key to understand the central engine and evolution of AGN. We propose a new method to constrain the BLR size, based on millimeter to sub-millimeter spectral energy distribution (SED), from which a sub-millimeter excess may be found. Such excess can be used to determine the solid angle of the free-free emission region from BLR, as a region with high electron density and optically thick at sub-millimeter wavelength for free-free continuum. Millimeter to sub-millimeter SED analysis toward the central source S1 in a nearby type II AGN NGC 1068 was done, which gave an upper limit on the solid angle of BLR region as(4.94 +/- 0.61) *10^-6 arcsec^2, corresponding to a radius no more than 0.085 pc. Such a constraint on the BLR size is important for estimating the masses of central supermassive black holes in AGNs.

astro-ph.GA↗
arXiv2026

Harness Policy Distillation: Aligning Agent Policies with Runtime Semantics

Deploying a general-purpose model as an agent means running it inside a product-specific runtime harness that decides which actions are executable, how state advances, and when the loop may terminate. Ordinary trajectory supervision shows which action was taken but leaves the runtime semantics behind that action implicit. We introduce Harness Policy Distillation (HPD), which makes these runtime control semantics an explicit training target alongside actions to align the harness policy. HPD replays reference trajectories through the harness to recover the runtime semantics that are implicit in ordinary trajectory data, and represents them as control documents at each model-call boundary. These documents provide privileged information for a teacher to generate actions, while harness verification ensures that the resulting targets are executable under the runtime contract. We jointly train a shared model on the runtime semantics recovered from control-state privileged information and native history, thereby internalizing these semantics into the model policy. At deployment, the trained model uses the original harness interface without requiring the control document or any additional supplement. On TRAJECT-Bench with the Pi harness, Qwen3-8B trained with HPD reaches 22.98% autonomous task success and 49.23% runtime compliance, against 3.09% and 19.90% for the unadapted model. Harness-verified teacher actions substantially improve the native deployment policy, while joint control-state supervision provides further gains in task completion and runtime compliance. HPD turns executable runtime semantics into dense supervision for learning harness-compatible actions at each decision boundary.

cs.LG↗
arXiv2026

HD 120678: a classical Be star with a tilting heartbeat disk

Classical Oe/Be/Ae stars possess Keplerian circum-equatorial decretion disks which produce not just the eponymous emission lines but also the bewildering diversity of photometric variations on timescales above a few days. The variability is due to varying amounts and geometric distributions of the circumstellar gas. The ASAS-3 V-band light curve of HD 120678 between March 2005 and November 2008 resembled an inverse P Cygni profile, which may have been a one-off event. The peak-to-valley amplitude reached ~0.9 mag. Before and after this photometric event, the Balmer emission lines and their variability matched those of classical Be stars with an intermediate to low inclination angle. At the sharp minimum of the light curve, Gamen et al. (2012) observed shell-type profiles implying an edge-on (high-inclination) view. For the historical activity phases of gamma Cas and 59 Cyg, such a Be => Be-shell => Be sequence has been successfully interpreted as rotations of the disk plane. HD 120678 and a few other Be stars add a not previously recognized phenomenon to the plethora of Be-star variabilities, namely heartbeat light curves. Analogously to the distortion of heartbeat stars, the variability is due to heartbeat disks gravitationally tilted by an additional star as modeled by Marr et al. (2022) for Pleione. While the typical amplitudes of heartbeat stars are only a few 0.01 mag, heartbeat disks can explain the ten times larger amplitudes observed in Be stars.

astro-ph.SR↗
arXiv2026

Anuvani-LID: Robust and Calibrated Spoken Language Identification for Indian Languages

Every multilingual speech pipeline begins with a language decision, an error there propagates silently through recognition, translation and routing. In India it spans 22 scheduled languages across four language families, heard over short, noisy, narrowband and code-mixed audio. Foundational speech models increasingly present language identification (LID) as an inherent latent, generalized capability. Autoregressive decoders in speech models emit a special language ID token, and modern LLMs with audio capabilities can name the language when prompted. We test this assumption on identical clips and find that whisper and similar speech models has tokens for only 15 of the 23 languages, on one second inputs Gemini 3.5 Flash reaches 0.52 macro-F1 and GPT-audio 0.14. We present Anuvani LID, a dedicated 115M parameter LID conformer model trained on 54,643 hours of Indian speech spanning 22 Indian languages and Indian accented English. Along with designed and controlled studies on 102 condition benchmark with speaker and corpus held out tests. Across 37 conditions, it reaches 0.914 mean macro-F1, 5.2 points above Gemini 3.5 Flash and ahead of 14 other systems. It is 24 points ahead of Gemini at one second, scores 0.897 on all 23 languages where no other system exceeds 0.713, and is calibrated to an ECE of 0.008. Reliable Indian LID still requires a robust, dedicated and calibrated model.

cs.CL↗
arXiv2026

FUSE: Fairness-aware Update Screening against Byzantine Exploitation in $q$-Fair Federated Learning

Client-level fair federated learning, in the form of $q$-fair federated learning ($q$-FFL), agnostic federated learning, or tilted empirical risk minimization, has emerged as an attractive solution to equalize utility across heterogeneous clients. This paradigm grants high-loss clients greater relative influence, while a central server aggregates their loss-weighted updates into a single shared model. Yet, the Byzantine robustness of $q$-fair federated learning has been largely neglected, leaving the server unable to tell legitimate fairness-induced amplification from malicious update scaling. To address this critical gap, we formalize the problem of Byzantine-robust $q$-fair federated learning under an \emph{update-only interface}, in which the server observes nothing but the fairness-scaled client updates. Our analysis under shared class-conditional label skew shows that fairness scaling preserves the nonnegative class-mixture structure of honest updates, while replacing their unit-sum constraint by a client-dependent radial scale. Moving beyond magnitude-based screening, we show that this warped geometry supplies two complementary tests, one radial and one structural, that a single norm cannot provide. We then introduce FUSE, a structure-aware robust aggregator that uses a small trusted labeled dataset for coefficient recovery, scale and cone-consistency screening, and post-screening step-size control. Across four benchmarks and seven Byzantine attacks, FUSE improves seed-wise worst-attack accuracy over the strongest baseline on each benchmark by 3.9--30.1 percentage points, while largely preserving the influence of the high-loss honest clients that fairness is meant to protect.

cs.LG↗
arXiv2026

Geometric $C^1$-stability of geodesic spheres under volume-preserving mean curvature flow

We prove stability of geodesic spheres under volume-preserving mean curvature flow in the simply connected space forms under genuinely first-order geometric assumptions. The initial hypersurface is required to lie in a sufficiently thin annulus around a geodesic sphere and to have outward normal making a small angle with the radial direction. No convexity, mean convexity, initial curvature bound, or Hölder control of the normal is assumed. The main ingredient is a quantitative Alexandrov reflection argument that converts these initial assumptions into a strong reflection property preserved by the flow. The resulting radial and angular control allows us to derive estimates for the mean curvature and the full second fundamental form, and hence long-time existence, eventual convexity, and smooth exponential convergence to a geodesic sphere. In hyperbolic space, the eventual convexity can be strengthened to horospherical convexity. The reflection threshold also yields a quantitative estimate for the displacement of the limiting centre. For Lipschitz initial hypersurfaces, we develop a separate positive-time curvature estimate that is uniform along smooth approximations. This produces an instantaneously smooth evolution with the same eventual convexity and smooth exponential convergence.

math.DG↗