Extended necessary condition for local operations and classical communication: Tight bound for all measurements

Abstract

We give a necessary condition that a separable measurement can be implemented by local quantum operations and classical communication (LOCC) in any finite number of rounds of communication, generalizing and strengthening a result obtained previously. That earlier result involved a bound that is tight when the number of measurement operators defining the measurement is relatively small. The present results generalize that bound to one that is tight for any finite number of measurement operators, and we also provide an extension which holds when that number is infinite. We apply these results to the famous example on a $3\times 3$ system known as "domino states", which were the first demonstration of nonlocality without entanglement. Our new necessary condition provides an additional way of showing that these states cannot be perfectly distinguished by (finite-round) LOCC. It directly shows that this conclusion also holds for their cousins, the rotated domino states. This illustrates the usefulness of the present results, since our earlier necessary condition, which these results generalize, is not strong enough to reach a conclusion about the domino states.

arXiv comment6 pages, no figures, comments welcome. Version 2 fixes some issues with the case of an infinite number of measurement operators. Version 3 has a minor change to the title and an added footnote about the fact that using an enlarged Hilbert space is not helpful

References in corpus (22)

• Quantum Nonlocality without Entanglement
• Unextendible Product Bases and Bound Entanglement
• Unambiguous Discrimination Between Linearly-Independent Quantum States
• Unextendible Product Bases, Uncompletable Product Bases and Bound Entanglement
• Multipartite Nonlocality without Entanglement in Many Dimensions
• A rigorous treatment of distillable entanglement
• Distinguishing Arbitrary Multipartite Basis Unambiguously Using Local Operations and Classical Communication
• A framework for bounding nonlocality of state discrimination
• Distinguishability of Quantum States by Separable Operations
• Condition for unambiguous state discrimination with local operations and classical communication
• Optimally Conclusive Discrimination of Non-orthogonal Entangled States Locally
• Generic local distinguishability and completely entangled subspaces
• Optimal conclusive discrimination of two states can be achieved locally
• When do Local Operations and Classical Communication Suffice for Two-Qubit State Discrimination?
• Local Distinguishability of Any Three Quantum States
• Nonlocal Entanglement Transformations Achievable by Separable Operations
• Entanglement requirements for implementing bipartite unitary operations
• Entanglement transformations using separable operations
• A class of unambiguous state discrimination problems achievable by separable measurements but impossible by local operations and classical communication
• When a quantum measurement can be implemented locally ... and when it cannot
• Local quantum protocols for separable measurements with many parties
• Necessary condition for local quantum operations and classical communication with extensive violation by separable operations

Cited by in corpus (2)

• General approach to quantum channel impossibility by local operations and classical communication
• The Random Fractional Matching Problem