arXiv Science⌕ Search

arXiv subjects

Yong Li

Publications and source records attributed to Yong Li.

At least 19 recordsLinked to original sources
arXiv2026

Persistence and long-time breakdown of most probable paths under time-dependent fractional noise with applications to KAM tori

We investigate the persistence of most probable paths through the Onsager--Machlup functional for multidimensional stochastic differential equations driven by fractional Brownian motion with time-dependent diffusion coefficients and Hurst parameter $H\in(1/4,1)$. Under suitable structural and variational conditions, deterministic trajectories remain most probable paths for sufficiently small noise in both the fixed-endpoint transition problem and the free-endpoint evolution problem, whereas sufficiently large noise destroys their local minimality. More generally, when exact persistence does not hold, global most probable paths converge to the corresponding trajectories of the noise-free system in both the uniform and H\"older topologies at the rate $O(\epsilon)$. We further analyze the second variation along periodic deterministic trajectories over time intervals of length $NT$. For $H>1/2$, positive definiteness, and hence local minimality, is lost on sufficiently long intervals. For $H\in(1/4,1/2]$, long-time positive definiteness holds for the fixed-endpoint problem, but this conclusion does not directly extend to the free-endpoint setting. We also establish the persistence of KAM tori in nearly integrable Hamiltonian systems in the sense of most probable evolution paths. Finally, a two-dimensional numerical example illustrates the persistence of deterministic trajectories under small noise and their pronounced deviation under large noise.

math.PR↗
arXiv2026

A globally defined polyconvex isotropic energy satisfying the true-stress-true-strain monotonicity condition (TSTS-M++)

Polyconvexity is a standard ingredient in the variational existence theory of finite elasticity, whereas true-stress-true-strain monotonicity (TSTS-M++) requires a positive incremental Cauchy-stress response. These two constitutive restrictions are independent, and Wollner, Holzapfel and Neff left open whether a compressible isotropic energy defined on the whole of $\mathrm{GL}^{+}(3)$ can satisfy both. We give an explicit affirmative answer. For every $\mu>0$ and $k>0$, the stored-energy function $W_k(F)=\frac{\mu}{2k}\bigl[\exp\bigl(k(\lVert F\rVert^2+3J^{-1}+J-7)\bigr)-1\bigr]$, $J=\det F$, is polyconvex and strictly rank-one convex. Its Cauchy-stress response satisfies TSTS-M++ globally if and only if $k\ge 1/(8\sqrt{3})$. In this regime every symmetric Cauchy stress corresponds to a unique positive-definite stretch, while the reference stretch is stress free with positive infinitesimal shear and bulk moduli. Stress bijectivity has the strictly smaller sharp threshold $k_{\mathrm{B}}\approx 0.00827233304$: at equality the stress map is a global homeomorphism with a nondifferentiable inverse, and above it the map is a global $C^{\infty}$ diffeomorphism. Thus, for $k_{\mathrm{B}}\le k<1/(8\sqrt{3})$, the map $V\mapsto\sigma(V)$ remains globally bijective while TSTS-M++ fails at finite strain. In the TSTS-M++ regime, every prescribed inner radius of a finite plane-strain annulus with a traction-free outer wall has a unique radial equilibrium, and its inner pressure increases smoothly and strictly from zero to infinity.

math.AP↗
arXiv2026

BER-PEF: Unified Human Mobility Predictability Evaluation via Bayes Error Rate Estimation

