Bipartite discrimination of independently prepared quantum states as a counterexample to a parallel repetition conjecture
arXiv:1802.00160 · doi:10.1103/PhysRevA.97.042309
Abstract
For distinguishing quantum states sampled from a fixed ensemble, the gap in bipartite and single-party distinguishability can be interpreted as a nonlocality of the ensemble. In this paper, we consider bipartite state discrimination in a composite system consisting of subsystems, where each subsystem is shared between two parties and the state of each subsystem is randomly sampled from a particular ensemble comprising the Bell states. We show that the success probability of perfectly identifying the state converges to as if the entropy of the probability distribution associated with the ensemble is less than , even if the success probability is less than for any finite . In other words, the nonlocality of the -fold ensemble asymptotically disappears if the probability distribution associated with each ensemble is concentrated. Furthermore, we show that the disappearance of the nonlocality can be regarded as a remarkable counterexample of a fundamental open question in theoretical computer science, called a parallel repetition conjecture of interactive games with two classically communicating players. Measurements for the discrimination task include a projective measurement of one party represented by stabilizer states, which enable the other party to perfectly distinguish states that are sampled with high probability.
In this version, we improve a proof of appendix B
References in corpus (12)
- Quantum information can be negative
- Everything You Always Wanted to Know About LOCC (But Were Afraid to Ask)
- Quantum state discrimination and its applications
- A framework for bounding nonlocality of state discrimination
- PPT-indistinguishable states via semidefinite programming
- A Return to the Optimal Detection of Quantum Information
- When do Local Operations and Classical Communication Suffice for Two-Qubit State Discrimination?
- Quantum Proofs
- Optimal networks for Quantum Metrology: semidefinite programs and product rules
- Tight bounds on the distinguishability of quantum states under separable measurements
- Two-party LOCC convertibility of quadpartite states and Kraus-Cirac number of two-qubit unitaries
- Getting Information on Independently Prepared Quantum States -- When Are Individual Measurements as Powerful as Joint Measurements?