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 667 records · Page 37Linked to original sources

arXiv2026

Semantics-to-Contact: A Stagewise Framework for Robust Contact-Rich Manipulation

Contact-rich manipulation requires precise control under complex contact dynamics while remaining robust to diverse visual conditions. However, real-world reinforcement learning often overfits to the visual appearance of training scenes. We propose Semantics-to-Contact (S2C), a stagewise framework for visually robust contact-rich manipulation. The insight is to decompose the problem into two stages: semantic focusing and contact refinement. In the first stage, a vision-language model localizes task-relevant regions across visually diverse scenes, providing coarse spatial guidance and reducing the burden of exploration. In the second stage, a real-world human-in-the-loop residual reinforcement learning policy learns fine-grained contact behaviors within the localized region using force feedback. To further improve visual robustness, we introduce an object-centric visual augmentation strategy that randomizes background appearance while preserving the robot and task-relevant objects. Experiments on six contact-rich real-world manipulation tasks exhibit that S2C consistently improves success rates over strong baselines and maintains reliable performance under significant visual and positional variations. These results demonstrate that stagewise semantic focusing and contact refinement provide a practical path toward visually robust real-world contact-rich manipulation. Our demos can be seen in https://edem-ai.github.io/S2C/.

cs.RO↗

arXiv2026

Constraining the timescale of activity in Mrk 1018

We present analysis of an extended emission line region projected 3.77 kpc from the nucleus of the canonical changing-look AGN Mrk~1018, found in MUSE integral-field observations from the Close AGN Reference Survey. Emission-line ratios show that the region exhibits AGN ionisation but has a very low velocity dispersion, $77 \pm 1$ kms$^{-1}$, ruling out an ionised outflow. The lower limit on the light travel time is $12{,}300 \pm 2{,}300$ yr, implying that the nucleus has therefore been active for at least this long. This is much longer than the duration of either observed changing-look transition, which occurred over several years. This implies that Mrk 1018's multi-year variations are occurring within a longer term active phase.

astro-ph.GA↗

arXiv2026

Route Before Response: Fail-Closed Routing for LLM-Enabled Customer-Service Software

LLM-enabled customer-service software in financial institutions must choose a downstream service before responding. Classifiers and LLM routers can identify a relevant label or destination, but a composed application must still verify dispatch permission and entity registration. We study this integration problem as boundary-aware pre-response routing. We present RouteBR, a controller in which one model call proposes a primary service action and registered object, then deterministic code checks identifiers and versioned rules before dispatch or a specified non-dispatch outcome. Lower-ranked candidates cannot replace a blocked primary route. We construct 600 privacy-preserving scenarios from recurring confidential-request patterns at a real financial institution; three engineers jointly reviewed the scenarios and labels. On the 200-case CONFIRM MAIN split, RouteBR reaches 97.5% final-path exact match. A matched one-call baseline given the same rules reaches 95.5%, whereas a diagnostic baseline without the rule program obtains 94.0% action accuracy but only 41.0% final-path exact match. Across 166 non-dispatch MAIN and FLIP cases, RouteBR produces no false dispatch. The artifact pairs all 1,960 prediction rows with raw receipts while excluding gold and reviewer fields from model requests. These results support separating model proposals from code-owned, replayable execution. Our implementation is available at https://github.com/YgcCoder/RouteBR.

cs.SE↗

arXiv2026

Characterizing CUDA Locality Domains on Blackwell GPUs

Low latency is critical to user experience. As NVIDIA Blackwell and Rubin GPUs advance multi-die scaling, data placement and cross-die communication become increasingly important. However, the latency implications and underlying costs of cross-die communication and die-aware execution remain largely unexplored. In this report, we present a comprehensive evaluation of the Locality Domain (LD) feature introduced in CUDA 13.4. Conducted on a single node equipped with eight NVIDIA B300 GPUs, our study examines three aspects: memory management and access, computation, and communication, to identify the sources of latency and, more importantly, explore how LD can mitigate them. Our measurements show that the benefits of LD depend on data access patterns. Through die-aware adaptations and integration with widely used libraries and tools, we achieve speedups of up to 43.5% for NCCL 2.32.3 (AllGather), 111.3% for nvbandwidth (DtoD), and 37% for DeepGEMM (EP). We also identify non-negligible LD-related GPU memory allocation overhead when allocation sizes exceed 32 MB due to barrier and TLB invalidation, we propose a fix to the GPU driver kernel module (submitted to NVIDIA) and show that overhead could be reduced 7x ~ 10x without requiring any user-code changes.

