Abstract
Verstraete, Dehaene and DeMoor showed that each of the two-qubit states can be generated from one of two canonical families of two-qubit states by means of transformations preserving the tensor structure of the state space. Precisely, each of such states can be generated from a three-parameter family of Bell-diagonal states or from three-parameter rank-deficient states. In this paper, we show that this classification of two-qubit states can be refined. In particular, we show that the latter canonical family of states can be reduced to three fixed states and a two-parameter family of two-qubit states. For this family of states, we provide a simple parametrization that guarantees positive semidefiniteness of the states and enables easier calculation of the Wootters concurrence and quantum discord. Moreover, we present a new general parametrization of all two-qubit states generated from the canonical families of states using sets of (pseudo)orthogonal four-vectors (frames). An advantage of the presented approach lies in the fact that the standard conditions for positive semidefiniteness of states are equivalent to (pseudo)orthogonality conditions for four-vectors serving as parameters (and appropriate conditions for parameters of the corresponding canonical family of states).
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
The vast majority of quantum information protocols exploit quantum correlations. Various notions of quantumness of correlations exist in the literature (see, for example, [1, 2]). We restrict our attention to the simplest non-trivial case of two-partite system—two-qubit system. The space of states of such a system is of the form \(\mathscr {H}=\mathscr {H}_A \otimes \mathscr {H}_B\), where \(\mathscr {H}_A={\mathbb {C}}^2\) and \(\mathscr {H}_B={\mathbb {C}}^2\) are spaces of states of systems A and B, respectively. Therefore, the most general transformations considered in the context of quantum correlations have to preserve the tensor structure of the space \(\mathscr {H}\). Such transformations are of the form
where A, B are 2\(\times \)2 matrices.
The main goal of our paper is to discuss the classification of all two-qubit states with respect to transformations preserving the tensor product structure of the state space. This last condition is important from the physical point of view since each partition of a quantum system into subsystems corresponds to a decomposition of the space of states into the tensor product of subsystem spaces. Also the entanglement of a physical system is always relative to the tensor product decomposition [3]. As a consequence, the following question arises: what is the structure of the two-qubit space of states if we take into account transformations (1).
In [4], it was shown that each of two-qubit states can be generated from one of the two canonical families of two-qubit states by means of transformations (1) (provided that \(\det {A}\not =0\), \(\det {B}\not =0\)). Precisely, each of such states can be generated from a three-parameter family of Bell-diagonal states or from three-parameter rank-deficient states (in [4] rank-deficient states are described by four parameters but one parameter can be eliminated by normalization). However, as we show below, the classification given in [4] can be refined. Since the Bell-diagonal states are widely discussed in the literature, we focus our attention on the latter family of states. In particular, we will show that this three-parameter family of states should be replaced by three fixed states and a two-parameter family of states. We show also that this set of states is a minimal generating set with respect to transformations (1). It is worth to note that, in contrast to the Bell-diagonal states, in these cases it is impossible to depolarize both subsystem states by means of transformations (1). We find an appropriate parametrization guaranteeing positive semidefiniteness of states from the two-parameter family. Moreover, for those states we give explicit (and compact) formulas for quantum discord.
Furthermore, for all canonical families of states we determine transformations leaving them invariant (stability groups). This can be useful in further investigations of the structure of state space. We give also a new general parametrization of all two-qubit states generated from the corresponding canonical families. This parametrization employs (pseudo)orthogonal frames. For a general two-qubit state parametrized in this way, the positive semidefiniteness conditions for the density matrix are equivalent to (pseudo)orthogonality conditions for four-vectors serving as parameters (and appropriate conditions for parameters of the corresponding canonical family of states).
The proof of our classification theorem is based on the canonical homomorphism of the SL\((2,\mathbb {C})\) group onto the proper orthochronous Lorentz group. We utilize also the theory of vector spaces in which the usual positive definite inner product is replaced by an indefinite one. Thus, for the readers convenience, we have collected basic results in “Appendix 1.”
2 Two-qubit states
We consider here two-qubit states, i.e., states acting in the Hilbert space \(\mathscr {H}=\mathscr {H}_A\otimes \mathscr {H}_B\), where \(\mathscr {H}_A=\mathscr {H}_B=\mathbb {C}^2\). An arbitrary \(4\times 4\) matrix can be written in the following form:
where \(\sigma _0=I\), \(\sigma _i\), \(i=1,2,3\), are Pauli matrices. A matrix \(\rho \) corresponds to a quantum state iff it is hermitian, positive semidefinite and has a unit trace. The hermiticity of \(\rho \) is equivalent to the condition that the matrix \(R=[R^{\mu \nu }]\) is real. The unit trace of \(\rho \) can be obtained by a proper normalization. However, checking if a matrix \(\rho \) is positive semidefinite requires more effort. For example, one can use the following property [5]: A hermitian matrix \(\rho \) is positive semidefinite iff all of the coefficients
are nonnegative.
Notice that local transformations
are completely positive maps, as they are directly written in the so-called Kraus form and therefore preserve positive semidefiniteness of matrix \(\rho \), and moreover, they preserve the tensor product structure of the space \(\mathscr {H}=\mathscr {H}_A\otimes \mathscr {H}_B\).
Now, it is well known that there exists a canonical homomorphism from \({\textit{SL}}(2,\mathbb {C})\) group into Lorentz group. In fact, in this homomorphism we can obtain only proper orthochronous Lorentz transformations, that is it is a homomorphism from \({\textit{SL}}(2,\mathbb {C})\) onto \(L_{+}^{\uparrow }\). Let \({\varLambda }_1\) and \({\varLambda }_2\) be images of A and B in this homomorphism, respectively. One can easily see that the transformation (4) corresponds to the following transformation of a matrix R defined in Eq. (2):
Our main result is summarized in the following theorem:
Theorem 1
(Canonical form of two-qubit state) A two-qubit density matrix \(\rho \) written in the form (2) can be generated via the transformation
from a density matrix \(\tilde{\rho }\), where
and \({\varSigma }\) has one of the following forms:
Case I:
[\({\varSigma }_{\textsf {\tiny {I}}}^\prime \) is obtained from (147) with \(y^\prime =1\), we separate this case for the reasons explained in “Appendix 2”],
Case II:
Case III:
where we can choose \(1\ge X\ge Y\ge |Z|\) and the following conditions hold
Case IV:
with \(0\le x<1\), \(0<y<1-x\).
The transformation (6) corresponds to the following transformation of \({\varSigma }\):
The detailed proof of Theorem 1 is presented in “Appendix 2.”
Before further discussion of states \({\varSigma }_{\textsf {\tiny {I}}}\), \({\varSigma }_{\textsf {\tiny {II}}}\), \({\varSigma }_{\textsf {\tiny {III}}}\), and \({\varSigma }_{\textsf {\tiny {IV}}}\), let us recall some properties of the canonical homomorphism \(\text {SL}(2,\mathbb {C})\rightarrow L_{+}^{\uparrow }\). For arbitrary four-vector a we consider a \(2\times 2\) hermitian matrix \(a\sigma = a^\mu \sigma _\mu = a^0 I + \mathbf{a}\cdot \varvec{\sigma }\). It holds \(\det (a\sigma )={a^0}^2-\mathbf{a}^2\). For each \(A\in \text {SL}(2,\mathbb {C})\) we define a transformation
We see that \(\det [A(a\sigma )A^\dag ]=\det (a\sigma )\), therefore \(a^\prime ={\varLambda }(A) a\), where \({\varLambda }(A)\in L_{+}^{\uparrow }\). In this way, we have defined the canonical homomorphism \(A\mapsto {\varLambda }(A)\). Notice that for arbitrary four-vectors a and b, the scalar product
where the Minkowski metric tensor \([\eta _{\mu \nu }]=\text {diag}(1,-1,-1,-1)\) is preserved under the transformations (14).
Now, denoting
we have
and
Thus, the four-vectors \(\{\tilde{e}^\alpha \}\) form a (pseudo)orthogonal frame. Notice that \(\alpha ,\beta ,\dots \) enumerate four-vectors in a frame, while \(\mu , \nu , \dots \) enumerate components of four-vectors. Furthermore, under the transformation (14)
and transformed four-vectors \(\{e^\alpha \}\) form a frame, too:
Notice the obvious fact that \(\tilde{e}^0\) (and consequently \(e^0\)) is a time-like four-vector, while \(\tilde{e}^i\) (and consequently \(e^i\)) are space-like four-vectors.
Next, one-qubit state can be written as
with \(u^0=1/2\), \(\mathbf{u}=\mathbf{n}/2\) and \(\mathbf{n}^2\le 1\). Note that for pure states \(\mathbf{n}^2=1\) and consequently the four-vector \(u^\mu \) is light-like (with \(u^0>0\)), while for mixed states \(u^\mu \) is time-like (with \(u^0>0\), too). The space-like case of \(u^\mu \) is excluded. Moreover, the transformation
where \(A\in \text {SL}(2,\mathbb {C})\), \(u^\prime = {\varLambda }(A) u\) preserves the character of the state, i.e., if u is light-like, then \(u^\prime \) is light-like, too, and similarly for time-like u.
Now, subsystems in two-qubit state are one-qubit states obtained by partial traces. Therefore, their properties are the same as discussed above. In particular, for time-like and light-like four-vectors \(u^\mu \), we have \({{\mathrm{Tr}}}(u\sigma )\not =0\), and consequently, the transformations (6) are well defined.
Note that under the transformation (6), the Wootters concurrence [6] changes as [4]:
Now, let us analyze the cases \({\varSigma }_{\textsf {\tiny {I}}}\), \({\varSigma }_{\textsf {\tiny {II}}}\), \({\varSigma }_{\textsf {\tiny {III}}}\), and \({\varSigma }_{\textsf {\tiny {IV}}}\) in detail.
2.1 The orbit generated by the states \({\varSigma }_{\textsf {\tiny {I}}}\) and \({\varSigma }_{\textsf {\tiny {I}}}^\prime \) [Eq. (8)]
The density matrix corresponding to \({\varSigma }_{\textsf {\tiny {I}}}\) has the following form:
This is a mixed, separable state, and after the transformation (6), it takes the form
where four-vectors \(\{e^\alpha \}\) are defined by (19) and fulfill the condition (20), and the same relations are fulfilled by four-vectors \(\{f^\alpha \}\). Notice that \(e^0\) is a time-like four-vector, while \(f^0+f^1\) is a light-like four-vector.
Equation (25) gives the general parametrization of the orbit generated by the state \({\varSigma }_{\textsf {\tiny {I}}}\). Similarly, the density matrix corresponding to \({\varSigma }_{\textsf {\tiny {I}}}^{\prime }\) has the form
This is also a mixed, separable state, and the transformation (6) transforms it to
where \(e^0\), \(e^1\), and \(f^0\) have the same meaning as in (25). Here, \(e^0+e^1\) is a light-like four-vector, while \(f^0\) is a time-like four-vector. Equation (27) gives the general parametrization of the orbit generated by the state \({\varSigma }_{\textsf {\tiny {I}}}^{\prime }\).
Notice that the states (25) and (27) have the form of the tensor product of a pure and mixed state.
2.2 The orbit generated by the state \({\varSigma }_{\textsf {\tiny {II}}}\) [Eq. (9)]
The corresponding density matrix has the following form:
This is a pure, separable state. Therefore, all states generated from \(\tilde{\rho }_{\textsf {\tiny {II}}}\) via the transformation (6)
where \(a=e^0+e^1\) and \(b=f^0+f^1\) are light-like and are also pure and separable. This statement follows from Eq. (23) and from the observation that pure states are transformed into pure ones under (6). The opposite statement is also true: all pure, separable two-qubit states can be generated from \(\tilde{\rho }_{\textsf {\tiny {II}}}\) via the transformation (6). Indeed, any pure, separable, two-qubit state can be written as
The above state corresponds to \(\rho _{\textsf {\tiny {II}}}\) given in (29) if we take \(a=(\tfrac{1}{2},\tfrac{\mathbf{n}}{2})\) and \(b=(\tfrac{1}{2},\tfrac{\tilde{\mathbf{n}}}{2})\). Observe that such defined a and b are light-like. Now, arbitrary light-like four-vector can be generated via Lorentz transformation from the standard four-vector (1, 1, 0, 0). This proves our statement.
2.3 The orbit generated by the state \({\varSigma }_{\textsf {\tiny {III}}}\) [Eq. (10)]
The corresponding density matrix has the following form
with the conditions (11) and \(1\ge X\ge Y\ge |Z|\). The concurrence of this state is equal to
All states generated from \(\tilde{\rho }_{\textsf {\tiny {III}}}\) via the transformation (6) can be written in the following form
where four-vectors \(\{e^\alpha \}\) are defined by (19) and fulfill the condition (20), the same relations are fulfilled by four-vectors \(\{f^\alpha \}\); \(N=(e^0)^0 (f^0)^0 + X (e^1)^0 (f^1)^0 + Y (e^2)^0 (f^2)^0 + Z (e^3)^0 (f^3)^0\) is a normalization factor.
Among the states (31) only four are pure, i.e., the states \(\tilde{\rho }_{\textsf {\tiny {III}}}(-1,-1,-1)\), \(\tilde{\rho }_{\textsf {\tiny {III}}}(-1,1,1)\), \(\tilde{\rho }_{\textsf {\tiny {III}}}(1,-1,1)\), and \(\tilde{\rho }_{\textsf {\tiny {III}}}(1,1,-1)\). However, all of those states are connected with each other by transformations of the form (6). Moreover, only for the state \(\tilde{\rho }_{\textsf {\tiny {III}}}(1,1,-1)\) the condition \(1\ge X\ge Y\ge |Z|\) is fulfilled. Therefore, all two-qubit pure entangled states can be generated from \(\tilde{\rho }_{\textsf {\tiny {III}}}(1,1,-1)\).
Now, let us determine transformations that leave \({\varSigma }_{\textsf {\tiny {III}}}\) invariant under the action of the form given in Eq. (13). We assume that \(X\not =-1\), \(Y\not =-1\), \(Z\not =-1\) (the case \(X=Y=Z=-1\) corresponds to pure state, we have just considered it). Moreover, in all of the cases considered below, the little group contains the following discrete transformations:
where C has one of the following forms
Now, let us determine transformations that leave \({\varSigma }_{\textsf {\tiny {III}}}\) invariant under the action of the form given in Eq. (13). The simplest method to determine a continuous little group is to find an infinitesimal form of the transformation, i.e., such infinitesimal antisymmetric matrices A, \(\tilde{A}\) and such infinitesimal symmetric matrices S, \(\tilde{S}\), that
and
with \(3\times 3\) antisymmetric matrix \({\varOmega }\), \(3\times 3\) zero matrix \(\mathbf {O}\) and with \(\tilde{A}\), \(\tilde{S}\) of analogous form.
Solving the appropriate equations, we receive the following little groups: (i) \(X=Y=Z=0\): little group consists of arbitrary rotations on the left and arbitrary rotations on the right; (ii) \(X=Y=Z<0\): little group consists of all rotations on the left and the same rotations on the right (diagonal SO(3) group); (iii) X, Y, and Z are pairwise distinct: little group is trivial and contains only operations given in Eq. (35); (iv) \(X=Y\not =Z\), \(Z=-1\): in this case we have two subcases: (iva) \(X=Y=0\): little group consists of Lorentz boosts in the direction of the third axis on the left and the same boosts on the right and arbitrary rotations in the \(X-Y\) plane on the left and arbitrary rotations in the same plane on the right, (ivb) \(X=Y\not =0\): little group consists of Lorentz boosts in the direction of the third axis and rotations in the \(X-Y\) plane on the left and the same boosts and rotations on the right; (v) \(X=Y\not =Z\), \(Z\not =-1\): in this case we also have two subcases: (va) \(X=Y=0\): little group consists of rotations in the \(X-Y\) plane on the left and arbitrary rotations in the same plane on the right, (vb) \(X=Y\not =0\): little group consists of rotations in the \(X-Y\) plane on the left and the same rotations on the right.
2.4 The orbit generated by the state \({\varSigma }_{\textsf {\tiny {IV}}}\) [Eq. (12)]
The corresponding density matrix has the following form
where \(0\le x<1\), \(0<y< 1-x\). This is a mixed state, and its concurrence is equal to
All states generated from \(\tilde{\rho }_{\textsf {\tiny {IV}}}\) via the transformation (6) can be written in the following form
where four-vectors \(\{e^\alpha \}\) are defined by (19) and fulfill the condition (20), and the same relations are fulfilled by four-vectors \(\{f^\alpha \}\); \(N = (e^0)^0 (f^0)^0 + x [(e^1)^0 (f^1)^0 + (e^2)^0 (f^2)^0] + (2y-1) (e^3)^0 (f^3)^0 + y [(e^0)^0 (f^3)^0 + (e^3)^0 (f^0)^0]\) is the normalization factor.
Let us comment the relationship between our parametrization of the generating matrix (38) and the corresponding form of rank-deficient generating family given in [4]. First of all notice that matrices from this rank-deficient family in general are not positive semidefinite. These matrices are positive semidefinite provided that the parameters fulfill appropriate conditions (see Eq. 3). In such a case the rank-deficient density matrices given in [4] form a 3D manifold which belongs to the orbit defined by (40) (except some special cases belonging to the orbits generated from (8, 9)). However, the generating set introduced in [4] is not a minimal one. Indeed, our set of states defined in (38) form a 2D manifold belonging to the same orbit. We proved that this is a minimal generating set (see “Appendix 2”).
For the state (38), we can also calculate a quantum discord [2, 7] because this state may have non-classical correlations beyond quantum entanglement. The concept of quantum discord is based on the idea that two equivalent ways of calculating mutual information in classical information theory give different results when generalized to quantum ground. Namely, let us consider two discrete random variables A and B with values a and b occurring with probabilities \(p_a\) and \(p_b\), respectively. The classical mutual information describing the total amount of correlations between random variables A, B is defined as
where \(H(A)=-\sum _a p_a \log {p_a}\) denotes the Shannon entropy and analogous formulas hold for H(B) and for the joint entropy H(A, B) (all logarithms are base 2). For classical random variables, a conditional probability \(p_{a|b}\) is equal to \(p_{a|b}=p_{ab}/p_b\). Therefore, the classical mutual information can be written in an equivalent form
where the conditional entropy \(H(A|B)=H(A,B)-H(B)\).
In the quantum case, we consider a two-partite system described by a density matrix \(\rho \) with subsystems A, B with density matrices \(\rho _A={{\mathrm{Tr}}}_B(\rho )\), \(\rho _B={{\mathrm{Tr}}}_A(\rho )\). The formula (41) is generalized in a straightforward way to
where \(S(\rho _A)=-{{\mathrm{Tr}}}(\rho _A \log \rho _A)\) is the von Neumann entropy of a subsystem A and analogous formulas holds for \(S(\rho _B)\), \(S(\rho )\). On the other hand, the quantum generalization of (42) cannot be done in a straightforward way, i.e.,
since the conditional quantum entropy \(S(\rho |B)\) depends on an observable we have measured on B. Recall that after a non-selective projective measurement on B, the system is transformed into a statistical ensemble \(\{p_k,\rho _k\}\), \(k=1,2\), where
and similar formulas for \(p_2\), \(\rho _2\) with \({\varPi }_B\) replaced with \({\varPi }_{B}^{\perp }\) (here, \({\varPi }_B\) and \({\varPi }_{B}^{\perp }\) are orthogonal rank-one projectors). Therefore, we define the quantum version of (42) by taking the least disturbing measurement, i.e.,
where
(compare (45)). Consequently, the quantum discord describing the amount of genuinely quantum correlations is defined as
The quantum discord \(\mathcal{D}(A{:}B)\) can be seen as the minimal amount of correlations which are lost when the non-selective von Neumann projective measurement is taken on the system B [8, 9]. Moreover, the quantum discord \(\mathcal{D}(A{:}B)\) is a lower bound for the global quantum correlations present in a bipartite state \(\rho \) [9].
Since evaluation of quantum discord involves a complicated optimization procedure, the analytical expressions for quantum discord are known only for two-qubit Bell-diagonal states [10], for seven-parameter two-qubit X states [11] (not always correct exactly, but approximately correct with a very small absolute error [12]), for two-mode Gaussian states [13, 14], for a class of two-qubit states with parallel nonzero Bloch vectors [15] and for two-qubit Werner and isotropic states [16]. Despite this fact, quantum discord has been studied in different contexts [2].
Moreover, recently it has been shown that computing quantum discord is an NP-complete problem [17].
However, we present here the calculation of the discord of the state (38) since our method of calculation is simpler. First of all, eigenvalues of (38) are equal to:
and
Therefore
and
Now, to calculate the quantum conditional entropy, we need the most general projector \({\varPi }_B\). Such a projector can be parametrized as follows
where \(\mathbf{e}\) is an arbitrary unit vector (\(\mathbf{e}^2 = 1\)). Notice that in [11, 15, 18] (and also, e.g., in [10]), the more complicated parametrization of this projector was used. It holds
Therefore
Simple calculation shows that in our case
and
Furthermore
with
Eigenvalues of \({{\mathrm{Tr}}}_B[(I\otimes {\varPi }(\mathbf{e}))\rho (I\otimes {\varPi }(\mathbf{e}))]/p(\mathbf{e})\) and \({{\mathrm{Tr}}}_B[(I\otimes {\varPi }(-\mathbf{e}))\rho (I\otimes {\varPi }(-\mathbf{e}))]/p(-\mathbf{e})\) are equal to
and
respectively. \(S(\rho |{\varPi }(\mathbf{e}))\) and \(S(\rho |{\varPi }(-\mathbf{e}))\) depend only on \(e_3\), so, to simplify the notation, we have put \(e=e_3\). Therefore, we have to minimize, with respect to \(e\in \langle -1,1\rangle \), the following function
The value of e for which the minimum is achieved depends on x and y. The function \(S(\rho |\{{\varPi }(\mathbf{e})\})\) is symmetric with respect to \(e=0\), while its derivative (with respect to e) is antisymmetric. Therefore, \(\partial _e S(\rho |\{{\varPi }(\mathbf{e})\}) \big |_{e=0}=0\). The minimum can be achieved only for \(e=0\) or on the border for \(e=\pm 1\). Thus, the triangle \(0\le x<1\), \(0<y<1-x\) is divided into two regions. In the first region, the minimum is achieved for \(e=0\) (region I in Fig. 1), while in the second region, the minimum is achieved for \(e=\pm 1\) (region II in Fig. 1). Furthermore, the border between these two regions is described by the equation
The minima in corresponding regions are equal to
and
respectively. Evidently, \(S_{\text {I}}\) and \(S_{\text {II}}\) are equal on the curve given in Eq. (63).
Therefore, using the definition (48) and (51, 52) we can easily determine quantum discord in both regions, I and II:
and
In Fig. 2, we have depicted the quantum discord as a function of x and y.
Applying the same methods as in the previous subsection, we arrive at the following form of little group of \({\varSigma }_{\textsf {\tiny {IV}}}\): (i) when \(x=0\), little group consists of arbitrary rotations around the third axis on the left and arbitrary rotations around the third axis on the right and (ii) when \(x\not =0\), little group consists of arbitrary rotations around the third axis on the left and the same rotations on the right (diagonal SO(2) group).
3 Conclusions
We have thoroughly discussed the classification of two-qubit states with respect to transformations (6). This problem for the first time was discussed in [4], where it was shown that each two-qubit state can be obtained with the help of transformations (6) from one of the two canonical families of states. One of these families corresponds to Bell-diagonal states, while the other one is a three-parameter family of rank-deficient states. We have shown that the latter family of states should be replaced by three fixed states and a two-parameter family of states. We have shown also that this set of states is a minimal generating set with respect to transformations (6). We have exhaustively discussed this two-parameter family of states. In particular, we have found an explicit and very simple parametrization guaranteeing positive semidefiniteness of states from this two-parameter family of states. We have also calculated the Wootters concurrence and quantum discord for these states. It is worth noting that for these states the quantum discord is zero if and only if the state is separable.
Moreover, we have also found a new general parametrization of all two-qubit states generated from the canonical families, where sets of (pseudo)orthogonal four-vectors (frames) were used. An advantage of our parametrization lies in fact that the standard conditions for positive semidefiniteness of density matrices [5] are equivalent to (pseudo)orthogonality conditions for four-vectors serving as parameters (and appropriate conditions for parameters of the corresponding canonical family of states).
References
Horodecki, R., Horodecki, P., Horodecki, M., Horodecki, K.: Quantum entanglement. Rev. Mod. Phys. 81, 865 (2009)
Modi, K., Brodutch, A., Cable, H., Paterek, T., Vedral, V.: The classical-quantum boundary for correlations: discord and related measures. Rev. Mod. Phys. 84, 1655 (2012)
Caban, P., Podlaski, K., Rembieliński, J., Smoliński, K.A., Walczak, Z.: Entanglement and tensor product decomposition for two fermions. J. Phys. A Math. Gen. 38, L79 (2005)
Verstraete, F., Dehaene, J., DeMoor, B.: Local filtering operations on two qubits. Phys. Rev. A 64, 010101(R) (2001)
Bengtsson, I., Życzkowski, K.: Geometry of Quantum States. Cambridge University Press, Cambridge (2006)
Wootters, W.K.: Entanglement of formation of an arbitrary state of two qubits. Phys. Rev. Lett. 80, 2245 (1998)
Olivier, H., Zurek, W.H.: Quantum discord: a measure of the quantumness of correlations. Phys. Rev. Lett. 88, 017901 (2002)
Luo, S., Fu, S.: Geometric measure of quantum discord. Phys. Rev. A 82, 034302 (2010)
Okrasa, M., Walczak, Z.: Quantum discord and multipartite correlations. EPL 96, 60003 (2011)
Luo, S.: Quantum discord for two-qubit systems. Phys. Rev. A 77, 042303 (2008)
Ali, M., Rau, A.R.P., Alber, G.: Quantum discord for two-qubit X states. Phys. Rev. A 81, 042105 (2010)
Huang, Y.: Quantum discord for two-qubit X states: analytical formula with very small worst-case error. Phys. Rev. A 88, 014302 (2013)
Giorda, P., Paris, M.G.A.: Gaussian quantum discord. Phys. Rev. Lett. 105, 020503 (2010)
Adesso, G., Datta, A.: Quantum versus classical correlations in Gaussian states. Phys. Rev. Lett. 105, 030501 (2010)
Li, B., Wang, Z.X., Fei, S.M.: Quantum discord and geometry for a class of two-qubit states. Phys. Rev. A 83, 022321 (2011)
Chitambar, E.: Quantum correlations in high-dimensional states of high symmetry. Phys. Rev. A 86, 032110 (2012)
Huang, Y.: Computing quantum discord is NP-complete. New J. Phys. 16, 033027 (2014)
Girolami, D., Adesso, G.: Quantum discord for general two-qubit states: analytical progress. Phys. Rev. A 83, 052108 (2011)
Gohberg, I., Lancaster, P., Rodman, L.: Indefinite Linear Algebra and Applications. Birkhäuser, Basel-Boston-Berlin (2005)
Acknowledgments
J. R. thanks Marek Kuś and Karol Życzkowski for interesting discussion.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work has been supported by the Polish National Science Centre under the contract 2014/15/B/ST2/00117 and by the University of Lodz.
Appendices
Appendix 1: Algebraic prerequisites
We use the results from [19]. Real Jordan blocks are defined as follows:
\(J_{m}(\lambda )\) is a \(m\times m\) real matrix, \(\lambda \in {\mathbb {R}}\); and
where
\(I_2\) is a \(2\times 2\) identity matrix. \(J_{2m}(\lambda \pm i\mu )\) is a \(2m\times 2m\) real matrix, \(\lambda ,\mu \in {\mathbb {R}}\), \(\mu \not =0\).
Theorem 2
(Real Jordan form) For any real, \(n\times n\) matrix A, there exists an invertible real matrix S such that
where J (a real Jordan form of A) is a block diagonal matrix and has the form
where the \(\lambda _j\) are real and the \(\mu _j\) are real and positive. \(\lambda _j\) for \(1\le j\le r\) and \(\lambda _k \pm i \mu _k\) for \(r+1\le k\le q\) are eigenvalues of the matrix A. The size of a Jordan block \(J_j\) is determined by the multiplicity of the corresponding eigenvalue in the characteristic polynomial of A.
For a matrix J given in Eq. (70), we define a matrix
where \(\varepsilon =(\varepsilon _1,\dots ,\varepsilon _r)\) and \(\varepsilon _j=\pm 1\) for each j. Matrices \(P_j\) have the following form
and are of the size equal to that of \(J_j\).
The following theorem (theorem 6.1.5 from [19]) holds:
Theorem 3
A pair (A, H) of real matrices, where H is real and invertible and \(A=H^{-1} A^\mathrm{T} H\) is r-unitary similar to a pair \((J,P_{\varepsilon ,J})\), where J is a real Jordan form of A, and \(P_{\varepsilon ,J}\) is given in Eq. (71). The signs \(\varepsilon _j\) are determined uniquely by (A, H) up to permutation of signs in the blocks of \(P_{\varepsilon ,J}\) corresponding to the Jordan blocks of J with the same real eigenvalue and the same size.
A pair (A, H) is said to be r-unitary similar to a pair \((J,P_{\varepsilon ,J})\) iff there exists a non-degenerate real matrix S such that
Appendix 2: Canonical Form of Two-Qubit States
In this Appendix, we give a detailed proof of the Theorem 1.
Each two-qubit density matrix can be written in the form given in Eq. (2). Now, define a real matrix
where \(\eta =\text {diag}(+,-,-,-)\) is the Minkowski metric tensor. One can easily check that it holds
Therefore, Theorem 3 implies that the pair \((A,\eta )\) is r-unitary equivalent to a pair \((J,P_{\varepsilon ,J})\), that is, there exists a non-degenerate, real matrix S such that
where J is a real Jordan form of A and \(P_{\varepsilon ,J}\) is given in Eq. (71). Below we give all possible forms of J and corresponding \(P_{\varepsilon ,J}\) that are r-unitary equivalent to \((A,\eta )\).
In Eqs. (77–91), \(\lambda _i\in {\mathbb {R}}\), \(\sigma ,\tau ,\sigma ^\prime ,\tau ^\prime \in {\mathbb {R}}\), \(\tau ,\tau ^\prime >0\) and \(\varepsilon _i=\pm 1\).
Now, from Eq. (76), it follows that \(P_{\varepsilon ,J}\) is symmetric. Therefore, it can be diagonalized by the similarity transformation with the help of orthogonal matrix. That is, for every \(P_{\varepsilon ,J}\) there exists such a diagonal matrix D and orthogonal matrix \(\tilde{{\varOmega }}\) that
Each \(P_{\varepsilon ,J}\) is congruent with \(\eta \). Thus, inserting necessary permutations, we can write
Sylvester’s law of inertia implies that some of the possibilities from (77–91) are excluded (signature of a bilinear form determined by the corresponding \(P_{\varepsilon ,J}\) is different from the signature of the form determined by \(\eta \)). In this way, we exclude cases with numbers (1), (3), (6), (7), (8).
Notice that \(S^\mathrm{T} {\varOmega }^\mathrm{T} = {\varLambda }\) is a Lorentz transformation because using Eqs. (76, 93), we have
Therefore, Eqs. (74, 76, 93) implies
Now, we want to determine matrix \({\varSigma }\) such that
For such a matrix, we have
Thus
where \({\varLambda },\tilde{{\varLambda }}\) are Lorentz transformations. Thus, we want to determine the simplest form of \({\varSigma }\) from Eq. (96) in all of the cases given in Eqs. (77–91). In some of these cases, e.g., (2) and \((2)^\prime \), Jordan forms differ by the permutation of Jordan blocks. For example
where X is a permutation matrix. If follows that
We have
Therefore, we can take \({\varOmega }_{(2)}={\varOmega }_{(2)}^{\prime } X\) and consequently
On the other hand
Thus, determining all possible \({\varSigma }_{2}^{\prime }\) we will also find \({\varSigma }_{2}\) among them. Concluding, we can restrict our attention to the unprimed cases only.
Finally, only the cases (2), (4), (5), and (9) remain. We determine orthogonal matrices \({\varOmega }\) for these cases using Eq. (93). We get
Now, we want to determine the corresponding \({\varSigma }\) matrices with the help of Eq. (96). This equation does not determine \({\varSigma }\) uniquely. Note that if \({\varSigma }\) is a solution of Eq. (96) also
where \({\varLambda }\) is a Lorentz transformation, is a solution. We use this freedom to determine the simplest form of \({\varSigma }\). Matrix \({\varSigma }\) corresponds to a two-qubit quantum state \(\rho \) via the relation analogous to Eq. (2):
Therefore, even taking into account normalization, we have to assume that
Moreover, the reduced density matrices
are positive semidefinite. It follows that
When we perform transformation defined in Eq. (108), rows of \({\varSigma }\) transform like four-vectors under \({\varLambda }\). Taking into account Eq. (113), we see that the first row of the matrix \({\varSigma }\) transforms under Lorentz transformations like a time-like or light-like four-vector. Therefore, using the freedom guaranteed by Eq. (108), the form of \({\varSigma }\) can be reduced to:
in a time-like case and it can be reduced to
in a light-like case. In both cases, (115) and (116), it holds [compare Eq. (114)]
Now, we insert (115) and (116) into Eq. (96) for \({\varOmega }\) and J given in Eqs. (78, 104) or in Eqs. (81, 105) or in Eqs. (84, 106) or in Eqs. (89, 107). Solving obtained conditions we arrive at the following possibilities:
Case number (2), time-like first row:
Case number (2), light-like first row: this case is contradictory.
Case number (4), time-like first row:
Case number (4), light-like first row:
with the condition (117) and
Case number (5), time-like first vector:
Case number (5), light-like first row:
with the conditions (117), \(\lambda _1=0\), and we have three possibilities in this case:
or
or
Case number (9), time-like first row:
Case number (9), light-like first row:
with the conditions (117) and
Now, all of the matrices (118, 120, 122, 127, 129, 134, 136) correspond to two-qubit quantum states via the relation (109). Therefore, after the transformation
the state (109) changes according to Eq. (4). Thus, the matrix R from Eq. (142) has to fulfill conditions analogous to Eqs. (113, 114). To proceed further, we take \({\varLambda }_2=I\) and \({\varLambda }_1=B(\mathbf{n},\xi )\) (boost in the direction of the vector \(\mathbf{n}\) with rapidity \(\xi \)) and calculate the matrices \(B(\hat{\mathbf{x}},\xi ){\varSigma }\), \(B(\hat{\mathbf{z}},\xi ){\varSigma }\). Next, the first rows of the matrices \(B(\hat{\mathbf{x}},\xi ){\varSigma }\), \(B(\hat{\mathbf{z}},\xi ){\varSigma }\) should fulfill the condition analogous to (113) for all values of \(\xi \). Using this method, we can show that the matrices \({\varSigma }^{t}_{2}\), \({\varSigma }^{l}_{4}\), \({\varSigma }^{t}_{9}\), \({\varSigma }^{l}_{9}\) cannot correspond to quantum states. Moreover, we can restrict the domain of parameters in the cases \({\varSigma }^{t}_{4}\) and \({\varSigma }^{l}_{5}\). We can show with the help of this method that in the case of \({\varSigma }^{t}_{4}\) [Eq. (120)], we have to put \(\varepsilon _1=1\) (which implies that in this case \(\lambda _1\ge 0\)) and in the case of \({\varSigma }^{l}_{5}\) [Eq. (129)] we have to put \(\beta ^2=\gamma ^2=\gamma ^3=\delta ^2=\delta ^3=0\).
Let us remind here that our aim is to find the simplest, inequivalent \({\varSigma }\)s from which all possible Rs corresponding to quantum states can be generated via Eq. (142). We can use this observation to further simplify the remaining cases \({\varSigma }^{t}_{4}\), \({\varSigma }^{t}_{5}\), \({\varSigma }^{l}_{5}\).
First of all, in \({\varSigma }^{l}_{5}\) the first two columns are proportional and the last two columns consist of zeros. Therefore, with the help of appropriate Lorentz transformation acting on the left-hand side we can transform \({\varSigma }^{l}_{5}\) to one of the following forms (depending on the character of the first column):
or
Next, taking
we can transform \({\varSigma }^{ll}_{5}\), \({\varSigma }^{lt}_{5}\) with \(\varepsilon =-1\) to \({\varSigma }^{ll}_{5}\), \({\varSigma }^{lt}_{5}\) with \(\varepsilon =1\). Thus, from the case (5) with the light-like first row [Eq. (129)], we obtain two inequivalent possibilities
\({\varSigma }^{t}_{4}\) can be re-parametrized in the following form:
where \(y^\prime =\tfrac{1}{2\lambda _1+1} \in (0,1\rangle \), \(a=\sqrt{\lambda _1+\tfrac{1}{2}}\ge \tfrac{1}{\sqrt{2}}\), \(x^\prime =\varepsilon ^\prime \sqrt{\tfrac{\lambda _2}{\lambda _1+1/2}} \in {\mathbb {R}}\), \(z^\prime =\varepsilon ^{\prime \prime } \sqrt{\tfrac{\lambda _3}{\lambda _1+1/2}} \in {\mathbb {R}}\).
\({\varSigma }^{t}_{5}\) can be rewritten as
where \(b=\sqrt{\lambda _1}\), \(X=\varepsilon \sqrt{\tfrac{\lambda _2}{\lambda _1}}\), \(Y=\varepsilon ^{\prime } \sqrt{\tfrac{\lambda _3}{\lambda _1}}\), \(Z=\varepsilon ^{\prime \prime } \sqrt{\tfrac{\lambda _4}{\lambda _1}}\).
Now, let us notice that matrices \({\varSigma }\) and \(\alpha {\varSigma }\) (\(\alpha \in {\mathbb {R}}\), \(\alpha \not =0\)) correspond to the same density matrix \(\rho \) since we normalize \(\rho \) to unit trace. Therefore, we can omit the overall factors in Eqs. (146, 147, 148). Next, \({\varSigma }\)s from Eqs. (146, 147, 148) correspond to positive semidefinite matrices via the relation (109) iff all of the coefficients (3) are nonnegative.
For \({\varSigma }_{5}^{ll}\) and \({\varSigma }_{5}^{lt}\) from Eq. (146), all of the coefficients (3) are identically nonnegative.
For \({\varSigma }_{4}^{t}\) from Eq. (147), nonnegativity of the coefficients (3) implies:
and
Moreover, the cases with \(\varepsilon =1\) and \(\varepsilon =-1\) [Eqs. (149, 150)] are connected via the relation
where \({\varLambda }_2\) is given in Eq. (145). Therefore, the case 4 with the time-like first row [Eq. (120)] reduces to (147) with \(\varepsilon =-1\), \(z^\prime =x^\prime \), and with the condition given in Eq. (151). Therefore,
with \(x^\prime \in \langle -1,1\rangle \), \(0<y^\prime \le 1-{x^\prime }^2\), (note that (153) can be obtained from (147) with the conditions (149, 150, 152) via the appropriate permutation).
Now, for \(y^\prime \not =1\) we can symmetrize (153) via Lorentz boosts. That is why we exclude the case \(y^\prime \not =1\) and treat it separately [compare (8)]. The symmetrized form of (153) is given in Eq. (12). Note that
For \({\varSigma }_{5}^{t}\) from Eq. (148), nonnegativity of the coefficients (3) implies the conditions given in Eq. (11). Moreover, applying transformations from \(L_{+}^{\uparrow }\), we can rearrange X, Y, Z in such a way that \(1\ge X\ge Y\ge |Z|\).
This completes the proof of the Theorem 1.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Caban, P., Rembieliński, J., Smoliński, K.A. et al. Classification of two-qubit states. Quantum Inf Process 14, 4665–4690 (2015). https://doi.org/10.1007/s11128-015-1121-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11128-015-1121-y