arXiv Science⌕ Search

arXiv subjects

Xi Zhang

Publications and source records attributed to Xi Zhang.

At least 19 recordsLinked to original sources

Is it my preference? Role Grounding Attack against Agent's Memory via Social Interaction

LLM-based agents now share experiences on social platforms and remember new preferences to enhance their performance. However, existing memory systems contain a vulnerability in role-to-principal attribution that attackers can exploit. We identify Role Grounding Misattribution, in which an attacker-designed interaction causes the victim agent to incorrectly record a preference from the attacker as a preference of the victim's user. Specifically, we are the first to formalize Role Grounding Attack (RGA), an attack model that exploits this vulnerability through nested conversation structures. In the memory formation stage, an experience-sharing post quoting a conversation between the attacker agent and its user is published, which explicitly identifies its publisher. The inner conversation expresses preferences from the user of the attacker agent. When the victim agent remembers preferences from this nested structure, its memory loses the context binding and grounds the attacker's preference to the victim's user instead. In the memory retrieval stage, the misattributed preference persists and influences the victim agent's decisions when it encounters relevant scenarios. We instantiate RGA as tool selection manipulation and privacy leakage. Tool selection manipulation causes a tool-call preference to be misattributed to the victim's user, steering the victim toward an attacker-controlled tool. Privacy leakage extends this by misattributing both a tool-call preference and a task-requirement preference to the victim's user. The victim selects the attacker's tool, then includes sensitive information in tool arguments to satisfy the task requirement. We evaluate RGA across five mainstream memory systems and six language models. Tool manipulation and privacy leakage both achieve high attack success rates. These results call for stronger role grounding.

cs.CR↗

MEL: Coordinate-Preserving EEG Tokenization for fMRI Translation

Background and Objective: Predicting regional blood-oxygen-level-dependent (BOLD) activity from EEG provides a computational approach to studying electrophysiological-hemodynamic associations. However, changes in input representation, readout architecture, and ensembling can obscure the source of a prediction gain. We investigate the contribution of target-relative spectral estimation under matched readout conditions. Methods: MEL converts each preceding 16-second EEG history into calibrated lag-channel-frequency measurements. Four equal-dimensional representations are compared using matched Ridge and multilayer perceptron (MLP) readouts. The retrospective analysis includes 29 resting-state scans from 22 participants, participant-paired uncertainty estimates, aggregation and correspondence controls, leave-one-participant-out regression, and refitted models on an external Oddball cohort. Results: Morlet-Ridge achieved a mean scan-wise correlation of 0.508 across six regional targets and the global signal, compared with 0.432 for canonical Fourier features. The participant-paired mean difference was 0.069 (95% bootstrap confidence interval, 0.037-0.101), with improvements in 19 of 22 participants. The Morlet MLP prediction ensemble reached 0.491. Shared coordinate permutations preserved prediction after refitting, whereas sample-wise permutations degraded it. Canonical Fourier regression reached 0.377 under participant exclusion; external unseen-participant correlation was 0.026. Conclusions: Spectral estimation materially affected regional BOLD prediction without requiring additional nonlinear readout capacity. MEL provides an explicit measurement interface for controlled comparisons, but weak external results constrain its generalizability. Confirmation requires untouched participant-separated data and split-aware preprocessing.

cs.LG↗

Gradient estimates and Liouville theorems for exponentially harmonic functions

We study exponentially harmonic functions on complete Riemannian manifolds. Under a lower Ricci curvature bound \(\Ric_g\geq-Kg\), we first establish a local gradient estimate in terms of the oscillation. We then prove a pointwise gradient estimate for solutions bounded from one side. As an application, when \(\Ric_g\geq0\), we obtain a Liouville theorem under a one-sided sublinear growth condition. In particular, every exponentially harmonic function bounded above or below is constant.

math.AP↗

Coherence-Guided Pyramid Self-Contrastive Disentanglement for Ultrasound Imaging via Single-Shot Test-Time Training