cs.DC↗

arXiv2026

Identification and Bounding of Joint Expectation over Potential Outcomes

The joint expectation of functions of potential outcomes $(Y_1,Y_0)$ is a fundamental quantity in causal inference, particularly when investigating the variation or heterogeneity of causal effects. This paper provides novel assumptions for their identification: comonotonicity and countercomonotonicity. These assumptions offer a unified framework for their identification across discrete, continuous, and mixed outcome variables. In the absence of these assumptions, we derive sharp bounds for two broad classes of functions, yielding new results for bounding moments of individual causal effects, which are central to measuring effect heterogeneity. We present corresponding estimation methods and illustrate them in simulation studies and real-world datasets.

stat.ME↗

arXiv2026

Unified Overview of Safety Certificate Functions: Techniques from Hamilton--Jacobi Reachability and Control Barrier Functions

Safety is a central concern in modern autonomous systems. Safety certificates---functions whose existence guarantees that a system meets its safety specification---have long been used as a principled tool for rigorously reasoning about safety. Methods for synthesizing such certificates are scattered across research areas, with little guidance on when to use a particular approach. This tutorial provides a holistic treatment of safety certificate synthesis centered on two widely used families: Hamilton--Jacobi (HJ) reachability analysis and control barrier functions (CBFs). For each family of methods, we first introduce its general formulation, along with classical and learning-based tools for certificate synthesis. Next, we introduce two benchmark problems consisting of vehicle systems of differing complexity to assess the certificate quality of different synthesis methods and their effectiveness in safety-critical control. We use these benchmarks to compare various methods and provide practical guidance for selecting an approach.

cs.RO↗

arXiv2026

Nonequilibrium orientational bistability of a magnetically-driven slender particle

Externally driven systems are non-equilibrium but accessible to stationary states. By combining theoretical calculations and particle-based simulations, we investigate the orientational configuration of a transversely-magnetized slender particle in a rotating magnetic field. Our results reveal nonequilibrium orientational bistability in both regimes that the particle rotates synchronously and asynchronously with the field. The relative populations of standing and lying orientations depend strongly on the driving frequency in the synchronous regime, whereas they are primarily controlled by the magnetic field strength in the asynchronous regime. Effective free-energy approximations further capture the principal features of the steady-state orientational distributions in both regimes. Our work aims to give a statistical-thermodynamic description of orientational bistability in magnetically-driven slender particles, paving the way for relevant experimental designs and advanced applications.

cond-mat.soft↗

arXiv2026

Ultrafast Moiré Exciton Dynamics Revealed by Two-Dimensional Coherent Spectroscopy

Moiré superlattices of van der Waals heterostructures confine excitons into discrete energy levels in finite-sized samples, yet their internal relaxation pathways remain obscured by inhomogeneous broadening. Here, using two-dimensional coherent spectroscopy (2DCS), we directly resolve seven discrete energy levels of the moiré-confined intralayer $\mathrm{WS}_{2}$ A exciton in an hBN-encapsulated $\mathrm{WS}_{2}/\mathrm{WSe}_{2}$ heterostructure, corresponding to a confinement depth of 57.02 meV. By tracking the population of these levels over picosecond delays, we uncover a two-stage thermalization process: an effective exciton temperature drops from 171.8 to 99.3 K within 1.2 ps through rapid intra-manifold population redistribution, followed by a slower recovery toward quasi-equilibrium mediated by exciton--environment interactions. Kullback--Leibler divergence analysis confirms the progressive transition from a non-equilibrium to a Boltzmann-distributed population. Our results establish state-resolved access to moiré exciton dynamics and provide a foundation for exploring nonequilibrium many-body phenomena in moiré quantum materials.

