arXiv subjects

Jie Liu

Publications and source records attributed to Jie Liu.

At least 37 records · Page 2Linked to original sources

arXiv2026

KV-Skill: Forging Expertise in the Model's Native Language

Task knowledge is commonly stored either as text in the prompt or as an update to model weights. Text is modular but must be interpreted on every use, while weight adaptation makes the resulting capability difficult to load, remove, or share independently. We introduce KV-Skill, a design space of external factorized operators that a frozen language model reads through a lightweight interface. KV-Skill supports two complementary paths. Registration converts an authored text skill into a text-derived operator and trains a shared per-backbone interface. Reward learning develops a compact latent operator directly from task outcomes, with or without an authored skill. Neither path adds positions to the prompt. Across ten benchmarks and four backbones from three model families, converting text to a KV-Skill consistently makes the same procedural knowledge more effective on mathematical reasoning and retrieval tasks. On Qwen3.5-4B LiveMath, registration reaches 77.2 accuracy, compared with 52.0 for the same skill as text (SkillOpt) and 64.5 for SoftSkill. Under matched reward training and parameter budgets, KV-Skill gives the best result in seven of eight matched settings against soft prefixes, prefix tuning, and LoRA. A post-hoc rank analysis further shows that text-derived operators retain nearly all of their benefit with one task-aligned direction per injection layer, while matched random directions fail. Finally, a single shared interface serves eleven diverse skills at once with no loss in average accuracy. These results show that task knowledge can be acquired from text or experience, compressed into an external operator, and deployed separately from the backbone. Code is available at: https://github.com/shawnzhg/KV-Skill

cs.LG↗

arXiv2026

Nonequilibrium framework for first-order phase transitions

The first-order phase transition is central to electroweak baryogenesis and gravitational wave generation, yet thermal equilibrium effective potential analyses cannot describe the real-time non-equilibrium dynamics of the phase transition process. We use the Schwinger-Keldysh closed-time-path formalism of real-time finite-temperature field theory to study these effects. For the $ϕ^6$ model, we derive the effective action and the corresponding Langevin equation. We further extend the formalism to the two scalar fields case, obtaining the coupled Langevin equations. These results provide a theoretical framework for the bubble nucleation simulation of the non-equilibrium phase transition process, laying the foundation for reliable predictions of baryogenesis and gravitational wave signals.

hep-ph↗

arXiv2026

UniDataAgent: An Ontology-Grounded Agent for Enterprise Question-to-Report Automation

Enterprise data agents must preserve organization specific semantics, not just translate questions into queries. We present ChinaUnicom DataAgent (UniDataAgent), an ontology grounded system for reusable question-to-report analysis that separates semantic acquisition from online execution. Ontology Acquisition and Validation stage (OAV) builds versioned enterprise ontologies from metadata, business knowledge, and supporting materials through expert authored business skills, constrained generation, question verification, and selected expert review. Question-to-Report Execution (QRE) stage retrieves semantic contracts for each question, coordinates skills and data tools, validates results, and produces evidence linked reports. Across 27 enterprise tables and roughly thousands of metric types, ontology construction took a few hours instead of about one week manually. It took just a few minutes to generate the reports, instead of several working days. Ontology grounding achieved 95.0\% strict accuracy on real business questions, versus 72.5\% for document RAG, especially on structured and compositional tasks. The system has already been deployed to generate cost savings and has the potential to be replicated in other enterprises.

cs.CL↗

arXiv2026

Asymptotic Safety in Gauge Theories beyond Four Dimensions: Perturbative Tests and Fixed-Point Mergers

