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

LZ-Motivated Pseudo-Dirac Higgsinos in the Supersymmetric 331 Model from the Supersymmetric \texorpdfstring{$SU(6)$}{SU(6)} GUT Model

The high-recoil event reported by LUX--ZEPLIN motivates a neutral electroweak state with an inelastic splitting in the sub-MeV range. We propose supersymmetric 331 model from the supersymmetric $SU(6)$ GUT model, and we study the electroweakino sector relevant to this recoil. Above the $331$-breaking scale hypercharge is not an independent gauge factor, and the leading bino--wino cancellation is replaced by a relation between the physical $U(1)_X$ and $SU(3)_L$ gaugino invariants, $I_X=-I_L$. A singlet--adjoint gauge-kinetic source also correlates the colored invariant. We diagonalize the neutral gauge--Higgs fermion sector of the renormalizable model and determine the tree-level Higgsino splitting without introducing an effective bino mass by hand. The required solutions form a continuous locus in the gaugino and $331$-breaking parameters. At the reference point, the solution lies close to the leading sum rule, while variation of the $331$-breaking coupling moves the locus continuously. The same calculation tests the ordering of the additional neutral states, the gauge/gaugino contribution to the $331$-breaking scalar mass, and the gravitino ordering. We compare this construction with recent $SU(5)$, singlino-assisted, electroweak-multiplet, nuclear-response and solar-capture analyses of the LZ event.

hep-ph↗
arXiv2026

TV-AudioRemover: Joint Text-Visual Guided Sound Removal with Multi-Task Hard-Mixture Curriculum

Visual object removal can eliminate a target from video frames, yet its acoustic trace persists in the soundtrack, causing obvious audio-visual inconsistency. Existing video inpainting models operate solely on pixels, while audio editing models, especially for the sound removal task, are typically driven by text and therefore rely on limited single-modal control, which is less effective than multimodal guidance that provides stronger semantic grounding and temporal synchronization cues. In this paper, we present Text-Visual Guided Sound Removal (TV-AudioRemover), a target sound removal framework that leverages the visually edited video together with a natural-language instruction to suppress the sound associated with the removed visual object from the original audio mixture. To acquire high-quality training data, we devise a pipeline to construct a million-scale dataset of single-object audio-visual aligned samples, from which we synthesize mixture-target pairs customized for model training. To effectively leverage visual context and follow instruction intent, we augment the model architecture with task tokens, generalizable instruction modeling, and modality-specific global guidance. We further adopt multi-task training to strengthen task-role comprehension, and employ a hard-mixture curriculum that leverages semantically similar acoustic mixtures during fine-tuning to enhance fine-grained source discrimination. To support evaluation, we present AV-Remove-Bench, a comprehensive audio-visual object removal benchmark, along with dedicated objective metrics and an MLLM-based evaluation protocol. Experiments demonstrate that our method achieves state-of-the-art performance on both subjective and objective metrics. Project page: https://yjx-research.github.io/TV-AudioRemover/.

cs.MM↗
arXiv2026

A Deeper Look at Depth: Stable Generation Accounting for Quantifier Reasoning

SMT solvers make automated verification convenient. At the same time, solvers suffer from instability, whereby seemingly inconsequential changes to the input may cause a previously quickly produced proof to fail or time out. This paper addresses a common cause of outcome instability (i.e., unsat/unknown fluctuations) in the context of program verification. We demonstrate that the generation (i.e., depth) accounting used to make quantifier instantiation practical and implemented in multiple state-of-the-art SMT solvers is non-confluent (i.e., prone to divergence), and that this leads to instability. We then address this deficiency and develop a new accounting method that is stable. The new method is justified using a sequence of refinements from an abstract, confluent solver model all the way to our implementation in Z3. Our empirical evaluation demonstrates that our implementation reduces outcome instability by 94% in the unstable core of the Mariposa benchmark without leading to performance regressions.

cs.LO↗
arXiv2026

Undertone: Personalizing Frozen VLM Aesthetic Judges from Few Ratings