cond-mat.mes-hall↗

arXiv2026

Action-Conditioned VLM Monitoring for Autonomous Vehicle Semantic Anomalies

We study action-conditioned monitoring of autonomous-vehicle behavior in semantically unusual driving scenes. The target is whether the executed ego action is appropriate for the scene: the same scene can admit both normal and anomalous behavior, so visual unusualness alone does not determine the monitoring label. A Vision-Language Model (VLM) first predicts the scene-required action from an outcome-hidden video window; the monitor then compares that expectation with the realized ego-motion trajectory under an explicit compatibility rule. To study this monitoring task, we contribute a six-field taxonomy of 112 paired scenarios spanning both failure polarities (42 derived from documented incidents), a generated video corpus with estimated trajectories, and an exploratory two-stage monitor on that corpus. On 235 clips from 15 scenario families, the two-stage protocol with a fixed T-2.5 s window obtains 83.0% accuracy and anomaly recall 0.773, versus 74.5% and 0.536 for a single-stage video-only baseline; specificity is 0.880 versus 0.928.

cs.CV↗

arXiv2026

CST-Bench: Benchmarking Counterfactual Spatial Transition Reasoning with Causal Transition On-Policy Self-Distillation

Spatial reasoning is a fundamental capability of multimodal large language models (MLLMs), yet existing benchmarks mainly focus on static scene understanding. When objects are moved or swapped, models must infer not only spatial relations but also how interventions change the scene state. To address this problem, we introduce CST-Bench, a benchmark for counterfactual spatial reasoning. CST-Bench contains 7,082 examples covering 6 intervention types and 12 transformation operators, with dense causal annotations including intervention sources, affected relations, expected effects, invariant relations, and metric changes. We benchmark general-purpose MLLMs on CST-Bench and further compare post-training strategies on CST-Bench and standard spatial benchmarks. Results show that methods effective for ordinary spatial reasoning can still fail under counterfactual interventions. We further formulate counterfactual spatial reasoning as causal state-transition modeling and propose CT-OPSD, which uses CST-Bench annotations to guide a teacher model in learning counterfactual state transitions and causal reasoning chains. These chains are then distilled into a student model that reasons only from real observations. Overall, experiment results establish CST-Bench as a challenging benchmark and reusable supervision resource for counterfactual spatial reasoning. CT-OPSD further provides an initial demonstration of how its annotations can support model improvement.

cs.AI↗

arXiv2026

FlashOffloading: Low-Latency KV Cache Offloading for Long-Context LLM Serving

In large language model (LLM) serving systems, the key-value (KV) cache grows linearly with sequence length and concurrency, so long-context inference easily hits the high-bandwidth memory (HBM) capacity wall and results in low concurrency. Offloading the KV cache to host dynamic random-access memory (DRAM) frees HBM space and raises concurrency, but the additional cache management and host-to-device (H2D) load overhead inflates inference latency, higher concurrency fails to translate into effective throughput. We present FlashOffloading, a host-DRAM-centric inference architecture that fully offloads the KV cache in both the prefill and decode phases. FlashOffloading builds rolling HBM cache for prefill, a hot cache for decode, a reverse sparse index with zero extra miss-lookup overhead, and a compute--load overlapped kernel, optimizing KV offloading latency across the entire pipeline and delivering throughput gains under a time-per-output-token (TPOT) service-level objective (SLO). In experiments deploying GLM-5.2 with multi-token prediction (MTP3) speculative decoding on an Ascend910C prefill--decode (PD)-disaggregated platform, FlashOffloading improves prefill throughput by up to 1.38$\times$ and decode throughput by up to 1.91$\times$ under a 30 ms TPOT constraint. FlashOffloading is integrated into an open-source serving framework: https://github.com/vllm-project/vllm-ascend/tree/releases/v0.30.0.

cs.AI↗

arXiv2026

OptIMerge: Optimization-Based Merging of Diffusion Models

