arXiv subjects

Qi Liu

Publications and source records attributed to Qi Liu.

At least 55 records · Page 3Linked to original sources

arXiv2026

DAAF: From Failure Localization to Editable System Assets in LLM Agents

Deployed LLM agents increasingly rely on persistent, versioned system assets such as routing rules, knowledge segments, prompt instructions, and reusable skills. Failure-localization methods can identify where an error manifests in an agent or execution trace, but repair requires a different decision: which editable system asset should be changed, and is that change expected to improve the task outcome? We study this gap through component-attribute failure attribution, where diagnosis targets versioned, addressable items rather than execution locations. We propose the Detection-Aware Attribution Framework (DAAF), which learns the effects of valid attribute replacements and amortizes this intervention evidence into deployment-time diagnosis. DAAF combines sparse and noisy failure signals to decide whether intervention is warranted, learns component-type-conditioned replacement effects from controlled replays evaluated by executable task outcomes, and shares supervision across requests with compatible intervention responses. At diagnosis time, DAAF uses only the observed execution, registered candidates, and available failure signals; it requires neither counterfactual replay nor task reward and returns no_change, a repair target, or an unresolved decision when evidence is insufficient. On held-out tau^2-bench Telecom tasks, DAAF achieves 80.72% attribute Hit@1, recovers 62.65% of failed executions while limiting clean-task regression to 3.23%, and reaches 71.93% overall task success. These results show that intervention-grounded attribute attribution can connect failure localization to executable system repair.

cs.AI↗

arXiv2026

James-type constants for Birkhoff--James orthogonality and approximate isosceles

We introduce two James-type constants associated with approximate isosceles and approximate Birkhoff--James orthogonality in real normed spaces. The isosceles family coincides with the classical James constant of Gao and Lau [J. Austral. Math. Soc. Ser. A 48 (1990), 101--112], while the Birkhoff family extends the orthogonal James constant of Baronti and Papini [Constr. Math. Anal. 5 (2022), no.~1, 37--45]. We show that approximate orthogonality constraints can, in certain settings, recover classical geometric constants exactly. In particular, the approximate isosceles family collapses to the classical James constant, while the approximate Birkhoff--James family forms a genuine parameter-dependent interpolation between the orthogonal and classical James constants.We also compare the Birkhoff profile with several classical geometric constants and study how it changes with the parameter.Several examples are also given to illustrate the relation between geometric constants and approximate orthogonality.

math.FA↗

arXiv2026

Further Results on the Isometric Embeddability of $S_q^m$ into $S_p^n$

We study Schatten embeddings through circular means of trace powers. In finite dimensions, a decomposition by singular-value vanishing orders shows that every term of order at most two has a nonnegative coefficient. This yields the classification $\ell_q^2(\C)\hookrightarrow\Sp_p^n$ if and only if $q=p$ or $q=2$, for $n\ge2$ and $p<\infty$. In particular, it gives negative answers to parts (ii), (iii), and (iv) of Problem 3.1 in Chattopadhyay--Pradhan--Skripka, arXiv:2603.07359v2. A regularized curvature estimate also excludes $\ell_q^2$ from infinite-dimensional $\Sp_p$ for $0<p\le2<q\le\infty$ and gives finite-rank distortion bounds. The other parts of that problem are not claimed to be solved.Our results extend previous studies on Schatten embeddings, particularly those in \cite{CHPPR, CHPR, CPS}, by developing a complex-curvature framework based on complex convexity theories \cite{BR,DGT}, which resolves several remaining quasi-Banach cases and yields new geometric obstructions for isometric embeddings.

math.FA↗

arXiv2026

SPBench: A Multi-Task Evaluation Benchmark for Exploration Seismic Processing

