Research Article | Open Access

Ryo Namiki, "Phase-Conjugate-State Pairs in Entangled States", *Journal of Atomic and Molecular Physics*, vol. 2012, Article ID 854693, 12 pages, 2012. https://doi.org/10.1155/2012/854693

# Phase-Conjugate-State Pairs in Entangled States

**Academic Editor:**Alan Migdall

#### Abstract

We consider the probability that a bipartite quantum state contains phase-conjugate-state (PCS) pairs and/or identical-state pairs as signatures of quantum entanglement. While the fraction of the PCS pairs directly indicates the property of a maximally entangled state, the fraction of the identical-state pairs negatively determines antisymmetric entangled states such as singlet states. We also consider the physical limits of these probabilities. This imposes fundamental restrictions on the pair appearance of the states with respect to the local access of the physical system. For continuous-variable system, we investigate similar relations by employing the pairs of phase-conjugate coherent states. We also address the role of the PCS pairs for quantum teleportation in both discrete-variable and continuous-variable systems.

#### 1. Introduction

The spooky action induced by the entangled particles at a distance is an interesting starting point in studies of quantum entanglement [1–5]. For the singlet state, the spins are always antiparallel to each other independently of the measured spin angle. Another familiar example is the Einstein-Podolski-Rosen (EPR) state. For the EPR states, not only the positions of the two particles but also the momentums of the two particles have perfect correlation. When we consider the standard form of the maximally entangled state in two -level (qudit) systems , an interesting property is the appearance of a phase-conjugate state when a subsystem is projected onto a local state , namely, for any state , we have the relation An example with two spin systems is schematically shown in Figure 1. A natural question is whether this coherent appearance of the phase-conjugate-state (PCS) pairs can be a signature of entanglement.

It has been known that the use of PCS pairs is more efficient than the use of identical-state pairs, , in the transmission of unknown quantum states. Gisin and Popescu showed that the set of antiparallel spins stores the quantum information better than the set of parallel spins [6]. Zhou et al*.* provided a generalization of this relation by exploiting unknown PCS and identical-state pairs for two-qudit systems [7]. Similar relations have been found in the continuous variable system in which a set of phase-conjugate coherent-state pairs, say , is employed [8]. Other insightful properties of the pairs of coherent states have been investigated from the aspect of the optimal cloning [9]. A scheme of continuous variable cloning of phase-conjugate coherent states is proposed in [10] and an experimental demonstration has been reported in [11].

In this paper we define the probabilities that PCS and/or identical-state pairs appear in bipartite quantum states. We investigate physical limits of these probabilities and their relations to quantum entanglement. In Section 2, we define the fraction of the PCS and/or identical-state pairs on a two-qudit system and investigate their properties. For the case of the uniform distribution, the fractions determine the symmetry of bipartite quantum states in the sense of [12]. It is shown that the fraction of the PCS pairs corresponds to the average fidelity of quantum teleportation. We consider similar relations with respect to two mutually unbiased bases in Section 2.5. We also consider the phase-conjugate pairs of coherent states for a two-mode continuous-variable system in Section 3. The results are summarized in Section 4.

#### 2. Two-Qudit System

##### 2.1. Phase-Conjugate-State Pairs in Two-Qudit States

Let us write a maximally entangled state (MES) in two-qudit (two -level) system composed of subsystems and as . This state has an interesting property associated with a local projection (see Figure 1): if a subsystem is projected onto a pure state then the state of the other subsystem becomes the phase conjugate of the pure state . In equation, we have the relation for any pure state . Here, the factor comes from the probability that the subsystem is in , that is, . Note that the phase conjugation is defined with respect to a fixed basis. Any maximally entangled state has the same property up to local unitary operation.

In order to find the role of entanglement in such phenomena, we may define the *fraction of the PCS pairs* by
where is the uniform (Haar) measure which satisfies , and corresponds to the positive operator valued measure (POVM) elements of the random projective measurement of a subsystem. The integrand implies the probability that a bipartite state contains the state pair . Hence the fraction represents the probability that the local states of the system are in phase-conjugate relation. For the MES , the PCS pair appears for any outcome of the random measurement as in (1), and we have the unit probability

Now, we would like to ask two questions. (i) How high one can attain the probability of the pair appearance without entanglement? (ii) Does the unit probability uniquely determine the MES? Is there another state that yields the pair appearance, unconditionally? In order to answer the question (i) we estimate the maximum value of the fraction under the constraint that the state is not entangled. We call a bipartite state *classically correlated* or *separable* if the state can be written in the form with the probability distribution and . If the state is not separable we call the state entangled. We define the *classical limit fraction of the PCS pairs* as the maximum value of the fraction achieved by classically correlated states
where the maximization is taken over separable states .