The arithmetic merging of weights from multiple task-specific models fine-tuned from a shared base model, commonly known as model souping, has emerged as a popular strategy for multi-task learning without the computational overhead of joint retraining. However, naive scalar weight averaging frequently leads to severe performance degradation when the constituent models learn structurally divergent feature representations, leading to destructive parameter interference. We study this problem in a largely unexplored setting: merging image-to-image (I2I) diffusion models fine-tuned for dense, pixel-accurate tasks such as image restoration. Unlike the large language models (LLMs) and text-to-image (T2I) diffusion models for which most merging methods were developed, I2I experts encode conflicting spatial priors (e.g., anisotropic motion-blur vs. isotropic defocus-blur) in their convolutional filters, where both naive soup and LLM-style element-wise merging introduce visible artifacts. We introduce OptIMerge, a gradient-based optimization framework: instead of relying on heuristic scalars, OptIMerge learns highly expressive, yet parameter-efficient merger coefficients by minimizing a multi-task diffusion loss over a small set of 100-500 images. OptIMerge parameterizes the merge with architecture-aware transformations: for attention layers, a structured low-rank feature alignment with explicit channel biases; for convolutional layers, per-kernel merger coefficients, and a low-rank Cayley transform that aligns channels by orthogonal rotation without distorting the filters. By keeping the experts frozen and optimizing only these lightweight merger parameters (equivalent to <0.4% of the network footprint), OptIMerge achieves simultaneous multi-task capabilities that rival computationally expensive joint training and decisively outperform zero-shot model soups.

cs.CV↗

arXiv2026

Can absorption enhance differences between black-hole images?

We investigate whether absorption can enhance morphological differences between images of different spacetimes, particularly when their critical impact parameters are similar. Using a phenomenological thick-accretion-flow model with an effective absorption coefficient $χ_0$, we compare Schwarzschild black-hole images with those of Bardeen, Hayward, and Ayón-Beato--García black holes. In the face-on Schwarzschild--Bardeen comparison with $g/M=0.5$, the dominant brightness shifts from a narrow lensed feature to a broader outer feature at $χ_0M\simeq$0.585 and 0.717, respectively. Near the first transition, the integrated difference between independently normalized images increases by $23.5$% on a common physical grid and by $46.6$% after rescaling by the respective critical impact parameters. Enhancement occurs across all three regular-black-hole families and over a broad range of the sampled flow parameters and viewing inclinations, although its magnitude and occurrence depend on the prescribed flow. Asynchronous brightness-peak transitions alone are insufficient to guarantee enhancement. These results suggest that the opacity dependence of image morphology may provide information complementary to the critical-curve scale, potentially helping distinguish spacetimes with similar characteristic shadow sizes. Assessing this possibility observationally requires physically consistent, frequency-dependent radiative transfer.

gr-qc↗

arXiv2026

Efficient Pauli Truncation from Operator Stabilizer Rényi Entropy

Operator stabilizer Rényi entropy (OSE) quantifies the magic of Heisenberg operators and serves as a diagnostic of their compressibility in the Pauli basis. We establish rigorous bounds showing when an operator can be efficiently approximated by Pauli truncation in terms of the scaling of its OSE. Specifically, we prove that volume-law scaling of OSE for $α\geq1$ prevents efficient Pauli truncation from reproducing expectation values for all states at sufficiently small fixed error. On the other hand, logarithmic growth of OSE for $0<α<1/2$ guarantees efficient Pauli truncation approximability uniformly over all states. A counterexample shows that this sufficient range cannot be extended on the basis of OSE scaling alone. If we restrict to correlations over suitable low-average state ensembles, then the sufficient range extends to $0<α<1$. We further derive cumulative error bounds for iterative Pauli propagation and approximation guarantees for fixed-order out-of-time-ordered correlators. Moreover, under an independent-sign assumption, we show that logarithmic OSE for $0<α<1$ guarantees efficient Pauli truncation with the prescribed accuracy for all input states with high probability. Our results provide a theoretical framework for understanding when operator magic constrains or enables efficient Pauli truncation and for guiding the development of classical simulation methods.

