One-way LOCC Research Articles

Novel method for one-way local distinguishability of generalized Bell states in arbitrary dimension

In this paper the local distinguishability of generalized Bell states in arbitrary dimension is investigated. We firstly study the decomposition of a basis which consists of d 2 number of generalized Pauli matrices. We discover that this basis is equal to the union of D number of different sets, where and ϕ is Euler ϕ-function. Then we define the generator of the matrices in this decomposition, and exhibit an algorithm to calculate generators of a given set of matrices. This algorithm shows that generators of a given set can be calculated simply and efficiently. Secondly, we show that a set of GBSs can be distinguished by one-way LOCC if the cardinality of is less than Dϕ(d), where is a set of generators of all the elements in difference set of a set of GBSs. The previous results in [2004 Phys. Rev. Lett. 92 177905; 2019 Phys. Rev. A 99 022307; 2021 Quantum Inf. Process. 20 52] can be covered by our result. Finally, for the uncovered cases in [2021 Quantum Inf. Process. 20 52], we give a new result to partly solve that problem.

Vector representations of graphs and distinguishing quantum product states with one-way LOCC

Distinguishing sets of quantum states shared by two parties using only local operations and classical communication measurements is a fundamental topic in quantum communication and quantum information theory. We introduce a graph-theoretic approach, based on the theory of vector representations of graphs, to the core problem of distinguishing product states with one-way LOCC. We establish a number of results that show how distinguishing such states can be framed in terms of properties of the underlying graphs associated with a set of vector product states. We also present a number of illustrative examples.

Optimal verification of two-qubit pure states

In a recent work [Phys. Rev. Lett. 120, 170502 (2018)], Pallister et al. proposed an optimal strategy to verify non-maximally entangled two-qubit pure states under the constraint that the accessible measurements being locally projective and non-adaptive. Their nice result leads naturally to the question: What is the optimal strategy among general LOCC measurements? In this Letter, we answer this problem completely for two-qubit pure states. To be specific, we give the optimal strategy for each of the following available classes of measurements: (i) local operations and one-way classical communication (one-way LOCC) measurements; (ii) local operations and two-way classical communication (two-way LOCC) measurements; and (iii) separable measurements. Surprisingly, our results reveal that for the two-qubit pure state verification problem, two-way LOCC measurements remarkably outperforms one-way LOCC measurements and has the same power as the separable measurements.

Constructions of one-way LOCC indistinguishable sets of generalized Bell states

In this paper, we mainly consider the local indistinguishability of the set of bipartite generalized Bell states (GBSs). We systematically show constructions of small sets of GBSs with cardinalities greatly smaller than d which are not distinguishable by one-way local operations and classical communication (1-LOCC) in \(d\otimes d\). The constructions, based on linear system and Vandermonde matrix, are different for odd dimensions than for even dimensions. The results give a unified upper bound for the minimum cardinality of 1-LOCC indistinguishable set of GBSs and greatly improve previous results in Zhang et al. (Phys Rev A 91:012329, 2015) and Wang et al. (Quantum Inf Process 15:1661, 2016). Among others, the case that d is odd of the results shows that the set of 4 GBSs in \(5\otimes 5\) in Fan (Phys Rev A 75:014305, 2007) is indeed a 1-LOCC indistinguishable set which cannot be distinguished by Fan’s method, and the minimum cardinality of 1-LOCC indistinguishable set of GBSs in \(7\otimes 7\) is 5. The case that d is even of the results shows that there exists a 1-LOCC indistinguishable set of 18 GBSs in \(100\otimes 100\).

Useful States and Entanglement Distillation

We derive general upper bounds on the distillable entanglement of a mixed state under one-way and two-way LOCC. In both cases, the upper bound is based on a convex decomposition of the state into 'useful' and 'useless' quantum states. By 'useful', we mean a state whose distillable entanglement is non-negative and equal to its coherent information (and thus given by a single-letter, tractable formula). On the other hand, 'useless' states are undistillable, i.e., their distillable entanglement is zero. We prove that in both settings the distillable entanglement is convex on such decompositions. Hence, an upper bound on the distillable entanglement is obtained from the contributions of the useful states alone, being equal to the convex combination of their coherent informations. Optimizing over all such decompositions of the input state yields our upper bound. The useful and useless states are given by degradable and antidegradable states in the one-way LOCC setting, and by maximally correlated and PPT states in the two-way LOCC setting, respectively. We also illustrate how our method can be extended to quantum channels. Interpreting our upper bound as a convex roof extension, we show that it reduces to a particularly simple, non-convex optimization problem for the classes of isotropic states and Werner states. In the one-way LOCC setting, this non-convex optimization yields an upper bound on the quantum capacity of the qubit depolarizing channel that is strictly tighter than previously known bounds for large values of the depolarizing parameter. In the two-way LOCC setting, the non-convex optimization achieves the PPT-relative entropy of entanglement for both isotropic and Werner states.

Optimal resource states for local state discrimination

We study the problem of locally distinguishing pure quantum states using shared entanglement as a resource. For a given set of locally indistinguishable states, we define a resource state to be useful if it can enhance local distinguishability and optimal if it can distinguish the states as well as global measurements and is also minimal with respect to a partial ordering defined by entanglement and dimension. We present examples of useful resources and show that an entangled state need not be useful for distinguishing a given set of states. We obtain optimal resources with explicit local protocols to distinguish multipartite GHZ and Graph states; and also show that a maximally entangled state is an optimal resource under one-way LOCC to distinguish any bipartite orthonormal basis which contains at least one entangled state of full Schmidt rank.

Framework for distinguishability of orthogonal bipartite states by one-way local operations and classical communication

