Maximally entangled three-qubit states via geometric measure of entanglement
Bipartite maximally entangled states have the property that the largest Schmidt coefficient reaches its lower bound. However, for multipartite states the standard Schmidt decomposition generally does not exist. We use a generalized Schmidt decomposition and the geometric measure of entanglement to characterize three-qubit pure states and derive a single-parameter family of maximally entangled three-qubit states. The paradigmatic Greenberger-Horne-Zeilinger (GHZ) and W states emerge as extreme members in this family of maximally entangled states. This family of states possess different trends of entanglement behavior: in going from GHZ to W states the geometric measure, the relative entropy of entanglement, and the bipartite entanglement all increase monotonically whereas the three-tangle and bi-partition negativity both decrease monotonically.
Maximally entangled states are in essence the natural units of entanglement with which one would like to compare all quantum states. A well-motivated approach to compare different entangled states and quantify their entanglement is to consider how they can transform to each other under local operations and classical communications (LOCC) in the asymptotic regime. The main question is then to quantify the optimal rate of conversion between two given states ben (). For bipartite systems this gives rise to the two basic operational entanglement measures: the entanglement cost (EC) ben (); woot () and the distillable entanglement (ED) ben (); dist-2 (), with Bell states epr (); bel () emerging as the standard metric of entanglement. While the latter measure is the rate at which copies of the maximally entangled state can be concentrated from those of a given state, the former is the rate at which copies of the maximally entangled state need to be consumed for the preparation of the given state dist-2 (); woot (); vid-cir (); hor ().
In contrast, there is no simple and unique characterization of a maximally entangled state in multi-partite settings. It has been a long standing question whether there exists a finite minimal reversible entanglement generating set (MREGS) ben-schm (), as the states in MREGS would provide several distinct metrics of entanglement and hence the generalization of ED and EC would become possible. In addition to the issue of interconversion in the asymptotic limit, another challenge lies in the fact that multi-partite states can be entangled in several inequivalent ways w (); four () and that the number of these likely grows exponentially with the number of parties four ().
Perhaps, to get to certain handle of these problems it is useful, as an initial stage, to elucidate an important question of which pure states can be regarded as the maximally entangled states pure-05 (). A clear definition of these states and the search of an effective method for deriving them could offer a step towards understanding multipartite entanglement, including the structure of the Hilbert space and multipartite entanglement measures. Any multipartite entanglement measure is perhaps a likely starting point for such a definition of maximally entangled states, as for each measure there must exist a set of states which are maximally entangled. However, these states may not be maximally entangled using a different measure. Therefore, one then has to choose an entanglement measure that gives rise to a set of maximally entangled states that include the known ones in the set. Furthermore, the selected measure should be suitable for any number of parties with any dimensions, in order for the notion of maximal entanglement be properly quantified.
In the setting of three qubits, the GHZ state ghz () and the W state w () have been realized as two inequivalent entangled states that cannot be transformed to each other via LOCC nor even stochastically. GHZ state seems to be the most natural generalization of Bell states and possesses a maximum tri-partite entanglement characterized by the three-tangle coff (). On the other hand, W state possesses zero three-tangle and yet maximizes the residual bi-partite entanglement w (). In some sense, both states are maximally entangled. However, the exact value of entanglement depends on the choice of entanglement measures, and it is likely that different measures may give different ordering of the entanglement quantity. For example, using the relative entropy of entanglement (ER) er (), one has and erw (). However, using the negativity across any bi-partition, one obtains neg (). Hence, the notion of being maximally entangled can depend on the choice of entanglement measures. In the setting of two qubits, in contrast, the Bell states emerge as the ones that possess maximal entanglement, independent of the choice of measures. Nonetheless, the dependence does appear when one consider two-qubit mixed states, and the form of maximally entangled two-qubit mixed states 2qubit1 (); 2qubit2 (); 2qubit3 () (e.g., parametrized by entropy) can actually vary 2qubit3 ().
Here we characterize maximal entanglement of three-qubit pure states via the geometric measure of entanglement wei (). Under this measure, the W state turns out to possess the maximal entanglement. To see whether the GHZ can fit into our picture, we investigate the maximal entanglement with a single parameter , which we call the “gauge” phase (which appears in the generalized Schmidt decomposition hig (); acin (); gsd () and to be defined below), in analogue to the two-qubit maximally entangled mixed states parametrized by the entropy. We derive the whole family of maximally entangled states (characterized by the gauge phase) and show that both GHZ and W emerge as maximally entangled states at two different gauge phases, at the opposite ends of this family. Interestingly, in going from GHZ to W as the gauge phase increases, the geometric measure and the relative entropy of entanglement and the bipartite entanglement all increase monotonically whereas the three-tangle and bipartite negativity both decrease monotonically (see Fig. 6). The two different trends of these entanglement monotones for this family of states imply that no states in the family can be interconverted deterministically to each other via LOCC using a single copy vidal (). Furthermore, our analysis of using three-tangle shows that any states can be probabilistically converted to one another via stochastic LOCC in the family except to/from the W state. This is because the whole family of the maximally entangled three-qubit states, except the W state, belong to the GHZ-class, a classification introduced by Dür, Vidal and Cirac vid-cir ().
The paper is organized as follows. In Sec. II we use a generalized Schmidt decomposition to parameterize three-qubit states. In Sec. III we consider the case of vanishing gauge phase and obtain the GHZ-state. In Sec. IV we consider the case of maximal gauge phase and obtain the W-state. In Sec. V we consider the general case and derive an one-parameter family of maximally entangled states. Furthermore, we discuss several entanglement properties and interconversion of states in the family of the maximally entangled states. In Sec. VI we make concluding remarks.
Ii Generalized Schmidt Decompositions
In general one needs fourteen real parameters to describe a three-qubit pure state. Carteret et al. hig () and Acín et al. acin () have independently proposed generalizations of the Schmidt decomposition in multipartite settings (three qubits, in particular) to reduce the number of necessary parameters. The generalized Schmidt decomposition (GSD) that we shall use is a variant gsd () that is closely related to the geometric measure, and hence it is more appropriate to our discussions here. Let us briefly discuss this decomposition. For any multi-qubit pure state, one can always search a closest product state to it, and the local states of the closest product state and their orthonormal states uniquely (up to phases) determine the local bases one uses to express the multi-qubit state. One can also relabel the closest product as and the local state orthonormal to by , and arrive at the following expression gsd ():
where the labels within each ket refer to qubits A, B and C (or 1, 2 and 3) in that order and will be suppressed whenever no confusion occurs. Furthermore, the parameters in the decomposition satisfy
The reason that we do not have , , and is that the component is the closest product state and if there were any of the three other components, one could have absorbed them and increased the maximal overlap . We shall refer to the “gauge phase”, as such a factor will necessarily appear in any such decomposition but it may be associated with or with , as in Ref. acin (). In what follows we shall analyze only positive values of the gauge phase since the maximal overlap is an even function on .
Why do we choose to parametrize the family of maximally entangled states by (or equivalently the phase in Ref. acin ())? Consider the unitary three-qubit gate: control-control-phase (CCP) gate that multiplies the computational state by a phase factor but leaves unchanged the remaining seven basis states . This gate can be used to generate entanglement (one says that it is an entangling gate). If we start with the (un-normalized) product state and apply to it the CCP gate, one obtain . It can be shown that this state is entangled and has a three-tangle and, moreover, the reduced two-qubit state can also be entangled, depending on . The states in the generalized Schmidt form (1) with fixed but different ’s can be connected by the entangling CCP gate with an appropriate value of phase . In contrast, any local unitary transformation that changes any of the five magnitude parameters will generally change the values of the others and most likely take the state out of the generalized Schmidt form. Since any three-qubit pure state can be made into this form by local unitary transformations, it seems natural to take the gauge phase as the parameter to search for the family of maximally entangled states.
The decomposition into the form (1) captures all the three-qubit pure states, up to local unitary transformations. It is thus a convenient starting point for searching maximally entangled three-qubit states. When is the closest product state and the parameters satisfy condition (2), we shall refer to the decomposition as being in the canonical form. In this canonical form, the nearest product state is a stationary point for and should satisfy the stationarity equations hig (); wei (), which represent a nonlinear eigenvalue problem:
where we can always restrict ourselves to by adjusting phases of local states . The above stationary conditions arise from the requirement that the overlap with product states be extremal under the constraint that product states be normalized; for derivation, see Refs. wei (); sud (). The resulting equations generalize the linear eigenvalue problem to a nonlinear form, which has many features different from the linear scenario sud (). (When the number of parties is two, the generally nonlinear eigenvalue equation becomes linear.) The largest Schmidt coefficient is the maximal nonlinear eigenvalue, i.e. , and thus the nearest product state is the dominant eigenvector of stationarity equations. As mentioned earlier, it uniquely defines the factorizable basis of GSD consisting of and its complimentary orthogonal product states gsd ().
Our goal is to find a family of maximally entangled states, parameterized by the gauge phase . First, we observe that the coefficient in the canonical decomposition measures the overlap (or the angle) from to the closest unentangled state wei (); wern () and cannot decrease under LOCC vedr (); bno (). Hence it should be minimal for the maximally entangled states for all other possible parameters ( and ) given fixed gauge phase . The crucial point then lies in finding the lower bound on guh (). In the case of generic three-qubit states stationarity equations have six solutions. Let be the largest eigenvalue and hence . Then clearly we have
This is a strong lower bound on . If one can compute all the eigenvalues , then one can find the lowest value of directly. We shall first do this for special cases and , and the celebrated GHZ and W states emerge as the maximally entangled states, respectively.
In general, the derivation of eigenvalues gives rise to unsolvable equations shared (); sud (). Fortunately, there is a realizable method that gives the desired lower bound. The essence of the method is the following. If the three-qubit state is maximally entangled, then the above inequality would be saturated. Consequently must coincide with and thus the largest eigenvalue of stationarity equations should be degenerated. This requirement imposes a condition (i.e., degeneracy condition) on state parameters, which can then be deduced from stationarity equations. An example is the GHZ state , where and are two such “degenerate” states with . Following the above procedure we derive the degeneracy condition for three-qubit states and single out states satisfying this condition. Next we find among these states the one with the minimal (over the remaining free parameters) for a given value of the gauge phase.
We have seen that the GHZ and W states emerge as maximally entangled states in different contexts, such as via three-tangle and residual bipartite entanglement, respectively, and they are invariant under permuting parties. It is thus natural to assume that maximally entangled states can be made symmetric. This ansatz will be verified against numerical experiments (see Fig. 5). Thus, we shall work with the assumption that and consider from now on states of the form
Eigenvalues of the state Eq.(5) satisfy a polynomial equation of degree 12 and are roots of the characteristic polynomial sud (). Local states satisfy the analogous polynomial equation and the general case remains to some extent intractable. However, at extreme values of the gauge phase and this polynomial equation can be factorized to cubic equations. Another major step towards analytic solutions is the following. Each of these cubic equations can be further factorized to a linear and quadratic equations. This observation allows us to find all roots of the characteristic polynomial. Some of them have no associated eigenvectors and hence are irrelevant. Some others never maximize the overlap since their value is smaller than in whole state parameter space minimum (). Remaining solutions are listed in the Appendix.
Iii GHZ state
Consider first the case . All of these states are symmetric and have real coefficients
Owing to these properties the eigenvector with eigenvalue is symmetric, i.e. has a form , and its constituents have real coefficients. In this reason we will derive here only symmetric solutions as the asymmetric ones give strictly .
We parameterize the pure one-qubit state by a single angle and insert it into Eq. (3). The result is a pair of equations for unknowns and
These equations have an obvious solution reflecting the fact that the state is already written in Schmidt normal form. The second solution is given by solving from dividing the first equation by the latter on both sides. We then arrive at
where . This solution gives rise to a basis defined as follows:
To obtain the maximal entanglement we require that . Because is another, equally good dominant eigenvector, one can construct a new Schmidt decomposition of whose factorizable basis consists of instead of . This new decomposition must not differ from the original one, since coefficients of the canonical form are uniquely defined by state parameters. This in turn means that the basis defined by results in a Schmidt form equivalent to Eq. (6):
By expanding the l.h.s. of this equality in the computation basis and identifying the corresponding coefficients with those in Eq. (6), we arrive at the following three conditions on state parameters
By taking the ratios of the first two equations and the latter two equations, and then eliminating , we obtain the following single condition on state parameters,
Let us rewrite the degeneracy condition in the following form . Since it follows that . Then from the normalization condition , it further gives that and the lower bound is reached at . The resulting maximal entangled state is the celebrated GHZ state
Iv W state
Consider now the case . This case includes all W-class states. Indeed, the three-tangle of a generic state Eq. (1) is given by
It vanishes if either
The states satisfying Eq. (15) are bi-separable, namely, separable with respect to A:BC, B:AC, or C:AB bipartition vid-cir (); gsd (), and the maximally entangled states are Bell states between BC, AC or AB.
In Eq. (16) the case of is equivalent to that of because the period of the angle is and the point should be identified with . All states satisfying Eq. (16) are W-class states vid-cir () and conversely any W-class state has a Schmidt decomposition with coefficients Eq. (16). Thus generic pure three-qubit states have 5 independent real parameters, whiles W-class states have 3 of them.
Stationarity equations give four relevant solutions and one of them is symmetric (under qubit permutations) while the remaining three others are not. The easiest way for finding the symmetric solution is to set and solve the stationarity equation (3), just like what we did for the GHZ case. The solution is
where . Since and differ only by the sign of , the degeneracy condition forcing can be obtained by taking to in Eq. (12):
In the case of GHZ, the degeneracy condition is sufficient for finding the maximally entangled state, but in the present case we need one more condition by examining three other relevant solutions of stationarity equations. The first solution is symmetric under the permutation of qubits A and B, but asymmetric under other permutations and has a form . Other two solutions, with symmetric qubit pairs (A,C) and (B,C) respectively, give the same eigenvalue. Thus, it suffices to consider the first solution of these in addition to that in Eq. (17). Its constituent state , up to an irrelevant phase factor, can be parameterized by two angles, that is . (Similar parametrization can be used for .) Straightforward but tedious algebra from solving the stationarity conditions (3) gives rise to the equations obeyed by angles and
as well as the corresponding eigenvalue being
We shall present in the Appendix a simpler derivation using another approach outlined in the next section.
Thus far we have obtained two different eigenvalues, namely and , and consequently has two different lower bounds. As argued previously, for the maximally entangled state both lower bounds should be saturated and this in turn uniquely defines state parameters. Indeed, by using it follows that and hence (as ). Then the degeneracy condition (18) forces . These two conditions together with the normalization condition give , , and and thus yield the following maximally entangled state for
This form turns out to be the generalized Schmidt normal form for the W-state. Indeed, one can easily verify that , where
Thus, W state is the maximally entangled state for . It should be remarked that at and the fraction defining the angle in Eq. (19) is indefinite since both expressions in denominator and numerator vanish. The reason is that the state (as well as the W-state) is an exceptional state preeti-09 () and has countless nearest product states defined solely by the condition tetrahedron (). All of these product states are equally distant from (i.e., infinitely degenerate) and form a circle around it. This infinite degeneracy is best captured when viewed in the computational basis. To be more precise, the closest product states to W-state were previously shown erw () to be of the form
where the arbitrariness of the phase clearly shows the infinite degeneracy.
The eigenvalue also exhibits interesting features. If , then and thus the solution Eq. (19) maximizes the overlap. On the other hand, if but , then the solution minimizes the overlap, i.e., resulting in . In order to obtain further insight into this, we relates to the three-tangle . For the states in question and can be written as
This shows clearly when the asymmetric eigenvalue takes the maximal value and the minimal value.
V General case
Having warmed up by the previous two examples, we consider now the general case. The GHZ and W are two special cases of the following treatment.
v.1 Derivation of the degeneracy condition
For symmetric states any solution of stationarity equations is symmetric under the permutation of either the qubit pair AB, or AC or BC tri (). Without loss of generality we consider a solution that contains a symmetric pair A and B, i.e. the product state has a form which, of course, does not exclude the possibility . Furthermore, theorem 1 of Ref. reduced () states that the maximal overlap is uniquely determined even if one party of the global pure state is traced out. This enables us to express the maximal overlap in terms of the reduced density matrix as follows
where and are single-system pure state densities. The density matrix can be expanded in terms of identity operator and the Pauli matrices ’s,
where is the Bloch vector of the qubit A(B) and the correlation matrix is defined by the formula . Explicitly
By introducing a Lagrange multiplier that constraints , the vector satisfies the following equation
Since uniquely defines and , two solutions have the same eigenvalue if and only if they have the same Lagrange multiplier. By direct substitution, it is easy to see that for the solution we have and therefore the largest eigenvalue of Eq. (30) is degenerate if there are two solutions at . Inserting this value into Eq. (30), one sees that the necessary and sufficient condition for the existence of the second solution corresponding to is , which can be rewritten as
This is the degeneracy condition for arbitrary symmetric states and the solutions contain all three-qubit states that can be regarded as maximally entangled. When , Eq. (31) reduces to Eq. (12) and when , it reduces either to Eq. (18) or . The latter is equivalent to Eq. (20).
v.2 Maximally entangled three-qubit states.
The degeneracy condition Eq. (31) can be considered as an algebraic equation of degree six for , where and are free parameters and can be further eliminated by the normalization condition . It has six roots and as far as we are looking for the largest eigenvalue, we should always take the largest root. In what follows we will use the notations for the largest root and for the second largest root. Equation (31) gives different types of lower bounds depending on whether or not is positive and below we consider these two cases.
Consider first states for which . The degeneracy condition can be rewritten as follows
The right-hand side of this equation is positive and either or holds. To find the maximal overlap we should take the latter case and then from the normalization condition it follows that is minimal when and . Thus the only maximally entangled state in this class is the GHZ state: . It can be understood by reference to Fig. 1, where is taken to be for illustration. The solid line represents the largest root and the dashed line represents the next root as functions on . It should be stressed that the largest root never intersects with other roots and therefore it is the largest Schmidt coefficient for all values of . Moreover, is a monotonically increasing function and our goal is to find its infimum (and hence the supremum of the geometric measure), which is reached at , giving rise to the GHZ-state open ().
Consider now the interval . Now the situation is different since and are not monotonic functions. In Fig. 2 (solid line) and (dashed line) are plotted at . The largest root has a minimum whiles the next root has a maximum at . These two roots never intersect unless . Therefore the minimum of the function is the lower bound of the largest Schmidt coefficient. When increases, the minimum of moves towards larger and decreases. Concurrently, the maximum of moves towards larger and increases. Thus, in the range , one needs to search for the minimum value of over the allowable range of , in order to find the maximal entangled states.
When minimum of and maximum of coincide at and this minimum value of yields the W-state. This is illustrated in Fig. 3.
We remark that the inequality holds for fixed . This feature is verified numerically for all values . This means that, given a fixed , the minimum of the function is the lower bound on and also provides justification for the parametrization of maximally entangled states by the gauge phase. The minimum of gives the value of the maximal overlap for the maximally entangled state at a given . Together with the value of where the minimum of is achieved, the complete description of the maximally entangled state is obtained (as is determined via the normalization condition).
In Figure 4 we shows the dependence of the and on the gauge phase . The dependence of on can be inferred from the normalization . This then defines the family of the maximally entangled three-qubit states. The parameters and are both constant and equal to within the interval , then decrease with , with reaching 2/3 and reaching at . We remark that we have assumed the maximally entangled states have the permutation invariant form (5), and this is supported by our numerical test that states generated randomly do not achieve below (or entanglement above) those of the maximally entangled states; see Fig. 5.
v.3 Survey of maximally entangled states
Once the maximally entangled three-qubit states (and hence their maximal overlap) have been obtained as a function of the gauge phase , it is of interest to compare the results with other measures. Two other quantities of relevance are the aforementioned three-tangle coff () and the residual bipartite entanglement w (). We show the -dependence of and for the maximally entangled three-qubit states in Fig. 6. We also compare the -dependence of yet two other measures, the bi-partition negativity () and the relative entropy of entanglement () in Fig. 7. The three-tangle and the negativity decrease monotonically for , whereas the residual bipartite entanglement and the relative entropy of entanglement increase and achieve and at for the W-state. The geometric measure for the maximally entangled states is equal to , and hence, as can be inferred from Fig. 4, it increases monotonically. To summarize the behaviors of three different measures, we have that, in going from GHZ to W as increases, the geometric measure and the relative entropy of entanglement and the bipartite entanglement all increase monotonically whereas the three-tangle and the negativity both decrease monotonically.
Instead of the geometric measure, one may well use other entanglement measures to derive the maximally entangled states. Conversely, having at one’s disposal the set of maximally entangled states one can analyze and compare different entanglement measures. In this view the behaviors of the different measures can be understood as follows. The three-tangle quantifies genuine tripartite, i.e. GHZ-type, entanglement, but does not detect W-type entanglement at all footnote (). Then all states within the interval possess only GHZ-type entanglement and in going away from these states, the three-tangle detects the residual of GHZ-type entanglement. In this regards it decreases with from at GHZ-state and vanishes at W-state. On the contrary, the residual bipartite entanglement quantifies the W-type entanglement and does not detect the GHZ-type entanglement at all. Hence its behavior is opposite to that of the three-tangle. The negativity quantifies entanglement across bi-partition. As the GHZ state is equivalent to a Bell state if one makes the bi-partition A:BC, it possesses the largest negativity . The W state possesses less negativity . And the family becomes less and less similar to GHZ as one increases the gauge phase, one expects a gradual interpolation of the negativity between these values. The situation of the geometric measure is very different from these measures. It quantifies whole entanglement present in the state and, owing to this, detects an one-parameter set of maximally entangled states. The behavior of the relative entropy of entanglement for this family is qualitatively similar to that of the geometric measure, and this is expected as the geometric measure can be used to provide lower bounds on the relative entropy of entanglement erw (), with GHZ and W states saturating the bounds.
It is interesting to note that the manifold of GHZ-class maximally entangled states is an open manifold in a sense that there is no state within GHZ-class states that has the global maximal geometric measure of entanglement (which is actually possessed by the W-state). Indeed, let us analyze case once again. The three-tangle of these states is given by the formula and the degeneracy condition Eq. (18) can be rewritten as follows
All of these states are GHZ-class state unless the limit (and hence , which means that the asymmetric solution comes into action) is reached. Near this limit depends on by the asymptotic formula which can be derived from Eq.(33). On the other hand, if then . Thus the largest Schmidt coefficient of the GHZ-class states comes arbitrarily close to but never reaches it as the lower bound is only achieved by the W state.
What about the interconversion between states in the family of the maximally entangled states? We have seen that in going from GHZ to W the geometric measure of entanglement and the bipartite entanglement both increase monotonically whereas the three-tangle decreases monotonically (see Fig. 6). The two different trends of these entanglement monotones for this family of states imply that deterministic interconversion via LOCC among these maximally entangled three-qubit states is not possible. The results of the three-tangle and the Dür-Vidal-Cirac classification of entangled states vid-cir () show that under stochastic LOCC, any pure states can be probabilistically converted to one another within the same class, and that there are five classes of three-qubit pure states: one class of completely separable states, three classes of biseparable states, GHZ-class and W-class states. But states in one class cannot be converted to any other in a different class even with SLOCC. In our case, the whole family of the maximally entangled three-qubit states, except the W state (which has ), belong to the GHZ-class (with ). Therefore, under SLOCC, any states in the family of maximally entangled three-qubit states can be probabilistically converted to one another in the family except to/from the W state.
Vi Concluding remarks
We use a generalized Schmidt decomposition and the geometric measure of entanglement to characterize three-qubit pure states and derive a single-parameter (characterized by the gauge phase) family of maximally entangled three-qubit states. The resulting family of maximally entangled states connect continuously from GHZ to W state. The paradigmatic Greenberger-Horne-Zeilinger (GHZ) and W states emerge as extreme members in this family of maximally entangled states.
This family of maximally entangled states turn out to possess interesting features of entanglement. In going from GHZ to W the geometric measure and the relative entropy of entanglement and the bipartite entanglement all increase monotonically whereas the three-tangle and the negativity both decrease monotonically. This clearly exemplifies the ordering issue in the multipartite entanglement. It also implies that deterministic interconversion via LOCC among these maximally entangled three-qubit states is not possible. However, the results of the three-tangle and the Dür-Vidal-Cirac classification of entangled states show that under stochastic LOCC, any states in the family of maximally entangled three-qubit states can be probabilistically converted to one another in the family (except to/from the W state).
In general, three-qubit pure states require 14 real independent parameters to completely characterize. The use of local-unitary equivalence helps to reduce the number of parameters necessary for the characterization of entangled states. Via the generalized Schmidt decomposition, we have navigated through the remaining vast space and identified the one-parameter maximally entangled states via the geometric measure. But one may as well use other entanglement measures. Will other measures give rise to such a non-trivial family of states? For example, using the gauge phase as the parametrization and the three-tangle as the characterization of entanglement, one obtains that the maximally entangled states being , which are essentially the same GHZ state. Such featureless family of states also arise when the characterization of entanglement is replaced by negativity. On the other hand, when using the relative entropy of entanglement, one expects that the resulting family of maximally entangled states will have similar feature to those via the geometric measure, albeit not identical. (It is because that the geometric measure serves as a lower bound of the relative entropy of entanglement.) Perhaps the procedure that we have gone through to identify the maximally entangled states can serve as two purposes: (1) to explore certain cross section of Hilbert space via suitable parametrization and choice of entanglement measures; (2) to investigate and compare the behavior of entanglement measures via the resulting family of maximally entangled states: whether they are interesting or featureless. In doing so, one may identify certain distinct states or classify various measures of entanglement. In the former respect, it remains to be seen whether the derived family of entangled states can be of any use in quantum information processing tasks previously unexplored. In the latter respect, one thus has that the various entanglement measures discussed in the present paper can be divided into two different groups: (a) the geometric measure of entanglement, the relative entropy of entanglement, and the residual bi-partite entanglement; (b) the three-tangle and the negativity.
While the nonlinear eigenvalues of the W state are infinitely degenerate, eigenvalues of the GHZ-class states are doubly degenerate and thus no invertible local operations can match them. As a remark, it is interesting to see that the whole W-class states have only a single representative in the above one-parameter family of maximally entangled states, namely, the W state, which can be regarded geometrically as the center of the largest full-sphere with no unentangled states.
The W-class states form a boundary set for pure three-qubit states and the boundary is the limit . Accordingly, the W-state is the the endpoint of maximally entangled pure states pure-05 (). The boundary behavior of entanglement is different and owing to this the set of GHZ states is noncompact. Hence GHZ-class states should have noncountably infinite collection of maximally entangled states approaching to the W-state.
Several outstanding questions remain: does the minimal reversible entanglement generating set exist? If so, what does it consist of? Can the family of states derived in the present paper constitute in part the generating set? As the consideration of such questions involve reversible conversion of states in the asymptotic limit, few progress has been made. Unfortunately, in the present paper such questions are not answered and remain open.
Acknowledgements.ST thanks Anthony Sudbery and Levon Tamaryan for stimulating discussions. TCW is supported by IQC, NSERC and ORF. DKP is supported by the National Research Foundation (F01-2008-000-10039-0).
Appendix A Solutions of stationarity equations
As indicated above, we have found all six solutions of stationarity equations for and . In general these equations have two types of solutions: the nearest separable states for highly and slightly entangled three qubit states, respectively. There are no slightly entangled states within the subclass of symmetric states and corresponding solutions are irrelevant since and the equality is never saturated.
At the stationarity equation (30) along the axis reduces to
Either or . The second case does not give a true maximum since .
Similar situation occurs at . The stationarity equation (30) along the axis reduces to
The case gives three symmetric solutions, while the remaining case gives three asymmetric solutions.
Thus at extreme values of the gauge phase stationarity equations are factorized to cubic equations. One of the roots of these cubic equations is either or , where the angle defines the weights of computational basis vectors in the local state as follows . Hence we know one root of each cubic equation and we can find the other two by solving a quadratic equation. In this way we find all roots of the characteristic polynomial.
Solutions in the case of .
We list them as follows.
Solution 1 (symmetric, standard)
Solution 2 (symmetric, relevant)
Solution 3 (symmetric, irrelevant)
Solution 4 (asymmetric, irrelevant)
Solution 5 (asymmetric, irrelevant, permutation of fourth solution)
Solution 6 (asymmetric, irrelevant, permutation of fourth solution)
Solutions in the case of .
Solution 1 (symmetric, standard)
Solution 2 (symmetric, relevant)
Solution 3 (symmetric, irrelevant)
Solution 4 (asymmetric, relevant)
Solution 5 (asymmetric, relevant, permutation of fourth solution)
Solution 6 (asymmetric, relevant, permutation of fourth solution)
- (1) C. H. Bennett, H. J. Bernstein, S. Popescu, and B. Schumacher, Phys. Rev. A 53, 2046 (1996).
- (2) W. K. Wootters, Phys. Rev. Lett. 80, 2245 (1998).
- (3) C. H. Bennett, D. P. DiVincenzo, J. A. Smolin and W. K. Wootters, Phys. Rev. A 54, 3824(1996).
- (4) A. Einstein, B. Podolsky, N. Rosen, Phys. Rev. 47, 777 (1935).
- (5) J. S. Bell, Physics (Long Island City, N.Y.) 1, 195 (1964).
- (6) G. Vidal and J. I. Cirac, Phys. Rev. Lett. 86, 5803 (2001).
- (7) M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Rev. Lett 80, 5239 (1998).
- (8) C. H. Bennett, S. Popescu, D. Rohrlich, J. A. Smolin, and A. V. Thapliyal, Phys. Rev. A 63, 012307 (2000).
- (9) W. Dür, G. Vidal and J. I. Cirac, Phys.Rev. A 62, 062314 (2000).
- (10) F. Verstraete, J. Dehaene, B. De Moor, and H. Verschelde, Phys. Rev. A 65, 052112 (2002).
- (11) D. Cavalcanti, F. G. S. L. Brandäo and M. O. Terra Cunha, Phys. Rev. A 72, 040303 (2005).
- (12) D. M. Greenberger, M. A. Horne, and A. Zeilinger, Bell’s Theorem, Quantum Theory, and Conceptions of the Universe, M. Kafatos, ed., Kluwer, Dordrecht, 1989.
- (13) V. Coffman, J. Kundu and W. K. Wootters, Phys. Rev. A 61, 052306 (2000).
- (14) V. Vedral, M. B. Plenio, M. A. Rippin, and P. L. Knight, Phys. Rev. Lett. 78, 2275 (1997).
- (15) M. B. Plenio and V. Vedral, J. Phys. A 34, 6997 (2001). T.-C. Wei, M. Ericsson, P. M. Goldbart, and W. J. Munro, Quantum Inf. Comput. 4, 252 (2004).
- (16) K. Życzkowski, P. Horodecki, A. Sanpera, and M. Lewenstein, Phys. Rev. A 58, 883 (1998).
- (17) W. J. Munro, D. F. V. James, A. G. White, and P. G. Kwiat, Phys. Rev. A 64, 030302 (2001).
- (18) F. Verstraete, K. Audenaert, and B. de Moor, Phys. Rev. A 64, 012316 (2001).
- (19) T.-C. Wei, K. Nemoto, P. M. Goldbart, P. G. Kwiat, W. J. Munro, and F. Verstraete, Phys. Rev. A 67, 022110 (2003).
- (20) T.-C. Wei and P. M. Goldbart, Phys. Rev. A 68, 042307 (2003).
- (21) H. A. Carteret, A. Higuchi, and A. Sudbery, J. Math. Phys. 41, 7932 (2000).
- (22) A. Acín, A. Andrianov, L. Costa, E. Jané, J. I. Latorre, and R. Tarrach, Phys. Rev. Lett. 85, 1560 (2000).
- (23) L. Tamaryan, D.K. Park and S. Tamaryan, arXiv:0809.1290v2 [quant-ph].
- (24) G. Vidal, J. Mod. Opt. 47, 355 (2000).
- (25) R. Werner and A. Holevo, J. Math. Phys. 43, 4353 (2002).
- (26) V. Vedral, M. B. Plenio, M. A. Rippin, P. L. Knight, Phys. Rev. Lett. 78, 2275 (1997).
- (27) O. Biham, M. A. Nielsen and T. J. Osborne, Phys. Rev. A 65, 062312 (2002).
- (28) O. Gühne, M. Reimpell, and R. F. Werner, Phys. Rev. Lett. 98, 110502 (2007).
- (29) L. Tamaryan, D. K. Park, J.-W Son, and S. Tamaryan, Phys. Rev. A 78, 032304 (2008).
- (30) J. J. Hilling and A. Sudbery, arXiv:0905.2094v2[quant-ph].
- (31) These solutions are minimazing the overlap. Stationarity equations do not differ maximums and mimimus and give both extremes. Surprisingly, there is a solution which, depending on state parameters, maximizes the overlap for some states and minimizes for some other states. This solution is presented in section IV.
- (32) P. Parashar and S. Rana, Phys. Rev. A 80, 012319 (2009).
- (33) Notice, the maximal angle is given by and this is the angle between sides of a regular tetrahedron.
- (34) L. Tamaryan, D. K. Park and S. Tamaryan, Phys. Rev. A 77, 022325 (2008).
- (35) E. Jung, M. R. Hwang, H. Kim, M. S. Kim, D. K. Park, J. W. Son and S. Tamaryan, Phys. Rev. A 77, 062317 (2008).
- (36) R. Hübener, M. Kleinmann, T.-C. Wei, C. González-Guillén, and O. Gühne, Phys. Rev. A 80, 032324 (2009).
- (37) Notice, when the phase can be further made zero by chaning local phases as can be absorbed in the definition of the product state . It turns out that for the maximally entanglement is achieved when and GHZ is the only maximally entangled state in this range.
- (38) For mixed state the three tangle does not properly quantify even some GHZ-type states eylee09 ().
- (39) E. Jung, D. K. Park and J. W. Son, Phys. Rev. A 80, 010301(R) (2009).