4 papers
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.…
Structure, Optimality, and Symmetry in Shadow Unitary Inversion
Guocheng Zhen, Yu-Ao Chen, Mingrui Jing +3
Reversing unitary operations is a key task in quantum computing and quantum control. In this work, we introduce and develop the framework of shadow unitary inversion, a relaxed var…
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 pr…