The inherent electronic noise, side lobes, and speckle noise complicate clinical interpretation of ultrasound images. Conventional denoising methods rely on explicit noise assumptions that may underperform in composite noise conditions. Learning-based methods are usually pretrained in a limited image domain and face inevitable domain shift in complex \textit{in vivo} environments. This study proposes a computational ultrasound imaging pipeline with a Pyramid Self-Contrastive Disentanglement (PSCD) model. We generalize the explicit IQ signal coherence to a learnable latent space and formulate it as a contrastive critic to implicitly disentangle the received IQ signals into a coherent anatomy space and an incoherent noise space. Clean IQ signals for B-mode image formation are estimated from the anatomy space exclusively. We first apply PSCD to synthetic aperture ultrasound, where an Aperture-to-Aperture proxy task constrains the selective reconstruction in dual domains. This framework can be trained at test time using single-shot imaging data. Simulation experiments, including noise levels from 0 to 30 dB with simple to complex geometries, demonstrated improvements of 69.3$\%$ in SNR and 34.4$\%$ in CNR. The \textit{in vivo} experiments, including human hearts in six echocardiographic views and other abdominal organs, showed 84.8$\%$ SNR and 25.7$\%$ CNR gains using only two apertures. Our PSCD also achieved higher image resolution and boundary sharpness, while preserving the high-frequency details. It can naturally generalize to other ultrasound imaging pipelines involving multiple transmit-receive events, enabling precise anatomical visualization without domain shift and pretraining costs.

cs.CV↗

SimPT: An Automated Simulation Framework for Intervention-Based VLA Post-Training

Human-in-the-loop (HIL) post-training improves vision-language-action (VLA) policies through expert corrections, but costly human supervision and repeated real-robot evaluation limit algorithm exploration and development. We introduce SimPT (Simulation-based Post-Training), a simulation framework that automates intervention-based VLA post-training by integrating policy rollouts, corrective data collection, policy training, and standalone evaluation. To automatically determine intervention timing and recovery strategies, we develop an Agent-Compiled Progress Graph that tracks task progress using privileged simulator state and retains stable snapshots during policy execution. After a rollout fails, a CuRobo-based expert attempts recovery from these snapshots, starting at more advanced task stages and falling back to earlier ones as needed to generate corrective trajectories. We implement and compare four post-training methods, RECAP, HG-DAgger, DPO+SFT, and FlowPRO, across seven RoboTwin manipulation tasks. Relative to a fixed-interval snapshot baseline, the Progress Graph reduces recovery attempts by 75.0% and increases recovery success from 93.4% to 98.9%. Using SimPT, we develop RECAP-CF-LPF, a refinement of RECAP that combines cross-fitting and low-pass filtering of value predictions. This refinement increases the overall success rate from 76.50% to 79.36% in held-out simulation trials. In real-robot HIL post-training, it increases the success rate from 72% to 96% across 25 scenarios of an Ethernet cable-insertion task. These results demonstrate the utility of SimPT for exploring and developing VLA post-training algorithms.

cs.RO↗

Mean curvature nonpositivity and rational connectedness

Let $(X,ω)$ be a compact Gauduchon manifold and let $E$ be a holomorphic vector bundle on $X$. We establish equivalent conditions for the existence of a Hermitian metric on $E$ with nonpositive mean curvature. For a non-uniruled compact Kähler manifold $X$ satisfying $μ_{ω_0,\max}(T_X)=0$ for some Gauduchon metric $ω_0$, we show that the corresponding maximal destabilizing subsheaf of $T_X$ splits off holomorphically and is polystable of slope zero with respect to every Gauduchon metric. Its complement, if nonzero, is HN-negative with respect to every such metric. In particular, a compact Kähler manifold is not uniruled if and only if , for every Gauduchon metric $ω$, its tangent bundle admits a Hermitian metric with nonpositive $ω$-mean curvature. We also obtain an uniruledness criterion that includes the case where the maximal slope of $T_X$ is zero, and a Mumford-type characterization of rational connectedness. Under HN-nonnegativity of $T_X$ for one Gauduchon metric, rational connectedness, the vanishing of all holomorphic covariant tensors, and the condition $κ^+(X)=-\infty$ are equivalent.

math.DG↗

SwarmRSI: Recursive Self-Improvement through Evolving Scientific Agent Swarm