Human mobility predictability concerns the best prediction performance attainable from a given target and input information, but its ground truth is not directly observable on real mobility data. We present BER-PEF, a Bayes-error-rate-based framework that converts BER estimation into mobility predictability estimation and provides a unified protocol for comparing estimators without observable ground truth. The framework maps symbolic sequences, numeric trajectories, contextual features, and learned representations into a common feature--label space, then evaluates estimator outputs along controlled perturbation curves against a shared predictability reference interval by measuring deviations below the interval, above the interval, and across the full interval. Experiments on Foursquare NYC and TKY, GeoLife, and T-Drive show that several BER-based estimators achieve lower reference discrepancy than existing predictability methods on symbolic sequences and numeric trajectories, while their estimates track changes in empirical prediction performance under perturbation. Additional analyses show that contextual inputs and multiple structured representations can be evaluated under the same protocol, and that aggregating evidence across multiple perturbation levels provides a more reliable basis for estimator selection than relying on a single unperturbed observation. BER-PEF therefore offers a unified and verifiable path for evaluating predictability estimators on heterogeneous mobility data when ground-truth predictability is unavailable.

cs.LG↗
arXiv2026

AI agents reshape consensus formation in human groups

As large language model (LLM) agents shift from tools to participants in human groups, a fundamental question for collective behavior is how their growing presence reshapes consensus formation. Here we study mixed human-AI groups in a collaborative description game, in which shared conventions emerge through repeated rounds of random pairwise communication. Varying the proportions of LLM agents, we identify three distinct regimes of consensus formation: low agent proportions facilitate human-led consensus, intermediate proportions disrupt convergence, and high proportions restore strong consensus while shifting it toward agent-led conventions. Crucially, these regimes differ not only in the strength of convergence, but also in the semantic grounding and communicative form of the resulting consensus: human-led consensus is more concrete, holistic, and grounded in shared real-world analogies, whereas agent-led consensus is more abstract, less information-dense, and more geometrically segmented. Mechanistically, agent influence arises from a shared linguistic prior that places agents near one another in the expression space, combined with relatively stable expression choices across rounds; humans initially resist adopting expressions from partners perceived as AI but gradually yield to conformity pressure. These findings provide evidence that AI composition can shape the emergence, content, and perceived legitimacy of group norms, making agent proportion and transparency important design variables for human-AI systems.

cs.CL↗
arXiv2026

Vitrification-Devitrification Enables Tunable Photonic and Gas Sorption Properties of Zeolitic Imidazolate Frameworks

Zeolitic imidazolate framework (ZIF) glasses represent an emerging family of melt-quenched glasses, which exhibit immense potential for applications in gas separation, energy storage, and optics. However, their intrinsic porosity remains elusive due to the inherent challenges in resolving their disordered atomistic structures. Here, we systematically investigate the porosity of ZIF-4 and ZIF-62 crystals and their corresponding glasses. CO2 sorption at 195 K enables quantitative assessment of microporosity in both crystalline and glassy states, allowing the accessible micropore volume of the ZIF glasses to be determined. Moreover, establishing a direct relationship between photonic properties and structural porosity in Zn-based ZIF glasses remains challenging. Here we demonstrate striking broadband blue-light emission from ZIF-4 glass annealed under optimized conditions. A pronounced red shift is observed when increasing the annealing temperature above the glass transition temperature. By correlating the evolution of photoluminescence with structural porosity, we reveal the interplay between the photonic and gas sorption properties of ZIF glasses. These findings provide new insights into the structure-property relationships of ZIF glasses and offer a pathway toward the rational design of multifunctional MOF glasses.

cond-mat.mtrl-sci↗
arXiv2026

CateKV: On Sequential Consistency for Long-Context LLM Inference Acceleration

Large language models (LLMs) have demonstrated strong capabilities in handling long-context tasks, but processing such long contexts remains challenging due to the substantial memory requirements and inference latency. In this work, we discover that certain attention heads exhibit sequential consistency in their attention patterns, which can be persistently identified using a coefficient-of-variation-based algorithm. Inspired by this observation, we propose CateKV, a hybrid KV cache method that retains only critical token information for consistent heads, thereby reducing KV cache size and computational overhead, while preserving the majority of KV pairs in adaptive heads to ensure high accuracy. We show the unique characteristics of our algorithm and its extension with existing acceleration methods. Comprehensive evaluations on long-context benchmarks show that, while maintaining accuracy comparable to full attention, CateKV reduces memory usage by up to $2.72\times$ and accelerates decoding by $2.18\times$ in single-sample inputs, and boosts throughput by $3.96\times$ in batch scenarios.

