arXiv ScienceSearch

arXiv subjects

Ziyu Liu

Publications and source records attributed to Ziyu Liu.

At least 19 recordsLinked to original sources

ICI-VLA: In-Context Imitation with Spatiotemporally Aligned Demonstrations for Vision-Language-Action Models

Vision-Language-Action (VLA) policies are commonly adapted to new manipulation settings through additional gradient updates, which limits rapid deployment when task-specific data or compute is scarce. We present ICI-VLA, a training and retrieval framework that equips a text-action VLM with few-shot test-time adaptation through in-context demonstrations. Unlike mainstream VLA designs based on action-specific multimodal fusion, ICI-VLA retains the native text-generation interface. ICI-VLA updates its parameters only during offline training; at inference, the policy remains fixed and conditions action generation on retrieved micro-demonstrations. The framework decomposes long trajectories into short, semantically labeled examples and trains an RD-Encoder with positives mined by Dynamic Time Warping (DTW), aligning the retrieved context with the phase and geometry of the current subtask. We further introduce Target Action Masking, a context-corruption objective designed to reduce direct action copying and increase reliance on the current observation. ICI-VLA reaches average success rates of 97.7% on LIBERO and 60.4% on RoboTwin 2.0, exceeding the highest reported baseline average on RoboTwin 2.0 by 19.3 percentage points. It also achieves 83.2% across four physical tasks. These results indicate that a fixed VLA policy can benefit from conditioning on spatiotemporally aligned demonstrations at test time.

cs.RO

Antiferromagnetism-altered plasmon dynamics

The interaction between plasmons and magnons is a long-sought phenomenon with implications for fundamental physics and spintronics applications. In three-dimensional systems, this coupling is suppressed by the large mismatch in energy scales, but two-dimensional (2D) plasmons with gapless dispersion can overlap with magnons over a broad spectral range. Despite numerous theoretical predictions, experimental observation of magnon-plasmon interaction has remained elusive. In this work, we study a first-of-its-kind hybrid plasmon-magnon platform based on 2D materials. By deploying scattering-type scanning near-field optical microscopy (s-SNOM) with terahertz radiation, we image propagating plasmon wavepackets at a graphene/NiPS$_3$ interface and track their dynamics across the antiferromagnetic transition of NiPS$_3$. We observe a clear renormalization of the plasmon-polariton dispersion concurrent with the onset of antiferromagnetic order. With complementary Raman scattering and nano-terahertz spectroscopy, we unveil spectral weight redistribution and dielectric screening changes, potentially associated with the multi-magnon continuum, as the underlying mechanism. These results provide solid evidence of coupling between plasmon and antiferromagnetic order, marking a cornerstone for a potential platform for hybrid magnon-plasmon interactions in 2D materials, opening avenues for coherent spin-plasmon devices and tunable terahertz spintronic components.

cond-mat.str-el

Exponential mixing for the stochastic Navier--Stokes equation with localized noise

This paper studies the 2D Navier--Stokes equation on a bounded domain with Navier-slip boundary conditions, driven by spatially localized stationary forcing generated by a stochastic heat equation. We prove exponential mixing for the associated Navier--Stokes--heat system, and consequently exponential convergence of the velocity law under stationary forcing. The main difficulty is that the white noise is confined to a subdomain and reaches the velocity indirectly through the heat component. To address the degeneracy, the proof combines Malliavin calculus with PDE control theory. The key ingredient is a stabilization scheme that converts localized Navier--Stokes controls into time-regular controls compatible with the heat dynamics.

math.PR

Two-dimensional percolation with algebraically decaying interactions II: Critical exponents in the long-range regime

