Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0705.0369 · Physical Review A

Entanglement transformations using separable operations

Vlad Gheorghiu, Robert B. Griffiths

Published Sep 11, 2007• 15 citations
arXivHTMLPDF

Abstract

We study conditions for the deterministic transformation $\ensuremath{\mid}\ensuremath{\psi}⟩\ensuremath{\rightarrow}\ensuremath{\mid}\ensuremath{\phi}⟩$ 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 deterministic map produced by another separable operation, if one excludes the case where the Schmidt coefficients of $\ensuremath{\mid}\ensuremath{\psi}⟩$ are the same as those of $\ensuremath{\mid}\ensuremath{\phi}⟩$. The question of sufficient conditions in the general separable case remains open. When the Schmidt coefficients of $\ensuremath{\mid}\ensuremath{\psi}⟩$ are the same as those of $\ensuremath{\mid}\ensuremath{\phi}⟩$, we show that the Kraus operators of the separable transformation restricted to the supports of $\ensuremath{\mid}\ensuremath{\psi}⟩$ on the factor spaces are proportional to unitaries. When that proportionality holds and the factor spaces have equal dimension, we find conditions for the deterministic transformation of a collection of several full Schmidt rank pure states $\ensuremath{\mid}{\ensuremath{\psi}}_{j}⟩$ to pure states $\ensuremath{\mid}{\ensuremath{\phi}}_{j}⟩$.

DOI
10.1103/physreva.76.032310

Related papers

Necessary and sufficient conditions for local manipulation of multipartite pure quantum states

Gilad Gour, Nolan R Wallach

Suppose that several parties jointly possess a pure multipartite state, |ψ⟩. Using local operations on their respective systems and classical communication (i.e. LOCC), it may be possible for the parties to transform deterministically |ψ⟩ into another joint state |ϕ⟩. In the bipartite case, the Nielsen majorization theorem gives the necessary and sufficient conditions for this process of entanglement transformation to be possible. In the multipartite case, such a deterministic local transformation is possible only if both the states are in the same stochastic LOCC (SLOCC) class. Here, we generalize the Nielsen majorization theorem to the multipartite case, and find necessary and sufficient conditions for the existence of a local separable transformation between two multipartite states in the same SLOCC class. When such a deterministic conversion is not possible, we find an expression for the maximum probability to convert one state to another by local separable operations. In addition, we find necessary and sufficient conditions for the existence of a separable transformation that converts a multipartite pure state into one of a set of possible final states all in the same SLOCC class. Our results are expressed in terms of (i) the stabilizer group of the state representing the SLOCC orbit and (ii) the associate density matrices (ADMs) of the two multipartite states. The ADMs play a similar role to that of the reduced density matrices when considering local transformations that involve pure bipartite states. We show, in particular, that the requirement that one ADM majorizes another is a necessary condition but is, in general, far from also being sufficient as it happens in the bipartite case. In most of the results the twirling operation with respect to the stabilizer group (of the representative state in the SLOCC orbit) plays an important role that provides a deep link between entanglement theory and the resource theory of reference frames.

arXiv:1103.5096•New Journal of Physics•Jul 11, 2011•54 citations

Approximate transformations of bipartite pure-state entanglement from the majorization lattice

G. M. Bosyk, Giuseppe Sergioli, Héctor Freytes +2 more

We study the problem of deterministic transformations of an initial pure entangled quantum state, |ψ〉, into a target pure entangled quantum state, |ϕ〉, by using local operations and classical communication (LOCC). A celebrated result of Nielsen (1999) gives the necessary and sufficient condition that makes this entanglement transformation process possible. Indeed, this process can be achieved if and only if the majorization relation ψ≺ϕ holds, where ψ and ϕ are probability vectors obtained by taking the squares of the Schmidt coefficients of the initial and target states, respectively. In general, this condition is not fulfilled. However, one can look for an approximate entanglement transformation. Vidal et al. (2000) have proposed a deterministic transformation using LOCC in order to obtain a target state |χopt〉 most approximate to |ϕ〉 in terms of maximal fidelity between them. Here, we show a strategy to deal with approximate entanglement transformations based on the properties of the majorization lattice. More precisely, we propose as approximate target state one whose Schmidt coefficients are given by the supremum between ψ and ϕ. Our proposal is inspired on the observation that fidelity does not respect the majorization relation in general. Remarkably enough, we find that for some particular interesting cases, like two-qubit pure states or the entanglement concentration protocol, both proposals are coincident.

