A Characterization of Maximally Entangled Two-Qubit States

As already known by Rana’s result, all eigenvalues of any partial-transposed bipartite state fall within the closed interval [−12,1]. In this note, we study a family of bipartite quantum states where the minimal eigenvalues of partial-transposed states are −12. For a two-qubit system, we find that the minimal eigenvalue of its partial-transposed state is −12 if and only if such a two-qubit state is maximally entangled. However this result does not hold in general for a two-qudit system when the dimensions of the underlying space are larger than two.


Introduction
Let ρ AB be a quantum state in a bipartite quantum system H A ⊗ H B such that the positive partial transpose (PPT) criterion indicates that, for any separable state ρ AB , it must hold ρ T A AB 0, where T A denotes the partial transpose on subsystem A. This PPT condition was first proposed by Peres [1]. Such a condition is not only a necessary one but also a sufficient one for separability in a qubit-qubit, qubit-qutrit or a qutrit-qubit system [2]. The PPT condition can also be verified from the moments of the randomized measurements [3][4][5].
Recently, Yu et al. [6] found that the PPT condition can be studied by considering the so-called partial transpose moments (PT-moments) In fact, these quantities can be efficiently measured in experiments [4,5]. To see the basic idea behind the PT-moments-based entanglement detection, suppose that we know all the PT-moments p (d) = (p 1 , . . . , p d ), where d = d A d B is the dimension of the global system H A ⊗ H B , where d A/B = dim(H A/B ). We call p (d) the PT-moment vector of the state ρ AB . All the eigenvalues of ρ T A AB are denoted by (x 1 , . . . , x d ). As is already known, (x 1 , . . . , x d ) completely determines the elementary symmetric polynomials (e 1 , . . . , e d ), where e 1 = ∑ d k=1 x k , e 2 = ∑ 1 i<j d x i x j , . . ., and e d = ∏ d k=1 x k ; and conversely (e 1 , . . . , e d ) can determine (x 1 , . . . , x d ) when ignoring their order. In fact, (e 1 , . . . , e d ) and (p 1 , . . . , p d ), where p k 's are the power sum of x i 's, necessarily identify each other via the following relationship between e k and p k [7]: (k − 1)e k−1 e k−2 e k−3 · · · 1 ke k e k−1 e k−2 · · · e 1 (k 1) and Therefore (p 1 , . . . , p d ) determines (x 1 , . . . , x d ) up to their order. Then, all eigenvalues of the partial-transposed state ρ T A AB can be directly obtained. Based on the above observation, the PPT criterion can be verified immediately. For convenience, we always assume that p 1 = 1. In addition, p 2 is just the purity due to the fact that Tr ρ T A AB 2 = Tr ρ 2 AB . In [6], the authors studied the following problem.
PT-Moment problem: Given the PT-moments of order n, is there a separable state compatible with the data? In more technical language, given the PT-moment vector is there a separable quantum state ρ AB such that It is natural to consider the detection of entanglement in ρ AB from a few of the PTmoments due to the difficulty in measuring all the PT-moments, such as in [6]. Note that the partial-transposed state ρ T A AB , for ρ AB ∈ D(C m ⊗ C n ), which is the set of all bipartite quantum states acting on C m ⊗ C n , cannot have more than (m − 1)(n − 1) negative eigenvalues and all eigenvalues of ρ T A AB fall within [− 1 2 , 1] [8]. Using the second PT-moment to bound the third one is an interesting question. Moreover, we find that this method can be used to get a characterization of maximally entangled two-qubit states, that is, a two-qubit state is maximally entangled if and only if the minimal eigenvalue of its partial-transposed state is − 1 2 . This is also equivalent to the condition that p (4) = (1, 1, 1 4 , 1 4 ), the PT-moment vector of the two-qubit state ρ AB . This amounts to giving the criterion of maximal entanglement to the states using the PT-moment vector, the components of which are measurable quantities.