cs.LG↗
arXiv2026

CAER: Causal Action Effect Reweighting for World Model Training

World models are becoming core infrastructure for embodied intelligence, with action-conditioned video generation providing controllable predictions of how scenes evolve after agent interventions. Yet existing models are commonly trained with space-time-uniform mean squared error, allowing abundant background tokens to dominate the gradient while sparse interaction dynamics remain under-optimized; such uniform fitting rewards reconstructing appearance rather than learning how actions change the world. We introduce Causal Action Effect Reweighting (CAER), a general training paradigm that redistributes supervision toward the tokens whose predicted future is causally affected by the action. CAER contrasts the model's own predictions with and without action conditioning to localize these tokens online, then normalizes the resulting effect map into a weight that preserves the total coefficient mass and changes only where it is spent. This online signal requires no external annotations or offline preprocessing, avoids additional data-processing time, and scales naturally with model and dataset size. Experiments across heterogeneous action-conditioned world-model tasks show that CAER converges to better solutions than uniform MSE training, with consistent improvements in the physical consistency, controllability, and visual quality of generated videos.

cs.AI↗
arXiv2026

IMPACT: Attention Is the Interaction Map for Scalable Interaction-Aware World Model Training

World models have made remarkable progress in action-conditioned future prediction for embodied agents, yet still struggle to model physically plausible interactions. Existing approaches address this limitation by constraining the generation process with external representations encoding motion, geometry, or semantics. Obtaining these spatiotemporally dense representations typically requires auxiliary estimators or manual annotations, limiting training scalability. We instead revisit the training objective and identify a supervision-allocation mismatch under the globally averaged mean squared error (MSE) denoising objective: prevalent static content dominates the optimization signal, leaving sparse dynamic-object regions critical to interaction generation disproportionately under-supervised. Motivated by this observation, we introduce IMPACT, a scalable Interaction-aware Model training framework with Prior-guided Attention Calibration and Targeting. IMPACT uses cross-attention associated with manipulated-object tokens as an internal spatiotemporal prior for action-conditioned changes. It samples candidate regions from this prior, calibrates them with detached local prediction errors to construct an interaction map, and uses the map to reweight denoising supervision, requiring neither external representations nor inference-time modifications. Extensive experiments on robot-arm and human-hand manipulation, spanning diverse control modalities and DiT backbones, show that IMPACT consistently outperforms the corresponding MSE-trained baselines, improving interaction fidelity, physical plausibility, and visual quality.

cs.AI↗
arXiv2026

Ideation Arena: Evaluating LLM Generated Research Ideas with Battle-style Human Expert Assessment

Evaluating research ideas generated by LLMs is difficult because their scientific value cannot be fully determined by objective criteria, and no single reference answer specifies what counts as a good idea. To address this challenge, we introduce Ideation Arena, a battle style platform that evaluates research ideas through pairwise human assessment. Ideation Arena evaluates ideas generated by 14 frontier LLMs and 5 research agent architectures built on 2 base models. To ensure a common starting point, Ideation Arena builds shared literature contexts from papers familiar to the participating researchers and provides the same contexts to all LLMs and agents. We collect over 6,000 double blind pairwise comparisons from 105 active computer science researchers and construct an Elo rating leaderboard of proposal-stage expert preferences in computer science under a shared closed-context protocol. We validate the rankings through interrater agreement and robustness analyses, showing that the leaderboard remains stable under changes in annotator composition and domain coverage. Our results show substantial variation in agent effectiveness, with some frameworks improving ideation quality over their backbones and others offering little benefit or even underperforming their base models. We further construct Ideation Arena Eval, a benchmark for assessing whether automated evaluators align with human preferences in research ideation. Experiments with current LLM judges show that they still cannot reliably reproduce expert preferences, with the best judge reaching 72.56% Soft Accuracy on Overall Quality. Our code, data, and leaderboards are available at https://github.com/foss12138/Research-Ideation-Arena.

