arXiv subjects

Kaixuan Huang

Publications and source records attributed to Kaixuan Huang.

At least 37 records · Page 2Linked to original sources

arXiv2025

Observation of Inelastic Meson Scattering in a Floquet System using a Digital Quantum Simulator

Lattice gauge theories provide a non-perturbative framework for understanding confinement and hadronic physics, but their real-time dynamics remain challenging for classical computations. However, quantum simulators offer a promising alternative for exploring such dynamics beyond classical capabilities. Here, we experimentally investigate meson scattering using a superconducting quantum processor. Employing a digital protocol, we realize a Floquet spin chain equivalent to a one-dimensional Floquet $\mathbb{Z}_2$ lattice gauge theory. We observe Bloch oscillations of single kinks and strong binding between adjacent kinks, signaling confinement and the formation of stable mesons in this Floquet system. Using full-system joint readout, we resolve meson populations by string length, enabling identification of meson scattering channels. Our results reveal the fragmentation of a long-string meson into multiple short-string mesons, which is also an experimental signature of string breaking. Moreover, we directly observe inelastic meson scattering, where two short-string mesons can merge into a longer one. Our results pave the way for studying interacting gauge particles and composite excitations on digital quantum simulators.

quant-ph↗

arXiv2025

CRISPR-GPT for Agentic Automation of Gene-editing Experiments

The introduction of genome engineering technology has transformed biomedical research, making it possible to make precise changes to genetic information. However, creating an efficient gene-editing system requires a deep understanding of CRISPR technology, and the complex experimental systems under investigation. While Large Language Models (LLMs) have shown promise in various tasks, they often lack specific knowledge and struggle to accurately solve biological design problems. In this work, we introduce CRISPR-GPT, an LLM agent augmented with domain knowledge and external tools to automate and enhance the design process of CRISPR-based gene-editing experiments. CRISPR-GPT leverages the reasoning ability of LLMs to facilitate the process of selecting CRISPR systems, designing guide RNAs, recommending cellular delivery methods, drafting protocols, and designing validation experiments to confirm editing outcomes. We showcase the potential of CRISPR-GPT for assisting non-expert researchers with gene-editing experiments from scratch and validate the agent's effectiveness in a real-world use case. Furthermore, we explore the ethical and regulatory considerations associated with automated gene-editing design, highlighting the need for responsible and transparent use of these tools. Our work aims to bridge the gap between beginner biological researchers and CRISPR genome engineering techniques, and demonstrate the potential of LLM agents in facilitating complex biological discovery tasks. The published version of this draft is available at https://www.nature.com/articles/s41551-025-01463-z.

cs.AI↗

arXiv2025

Non-Equilibrium Criticality-Enhanced Quantum Sensing with Superconducting Qubits

Exploiting quantum features allows for estimating external parameters with precisions well beyond the capacity of classical sensors, a phenomenon known as quantum-enhanced precision. Quantum criticality has been identified as a resource for achieving such enhancements with respect to the probe size. However, they demand complex probe preparation and measurement and the achievable enhancement is ultimately restricted to narrow parameter regimes. On the other hand, non-equilibrium probes harness dynamics, enabling quantum-enhanced precision with respect to time over a wide range of parameters through simple probe initialization. Here, we unify these approaches through a Stark-Wannier localization platform, where competition between a linear gradient field and particle tunneling enables quantum-enhanced sensitivity across an extended parameter regime. The probe is implemented on a 9-qubit superconducting quantum device, in both single- and double-excitation subspaces, where we explore its performance in the extended phase, the critical point and the localized phase. Despite employing only computational-basis measurements we have been able to achieve near-Heisenberg-limited precision by combining outcomes at distinct evolution times. In addition, we demonstrate that the performance of the probe in the entire extended phase is significantly outperforming the performance in the localized regime. Our results highlight Stark-Wannier systems as versatile platforms for quantum sensing, where the combination of criticality and non-equilibrium dynamics enhances precision over a wide range of parameters without stringent measurement requirements.

quant-ph↗

arXiv2025

Radial oscillations of neutron stars within density-dependent relativistic-mean field model