Main Result
In this section, we essentially ask: Is ρ AB maximally entangled if ρ AB ∈ D C 2 ⊗ C 2 and the minimal eigenvalue of its partial-transposed state ρ We give a positive answer to this question in our main result, i.e., Theorem 1. To that end, we obtained the proof through a series of propositions.
Proof. Using the main result in [8], we see that, for any bipartite state AB ∈ D(C m ⊗ C n ), we have Thus, As is already known, there exists a pure state |ψ 0 ∈ C m ⊗ C n , corresponding to the minimal eigenvalue λ min ρ T A AB , such that We must have that λ min σ Here ψ k := |ψ k ψ k |.
Recall that there is a correspondence between the set L(Y, X ) of all linear operators from a finite-dimensional Hilbert space Y to another finite-dimensional Hilbert space X . It can be explained immediately. Denote by X ⊗ Y the tensor space of X and Y. Let the orthonormal bases of X and Y be {|i : i = 1, . . . , dim(X )} and {|j : j = 1, . . . , dim(Y )}, respectively. The mentioned correspondence between L(Y, X ) and X ⊗ Y is defined by the linear mapping vec : L(Y, X ) → X ⊗ Y via vec(|i j|) = |ij for all i, j [9].
Let |ψ ∈ C d ⊗ C d be a bipartite pure state. Then there is an d × d complex matrix X such that |ψ = vec(X). By singular value decomposition (SVD), there are two unitary matrices U, V ∈ U(d) such that X = UΣV † , where Σ = diag(σ 1 , . . . , σ r , . . . , σ d ) for σ 1 · · · σ d 0 and r = rank(X) d. Note that ∑ d j=1 σ 2 j = 1. Then Due to the fact that By using the Jordan decomposition Therefore, all eigenvalues of F are given by . Thus, we need to characterize those bipartite pure states that have the minimal eigenvalue of its partial-transposed state, − 1 2 .
Next, we established the equations concerning (s 0 , s 1 ). The first one is s 2 0 + s 2 1 = 1 due to the fact that Tr D 2 = ψ, ψ = 1. The second one is This unique solution is given by (s 0 ,

Now both |ψ ψ| T
We have proven that |ψ is a maximally entangled state. Conversely, if |ψ is a maximally entangled state, then the minimal eigenvalue of its partial-transposed state is apparently − 1 2 [10,11].
By the given PT-moment vector, we see that In fact, note that and we see that e 1 = 1, e 2 = 0, e 3 = − 1 4 , e 4 = − 1 16 . The characteristic polynomial of ρ T A AB is given by Solving this system of equations via f (x) = 0, we get that , and we get x|F|x = −1 = λ min (F). From the previous discussion, we see that in the pure state decomposition of ρ AB : ρ AB = ∑ N−1 k=0 λ k |ψ k ψ k |, where λ 0 λ 1 · · · λ N−1 0, all pure state |ψ k must be maximally entangled state. Then there exist a pure state |u such that That is, λ min (F) = −1 = u k |F|u k (k = 0, 1, . . . , N − 1).
Because −1 is the simple eigenvalue of F, the eigenspace corresponding to −1 is just C|x . This indicates that all |u k = e iθ k |x due to the normalization of |u k . Furthermore In fact, the phase factor e iθ k can be absorbed into the unitary matrix W k . Without loss of generality, we assume that |u = W k ⊗ I |x (k = 0, 1, . . . , N − 1).
Because there is a matrix X such that |x = vec(X), then It is easily seen that X is invertible. We see that implying that W 0 X = W 1 X = · · · = W N−1 X, i.e., due to the fact that X is invertible, then In fact, our main result, Theorem 1, tells us that the PT-moment vector of a twoqubit state ρ AB is (1, 1, 1 4 , 1 4 ) iff the minimal eigenvalue of its partial-transposed state ρ T A AB is − 1 2 iff ρ AB is maximally entangled. Naturally, we would expect a similar relation between the magnitude of the lowest negative eigenvalue of the partial-transposed state and the maximally entangled states in higher-dimensional underlying spaces. However, the following result, Proposition 4, indicates that the minimal eigenvalue of the partialtransposed maximally entangled state would approach zero when the dimension of the underlying space becomes larger and larger. Indeed, after tedious computations and induction, we can draw the following conclusion: Proof. As an illustration, for a two-qutrit system C 3 ⊗ C 3 as an example, we get (e 1 , . . . , e 9 ) from p (9) = (p 1 , . . . , p 9 ), where p 1 = p 2 = 1, p 3 = p 4 = 1 9 , p 5 = p 6 = 1 81 , p 7 = p 8 = 1 729 and p 9 = 1 6561 . That is, AB is given by Thus, we get that Therefore λ min (ρ T A AB ) = − 1 3 .
From the above result, when n → ∞, λ min (ρ T A AB ) → 0 for a maximally entangled state in C n ⊗ C n . Based on the observation, we can conclude that the family of bipartite states with the minimal eigenvalue of their partial-transposed states (− 1 2 ) is different from the set of maximally entangled states when the dimensions of the underlying spaces are larger than two. This also indicates that the magnitude of the only lowest negative eigenvalue of the partial-transposed state in higher-dimensional space would not be enough to identify the maximally entangled state when there is more than one negative eigenvalue. In fact, it is known that for higher dimensions the characterization of entanglement can be given by the so-called "negativity" [12], which is defined as the absolute value of the sum of all the negative eigenvalues of the partial-transposed state. That is, the negativity of ρ AB is given With this notion, our Theorem 1 can be rewritten: For the two-qubit state ρ AB , N (ρ AB ) = 1 2 iff ρ AB is maximally entangled. The success of such characterization lies in the possible number of negative eigenvalues being at most one. The reason for the failure of this result in high-dimensional space is that only one negative eigenvalue (the lowest one) would not be enough to characterize entanglement when there could be more than one negative eigenvalue.

Concluding Remarks
In this short note, we make an attempt to study the structure of a family of bipartite states with the extreme eigenvalue being − 1 2 of its partial-transposed states. To characterize the maximally entangled two-qubit states, we employed the approach recently used by Yu et al. to study PT-moments, i.e., PT-moment vectors. In higher dimensional system, we were curious whether the PT-moment vector (p (n 2 ) = (p 1 , . . . , p n 2 ) where p k = (n+1)+(n−1)(−1) k 2n k−1 ) generated by the maximally entangled states, only corresponded to the maximally entangled states. Clearly, a bipartite state in D(C n ⊗ C n ) with λ min (ρ T A AB ) = − 1 2 was, in general, not maximally entangled unless n = 2. In future research, we will continue to figure out the structure of this family of states, especially to find out the connection between it and maximally entangled states in a higher dimension. Furthermore, we will study the connection between the entanglement in bipartite states and the number of negative eigenvalues of the corresponding partial-transposed states.