We investigate the conditions under which a set
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 must be full Schmidt rank and equally entangled under the
G-concurrence measure, and (ii) the set
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
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 discuss the exact cloning of orthogonal but entangled qubits under local operations and classical communication. The amount of entanglement necessary in a blank copy is obtained for various cases. Surprisingly, this amount is more than 1 ebit for certain sets of two nonmaximal but equally entangled states of two qubits. To clone any three Bell states, at least
log2 3 ebit is necessary.
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→VρABV 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 probability is the smallest among every state in two quantum bits.
I show that two distant parties can transform pure entangled states to arbitrary pure states by stochastic local operations and classical communication (SLOCC) at the single copy level, if they share bound entangled states. This is the effect of bound entanglement since this entanglement processing is impossible by SLOCC alone. A similar effect of bound entanglement exists in three qubits where two incomparable entangled states of GHZ (Greenberger, Horne, and Zeilinger) and W can be interconverted. In general, multipartite settings composed by N distant parties, all N-partite pure entangled states are interconvertible by SLOCC with the assistance of bound entangled states with positive partial transpose.
We consider the optimal measurement procedures for estimating an unknown maximally entangled state with local operations and classical communications (LOCC). By the ``optimal,'' we mean that there is no other LOCC measurements that can provide a higher estimation fidelity. In fact, we first use the positive partial transpose constraint to obtain an upper bound of the fidelity; then, we show there exists a kind of LOCC measurement that can attain such a bound. The estimation fidelity of the optimal LOCC estimation procedures is
(D+1)D2D+2 with
D denoting the dimension of the relevant quantum system.