arXiv:1608.04818•Physica A Statistical Mechanics and its Applications•Jan 6, 2017•15 citations

Separable operations on pure states

Vlad Gheorghiu, Robert B. Griffiths

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.

arXiv:0807.2360•Physical Review A•Aug 29, 2008•43 citations

Local cloning of entangled states

Vlad Gheorghiu, Li Zhi Yu, Scott M. Cohen

We investigate the conditions under which a set $\mathcal{S}$ of pure bipartite quantum states on a $D\ifmmode\times\else\texttimes\fi{}D$ system can be locally cloned deterministically by separable operations, when at least one of the states is full Schmidt rank. We allow for the possibility of cloning using a resource state that is less than maximally entangled. Our results include that: (i) all states in $\mathcal{S}$ must be full Schmidt rank and equally entangled under the $G$-concurrence measure, and (ii) the set $\mathcal{S}$ can be extended to a larger clonable set generated by a finite group $G$ of order $|G|=N$, the number of states in the larger set. It is then shown that any local cloning apparatus is capable of cloning a number of states that divides $D$ exactly. We provide a complete solution for two central problems in local cloning, giving necessary and sufficient conditions for (i) when a set of maximally entangled states can be locally cloned, valid for all $D$; and (ii) local cloning of entangled qubit states with nonvanishing entanglement. In both of these cases, we show that a maximally entangled resource is necessary and sufficient, and the states must be related to each other by local unitary ``shift'' operations. These shifts are determined by the group structure, so need not be simple cyclic permutations. Assuming this shifted form and partially entangled states, then in $D=3$ we show that a maximally entangled resource is again necessary and sufficient, while for higher-dimensional systems, we find that the resource state must be strictly more entangled than the states in $\mathcal{S}$. All of our necessary conditions for separable operations are also necessary conditions for local operations and classical communication (LOCC), since the latter is a proper subset of the former. In fact, all our results hold for LOCC, as our sufficient conditions are demonstrated for LOCC, directly.

arXiv:1004.5126•Physical Review A•Aug 11, 2010•11 citations

Entanglement requirements for implementing bipartite unitary operations

Dan Stahlke, Robert B. Griffiths

We prove, using a method based on map-state duality, lower bounds on entanglement resources needed to deterministically implement a bipartite unitary using separable (SEP) operations, which include LOCC (local operations and classical communication) as a particular case. It is known that the Schmidt rank of an entangled pure state resource cannot be less than the Schmidt rank of the unitary. We prove that if these ranks are equal the resource must be uniformly (maximally) entangled: equal nonzero Schmidt coefficients. Higher rank resources can have less entanglement: we have found numerical examples of Schmidt rank 2 unitaries, which can be deterministically implemented, by either SEP or LOCC, using an entangled resource of two qutrits with less than one ebit of entanglement.

arXiv:1104.1652•Physical Review A•Sep 14, 2011•31 citations

Measurement outcomes that do not occur and their role in entanglement transformations

Martin Hebenstreit, Matthias Englbrecht, Cornelia Spee +2 more

Abstract 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 can be mapped to another via general SEP transformations. This is done by providing explicit examples of transformations among pure three- and five-qubit states, which are feasible via SEP maps containing singular Kraus operators, however, not possible via SEP maps containing solely regular Kraus operators. The key point that allows to construct the SEP maps is to introduce projective measurements that occur with probability zero on the input state. The fact that it is not sufficient to consider SEP maps composed out of regular Kraus operators even in the case of pure state transformations, also affects the results on LOCC transformations among pure states. However, we show that non-invertible Kraus operators do not help in state transformations under LOCC with finitely many rounds of classical communication, i.e. the necessary and sufficient condition for SEP transformations with invertible Kraus operators is still a necessary condition for convertibility under finite-round LOCC. Moreover, we show that the results on transformations via SEP that are not possible with LOCC (including infinitely many rounds of classical communication) presented in Hebenstreit et al 2016 Phys. Rev. A 93, 012339 are not affected.