Recursive self-improvement (RSI) in scientific research aims to improve agents' research capabilities through their own experimental experience. Scientific agent swarms can combine evidence and implementations from different research directions to guide their agents' subsequent experiments. However, poor experimental results can leave unclear whether to revise a hypothesis or its implementation, while overall program scores can hide components useful to other agents. To address these challenges, we introduce SwarmRSI, a framework that evolves scientific agent swarms for recursive self-improvement. We devise Feedback-Guided Swarm Mutation to refine hypotheses and their implementations using experimental feedback from other agents. We also propose Complementary Swarm Recombination to reuse retained hypotheses and complementary program components across agents, allowing partial results to support new research. Recursive Swarm Evolution integrates both mechanisms into a feedback loop, using new experimental evidence to guide subsequent research. Experiments on OpenProblems, NatureBench and MLE-Bench Lite demonstrate SwarmRSI's state-of-the-art (SOTA) performance. Further evaluations show that accumulated research experience improves performance on held-out tasks. Biologists also reproduce its programs for follow-up biological analyses.

cs.AI↗

The Sharp Generalized Bogomolov Inequality

Let $(X,ω)$ be a compact Gauduchon and astheno-Kähler manifold. Using $L^p$-approximate critical Hermitian structures, we establish a sharp generalized Bogomolov inequality for holomorphic vector bundles on $X$, without any semistability assumption. We further characterize the equality case by studying the Hermitian-Yang-Mills flow. If equality holds, every Harder-Narasimhan-Seshadri filtration is by holomorphic subbundles, and its stable quotients admit projectively flat Hermitian metrics. If, in addition, the bundle is not $ω$-semistable, then $X$ is projective.

math.DG↗

The interpolation method for the complex Hessian equation on compact Kähler manifolds

In current work, we delve into the study of complex Hessian equations on compact Kähler manifolds. By imposing a constraint on both the bisectional curvature and the oscillation of the solution, we demonstrate that the Laplacian estimate can be linearly controlled by its gradient estimate. Consequently, we are able to derive gradient estimate for the solution using a standard interpolation argument, without the need to employ the blow-up technique. As an application, we demonstrate that when the right-hand side of the complex Hessian equations approximate 1 in the $L^1$ norm, the desired gradient estimate is obtained.

math.DG↗

Reliability-Aware Multimodal Sentiment Prediction Under Local Modality Missingness

Multimodal sentiment models are usually evaluated on complete utterances, yet streams often lose a contiguous span of text, audio, or video. We study local missingness on aligned CMU-MOSEI features. Our reliability-aware network (RM-Net) keeps the original temporal positions, represents unobserved positions with a learned token, outputs bounded per-modality intensity contributions gated by observation quality, and is trained with dual-view masking of contiguous segments. We fuse five RM-Net seeds with a LoRA-adapted BERT text expert, using a fusion weight that depends only on the visible fraction of content tokens. Architecture, checkpoint, and fusion choices were made on the validation split. On the held-out split, the fused model reaches a macro-F1 of 0.655 on clean inputs and 0.634 under 40\% mixed missingness; its two-view average exceeds the auxiliary-head baseline by 0.024 (95\% video-cluster bootstrap interval [0.003, 0.045]). Because this split was inspected during development, these numbers are not a blind test. For explanations, exact Shapley attributions over the eight modality subsets and position-level occlusion show that top-ranked positions reduce the predicted-class probability faster than random positions (AUC gap 0.113 on validation). We also describe an auditable word-level alignment pipeline for raw clips; its outputs do not feed the predictive models.

cs.CV↗

Generalized Gauduchon metrics on compact complex spaces

Let $X$ be an irreducible reduced compact complex space of dimension $n$, and let $ω$ be a Hermitian metric on $X$. For each $1\le k\le n-1$, we prove that there exist a constant $c_k$ and a smooth positive function $ρ$ on $X_{\mathrm{reg}}$ such that $\ii\partial\bar\partial(ρω^k)\wedgeω^{n-k-1}=c_kρω^n$. The function $ρ$ is bounded above and bounded away from zero. The constant $c_k$ is unique, and $ρ$ is unique up to a positive multiple among bounded smooth positive solutions. We also prove that the full sign set $\{-1,0,1\}$ of the generalized Gauduchon constants $c_k$ on a compact complex manifold is preserved by finite sequences of blow-ups with smooth centers.

math.DG↗

Monarch-MoE: Structured Experts for Multimodal Continual Instruction Tuning