We present a comprehensive Monte Carlo study of two-dimensional bond percolation with algebraically decaying connection probabilities $p(r)\propto 1/r^{2+\sigma}$, establishing the universality diagram in the long-range (LR) regime for $\sigma\le2$. Using the event-based ensemble method, we simulate systems with linear sizes up to $L=16384$ and investigate three universality regimes: LR Wilson--Fisher (WF) A ($1<\sigma\le2$), LR Wilson--Fisher B ($2/3<\sigma\le1$), and LR mean-field (MF) ($0<\sigma\le2/3$). In the LR-WF-B regime, the anomalous dimension is consistent with $\eta=2-\sigma$, in agreement with mathematical results for $2/3<\sigma<1$, while the correlation-length exponent $\nu(\sigma)$ exhibits nontrivial, non-Gaussian variation. In the LR-WF-A regime, although $\eta$ remains close to $2-\sigma$ for smaller $\sigma$, statistically resolvable deviations $\delta\eta(\sigma)=\eta-(2-\sigma)>0$ start to appear near $\sigma\simeq3/2$ and grow toward the short-range crossover at $\sigma=2$. Finally, by complementing the event-based simulations with conventional ensemble simulations, we reveal the coexistence of complete-graph asymptotics and LR Gaussian-fixed-point scaling in the LR-MF regime. These results further clarify the critical properties in long-range percolation and provide crucial benchmarks for long-range statistical systems.

cond-mat.stat-mech

Intern-S2-Preview: Scientific Agentic Foundation Model

Scientific discovery increasingly requires AI systems that can reason over scientific evidence of heterogeneous modalities, interact with scientific tools and environments, and sustain progress across long task horizons. We present Intern-S2-Preview, a series of scientific agentic foundation models designed to support multimodal scientific understanding, reasoning, generation, and long-horizon tasks. The training pipeline begins with scientific multimodal pre-training over rendered scientific documents, interleaved image-text data, and diverse scientific corpora. Starting from the pretrained checkpoint, we apply a unified post-training pipeline consisting of supervised fine-tuning, scalable multi-task reinforcement learning (RL), black- and white-box agentic RL, and on-policy distillation. This pipeline is supported by practical techniques that improve rollout and training stability and efficiency, including partial rollout with off-policy correction, adaptive length regularization, online speculative decoding, robust multi-task optimization, and trace-aware experience assembly for agentic tasks. At the architecture level, Intern-S2-Preview-397B extends time series modelling from efficient long-sequence understanding to numerical forecasting, while Memory Decoder is studied as a separate memory-augmented path for rapid scientific specialization without modifying the frozen 397B backbone. Evaluations across scientific, multimodal, agentic, and general-purpose benchmarks show that Intern-S2-Preview-397B achieves competitive or leading results in multiple settings. The time series modules improve scientific signal understanding and forecasting on SciTS, while the separate Intern-MemDec-4B extension improves the Biology-Instructions average score from 56.92 to 60.32 without modifying the frozen 397B backbone.

cs.LG

RIVERPlace: Repairing Interconnect Violations with Efficient Retiming and Incremental Placement for AQFP Circuits

The Adiabatic Quantum-Flux-Parametron (AQFP) offers near-Landauer-limit energy efficiency but faces significant scalability challenges due to strict path balancing and limited drive strength. To address this, we propose RIVERPlace, a framework that integrates long-wire pipelining, retiming, and incremental placement to resolve interconnect violations with minimal disruption. RIVERPlace first applies placement-aware retiming to repair violations without increasing logical depth. When depth increases are necessary, we introduce Buffer Cut Insertion (BCI), which formulates violation resolution as a constrained global edge-selection problem reducible to a maximum topological cut, thereby enabling an exact polynomial-time solution. By selectively pipelining edges across multiple rows, BCI avoids excessive buffer insertion while resolving interconnect violations. Experimental results demonstrate that RIVERPlace consistently outperforms prior AQFP placement approaches, reducing placement overhead by more than an order of magnitude in inserted buffers, 3x in placement-induced depth, and over 2x in circuit area, while also reducing runtime by more than an order of magnitude and latency by 38%. These improvements enable the first post-routing, timing-closed implementations of the complete open-source AQFP benchmark suite, including larger circuits like alu32.

cs.ET

On the classification of invariant Gaussian measures for the 2D Euler equation