Non-Abelian gauge theories above four dimensions may admit an interacting ultraviolet fixed point through the competition between canonical scaling and gauge-field antiscreening. Using the four-loop $\overline{\mathrm{MS}}$ beta function continued to $D=4+2ε$, we determine the largest dimension $D_{\mathrm{pt}}=4+2ε_{\mathrm{pt}}$ below which successive loop corrections to the fixed point remain hierarchically ordered under a specified ratio criterion, and map $D_{\mathrm{pt}}$ over color and flavor numbers for fermions in the fundamental representation of $SU(N)$. At $D=5$, we construct rational anomalous dimensions with a fixed, pole-regularized denominator inspired by the functional renormalization group (fRG). Matching to the $\overline{\mathrm{MS}}$ series through one, two, and three loops produces progressively smaller shifts in the critical flavor number and coupling at the ultraviolet--infrared merger (the point where the infrared and ultraviolet fixed points coincide), yielding $N_f^{\mathrm{cr}}\simeq 2.09 \, N$ at large $N$ in the three-loop construction. This low-order stabilization, together with qualitative evidence from fRG flows including higher gauge operators, suggests a potential merger scenario that bounds the candidate asymptotically safe region in flavor number. The resulting color--flavor map provides guidance for five-dimensional model building by displaying both the baseline perturbative-control boundary and the candidate three-loop merger boundary. Four-loop matching, however, retains an interacting ultraviolet fixed point beyond the three-loop merger boundary, with no merger found for integer $2\le N\le15$ and $0\le N_f/N\le11/2$. The sensitivity of the fixed-point structure to higher-order terms leaves both scenarios open, highlighting fixed-point annihilation as a potential constraint on five-dimensional asymptotic safety.

hep-th↗

arXiv2026

Accurate Molecular Property Regression Using Simple Fusion of Complementary Classical and Graph Predictors

Accurate prediction of continuous molecular properties supports chemical discovery and design. Many recent approaches combine multiple molecular representations within increasingly complex neural architectures, aiming to achieve higher accuracy. However, classical machine-learning models remain competitive when trained on chemically meaningful molecular representations. We therefore constructed a chemistry-guided classical branch from Morgan fingerprints, RDKit molecular descriptors, and conformer-derived geometric features selected to provide complementary views of molecular structure. We combined four tree learners trained on these representations with a CoMPT graph predictor and integrated their out-of-fold predictions using Ridge regression. Across ESOL, FreeSolv, and Lipophilicity datasets, the fused model achieved lower mean root-mean-square error (RMSE) than Chemprop and competitive graph and multimodal methods, including CoMPT, MoleSG, KFLM2, and MCMPP. After retraining on the separately curated AqSolDB dataset, the same approach, without redesign or retuning, reduced mean absolute error (MAE) relative to the classical ensemble and achieved lower mean MAE than Chemprop. These results show that accurate and transferable molecular property regression does not necessarily require a complex joint multimodal architecture: classical learning remains competitive when chemical insight guides the choice of molecular representations, and a graph model can add complementary information through simple prediction-level fusion.

physics.chem-ph↗

arXiv2026

Programmatic Search Agents: Extending Agentic Search Beyond Query Reformulation

Search agents adapt their queries, yet fixed search interfaces leave candidate processing and evidence presentation outside the agent's direct control. Our trajectory analysis shows that supporting passages can be retrieved yet never delivered to the agent; a same-page oracle intervention shows that changing the returned evidence can reduce subsequent search. We introduce Programmatic Search Agent (PSA), which makes a local executable computation over candidates the unit of a search action. PSA unifies a persistent candidate workspace, flexible primitive composition, and selective evidence presentation. It incrementally generates program cells that reuse candidates, execute dependent operations, and select what the agent inspects next. The runtime resolves specified data dependencies within each cell, while the agent adapts its search strategy across cells as new evidence arrives. We compare PSA with the Query-based Agent and Tool-based Agent on InfoSeek-Eval and BrowseComp-Plus using five policy backbones without task-specific training. All three interfaces share the search substrate, and the Tool-based Agent also shares PSA's primitives and persistent workspace. Relative to the Query-based Agent, PSA improves macro-averaged task success by 4.00 and 7.56 percentage points on the two benchmarks, respectively; within-backbone reductions in final-step tokens average 28.3% and 33.9%. These results support extending agent control beyond query reformulation to the processing and presentation of retrieved evidence. Code will be released subject to approval.

