Conclusive Exclusion of Quantum States

Abstract

In the task of quantum state exclusion we consider a quantum system, prepared in a state chosen from a known set. The aim is to perform a measurement on the system which can conclusively rule that a subset of the possible preparation procedures can not have taken place. We ask what conditions the set of states must obey in order for this to be possible and how well we can complete the task when it is not. The task of quantum state discrimination forms a subclass of this set of problems. Within this paper we formulate the general problem as a Semidefinite Program (SDP), enabling us to derive sufficient and necessary conditions for a measurement to be optimal. Furthermore, we obtain a necessary condition on the set of states for exclusion to be achievable with certainty and give a construction for a lower bound on the probability of error. This task of conclusively excluding states has gained importance in the context of the foundations of quantum mechanics due to a result of Pusey, Barrett and Rudolph (PBR). Motivated by this, we use our SDP to derive a bound on how well a class of hidden variable models can perform at a particular task, proving an analogue of Tsirelson's bound for the PBR experiment and the optimality of a measurement given by PBR in the process. We also introduce variations of conclusive exclusion, including unambiguous state exclusion, and state exclusion with worst case error.

8+11 pages. Version 2 includes a new result in Section V providing a lower bound on the probability of error in an exclusion task. Additional references and clarifications based on referee comments have also been incorporated. Version 3 acknowledges funding sources

References in corpus (1)

• On the reality of the quantum state

Cited by in corpus (47)

• Quantum state discrimination and its applications
• Is the quantum state real? An extended review of $\psi$-ontology theorems
• Strong Quantum Nonlocality without Entanglement
• Realization of Quantum Digital Signatures without the requirement of quantum memory
• Quantum digital signatures with quantum key distribution components
• Incompatible measurements in quantum information science
• Operational interpretation of weight-based resource quantifiers in convex quantum resource theories of states
• Semidefinite programming relaxations for quantum correlations
• Unconditionally Secure Quantum Signatures
• Tight constraints on probabilistic convertibility of quantum states
• Imperfect 1-out-of-2 quantum oblivious transfer: bounds, a protocol, and its experimental implementation
• Communication tasks with infinite quantum-classical separation
• Antidistinguishability of Pure Quantum States
• Reality of the quantum state: Towards a stronger ψ-ontology theorem
• Communication of partial ignorance with qubits
• On zero-error communication via quantum channels in the presence of noiseless feedback
• Noncontextuality Inequalities from Antidistinguishability
• Simple Communication Complexity Separation from Quantum State Antidistinguishability
• Genuine activation of nonlocality: From locally available to locally hidden information
• Simple Information Processing Tasks with Unbounded Quantum Advantage
• Activating Strongest Possible Nonlocality from Local Sets: An Elimination Paradigm
• On the optimal error exponents for classical and quantum antidistinguishability
• Tight bounds for antidistinguishability and circulant sets of pure quantum states
• Doubly infinite separation of quantum information and communication
• A note on the inner products of pure states and their antidistinguishability
• Unambiguous quantum state elimination for qubit sequences
• Towards optimal experimental tests on the reality of the quantum state
• Operational Interpretation of the Choi Rank Through k-State Exclusion
• Experimental demonstration of optimal unambiguous two-out-of-four quantum state elimination
• Retrodiction of a sequence of measurement results in qubit interferometers
• Compatibility of state assignments and pooling of information
• Fleeting Critical Review of the Recent Ontic Breakthrough in Quantum Mechanics
• Projective robustness for quantum channels and measurements and their operational significance
• Single-shot Distinguishability and Anti-distinguishability of Quantum Measurements
• Maximal Elements of Quantum Communication
• Not-Post-Peierls compatibility under noisy channels
• POVMs are equivalent to projections for perfect state exclusion of three pure states in three dimensions
• The pretty bad measurement
• Unlearning Quantum Information
• Quantum state exclusion for group-generated ensembles of pure states
• Quantum retrodiction made fully symmetric
• How contextuality and antidistinguishability are related
• Partial particle and wave information and weak duality games
• Quantum Entanglement in Time
• Random Exclusion Codes: Quantum Advantages of Single-Shot Communication
• Single-shot antidistinguishability of unitary operations
• On the distinguishability of geometrically uniform quantum states