Since any state being invariant under the unitary operation (isotropic state) can be decomposed into the form [13] we can write the isotropic operator in (2) as follows: where we use (3) in order to calculate the corresponding term . Then, we have The second term is the maximally entangled fraction achieved by separable states, which is known to be [13] (see Appendix A for a formal proof). This implies From the definition of the classical limit fraction, any separable state must satisfy and is a signature of entanglement (see Figure 2).

From (5), we can verify that
where the minimum is achieved by the states in the orthogonal subspace of . A notable feature is that there is no physical state that achieves the probability smaller than . In other words, *any bipartite state must contain PCS pairs with probability no smaller than *. This is a sort of inequality to generally limit the capability of the physical process similar to the case of the optimal cloning [9]. It gives a physical limit on the probability that concerns the pair appearance of local states with respect to the local measurement. The physically possible regime and classically possible regime for are summarized in Figure 2.

From (5), it is also clear that the MES maximizes the probability of the pair appearance and uniquely determines . We thus have positive answers to the question (ii) and obtain the separable condition from the classical limit on the fraction of the PCS pairs associated with the question (i).

##### 2.2. Phase-Conjugate-State Pairs and Average Fidelity of Quantum Teleportation

In this section we consider the process of quantum teleportation and show that the teleportation fidelity corresponds to the fraction of the PCS pairs introduced in the previous section (see (2)).

Let us define the generalized Pauli and operators: with and . They satisfy By using , , and MES , we define the Bell states as follows: Note that , and the set of states with , forms an orthonormal basis (Bell basis) on the two-qudit system. The process of the quantum teleportation [14] which transfers the state in system to system by using a pre-shared entangled state is described by where we defined the Kraus operator which satisfies

If the shared entangled state is , we have and the state on is perfectly transferred into the state on so that If the shared resource is a maximally entangled state but not , we can redefine the local basis so that it becomes the standard form. Then, the teleportation procedure can be proceeded in the same manner.

For a given quantum channel , we define the average fidelity as the probability that the state of the channel output corresponds to the state of the channel input averaged all over the input states [13], For the teleportation channel of (14) the average fidelity becomes as follows:

where we used the relations such as and changed the variable of the integration as in the last line. Then, we use and (2) to reach the final expression.

Equation (20) shows that the teleportation fidelity is determined by the fraction of the PCS pairs. Hence, we can understand that the role of the entangled state in quantum teleportation is to generate the phase-conjugate state in a (remote) local system when the state of the other local system is projected onto a pure state. Note that the classical boundary of the fidelity achieved by the entanglement breaking channel [13] corresponds to the classical limit fraction of the PCS pairs defined in (4).

##### 2.3. Identical-State Pairs in Two-Qudit States

In this section we consider the probability that a two-qudit state contains identical-state pairs . We show its physical limits and relation to entanglement.

The probability that a state contain an identical-state pair can be written by . We define the *fraction of the identical-state pairs* by
This is the probability that an identical-state pair appears subject to the random local measurement. It is defined parallel to the fraction of the PCS pairs of (2).

In order to see the property of we give a diagonal expression of the operator . Let us write the transposition of the second subsystem with respect to the fixed basis by . Since we can write from (5)
where we use (5) and is the flip operator defined as
The operator is invariant under the unitary operations [15]. The quantum state being invariant under these operations is called the *Werner state*, and such a state is characterized by the coefficients of the identity and flip operators as the form of (23). We can see that the so-called singlet state with is the eigenstate of the flip operator belong to the eigenvalue . The superscript corresponds to the sign of the eigenvalue , respectively. It is also clear that the product states are the eigenstates of belong to the eigenvalue . The set of the eigenstates and forms an orthonormal basis in the space. Therefore, we have decompositions of the identity operator
and the flip operator:
From these relations and (23) we obtain a diagonal form of the Werner-type operator:
This expression implies , and we have
This relation is parallel to the relation on in (9) as in Figure 2. Similar to the case of , it gives another physical limitation: the probability of the identical-pair appearance cannot be higher than for any physical state. As one can see from (27) the separable states can achieve the maximum of . Thereby, any higher value of the identical-state-pair fraction cannot be a signature of entanglement different from the case of the PCS-pair fraction.

