arXiv:1606.00029 · Physical Review Letters

General Approach to Quantum Channel Impossibility by Local Operations and Classical Communication

Scott M. Cohen

Published Jan 9, 2017• 12 citations

Abstract

We describe a general approach to proving the impossibility of implementing a quantum channel by local operations and classical communication (LOCC), even with an infinite number of rounds, and find that this can often be demonstrated by solving a set of linear equations. The method also allows one to design a LOCC protocol to implement the channel whenever such a protocol exists in any finite number of rounds. Perhaps surprisingly, the computational expense for analyzing LOCC channels is not much greater than that for LOCC measurements. We apply the method to several examples, two of which provide numerical evidence that the set of quantum channels that are not LOCC is not closed and that there exist channels that can be implemented by LOCC either in one round or in three rounds that are on the boundary of the set of all LOCC channels. Although every LOCC protocol must implement a separable quantum channel, it is a very difficult task to determine whether or not a given channel is separable. Fortunately, prior knowledge that the channel is separable is not required for application of our method.

DOI: 10.1103/physrevlett.118.020501

Related papers

When a quantum measurement can be implemented locally, and when it cannot

Scott M. Cohen

In the absence of quantum channels, local operations on subsystems and classical communication between parties (LOCC) constitute the most general protocols available on spatially separated quantum systems. Every LOCC protocol implements a separable quantum measurement, but it is known that there exist separable measurements that cannot be implemented by LOCC. A longstanding problem in quantum information theory is to understand the difference between LOCC and the full set of separable measurements. Toward this end, we show in this paper how to construct an LOCC protocol to implement an arbitrary separable measurement whenever such a protocol exists. In addition, given a measurement that cannot be implemented by LOCC within some fixed maximum number of rounds, the method shows explicitly that this is the case.

arXiv:0912.1607Physical Review ANov 21, 201112 citations

Structure of local quantum operations and classical communication: Finite versus infinite rounds

Scott M. Cohen

Every measurement that can be implemented by local quantum operations and classical communication (LOCC) using an infinite number of rounds is the limit of a sequence of measurements, where each measurement in the sequence requires only a finite number of rounds. This rather obvious and well-known fact is nonetheless of interest as it shows that these infinite-round measurements can be approximated arbitrarily closely simply by using more and more rounds of communication. Here we demonstrate the perhaps less obvious result that (at least) for bipartite systems, the reverse relationship also holds. Specifically, we show that every finite-round bipartite LOCC measurement is the limit of a continuous sequence of LOCC measurements, where each measurement in that sequence can be implemented by LOCC, but only with the use of an infinite number of rounds. Thus, the set of LOCC measurements that require an infinite number of rounds is dense in the entirety of LOCC, as is the set of finite-round LOCC measurements. This means there exist measurements that can only be implemented by LOCC by using an infinite number of rounds, but can nonetheless be approximated closely by using one round of communication, and actually in some cases, no communication is needed at all. These results follow from a necessary condition presented here for finite-round LOCC, which is extremely simple to check, is very easy to prove, and which can be violated by utilizing an infinite number of rounds.

Physical Review AApr 8, 20155 citations

Devising local protocols for multipartite quantum measurements

Scott M. Cohen

A general method is devised to determine if any given measurement can be implemented by ``local operations and classical communication'' (LOCC) alone, leading to fundamental results in quantum measurement theory. The procedure proves the impossibility of a measurement by LOCC even when an infinite number of rounds of communication are allowed.

arXiv:1604.00093Physical Review AApr 22, 20164 citations

Local quantum protocols for separable measurements with many parties

Scott M. Cohen

In a recent paper [S. M. Cohen, Phys. Rev. A 84, 052322 (2011)], we showed how to construct a protocol for implementing a bipartite, separable quantum measurement using only local operations on subsystems and classical communication between parties (LOCC) within any fixed number of rounds of communication, whenever such a protocol exists. Here, we generalize that construction to one that applies for any number of parties. One important observation is that the construction automatically determines the ordering of the parties' measurements, overcoming a significant apparent difficulty in designing protocols for more than two parties. We also present various other results about LOCC, including showing that if, in any given measurement operator of the separable measurement under consideration, the local parts for two different parties are rank-1 operators that are not repeated in any other measurement operator of the measurement, then this separable measurement cannot be exactly implemented by LOCC in any finite number of rounds.

arXiv:1303.5006Physical Review AMay 24, 20139 citations

Asymptotic implementation of multipartite quantum channels and other quantum instruments using local operations and classical communication

Scott M. Cohen

We prove a necessary condition that a quantum channel on a multipartite system may be approximated arbitrarily closely using local operations and classical communication (LOCC). We then extend those arguments to obtain a condition that applies to all quantum instruments, which range from the most refined case, a generalized measurement, to the most coarse-grained, which is a quantum channel. We illustrate these results by a detailed analysis of a quantum instrument that is known not to be implementable by LOCC, but which can be arbitrarily closely approximated within that framework. As one outgrowth of this analysis, we find a quantum measurement that falls into the same category: it cannot be implemented exactly by LOCC, but can be approximated by LOCC arbitrarily closely. This measurement has an infinite number of outcomes, leaving open the question as to whether or not there exists a measurement within this same category but having only a finite number of outcomes.

arXiv:2310.05362Oct 9, 20230 citations

Everything you always wanted to know about LOCC (but were afraid to ask

Eric Chitambar, Debbie Leung, Māris Ozols +1 more

In this paper we study the subset of generalized quantum measurements on finite dimensional systems known as local operations and classical communication (LOCC). While LOCC emerges as the natural class of operations in many important quantum information tasks, its mathematical structure is complex and difficult to characterize. Here we provide a precise description of LOCC and related operational classes in terms of quantum instruments. Our formalism captures both finite round protocols as well as those that utilize an unbounded number of communication rounds. While the set of LOCC is not topologically closed, we show that finite round LOCC constitutes a compact subset of quantum operations. Additionally we show the existence of an open ball around the completely depolarizing map that consists entirely of LOCC implementable maps. Finally, we demonstrate a two-qubit map whose action can be approached arbitrarily close using LOCC, but nevertheless cannot be implemented perfectly.

Aug 17, 2016181 citations