cs.AI↗
arXiv2026

Do LLMs Change Their Minds Like Humans? Diagnosing Human--LLM Divergence in Single-Turn Persuasion Judgments

Large language models (LLMs) are increasingly deployed as proxies for human participants in social simulations, yet whether they update their beliefs in response to persuasive arguments, as humans do, remains poorly understood. We conduct a systematic comparison using a naturally occurring online persuasion corpus in which original posters explicitly verify whether a reply changed their view. Our results show that LLMs achieve only slight agreement with humans (Cohen's kappa ranging from 0.079 to 0.178). Content-level analyses show that humans and LLMs agree on the strongest persuasion cues but diverge on finer ones: humans are more swayed by novel content and assertive language, whereas LLMs favor topical similarity and surface-level formatting. At the level of persuasion strategy, LLMs underweight emotional appeals and overweight credibility signals relative to humans, while the type of proposition under debate exerts no measurable effect on the degree of divergence. Furthermore, switching from first-person role-playing to third-person observation shifts all models toward greater resistance to persuasion, with the effect varying across persuasion strategies and textual features. These findings highlight the risk of treating LLM judgments as faithful proxies for human belief updating and point to structural differences in how LLMs and humans process persuasive discourse. Our code is available at https://github.com/tsinghua-fib-lab/LLM-belief-update-cmv.

cs.CY↗
arXiv2026

Tlow: Flow-based Item Tokenizer for Recommendation

Item tokenizer encodes semantic embeddings into token IDs to replace the randomly assigned item IDs used in traditional recommendation models, fundamentally addressing the problems of excessive parameters and cold starts. However, the most common tokenizer, RQ-VAE, suffers from low decoding efficiency due to the inherent dependencies among its codebooks. Meanwhile, efficient independent tokenizers such as optimized product quantization (OPQ) still struggle with dimensional correlations and distribution complexity of semantic embeddings. In this work, we propose a f\underline{low}-based item \underline{T}okenizer (Tlow) to transform raw semantic embeddings into a latent space where embeddings conform to a unified standard normal distribution, achieving dual advantages of dimensional independence and distributional simplicity. Independent tokenization performed on these latent embeddings yields semantically clear token IDs. Additionally, we introduce a novel codebook guidance to align the codebook space with the token embedding space, further aiding the learning of more semantically distinct token embeddings. Offline experiments on four public datasets demonstrate that Tlow's tokenization and codebook guidance significantly improve recommendation performance. The improvement on cross-domain and multi-modal recommendations also proves the effectiveness of item tokenization in a simplified embedding space. Online experiments for a multi-modal retrieval task on China's largest social media platform WeChat validate Tlow's powerful distribution transformation capability. The retrieval model based on token IDs improves user CTR by 10.32\% globally and by 11.64\% for new items. Our codes are available at https://github.com/wjjln/Tlow.

cs.IR↗
arXiv2026

Resonant state expansion for acoustic resonators. Part I. Eigenvalue problem

Resonant-state expansion (RSE) is a powerful modal framework for the perturbative analysis of open resonant systems, providing direct access to complex eigenfrequencies and eigenmodes. While RSE is well developed in electromagnetism, a comparably systematic formulation for acoustics remains less established. Here, we develop a general Green-function-based formalism for acoustic RSE and illustrate it for a class of two-dimensional acoustic resonators. Using the resonant states of an analytically solvable cylindrical reference system as a basis, we derive explicit perturbation matrix elements for uniform, radial, and sectoral variations of density and compressibility, representing homogeneous tuning, graded profiles, and symmetry-induced modal coupling. The resulting complex eigenfrequencies and eigenmodes are validated against exact analytical solutions and finite-element simulations, showing excellent quantitative agreement. The framework provides a systematic and physically transparent approach for analyzing perturbed open acoustic resonators and establishes a basis for resonant-state methods in acoustic metamaterials and non-Hermitian acoustics.

physics.comp-ph↗
arXiv2026

Resonant state expansion for acoustic resonators. Part II. Scattering problem

We develop a resonant-state expansion formulation for acoustic scattering by individual resonators. The scattered pressure and particle-velocity fields are expanded over the resonant states of the system, with excitation amplitudes determined by overlap integrals between the incident field and the resonant states over the resonator volume. Using the acoustic energy flux, we derive expressions for the extinction, scattering, and absorption cross-sections and show that the extinction spectrum can be resolved into contributions from individual resonant states. The formulation is first validated for a homogeneous two-dimensional cylinder, where it reproduces the analytical Mie-theory solution. We then consider a sectorally perturbed cylinder with coupled azimuthal modes and demonstrate agreement with finite-element simulations. Finally, we combine the eigenvalue and scattering formulations for a material-programmed hard-wall annular metaatom and reproduce its scattering spectra and near fields. The developed framework provides a physically transparent modal approach to acoustic scattering by open resonators with reduced symmetry and spatially structured material parameters.

physics.comp-ph↗
arXiv2026

Learning Canonical Register Automata over Ordered Data Domains

Register automata are finite automata equipped with memory that recognize data languages over infinite alphabets. In this work, we investigate active learning algorithms for deterministic register automata (DRAs) over ordered data domains--covering both dense domains, such as the rationals, and non-dense domains such as the integers. We show that the active learning problem for DRAs over both dense and non-dense ordered domains can be treated within a single unified framework. More specifically, we develop and implement a polynomial-time active learning procedure for DRAs over ordered domains, using oracles for membership, equivalence and memorability queries. The memorability queries were originally introduced for learning DRAs over domains with identity tests. Our unified framework also leads to a new consequence: minimization of DRAs over the non-dense ordered domain of integers is decidable, extending a result previously known only for dense domains. Finally, we give improved complexity bounds of several decision problems for DRAs over ordered domains that are closely related to the queries used in active learning.

cs.CL↗
arXiv2026

Act2Intention: A Benchmark For Developing Active Mobile Agents Through Inferring User Intention from GUI Actions

Mobile GUI Agents powered by multimodal large language models (MLLMs) show promise in human-computer intelligence. However, current research primarily focuses on reactive task execution while lacking a comprehensive understanding-prediction-execution process for user intentions, which are the core requirements of active agents. In this paper, we propose the Act2Intention framework that builds an active mobile agent by integrating understanding, predicting user intentions, and executing decisions. First, we construct the Act2Intention Bench through data collection and validated generation, comprising 72,511 intentions and over 700,000 actions across 52 apps, thereby establishing the first benchmark for evaluating proactive agents via continuous intention-action trajectories. We further develop the Act2Intention Agent, achieving proactive services through Proactive-oriented Intention Understanding, Personalized Proactive Intention Prediction, and Experience-guided Intention Execution. Experimental results show that supervised fine-tuning on Act2Intention Bench yields absolute improvements of +32.0 Acc-S, +10.25 Acc-S, and +6.9 SSR points over non-fine-tuned counterparts under the same agent framework for intention understanding, prediction, and execution, respectively. This success underscores the necessity and value of the Act2Intention Bench, which establishes a standardized platform for developing and evaluating proactive agents and consequently paves the way for research on intention-driven human-computer interaction.

cs.HC↗
arXiv2026

EEG-PRIME: Prototype-Aligned Representation Learning with Multi-Level Conditioning for EEG Decoding

Electroencephalography (EEG) decoding models often generalize poorly across datasets and subjects due to domain shifts in acquisition protocols and individual neurophysiology. We propose EEG-PRIME, a two-stage EEG foundation model for cross-dataset multi-task decoding. EEG-PRIME combines masked pretraining with prototype-aligned instruction tuning to enable instruction-aware and subject-invariant decoding across diverse BCI paradigms. During pretraining, an EEG encoder learns transferable representations through masked reconstruction with frequency-cutoff spectral augmentation. During instruction tuning, EEG-PRIME incorporates task-semantic, dataset-specific, and subject-invariant conditioning. The resulting conditioning signal modulates the Q-Former through Layer-wise Query Modulation, while frozen text embeddings of class labels serve as prototypes for cosine-similarity-based prediction across heterogeneous label spaces. Experiments on sixteen datasets covering motor imagery, emotion recognition, ADHD detection, covert speech, and mental workload show consistent improvements over state-of-the-art baselines and prior EEG foundation models under cross-subject settings. On two additional held-out datasets, EEG-PRIME achieves balanced accuracy comparable to within-session calibration models without target-domain optimization, calibration, or linear probing, demonstrating promising zero-shot transfer capability.

cs.AI↗
arXiv2026

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees

Branch predictors improve instruction-level parallelism in modern processors and are commonly modeled using saturating counters. However, classical saturating counters are deterministic and thus vulnerable to side-channel attacks: an attacker can manipulate the counter state and infer the branch direction of a victim process. Probabilistic saturating counters (PSCs) have been proposed to mitigate this leakage by randomizing counter updates, but existing evaluations are mainly empirical. In this paper, we give a formal analysis based on differential privacy (DP): we model PSCs and the corresponding Prime+Probe attack strategies as probabilistic Moore machines, derive optimal attack strategies, and quantify the attacker's distinguishing power through DP. Our DP guarantee applies to the PSC primitive under the Prime+Probe observation model; end-to-end security for a full branch predictor under repeated or adaptive attacks is an important direction for future work. We then synthesize parameters for an enhanced PSC that satisfies a target pure DP guarantee. To evaluate utility, we derive the stationary misprediction rate and validate the theoretical predictions on benchmark programs. Compared to deterministic and existing probabilistic saturating counters, the synthesized PSCs provide formal security guarantees while preserving competitive prediction performance.

cs.CR↗
arXiv2026

Local Structure Dictates Ionic Transport and Mechanical Properties in Glassy Solid Electrolytes for Lithium Batteries

Electrolytes composed of sulfide and halide glasses are promising candidates for all-solid-state lithium batteries owing to their processability, lack of grain boundaries, and relatively high ionic conductivity. Nevertheless, their ionic conductivity and mechanical properties are still not satisfying for the real-world applications. Significant advances in solid electrolytes require a thorough understanding of their microstructures. Here, we reveal the connections among structure, ionic transport properties, and mechanical stability in a series of glassy solid electrolytes by employing molecular dynamics simulations based on a machine learning interatomic potential. Specifically, we explore how the interplay between B-S and P-S networks in glassy Li-S-P-B-I (LSPBI) governs ionic conductivity and deformation behavior. The introduction of P2S5 into a B2S3-based glass induces a critical structural transformation, through which both ionic conductivity and mechanical nano-ductility can be enhanced. For a moderate P2S5 content, incorporated PS4 units depolymerize the rigid boron framework, creating percolative diffusion pathways for fast ionic transport. Concurrently, the flexible P-S-P configurations enable energy dissipation through bond bending, leading to the brittle-to-ductile transition. However, excessive P2S5 increases the fraction of polyphosphates (e.g., P2S6 and P2S7), thereby polymerizing the structural network and ultimately impeding Li+ mobility. Our work thus provides atomistic principles for engineering glass electrolytes with balanced ionic conductivity and mechanical robustness.

cond-mat.mtrl-sci↗