Image quality assessment predicts a mean opinion score (MOS), but for image aesthetics the mean hides the individual, so personalized assessment must start from the few images a new user rates. Fitting each person from scratch fails with ten ratings; networks fine-tuned per person carry over poorly to new kinds of images. We present Undertone-P, which learns from other raters a Gaussian prior over per-person regression weights on read-outs of frozen vision-language model (VLM) judges: the probability-weighted rating and the hidden state at the score token. Since people differ from the crowd in ways other raters reveal, a few ratings need only choose among those ways: a new user costs one closed-form solve, and no network is trained. On Ryu and Yanaka's PARA benchmark, the prior alone reaches a Spearman correlation of .640, above the best published 10- and 100-rating results (.581 and .620); 10 and 100 of a person's ratings raise it to .648 and .676. These ratings add most where tastes depart from the crowd: with 100 ratings, +.067 for the raters who agree least with it and +.206 on LAPIS artworks, against +.037 overall. Without labels, the judges' expected scores predict PARA's MOS at .835 (best published model we ran: .694). PARA-trained networks still lead under PARA's original protocol, likely through a stronger end-to-end MOS model.

cs.CV↗
arXiv2026

A diagrammatic presentation for every pivotal pointed fusion category

We provide a generators and relations presentation of pivotal pointed fusion categories, $Vec(G,ω,π)$. Unlike the well-known skeletal model, our presentation is strict and allows multiple isomorphic objects. Our main tool is skein theory, which allows us to apply topological tools to understand the relations of morphisms in the category. This expository paper provides details of skein-theoretic work in the setup that allows multiple isomorphic labels in the generators, which didn't previously exist in the literature.

math.QA↗
arXiv2026

High-dimensional Gaussian Graphical Model Testing for Long-Memory Time Series

Many real-world high-dimensional time series exhibit long-memory, but Gaussian graphical model testing in this regime remains understudied. We develop a direct, data-adaptive test statistic for assessing conditional independence in the graph structure of stationary Gaussian time series. We establish a finite-sample, Berry--Esseen type Gaussian approximation bound for the statistic, which applies to both short-memory and long-memory time series. The testing procedure uses a block bootstrap method, on which we provide a finite-sample validity result including in the ultra-high-dimensional scenario, and can be extended to comparing graphical structures in two-sample tests. We also develop a consistency-empowered correction to the statistic and show that such tests attain asymptotic consistency in both size and power. Our proposed method is applied to real-world fMRI data to understand functional connectivities within brain in different periods.

stat.ME↗
arXiv2026

Peer-Grounded Counterfactual Path Planning for Chronic Health Management

Effective behavioral intervention in chronic disease management requires a sequence of incremental steps, each grounded in what similar individuals have achieved. Multimodal records of daily behavior make such evidence available outside the clinic. Counterfactual explanation, an explainable AI approach, can turn these records into guidance, yet endpoint-only methods return a target state without a route to it. We propose POROS (Peer-Grounded Optimal Routes Over States), a domain-agnostic framework rooted in Bandura's self-efficacy theory and Festinger's social comparison theory. POROS constructs a Behavioral Progression Graph, a directed acyclic graph over observed patient states in which every edge requires both peer-grounded behavioral proximity and strict improvement in the observed health outcome. Every edge is bounded by a feasibility threshold derived from the cohort's day-to-day behavioral changes. Minimum-cost paths through this graph decompose behavioral gaps into incremental, peer-grounded steps. We evaluate POROS on two independent longitudinal cohorts of patients with type 1 diabetes, with a per-patient predictor estimating individual time in range (TIR, blood glucose within 70-180 mg/dL) along each path. Compared with an endpoint-only baseline, POROS returns multi-hop paths to the same target for 14.4% and 19.8% of days below the 70% TIR threshold, reducing the per-step change in carbohydrate intake, insulin dose, and bolus timing by 38-42% on the larger cohort. POROS also supports improvement within the same outcome class, connecting 78.1% and 83.7% of outcome-ordered pairs of well-controlled days. Together, these findings demonstrate how POROS translates multimodal health records into incremental, peer-grounded guidance for chronic disease management through observational path planning.

cs.LG↗
arXiv2026

Can Linguistic Reasoning Vectors Enhance Multimodal Reasoning Ability?

Most Vision-Language Models (VLMs) are built by extending pretrained Large Language Models (LLMs) with visual modules and multimodal alignment. However, this multimodal scaling often degrades the language-side reasoning ability originally encoded in the base LLM. While the base LLM retains usable reasoning after scaling, the aligned VLM itself cannot reliably access this ability. Therefore, recovering the degraded reasoning capability in VLMs would benefit more from seeking help from the base LLM than from the VLM alone. Motivated by this, we propose LIFT (Language-side reasonIng Facilitation and Transfer), a lightweight vector-intervention method that transfers reasoning capability from the base LLM to the VLM without retraining the backbone. LIFT defines Reasoning Vectors as answer-token hidden-state differences between a Reasoner path with an explicit reasoning trace and a Solver path without it, and injects these vectors into language-side activations of the target VLM. LIFT further supports learnable vector adaptation while keeping the VLM backbone frozen. We evaluate LIFT on two VLMs across six reasoning benchmarks, comparing Reasoning Vectors extracted from the base LLM and from the aligned VLM under matched protocols. Results show that LLM-derived vectors consistently outperform VLM-derived vectors, confirming that the base LLM is a more effective source for recovering reasoning. LIFT partially recovers degraded reasoning through lightweight language-side interventions. Further analyses show that Reasoning Vectors influence intermediate reasoning behavior rather than merely altering final answers. The source code will be released soon.

