Distinguishability of Quantum States by Separable Operations
Runyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying
备注：
9 pages (in IEEE TIT format), 1 eps figure. Need IEEE.cls. Missing Reference [18] added. A preliminary version was presented at AQIS 2007 as a long talk. Main results unchanged
We study the distinguishability of multipartite quantum states by separable operations. We first present a necessary and sufficient condition for a finite set of orthogonal quantum states to be distinguishable by separable operations. An analytical version of this condition is derived for the case of $(D-1)$ pure states, where $D$ is the total dimension of the state space under consideration. A number of interesting consequences of this result are then carefully investigated. Remarkably, we show there exists a large class of $2\otimes 2$ separable operations not being realizable by local operations and classical communication. Before our work only a class of $3\otimes 3$ nonlocal separable operations was known [Bennett et al, Phys. Rev. A \textbf{59}, 1070 (1999)]. We also show that any basis of the orthogonal complement of a multipartite pure state is indistinguishable by separable operations if and only if this state cannot be a superposition of 1 or 2 orthogonal product states, i.e., has an orthogonal Schmidt number not less than 3, thus generalize the recent work about indistinguishable bipartite subspaces [Watrous, Phys. Rev. Lett. \textbf{95}, 080505 (2005)]. Notably, we obtain an explicit construction of indistinguishable subspaces of dimension 7 (or 6) by considering a composite quantum system consisting of two qutrits (resp. three qubits), which is slightly better than the previously known indistinguishable bipartite subspace with dimension 8.
One of the many interesting features of quantum nonlocality is that the states of a multipartite quantum system cannot always be distinguished as well by local measurements as they can when all quantum measurements are allowed. In this work, we characterize the distinguishability of sets of multipartite quantum states when restricted to separable measurements -- those which contain the class of local measurements but nevertheless are free of entanglement between the component systems. We consider two quantities: The separable fidelity -- a truly quantum quantity -- which measures how well we c…
In this paper, the distinguishability of multipartite geometrically uniform quantum states obtained from a single reference state is studied in the symmetric subspace. We specially focus our attention on the unitary transformation in a way that the produced states remain in the symmetric subspace, so rotation group with Jy as the generator of rotation is applied. The optimal probability and measurements are obtained for the pure and some special mixed separable states and the results are compared with those obtained at the previous articles for the special cases. The results are valid for lin-…
A basic property of distinguishability is that it is non-increasing under further quantum operations. Following this, we generalize two measures of distinguishability of pure states--fidelity and von Neumann entropy, to mixed states as self-consistent measures. Then we extend these two measures to quantum operations. The information-theoretic point of the generalized Holevo quantity of an ensemble of quantum operations is constructed. Preferably it is an additive measure. The exact formula for SU(2) ensemble is presented. With the aid of the formula, we show Jozsa-Schlienz paradox that states …
We find that the perfect distinguishability of two quantum operations by a parallel scheme depends only on an operator subspace generated from their Choi-Kraus operators. We further show that any operator subspace can be obtained from two quantum operations in such a way. This connection enables us to study the parallel distinguishability of operator subspaces directly without explicitly referring to the underlining quantum operations. We obtain a necessary and sufficient condition for the parallel distinguishability of an operator subspace that is either one-dimensional or Hermitian. In both …
We provide a feasible necessary and sufficient condition for when an unknown quantum operation (quantum device) secretely selected from a set of known quantum operations can be identified perfectly within a finite number of queries, and thus complete the characterization of the perfect distinguishability of quantum operations. We further design an optimal protocol which can achieve the perfect discrimination between two quantum operations by a minimal number of queries. Interestingly, employing the techniques from the theory of $q$-numerical range we find that an optimal perfect discrimination…
MESA+ Institute for Nanotechnology, University of Twente（特温特大学 MESA+ 纳米技术研究所）；Department of Applied Physics and Science Education, Eindhoven University of Technology（埃因霍温理工大学应用物理与科学教育部）；Department of Electrical Engineering, Eindhoven University of Technology（埃因霍温理工大学电气工程系）
We show that any two different unitary operations acting on an arbitrary multipartite quantum system can be perfectly distinguishable by local operations and classical communication when a finite number of runs is allowed. We then directly extend this result into the case when the number of unitary operations to be discriminated is more than two. Intuitively, our result means that the lost identity of a nonlocal (entangled) unitary operation can be recovered locally, without any use of entanglement or joint quantum operations.
We study optimal perfect distinguishability between a unitary and a general quantum operation. In 2-dimensional case we provide a simple sufficient and necessary condition for sequential perfect distinguishability and an analytical formula of optimal query time. We extend the sequential condition to general d-dimensional case. Meanwhile, we provide an upper bound and a lower bound for optimal sequential query time. In the process a new iterative method is given, the most notable innovation of which is its independence to auxiliary systems or entanglement. Following the idea, we further obtain …
Suppose a set of $m$-partite, $m\geq3$, pure orthogonal fully separable states is given. We consider the task of distinguishing these states perfectly by local operations and classical communication (LOCC) in different $k$-partitions, $1<k<m$. Based on this task, it is possible to classify the sets of product states into different classes. For tripartite systems, a classification of the sets with explicit examples is presented. Few important cases related to the aforesaid task are also studied when the number of parties, $m\geq4$. These cases never appear for a tripartite system. However, to d…
We consider a homogeneous system of linear equations of the form $A_α^{\otimes N} {\bf x} = 0$ arising from the distinguishability of two quantum operations by $N$ uses in parallel, where the coefficient matrix $A_α$ depends on a real parameter $α$. It was conjectured by Duan et al. that the system has a non-trivial nonnegative solution if and only if $α$ lies in a certain interval $R_N$ depending on $N$. We affirm the necessity part of the conjecture and establish the sufficiency of the conjecture for $N\leq 10$ by presenting explicit non-trivial nonnegative solutions for the linear system.
The problem of distinguishing two unitary transformations, or quantum gates, is analyzed and a function reflecting their statistical distinguishability is found. Given two unitary operations, $U_1$ and $U_2$, it is proved that there always exists a finite number $N$ such that $U_1^{\otimes N}$ and $U_2^{\otimes N}$ are perfectly distinguishable, although they were not in the single-copy case. This result can be extended to any finite set of unitary transformations. Finally, a fidelity for one-qubit gates, which satisfies many useful properties from the point of view of quantum information theo…
It is not always possible to distinguish multipartite orthogonal states if only local operation and classical communication (LOCC) are allowed. We prove that we cannot distinguish the states of an unextendible product basis (UPB) by LOCC even when infinite resources (infinite-dimensional ancillas, infinite number of operations). Moreover we give a necessary and sufficient condition for the LOCC distinguishability of complete product bases.
A subspace of a multipartite Hilbert space is completely entangled if it contains no product states. Such subspaces can be large with a known maximum size, S, approaching the full dimension of the system, D. We show that almost all subspaces with dimension less than or equal to S are completely entangled, and then use this fact to prove that n random pure quantum states are unambiguously locally distinguishable if and only if n does not exceed D-S. This condition holds for almost all sets of states of all multipartite systems, and reveals something surprising. The criterion is identical for se…
Divisibility of dynamical maps turns out to be a fundamental notion in characterising Markovianity of quantum evolution, although the decision problem for divisibility itself is computationally intractable. In this work, we propose the operational characterisation of divisibility of dynamical maps by exploiting distinguishability of quantum channels. We prove that distinguishability for any pair of quantum channels does not increase under divisible maps, and then, in terms of channel distinguishability with entanglement between system and $k$-dimensional ancillas, provide the operational chara…
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. (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 bipart…
For any pair of quantum states (the hypotheses), the task of binary quantum hypotheses testing is to derive the tradeoff relation between the probability $p_{01}$ of rejecting the null hypothesis and $p_{10}$ of accepting the alternative hypothesis. The case when both hypotheses are explicitly given was solved in the pioneering work by Helstrom. Here, instead, for any given null hypothesis as a pure state, we consider the worst-case alternative hypothesis that maximizes $p_{10}$ under a constraint on the distinguishability of such hypotheses. Additionally, we restrict the optimization to separ…
We study the distinguishability of bipartite quantum states by Positive Operator-Valued Measures with positive partial transpose (PPT POVMs). The contributions of this paper include: (1). We give a negative answer to an open problem of [M. Horodecki $et. al$, Phys. Rev. Lett. 90, 047902(2003)] showing a limitation of their method for detecting nondistinguishability. (2). We show that a maximally entangled state and its orthogonal complement, no matter how many copies are supplied, can not be distinguished by PPT POVMs, even unambiguously. This result is much stronger than the previous known on…
We investigate local distinguishability of quantum states by use of the convex analysis about joint numerical range of operators on a Hilbert space. We show that any two orthogonal pure states are distinguishable by local operations and classical communications, even for infinite dimensional systems. An estimate of the local discrimination probability is also given for some family of more than two pure states.
We consider deeply the relation between the orthogonality and the distinguishability of a set of arbitrary states (including multi-partite states). It is shown that if a set of arbitrary states can be distinguished by local operations and classical communication (LOCC), \QTR{it}{\}each of the states can be written as a linear combination of product vectors such that all product vectors of one of the states are orthogonal to the other states. With this result we then prove a simple necessary condition for LOCC distinguishability of a class of orthogonal states. These conclusions may be useful i…
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 …
Local distinguishability of six bipartite orthogonal product states
College of Computer Science and Engineering, Shandong University of Science and Technology（山东科技大学计算机科学与工程学院）；College of Cyberspace Science and Technology, Beijing University of Technology（北京工业大学网络空间技术学院）；College of Mathematics and Systems Science, Shandong University of Science and Technology（山东科技大学数学与系统科学学院）
Coherence measures and their operational interpretations lay the cornerstone of coherence theory. In this paper, we introduce a class of coherence measures with $α$-affinity, say $α$-affinity of coherence for $α\in (0, 1)$. Furthermore, we obtain the analytic formulae for these coherence measures and study their corresponding convex roof extension. We provide an operational interpretation for $1/2$-affinity of coherence by showing that it is equal to the error probability to discrimination a set of pure states with the least square measurement. Employing this relationship we regain the optimal…
In this article, we show a sufficient and necessary condition for locally distinguishable bipartite states via one-way local operations and classical communication (LOCC). With this condition, we present some minimal structures of one-way LOCC indistinguishable quantum state sets. As long as an indistinguishable subset exists in a state set, the set is not distinguishable. We also list several distinguishable sets as instances.
More than two multipartite orthogonal states cannot always be discriminated (with certainty) if only local operations and classical communication (LOCC) are allowed. Using an existing inequality among the measures of entanglement, we show that any three Bell states cannot be discriminated by LOCC. Exploiting the inequality, we calculate the distillable entanglement of a certain class of (4\otimes 4) mixed states.
Local distinguishability of sets of generalized Bell states (GBSs) is investigated. We first clarify the conditions such that a set of GBSs can be locally transformed to a certain type of GBS set that is easily distinguishable within local operations and one-way classical communication. We then show that, if the space dimension $d$ is a prime, these conditions are necessary and sufficient for sets of $d$ GBSs in $\mathbb{C}^d \otimes \mathbb{C}^d$ to be locally distinguishable. Thus we obtain a simple computable criterion for local distinguishability of sets of $d$ GBSs in prime dimension $d$.
For both unitary and open qubit dynamics, we compare asymmetry monotone-based bounds on the minimal time required for an initial qubit state to evolve to a final qubit state from which it is probabilistically distinguishable with fixed minimal error probability (i.e., the minimal error distinguishability time). For the case of unitary dynamics generated by a time-independent Hamiltonian, we derive a necessary and sufficient condition on two asymmetry monotones that guarantees that an arbitrary state of a two-level quantum system or a separable state of $N$ two-level quantum systems will unitar…
We consider one copy of a quantum system prepared in one of two orthogonal pure states, entangled or otherwise, and distributed between any number of parties. We demonstrate that it is possible to identify which of these two states the system is in by means of local operations and classical communication alone. The protocol we outline is both completely reliable and completely general - it will correctly distinguish any two orthogonal states 100% of the time.
Recently, the resource theory of asymmetric distinguishability for quantum strategies was introduced by [Wang et al., Phys. Rev. Research 1, 033169 (2019)]. The fundamental objects in the resource theory are pairs of quantum strategies, which are generalizations of quantum channels that provide a framework to describe an arbitrary quantum interaction. In the present paper, we provide semi-definite program characterizations of the one-shot operational quantities in this resource theory. We then apply these semi-definite programs to study the advantage conferred by adaptive strategies in discrim…
We show that a set of linearly independent quantum states $\{(U_{m,n}\otimes I)ρ^{AB}(U_{m,n}^{\dagger}\otimes I)\}_{m,n=0}^{d-1}$, where $U_{m,n}$ are generalized Pauli matrices, cannot be discriminated deterministically or probabilistically by local operations and classical communications (LOCC). On the other hand, any $l$ maximally entangled states from this set are locally distinguishable if $l(l-1)\le 2d$. The explicit projecting measurements are obtained to locally discriminate these states. As an example, we show that four Werner states are locally indistinguishable.
A family of quantum measures like the Shannon distinguishability is presented. These measures are defined over the two classes of POVM measurements and related to separate parts in the expression for mutual information. Changes of Ky Fan's norms and the partitioned trace distances under the operation of partial trace are discussed. Upper and lower bounds on the introduced quantities are obtained in terms of partitioned trace distances and Uhlmann's partial fidelities. These inequalities provide a kind of generalization of the well-known bounds on the Shannon distinguishability. The notion of c…
In this paper, we mainly study the local distinguishable multipartite quantum states by local operations and classical communication (LOCC) in $m_1\otimes m_2\otimes\ldots\otimes m_n$ , where the quantum system $m_1$ belongs to Alice, $m_2$ belongs to Bob, \ldots and $m_n$ belongs to Susan. We first present the pure tripartite distinguishable orthogonal quantum states by LOCC in $m_1\otimes m_2\otimes m_3$. With the conclusion in $m_1\otimes m_2\otimes m_3$, we prove distinguishability or indistinguishability of some quantum states. At last, we give the $n$-party distinguishable quantum states…
Entanglement is sometimes helpful in distinguishing between quantum operations, as differences between quantum operations can become magnified when their inputs are entangled with auxiliary systems. Bounds on the dimension of the auxiliary system needed to optimally distinguish quantum operations are known in several situations. For instance, the dimension of the auxiliary space never needs to exceed the dimension of the input space of the operations for optimal distinguishability, while no auxiliary system whatsoever is needed to optimally distinguish unitary operations. Another bound, which …
We give a conceptually simple necessary condition such that a separable quantum operation can be implemented by local operations on subsystems and classical communication between parties (LOCC), a condition which follows from a novel approach to understanding LOCC. This necessary condition holds for any number of parties and any finite number of rounds of communication and as such, also provides a completely general sufficient condition that a given separable operation cannot be exactly implemented by LOCC. Furthermore, it demonstrates an extremely strong difference between separable operation…
We investigate the possibility of distinguishing a set of mutually orthogonal multipartite quantum states by local operations and classical communication (LOCC). We connect this problem with generators of SU(N) and present a new condition that is necessary for a set of orthogonal states to be locally distinguishable. We show that even in multipartite cases there exists a systematic way to check whether the presented condition is satisfied for a given set of orthogonal states. Based on the proposed checking method, we find that LOCC cannot distinguish three mutually orthogonal states in which t…
For manipulations of multipartite quantum systems, it was well known that all local operations assisted by classical communication (LOCC) constitute a proper subset of the class of separable operations. Recently, Gheorghiu and Griffiths found that LOCC and general separable operations are equally powerful for transformations between bipartite pure states. In this letter we extend this comparison to mixed states and show that in general separable operations are strictly stronger than LOCC when transforming a mixed state to a pure entangled state. A remarkable consequence of our finding is the e…
We show that the possible ensembles produced when a separable operation acts on a single pure bipartite entangled state are completely characterized by a majorization condition, a collection of inequalities for Schmidt coefficients, which is identical to that already known for the particular case of local operations and classical communication (LOCC). As a consequence, various known results for LOCC, including some involving monotonicity of entanglement, can be extended to the class of all separable operations.
We develop a resource theory of symmetric distinguishability, the fundamental objects of which are elementary quantum information sources, i.e., sources that emit one of two possible quantum states with given prior probabilities. Such a source can be represented by a classical-quantum state of a composite system $XA$, corresponding to an ensemble of two quantum states, with $X$ being classical and $A$ being quantum. We study the resource theory for two different classes of free operations: $(i)$ ${\rm{CPTP}}_A$, which consists of quantum channels acting only on $A$, and $(ii)$ conditional doub…
We study conditions for the deterministic transformation $\ketψ\longrightarrow\ketϕ$ of a bipartite entangled state by a separable operation. If the separable operation is a local operation with classical communication (LOCC), Nielsen's majorization theorem provides necessary and sufficient conditions. For the general case we derive a necessary condition in terms of products of Schmidt coefficients, which is equivalent to the Nielsen condition when either of the two factor spaces is of dimension 2, but is otherwise weaker. One implication is that no separable operation can reverse a determinis…
We explore the intersection of studies in quantum error correction and quantum local operations and classical communication (LOCC). We consider one-way LOCC measurement protocols as quantum channels and investigate their error correction properties, emphasizing an operator theory approach to the subject, and we obtain new applications to one-way LOCC state distinguishability as well as new derivations of some established results. We also derive conditions on when states that arise through the stabilizer formalism for quantum error correction are distinguishable under one-way LOCC.
In this paper we analyze the (im)possibility of the exact distinguishability of orthogonal multipartite entangled states under {\em restricted local operation and classical communication}. Based on this local distinguishability analysis we propose a new scheme for quantum secret sharing (QSS). Our QSS scheme is quite general and cost efficient compared to other schemes. In our scheme no joint quantum operation is needed to reconstruct the secret. We also present an interesting $(2,n)$-threshold QSS scheme, where any two cooperating players, one from each of two disjoint groups of players, can …
We study how multi-partite entanglement evolves under the paradigm of separable operations, which include the local operations and classical communication (LOCC) as a special case. We prove that the average "decay" of entanglement induced by a separable operation is measure independent (among SL-invariant ones) and state independent: the ratio between the average output entanglement and the initial entanglement is solely a function of the separable operation, regardless of the input state and of the SL-invariant entanglement measure being used. We discuss the "disentangling power" of a quantum…
Efficient methods for characterizing the performance of quantum measurements are important in the experimental quantum sciences. Ideally, one requires both a physically relevant distinguishability measure between measurement operations and a well-defined experimental procedure for estimating the distinguishability measure. Here, we propose the average measurement fidelity and error between quantum measurements as distinguishability measures. We present protocols for obtaining bounds on these quantities that are both estimable using experimentally accessible quantities and scalable in the size …
In $2 \otimes 2$, more than 2 orthogonal Bell states with single copy can never be discriminated with certainty if only local operations and classical communication (LOCC) are allowed. More than $d$ orthogonal maximally entangled states in $d \otimed d$, which are in cannonical form, used by Bennett et. al. [Phys. Rev. Lett. 70 (1993) 1895] can never be discriminated with certainty when a single copy of the states is provided. Interestingly we show that all orthogonal maximally entangled states, which are in cannonical form, can be discriminated with certainty if and only if two copies of each…
We introduce an operational procedure to determine, with arbitrary probability and accuracy, optimal entanglement witness for every multipartite entangled state. This method provides an operational criterion for separability which is asymptotically necessary and sufficient. Our results are also generalized to detect all different types of multipartite entanglement.
We consider a quantum system subject to superselection rules, for which certain restrictions apply to the quantum operations that can be implemented. It is shown how the notion of quantum-nonlocality has to be redefined in the presence of superselection rules: there exist separable states that cannot be prepared locally and exhibit some form of nonlocality. Moreover, the notion of local distinguishability in the presence of classical communication has to be altered. This can be used to perform quantum information tasks that are otherwise impossible. In particular, this leads to the introductio…
We extend to arbitrarily coupled pairs of qubits (two-state quantum systems) and qutrits (three-state quantum systems) our earlier study (quant-ph/0207181), which was concerned with the simplest instance of entangled quantum systems, pairs of qubits. As in that analysis -- again on the basis of numerical (quasi-Monte Carlo) integration results, but now in a still higher-dimensional space (35-d vs. 15-d) -- we examine a conjecture that the Bures/SD (statistical distinguishability) probability that arbitrarily paired qubits and qutrits are separable (unentangled) has a simple exact value, u/(v P…
In the first part of this Dissertation, I study the differences between LOCC (local operations and classical communication) and the more general class of separable operations. I show that the two classes coincide for the case of pure bipartite state input, and derive a set of important consequences. Using similar techniques I also generalize the no-cloning theorem when restricted to separable operations and show that cloning becomes much more restrictive, by providing necessary (and sometimes sufficient) conditions. In the second part I investigate graph states and graph codes with carrier qud…
A quantum ensemble $\{(p_x, ρ_x)\}$ is a set of quantum states each occurring randomly with a given probability. Quantum ensembles are necessary to describe situations with incomplete a priori information, such as the output of a stochastic quantum channel (generalized measurement), and play a central role in quantum communication. In this paper, we propose measures of distance and fidelity between two quantum ensembles. We consider two approaches: the first one is based on the ability to mimic one ensemble given the other one as a resource and is closely related to the Monge-Kantorovich optim…
The class of local operations and classical communication (LOCC) pertains to an important measurement scenario in many quantum communication schemes. While LOCC belongs to the more general class of separable operations (SEP), the exact difference between the two remains a challenging open problem. In this article, we seek to better understand the structure of LOCC and its relationship to SEP by comparing their respective abilities for distilling EPR entanglement from one copy of an $N$-qubit W-class state (i.e. that of the form $\sqrt{x_0}\ket{00...0}+\sqrt{x_1}\ket{10...0}+...+\sqrt{x_n}\ket{…