Next, we determine the minimum value of the fraction attained by separable states. Since the expectation value of a partial transposed operator for a product state corresponds to a expectation value of the original operator for another product state [16], we have . Using this relation we obtain where we use (9). This implies that the state is entangled if From (27) we can see that the left equality is achieved by with . For such states, there is no possibility of the identical-state-pair appearance.

To show a physical meaning of the identical-pair appearance, let us consider the following quantity: Since the operator filters out the state , the fraction of the orthonormal pairs contributes to this quantity (and reduces the value of ). Hence, the identical-pair appearance negatively quantifies the appearance of orthogonal-state pairs. The appearance of orthogonal-state pairs is characteristics of the singlet state in which the local states are antiparallel to each other as mentioned in the introduction. Our result implies that such a phenomena cannot occur for the case of separable states and is a signature of entanglement.

Note that the unconditional appearance (the appearance with unit probability) of the orthogonal pairs is the unique property of the states in the antisymmetric subspace. This can be proven as follows: the condition implies for any state since . Suppose that is a “qubit” state so that with . Then, the condition for any and yields that is the singlet state . Since this relation must hold for any choice of and , the states have to be in the antisymmetric subspace spanned by the singlets .

##### 2.4. Summary of the Statements for the Uniform Average over the -Level Local States

Here, we summarize the main statements in Sections 2.1, 2.2, and 2.3. We have defined the fraction of the PCS pairs (see (2)) and the fraction of the identical-state pairs (see (22)) in bipartite quantum states. We have shown that, for the probability , the following statements hold (see also Figure 2). (i)* for any bipartite state *. (ii) *is entangled if *.(iii) *iff *.(iv) *corresponds to the teleportation fidelity*.

We have shown that, for the probability , the following statements hold (see also Figure 2).(i)* for any bipartite state *. (ii) *is entangled if *.(iii) *is in antisymmetric subspace iff *.

##### 2.5. Two Mutually Unbiased Bases

In the previous sections the pair appearances are considered with respect to the uniform distribution that includes arbitrary PCS/identical-state pairs. In this section we consider the appearance of the PCS pairs with respect to the elements of two mutually unbiased bases.

The two orthonormal bases of a -level system, say and , are said to be mutually unbiased if they satisfy the relation for any and [17]. Here we use a fixed basis and its Fourier basis defined by with . We refer to as the basis since they are eigenstates of defined in (11). By definition, the elements of the basis are unchanged under the phase conjugation whereas the elements of the basis changes under the phase conjugation as .

Suppose that the subsystem is randomly measured on either the basis or the basis. We are interested in the probability that the state of the subsystem is the phase-conjugate state. Let us define the positive operator as follows.
The partial trace of this operator corresponds to the POVM of the random measurement of the two mutually unbiased bases (it satisfies the condition for the POVM on a local system ). We define the * fraction of the PCS pair with respect to two mutually unbiased bases* as follows:

Using the completeness of the Bell basis of (13) we have From this expression we can verify , where the maximum is achieved by and the minimum is achieved by any of in the last summation. Hence we could not find the physical limitation on the appearance of PCS pairs with respect to the mutually unbiased bases.

Since the last term in (34) satisfies we have . Using this relation and [13] we obtain The equality is achieved by the state . Equality in (35) gives the classical limit of . Consequently, we have the inseparable condition [18] associated with the PCS-pair appearance with respect to the two mutually unbiased bases: is entangled if

Next, we consider the lower bound of for classically correlated states. Interestingly, we can find that is achieved by separable states when the dimension is not a prime number. For the separable state we have Suppose that with integers and , that is, is not a prime number. Then we can verify is achieved by the separable state with and . Thus, is achieved by a separable state if is not a prime number. This implies that can be achieved by separable states. Hence, a smaller value of the fraction of the identical-state pairs, which can be defined by , cannot be a signature of entanglement when is not a prime number in contrast to the case of in Section 2.3.

Let us consider some cases of prime numbers. For we have and . The equality is achieved by . Therefore we obtain another inseparable inequality for the regime of smaller : is entangled if . Note that, in the case of , we have and , and there is no difference between the fraction of PCS pairs and the fraction of identical state pairs. This gives a different structure from and in the diagram of Figure 2.

For , it is found that , and a numerical calculation suggests that this value is the lower bound. For , an upper bound of is given by the minimum eigenvalue of the matrix: The minimum eigenvalue of corresponds to a minimum of achieved by the separable state of the following form: . Figure 3 shows the minimum eigenvalues for the first 20th prime numbers. For , it is observed that is at least smaller than . Unfortunately, we could not have found nontrivial lower bound on this minimization problem for the prime dimensions . However, it is likely that there is a such lower bound to give a separable condition for each prime number of and that a smaller value of the identical-state-pair fraction becomes a signature of entanglement when we employ two mutually unbiased bases for the prime dimensions.

