arXiv Science⌕ Search

arXiv subjects

Rui Tian

Publications and source records attributed to Rui Tian.

At least 19 recordsLinked to original sources
arXiv2026

Tan's Contact for Trapped Spin-Orbit-Coupled Fermi Gases at Finite Temperature

Tan's contact, bridging microscopic features of many-body quantum systems to two-body contact interactions, is pivotal in the description of quantum gases. However, past studies of Tan's contact of the spin-orbit coupled Fermi gases have been exclusively discussed at zero temperature. The thermal effects on that, which cannot be neglected in most experimental conditions, has not been explored so far. Here, through a path integral Monte Carlo (PIMC) study, we show that thermal effects fundamentally alter the scaling relation between spin-orbit coupling (SOC) and Tan's contact. The linear scaling of Tan's contact with respect to the strength of SOC found at zero temperature is drastically undermined by the thermal effects. And a new mechanism based on the competition between the mean occupancy and the energy-reweighted occupancy of the opposite spin fermion pairs within the interaction range has been unveiled, which radically changes the above linear scaling to a non-monotonic dependence. Our work should be useful for future experiments to explore the preternatural thermal effects on Tan's contact of the strongly interacting spin-orbit-coupled Fermi gas.

cond-mat.quant-gas↗
arXiv2026

AutoRSE: Evaluating LLM Agents as Recommendation Engineers for Self-Evolving Recommender Systems

Recommender Systems Engineer Agents (RSE-Agents), which use LLM-based agents to autonomously improve recommendation algorithms, are emerging as a promising paradigm. However, their capabilities and limitations remain poorly understood due to the lack of a unified, standardized evaluation framework and systematic trajectory-level analysis. To address this gap, we introduce AutoRSE, an evaluation framework spanning six representative industrial-grade recommendation tasks, and conduct a large-scale empirical study of three frontier LLMs across three widely used agent harnesses. Our results show that RSE-Agents consistently enhance the performance of backbones on five of the six tasks, with an average relative improvement of 16.1%, indicating that they can already autonomously improve recommendation performance. However, trajectory-level analysis also reveals that current RSE-Agents function primarily as engineering optimizers rather than algorithmic improvers: their gains are largely driven by hyperparameter tuning, training strategies, and model ensembling, while genuine algorithmic innovations are rare. Since the largest gains in recommender systems often stem from algorithmic advances, this behavior underscores a fundamental limitation of current RSE-Agents. To probe this limitation, we perform idea-injection experiments and show that agents equipped with innovative ideas from frontier research or human experts achieve substantially larger improvements than those relying on self-generated ideas. These results suggest that idea generation is a central bottleneck of current RSE-Agents, highlights a key direction for the future recommendation system research. Our implementation is publicly available on GitHub: https://github.com/Ray-Tiann/AutoRSE.

cs.IR↗
arXiv2026

EvoRiskBench: An Evolving Benchmark for Runtime Security Risks in Workspace Agents

Workspace agents combine large language models with execution harnesses to perform stateful, multi-step tasks that access or modify external resources. Existing benchmarks leave gaps in executable coverage of their runtime security risks, while evolving model capabilities, harnesses, tools, and threats motivate benchmark evolution. We introduce EvoRiskBench, an evolving benchmark organized around the EP-Path-EF framework, which links an initial risk entry point to a one-hop technical effect through an agent-mediated risk path. The framework defines nine entry-point categories and five effect categories; a 20-participant study supports their interpretability and classification consistency on representative cases. Guided by this framework, an automated end-to-end workflow constructs and executes risk cases in isolated environments and independently verifies outcomes using runtime traces and environment states. The benchmark provides a reproducible dataset of 450 adversarial tasks across six scenarios. We evaluate nine model-harness configurations spanning three models (GPT-5.6 Sol, DeepSeek-V4-Pro-0813, and Claude Opus 5) and three harnesses (Claude Code, Codex, and OpenClaw). Our results reveal substantial vulnerabilities across systems. The most vulnerable configuration, Codex with DeepSeek-V4-Pro-0813, reaches a 68.44% attack success rate (ASR), indicating that configuration of workspace agent is insufficient to ensure secure autonomous execution. ASR varies more across models than harnesses, and harness differences depend on the model. The benchmark cases and evaluation platform will be released after completion of artifact safety and reproducibility checks.

cs.CR↗
arXiv2026

Representation Dynamics Reveal Semantic Saliency and Similarity for Visual Token Pruning in MLLMs