We consider the two-dimensional incompressible Euler equation on $\mathbb T^2$ with Gaussian random initial data having independent Fourier coefficients. For every $\sigma>0$, we prove that such a Gaussian measure on $H^\sigma(\mathbb T^2)$ is invariant under the Euler flow if and only if it is supported either on shear flows or on cellular flows. This settles the invariant-measure classification conjecture posed by Bedrossian and Latocca (Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire, 2026). The proof relies on closure of the Fourier support under non-degenerate interactions and an affine relation among the inverse variances along Euler triples.

math.AP

Bridging AQFP Technology Legalization and Physical Design: Layout-Aware Buffer and Splitter Insertion via Width--Depth Product Minimization

Adiabatic Quantum Flux Parametron (AQFP) is an emerging superconducting technology that enables ultra-low energy dissipation approaching the Shannon limit. However, its gate-level pipelining and explicit fanout constraints require technology legalization through buffer and splitter insertion to ensure path balancing and signal distribution, becoming a critical and costly step in the design flow. Prior work has focused on minimizing inserted cell count and logic depth, yet these objectives do not accurately capture the final physical design cost, which is fundamentally governed by the product of circuit width and depth. In this article, we redefine AQFP buffer and splitter insertion optimization as minimizing the circuit width--depth product, a layout-aware metric that more accurately captures physical design area than prior cell minimization efforts. We are the first to formulate buffer and splitter insertion under this objective and prove that the resulting problem is NP-complete. To address this complexity, we develop scalable heuristics that integrates legalization with this objective. Experimental results on standard benchmarks demonstrate that our approach achieves an average 30% reduction in post-placement area compared to state-of-the-art methods, with only a 3% increase in junction count, and on individual circuits up to 61% area reduction, demonstrating the effectiveness of the proposed objective in reducing true design cost.

cs.ET

Asymptotic strong Feller and weak observability inequality

For a class of non-autonomous linear SPDEs, we establish the equivalence among asymptotic regularization, weak observability, and approximate null controllability for the associated deterministic control systems. This equivalence provides a deterministic control-theoretic characterization of stochastic smoothing and offers a systematic approach to studying SPDEs driven by spatially localized noise. We further establish a criterion for semilinear SPDEs based on weak observability of the linearized equations. Our approach combines methods from PDE control theory with Malliavin calculus. As applications, we consider the stochastic Oseen equation, non-autonomous uniformly parabolic equations, and the parabolic Sine--Gordon equation, all driven by finite-dimensional, spatially localized white-in-time noise.

math.PR

ICCDesign: An R Package for the Design and Analysis of ICC-Based Reliability Studies with Continuous Responses

The intraclass correlation coefficient (ICC) is among the most widely used statistics in reliability research, playing a central role in medical measurement, psychological assessment, and behavioral science. However, practical application of ICC faces two major obstacles. First, ICC can be organized into multiple forms under the McGraw and Wong (1996) framework -- including six widely reported standard forms and four additional design combinations -- and researchers must select the appropriate form based on their study design, yet existing guidelines are not always operationalized in software interfaces. Second, available R tools are highly fragmented: sample size calculation, ICC estimation with confidence intervals, and reliability evaluation are distributed across separate packages, compelling researchers to switch between tools and increasing the risk of analytical errors. This paper introduces the ICCDesign package, designed specifically to provide an integrated workflow for ICC-based reliability studies with continuous responses, assuming one continuous rating per subject-rater cell. The package integrates four core functionalities: (1) point estimation, ANOVA-based confidence intervals, and implemented hypothesis tests for supported ICC design combinations following the McGraw and Wong (1996) framework, with a built-in four-step decision framework guiding users toward an appropriate ICC form; (2) sample size planning based on Zou's (2012) closed-form formulas, supporting two planning modes and an inverse assurance calculation; (3) automated reliability evaluation based on Koo and Li (2016) criteria, with an uncertainty notification when the confidence interval spans the 0.75 good-reliability threshold; and (4) an interactive Shiny web application covering the main analysis and planning functionalities. ICCDesign is available from GitHub at https://github.com/KlariZhang/ICCDesign.

stat.ME

InsightVQA: High-Dimensional Emotion-Cognitive Visual Question Answering Benchmark