quant-ph↗

arXiv2026

Violent relaxation in hierarchical stellar systems: pathways toward massive black hole formation in the early Universe

Massive stellar systems have been detected in the high-redshift Universe via the James Webb Space Telescope using gravitational lensing techniques. Such stellar systems may evolve on short dynamical timescales, despite a formally large 2-body relaxation time. If the stellar system consists of a large number of gravitationally bound clusters, a 2-body relaxation time can be defined for the star clusters in analogy to the 2-body relaxation time for stars, implying a faster evolution determined by the number of stars per cluster. At their formation, clusters will go through a process of "cold collapse" as part of their early, non-collisional, evolution. This phase enhances the mass segregation between the more massive and less massive population of stars. We derive a criteria based on the mass of the two components that determines under which conditions the massive component may even decouple from the cluster itself. Mergers of clusters and multiple mergers on average tend to produce systems with larger cluster radii. For the formation of massive black holes via dense stellar systems, the most promising pathway consists in the cold collapse of a dense massive cluster, after few mergers (or possibly none). In such a cluster with a sufficient number of massive stars, the massive population of stars will dynamically decouple in the central region and go through core collapse, leading to the formation of a central massive object. In the case of multiple mergers, massive but more spatially extended stellar systems will form.

astro-ph.GA↗

arXiv2026

The logarithm construction and (super) Weyl anomalies

We apply the logarithm construction of higher-derivative conformal primary (super) fields proposed by Butter et al. to derive simple Wess-Zumino actions for: (i) Weyl anomalies in arbitrary even dimensions; (ii) $\mathcal{N} =1$ and $\mathcal{N}=2$ super-Weyl anomalies in four dimensions; and (iii) $(p,q)$ super-Weyl anomalies in two dimensions, with $p,q \leq 2$.

hep-th↗

arXiv2026

Sharp Minimum-Rate Guarantees for Power-Based Discrete RIS Design

We characterise when desired-power optimisation guarantees the minimum user rate (MUR) in discrete reconfigurable intelligent surface systems with fixed precoding. For the weighted sum of desired powers, a bounded channel exists whose exact maximiser starves a user: no positive guarantee exists. For the minimum desired power, the retained fraction of the optimal MUR is at least a sharp constant set by the phase's power quality and residual interference. A semidefinite dual certifies it without enumerating phases. Minimum-power phases keep 88% of the optimum under weak reflection and about half under strong reflection; omitted interference causes most of the loss.

eess.SP↗

arXiv2026

Arithmetic Kac Theory for Ramified Species

Let $K=k((t))$, where $k$ is algebraically closed of characteristic zero, and let $Λ$ be an acyclic ramified species over $K$. An indecomposable $Λ$-module can split after extending $K$. The number of its distinct geometric indecomposable summands is the degree of its residue endomorphism field $\operatorname{End}_Λ(M)/\operatorname{rad}\operatorname{End}_Λ(M)$. We use the positive roots and cyclic automorphism of the unfolded quiver to determine the number of isomorphism classes at every nonzero rank and residue degree $e\ge1$: it is zero, an explicitly computable finite number, or $|K|$. For every invariant imaginary root of the unfolding, including at nonprimitive ranks, we construct a smooth invariant family of absolutely indecomposable representations whose rational quotient by the change-of-bases group has dimension $1-q_d(β)$. We characterize ranks admitting absolutely Schur representations by the Schur roots of the unfolded quiver. For the associated species over finite fields, we realize the polynomials counting absolutely indecomposable representations as graded traces of the unfolding automorphism on preprojective BPS cohomology. Galois-orbit formulas and Möbius inversion then recover the counts at each residue degree. Finally, we prove an all-rank symmetrizable analogue of Kac's constant-term conjecture: the constant term of the polynomial counting all indecomposables, rather than only absolutely indecomposable ones, equals the corresponding Kac--Moody root multiplicity. This constant is independent of the symmetrizer and modulation.

math.RT↗