Multimodal large language models (MLLMs) incur high inference latency from long visual token sequences. Existing pruning methods commonly use attention maps or output features to estimate token importance or redundancy. Several recent approaches also exploit representation changes, but when and how these changes reflect foreground saliency and semantic consistency remain insufficiently understood. We analyze visual token representation dynamics across encoder depth and uncover two findings. First, the relationship between token update magnitudes and foreground saliency is layer-dependent: large token updates concentrate on foreground regions in two depth intervals, separated by several sink-dominated layers at intermediate depths. Second, similarities between token update directions better distinguish same-class from different-class tokens than those between encoder output features. Building on these findings, we propose MSDG-Prune, a training-free method that uses update magnitudes and directions to preserve salient and diverse visual information. Specifically, we group tokens by update-direction similarity and use query-weighted saliency derived from update magnitudes across a chosen depth window for group-wise token pruning. Extensive experiments across four MLLMs demonstrate the effectiveness and generalizability of MSDG-Prune. On LLaVA-NeXT, it retains 91.9% of uncompressed performance on average with only 5.6% of visual tokens, while achieving a 7.8x prefilling speedup. Code is available at https://github.com/liweixuan-hitsz/MSDG-Prune.

cs.CV↗
arXiv2026

MintAct: A Unified Visual Agent for Digital Environments

We present MintAct, a family of vision-language models that unifies UI grounding, multi-step navigation across mobile, desktop, and web, and visual tool use, trained at 2B, 4B, and 8B scales. Through careful design of our environments, data, and training recipes, MintAct models match the performance of per-domain specialists across all of these capabilities. To enable this, we develop a scalable environment and reinforcement learning (RL) infrastructure. On the environment side, we host hundreds of concurrent instances across heterogeneous per-domain backends, serving both trajectory data collection and online RL. To enable efficient and scalable RL training, an asynchronous framework keeps explicit control over the cross-domain training distribution and remains stable under noisy environment feedback and off-policy drift. Experimental results show that MintAct achieves state-of-the-art performance (48.9 on OSWorld-Verified) across a wide range of benchmarks at comparable model sizes.

cs.CV↗
arXiv2026

Group-Patch Joint Compression: Compressing Dynamic B0 and Static RF Spatial Modulations Across k-Space Subregion Groups for Highly Accelerated MRI

Purpose: To accelerate MRI further, rapid B0 field modulations can be applied during oversampled readout to capture additional physical information, as in Wave-CAIPI/FRONSAC/local B0 coils modulation techniques. These methods, however, turn the Fourier readout into a non-Fourier-encoded dimension that cannot be reconstructed by FFT, posing significant reconstruction challenges especially in compressed-sensing or neural-network frameworks. Theory and methods: Because the rapid B0 modulations still vary slowly relative to the oversampled ADC dwell time, we exploit this encoding redundancy by compressing k-space patch-by-patch across subregions, each of which is jointly encoded by a distinct subset of B0 and RF (receive) spatial encoding functions. For each subset, a compression matrix is computed once and reused to compress all patches encoded by the same B0-RF spatial modulations. This can be implemented by feeding subsets of B0 and RF spatial encoding maps into an adapted conventional RF array compression algorithm, mimicking an expanded set of virtual receiver channels. This approach was evaluated on human brain scans at 9.4 T/3 T. Results: The proposed group-patch joint compression achieves substantially higher compression factors than conventional RF-only compression, while minimally compromising encoding efficiency. Typically, joint compression factors of 11x-20x led to negligible encoding loss, dramatically reducing reconstruction time and peak memory usage. For example, compressed-sensing reconstruction took 1.4-5.1 s/2D slice, 177 s-10.1 min/3D volume on a high-memory CPU node. Conclusion: Given joint encoding of dynamic B0 and static RF fields, compressing multidimensional k-space patches in separate groups outperforms compressing RF receivers alone. This substantially mitigates a fundamental computational bottleneck when combining rapid B0 and RF-receiver modulations.

physics.med-ph↗
arXiv2026

Conditional Memory via Scalable Lookup: A New Axis of Sparsity for Large Language Models