Learning new tasks in multimodal continual instruction tuning can cause catastrophic forgetting of previously acquired knowledge. Although multi-expert LoRA distributes learning across experts, updates to a dense low-rank expert can still affect many output features. We introduce Monarch-MoE, which replaces the dense factors in LoRA experts with block-diagonal factors connected by a fixed permutation. This structure provides blockwise gradient isolation: individual block-pair updates affect only one output block, while connections between all input and output blocks are maintained. To make these compact experts practical on memory-limited hardware, we combine batched computation, fused forward operators, and an optimized backward pass. Across three continual-learning methods evaluated on MLLM-DCL and UCIT with LLaVA-1.5-7B, Monarch-MoE improves first-task retention while reducing adapter parameters by approximately 75% and 50%, respectively. In the main comparison, first-task forgetting is as low as 0.52 percentage points on MLLM-DCL and 0.10 on UCIT, with method-dependent trade-offs in final performance. Our implementation supports fine-tuning and inference on a single 24 GB RTX 4090, with lower measured memory use and competitive runtime in the evaluated settings. Together, these algorithmic and systems improvements make structured experts a practical option for continual adaptation on memory-limited hardware.

cs.LG↗

Towards Safe World Models: Risks, Defenses, and Evaluation

World models support planning, control, learning from imagined experience, and model-mediated evaluation by predicting action-conditioned consequences. Their safety cannot be inferred from predictive accuracy alone: errors in observations, state and memory, dynamics, evaluation, execution, or feedback can propagate into unsafe decisions and persist through updates. This work organizes the literature on world-model safety around a six-stage lifecycle covering data and observations, state and memory, dynamics and imagination, evaluation and planning, action and control, and feedback and update. We synthesize non-adversarial failures, attacks, defenses, evaluation protocols, benchmarks, and deployment conditions, and distinguish evidence directness from outcome level. The current evidence corpus contains 163 cited works. We use the framework to identify where claims are supported, where attribution remains unresolved, and which measurements are needed to connect model-level behavior to closed-loop and operational safety.

cs.CR↗

EvoScientist: Towards Multi-Agent Evolving AI Scientists for End-to-End Scientific Discovery

The increasing adoption of Large Language Models (LLMs) has enabled AI scientists to perform complex end-to-end scientific discovery tasks requiring coordination of specialized roles, including idea generation and experimental execution. However, most state-of-the-art AI scientist systems rely on static, hand-designed pipelines and fail to adapt based on accumulated interaction histories. As a result, these systems overlook promising research directions, repeat failed experiments, and pursue infeasible ideas. To address this, we introduce EvoScientist, an evolving multi-agent AI scientist framework that continuously improves research strategies through persistent memory and self-evolution. EvoScientist comprises three specialized agents: a Researcher Agent (RA) for scientific idea generation, an Engineer Agent (EA) for experiment implementation and execution, and an Evolution Manager Agent (EMA) that distills insights from prior interactions into reusable knowledge. EvoScientist contains two persistent memory modules: (i) an ideation memory, which summarizes feasible research directions from top-ranked ideas while recording previously unsuccessful directions; and (ii) an experimentation memory, which captures effective data processing and model training strategies derived from code search trajectories and best-performing implementations. These modules enable the RA and EA to retrieve relevant prior strategies, improving idea quality and code execution success rates over time. Experiments show that EvoScientist outperforms 7 open-source and commercial state-of-the-art systems in scientific idea generation, achieving higher novelty, feasibility, relevance, and clarity via automatic and human evaluation. EvoScientist also substantially improves code execution success rates through multi-agent evolution, demonstrating persistent memory's effectiveness for end-to-end scientific discovery.

cs.CL↗

The Miyaoka-Yau inequality for minimal Kähler klt spaces

Let $X$ be a compact Kähler space with quotient singularities in codimension $2$. In terms of orbifold Chern classes, we prove a generalized Bogomolov-Gieseker inequality for a reflexive coherent sheaf $\mathcal{E}_X$ on $X$ equipped with a Higgs field $θ_{X_{reg}}$ defined on the regular locus of $X$. As a direct application, we prove the Miyaoka-Yau inequality for minimal Kähler spaces. The proof relies on two main ingredients. The first is the existence of $L^p$-approximate critical Hermitian structures for orbifold Higgs bundles over compact Gauduchon orbifolds. The second is the construction of an orbifold Higgs bundle on a suitable orbifold modification $f:W\to X$, agreeing with the reflexive pullback of $(\mathcal{E}_X,θ_{X_{reg}})$ over $f^{-1}(X_{reg})$.

math.DG↗

RecreationWorld: Scalable and Verifiable Environments for Hybrid Computer-Use Agents