The radial oscillations of neutron stars are studied using equations of state derived from density-dependent relativistic mean-field (DDRMF) models, which effectively describe the ground-state properties of finite nuclei. A novel numerical approach, the finite volume method (FVM), is employed to solve the eigenvalue problem associated with oscillation frequencies. Compared to conventional methods such as the finite difference method and shooting method, the FVM avoids the numerical instability encountered at high frequencies with an equation of state that includes a discontinuous adiabatic index and offers greater computational efficiency. The oscillation frequencies of high-order modes exhibit a similar trend of change. The radial displacements and pressure perturbations are largely influenced by the EOSs of crust region. {The frequency of the first excited state shows a strong linear relationship with both the slope and skewness parameters of the symmetry energy.} These findings suggest that the density dependence of the symmetry energy can be constrained through observations of neutron star radial oscillation frequencies.

nucl-th↗

arXiv2025

Microwave Engineering of Tunable Spin Interactions with Superconducting Qubits

Quantum simulation has emerged as a powerful framework for investigating complex many - body phenomena. A key requirement for emulating these dynamics is the realization of fully controllable quantum systems enabling various spin interactions. Yet, quantum simulators remain constrained in the types of attainable interactions. Here we demonstrate experimental realization of multiple microwave - engineered spin interactions in superconducting quantum circuits. By precisely controlling the native XY interaction and microwave drives, we achieve tunable spin Hamiltonians including: (i) XYZ spin models with continuously adjustable parameters, (ii) transverse - field Ising systems, and (iii) Dzyaloshinskii - Moriya interacting systems. Our work expands the toolbox for analogue - digital quantum simulation, enabling exploration of a wide range of exotic quantum spin models.

quant-ph↗

arXiv2025

Direct Implementation of High-Fidelity Three-Qubit Gates for Superconducting Processor with Tunable Couplers

Three-qubit gates can be constructed using combinations of single-qubit and two-qubit gates, making their independent realization unnecessary. However, direct implementation of three-qubit gates reduces the depth of quantum circuits, streamlines quantum programming, and facilitates efficient circuit optimization, thereby enhancing overall performance in quantum computation. In this work, we propose and experimentally demonstrate a high-fidelity scheme for implementing a three-qubit controlled-controlled-Z (CCZ) gate in a flip-chip superconducting quantum processor with tunable couplers. This direct CCZ gate is implemented by simultaneously leveraging two tunable couplers interspersed between three qubits to enable three-qubit interactions, achieving an average final state fidelity of $97.94\%$ and a process fidelity of $93.54\%$. This high fidelity cannot be achieved through a simple combination of single- and two-qubit gate sequences from processors with similar performance levels. Our experiments also verify that multilayer direct implementation of the CCZ gate exhibits lower leakage compared to decomposed gate approaches. As a showcase, we utilize the CCZ gate as an oracle to implement the Grover search algorithm on three qubits, demonstrating high performance with the target probability amplitude significantly enhanced after two iterations. These results highlight the advantage of our approach, and facilitate the implementation of complex quantum circuits.

quant-ph↗

arXiv2025

Many-body delocalization with a two-dimensional 70-qubit superconducting quantum simulator

Quantum many-body systems with sufficiently strong disorder can exhibit a non-equilibrium phenomenon, known as the many-body localization (MBL), which is distinct from conventional thermalization. While the MBL regime has been extensively studied in one dimension, its existence in higher dimensions remains elusive, challenged by the avalanche instability. Here, using a 70-qubit two-dimensional (2D) superconducting quantum simulator, we experimentally explore the robustness of the MBL regime in controlled finite-size 2D systems. We observe that the decay of imbalance becomes more pronounced with increasing system sizes, scaling up from 21, 42 to 70 qubits, with a relatively large disorder strength, and for the first time, provide an evidence for the many-body delocalization in 2D disordered systems. Our experimental results are consistent with the avalanche theory that predicts the instability of MBL regime beyond one spatial dimension. This work establishes a scalable platform for probing high-dimensional non-equilibrium phases of matter and their finite-size effects using superconducting quantum circuits.

quant-ph↗

arXiv2025

SpecDec++: Boosting Speculative Decoding via Adaptive Candidate Lengths

Speculative decoding reduces the inference latency of a target large language model via utilizing a smaller and faster draft model. Its performance depends on a hyperparameter K -- the candidate length, i.e., the number of candidate tokens for the target model to verify in each round. However, previous methods often use simple heuristics to choose K, which may result in sub-optimal performance. We study the choice of the candidate length K and formulate it as a Markov Decision Process. We theoretically show that the optimal policy of this Markov decision process takes the form of a threshold policy, i.e., the current speculation should stop and be verified when the probability of getting a rejection exceeds a threshold value. Motivated by this theory, we propose SpecDec++, an enhanced version of speculative decoding that adaptively determines the candidate length on the fly. We augment the draft model with a trained acceptance prediction head to predict the conditional acceptance probability of the candidate tokens. SpecDec++ will stop the current speculation when the predicted probability that at least one token gets rejected exceeds a threshold. We implement SpecDec++ and apply it to the llama-2-chat 7B & 70B model pair. Our adaptive method achieves a 2.04x speedup on the Alpaca dataset (7.2% improvement over the baseline speculative decoding). On the GSM8K and HumanEval datasets, our method achieves a 2.26x speedup (9.4% improvement) and 2.23x speedup (11.1% improvement), respectively. The code of this paper is available at https://github.com/Kaffaljidhmah2/SpecDec_pp.