cs.AI↗
arXiv2026

Exact Gaussian Entanglement Dynamics and Initial-State Control in Coupled Parametric Oscillators

We study two bilinearly coupled harmonic oscillators driven by a common time-dependent spring. A fixed normal-mode transformation reduces the pair to two parametric oscillators, each solved exactly by its Lewis-Riesenfeld invariant and Ermakov-Pinney amplitude, including the ladder-operator construction and the Lewis-Riesenfeld phase. For invariant-vacuum inputs the physical two-mode covariance matrix is obtained in closed form, and the logarithmic negativity collapses to $E_{N}=\frac{1}{2} \operatorname{arcosh}(X/2)$, where a single dimensionless invariant $X \geq 2$ measures the relative phase-space deformation of the two normal modes. We give a normalization-explicit account of the Duan--Simon comparison: after local symplectic optimization the Duan test and the positive partial transpose share the entanglement threshold for this pure exchange-symmetric Gaussian family, but the optimized Duan quantity is a witness, not an independent measure, with $D_{\rm opt}/D_{\rm sep}=e^{-E_N}$. We carefully separate a genuinely separable product preparation from the already-entangled ground state of the coupled Hamiltonian, and use only the former for claims of entanglement generation. Under sinusoidal stiffness modulation a separable input shows bounded correlations away from resonance and sustained growth near parametric resonance, and we demonstrate numerically that the initial width and chirp act as two independent, experimentally accessible controls of the entanglement at a chosen target time. An $SU(1,1)$ formulation identifies $2 E_{N}$ with the hyperbolic separation of the two normal-mode squeezing trajectories on the $SU(1,1)/U(1)$ disk and shows that entanglement is governed by both the relative squeezing magnitude and the relative squeezing angle; ; we exhibit regimes in which nearly equal magnitudes still produce strong entanglement through the angle alone.

quant-ph↗
arXiv2026

Muon Sublates the Edge of Stability in LLM Pretraining

Muon is increasingly used for language-model pretraining, yet its large-step dynamics are not captured by the classical edge-of-stability (EoS) picture of gradient descent (GD). In GD, loss neutrality, equal-magnitude update reversal, and marginal stability meet at a single learning-rate-dependent edge. We show that Muon breaks this coupling. For stochastic no-momentum Muon, we derive a coherence-corrected conditional loss-neutral boundary $2ρ_b/η$, while temporal alignment follows a separate geometry. Controlled experiments show that loss balance and temporal alignment respond differently to learning rate and batch size. Across our language model experiments, the 130M Llama-like LLM runs exhibit loss-boundary tracking with weak negative alignment, whereas the studied 1B LLM configuration shows stronger partial cancellation; in both settings, directions remain far from coherent reversal while training continues to improve. These results support a split EoS picture for Muon: a stochastic loss-neutral edge survives, but it is not accompanied by a universal temporal-direction signature. The source code for reproducing the experiments can be found in https://github.com/cyzebra/Muon-Sublates-the-Edge-of-Stability-in-LLM-Pretraining

cs.LG↗
arXiv2026

Multicomponent anyons in one-dimensional optical lattices

We investigate the ground-state and dynamical properties of multicomponent interacting anyons confined in a one-dimensional (1D) optical lattice. Adopting the Anyon-Hubbard model, we explore spin and charge correlations as functions of interaction strength and the anyonic statistical parameter. Our results demonstrate that multicomponent effects combined with fractional exchange statistics substantially reshape both charge and spin correlations. For fractional exchange statistics, the canonical symmetric shell structure with prominent singularities in the spinor fermionic momentum distribution undergoes notable structural reconstruction, exhibiting emergent asymmetry, new spectral peaks, and broadened singular features. Unlike the Tonks-Girardeau bosonic gas, pseudobosons, representing a limiting case of anyons, cease to display a dominant zero-momentum peak. Instead, a quasi-fermionic shell structure emerges with finite-momentum peaks, whose locations are modulated by lattice site occupancy and interaction strength. The structure factor of spin correlations uncovers antiferromagnetic ordering in spinor anyon systems, with correlation magnitudes tunable by anyonic exchange statistics. Furthermore, quench dynamics analysis reveals the statistical phase parameter as an effective tuning knob. It enables the switching of dipole oscillations between underdamped and overdamped relaxation regimes and governs overall cloud expansion dynamics. Our findings pave the way for exploring statistics-driven ground-state and dynamical phase transitions in spinor anyon systems.