Exploration seismic processing underpins subsurface imaging and resource exploration, but learning-based methods remain difficult to compare across studies. Our survey of 368 papers finds widespread reliance on private or difficult-to-reproduce datasets, with only 25 providing public code. This obscures whether reported gains arise from model design or experimental settings. We introduce the Seismic Processing Benchmark (SPBench), covering six tasks: random noise attenuation, trace interpolation, ground-roll suppression, multiple suppression, deblending, and first-arrival picking. We reproduce 24 supervised methods on 10 datasets under 43 standardized settings and release datasets, implementations, configurations, evaluation scripts, and results. To complement global scores and per-trace pick errors, we introduce signal-component-resolved evaluation (SCoRE) for reconstruction and a reference-free ridge-curvature score (RC_norm) for first-arrival picking. Our analyses show that synthetic rankings do not reliably predict field rankings, with task-dependent agreement when models train within each setting. As degradation strengthens, rankings reorder more under coherent ground roll than under random-like interference. The ridge score agrees with MAE-based model rankings in the evaluated settings, with a mean Kendall correlation of 0.881 across three field surveys, while SCoRE reveals frequency- and energy-dependent differences hidden by global scores. SPBench provides a reproducible basis for comparing learning-based seismic processing methods and characterizes how their relative advantages vary across data settings, degradation strengths, and evaluation criteria.

physics.geo-ph↗

arXiv2026

Exploring the short-range correlations in $^{16}$O+$^{16}$O collisions at the LHC

Short-range correlations (SRCs) dominate the nuclear force at short distances, including the repulsive core and intermediate-range attraction, and are one of the most fascinating aspects of the nucleon-nucleon (NN) interaction. In this work, we investigate the effects of SRCs on the final-state observables in $^{16}$O+$^{16}$O collisions at $\sqrt{s_{NN}}=5.36$~TeV, using the iEBE-VISHNU hybrid model with {T\raisebox{-0.5ex}{R}ENTo} initial conditions. We embed the nucleon configurations of $^{16}$O generated from variational Monte Carlo (VMC) simulations with realistic SRCs in the initial stage, along with uncorrelated VMC samples and Woods--Saxon distributions implementing a hard repulsive core or short-range attraction as comparison runs. We find that SRCs reduce both $v_2\{2\}$ and $v_2\{4\}$ in the most central collisions, with the decrease of $v_2\{4\}$ being more pronounced due to the event-by-event flow fluctuations. Meanwhile, SRCs noticeably enhance the correlation between the elliptic flow and the mean transverse momentum, $ρ_2(v_2^2,[p_T])$. These effects are mainly attributed to the strong repulsive core of the SRCs, which suppresses the probability of finding nucleon pairs at short relative distances and renders the initial geometry more uniform. This interpretation is supported by the calculations based on Woods--Saxon distributions with a hard repulsive core, which reproduce similar results, while the contribution from a pure intermediate-range attraction is negligible. Our results demonstrate that relativistic nuclear collisions provide a complementary probe of the short-range structure of the nuclear force, beyond the traditional nuclear experiments at low energies.

nucl-th↗

arXiv2026

State-Grounded Conditioning: Wrapping User-Facing LLM Agents Where Direction Depends on Live State

We introduce State-Grounded Conditioning (SGC), a design principle for user-facing LLM agents that must condition on live user state (game state, session history, live inventory), and a distinct failure class we call direction drift: task-complete responses whose chosen direction misaligns with the current state. SGC externalises state-dependent control into rule kernels over structured inputs and three primary state slices, via Perception, Grounding, and Interaction wrappers with explicit conditioning dependencies. We evaluate SGC on a 200-session anonymised benchmark ($\approx$1,000 assistant model turns) from an in-game conversational coaching agent that guides players through consecutive competitive matches, reporting mean first-token latency and five human-annotated dialogue-quality metrics that jointly cover factual grounding and coach-like guidance progression. The Perception wrapper holds mean first-token latency at 1.5s (vs. 6.1s for PE-Agent inside a production tool-use harness); enabling all three wrappers lifts turn-level grounded accuracy from 61.1%/69.8% (Prompting / PE-Agent) to 96.7% and session-level grounded accuracy from 20.0%/26.5% to 83.5%; session-level grounding-failure incidents drop by $\approx$78% relative to the strongest baseline. A cumulative ablation shows complementary incremental gains as the wrappers are added. These results inform approximate state-slice orthogonality, without establishing independent per-wrapper effects.