cs.CL↗

arXiv2026

Found but Not Read: When Extracted Text Closes the Retrieval-Reading Gap in Document Vision-Language Models

Retrieval-augmented document question answering assumes that once the right page is found, a vision-language model (VLM) can read it. We show that this assumption often fails, leaving a retrieval-reading gap: evidence found but not used. A paired protocol isolates this gap by comparing answers from the retrieved page images alone with answers from the same images plus their extracted text. On FoveDoc-Bench, our benchmark with traceable evidence, retrieval finds nearly every evidence page, yet adding CPU-OCR text raises strict accuracy by 13 to 16 points. An exact text layer roughly doubles the gain, which appears across six VLMs from three families and, within one family, narrows with scale without closing. The reader can read this evidence but cannot find it: crops of it recover most of the text gain, boxes around it on the page none. The same protocol identifies two boundaries. Extracted text helps on textual evidence but is neutral or harmful on charts and figures. Its advantage shrinks as retrieval degrades, and unrelated text of the same form adds nothing detectable. Extracted text is an amplifier of retrieval that works, not a substitute for retrieval that does not. Our code is available at https://github.com/atoz03/fovedoc-sup.

cs.CV↗

arXiv2026

Guide, Think, Act: Interactive Embodied Reasoning in Vision-Language-Action Models

In this paper, we propose GTA-VLA(Guide, Think, Act), an interactive Vision-Language-Action (VLA) framework that enables spatially steerable embodied reasoning by allowing users to guide robot policies with explicit visual cues. Existing VLA models learn a direct "Sense-to-Act" mapping from multimodal observations to robot actions. While effective within the training distribution, such tightly coupled policies are brittle under out-of-domain (OOD) shifts and difficult to correct when failures occur. Although recent embodied Chain-of-Thought (CoT) approaches expose intermediate reasoning, they still lack a mechanism for incorporating human spatial guidance, limiting their ability to resolve visual ambiguities or recover from mistakes. To address this gap, our framework allows users to optionally guide the policy with spatial priors, such as affordance points, boxes, and traces, which the subsequent reasoning process can directly condition on. Based on these inputs, the model generates a unified spatial-visual Chain-of-Thought that integrates external guidance with internal task planning, aligning human visual intent with autonomous decision-making. For practical deployment, we further couple the reasoning module with a lightweight reactive action head for efficient action execution. Extensive experiments demonstrate the effectiveness of our approach. On the in-domain SimplerEnv WidowX benchmark, our framework achieves a state-of-the-art 81.2% success rate. Under OOD visual shifts and spatial ambiguities, a single visual interaction substantially improves task success over existing methods, highlighting the value of interactive reasoning for failure recovery in embodied control. More details of the project can be found here: https://github.com/FutianLabs/GTA-VLA.

cs.RO↗

arXiv2026

CoFiE: Coarse-to-Fine Evidence Selection for Efficient Streaming Video Understanding

Streaming video understanding requires Vision Language Models (VLLMs) to process growing video streams and answer user questions under tight latency constraints. Existing methods improve efficiency through token pruning and memory-bank schemes, but mainly reduce visual tokens after visual encoding. Consequently, downstream token pruning alone cannot substantially reduce end-to-end latency because the expensive frame encoding cost has already been incurred. We propose CoFiE, a Coarse-to-Fine Evidence Selection framework that decouples evidence selection into a coarse, query-agnostic filtering stage before the vision encoder and a fine, query-specific refinement stage during LLM prefill. CoFiE introduces Novelty-Guided Frame Filtering to retain visually distinctive candidate frames and Query-Specific Evidence Refinement to select the frames most relevant to the user query. This design removes substantial redundancy before frame encoding while preserving query-specific refinement once semantic information becomes available. Experiments show that CoFiE establishes a new state-of-the-art accuracy-efficiency trade-off across multiple video understanding benchmarks, reaching 78.86% accuracy on StreamingBench and 68.72% on OvO-Bench, with improvements of up to 3.15% over prior methods. Even with up to 80% evidence-frame filtering, CoFiE outperforms strong open-source multimodal models while improving end-to-end inference latency by up to 2.54 times.