cond-mat.quant-gas↗
arXiv2026

Generalized Effective Spin-Chain formalism for multicomponent anyons in one-dimensional optical lattices

We develop a generalized effective spin-chain (GESC) formalism for strongly interacting multicomponent anyons in a one-dimensional (1D) optical lattice. By mapping particle motion onto spinless fermions and spin states onto an ordered chain, this framework provides a spin-charge-separated perspective on the physical effects of fractional exchange statistics. In the strong-interaction regime, the leading-order charge Hamiltonian becomes independent of the statistical phase; instead, virtual tunneling through doubly occupied states directly imprints this phase on the spin-exchange coefficients. The GESC formalism captures ground-state properties of the full Anyon-Hubbard model reported in S.~Basak, X.-W.~Guan, and H.~Pu, unpublished manuscript (2026), and reveals that their statistical dependence is predominantly encoded in the explicit anyonic structure of the observables rather than the underlying spin ground state. This formalism uncovers that, out of equilibrium, successive spin exchanges accumulate direction-dependent phases; the resulting interference drives crossover from dispersive to localized impurity transport and generates inversion-asymmetric propagation at intermediate statistics. Suppressed expansion persists for identical and distinguishable impurities, with differences in propagation governed by the interplay between impurity identity and interaction anisotropy. Ultimately, GESC offers a versatile, computationally efficient theoretical framework that connects macroscopic dynamics to microscopic virtual exchange processes, conferring a unique spin-charge-separated vantage for resolving how fractional exchange statistics survives strong interactions and manifests distinctly across static and dynamical regimes.

cond-mat.quant-gas↗
arXiv2026

From Learner Behavior to Reusable Skills for Effective and Efficient Learner Simulation

Learner simulation aims to reproduce how a particular learner behaves on new tasks. Although Large Language Models (LLMs) can generate increasingly fine-grained learning behaviors, existing approaches often need to repeatedly process a growing interaction history to reconstruct the learner. This introduces additional context and inference costs and makes the acquired learner-specific simulation capability difficult to reuse across different LLMs. We therefore propose Learner2Skill, which externalizes the simulation capability acquired from historical interactions into a persistent and reusable Simulation Skill. The Skill captures the learner's current learning state and recurring response patterns, evolves as new real interactions arrive, and can be adapted to a new LLM through lightweight executor calibration without reconstructing the learner from scratch. Experiments show that Learner2Skill more faithfully reproduces fine-grained learner behavior while reducing overall token cost, and that the same constructed Skills can be effectively reused across different LLM executors.

cs.AI↗
arXiv2026

Leakage suppression for high-fidelity exchange gates and quantum simulation in superconducting circuits

Parametric frequency modulation makes superconducting interactions programmable for quantum gates and quantum simulation. Leakage into higher transmon levels and coupler modes degrades gate fidelity and takes simulated dynamics outside the intended state space. Simple pulse shaping reduces off-resonant excitation, while strong coupling and short pulses demand simultaneous control of multiple leakage pathways. Controlling these pathways across individual exchange operations and simultaneous couplings is essential for fast gates and faithful programmable dynamics. We introduce parametric derivative removal by adiabatic gate (PDRAG), combining derivative shaping and finite-pulse calibration for qubit and coupler modulation. At an interqubit coupling of $g/2π=100$ MHz, simulations demonstrate 13-ns exchange operations, approaching the timescale of fast single-qubit gates. Combined with calibrated phase accumulation, these pulses realize a two-parameter fSim gate family with infidelity below $1.8\times10^{-7}$. For quantum simulation, PDRAG suppresses leakage and improves fidelity in continuous and digital Floquet simulations of Su--Schrieffer--Heeger chains. Floquet analysis identifies finite-pulse return interference as the calibration mechanism; realistic-circuit transfer preserves suppression. PDRAG establishes a unified framework spanning quantum gates and quantum simulation.

quant-ph↗
arXiv2026

Hierarchical Fourier Phase Projection for Local Electronic Observables