While Mixture-of-Experts (MoE) scales capacity via conditional computation, Transformers lack a native primitive for knowledge lookup, forcing them to inefficiently simulate retrieval through computation. To address this, we introduce conditional memory as a complementary sparsity axis, instantiated via Engram, a module that modernizes classic $N$-gram embedding for O(1) lookup. By formulating the Sparsity Allocation problem, we uncover a U-shaped scaling law that optimizes the trade-off between neural computation (MoE) and static memory (Engram). Guided by this law, we scale Engram to 27B parameters, achieving superior performance over a strictly iso-parameter and iso-FLOPs MoE baseline. Most notably, while the memory module is expected to aid knowledge retrieval (e.g., MMLU +3.4; CMMLU +4.0), we observe even larger gains in general reasoning (e.g., BBH +5.0; ARC-Challenge +3.7) and code/math domains~(HumanEval +3.0; MATH +2.4). Mechanistic analyses reveal that Engram relieves the backbone's early layers from static reconstruction, effectively deepening the network for complex reasoning. Furthermore, by delegating local dependencies to lookups, it frees up attention capacity for global context, substantially boosting long-context retrieval (e.g., Multi-Query NIAH: 84.2 to 97.0). Finally, Engram establishes infrastructure-aware efficiency: its deterministic addressing enables runtime prefetching from host memory, incurring negligible overhead. We envision conditional memory as an indispensable modeling primitive for next-generation sparse models.

cs.CL↗
arXiv2026

DSpark: Confidence-Scheduled Speculative Decoding with Semi-Autoregressive Generation

Speculative decoding accelerates Large Language Model (LLM) inference by decoupling draft generation from target verification. While recent parallel drafters efficiently propose long token sequences in a single forward pass, they suffer from rapid acceptance decay due to a lack of inter-token dependencies. Furthermore, indiscriminately verifying these extended blocks wastes critical batch capacity on tokens with high rejection risks, severely degrading throughput in high-concurrency serving systems. We introduce DSpark, a speculative decoding framework that unifies high-throughput parallel generation with adaptive, load-aware verification. To maintain draft quality, DSpark utilizes a semi-autoregressive architecture, coupling a parallel backbone with a lightweight sequential module, to introduce intra-block dependency modeling and mitigate suffix decay. To optimize system efficiency, DSpark employs confidence-scheduled verification, dynamically tailoring the verification length for each request based on estimated prefix survival probabilities and engine-specific throughput profiles. On offline benchmarks across diverse domains, DSpark substantially improves the accepted length over state-of-the-art autoregressive and parallel drafters. When deployed within the DeepSeek-V4 serving system under live user traffic, DSpark successfully mitigates verification waste. Compared to the established production baseline (MTP-1), DSpark accelerates per-user generation speeds by 60 to 85 percent at matched throughput levels. More importantly, by preventing severe throughput degradation under strict interactivity constraints, it enables performance tiers that were previously unattainable, shifting the Pareto frontier of our serving system.

cs.AI↗
arXiv2026

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs

Large language models (LLMs) have demonstrated significant potential in formal theorem proving, yet state-of-the-art performance often necessitates prohibitive test-time compute via massive roll-outs or extended context windows. In this work, we address this scalability bottleneck by exploiting an informative structure in formal verification: the observation that compilers map a vast space of diverse proof attempts to a compact set of structured failure modes. We introduce a learning-to-refine framework that leverages this compression to perform efficient learning and proof exploration. We perform tree search that corrects errors locally conditioned on explicit verifier feedback, thereby circumventing the costs associated with accumulating a long history of proof attempts. Extensive evaluations show that our method consistently amplifies the reasoning capabilities of base provers across varying scales. Notably, our approach achieves state-of-the-art performance on PutnamBench among publicly reported $\sim$8B and $\sim$32B parameter models under comparable test-time budgets, offering a scalable paradigm for next-generation verifier-guided reasoning.

cs.LG↗
arXiv2026

LLM as Attention-Informed NTM and Topic Modeling as long-input Generation: Interpretability and long-Context Capability

Topic modeling aims to produce interpretable topic representations and topic--document correspondences from corpora, but classical neural topic models (NTMs) remain constrained by limited representation assumptions and semantic abstraction ability. We study LLM-based topic modeling from both white-box and black-box perspectives. For white-box LLMs, we propose an attention-informed framework that recovers interpretable structures analogous to those in NTMs, including document-topic and topic-word distributions. This validates the view that LLM can serve as an attention-informed NTM. For black-box LLMs, we reformulate topic modeling as a structured long-input task and introduce a post-generation signal compensation method based on diversified topic cues and hybrid retrieval. Experiments show that recovered attention structures support effective topic assignment and keyword extraction, while black-box long-context LLMs achieve competitive or stronger performance than other baselines. These findings suggest a connection between LLMs and NTMs and highlight the promise of long-context LLMs for topic modeling.

cs.CL↗
arXiv2026