#### 3. Two-Mode Continuous-Variable System

In the following sections we will consider continuous-variable analog of the pair appearance of phase-conjugate states. The analysis in Sections 3.1 and 3.2 is continuous-variable counterpart of the analysis on the two-qudit system described in Sections 2.1 and 2.2.

##### 3.1. Conjugate-State Pairs on Continuous-Variable Systems

The EPR state is defined as a simultaneous eigenstate of the relative position and total momentum of a two-particle system. The EPR state thus has strong correlation on the positions and strong anticorrelation on the momentums. This suggests that the complex amplitudes of the two particles maintain the complex conjugate relation as in Figure 4. To be concrete, let us consider the form of the EPR state [1]. Here, and are the eigenkets of the canonical operators and belong to the eigenvalues and , respectively. Here and in what follows we assume the commutation relations for canonical operators . We can verify and . We can also rewrite this state in the coherent state basis by using the over completeness relation as . This expression demonstrates the pair appearance of the complex conjugate coherent states, .

As an experimental implementation of the EPR state in the quantum optics, we usually work with the two-mode-squeezed states (TMSS): where and we use the number states as the fixed basis. The TMSS is a simultaneous eigenstate of where (, ) and (, ) are the annihilation and creation operators of mode and mode , respectively [19]. We can verify the conditions for the simultaneous eigenstate as and . The eigenvalue zeros for and imply and . This suggests the existence of strong correlations on the complex amplitudes of the two modes. We can see that and in the limit . Hence, in this limit, the TMSS approaches the EPR state.

In what follows we assume that is real and positive. One may define the fraction of TMSS as an analog of the maximally entangled fraction in finite dimension systems. Since the TMSS of (39) has as its largest Schmidt coefficient, using the result of Appendix A we have and obtain the separable condition: Any separable state must satisfy

For the TMSS of (39), we can see the following pair appearance phenomena. When one find that the local state of is a coherent state , the local state of turns out to be another coherent state . Similar to (1), the following relation holds for any complex amplitude : In order to see the role of entanglement in such pair appearance we may define the fraction of the phase-conjugate coherent-state pairs as follows: where we introduced the real parameter and the probability density In the limit , we have , and corresponds to the POVM elements of the double homodyne measurement on mode (It satisfies ). For notation convention we define the normalized state which satisfies . Then, we can write the fraction as For the TMSS of (39) we have This quantity takes the maximum value of when Note that, in the limit , we have the unit probability and .

In what follows we show that (i) the maximum value of in (43) for physical states is actually given by of (48) and determine (ii) the maximum value of for classically correlated states.

Let us show that (i) corresponds to the operator norm of , that is, . To proceed, we determine the covariance matrix of and diagonalize this matrix.

*Proof. * Let us define the covariance matrix of
where is the set of the canonical operators of mode and mode . From (45) the covariance matrix of the operator is given by
where is the identity operator of 4-by-4 matrices.

In order to diagonalize this matrix we define another matrix corresponding to the two-mode squeezing operator that transforms the canonical operators as follows:
The covariance matrix is diagonalized as follows:
where
and the squeezing parameter is determined by
which is equivalent to . Therefore, the operator is diagonalized by the two-mode squeezer as the product of thermal states:
Thus, we have the maximum eigenvalue
corresponding to the eigenstate . Equation (57) proves the first statement (i) .

Note that in the limit , we have for any . This means that with nearly unit probability, the TMSS assigns the complex-conjugate pair of coherent states as the EPR state does (see Figure 4). Note also that the maximum eigenvalue can be associated with the physical limit of the amplification task in [20].

Now, our question is the limit of the pair appearance in (43) for classical correlated states. We can prove the following statement: (ii) When the state has no entanglement the maximum value of the operator becomes

*Proof. * In order to show this, let us write the partial transposition of the operator in the diagonal form:
where is the beam-splitter transformation act on the coherent states as and we used the fact that the thermal state is diagonalized on the number-state basis in the final expression. From the diagonal form the maximum eigenvalue (operator norm) of is given by . Since an expectation value of a partial transposed operator for a product state corresponds to a expectation value of the original operator for another product state [16], we have . Using this relation we have
The equality holds when . This proves (58).