cs.AI↗

arXiv2026

MaskVLA: Visual Masking Against Trajectory Overfitting of Vision-Language-Action Model

Vision-Language-Action (VLA) models integrate vision-language understanding with executable robot actions, enabling end-to-end learning for robot control. However, our empirical analysis reveals that existing models exhibit severe trajectory overfitting when finetuned on limited datasets. To guide the model in effectively utilizing wrist camera information, we propose MaskVLA, a masking-based fine-tuning strategy. By randomly masking a small portion of the main camera's visual information, the model is guided to autonomously learn more fine-grained, task-relevant, and effective visual features. This process leads to the emergence of robust policies, thereby enhancing the model's capability to tackle complex manipulation tasks and improving its generalization performance. Our method has been comprehensively evaluated on RoboTwin 2.0, achieving an average success rate improvement of 23.2% and 16.8% compared to $π_0$ and OpenVLA-OFT, respectively. Furthermore, experiments on real-world ALOHA robots also demonstrate the effectiveness of our approach.

cs.CV↗

arXiv2026

Detecting Pretraining Data in Large Language Models from a Free-Energy Perspective

Detecting pretraining data in large language models is challenging because high likelihood can reflect either training exposure or strong generalization. In the joint space of prediction loss and predictive entropy, a likelihood-only detector uses a horizontal boundary and can mistake predictable non-members for members. Motivated by this, we introduce an inclined boundary that evaluates prediction loss relative to predictive entropy. Our analysis shows that entropy correction can preserve the expected membership signal while reducing its variance, thereby improving standardized member--non-member separation. We further extend the mean--variance analysis to the more general setting with a nonzero mean entropy gap. Interestingly, this entropy-adjusted score admits a Helmholtz free-energy interpretation, leading to Energy Transfer Detection (ETD), which views pretraining data detection from a macroscopic residual free-energy transfer perspective. Extensive experiments show that ETD achieves the best average detection performance, improving average AUROC by up to 3.5\% and TPR@5\%FPR by up to 5.1\%, while remaining robust across diverse settings.

cs.LG↗

arXiv2026

CodeMidas: Scaling Agentic Coding RL Environments from Code Itself

Training capable coding agents via reinforcement learning (RL) requires diverse tasks with reliable verifiers. Open-source codebases offer a rich source of such tasks, while existing methods typically rely on development artifacts such as issues and commits, limiting the range of tasks that can be extracted. To better scale RL environments, we present CodeMidas, an agentic pipeline that turns implemented functionality in existing codebases into executable RL environments using source code as its only task-specific input. CodeMidas allocates agentic compute to every stage of environment construction: agents explore implemented functionality to formulate behavioral specifications, construct tests grounded in execution of the original code, and validate and filter candidate tasks through execution checks and repeated solution rollouts. The resulting dataset has 5,545 training tasks from 3,185 open-source codebases spanning 23 programming languages and 15 technical domains. Training MiMo-V2.5 on these tasks with GRPO improves performance on all five diverse benchmarks, covering issue repair (DeepSWE + 11.7%), whole-program construction (ProgramBench +17%), and terminal work (Terminal-Bench v2.1 +8.5%). Ablations show that increasing the number of high-quality training tasks improves performance. Trajectory analysis shows the RL-trained agent demonstrates better behaviors like increasing codebase exploration and more diverse self-verification. These results establish source code as a scalable foundation for constructing RL environments that improve coding agents across diverse software tasks.

cs.AI↗

arXiv2026

