8 papers
A Sharp Local-Question Threshold for GHZ-Equatorial Completeness in Four-Player XOR Games
Ziao Tang, Chengkai Zhu, Ge Bai +2
We determine the smallest number of active questions per player at which a four-player binary exclusive-or (XOR) game of commuting-operator value one need not admit a Greenberger--…
Analytic Qubit Separation between POVMs and Projective Measurements
Lin Zhu, Ranyiliu Chen, Xin Wang
Generalized measurements can be implemented projectively after enlarging the Hilbert space, but this dilation changes the available local dimension. We construct a Bell functional…
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.…
Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
Chengkai Zhu, Ziao Tang, Guocheng Zhen +6
Quantum information theory (QIT) characterizes the capabilities and fundamental limits of quantum information processing, underpinning quantum communication, computation, and error…
Invariant Measures and Weak-Magic-Injection Asymptotics in Random Monitored Quantum Circuits
Guocheng Zhen, Xuanrong Yang, Chengkai Zhu +2
Monitored quantum circuits combine scrambling with measurement-conditioned state updates, while non-Clifford perturbations inject magic into otherwise stabilizer-compatible dynamic…
Distilling Unitary Operations: A No-Go Theorem and Minimal Realization
Jiayi Zhao, Yu-Ao Chen, Guocheng Zhen +3
Quantum gates executed on physical hardware are inevitably degraded by environmental noise. While state purification effectively distills static quantum resources, the dynamic exec…