Consequently, it has turned out that the pair appearance of the phase-conjugate coherent states can be a signature of entanglement, and we obtain the following statement: the state is entangled if there exist and such that [21] (see Figure 5).

In Section 2.3, it is shown that the fraction of the identical-state pairs vanishes for the antisymmetric states and a smaller value of can be a signature of entanglement on the two-qudit system. For the fraction of the identical-coherent-state pairs with the prior distribution , it is clear that one can lower the expectation value less than any given positive number by choosing a product of number states with a sufficiently large photon number. Hence, the fraction of the identical-coherent-state pairs is not useful as a signature of entanglement in this regard.

##### 3.2. Teleportation Fidelity and the Pair Appearance of Phase-Conjugate Coherent States

In this section we consider the process of continuous-variable quantum teleportation and investigate the equivalence between the teleportation fidelity and the fraction of the phase-conjugate coherent-state pairs.

Let us consider the process of continuous-variable quantum teleportation [22, 23] for a coherent state from mode to mode by using a possibly entangled state on the joint mode as in Figure 6. The teleportation process consists of the following two steps: (i) a Bell measurement of the joint mode and (ii) a feedforward displacement operation on mode associated with the Bell-measurement outcome . The first step is accomplished by a half-beamsplitter transformation and two homodyne measurements. Suppose that the state of the joint mode is a product of coherent states . Then, the joint probability density that the Bell-measurement outcome is can be written as where the beam-splitter transformation is given by , and the complex amplitude is defined by . With this measurement outcome and a gain parameter , the second step can be described by the displacement operation on mode . By using (61) and the representation , we can express the state after the teleportation process as where we define Note that is not a normalized density operator while is a normalized density operator on mode .

For the case of continuous-variable quantum channels [24] we may define the average gate fidelity as The factor is essential to describe the effect of loss or amplification [20, 21, 24]. Such an effect is inherent concept in the class of Gaussian operations [25].

If we set the gain parameter we can write with . From this expression we have where we performed the integration of with a change of the integration variable . Hence, we have shown that the teleportation fidelity (64) is equivalent to the fraction of the phase-conjugate coherent-state pairs with . Note that the final expression of (66) no more includes the parameter . This is because the displacement all over the phase space eliminates the information about the phase-space position of (see (63)).

#### 4. Summary

We have considered the probability that a bipartite quantum state contains the PCS pairs and/or identical-state pairs. We determine the physical limits and classical limits of these probability for the case of uniform distribution on qudit states. The classical limits give the separable conditions. We have also shown the equivalence between the average fidelity of quantum teleportation process and the probability of the PCS pairs on the resource state of the teleportation. A summary of the obtained statements in Sections 2.1–2.3 is given in Section 2.4.

For the case of uniform distribution on two mutually unbiased bases, a part of the problems becomes highly dependent on the dimension . We have shown that the probability of the identical-state-pair appearance is useless for the entanglement verification when is not a prime number. We have conjectured that the probability can be a signature of entanglement when is a prime number. It is true when and is numerically confirmed when .

We have also considered the probability that a two-mode continuous-variable state contains the phase-conjugate coherent-state pairs. We determine its physical limit and classical limit. We have also addressed its role in the process of continuous-variable quantum teleportation.

#### Appendices

#### A. Maximum Separable Eigenvalue of Pure Entangled States

In the main text, we have considered the maximum expectation value of certain observables under the constraint that the state is separable. This optimization problem is called the separable eigenvalue problem [26]. If the observable is an entangled pure state, the maximum value is the square of the largest Schmidt coefficient. Here we provide a formal proof.

*Proof. *Any pure entangled state can be written in the Schmidt decomposed form as follows:
with and . For any pure separable state with and , we have from Schwarz inequality and obtain
The equality is achieved when . Since any separable state can be written as a convex combination of pure separable states, we can verify
The convexity also implies that the optimization over the pure separable states is always sufficient for the separable eigenvalue problem.

#### B. Another Expression of the Flip Operator

Here, we give another diagonal expression of the flip operator defined in (24). In the main text we use the diagonal expression of (26).

The matrix elements of with respect to the Bell basis of (13) is given by . From this relation we can diagonalize the flip operator: where

#### C. Generation of the Fraction in a Symmetric Form

In the expression of of (43), the systems and are not equivalently treated as the parameter is only put on the states of . Here, we will consider a symmetric formula and present a related separable condition. Let us define the operator, in which the position of is moved from to on (45), Then, from the same procedure done on , we obtain the separable condition (see (60)) We can verify the following relation for the convex combination of operators, with :