cs.CV↗

arXiv2026

VERA: Verifiable Feasibility Representations with Counterfactual Credit for Constrained Multi-Agent Control

Constrained multi-agent control requires more than predicting rewarding actions: an action can cease to be executable as contact windows, shared capacity, and deadlines change. We introduce VERA, a centralized-training, decentralized-execution framework that separates feasibility estimation from credit assignment. Each actor predicts a five-dimensional verifiable feasibility representation (VFR). After an action is proposed, exact action-conditioned margins available only during training supervise that representation, while a counterfactual group-relative advantage (CGRA) ranks candidate representation-action pairs. Execution uses one actor pass and no privileged state. In a dynamic space-air-ground integrated network (SAGIN), VERA obtains 55.33% +/- 3.60% success with 0.45% +/- 0.81% coverage violation, within 1.33 percentage points of a privileged-mask reference. With rewards matched over ten paired seeds, VERA improves success over the strongest baseline by 8.74 percentage points (p=0.023) and reduces violation by 52.19 percentage points (p=5.7e-8). A ten-seed 4-by-2 factorial attributes a 14.16-16.48 percentage-point gain to CGRA across handcrafted, learned, random, and latent representations; evaluation on seven unseen topologies preserves a 24.33-30.02 percentage-point advantage over multi-agent proximal policy optimization. From 10 to 40 users, success remains 50.1-53.8%, and VFR adds only 0.026 ms to a central processing unit (CPU) actor step. Cross-domain tests further identify the governing condition: counterfactual credit succeeds when candidate scores respect shared constraints and fails under incompatible reward geometries. These results establish action-conditioned feasibility as an auditable training interface and counterfactual credit as a geometry-dependent optimization mechanism.

cs.LG↗

arXiv2026

What Can a Leaderboard Certify? Compositional Controllability for Fair Evaluation and Training of Biomedical Literature-Review Agents

Leaderboards rank long-horizon agents by their final outputs. Yet a higher score alone does not establish whether two systems are comparable or which stage accounts for the difference. Unequal evidence, inputs, or budgets can affect scores, and statistical corrections do not remove this mismatch. We introduce compositional controllability to address these questions. A comparison window covers one stage, several stages, or the whole agent. Our central result bounds the gap between observed and controlled score differences using only nuisance outside the window. This yields an admissibility test applied before scores are inspected. Inadmissible comparisons are refused. For admissible pairs, an ordering is certified only when the score gap exceeds the combined sampling and nuisance radii; otherwise, it remains undecided. These decisions give each system a rank interval. We introduce BioLitBench, a benchmark of 2,042 biomedical articles represented as structured claim graphs. Among seven published pipelines, a conventional statistical analysis declares a winner in 14 of 21 pairwise comparisons. Yet the top-ranked system alone received the target review's bibliography. To isolate pipeline performance, our test requires matched inputs and a fixed backbone model. It refuses 11 of the 21 comparisons, including every comparison involving the top-ranked system. Seven of the 14 conventional conclusions fall within these refused pairs. The same comparison windows support stage-level training. We train SCRIBE on Qwen3.8-27B using rewards measured at each stage's exit. Under matched evidence, SCRIBE achieves a certified rank interval of [1,2], with certified advantages over all evaluated published pipelines and the evaluated Claude and OpenAI agents. Under same pool, SCRIBE matches the strongest published retriever and is certified above three published pipelines.

cs.LG↗

arXiv2026

IterSynth: Rethinking Deep Search Agents via Role-Decoupled Iterative Synthesis