$λ$, $ρ$, and $σ$ Regge trajectories for the quadruply heavy pentaquark $bb\bar{u}cc$ in the diquark-triquark picture

Systematic investigations of four series of Regge trajectories for quadruply heavy pentaquarks are still lacking. Using the diquark and triquark Regge trajectory relations, we propose the Regge trajectory relations for the quadruply heavy pentaquark ${bb\bar{u}cc}$: $M=2m_{b}+2m_{c}+m_{u}+5C/2 +β_{x_λ}(x_λ+c_{0x_λ})^{2/3} +β_{x_{ρ_1}}(x_{ρ_1}+c_{0x_{ρ_1}})^{2/3}+β_{x_{ρ_2}}\sqrt{x_{ρ_2}+c_{0x_{ρ_2}}} +β_{x_σ}(x_σ+c_{0x_σ})^{2/3}$. Four series of Regge trajectories, namely the $λ$-, $ρ_1$-, $ρ_2$-, and $σ$-trajectories, are investigated. We demonstrate that accounting for the internal structure and substructure of pentaquarks is indispensable for constructing the $ρ_1$-, $ρ_2$-, and $σ$-trajectories; without such structural considerations, functional form and trajectory parameters can only be obtained via pure fitting against theoretical or experimental data. We further prove that the Regge trajectories of diquark 1, triquark, and diquark 2 (embedded within the triquark) do not correspond one-to-one to the $ρ_1$-, $ρ_2$-, and $σ$-trajectories. Nevertheless, these trajectories govern the behaviors of the respective $ρ_1$-, $ρ_2$-, and $σ$-trajectories. For both configurations $(bb)(\bar{u}(cc))$ and $(cc)(\bar{u}(bb))$, the $λ$-, $ρ_1$-, and $σ$-trajectories exhibit behavior of $M{\sim}x^{2/3}$ ($x=n_{r_1},n_{r_3},l_1,l_3,N_{r},L$), whereas the $ρ_2$-trajectories exhibit behavior of $M{\sim}\sqrt{x}$ ($x=n_{r_2},\,l_2$). The functional behavior of Regge trajectories for diquarks and triquark offers guidance for fitting the pentaquark Regge trajectories. Additionally, we provide rough estimates for spin-averaged masses of the $λ$-, $ρ_1$-, $ρ_2$-, and $σ$-excited states.

hep-ph↗

arXiv2026

Galois Hulls of Generalized Roth-Lempel Codes and Their Applications to EAQECCs

The dimension of a Galois hull is an important parameter in the construction of entanglement-assisted quantum error-correcting codes. In this paper, we study generalized Roth-Lempel (GRL) codes with prescribed Galois hull dimensions over finite fields of arbitrary characteristic. We develop a common construction method based on normalized Lagrange coefficients and suitable choices of column multipliers, and obtain six explicit constructions from multiplicative cosets, trace fibers, additive-subspace cosets, and mixed additive--multiplicative fibers. For extension sizes $s=2$ and $s=3$, we construct MDS and AMDS GRL codes with Galois hulls of specific dimensions. The resulting codes provide EAQECCs with explicit dimension, entanglement consumption, and relatively large minimum distance. Taking zero-dimensional hulls also gives Hermitian LCD GRL codes and the corresponding maximally entangled EAQECCs.

cs.IT↗

arXiv2026

Robust Optimization Under Objective Functional Uncertainty

This paper proposes a new robust optimization (RO) formulation namely the RO under objective functional uncertainty (ObRO). The ObRO adopts a min-max structure where the inner problem finds the worst-case objective function in a continuous function space to maximize the cost, and the outer problem finds the optimal decision in a Euclidean space to minimize the cost. A solution algorithm is designed to alternately generate the worst-case objective function at the current decision and the optimal decision for the current collection of objective functions. Using operator theory, we prove that this algorithm converges to the defined ``semi-global'' saddle point of the ObRO problem. In addition, we propose a numerical solver based on the piece-wise linearization (PWL) approximation of objective functions. The PWL approximate problem is proved to be numerically consistent with the original ObRO problem. The obtained results are applied to the degradation-aware battery charging scheduling in distribution networks.

