3 papers
quant-ph2026
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.…
quant-ph2025
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…
quant-ph2025
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…