Deep search requires LLM agents to decompose complex queries, search for evidence, and synthesize grounded answers, yet existing ReAct-style agents suffer from two limitations: role coupling, where one policy must handle planning, evidence use, and synthesis; and context accumulation, where growing search histories introduce noise and obscure useful information. To address these issues, we propose IterSynth, a role-decoupled and summary-based paradigm that alternates between a Planner for identifying information needs and a Synthesizer for integrating evidence into an evolving summary state. This design separates planning from synthesis while using the summary as the persistent state of search, reducing both capability coupling and context noise. To train IterSynth effectively, we further introduce Role-Decoupled Policy Optimization (RDPO) for reinforcement learning, which combines terminal outcome rewards with turn-level rubric evaluations and computes role-specific advantages for more precise credit assignment. Experiments on five long-horizon deep-search benchmarks such as BrowseComp and Xbench-DS show that IterSynth-8B achieves an average score of 50.7, surpassing the strongest prior $\leq$8B agent by +4.2\%. Moreover, IterSynth serves as a model-agnostic prompting paradigm, delivering substantial zero-shot gains over ReAct and similar prompting paradigms on frontier proprietary models.

cs.CL↗

arXiv2026

Subnanometer thermodynamic overlayers on bimetallic nanoparticles

Nanoparticle properties are governed by their surfaces, yet their atomic-scale surface structures remain challenging to predict. Here, we report that bimetallic nanoparticles can form a thermodynamically controlled "shell-dimer" architecture in which one metal forms an overlayer only a few atomic layers thick on another. Using Au-Rh as a model system, atomic-resolution imaging and molecular dynamics show that an ultrathin Au overlayer forms on Rh, stabilized by competition among surface, interfacial, and strain energies. Anisotropic strain limits its growth to the subnanometer scale, and changes in surface chemistry can destabilize the overlayer altogether. Across a range of bimetallic nanoparticles, we found that overlayer formation is associated with elemental immiscibility and lattice mismatch. These findings provide a basis for understanding and controlling surface structures in multimetallic nanoparticles.

cond-mat.mtrl-sci↗

arXiv2026

Nonlinear polarization effects on plasma screening for fusion reactions

Using a finite-temperature two-center Thomas-Fermi-Dirac model, we investigate nonlinear plasma screening effects on the fusion reactions D-T, $^{12}$C-$^{12}$C, and p-$^{11}$B. The effective interaction between a reacting ion pair is obtained self-consistently at the mean-field level. Combining this potential with a complex Woods-Saxon nuclear potential, we solve the stationary Schrödinger equation to evaluate tunneling probabilities and reaction rates. Compared with Debye-Hückel theory, the two-center screening potential can be stronger or weaker, and the resulting fusion enhancement correspondingly amplified or suppressed, depending on the plasma conditions and the internuclear separation. We identify the underlying mechanisms: relative to the single-center prediction, the nonlinear evacuation of background ions suppresses screening, whereas nonlinear electron accumulation enhances it. The two channels respond to different plasma state parameters: the ionic suppression deepens with increasing coupling strength, whereas the electronic enhancement peaks at intermediate degeneracy. The two-center correction therefore follows a factorized scaling law in the nuclear charges of the reacting pair and the plasma state parameters. These findings highlight the importance of a self-consistent two-center treatment for determining effective interactions and evaluating static screening corrections to fusion reaction rates.

physics.plasm-ph↗

arXiv2026

Harmonic Vector Fields and Betti Numbers in Bounded Three-Dimensional Electromagnetic Domains