Visual emotion understanding requires models not only to recognize emotional states, but also to why they arise and perform higher-level cognitive reasoning. However, existing benchmarks mainly focus on emotion recognition, offering limited support for grounded understanding and response-oriented analysis. To address this gap, we introduce \textbf{InsightVQA}, a large-scale dataset for hierarchical visual question answering on emotion understanding and cognitive reasoning. Building from 351K images collected from six public sources, we apply a rigorous multi-stage filtering pipeline to curate 138K high-confidence images. Each image is annotated at three hierarchical levels: perception QA for emotion and valence recognition, grounded understanding QA constructed from visual trigger extraction through constraint-guided generation, and cognition QA centered on response intent prediction and sequential insight reasoning. In total, InsightVQA contains 725K QA pairs. We further present \textbf{InsightVQA-Bench}, a high-quality evaluation benchmark comprising 30K samples for fine-grained evaluation. To support evaluation, we introduce \textbf{InsightNet}, an emotion-tuned baseline for MLLMs. Results demonstrate that InsightVQA poses significant challenges for grounded emotion understanding and reasoning.

cs.CV

A note on the strong Feller property via the moment method

This note studies the 1D stochastic heat equation driven by a one-dimensional Brownian motion. We prove that the associated Markov process satisfies the strong Feller property under mild non-degeneracy conditions. The approach combines Malliavin calculus with the moment method from PDE control theory.

math.PR

Follow the wobble: Statistical methods to detect astrometric binary asteroids in Gaia FPR

In a previous article, we obtained the first-ever list of astrometric binary asteroid candidates. Some of these candidates have now been confirmed. In that previous work, however, the details of the statistical methods were not provided. Our first aim is to provide methodological details and performance evaluation of the approach used for detecting binaries. Our second aim is to establish an updated list of binary asteroid candidates from Gaia FPR astrometric residuals exploration, where we account for the statistical properties of FPR data. We account for the astrometric uncertainties from FPR and we refine the statistical model of the data, which we use in MC simulation to evaluate the strength of the individual detections; we set up a trend detection method in the residuals and apply a dedicated period search algorithm; we update the statistical selection process to build the list of candidates; we set up a method for detecting objects in multiple windows of consecutive observation; we refine the method for confidence interval estimation of these parameters and we better constrain the physical parameter selection. We detect 343 binary asteroid candidates corresponding to 410 windows of consecutive observations in the astrometric data. We show that in noise-only control simulations, the typical number of detections is 88% lower than in the FPR data. We also detect 9 known binaries, 25 candidates overlapping with the Pan-STARSS survey and 99 overlapping with our previous binary search in DR3. Finally, we report the detection of 45 objects with trends in residuals suggestive of wide binary systems. Our results and analyses demonstrate that although detecting binary asteroids is a difficult problem due to their low signal level, the proposed method is likely to provide a reliable list of detections, including systems poorly accessible to conventional techniques.

astro-ph.EP

Quantitative exponential mixing for the randomized Chirikov standard map

We investigate the mixing properties of a randomized Chirikov standard map on $\mathbb{T}^2$. While the deterministic dynamics exhibit obstructions to global ergodicity, we establish explicit almost-sure quantitative exponential mixing when kicking strengths are sufficiently large. To achieve this, we formulate a criterion for incompressible random dynamical systems, reducing quantitative exponential mixing to serval verifiable conditions. Additionally, we provide a milder parameter condition to derive qualitative exponential mixing and enhanced dissipation.

math.PR

When Emotion Becomes Trigger: Emotion-style dynamic Backdoor Attack Parasitising Large Language Models