cs.CL↗

arXiv2025

On Path to Multimodal Historical Reasoning: HistBench and HistAgent

Recent advances in large language models (LLMs) have led to remarkable progress across domains, yet their capabilities in the humanities, particularly history, remain underexplored. Historical reasoning poses unique challenges for AI, involving multimodal source interpretation, temporal inference, and cross-linguistic analysis. While general-purpose agents perform well on many existing benchmarks, they lack the domain-specific expertise required to engage with historical materials and questions. To address this gap, we introduce HistBench, a new benchmark of 414 high-quality questions designed to evaluate AI's capacity for historical reasoning and authored by more than 40 expert contributors. The tasks span a wide range of historical problems-from factual retrieval based on primary sources to interpretive analysis of manuscripts and images, to interdisciplinary challenges involving archaeology, linguistics, or cultural history. Furthermore, the benchmark dataset spans 29 ancient and modern languages and covers a wide range of historical periods and world regions. Finding the poor performance of LLMs and other agents on HistBench, we further present HistAgent, a history-specific agent equipped with carefully designed tools for OCR, translation, archival search, and image understanding in History. On HistBench, HistAgent based on GPT-4o achieves an accuracy of 27.54% pass@1 and 36.47% pass@2, significantly outperforming LLMs with online search and generalist agents, including GPT-4o (18.60%), DeepSeek-R1(14.49%) and Open Deep Research-smolagents(20.29% pass@1 and 25.12% pass@2). These results highlight the limitations of existing LLMs and generalist agents and demonstrate the advantages of HistAgent for historical reasoning.

cs.AI↗

arXiv2025

Emergent Symbolic Mechanisms Support Abstract Reasoning in Large Language Models

Many recent studies have found evidence for emergent reasoning capabilities in large language models (LLMs), but debate persists concerning the robustness of these capabilities, and the extent to which they depend on structured reasoning mechanisms. To shed light on these issues, we study the internal mechanisms that support abstract reasoning in LLMs. We identify an emergent symbolic architecture that implements abstract reasoning via a series of three computations. In early layers, symbol abstraction heads convert input tokens to abstract variables based on the relations between those tokens. In intermediate layers, symbolic induction heads perform sequence induction over these abstract variables. Finally, in later layers, retrieval heads predict the next token by retrieving the value associated with the predicted abstract variable. These results point toward a resolution of the longstanding debate between symbolic and neural network approaches, suggesting that emergent reasoning in neural networks depends on the emergence of symbolic mechanisms.

cs.CL↗

arXiv2025

Alita: Generalist Agent Enabling Scalable Agentic Reasoning with Minimal Predefinition and Maximal Self-Evolution

