1. Introduction
The communication paradigm called local (quantum) operations and classical communication, usually denoted by its acronym LOCC, is fundamental to quantum information theory, and includes many central topics such as quantum teleportation, data hiding, and many of their derivations [
1,
2,
3]. The somewhat more restricted version called one-way LOCC, in which communicating parties must perform their measurements in a prescribed order, has received expanded attention due it being more tractable mathematically while still capturing many of the more important communication scenarios [
4,
5,
6,
7,
8,
9,
10,
11,
12,
13]. A particularly important subclass of problems in this field involves the determination of when sets of known quantum states can be distinguished using only LOCC operations or some subset thereof.
Our work in the theory of LOCC [
10,
11,
12,
13] has for the first time brought techniques and tools from operator theory, operator algebras, and graph theory to the basic theory of quantum state distinguishability in one-way LOCC. Given the overlapping nature of some of our results and applications, including improvements on some results as our work progressed, we felt a review paper bringing together a selection of main features from our work could be a useful contribution to the literature. In addition to this exposition, we derive a new graph-theoretic description of one-way distinguishability in an important special case, that of a single-qubit sender.
This paper is organized as follows. In
Section 2, we give necessary preliminaries, including the mathematical description of one-way LOCC in terms of operator relations.
Section 3 includes a brief introduction to the relevant operator structures in our analysis, and then we present some of our main results and applications from [
10,
11,
12]. We finish in
Section 4 by first giving a brief introduction to our necessary notions from graph theory, then we present one of our main results from [
13] and some examples, and we derive a new graph-theoretic description for the case of a single-qubit sender.
2. One-Way LOCC and Operator Relations
We will use the traditional quantum information notation throughout the paper. In particular, we use the Dirac bra-ket notation for vectors, which labels a given fixed orthonormal basis for , with fixed, as , and the corresponding dual vectors as . For , the n-qudit Hilbert space is the tensor product , which has an orthonormal basis given by .
We also denote the set of complex
matrices, for a fixed
, by
. Given a finite-dimensional Hilbert space
, we will write
for the algebra of bounded (continuous) linear operators on
, which can be identified with
via matrix representations when
. The Pauli operators play an important role in many of our applications, and are given as matrix representations on the single-qubit basis
for
by:
where the operators are described by
,
, etc.
The basic set up for the LOCC framework is as follows: multiple parties share a set of quantum states, on which each party can perform local quantum operations. They can then transmit their results only using classical information in prescribed directions.
The key problem we have focussed on in our work is to distinguish quantum states amongst a set of known states, where two parties, called Alice (A) and Bob (B), can perform quantum measurements on their individual subsystems, and then communicate classically. Further, as general LOCC operations are very difficult to characterize mathematically, we have largely restricted ourselves to the case of one-way LOCC, where the communication is limited to one predetermined direction, generally from A to B. This still captures many key examples and settings (though not all).
Hence, the bipartite case we consider makes the following assumptions:
Two parties A, B are separated physically.
They control their (finite-dimensional) subsystem Hilbert spaces , ; for simplicity, we often assume for some fixed .
The state of the composite system is assumed to be a pure state amongst a known set of states .
The goal of A and B is then to identify the particular i using only one-way LOCC measurements.
The mathematical description of measurements defined by one-way LOCC protocols is given as follows [
7].
Definition 1. A one-way LOCC measurement, with A going first, is a set of positive operatorsonsuch that Each of the sets , form what is called a positive operator valued measure (POVM) on and , respectively. If outcome is obtained, for any k and a particular j, the conclusion is that the prepared state was the state identified with the pair . Without loss of generality, one can further assume each is a scalar multiple of a (pure) rank one projection.
Example 1. As a very simple and illustrative example, consider the following two Bell basis two-qubit states: This set is distinguishable, with the following measurement choices:
Alice: and .
Bob: .
If Alice obtains outcome 0, then tells Bob, who after measurement obtains outcome 0, then the state is . Similarly, it would be if Bob measured a 1.
Notationally, we shall let be the standard maximally entangled state on two-qudit space ; We recall that every maximally entangled state on the two-qudit space is then of the form , where V is unitary on .
The following result of Nathanson [
7] frames one-way LOCC distinguishability in terms of operator relations and was the starting point for our collaboration.
Theorem 1. Let be operators on , and let be a set of orthogonal states. Then, the following conditions are equivalent:
The elements of can be distinguished with one-way LOCC.
There exists a set of states and positive numbers such that and for all k and , There is a partial isometry matrix W such that , and for all , every diagonal entry of the matrix is equal to zero.
Conceptually, the states are determined by Alice’s (rank one) measurement operators, and the orthogonality of the states for every k, allows Bob to distinguish i. In the example above, note that and , where X is the single-qubit Pauli bit flip operator. Here, we have , , and . So, we can take ; note that for .
3. Operator Structures and One-Way LOCC
Our initial work [
10] identified the importance of certain operator structures for distinguishing various sets of quantum states using one-way LOCC. The following result encompassed our first observation and readily follows from Nathanson’s result. It suggested deeper operator theoretic connections to the mathematics of one-way LOCC lying in the background.
Let be the ‘map to diagonal’ on matrices; that is, zeros out all off-diagonal entries of a matrix but leaves its diagonal entries unchanged, and so there is an orthonormal basis for such that is the (von Neumann) measurement map defined by the basis.
Proposition 1. Let be a set of permutation matrices and let be the set of corresponding maximally entangled states on . Then, the following conditions are equivalent:
The null space of the map to diagonal operator has a special structure; it is a linear subspace which is closed under taking adjoints. This observation led us to consider the following notions for the first time in the context of LOCC state distinguishability. First, we recall the basic structure theory for finite-dimensional
-algebras, for instance, as exhibited in [
14,
15]. Every such algebra is unitarily equivalent to an orthogonal direct sum of ampliated full matrix algebras of the form
for some positive integers
. Further, the algebra is unital if it contains the identity operator.
Definition 2. Let be a unital -algebra. Any linear subspace contained in which contains the identity and is closed under taking adjoints is called an operator system.
Within the setting of such operator structures, the following notion turns out to be key for us.
Definition 3. Let be a Hilbert space and let be a set of operators on that form an operator system. A vector is said to be a separating vector for if whenever A is a non-zero element of ; in other words, with implies .
If
is finite-dimensional and
is closed under multiplication, and hence a
-algebra, then we may use the decomposition above for such algebras to determine the existence of a separating vector as follows. This result was proved in [
16].
Theorem 2. The -algebra has a separating vector if and only if for all k.
In the case of the diagonal algebra , the set of diagonal matrices (and so ), we have for all , and hence has a separating vector; an example of which can easily be written down:
Taken together, these notions and our early results led us to the following general theorem on operator structures and one-way LOCC distinguishability. The first version of the result was proved in [
10], and the refined improvement as stated below was established in [
11].
Theorem 3. Let be a set of operators on and suppose the operator system is closed under multiplication and hence is a C-algebra. Then, is distinguishable by one-way LOCC if and only if has a separating vector.
The proof of the theorem starts with the observation that if has a separating vector , then the states are linearly independent and Bob can use this fact together with Alice’s outcome to distinguish the states.
As a straightforward application of the theorem, consider the following class of states. We recall that a set of matrices have a simultaneous Schmidt decomposition if there are unitary matrices V and W and complex diagonal matrices such that for each k, .
Corollary 1. Any set of orthonormal states , for which the matrices have a simultaneous Schmidt decomposition, are distinguishable by one-way LOCC.
The basic idea of the proof in this case is to note that the operator system structure satisfies
for some unitary
W. Since
has a separating vector, Theorem 3 applies. We note that the operator system
was studied in a similar context in [
17].
Remark 1. Towards further applications, including those discussed below, note how the theorem gives a road map to generate sets of indistinguishable states based on these operator structures. Given the decomposition of the algebra generated by an operator system , then has a separating vector if and only if for all k. Thus, to find instances of sets of indistinguishable states, we can look for sets such that and for some k. Hence, we are led to consider sets of operators , such that the set is closed under multiplication, taking adjoints, and taking inverses (up to scalar multiples).
3.1. Application: States from the Stabilizer Formalism for Quantum Error Correction
In [
11], we developed connections between quantum error correction [
18,
19,
20,
21,
22,
23] and the study of one-way LOCC, including the fact that every one-way LOCC protocol naturally defines a quantum error correcting code defined by the distinguishable states. This also led to new derivations of some known results and new examples of distinguishable states. Here, we present one of the applications from that paper.
Sets of unitary operators with the features discussed above are plentiful in one of the foundational areas of quantum error correction, the ‘stabilizer formalism’ [
21], which gives a toolbox for generating and identifying codes from the Pauli group.
Let
be the
n-qubit Pauli group, that is, the unitary subgroup on
with generating set as follows:
where
, etc.
The Clifford group is the normalizer subgroup of inside the group of n-qubit unitary operators. It is known that if G is a subgroup of , with , a minimal generating set for a maximal abelian subgroup S of G, then there exists a unitary U in the Clifford group such that , for all . This allows us to focus on the generating Pauli operators for deriving more general results.
In [
11], we proved the following. For succinctness, we use terminology from the stabilizer formalism in the theorem hypotheses without giving precise details here, as they are not necessary to appreciate the result.
Theorem 4. Let be a complete set of -encoded logical Pauli operators for a stabilizer k-qubit code on an n-qubit Hilbert space. Then, the set of states is distinguishable by one-way LOCC if and only if .
The basic idea behind this proof as an application of the result above is as follows: The element set, , forms a set of encoded operations for the code subspace (up to unitary equivalence). However, . Hence, from the theorem above, the states are distinguishable by one-way LOCC if and only if has a separating vector if , or equivalently .
Remark 2. The upper bound in this result () gives sets that saturate a known bound [5,24] for the size of one-way distinguishable sets of maximally entangled states on (). For , this produces (non-trivial) distinguishable sets, which is significant as it is known [8] that many sets defined from with less than operators (here ) are not distinguishable even with positive partial transpose operations, and hence not with one-way LOCC. 3.2. Application: Sets of Indistinguishable Lattice States
We have also been able to use the ‘operator structure road map’ outlined above to find sets of lattice states [
8,
9,
25] that are indistinguishable under one-way LOCC. The following is taken from [
12].
Recall the two-qubit Bell states
defined above. The rest of the Bell basis is given by:
These states can be naturally identified with the Pauli matrices by and where we write , , , .
The lattice states are a generalization of the Bell states, which are very useful in their own right.
Definition 4. For , the class of lattice states is given by n-tensors of the Bell states, States in can be identified with elements of the Pauli group , using an extension of the Bell state identification above.
Theorem 5. For every and , there exist sets of m lattice states in that are not distinguishable with one-way LOCC, where Remark 3. As discussed further in [12], this result is new and can be extended to the so-called ‘generalized Pauli states’, where a new proof is given of an established result, and which leads to an improvement for a studied subclass of states [26]. The following example illustrates the approach. Example 2. For an example in , with n fixed, we can set It is easy to check that the algebra generated by has dimension ; the algebra generated by has dimension ; and the algebra generated by has dimension . This gives us: with , which achieves its minimum when and .
4. Graph Theory and Distinguishing Product States
The following section contains a brief review of the main results and some applications from [
13], in which we used graph theory to study the problem of distinguishing sets of product states via one-way LOCC. Our graph-theoretic work in LOCC is ongoing, and here we give a new graph-theoretic perspective and proof for the case that Alice only has access to a single-qubit Hilbert space.
We shall write for a simple graph with vertex set V and edge set E. For , we write if the edge . The complement of G is the graph , where the edge set consists of all two-element sets from V that are not in E. Another graph is a subgraph of G, written , if and with whenever .
Given a graph
, a function
is an
orthogonal representation of
G if for all vertices
,
Orthogonal representations have been discussed in graph theory, for instance, [
27,
28]. Note the biconditional in the definition, which is stronger than conditions for graph colouring. This allows us to uniquely define the graph associated with a function
.
We introduced a graph-theoretic perspective to distinguishing product states as follows. Suppose we are given a set of product states on . The graph of these states from Alice’s perspective is the unique graph with vertex set such that the map is an orthogonal representation of . Likewise, the graph of the states from Bob’s perspective is the graph with vertex set V such that is an orthogonal representation of . Observe that by construction, the set of product states are mutually orthogonal precisely when Alice’s graph is a subgraph of the complement of Bob’s graph, that is, .
The following concepts from graph theory are central for us. Given a graph , a set of graphs coversG if and . A collection of graphs is a clique cover for G if covers G and if each of the is a complete graph (i.e., a clique). The clique cover number is the smallest possible number of subgraphs contained in a clique cover of G. A clique cover can be thought of as a collection of (not necessarily disjoint) induced subgraphs of G, each of which is a complete graph (there is an edge between every pair of vertices) with the condition that every edge is contained in at least one of the cliques.
The following is one of our main results from [
13], and gives a characterization of when product states are one-way LOCC distinguishable in terms of the underlying Alice and Bob graph structures and a related decomposition of Alice’s Hilbert space. We note this is a corrected version of the theorem from [
13]. The revision was made to condition (3), as the earlier version gave a condition that was sufficient but not necessary.
Theorem 6. Given a set of product states in , let and be the graphs of the states from Alice and Bob’s perspectives, respectively. Let be the association of vertices with Alice’s states and assume that the set spans .
Then, the states are distinguishable with one-way LOCC with Alice measuring first if and only if there exists
- (1)
A graph G satisfying ,
- (2)
A clique cover of G, and,
- (3)
A POVM on such that for all , implies that .
The focus on clique decompositions gives tools for building optimal POVMs. We include an example showing a POVM that is not a von Neumann measurement (i.e., the operators are not mutually orthogonal projections).
Example 3. Let Alice’s (unnormalized) states be given in by and Bob’s states given so that , the 4-cycle graph. The clique cover number of a 4-cycle is 4, which is bigger than our dimension, but we are still able to distinguish the states using the following POVM. We define For each j, we can then define . It is easy to check that and that each picks out an edge of as in the theorem conditions, so we can apply the theorem to show that the states are one-way LOCC distinguishable.
We point the interested reader to [
13] for some consequences of this result and related results. For the rest of this section, we will focus on the case of a ‘low rank’ sender, in which this theorem can be entirely stated in graph-theoretic terms.
Single-Qubit Sender and Graph Theory
A basic result in LOCC theory [
29,
30,
31] shows that any set of orthogonal product states in
for arbitrary
can be distinguished via full (two-way) LOCC. This is readily seen to not be the case for one-way LOCC. As a simple example, consider the two-qubit set
where
and
. This set of four two-qubit states cannot be distinguished by one-way LOCC with Alice going first; they can however be distinguished by one-way LOCC with Bob going first and hence also by two-way LOCC.
Nevertheless, one can characterize when one-way distinguishability is possible in the single-qubit sender case. As proved in [
32] (Theorem 1), the states must take an appropriate form in terms of orthogonality on Alice’s side versus the corresponding orthogonalities on Bob’s side. That said, one could argue that the condition from [
32] is perhaps not so operationally simple to apply to easily identify when states are distinguishable, if the set is large for example. Here we show how, in the case of product states, Theorem 6 can be refined for a single-qubit sender to yield an entire graph-theoretic set of testable conditions for one-way distinguishability.
Theorem 7. A set of orthonormal product states in , for , is distinguishable via one-way LOCC with Alice going first if and only if there is some graph between the two graphs and with a clique cover number of at most two; that is, there is a graph G such that Proof. For the forward direction, our previous theorem gives the existence of G with a clique cover and POVM such that implies for all j. This implies that either or else each is diagonal on the basis. It follows that .
For the backward direction, assume a graph
G exists that satisfies the conditions of Equation (
1). We shall consider the two cases as determined by the clique cover number of
G.
Firstly, if , then G is a complete graph. Since , G must contain all the vertices of , is a complete graph and all the vertices of G are disconnected pairwise in the graph . Thus, it follows that all of Bob’s states are pairwise orthogonal in (whether or not Alice’s states are orthogonal). Hence, the full set of product states on are one-way distinguishable, simply by a measurement that Bob can perform on his states, independent of what Alice does or communicates to Bob.
Now suppose that . Let be a clique cover of G and let be the set of vertices in G that are connected to one (and hence every) vertex in and . Note that is a proper subset of , for , as otherwise would be a subgraph of , or vice-versa, and this would incorrectly imply that .
If is empty, then and are disconnected and each is a subgraph of . As such, Bob’s states corresponding to vertices in are mutually orthogonal, and the same is true of his states corresponding to vertices in . Moreover, we can define orthogonal (one-dimensional) subspaces of by , for . The states are thus distinguishable via one-way LOCC with Alice first performing a measurement defined by the Hilbert space decomposition , then sending the outcome ( 1 or 2) to Bob, who then performs a measurement defined by the orthogonal states to determine the state.
If is non-empty, let , and choose such that and have no edge in G (and hence also in ) connecting them. Note that such a vertex exists in as otherwise would be a single clique and so . Additionally, it is necessary that , as connects with all vertices in . It follows that , , are orthogonal and hence form an orthonormal basis for . Furthermore, for all and . This sets up a one-way LOCC protocol as follows: Alice measures on the basis of for , and communicates the outcome to Bob. As and is a clique, the states are mutually orthogonal in , and so Bob can determine the state by performing a measurement defined by these states and the projection onto the orthogonal complement of their span. This completes the proof. □
It is fairly straightforward to give examples that satisfy and . For instance, the set , where in this case is any qubit basis different than the standard basis. Here, Alice would measure on the standard basis, and then Bob would measure on the basis suggested by Alice’s outcome communicated to him. A simple example of a distinguishable set for which is a proper subgraph of is given by the standard two-qubit basis (left as an easy exercise: ).
We finish by presenting a ‘nice’ indistinguishable example, in that , but nevertheless the states fail to be distinguishable due to the failure of the clique cover condition.
Example 4. Consider the (unnormalized) states , for , defined as follows: These states can be distinguished with full LOCC operations, with Bob measuring first followed by Alice and then once more by Bob. We show that Bob’s initial measurement is necessary and that one-way distinguishability is impossible with Alice going first.
Observe here that . Moreover, the complement of Bob’s graph has clique cover number with a clique cover of minimal size given by the vertex sets: Hence, the set of states is not distinguishable via one-way LOCC with Alice going first.
5. Conclusions
One of the appeals of quantum information theory is how it builds on expertise in a wide range of areas in physics, mathematics, computer science, and engineering. This review paper highlights several aspects of the fruitful interplay between operator theory and questions of local quantum state distinguishability; the previous section adds graph theory into the mix. One-way LOCC is a simply constructed problem with real physical implications, and our work continues to develop effective tools to study it.