math.OC↗

arXiv2026

The Operator Daugavet Property in Semifinite Noncommutative $L_1$-Spaces

Let $\mathcal M$ be a diffuse semifinite von Neumann algebra endowed with a faithful normal semifinite trace $τ$. We prove that, for every nonzero Banach space $Y$, the projective tensor product $L_1(\mathcal M,τ)\widehat{\otimes}_πY$ has the operator Daugavet property. Moreover, the witnessing operators may always be chosen contractive. This extends the operator Daugavet phenomenon from atomless vector-valued $L_1$-spaces to the semifinite noncommutative setting and yields further Daugavet-type consequences for projective symmetric tensor products, all without approximation assumptions.

math.OA↗

arXiv2026

RoleBreak: Benchmarking Long-Horizon Role-Playing Robustness in Spoken Dialogue

Speech-to-speech dialogue models increasingly support persona control, yet existing spoken role-playing benchmarks remain largely character-centric and short-horizon. This leaves open whether spoken dialogue models can sustain diverse roles over extended interactions, especially beyond predefined fictional characters. We introduce RoleBreak, an open benchmark for long-horizon role-playing robustness in spoken dialogue. RoleBreak contains 310 character-based and user-centered roles, 6,688 human-verified dialogue turns, and 11,743 fine-grained evaluation criteria, with 1,856 turns carrying expressive emotion targets for evaluating vocal emotion. Its scenarios are designed to stress role consistency, interaction quality, safety, and affect over extended conversations. We evaluate nine configurations spanning full-duplex, omni-modal, and cascaded ASR--LLM--TTS paradigms. We find four key patterns. First, current systems are substantially stronger at semantic role adherence than at vocal emotion. Second, semantic robustness remains brittle over long interactions: even the strongest evaluated system encounters its first persona and safety failures after only 10.4 and 11.6 turns on average. Third, scaling the LLM substantially improves semantic robustness and delays failure, but yields little improvement in vocal emotion. Finally, user vocal emotion affects role-playing behavior even when linguistic content is fixed. These findings highlight persistent gaps in both long-horizon robustness and vocal expressiveness in spoken role-playing systems.

cs.CL↗

arXiv2026

CREPES-X: Hierarchical Bearing-Distance-Inertial Direct Cooperative Relative Pose Estimation System

Relative localization is essential for cooperation in autonomous multi-robot systems. Existing approaches either rely on shared environmental features or inertial assumptions, or they degrade under pairwise non-line-of-sight conditions and outliers in complex environments. Robustly and efficiently fusing inter-robot bearings, distances, and inertial measurements for tens of robots remains challenging. We present CREPES-X (Cooperative RElative Pose Estimation System with multiple eXtended features), a hierarchical relative localization framework that enhances speed, accuracy, and robustness under challenging conditions, without requiring any global information. The hardware packs infrared (IR) LEDs, an IR camera, an ultra-wideband module, and an IMU into a cube no larger than $6\,\text{cm}$ on each side. On this hardware, a two-stage hierarchical estimator meets different latency, accuracy, and robustness requirements. The single-frame estimator returns instantaneous relative poses from a closed-form solution with bearing outlier rejection. The multi-frame estimator then refines these poses with IMU pre-integration under robocentric relative kinematics, using loosely- and tightly-coupled optimization. Extensive simulations and real-world experiments validate the effectiveness of CREPES-X, demonstrating robustness of up to $90\%$ bearing outliers, resilience in challenging conditions, and RMSE of $7.0\,\text{cm}$ and $2.2^\circ$ in real-world datasets.

cs.RO↗

arXiv2026