Recent advances in large language models (LLMs) have enabled agents to autonomously perform complex, open-ended tasks. However, many existing frameworks depend heavily on manually predefined tools and workflows, which hinder their adaptability, scalability, and generalization across domains. In this work, we introduce Alita--a generalist agent designed with the principle of "Simplicity is the ultimate sophistication," enabling scalable agentic reasoning through minimal predefinition and maximal self-evolution. For minimal predefinition, Alita is equipped with only one component for direct problem-solving, making it much simpler and neater than previous approaches that relied heavily on hand-crafted, elaborate tools and workflows. This clean design enhances its potential to generalize to challenging questions, without being limited by tools. For Maximal self-evolution, we enable the creativity of Alita by providing a suite of general-purpose components to autonomously construct, refine, and reuse external capabilities by generating task-related model context protocols (MCPs) from open source, which contributes to scalable agentic reasoning. Notably, Alita achieves 75.15% pass@1 and 87.27% pass@3 accuracy, which is top-ranking among general-purpose agents, on the GAIA benchmark validation dataset, 74.00% and 52.00% pass@1, respectively, on Mathvista and PathVQA, outperforming many agent systems with far greater complexity. More details will be updated at $\href{https://github.com/CharlesQ9/Alita}{https://github.com/CharlesQ9/Alita}$.

cs.AI↗

arXiv2025

Interplay between disorder and topology in Thouless pumping on a superconducting quantum processor

Topological phases are robust against weak perturbations, but break down when disorder becomes sufficiently strong. However, moderate disorder can also induce topologically nontrivial phases. Thouless pumping, as a (1+1)D counterpart of the integer quantum Hall effect, is one of the simplest manifestations of topology. Here, we report experimental observations of the competition and interplay between Thouless pumping and disorder on a 41-qubit superconducting quantum processor. We improve a Floquet engineering technique to realize cycles of adiabatic pumping by simultaneously varying the on-site potentials and the hopping couplings. We demonstrate Thouless pumping in the presence of disorder and show its breakdown as the strength of disorder increases. Moreover, we observe two types of topological pumping that are induced by on-site potential disorder and hopping disorder, respectively. In particular, an intrinsic topological pump that is induced by quasi-periodic hopping disorder has never been experimentally realized before. Our highly controllable system provides a valuable quantum simulating platform for studying various aspects of topological physics in the presence of disorder.

quant-ph↗

arXiv2025

Large Wireless Localization Model (LWLM): A Foundation Model for Positioning in 6G Networks

Accurate and robust localization is a critical enabler for emerging 5G and 6G applications, including autonomous driving, extended reality (XR), and smart manufacturing. While data-driven approaches have shown promise, most existing models require large amounts of labeled data and struggle to generalize across deployment scenarios and wireless configurations. To address these limitations, we propose a foundation-model-based solution tailored for wireless localization. We first analyze how different self-supervised learning (SSL) tasks acquire general-purpose and task-specific semantic features based on information bottleneck (IB) theory. Building on this foundation, we design a pretraining methodology for the proposed Large Wireless Localization Model (LWLM). Specifically, we propose an SSL framework that jointly optimizes three complementary objectives: (i) spatial-frequency masked channel modeling (SF-MCM), (ii) domain-transformation invariance (DTI), and (iii) position-invariant contrastive learning (PICL). These objectives jointly capture the underlying semantics of wireless channel from multiple perspectives. We further design lightweight decoders for key downstream tasks, including time-of-arrival (ToA) estimation, angle-of-arrival (AoA) estimation, single base station (BS) localization, and multiple BS localization. Comprehensive experimental results confirm that LWLM consistently surpasses both model-based and supervised learning baselines across all localization tasks. In particular, LWLM achieves 26.0%--87.5% improvement over transformer models without pretraining, and exhibits strong generalization under label-limited fine-tuning and unseen BS configurations, confirming its potential as a foundation model for wireless localization.

eess.SP↗

arXiv2025

A ROOT based detector geometry and event visualization system for JUNO-TAO

The Taishan Antineutrino Observatory (TAO or JUNO-TAO) is a satellite experiment of Jiangmen Underground Neutrino Observatory (JUNO) and located near the Taishan nuclear power plant (NPP). TAO will measure the energy spectrum of reactor antineutrinos with unprecedented precision, which will benefit both reactor neutrino physics and the nuclear database. A detector geometry and event visualization system has been developed for TAO. The software is based on ROOT packages and embedded in the TAO offline software framework. It provides an intuitive tool to visualize the detector geometry, tune the reconstruction algorithm, understand the neutrino physics, and monitor the operation of reactors at NPP. The further applications of the visualization system in the experimental operation of TAO and its future development are also discussed.

physics.ins-det↗

arXiv2025

A Unified QoS-Aware Multiplexing Framework for Next Generation Immersive Communication with Legacy Wireless Applications

Immersive communication, including emerging augmented reality, virtual reality, and holographic telepresence, has been identified as a key service for enabling next-generation wireless applications. To align with legacy wireless applications, such as enhanced mobile broadband or ultra-reliable low-latency communication, network slicing has been widely adopted. However, attempting to statistically isolate the above types of wireless applications through different network slices may lead to throughput degradation and increased queue backlog. To address these challenges, we establish a unified QoS-aware framework that supports immersive communication and legacy wireless applications simultaneously. Based on the Lyapunov drift theorem, we transform the original long-term throughput maximization problem into an equivalent short-term throughput maximization weighted by virtual queue length. Moreover, to cope with the challenges introduced by the interaction between large-timescale network slicing and short-timescale resource allocation, we propose an adaptive adversarial slicing (Ad2S) scheme for networks with invarying channel statistics. To track the network channel variations, we also propose a measurement extrapolation-Kalman filter (ME-KF)-based method and refine our scheme into Ad2S-non-stationary refinement (Ad2S-NR). Through extended numerical examples, we demonstrate that our proposed schemes achieve 3.86 Mbps throughput improvement and 63.96% latency reduction with 24.36% convergence time reduction. Within our framework, the trade-off between total throughput and user service experience can be achieved by tuning systematic parameters.

cs.NI↗

arXiv2025

Prethermalization by Random Multipolar Driving on a 78-Qubit Superconducting Processor

Time-dependent drives hold the promise of realizing non-equilibrium many-body phenomena that are absent in undriven systems. Yet, drive-induced heating normally destabilizes the systems, which can be parametrically suppressed in the high-frequency regime by using periodic (Floquet) drives. It remains largely unknown to what extent highly controllable quantum simulators can suppress heating in non-periodically driven systems. Using the 78-qubit superconducting quantum processor, Chuang-tzu 2.0, we report the experimental observation of long-lived prethermal phases in many-body systems with tunable heating rates, driven by structured random protocols, characterized by $n$-multipolar temporal correlations. By measuring both the particle imbalance and subsystem entanglement entropy, we monitor the entire heating process over 1,000 driving cycles and observe the existence of the prethermal plateau. The prethermal lifetime is `doubly tunable': one way by driving frequency, the other by multipolar order; it grows algebraically with the frequency with the universal scaling exponent $2n{+}1$. Using quantum state tomography on different subsystems, we demonstrate a non-uniform spatial entanglement distribution and observe a crossover from area-law to volume-law entanglement scaling. With 78 qubits and 137 couplers in a 2D configuration, the entire far-from-equilibrium heating dynamics are beyond the reach of simulation using tensor-network numerical techniques. Our work highlights superconducting quantum processors as a powerful platform for exploring universal scaling laws and non-equilibrium phases of matter in driven systems in regimes where classical simulation faces formidable challenges.

quant-ph↗

arXiv2025

Temporal Consistency for LLM Reasoning Process Error Identification

Verification is crucial for effective mathematical reasoning. We present a new temporal consistency method where verifiers iteratively refine their judgments based on the previous assessment. Unlike one-round verification or multi-model debate approaches, our method leverages consistency in a sequence of self-reflection actions to improve verification accuracy. Empirical evaluations across diverse mathematical process error identification benchmarks (Mathcheck, ProcessBench, and PRM800K) show consistent performance improvements over baseline methods. When applied to the recent DeepSeek R1 distilled models, our method demonstrates strong performance, enabling 7B/8B distilled models to outperform all 70B/72B models and GPT-4o on ProcessBench. Notably, the distilled 14B model with our method achieves performance comparable to Deepseek-R1. Our codes are available at https://github.com/jcguo123/Temporal-Consistency

cs.CL↗

arXiv2025

SORRY-Bench: Systematically Evaluating Large Language Model Safety Refusal

Evaluating aligned large language models' (LLMs) ability to recognize and reject unsafe user requests is crucial for safe, policy-compliant deployments. Existing evaluation efforts, however, face three limitations that we address with SORRY-Bench, our proposed benchmark. First, existing methods often use coarse-grained taxonomies of unsafe topics, and are over-representing some fine-grained topics. For example, among the ten existing datasets that we evaluated, tests for refusals of self-harm instructions are over 3x less represented than tests for fraudulent activities. SORRY-Bench improves on this by using a fine-grained taxonomy of 44 potentially unsafe topics, and 440 class-balanced unsafe instructions, compiled through human-in-the-loop methods. Second, linguistic characteristics and formatting of prompts are often overlooked, like different languages, dialects, and more -- which are only implicitly considered in many evaluations. We supplement SORRY-Bench with 20 diverse linguistic augmentations to systematically examine these effects. Third, existing evaluations rely on large LLMs (e.g., GPT-4) for evaluation, which can be computationally expensive. We investigate design choices for creating a fast, accurate automated safety evaluator. By collecting 7K+ human annotations and conducting a meta-evaluation of diverse LLM-as-a-judge designs, we show that fine-tuned 7B LLMs can achieve accuracy comparable to GPT-4 scale LLMs, with lower computational cost. Putting these together, we evaluate over 50 proprietary and open-weight LLMs on SORRY-Bench, analyzing their distinctive safety refusal behaviors. We hope our effort provides a building block for systematic evaluations of LLMs' safety refusal capabilities, in a balanced, granular, and efficient manner. Benchmark demo, data, code, and models are available through https://sorry-bench.github.io.

cs.AI↗