arXiv:1911.00004•New Journal of Physics•Feb 12, 2021•10 citations
We study conditions for the deterministic transformation \ensuremath∣\ensuremathψ⟩\ensuremath→\ensuremath∣\ensuremathϕ⟩\ensuremath{\mid}\ensuremath{\psi}⟩\ensuremath{\rightarrow}\ensuremath{\mid}\ensuremath{\phi}⟩\ensuremath∣\ensuremathψ⟩\ensuremath→\ensuremath∣\ensuremathϕ⟩ 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 deterministic map produced by another separable operation, if one excludes the case where the Schmidt coefficients of \ensuremath∣\ensuremathψ⟩\ensuremath{\mid}\ensuremath{\psi}⟩\ensuremath∣\ensuremathψ⟩ are the same as those of \ensuremath∣\ensuremathϕ⟩\ensuremath{\mid}\ensuremath{\phi}⟩\ensuremath∣\ensuremathϕ⟩. The question of sufficient conditions in the general separable case remains open. When the Schmidt coefficients of \ensuremath∣\ensuremathψ⟩\ensuremath{\mid}\ensuremath{\psi}⟩\ensuremath∣\ensuremathψ⟩ are the same as those of \ensuremath∣\ensuremathϕ⟩\ensuremath{\mid}\ensuremath{\phi}⟩\ensuremath∣\ensuremathϕ⟩, we show that the Kraus operators of the separable transformation restricted to the supports of \ensuremath∣\ensuremathψ⟩\ensuremath{\mid}\ensuremath{\psi}⟩\ensuremath∣\ensuremathψ⟩ on the factor spaces are proportional to unitaries. When that proportionality holds and the factor spaces have equal dimension, we find conditions for the deterministic transformation of a collection of several full Schmidt rank pure states \ensuremath∣\ensuremathψj⟩\ensuremath{\mid}{\ensuremath{\psi}}_{j}⟩\ensuremath∣\ensuremathψj​⟩ to pure states \ensuremath∣\ensuremathϕj⟩\ensuremath{\mid}{\ensuremath{\phi}}_{j}⟩\ensuremath∣\ensuremathϕj​⟩.
Suppose that several parties jointly possess a pure multipartite state, |ψ⟩. Using local operations on their respective systems and classical communication (i.e. LOCC), it may be possible for the parties to transform deterministically |ψ⟩ into another joint state |ϕ⟩. In the bipartite case, the Nielsen majorization theorem gives the necessary and sufficient conditions for this process of entanglement transformation to be possible. In the multipartite case, such a deterministic local transformation is possible only if both the states are in the same stochastic LOCC (SLOCC) class. Here, we generalize the Nielsen majorization theorem to the multipartite case, and find necessary and sufficient conditions for the existence of a local separable transformation between two multipartite states in the same SLOCC class. When such a deterministic conversion is not possible, we find an expression for the maximum probability to convert one state to another by local separable operations. In addition, we find necessary and sufficient conditions for the existence of a separable transformation that converts a multipartite pure state into one of a set of possible final states all in the same SLOCC class. Our results are expressed in terms of (i) the stabilizer group of the state representing the SLOCC orbit and (ii) the associate density matrices (ADMs) of the two multipartite states. The ADMs play a similar role to that of the reduced density matrices when considering local transformations that involve pure bipartite states. We show, in particular, that the requirement that one ADM majorizes another is a necessary condition but is, in general, far from also being sufficient as it happens in the bipartite case. In most of the results the twirling operation with respect to the stabilizer group (of the representative state in the SLOCC orbit) plays an important role that provides a deep link between entanglement theory and the resource theory of reference frames.
We study the problem of deterministic transformations of an initial pure entangled quantum state, |ψ〉, into a target pure entangled quantum state, |ϕ〉, by using local operations and classical communication (LOCC). A celebrated result of Nielsen (1999) gives the necessary and sufficient condition that makes this entanglement transformation process possible. Indeed, this process can be achieved if and only if the majorization relation ψ≺ϕ holds, where ψ and ϕ are probability vectors obtained by taking the squares of the Schmidt coefficients of the initial and target states, respectively. In general, this condition is not fulfilled. However, one can look for an approximate entanglement transformation. Vidal et al. (2000) have proposed a deterministic transformation using LOCC in order to obtain a target state |χopt〉 most approximate to |ϕ〉 in terms of maximal fidelity between them. Here, we show a strategy to deal with approximate entanglement transformations based on the properties of the majorization lattice. More precisely, we propose as approximate target state one whose Schmidt coefficients are given by the supremum between ψ and ϕ. Our proposal is inspired on the observation that fidelity does not respect the majorization relation in general. Remarkably enough, we find that for some particular interesting cases, like two-qubit pure states or the entanglement concentration protocol, both proposals are coincident.
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 investigate the conditions under which a set S\mathcal{S}S of pure bipartite quantum states on a $D\ifmmode\times\else\texttimes\fi{}D$ system can be locally cloned deterministically by separable operations, when at least one of the states is full Schmidt rank. We allow for the possibility of cloning using a resource state that is less than maximally entangled. Our results include that: (i) all states in S\mathcal{S}S must be full Schmidt rank and equally entangled under the GGG-concurrence measure, and (ii) the set S\mathcal{S}S can be extended to a larger clonable set generated by a finite group GGG of order ∣G∣=N|G|=N∣G∣=N, the number of states in the larger set. It is then shown that any local cloning apparatus is capable of cloning a number of states that divides DDD exactly. We provide a complete solution for two central problems in local cloning, giving necessary and sufficient conditions for (i) when a set of maximally entangled states can be locally cloned, valid for all DDD; and (ii) local cloning of entangled qubit states with nonvanishing entanglement. In both of these cases, we show that a maximally entangled resource is necessary and sufficient, and the states must be related to each other by local unitary ``shift'' operations. These shifts are determined by the group structure, so need not be simple cyclic permutations. Assuming this shifted form and partially entangled states, then in D=3D=3D=3 we show that a maximally entangled resource is again necessary and sufficient, while for higher-dimensional systems, we find that the resource state must be strictly more entangled than the states in S\mathcal{S}S. All of our necessary conditions for separable operations are also necessary conditions for local operations and classical communication (LOCC), since the latter is a proper subset of the former. In fact, all our results hold for LOCC, as our sufficient conditions are demonstrated for LOCC, directly.
We prove, using a method based on map-state duality, lower bounds on entanglement resources needed to deterministically implement a bipartite unitary using separable (SEP) operations, which include LOCC (local operations and classical communication) as a particular case. It is known that the Schmidt rank of an entangled pure state resource cannot be less than the Schmidt rank of the unitary. We prove that if these ranks are equal the resource must be uniformly (maximally) entangled: equal nonzero Schmidt coefficients. Higher rank resources can have less entanglement: we have found numerical examples of Schmidt rank 2 unitaries, which can be deterministically implemented, by either SEP or LOCC, using an entangled resource of two qutrits with less than one ebit of entanglement.
Abstract 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 can be mapped to another via general SEP transformations. This is done by providing explicit examples of transformations among pure three- and five-qubit states, which are feasible via SEP maps containing singular Kraus operators, however, not possible via SEP maps containing solely regular Kraus operators. The key point that allows to construct the SEP maps is to introduce projective measurements that occur with probability zero on the input state. The fact that it is not sufficient to consider SEP maps composed out of regular Kraus operators even in the case of pure state transformations, also affects the results on LOCC transformations among pure states. However, we show that non-invertible Kraus operators do not help in state transformations under LOCC with finitely many rounds of classical communication, i.e. the necessary and sufficient condition for SEP transformations with invertible Kraus operators is still a necessary condition for convertibility under finite-round LOCC. Moreover, we show that the results on transformations via SEP that are not possible with LOCC (including infinitely many rounds of classical communication) presented in Hebenstreit et al 2016 Phys. Rev. A 93, 012339 are not affected.