Group-kernel auto-calibration and group-patch k-space reconstruction: Fast MRI with time-variant B0 kernels partitioned into time-invariant subsets

Purpose: Pushing MRI speed further demands more spatially-encoded information captured per unit time, e.g., by superimposing additional field modulations during oversampled readout. However, this can introduce calibration errors and increase reconstruction time. Thus, we propose a continuous field calibration approach and an efficient k-space reconstruction technique. Theory and Methods: Our auto-calibration generalizes GRAPPA kernels to explicitly extract continuous B0 modulation kernels, solving interpolation relationships between two ACS regions differing only in the extra field modulation. The k-space locations sharing the same instantaneous image-space modulation are grouped, so that subsets of time-invariant kernels can be separately estimated, as a generalized solution for Wave-CAIPI/FRONSAC-type scans. This view further inspires a k-space subregion-wise reconstruction technique, as an efficient alternative to conventional hybrid-space reconstruction. At 9.4T, FLASH accelerated by a local B0 coil array and Wave-CAIPI were tested with retrospective undersampling. Results: Artifact-free images were reconstructed, under diverse rapid B0 modulation schemes, reaching maximum acceleration factors of 8-fold in 2D and 14.6-fold in 3D. Some nonlinear gradients modulation schemes reach similar sampling efficiency as linear gradients modulation. The proposed reconstruction shows potentials in reducing reconstruction time. Conclusion: Rapid B0 modulations and widely-adopted parallel imaging can share a common mathematical framework, and consequently, achieve similarly-robust reconstructions. Specifically, for scans using dynamic B0 and static RF kernels, not only signal encoding, but also auto-calibration and reconstruction can be performed in k-space. This paves the way to robustly remove eddy currents, and explore more complex B0 modulation strategies towards ultimate MRI speed.

physics.med-ph↗
arXiv2025

UniGen-1.5: Enhancing Image Generation and Editing through Reward Unification in Reinforcement Learning

We present UniGen-1.5, a unified multimodal large language model (MLLM) for advanced image understanding, generation and editing. Building upon UniGen, we comprehensively enhance the model architecture and training pipeline to strengthen the image understanding and generation capabilities while unlocking strong image editing ability. Especially, we propose a unified Reinforcement Learning (RL) strategy that improves both image generation and image editing jointly via shared reward models. To further enhance image editing performance, we propose a light Edit Instruction Alignment stage that significantly improves the editing instruction comprehension that is essential for the success of the RL training. Experimental results show that UniGen-1.5 demonstrates competitive understanding and generation performance. Specifically, UniGen-1.5 achieves 0.89 and 4.31 overall scores on GenEval and ImgEdit that surpass the state-of-the-art models such as BAGEL and reaching performance comparable to proprietary models such as GPT-Image-1.

cs.CV↗
arXiv2025

REDUCIO! Generating 1K Video within 16 Seconds using Extremely Compressed Motion Latents

Commercial video generation models have exhibited realistic, high-fidelity results but are still restricted to limited access. One crucial obstacle for large-scale applications is the expensive training and inference cost. In this paper, we argue that videos contain significantly more redundant information than images, allowing them to be encoded with very few motion latents. Towards this goal, we design an image-conditioned VAE that projects videos into extremely compressed latent space and decode them based on content images. This magic Reducio charm enables 64x reduction of latents compared to a common 2D VAE, without sacrificing the quality. Building upon Reducio-VAE, we can train diffusion models for high-resolution video generation efficiently. Specifically, we adopt a two-stage generation paradigm, first generating a condition image via text-to-image generation, followed by text-image-to-video generation with the proposed Reducio-DiT. Extensive experiments show that our model achieves strong performance in evaluation. More importantly, our method significantly boosts the training and inference efficiency of video LDMs. Reducio-DiT is trained in just 3.2K A100 GPU hours in total and can generate a 16-frame 1024$\times$1024 video clip within 15.5 seconds on a single A100 GPU. Code released at https://github.com/microsoft/Reducio-VAE .

cs.CV↗
arXiv2025

HiDream-I1: A High-Efficient Image Generative Foundation Model with Sparse Diffusion Transformer