SimSkill: A Self-Evolving LLM Agent for Skill and Knowledge Accumulation in Traffic Simulation

Cumulative culture enables humans to preserve, reuse, and extend knowledge and skills across experiences and generations. Inspired by this principle, we introduce \textit{SimSkill}, a self-evolving agent built around the Simulation of Urban MObility (SUMO) traffic simulator. SimSkill continually identifies capability gaps, generates and solves environment-grounded tasks, verifies solutions through an action--critic loop, and consolidates experience into episodic, procedural, and semantic memory. Through autonomous exploration, it builds a library of reusable skills and knowledge spanning major stages of the traffic-simulation workflow. We evaluate SimSkill on two held-out benchmarks across three backbone LLMs, with each result independently verified. It improves verified success by up to 25 percentage points, and ablations show complementary contributions from procedural and semantic memory. Its benefits remain backbone- and budget-dependent, as memory does not improve every model or uniformly reduce inference cost. More broadly, SimSkill illustrates a natural-language-centered design paradigm for LLM-based agent systems. Its high-level control logic, operating principles, and accumulated knowledge are expressed in natural language, while an LLM integrates them with executable tools and code to realize precise and reproducible execution. All code and experimental data are publicly available at https://github.com/qiliuchn/SimSkill-V1.

cs.AI↗

arXiv2026

RobotEQ: Towards Social Proactive Intelligence in Embodied Agents

Embodied agents represent a prominent research focus across both academia and industry. The prevailing paradigm has gradually shifted from reactive assistance, which requires explicit user queries, to proactive assistance, capable of recognizing human needs and offering support without explicit instructions. Nevertheless, existing studies on proactive assistance remain confined to narrow scenarios and primarily emphasize task completeness, whereas real-world agents must operate in open-domain environments while adhering to social expectations. To bridge this gap, we extend the concept of proactive assistance to Social Proactive Intelligence (SPI), characterized by diverse scenarios, social understanding, and robot-centric behaviors. We further introduce RobotEQ, a dedicated benchmark for SPI. We first define two tasks: behavior judgment, emphasizing global contextual understanding, and spatial grounding, focusing on local perceptual details. Building on these tasks, we construct RobotEQ-Data, a dataset comprising 1,812 synthetic and 223 real-world scenarios, 7 social facets, 22K+ human annotations, 3K+ behavior judgment questions, and 3K+ spatial grounding questions. Furthermore, we establish RobotEQ-Bench to evaluate the performance of representative models. Experimental results demonstrate that current models fall short of achieving reliable SPI. Further analysis reveals that incorporating external social knowledge yields consistent improvements. This work aims to advance the development of socially desirable embodied agents in open-domain environments.

cs.RO↗

arXiv2026

OR-Agent: Bridging Evolutionary Search and Structured Research for Automated Heuristic Design

Automating heuristic design in complex, experiment-driven domains requires more than iterative mutation of solution algorithms. Current LLM-based evolutionary methods often rely on stochastic mutation loops that lack long-term strategic planning and a formal mechanism to learn from historical failures, leading to inefficient exploration and redundant trials. To address this, we present OR-Agent, a multi-agent research framework designed for automated heuristic design in optimization problems with rich experimental environments. OR-Agent organizes heuristic search as tree-based workflow that explicitly models branching hypothesis generation and systematic backtracking. Furthermore, to address the lack of adaptive learning in current agents, we introduce a hierarchical, optimization-inspired reflection system in which short-term reflections act as verbal gradients, long-term reflections as verbal momentum, and memory compression as semantic weight decay - collectively forming a principled mechanism for governing research dynamics. Extensive experiments on classical combinatorial optimization problems (e.g., TSP, CVRP, bin packing) and simulation-based cooperative driving scenarios demonstrate that OR-Agent outperforms strong evolutionary search baselines. All code and experimental data are publicly available at https://github.com/qiliuchn/OR-Agent.

cs.AI↗