A necessary and sufficient condition of the possibility of a deterministic local operations and classical communication (LOCC) transformation of three-qubit pure states is given. The condition shows that the three-qubit pure states are a partially ordered set parametrized by five well-known entanglement parameters and a novel parameter; the five are the concurrences $C_{AB}$, $C_{AC}$, $C_{BC}$, the tangle $τ_{ABC}$ and the fifth parameter $J_{5}$ of Ref. [18], while the other new one is the entanglement charge $Q_{e}$. The order of the partially ordered set is defined by the possibility of a deterministic LOCC transformation from a state to another state. In this sense, the present condition is an extension of Nielsen's work [20] to three-qubit pure states. We also clarify the rules of transfer and dissipation of the entanglement which is caused by deterministic LOCC transformations. Moreover, the minimum number of times of measurements to reproduce an arbitrary deterministic LOCC transformation between three-qubit pure states is given.
Incomparability of pure bipartite entangled states under deterministic LOCC is a very strange phenomena. We find two possible ways of getting our desired pure entangled state which is incomparable with the given input state, by collective LOCC with certainty. The first one is by providing some pure entanglement through the lower dimensional maximally-entangled states or using further less amount of entanglement and the next one is by collective operation on two pairs which are individually incomparable. It is quite surprising that we are able to achieve maximally entangled states of any Schmid…
In this paper we investigate the effect of superposition of states on local conversion of pure bipartite states under deterministic LOCC. We are able to form a bridge between comparable and incomparable classes of states through the linear superposition of states. For example, if we consider two pairs of incomparable states, then their superposition may result into a comparable pair of states. We investigate many such cases and provide some of the results in tabular form. We also investigate the entanglement behavior of such classes of states, specifically their monotone nature. Finally we pro…
Entanglement is the resource to overcome the restriction of operations to Local Operations assisted by Classical Communication (LOCC). The Maximally Entangled Set (MES) of states is the minimal set of n-partite pure states with the property that any truly n-partite entangled pure state can be obtained deterministically via LOCC from some state in this set. Hence, this set contains the most useful states for applications. In this work we characterize the MES for generic three qutrit states. Moreover, we analyze which generic three qutrit states are reachable (and convertible) under LOCC transfo…
Reversible state transformations under entanglement non-increasing operations give rise to entanglement measures. It is well known that asymptotic local operations and classical communication (LOCC) are required to get a simple operational measure of bipartite pure state entanglement. For bipartite mixed states and multipartite pure states it is likely that a more powerful class of operations will be needed. To this end \cite{BPRST01} have defined more powerful versions of state transformations (or reducibilities), namely LOCCq (asymptotic LOCC with a sublinear amount of quantum communication)…
In this paper, we treat a local discrimination problem in the framework of asymmetric hypothesis testing. We choose a known bipartite pure state $\ketΨ$ 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 betw…
In this paper, we treat an asymptotic hypothesis testing (or state discrimination with asymmetric treatment of errors) between an arbitrary fixed bipartite pure state and the completely mixed state by one-way LOCC, two-way LOCC, and separable POVMs. As a result, we derive single-letterized formulas for the Stein's lemma type of optimal error exponents under one-way LOCC, two-way LOCC and separable POVMs, the Chernoff bounds under one-way LOCC POVMs and separable POVMs, and the Hoeffding bounds under one-way LOCC POVMs in the whole region of a parameter and under separable POVMs on a restricted…
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 commun…
Insufficiency of Pure-State Ensembles in Characterizing Transformations of Entangled States under LOCC
School of Information Science and Engineering, Shandong University（山东大学信息科学与工程学院）；School of Physical Sciences, University of Chinese Academy of Sciences（中国科学院大学物理科学学院）
We studied pure state transformations using local operations assisted by finitely many rounds of classical communication ($LOCC_{\mathbb{N}}$) in C. Spee, J.I. de Vicente, D. Sauerwein, B. Kraus, arXiv:1606.04418 (2016). Here, we first of all present the details of some of the proofs and generalize the construction of examples of state transformations via $LOCC_{\mathbb{N}}$ which require a probabilistic step. However, we also present explicit examples of SLOCC classes where any separable transformation can be realized by a protocol in which each step is deterministic (all-det-$LOCC_{\mathbb{N…
Local operations assisted by classical communication (LOCC) constitute the free operations in entanglement theory. Hence, the determination of LOCC transformations is crucial for the understanding of entanglement. We characterize here almost all LOCC transformations among pure multipartite multilevel states. Combined with the analogous results for qubit states shown by Gour \emph{et al.} [J. Math. Phys. 58, 092204 (2017)], this gives a characterization of almost all local transformations among multipartite pure states. We show that nontrivial LOCC transformations among generic, fully entangled…
We construct the protocols to achieve probabilistic and deterministic entanglement transformations for bipartite pure states by means of local operations and classical communication. A new condition on pure contraction transformations is provided.
Summary. A simple derivation of finite Schmidt decomposition of pure states describing finite dimensional systems interacting with the infinite dimensional ones is presented. In particular, maximally entangled pure states in such systems are being characterized. The concept of mixed-pure states has been introduced and some criterions for checking separability and entanglement of them are presented .The notion of LOCC equivalence and LOCC semi-order on the space of pure states of systems analyzed has been adopted suitably. In particular a Nielsen -like theorem has been extended to the pure (d, …
We consider generic pure $n$-qubit states and a general class of pure states of arbitrary dimensions and arbitrarily many subsystems. We characterize those states which can be reached from some other state via Local Operations assisted by finitely many rounds of Classical Communication ($LOCC_{\mathbb{N}}$). For $n$ qubits with $n>3$ we show that this set of states is of measure zero, which implies that the maximally entangled set is generically of full measure if restricted to the practical scenario of $LOCC_{\mathbb{N}}$. Moreover, we identify a class of states for which any $LOCC_{\mathbb{N…
Characterizing the transformation and classification of multipartite entangled states is a basic problem in quantum information. We study the problem under two most common environments, local operations and classical communications (LOCC), stochastic LOCC and two more general environments, multi-copy LOCC (MCLOCC) and multi-copy SLOCC (MCSLOCC). We show that two transformable multipartite states under LOCC or SLOCC are also transformable under MCLOCC and MCSLOCC. What's more, these two environments are equivalent in the sense that two transformable states under MCLOCC are also transformable un…
Nielsen characterized in full those 2-party quantum protocols of local operations and classical communication that transform, with probability one, a pure global initial state into a pure global final state. The present work considers the generalization of Nielsen's characterization to n-party protocols. It presents a sweeping generalization of the only if part of Nielsen's result. The result presented here pertains also to protocols that do not generate a final state for sure, it considers arbitrary mixed initial states instead of pure states and n-party protocols for an arbitrary n. In this …
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.
Given two two-qubit pure states characterized by their Schmidt numbers we investigate an optimal strategy to convert the states between themselves with respect to their local unitary invariance. We discuss the efficiency of this transformation and its connection to LOCC convertibility properties between two single-copy quantum states. As an illustration of the investigated transformations we present a communication protocol where in spite of all expectations a shared maximally entangled pair between two participants is the worst quantum resource.
We give a simple proof, based on time-reversibility and purity, that a complete orthonormal family of pure states which can be perfectly distinguished by LOCC cannot contain any entangled state. Our results are really about the shape of certain states and processes, and are valid in arbitrary categorical probabilistic theories with time-reversal. From the point of view of the resource theory of entanglement, our results can be interpreted to say that free processes can distinguish between the states in a complete orthonormal family only when the states themselves are all free.
In this paper we consider the conditions under which a given ensemble of two-qubit states can be optimally distinguished by local operations and classical communication (LOCC). We begin by completing the \emph{perfect} distinguishability problem of two-qubit ensembles - both for separable operations and LOCC - by providing necessary and sufficient conditions for the perfect discrimination of one pure and one mixed state. Then for the well-known task of minimum error discrimination, it is shown that \textit{almost all} two-qubit ensembles consisting of three pure states cannot be optimally disc…
We examine the problem of using local operations and classical communication (LOCC) to distinguish a known pure state from an unknown (possibly mixed) state, bounding the error probability from above and below. We study the asymptotic rate of detecting multiple copies of the pure state and show that, if the overlap of the two states is great enough, then they can be distinguished asymptotically as well with LOCC as with global measurements; otherwise, the maximal Schmidt coefficient of the pure state is sufficient to determine the asymptotic error rate.
The characterization of transformations among entangled pure states via local operations assisted by classical communication (LOCC) is a crucial problem in quantum information theory for both theoretical and practical reasons. As LOCC has a highly intricate structure, sometimes the larger set of separable (SEP) maps is considered, which has a mathematically much simpler description. In the literature, mainly SEP maps consisting of invertible Kraus operators have been taken into account. In this paper we show that the consideration of those maps is not sufficient when deciding whether a state c…
We investigate how much amount of Greenberger-Horne-Zeilinger (GHZ) entanglement is required in order to prepare a given multipartite state by local operations and classical communication (LOCC).We present a LOCC procedure that asymptotically converts GHZ states into an arbitrary multipartite pure state, whose conversion rate is given by the multipartite discord of the state. This reveals that the GHZ-entanglement cost of preparing a pure state is not higher than the multipartite discord of the state. It also provides an operational interpretation of multipartite discord for pure states, namel…
We investigate the entanglement of n-mode n-partite Gaussian fermionic states (GFS). First, we identify a reasonable definition of separability for GFS and derive a standard form for mixed states, to which any state can be mapped via Gaussian local unitaries (GLU). As the standard form is unique two GFS are equivalent under GLU if and only if their standard forms coincide. Then, we investigate the important class of local operations assisted by classical communication (LOCC). These are central in entanglement theory as they allow to partially order the entanglement contained in states. We show…
Entanglement is the resource to overcome the natural limitations of spatially separated parties restricted to Local Operations assisted by Classical Communications (LOCC). Recently two new classes of operational entanglement measures, the source and the accessible entanglement, for arbitrary multipartite states have been introduced. Whereas the source entanglement measures from how many states the state of interest can be obtained via LOCC, the accessible entanglement measures how many states can be reached via LOCC from the state at hand. We consider here pure bipartite as well as multipartit…
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 provide a method for checking indistinguishability of a set of multipartite orthogonal states by local operations and classical communication (LOCC). It bases on the principle of nonincreasing of entanglement under LOCC. This method originates from the one introduced by Ghosh \emph{et al.} (Phys. Rev. Lett. \textbf{87}, 5807 (2001) (quant-ph/0106148)), though we deal with {\emph pure} states. In the bipartite case, our method is operational, although we do not know whether it can always detect local indistinguishability. We apply our method to show that an arbitrary complete multipartite or…
In order to cope with the fact that there exists no single maximally entangled state (up to local unitaries) in the multipartite setting, we introduced in [J. I. de Vicente, C. Spee and B. Kraus, Phys. Rev. Lett. 111, 110502 (2013)] the maximally entangled set of n-partite quantum states. This set consists of the states that are most useful under conversion of pure states via Local Operations assisted by Classical Communication (LOCC). We will review our results here on the maximally entangled set of three- and generic four-qubit states. Moreover, we will discuss the preparation of arbitrary (…
In this thesis, we investigate two different aspects of entanglement and classical communication in distributed quantum computation (DQC). In the first part, we analyze implementable computation over a given quantum network resource by introducing a new concept, quantum network coding for quantum computation. We consider a setting of networks where quantum communication for each edge of a network is restricted to sending one-qubit, but classical communication is unrestricted. Specifically, we analyze implementable $k$-qubit unitary operations over a certain class of networks, called cluster ne…
When a quantum system is distributed to spatially separated parties, it is natural to consider how the system evolves when the parties perform local quantum operations with classical communication (LOCC). However, the structure of LOCC channels is exceedingly complex leaving many important physical problems unsolved. In this paper we consider generalized resource theories of entanglement based on different relaxations to the class of LOCC. The behavior of various entanglement measures is studied under non-entangling channels, as well as the newly introduced classes of dually non-entangling and…
Entanglement theory is formulated as a quantum resource theory in which the free operations are local operations and classical communication (LOCC). This defines a partial order among bipartite pure states that makes it possible to identify a maximally entangled state, which turns out to be the most relevant state in applications. However, the situation changes drastically in the multipartite regime. Not only do there exist inequivalent forms of entanglement forbidding the existence of a unique maximally entangled state, but recent results have shown that LOCC induces a trivial ordering: almos…
In an effort to simplify the classification of pure entangled states of multi (m) -partite quantum systems, we study exactly and asymptotically (in n) reversible transformations among n'th tensor powers of such states (ie n copies of the state shared among the same m parties) under local quantum operations and classical communication (LOCC). With regard to exact transformations, we show that two states whose 1-party entropies agree are either locally-unitarily (LU) equivalent or else LOCC-incomparable. In particular we show that two tripartite Greenberger-Horne-Zeilinger (GHZ) states are LOCC-…
We consider asymptotic convertibility of an arbitrary sequence of bipartite pure states into another by local operations and classical communication (LOCC). We adopt an information-spectrum approach to address cases where each element of the sequences is not necessarily in tensor power of a bipartite pure state. We derive necessary and sufficient conditions for the LOCC convertibility of one sequence to another in terms of spectral entropy rates of entanglement of the sequences. Based on these results, we also provide simple proofs for previously known results on the optimal rates of entanglem…
Suppose we want to identify an input state with one of two unknown reference states, where the input state is guaranteed to be equal to one of the reference states. We assume that no classical knowledge of the reference states is given, but a certain number of copies of them are available instead. Two reference states are independently and randomly chosen from the state space in a unitary invariant way. This is called the quantum state identification problem, and the task is to optimize the mean identification success probability. In this paper, we consider the case where each reference state …
Entanglement is a resource in quantum information theory when state manipulation is restricted to Local Operations assisted by Classical Communication (LOCC). It is therefore of paramount importance to decide which LOCC transformations are possible and, particularly, which states are maximally useful under this restriction. While the bipartite maximally entangled state is well known (it is the only state that cannot be obtained from any other and, at the same time, it can be transformed to any other by LOCC), no such state exists in the multipartite case. In order to cope with this fact, we in…
We introduce deterministic state-transformation protocols between many-body quantum states which can be implemented by low-depth Quantum Circuits (QC) followed by Local Operations and Classical Communication (LOCC). We show that this gives rise to a classification of phases in which topologically-ordered states or other paradigmatic entangled states become trivial. We also investigate how the set of unitary operations is enhanced by LOCC in this scenario, allowing one to perform certain large-depth QC in terms of low-depth ones.
Suppose that two distant parties Alice and Bob share an entangled state $ρ_{AB}$, and they want to exchange the subsystems of $ρ_{AB}$ by local operations and classical communication (LOCC). In general, this LOCC task (i.e. the LOCC transformation of $ρ_{AB} \to Vρ_{AB} V$ with $V$ being a swap operator) is impossible deterministically, but becomes possible probabilistically. In this paper, we study how the optimal probability is related to the amount of entanglement in the framework of positive partial transposed (PPT) operations, and numerically show a remarkable class of states whose probab…
Quantum entanglement is an indispensable resource for many significant quantum information processing tasks. However, because of the noise in quantum channels, it is difficult to distribute quantum entanglement over a long distance in practice. A solution for this challenge is the quantum repeater which can extend the distance of entanglement distribution. In this scheme, the time consumption of classical communication and local operations takes an important place in perspective of time efficiency. Motivated by this observation, we exploit the basic quantum repeater scheme in perspectives of n…
We consider the transformation of multi-partite states in the single copy setting under positive-partial-transpose-preserving operations (PPT-operations) and obtain both qualitative and quantitative results. Firstly, for some pure state transformations that are impossible under local operations and classical communication (LOCC), we demonstrate that they become possible with a surprisingly large success probability under PPT-operations. Furthermore, we clarify the convertibility of arbitrary multipartite pure states under PPT-operations, and show that a drastic simplification in the classifica…
We study the problem of transforming a set of pure bipartite states into another using deterministic LOCC (local operations and classical communication). Necessary conditions for the existence of such a transformation are obtained using LOCC constraints on state transformation, entanglement, and distinguishability. These conditions are shown to be independent but not sufficient. We discuss their satisfiability and classify all possible input-output pairs of sets accordingly. We also prove that strict inclusions hold between LOCC, separable, and positive partial transpose operations for set tra…
A novel criterion of extracting thermodynamical work from a bipartite pure qudit-entangled state by means of local operation and classical communication (LOCC) has been presented. We have shown that non-vanishing $G$-concurrence is a necessary condition to extract work from an higher dimensional entangled state in LOCC paradigm.
We develop graph theoretic methods for analysing maximally entangled pure states distributed between a number of different parties. We introduce a technique called {\it bicolored merging}, based on the monotonicity feature of entanglement measures, for determining combinatorial conditions that must be satisfied for any two distinct multiparticle states to be comparable under local operations and classical communication (LOCC). We present several results based on the possibility or impossibility of comparability of pure multipartite states. We show that there are exponentially many such entangl…
We show that the four states a|00>+b|11>, b^*|00>-a^*|11>, c|01>+d|10> and d^*|01>-c^*|10> cannot be discriminated with certainty if only local operations and classical communication (LOCC) are allowed and if only a single copy is provided, except in the case when they are simply |00>, |11>, |01> and |10> (in which case they are trivially distinguishable with LOCC). We go on to show that there exists a continuous range of values of a, b, c and d such that even three states among the above four are not locally distinguishable, if only a single copy is provided. The proof follows from the fact t…
Understanding multipartite entanglement is vital, as it underpins a wide range of phenomena across physics. The study of transformations of states via Local Operations assisted by Classical Communication (LOCC) allows one to quantitatively analyse entanglement, as it induces a partial order in the Hilbert space. However, it has been shown that, for systems with fixed local dimensions, this order is generically trivial, which prevents relating multipartite states to each other with respect to any entanglement measure. In order to obtain a non-trivial partial ordering, we study a physically moti…
We present a complete characterization for the local distinguishability of orthogonal $2\otimes 3$ pure states except for some special cases of three states. Interestingly, we find there is a large class of four or three states that are indistinguishable by local projective measurements and classical communication (LPCC) can be perfectly distinguishable by LOCC. That indicates the ability of LOCC for discriminating $2\otimes 3$ states is strictly more powerful than that of LPCC, which is strikingly different from the case of multi-qubit states. We also show that classical communication plays a…
Entanglement is a resource to overcome the natural restriction of operations used for state manipulation to Local Operations assisted by Classical Communication (LOCC). Hence, a bipartite maximally entangled state is a state which can be transformed deterministically into any other state via LOCC. In the multipartite setting no such state exists. There, rather a whole set, the Maximally Entangled Set of states (MES), which we recently introduced, is required. This set has on the one hand the property that any state outside of this set can be obtained via LOCC from one of the states within the …
We consider a four-state pure bipartite system consisting of four qubits shared among two parties using the same Schmidt basis, two qubits per party. In some cases, transformation between two known pure states may not be possible using LOCC transformations but may be possible with the addition of a two-qubit catalyst. We provide a necessary and sufficient condition for this to occur.
Power and limitations of distributed quantum state purification
The University of Hong Kong（香港大学）；The Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州））；University of Oxford（牛津大学）；Perimeter Institute for Theoretical Physics（理论物理前沿研究所）
Necessary and sufficient conditions for deterministic remote extraction and destruction of qubit information encoded in bipartite states using only local operations and classical communications (LOCC) are presented. The conditions indicate that there is a way to asymmetrically spread qubit information between two parties such that it can be remotely extracted with unit probability at one of the parties but not at the other as long as they are using LOCC. Remote destruction can also be asymmetric between the two parties, but the conditions are incompatible with those for remote extraction.
Any deterministic bipartite entanglement transformation involving finite copies of pure states and carried out using local operations and classical communication (LOCC) results in a net loss of entanglement. We show that for almost all such transformations, partial recovery of lost entanglement is achievable by using $2 \times 2$ auxiliary entangled states, no matter how large the dimensions of the parent states are. For the rest of the special cases of deterministic LOCC transformations, we show that the dimension of the auxiliary entangled state depends on the presence of equalities in the m…
Motivated by the desire to better understand the class of quantum operations on bipartite systems that preserve positivity of partial transpose (PPT operations) and its relation to the class LOCC (local operations and classical communication), we present some results on deterministic bipartite pure state transformations by PPT operations. Restricting our attention to the case where we start with a rank K maximally entangled state, we give a necessary condition for transforming it into a given pure state, which we show is also sufficient when K is two and the final state has Schmidt rank three.…
For a multipartite system, we sort out all possible entanglements, each of which is among a set of subsystems. Each entanglement can be measured by a generalized relative entropy of entanglement, which is conserved on average under reversible local operations and classical communication (LOCC) defined for all the parties. Then we derive a series of inequalities of different entanglements that have to be satisfied by any pure state which can be generated by reversible LOCC from the set of all GHZ-like states.
Entanglement distillation is a key primitive for distributing high-quality entanglement between remote locations. Probabilistic noiseless linear amplification based on the quantum scissors is a candidate for entanglement distillation from noisy continuous-variable (CV) entangled states. Being a non-Gaussian operation, quantum scissors is challenging to analyze. We present a derivation of the non-Gaussian state heralded by multiple quantum scissors in a pure loss channel with two-mode squeezed vacuum input. We choose the reverse coherent information (RCI)---a proven lower bound on the distillab…
