11 papers · 1 filter
A Separation between Full-Rank PVM and Assumption-free Self-Testing
Ranyiliu Chen
We construct a nonlocal game that self-tests a maximally entangled qubit strategy among pure full-Schmidt-rank projective strategies, but admits an inequivalent optimum using one n…
Causal-Class Hierarchies in Coherence-Constrained Channel Transformation
Lin Zhu, Benchi Zhao, Xuanqiang Zhao +3
Higher-order quantum transformations allow multiple channel uses to be combined through different causal architectures, from parallel and fixed-order sequential networks to general…
Deterministic Minimum-Output-Entropy Nonadditivity via Haagerup's Inequality and Near-Free Permutation Representations
Guocheng Zhen, Chengkai Zhu, Ranyiliu Chen +1
We give a deterministic realization of the finite-dimensional quadratic certificate underlying Collins's mixed-unitary proof of minimum-output-entropy nonadditivity. For every fixe…
Analytic Qubit Separation between POVMs and Projective Measurements
Lin Zhu, Ranyiliu Chen, Xin Wang +1
Generalized measurements can be implemented projectively after enlarging the Hilbert space, but this dilation changes the available local dimension. We construct a Bell functional…
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--…
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.…