In the topic of perfect local distinguishability of orthogonal multipartite quantum states, most results obtained so far pertain to bipartite systems whose subsystems are of specific dimensions. In contrast very few results for bipartite systems whose subsystems are of arbitrary dimensions, are known. This is because a rich variety of (algebraic or geometric) structure is exhibited by different sets of orthogonal states owing to which it is difficult to associate some common property underlying them all, i.e., a common property that would play a crucial role in the local distinguishability of these states. In this paper, I propose a framework for the distinguishability by one-way LOCC ($1$-LOCC) of sets of orthogonal bipartite states in a $d_A \otimes d_B$ bipartite system, where $d_A, d_B$ are the dimensions of both subsytems, labelled as $A$ and $B$. I show that if the $i$-th party (where $i=A,B$) can initiate a $1$-LOCC protocol to perfectly distinguish among a set of orthogonal bipartite states, then the information of the existence of such a $1$-LOCC protocol lies in a subspace of $d_i \times d_i$ hermitian matrices, denoted by $\Tb^{(i)}$, and that the method to extract this information (of the existence of this $1$-LOCC protocol) from $\Tb^{(i)}$ depends on the value of $dim \Tb^{(i)}$. In this way one can give sweeping results for the $1$-LOCC (in)distinguishability of all sets of orthogonal bipartite states corresponding to certain values of $dim \Tb^{(i)}$. Thus I propose that the value of $dim \Tb^{(i)}$ gives the common underlying property based on which sweeping results for the $1$-LOCC (in)distinguishability of orthogonal bipartite quantum states can be made.

Local Hypothesis Testing Between a Pure Bipartite State and the White Noise State

In this paper, we treat a local discrimination problem in the framework of asymmetric hypothesis testing. We choose a known bipartite pure state $\ket{\Psi}$ as an alternative hypothesis, and the completely mixed state as a null hypothesis. As a result, we analytically derive an optimal type 2 error and an optimal POVM for one-way LOCC POVM and Separable POVM. For two-way LOCC POVM, we study a family of simple three-step LOCC protocols, and show that the best protocol in this family has strictly better performance than any one-way LOCC protocol in all the cases where there may exist difference between two-way LOCC POVM and one-way LOCC POVM.

Relative Entropy and Squashed Entanglement

We are interested in the properties and relations of entanglement measures. Especially, we focus on the squashed entanglement and relative entropy of entanglement, as well as their analogues and variants. Our first result is a monogamy-like inequality involving the relative entropy of entanglement and its one-way LOCC variant. The proof is accomplished by exploring the properties of relative entropy in the context of hypothesis testing via one-way LOCC operations, and by making use of an argument resembling that by Piani on the faithfulness of regularized relative entropy of entanglement. Following this, we obtain a commensurate and faithful lower bound for squashed entanglement, in the form of one-way LOCC relative entropy of entanglement. This gives a strengthening to the strong subadditivity of von Neumann entropy. Our result improves the trace-distance-type bound derived in [Comm. Math. Phys., 306:805-830, 2011], where faithfulness of squashed entanglement was first proved. Applying Pinsker's inequality, we are able to recover the trace-distance-type bound, even with slightly better constant factor. However, the main improvement is that our new lower bound can be much larger than the old one and it is almost a genuine entanglement measure. We evaluate exactly the various relative entropy of entanglement under restricted measurement classes, for maximally entangled states. Then, by proving asymptotic continuity, we extend the exact evaluation to their regularized versions for all pure states. Finally, we consider comparisons and separations between some important entanglement measures and obtain several new results on these, too.

Faithful Squashed Entanglement

Squashed entanglement is a measure for the entanglement of bipartite quantum states. In this paper we present a lower bound for squashed entanglement in terms of a distance to the set of separable states. This implies that squashed entanglement is faithful, that is, strictly positive if and only if the state is entangled. We derive the bound on squashed entanglement from a bound on quantum conditional mutual information, which is used to define squashed entanglement and corresponds to the amount by which strong subadditivity of von Neumann entropy fails to be saturated. Our result therefore sheds light on the structure of states that almost satisfy strong subadditivity with equality. The proof is based on two recent results from quantum information theory: the operational interpretation of the quantum mutual information as the optimal rate for state redistribution and the interpretation of the regularised relative entropy of entanglement as an error exponent in hypothesis testing. The distance to the set of separable states is measured by the one-way LOCC norm, an operationally-motivated norm giving the optimal probability of distinguishing two bipartite quantum states, each shared by two parties, using any protocol formed by local quantum operations and one-directional classical communication between the parties. A similar result for the Frobenius or Euclidean norm follows immediately. The result has two applications in complexity theory. The first is a quasipolynomial-time algorithm solving the weak membership problem for the set of separable states in one-way LOCC or Euclidean norm. The second concerns quantum Merlin-Arthur games. Here we show that multiple provers are not more powerful than a single prover when the verifier is restricted to one-way LOCC operations thereby providing a new characterisation of the complexity class QMA.

Two-way classical communication remarkably improves local distinguishability

We analyze the difference in the local distinguishability among the following three restrictions: (i) local operations and only one-way classical communications (one-way LOCC) are permitted; (ii) local operations and two-way classical communications (two-way LOCC) are permitted; and (iii) all separable operations are permitted. We obtain two main results concerning the discrimination between a given bipartite pure state and the completely mixed state with the condition that the given state should be detected perfectly. As the first result, we derive the optimal discrimination protocol for a bipartite pure state in cases (i) and (iii). As the second result, by constructing a concrete two-way local discrimination protocol, it is proven that case (ii) is much better than case (i), i.e. two-way classical communication remarkably improves the local distinguishability in comparison with one-way classical communication at least for a low-dimensional bipartite pure state.