Computer-use agents (CUAs) have advanced along two separate lines: graphical interaction and software development through code and the command line. Real digital work requires both, interleaved rather than stacked end to end. We study hybrid CUAs that autonomously decide when to explore an interface, implement software, and run and visually verify their artifacts. We introduce RecreationWorld, a five-platform framework built around recreation: given a running reference, an agent must discover its behavior and build a faithful implementation with no prescribed workflow. RecreationWorld provides reproducible environments on Ubuntu, macOS, Windows, Android, and Web, plus a unified harness with native GUI control and coding tools. The running reference serves as an oracle for hidden behavioral tests, providing execution-grounded rewards. We scale trajectory generation with high-quality open-source applications. Models trained on these trajectories improve across five out-of-distribution coding and hybrid computer-use benchmarks and more frequently verify their rendered outputs, providing evidence of transfer beyond recreation. For held-out evaluation, we introduce RecreationBench, comprising 250 diverse tasks across domains and platforms. Reference-grounded programmatic and visual assertions cover action-conditioned outcomes at multiple interaction depths; each is validated on the reference and by human reviewers before the suite is frozen for automatic scoring. GPT-6 Astra leads at 58.1% overall, but passes all programmatic tests on just 2.8% of tasks. Agents reproduce static interface structure more reliably than interactions and computed outputs, while generated applications remain smaller and more monolithic than their references. We release the benchmark, environments, and test suites.

cs.CL↗

ToolCUA: Towards Optimal GUI-Tool Path Orchestration for Computer Use Agents

Computer Use Agents (CUAs) can act through both atomic GUI actions, such as click and type, and high-level tool calls, such as API-based file operations, but this hybrid action space often leaves them uncertain about when to continue with GUI actions or switch to tools, leading to suboptimal execution paths. This difficulty stems from the scarcity of high-quality interleaved GUI-Tool trajectories, the cost and brittleness of collecting real tool trajectories, and the lack of trajectory-level supervision for GUI-Tool path selection. In this paper, we propose ToolCUA, an end-to-end agent designed to learn optimal GUI-Tool path selection through a staged training paradigm. We first introduce an Interleaved GUI-Tool Trajectory Scaling Pipeline that repurposes abundant static GUI trajectories and synthesizes a grounded tool library, enabling diverse GUI-Tool trajectories without manual engineering or real tool-trajectory collection. We then perform Tool-Bootstrapped GUI RFT, combining warmup SFT with single-turn RL to improve decisions at critical GUI-Tool switching points. Finally, we optimize ToolCUA with Online Agentic RL in a high-fidelity GUI-Tool environment, guided by a Tool-Efficient Path Reward that encourages appropriate tool use and shorter execution paths. Experiments on OSWorld-MCP show that ToolCUA achieves 46.85% accuracy, a relative improvement of approximately 66% over the baseline, establishing a new state of the art among models of comparable scale. It also improves by 3.9% over GUI-only settings, demonstrating effective GUI-Tool orchestration. The results further suggest that training in a hybrid action space is a promising paradigm for real-world digital agents. Open-sourced here: https://x-plug.github.io/ToolCUA/

cs.AI↗

Polymorphic crystallites model for monolayer amorphous materials

Establishing atomistic models of amorphous materials remains a central challenge in materials science. Here, we examine three representative multicomponent monolayer systems using first-principles-trained machine-learning potentials (MLPs) and an energy-guided Monte Carlo structural-search workflow. For monolayer amorphous boron nitride (maBN), independent density-functional-theory (DFT) single-point calculations confirm that the ensemble generated by the MLP-driven search is lower in energy on average than an extended-Tersoff-generated ensemble. Across the sampled maBN structures, local-ring classification combined with strict connected-domain analysis identifies h-BN-like, o-B$_2$N$_2$-like, and o-B$_4$N$_4$-like crystallite domains together with mixed medium-range order. Only individual samples containing at least two distinct phase-pure crystallite-domain types are classified as polymorphic crystallites. The same analysis finds coexisting hexagonal and tetragonal domains in monolayer amorphous LiCl and graphene-like, h-BN-like, borophene-like, and mixed-order regions in monolayer amorphous BCN. Five-nanosecond MLP molecular-dynamics trajectories at 300 K show that the candidate structures are dynamically persistent on the simulated timescale. These results support a polymorphic-crystallite description for the selected model systems, while experimental discrimination from alternative continuous-random-network descriptions will require medium-range-order-sensitive measurements.

cond-mat.mtrl-sci↗