The topology of a bounded three-dimensional domain can strongly affect electromagnetic fields. In a topologically complex domain, a curl-free field may not have a globally single-valued scalar potential and a divergence-free field may also fail to have a global vector potential. These topological effects lead naturally to harmonic vector fields in the Helmholtz decomposition. This paper gives a geometric and constructive study of such fields using vector analysis, circulation integrals, cutting surfaces, scalar Laplace problems, Stokes' theorem, and Green's identity. The first Betti number is interpreted through independent handle-type circulations, whereas the second Betti number counts enclosed voids. Direct proofs are given for the dimensions of the Neumann and Dirichlet harmonic-field spaces. The analysis is also extended to anisotropic lossless media. The results provide a simple topological interpretation of harmonic fields and physical DC modes in bounded electromagnetic resonators.

physics.class-ph↗

arXiv2026

Local obstructions to the surjectivity of spectral morphisms

Chen and Ngo showed that the Hitchin morphism for Higgs bundles on a projective manifold $X$ factors through a closed subscheme of the Hitchin base called the spectral base, and the induced map is called the spectral morphism. In this paper, we investigate local Cohen-Macaulay obstructions to the surjectivity of spectral morphisms via a refined spectral correspondence. We show that every affine normal variety with a local ring that admits no rank one maximal Cohen-Macaulay modules can be geometrically realized as a local obstruction to the surjectivity of spectral morphisms, and that these local obstructions can be compactified via the Kawamata covering trick. As an application of these constructions, we provide counterexamples to the Chen-Ngo conjecture on the surjectivity of spectral morphisms for $GL_r$-Higgs bundles in dimensions $n\geq 9$. Moreover, we construct counterexamples to the Chen-Ngo conjecture for $SL_2$-Higgs bundles in every dimension $n\geq 2$ and for semistable $GL_3$-Higgs bundles on a smooth projective surface.

math.AG↗

arXiv2026

Pre-PEFT Probing: Weight Statistics and Perturbation Robustness for Layer Selection in VLM Vision Encoders

We propose a pre-fine-tuning probing method for Parameter-Efficient Fine-Tuning (PEFT) layer selection, aiming to obtain more stable and higher gains with fewer trainable parameters when adapting large vision--language models (VLMs). Unlike the common practice of applying LoRA and other adapters to all layers at once---where layer selection often relies on heuristic rules---we focus on the vision encoder and directly evaluate the "adaptability'' of each Transformer layer. Specifically, we characterize each layer from two perspectives: (i) the statistical properties of its Q/K/V projection weights (e.g., norms and condition numbers); (ii) robustness under controlled parameter perturbations. We then systematically compare these indicators with the downstream performance gains brought by applying PEFT to a single layer. Across experiments covering seven benchmarks and five PEFT variants, we observe a consistent correlation: layers (or matrices) with larger weight norms and higher condition numbers are usually more robust to perturbations and are more likely to yield larger fine-tuning gains. These results show that distribution-statistics analysis and perturbation tests before fine-tuning can provide practical signals for adaptation-layer selection, thereby maintaining or improving performance while reducing trainable parameters.

cs.CV↗

arXiv2026

Tools-CC-Bench: a Benchmark Suite for Collective Communication with Compression in HPC and AI Workloads

Distributed HPC and LLM workloads increasingly require efficient communication for scalability, yet growing data movement has become a major performance bottleneck. Communication compression can reduce this overhead and complement execution-level optimizations, but its benefits remain difficult to assess because existing benchmarks lack support for diverse backends, realistic datasets, application-specific accuracy metrics, and overlap-induced resource contention. We present CC-Bench, a lightweight, extensible, and application-oriented benchmark suite for evaluating communication compression under realistic execution conditions. CC-Bench uses declarative application-environment modeling to decouple profiling logic from communication libraries, datasets, and fidelity metrics, enabling portable cross-library evaluation. It further combines function-level interception and hardware counter monitoring to characterize per-phase latency, hardware utilization, numerical fidelity, and computation interference. With representative datasets from HPC and LLM workloads, CC-Bench evaluates three compression-enabled communication libraries on CPU and GPU clusters, revealing accuracy-performance trade-offs and bottlenecks to guide practical deployment and optimization.

cs.DC↗