Data-poisoning backdoors pose a practical threat to the fine-tuning of large language models (LLMs). Most existing attacks bind an attacker-selected behavior to fixed tokens, phrases, scenarios, or syntactic structures. These discrete triggers provide concrete handles for defenses based on local token anomalies, pattern matching, or trigger recovery. We found that, \emph{under semantics-preserving rewriting, emotionally styled inputs form representation clusters distinct from their neutral counterparts}. Meanwhile, de-emotionalised controls move back towards the neutral distribution. This observation motivates our method \textbf{Paraesthesia}, a dynamic backdoor attack that encodes its triggering condition in an emotional style. Paraesthesia maps target emotions into a valence--arousal space, rewrites a small subset of clean samples, and retains semantically faithful rewrites for fine-tuning. Across instruction-following and classification tasks evaluated on four major LLMs, Paraesthesia achieves an attack success rate(ASR) above 98.25\%, while introducing only negligible degradation to clean utility across the vast majority of model-task setups. Surface feature controls and paired de-emotionalization experiments demonstrate that no examined token-level cue can fully account for the triggered behavior. ASR remains high after word-level filtering, sample clustering, and subsequent clean-update procedures, whereas a white-box decoding defense with access to a task-aligned clean reference provides a distinct mitigation path. These findings identify emotional style as a concrete backdoor trigger surface beyond fixed lexical and syntactic patterns.\par\smallskip \noindent \textcolor{red}{\textbf{WARNING: }\textnormal{This paper contains risk-related textual content.}}

cs.CL

WildClawBench: A Benchmark for Real-World, Long-Horizon Agent Evaluation

Large language and vision-language models increasingly power agents that act on a user's behalf through command-line interface (CLI) harnesses. However, most agent benchmarks still rely on synthetic sandboxes, short-horizon tasks, mock-service APIs, and final-answer checks, leaving open whether agents can complete realistic long-horizon work in the runtimes where they are deployed. This work presents WildClawBench, a native-runtime benchmark of 60 human-authored, bilingual, multimodal tasks spanning six thematic categories. Each task averages roughly 8 minutes of wall-clock time and over 20 tool calls, and runs inside a reproducible Docker container hosting an actual CLI agent harness (OpenClaw, Claude Code, Codex, or Hermes Agent) with access to real tools rather than mock services. Grading is hybrid, combining deterministic rule-based checks, environment-state auditing of side effects, and an LLM/VLM judge for semantic verification. Across 19 frontier models, the best, Claude Opus 4.7, reaches only 62.2% overall under OpenClaw, while every other model stays below 60%, and switching harness alone shifts a single model by up to 18 points. These results show that long-horizon, native-runtime agent evaluation remains a far-from-resolved task for current frontier models. We release the tasks, code, and containerized tooling to support reproducible evaluation.

cs.CL

Exponential mixing for the stochastic Allen--Cahn equation with localized white noise

This paper studies the 1D stochastic Allen--Cahn equation on a bounded domain driven by localized white noise. We prove that the associated Markov process admits a unique invariant measure and is exponential mixing. The main challenge lies in the interaction between localized nature of the noise and non-trivial global dynamics of the system. To overcome this, our approach relies on two ingredients from PDE control theory: stabilization for the linearized system and global steady-state controllability for the nonlinear equation. The stabilization result is derived using the weak observability and Fenchel--Rockafellar duality, while the global controllability relies on quasi-static deformations combined with global dynamics.

math.PR

qPRO-AQFP: Post-Routing Optimization of AQFP Circuits with Delay Line Clocking

Adiabatic Quantum-Flux-Parametron (AQFP) logic is an ultra-low-power superconducting logic family with energy consumption approaching the Shannon limit, making it attractive for quantum computing control and cryogenic computing systems. Traditional AQFP designs face significant physical design challenges due to strict gate-level clocking requirements and limited interconnect lengths, leading to substantial buffer overhead and difficult timing closure. Recently, delay-line clocking of AQFP has been proposed to improve timing margins and reduce latency by enabling more flexible clock scheduling. However, prior work has primarily focused on placement and latency minimization, while relying on fixed timing parameters that do not capture the frequency dependence of AQFP setup and hold constraints. To address this limitation, we propose a frequency-aware post-routing optimization framework that jointly optimizes clock period, latency, and timing slack under user-specified weighting. Experimental results across common benchmarks achieve 100% post-routing timing closure across a range of performance--latency--slack trade-offs. Our approach also automates phase-skipping, reducing path-balancing buffer insertion by 34% on average while only reducing operating frequency by 4%.

cs.ET