Recent advancements in image generative foundation models have prioritized quality improvements but often at the cost of increased computational complexity and inference latency. To address this critical trade-off, we introduce HiDream-I1, a new open-source image generative foundation model with 17B parameters that achieves state-of-the-art image generation quality within seconds. HiDream-I1 is constructed with a new sparse Diffusion Transformer (DiT) structure. Specifically, it starts with a dual-stream decoupled design of sparse DiT with dynamic Mixture-of-Experts (MoE) architecture, in which two separate encoders are first involved to independently process image and text tokens. Then, a single-stream sparse DiT structure with dynamic MoE architecture is adopted to trigger multi-model interaction for image generation in a cost-efficient manner. To support flexiable accessibility with varied model capabilities, we provide HiDream-I1 in three variants: HiDream-I1-Full, HiDream-I1-Dev, and HiDream-I1-Fast. Furthermore, we go beyond the typical text-to-image generation and remould HiDream-I1 with additional image conditions to perform precise, instruction-based editing on given images, yielding a new instruction-based image editing model namely HiDream-E1. Ultimately, by integrating text-to-image generation and instruction-based image editing, HiDream-I1 evolves to form a comprehensive image agent (HiDream-A1) capable of fully interactive image creation and refinement. To accelerate multi-modal AIGC research, we have open-sourced all the codes and model weights of HiDream-I1-Full, HiDream-I1-Dev, HiDream-I1-Fast, HiDream-E1 through our project websites: https://github.com/HiDream-ai/HiDream-I1 and https://github.com/HiDream-ai/HiDream-E1. All features can be directly experienced via https://vivago.ai/studio.

cs.CV↗
arXiv2025

UniGen: Enhanced Training & Test-Time Strategies for Unified Multimodal Understanding and Generation

We introduce UniGen, a unified multimodal large language model (MLLM) capable of image understanding and generation. We study the full training pipeline of UniGen from a data-centric perspective, including multi-stage pre-training, supervised fine-tuning, and direct preference optimization. More importantly, we propose a new Chain-of-Thought Verification (CoT-V) strategy for test-time scaling, which significantly boosts UniGen's image generation quality using a simple Best-of-N test-time strategy. Specifically, CoT-V enables UniGen to act as both image generator and verifier at test time, assessing the semantic alignment between a text prompt and its generated image in a step-by-step CoT manner. Trained entirely on open-source datasets across all stages, UniGen achieves state-of-the-art performance on a range of image understanding and generation benchmarks, with a final score of 0.78 on GenEval and 85.19 on DPG-Bench. Through extensive ablation studies, our work provides actionable insights and addresses key challenges in the full life cycle of building unified MLLMs, contributing meaningful directions to the future research.

cs.CV↗
arXiv2025

Observation of non-Hermitian bulk-boundary correspondence in non-chiral non-unitary quantum dynamics of single photons

The breakdown of conventional bulk-boundary correspondence, a cornerstone of topological physics, is one of counter-intuitive phenomena in non-Hermitian systems, that is deeply rooted in symmetry. In particular, preserved chiral symmetry is one of the key ingredients, which plays a pivotal role in determining non-Hermitian topology. Nevertheless, chiral symmetry breaking in non-Hermitian systems disrupts topological protection, modifies topological invariants, and substantially reshapes spectral and edge-state behavior. The corresponding fundamentally important bulk-boundary correspondence thus needs to be drastically reconstructed. However, it has so far eluded experimental efforts. Here, we theoretically predict and experimentally demonstrate the bulk-boundary correspondence of a one-dimensional (1D) non-Hermitian system with chiral symmetry breaking in discrete-time non-chiral non-unitary quantum walks of single photons. Through constructing a domain-wall configuration, we experimentally observe the photon localization at the interface of domain-wall structure, clearly indicating the presence of the topological edge mode. The appearance of that matches excellently with the prediction of our introduced non-chiral non-Bloch topological invariants pair. Our work thus unequivocally builds the non-Hermitian bulk-boundary correspondence as a general principle for studying topological physics in non-Hermitian systems with chiral symmetry breaking.

cond-mat.mes-hall↗
arXiv2025

Non-Hermiticity enhanced topological immunity of one-dimensional $p$-wave superconducting chain

Studying the immunity of topological superconductors against non-local disorder is one of the key issues in both fundamental researches and potential applications. Here, we demonstrate that the non-Hermiticity can enhance the robustness of topological edge states against non-local disorder. To illustrate that, we consider a one-dimensional (1D) generalized Kitaev model with the asymmetric hopping in the presence of disorder. It is shown that the region supporting Majorana zero modes (MZMs) against non-local disorder will be enlarged by the non-Hermiticity. Through both the numerical and analytical analyses, we show that non-Hermiticity can stabilize the topological superconducting (SC) phase against higher disorder strength. Our studies would offer new insights into the interplay between non-Hermiticity and topology.

cond-mat.supr-con↗