In this letter, we develop hierarchical Fourier phase projection (HPP) for the calculation of local electronic observables. The method couples the spatial decay of the density matrix with a hierarchy of Fourier probes, improving accuracy through refinement, and making use of all previously evaluated responses. The variation in the calculated observables during the refinement process carries information on the residual error. We use a locality-based model to estimate the error from these changes with no extra probing calculations. In particular, we demonstrate the method for electron densities and nonlocal pseudopotential forces for fixed Kohn-Sham Hamiltonians of semiconductors, metals and thermally perturbed silica. The convergence is significantly accelerated by the spatial decay of the density matrix, especially if the density matrix is short-ranged. The number of probes necessary to achieve a specific local accuracy is only weakly dependent on the system size within the range of consideration. HPP provides a route toward linear-scaling electronic-structure calculations in which the computational effort for local observables can be matched to the required accuracy, offering an error-aware strategy for large-scale first-principles simulations.

cond-mat.mtrl-sci↗
arXiv2026

Optimal Quantum Junta Testing

We determine the quantum query complexity of testing $k$-juntas for Boolean functions, unitaries, and quantum channels. Let $n$ denote the number of input bits or qubits and $\varepsilon$ the distance parameter. For all sufficiently large $k$, $n \ge 2k$, and $2^{-k/16} \le \varepsilon \le 1/16$, we establish the following tight bounds. $\bullet$ Junta functions: The query complexity is $Θ(\sqrt{k/\varepsilon})$, closing the gap left by Ambainis, Belovs, Regev, and de Wolf (SODA 2016) and Bun, Kothari, and Thaler (STOC 2018, ToC 2020). $\bullet$ Junta unitaries: The query complexity is $Θ(\sqrt{k}/\varepsilon)$, closing the gap left by Chen, Nadimpalli, and Yuen (SODA 2023). With forward-only access, the query complexity is $Θ(k/(\varepsilon^2 \log k))$. At constant $\varepsilon$, these bounds establish a separation between $Θ(\sqrt{k})$ queries with forward and inverse access and $Θ(k/\log k)$ queries with forward-only access. $\bullet$ Junta channels: The query complexity is $Θ(k/(\varepsilon^2 \log k))$, closing the gap left by Bao and Yao (COLT 2023, TPAMI 2025). The upper bounds for channels and forward-only unitaries are achieved by nonadaptive, ancilla-free testers using product inputs and single-qubit measurements. Our upper bounds follow from a reduction to \emph{union size testing}, a generalization of support size testing to distributions over subsets of a ground set. We develop optimal testers for this problem both from independent samples and from a reversible sampler. Our matching lower bounds use moment-matching constructions and a phase-masked unitary ensemble. For this ensemble, the average acceptance probability of every forward-only quantum algorithm admits an exact representation in terms of independent classical samples.

quant-ph↗
arXiv2026

Diagnosing and Improving Probabilistic Reasoning in Large Language Models

Large language models (LLMs) are increasingly proposed as decision assistants who must reason probabilistically from available evidence under explicit decision costs. We propose a decision-theoretic framework that decomposes LLMs' decision loss into two components: forming accurate beliefs from provided evidence and translating those beliefs into actions that optimize a provided utility function. Using a synthetic benchmark with known ground truth, we apply the decomposition to characterize probabilistic reasoning in frontier and open-sourced models. We further evaluate whether RL interventions targeting beliefs, decisions, or both improve these components across three domains, whether improvements transfer across components and elicitation formats, and whether decision performance can improve without improvement in belief formation. We find that targeting one component of probabilistic reasoning redistributes decision loss, improving the target without necessarily transferring to others, and that jointly targeting belief formation and decision-making improves both but hinges on matched formats between training and evaluation.

cs.AI↗
arXiv2026

Structure-aware Reinforcement Learning for Protein Directed Evolution

Protein optimization remains a longstanding goal in life sciences. Existing machine learning-assisted directed evolution (MLDE) methods primarily rely on sequence-only features, overlooking the critical spatial constraints and co-evolutionary interactions encoded in protein structures. However, directly integrating structural information remains challenging due to the scarcity of reliable mutant structures. To address these issues, we propose StructEvo, a novel structure-aware reinforcement learning framework for protein directed evolution. StructEvo employs a delta-structure fusion encoder to approximate mutant structure features via feature differences, enabling dynamic incorporation of spatial knowledge. The vast mutation space is then decomposed into manageable subspaces through a structure-aligned hierarchical action network, while a geometric constraint further stabilizes delta feature learning. Our approach outperforms prior state-of-the-art methods by 9.2% and 16.3% on two challenging optimization benchmarks, and further identifies an experimentally validated epistasis pattern in GFP, highlighting the importance of structural guidance for effective protein directed evolution.

cs.LG↗