7 citations · 9 across the 17 of their papers we have counts for
18 papers
Quantum Compiler Design for Fault-Tolerant Quantum Computing
Chenghong Zhu, Jiahan Chen, Keming He +9
Scalable quantum computation is expected to rely on fault-tolerant quantum computation (FTQC), in which quantum error correction (QEC) suppresses physical errors sufficiently to su…
An exchange-assisted entangling gate between 87Rb and 171Yb Rydberg atoms
Han Wang, Erdong Huang, Mingrui Jing +3
Neutral-atom tweezer arrays support scalable quantum information processing. Dual-species -- arrays combine long-lived ytterbium nuclear-spin d…
Exact Virtual Channel Programming with Vanishing Excess Overhead
Mingrui Jing, Mengbo Guo, Hongshun Yao +1
A finite-dimensional physical processor cannot exactly program a continuous family of distinct unitary channels. We show that this obstruction becomes quantitative when the target…
Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
Lei Zhang, Yusheng Zhao, Yimeng Cao +10
Formal verification is becoming increasingly practical for quantum computing, yet the ability of AI agents to construct machine-checkable proofs in this domain remains unmeasured.…
Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256
Lei Zhang, Yusheng Zhao, Hongshun Yao +1
Large language models are increasingly assisting with demanding formal theorem-proving tasks, particularly when grounded in machine-checked libraries such as Lean. Agentic systems…
An Agentic Formalization for Certified Quantum Neural Network Design
Mingrui Jing, Lei Zhang, Yusheng Zhao +2
A central model in quantum machine learning is the quantum neural network (QNN), whose design requires balancing expressivity and trainability. Technically, expressivity is studied…
Phase-Stable Hologram Updates for Large-Scale Neutral-Atom Array Reconfiguration
Erdong Huang, Jiayi Huang, Hongshun Yao +2
Dynamic holographic optical tweezers provide a programmable route to array assembly and reconfiguration essential for scalable neutral-atom quantum computation. However, phase mism…
Block Coordinate Descent for Dynamic Portfolio Optimization on Finite-Precision Coherent Ising Machines
Keming He, Yuehan Zhang, Hongshun Yao +2
Coherent Ising machines (CIMs) have emerged as specialized quantum hardware for large-scale combinatorial optimization. However, for large instances that remain challenging for cla…
Programmable Open Quantum Systems
Mingrui Jing, Mengbo Guo, Lin Zhu +2
Programmability is a unifying paradigm for enacting families of quantum transformations via fixed processors and program states, with a fundamental role and broad impact in quantum…
Quantifying Unextendibility via Virtual State Extension
Hongshun Yao, Jingu Xie, Xuanqiang Zhao +3
Monogamy of entanglement, which limits how entanglement can be shared among multiple parties, is a fundamental feature underpinning the privacy of quantum communication. In this wo…
Near-Optimal Simultaneous Estimation of Quantum State Moments
Xiao Shi, Jiyu Jiang, Xian Wu +3
Estimating nonlinear properties such as Rényi entropies and observable-weighted moments serves as a central strategy for spectrum spectroscopy, which is fundamental to property pre…
LCQNN: Linear Combination of Quantum Neural Networks
Hongshun Yao, Xia Liu, Mingrui Jing +2
Quantum neural networks combine quantum computing with advanced data-driven methods, offering promising applications in quantum machine learning. However, the optimal paradigm for…
No-Go Theorems for Universal Quantum State Purification via Classically Simulable Operations
Keming He, Chengkai Zhu, Hongshun Yao +3
Quantum state purification, a process that aims to recover a state closer to a system's principal eigenstate from multiple copies of an unknown noisy quantum state, is crucial for…
Conclusive exclusion of quantum states with group action
Hongshun Yao, Xin Wang
Retrieving classical information from quantum systems is central to quantum information processing. As a more general task than quantum state discrimination, which focuses on ident…
Optimizer-Dependent Generalization Bound for Quantum Neural Networks
Chenghong Zhu, Hongshun Yao, Yingjian Liu +1
Quantum neural networks (QNNs) play a pivotal role in addressing complex tasks within quantum machine learning, analogous to classical neural networks in deep learning. Ensuring co…
Sample-Efficient Estimation of Nonlinear Quantum State Functions
Hongshun Yao, Yingjian Liu, Tengxiang Lin +1
Efficient estimation of nonlinear functions of quantum states is crucial for various key tasks in quantum computing, such as entanglement spectroscopy, fidelity estimation, and fea…
Protocols and Trade-Offs of Quantum State Purification
Hongshun Yao, Yu-Ao Chen, Erdong Huang +3
Quantum state purification is crucial in quantum communication and computation, aiming to recover a purified state from multiple copies of an unknown noisy state. This work introdu…
Optimal unilocal virtual quantum broadcasting
Hongshun Yao, Xia Liu, Chengkai Zhu +1
Quantum broadcasting is central to quantum information processing and characterizes the correlations within quantum states. Nonetheless, traditional quantum broadcasting encounters…