Abstract
Recently, Girolami and Adesso (Phys Rev A 83: 052108, 2011) have demonstrated that the calculation of quantum discord for two-qubit case can be viewed as to solve a pair of transcendental equation. In the present work, we introduce the generalized Choi–Jamiolkowski isomorphism and apply it as a convenient tool for constructing transcendental equations. For the general two-qubit case, we show that the transcendental equations always have a finite set of universal solutions; this result can be viewed as a generalization of the one obtained by Ali et al. (Phys Rev A 81: 042105, 2010). For a subclass of \(X\) state, we find the analytical solutions by solving the transcendental equations.
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
How to quantify and characterize the nature of correlations in a quantum state, besides the fundamental scientific interest, has a crucial applicative importance in the field of quantum information processing [1]. For a bipartite quantum state, it is known that both the classical and quantum correlations are contained in it. Beyond the entanglement, quantum discord was introduced as a more general measure of quantum correlation [2, 3] and was regarded as a resource for quantum computation [4], quantum state merging [5, 6]. Quantum discord has attracted much attention recently [4–23] and has also been generalized to continuous-variable systems for Gaussian states [24, 25] and non-Gaussian states [26].
Quantum discord is very hard to calculate even for two-qubit states because of the minimization over all possible measurements. For an important class of two-qubit states, the so-called \(X\) states, Ali, Rau, and Alber (ARA) proposed an algorithm to calculate the quantum discord with minimization taken over only a few simple cases [9]. However, a counterexample for the ARA algorithm was given by Lu et al. [10], where the authors proved that, for the entire class os \(X\) states, the optimization procedure involved in the classical correlation should be state dependent. For the real \(X\) states, Chen et al. have identified a class of states, where quantum discord can be evaluated analytically without any minimization, and hence, the ARA algorithm is valid. Meanwhile, they also identified a family of states for which the ARA algorithm fails [27].
The ARA algorithm involved a minimization procedure with four constrained parameters. However, Girolami and Adesso have shown that two free parameters, the polar and azimuthal angles usually used to describe an arbitrary unit Bloch vector, are already sufficient. With the two angles, one may obtain two partial derivatives for the conditional entropy, and by setting the two partial derivatives to be zero, the minimization procedure can be simplified as to find the solutions of a pair of transcendental equations [28]. Usually, one should firstly give all the possible solutions, which are series of values of the two angles, and then select the optimal setting where the conditional entropy takes the minimal value.
Although the transcendental equations are direct and reliable, it has been argued that, for general case, one cannot solve the problem analytically since these equations involves logarithms of nonlinear quantities [28]. In the present work, we shall give some further discussion about this problem. First, we introduce the generalized Choi–Jamiolkowski isomorphism as a convenient tool to construct the transcendental equations. Then, for the general two-qubit case, we demonstrate that the transcendental equations have a set of universal solutions which have been discovered by the ARA algorithm. Finally, for a subclass of the \(X\) state, we give the analytical solution by solving the transcendental equations.
The content of present work is organized as follows. In Sect. 2, we give a brief review of the quantum discord. In Sect. 3, we introduce the general Choi–Jamiolkowski isomorphism. In Sect. 4, a detail introduction of the Bloch vector transformation is discussed. In Sect. 5, we give a classification of the solutions for the partial equation of the classical mutual information. In Sect. 6, several examples are given there. Finally, we end our work with a short conclusion.
2 The quantum discord
The correlations for a bipartite state can be quantified by the quantum mutual information. For a given density matrix \(\rho ^{ab}\) of a bipartite system \(H^a\otimes H^b\), the quantum mutual information is defined as
where \(S(\rho )=- \mathrm{{Tr}}(\rho \log _2\rho )\) is the von Neumann entropy, and \(\rho ^a\) (\(\rho ^b\)) denotes the reduced density matrix of subsystem \(H^a\) (\(H^b\)). The quantum mutual information can be expressed as the sum of two parts,
with \({\mathcal {C}}(\rho ^{ab})\) the classic correlation and \(\mathcal {Q}(\rho ^{ab})\) the quantum discord [2, 3]. To quantify the quantum discord, Olliver and Zurek [2] have suggested the use of von Neumann-type measurements: \(\{\Pi _i\}_{i=1}^{D}\), with \(\Pi _i\) the one-dimensional projective operators. After the measurement on subsystem \(H^b\), a density operator \(\rho _j\) associated with the outcome \(j\) is
with \(p_j\) the probability for the \(j\)th outcome. Use \( S(\rho \vert {\Pi _j})=\sum p_j S(\rho _j)\) to denote the quantum conditional entropy, and the corresponding quantum mutual information reads
Then, the classical correlation is
and the quantum discord is defined as
3 The system-ancilla-environment picture
The Choi–Jamiolkowski isomorphism is a useful connection between quantum channel and a bipartite state [29], say \(\rho ^{ab}=\varepsilon \otimes \mathrm{I}_D(\vert S_{+}\rangle \langle S_+\vert )\), with \(\vert S_+\rangle \) the maximally entangled state of the bipartite system. Our work is motivated by such a simple idea: We first express a density operator \(\rho ^{ab}\) with a quantum channel \(\varepsilon \), and then, the analytic expression of the quantum discord for the \(D\otimes D\) system can be simplified since only a \(D\)-dimensional quantum process \(\varepsilon \) is involved. It should be noticed that the isomorphism above is only available for the cases when the reduced density matrix \(\rho ^{b}\) is a complete mixture, \(\rho ^{b}=\mathrm{I}_D/D\). With careful analysis, we find that the isomorphism above can take a general form as the maximally entangled state is substituted by a general entangled state, and then, the density matrix with a full-rank reduced matrix \(\rho ^b\) can always be expressed with a quantum channel and an entangled state. Meanwhile, the Bloch vector transformation can be applied to describe the quantum operation for the qubit case. Therefore, the derivation of the quantum discord is closely related to the property of the quantum channel.
To study a quantum channel \(\varepsilon \) of a \(D\)-dimensional system \(H^a\), it is convenient to introduce an ancilla system \(H^b\) with an equal dimension. Prepare a pure entangled state \(|\Phi \rangle \) as the initial state of the bipartite system \(H^a\otimes H^b\), and since the system \(H^a\) is subjected to a interaction described by the trace-preserving quantum operation \(\varepsilon \) with the environment, the final state is
From it, we can obtain a lot of information about the quantum channel. For example, the Schmacher’s channel fidelity is defined as \(F=\langle \Phi \vert \rho ^{ab}\vert \Phi \rangle \), which provides a measure of how well the entanglement between the two systems is preserved by the quantum process \(\varepsilon \) [30]. In the following, we shall show that this process is reversible: If the reduced matrix of \(H^b\) is full-rank, it can always be described by the corresponding \(\varepsilon \) and \(\vert \Phi \rangle \). To prove this, we should first notice that a bounded operator in \(\mathrm{H}_{D}\) is always related to a vector in a extended Hilbert space \(\mathrm{H}_{D}^{\otimes 2}\). Denote \(A\) to be a bounded operator on the \(D\)-dimensional Hilbert space \(\mathrm{H}_D\), with \(A_{ij}=\langle i\vert A\vert j\rangle \) the matrix elements, and an isomorphism between \(A\) and a \(D^2\)-dimensional vector \(\vert A\rangle \rangle \) can be
where \(\vert S_+\rangle \) is the maximally entangled state in \(\mathrm{H}_{D}^{\otimes 2}, \, \vert S_+ \rangle =\sum _{k=1}^{D}\vert kk\rangle /\sqrt{D}\) with \(\vert ij\rangle =\vert i\rangle \otimes \vert j\rangle \). This isomorphism offers a one-to-one map between an operator and its vector form. Suppose that \(A\) , \(B\), and \(\rho \) are three arbitrary bounded operators on \(\mathrm{H}_{D}\), and then
with \(B^{\mathrm{T}}\) the transpose of \(B\).
Now, consider a \(D^2\times D^2\) density matrix,
where \(\vert \Psi _m\rangle \) are the normalized eigenvectors of the bipartite density operator \(\rho ^{ab}, \, \langle \Psi _m\vert \Psi _{n}\rangle =\delta _{mn}\), and \({\uplambda }_m\) are the corresponding eigenvalues with \(\sum _{m}^{D^2}{\uplambda }_m=1\). Due to the isomorphism \(\vert \Psi _m\rangle =\vert \Gamma _m\rangle \rangle \), the density matrix \(\rho ^{ab}\) can be also expressed as
and the transpose of the reduced density matrix \(\rho ^{b}\) can be derived as
A simple proof of Eq. (11) is as following: With the equations in Eqs. (9) and (10), one can obtain \(\langle \langle \Gamma _m\vert ki\rangle =\langle i\vert \Gamma _m^{\dagger }\vert k\rangle \), and \(\langle kj\vert \Gamma _m\rangle \rangle =\langle k\vert \Gamma _m\vert j\rangle \). Plugging these results into the definition of the partial trace operation, we have
\(\square \)
For the two-qubit case, \(D=2\), and one can further assume \(\mathrm{det} (\rho ^{b})^{\mathrm{T}})\ne 0\) and define
where
with \(U\) a \(2\times 2\) unitary transformation. Furthermore, one can introduce a set of Kraus operators \(\{E_m\}_{m=1}^{4}\) for the quantum process \(\varepsilon \) as follows:
and now, the density matrix \(\rho ^{ab}\) can be rewritten as
It is obvious that a new basis for \(H^b\) can be defined as
and the relation in Eq. (7) with the entangled state
can be obtained. In this picture, the two reduced density matrices are
It should be mentioned that \((\rho ^{b})^{T}\) has the same determinant as \(\rho ^b\), and furthermore, our method above can be easily generalized for the cases with the arbitrary dimension \(D\).
In the following, we shall focus on the situation where a von Neumann measurement is performed on subsystem \(H^b\). Two free parameters, \(\theta \) and \(\phi \), can be used for the measurement operators \(\Pi _i=\vert \psi _i\rangle \langle \psi _i\vert (i=1,2)\), where
After the measurement, the final state \(\rho ^{a^{\prime }b^{\prime }}\) can be formally expressed as \(\rho ^{a^{\prime }b^{\prime }}=\varepsilon \otimes \mathrm{I }_2(\bar{\rho })\), where
By some algebra, we find that \(\bar{\rho }\) is a mixture of product state
with \(p_j\) the probabilities
and \(\vert \phi _j\rangle (j=1,2)\) are a pair of pure states defined as
Finally, one can obtain
Meanwhile, it is easy to check that \(\sum _jp_j\vert \phi _j\rangle \langle \phi _j\vert =\rho ^b\), and therefore,
From Eq. (20), we see that the classic information \(\mathcal {I}^{\prime }\) is a function of the free parameters \(\theta \) and \(\phi \),
and the quantum discord can be accessed if the maximum value of \(\mathcal {I}^{\prime }(\theta ,\phi )\) has been decided
4 The Bloch vector transformation
In order to obtain the analytic expression of the quantum discord for a two-qubit state, we shall at first give a general expression of the conditional entropy \(\sum _{j=1}^2p_jS(\rho _j)\). The Bloch representation is very useful for the single-qubit state, and the state \(\rho \) can be written as \(\rho =\frac{1}{2}(\mathrm{I}_2+ \vec {r}\cdot \vec {\sigma })\), where \(\vec {r}\) is a three component real vector and \(\vec {\sigma }=(\sigma _x,\sigma _y,\sigma _z)\). Meanwhile, it turns out that an arbitrary trace-preserving quantum operation is equivalent to a map such that
with \(\eta \) a \(3\times 3\) real matrix, \(\vec {c}\) a constant vector, and \(\varepsilon (\rho )=\frac{1}{2}(\mathrm{I}_2+ \vec {r^{\prime }}\cdot \vec {\sigma })\). This is an affine map, mapping the Bloch sphere into itself [1], and can be explicitly expressed as
with the coefficients defined as
Here, we have used
and the two unit vectors \( \vec {s}\) and \(\vec {t}\)
With the following two vectors,
one may have
For simplicity, \(s^{\prime }(\theta ,\phi )\) and \(t^{\prime }(\theta , \phi )\) are used to denote the purity of the density matrix \(\rho _1\) and \(\rho _2\) respectively, and \(s^{\prime }(\theta ,\phi )=\vert \vec {s}^{\prime }\vert =\sqrt{(s^{\prime }_x)^2+(s^{\prime }_y)^2+(s^{\prime }_z)^2}, \, t^{\prime }(\theta ,\phi )=\vert \vec {t^{\prime }}\vert \). It is easy to note that there exists a symmetry between these two functions: Under the transformation
these two functions are interchanged
This result comes from the fact that \(\vec {r}(\pi -\theta , \phi +\pi )=\vec {s}(\theta , \phi )\), which can be seen from Eq. (28).
5 Classification of the solutions
With the Bloch vector introduced in the above section, one may get a general expression of the classic information,
with \(H_2(p)\) the binary entropy defined as \(H_2(p)=-p\log _2 p-(1-p)\log _2(1-p)\). From Eq. (19), \(\frac{\partial p_1}{\partial \theta }=-\frac{\partial p_2}{\partial \theta }\). Therefore, we can obtain
As a necessary condition, the maximum value may happen with
In the following, we shall show that the following two types of solutions are universal:
(A)The symmetric solution: In this case, one of the solutions happens with the setting
with \(\bar{\phi }\) is constrained by
Following the discussions about the symmetry between \(s^{\prime }(\theta , \bar{\phi })\) and \(t^{\prime }(\theta , \bar{\phi })\), there should be
Jointing the above results with
one can conclude that the setting in Eq. (36) is one of the solutions.
(B)The asymmetric solution: Another solution of the partial equation exists with the setting
with \(\tilde{\theta }\) and \(\tilde{\phi }\) the solution of the equations below,
Except the special case where \(p_1=p_2=1/2, \, \theta =0\) is the only possible solution for the equations above since \(\partial p_i/\partial \theta \propto \sin \theta ,(i=1,2)\). By jointing it with the symmetric solution, \(\theta =\pi /2\), the main result in [9], which states that the polar angle \(\theta \) may take the value \(0\) or \(\pi /2\) for the \(X\) states, is also suitable for the general two-qubit case.
(C)The state-dependent solution: For some given states, the two transcendental equations in Eq. (35) may have other type solutions beside the universal one given above. We shall give an example in the next section.
6 Examples
(A) The \(X\) state. This type of density matrix has been widely discussed in previous works [7, 9, 10],
By some simple algebra, we may see that the map in Eq. (25) now take the form
Here, we focus on the case when \(\cos \gamma =0\), which means the pure state \(\vert \Phi \rangle \) in Eq. (7) is the maximally entangled state. Under this condition, the probability for each final state takes the same value, \(p_1=p_2=1/2\). The transcendental equations are reduced as
With the vector transformation, we shall get
Note that \(s^{\prime }\) and \(t^{\prime }\) depend on \(\phi \) in the same way. Therefore, the optimal setting for \(\phi \) should be decided by equation, \(\partial f(\phi )/\partial \phi =0\), can be easily solved. By introducing a set of parameters,
we can express \(s^{\prime }\) and \(t^{\prime }\) with a simple form,
From it, we get the derivatives,
Note that two derivatives cannot be positive at the same time, and we can rewrite Eq. (49) as
Here, we shall show that: In the parameter range
the equation in (55) has no other solutions beside \(\theta =0\) and \(s^{\prime }=t^{\prime }\). From Eq. (56), there should be
with the expanding formula
and the condition in Eq. (57), we see that \(\partial H(x)/\partial x\) is nonzero in the parameter range \(0<x<1\). Therefore, \(H(s^{\prime })=H(t^{\prime })\) can only happen with \(s^{\prime }=t^{\prime }\). If \(c_z\ne 0, \, s^{\prime }=t^{\prime }\) has the unique setting \(\theta =\pi /2\). If \(c_z=0, \, s^{\prime }=t^{\prime }\) can hold for an arbitrary \(\theta \), while from Eqs. (50–51), we find the optimal setting is either \(\theta =0\) or \(\theta =\pi /2\). Based on these analyses above, we conclude that the universal solutions are sufficient for the cases above.
Among all the \(X\)-type states, the Bell diagonal state is one of the most interesting cases, and in the parameterized state model here, it corresponds to the situation
Now, the parameter \(k\) takes the value \(k=-{1}/{\eta ^2_{\bot }}<-1\). The symmetric solution should be \(s^{\prime }(\pi /2, \bar{\phi })=t^{\prime }(\pi /2, \bar{\phi })=\eta _{\bot }\), while the asymmetric solution has a compact form \(s^{\prime }(\tilde{\theta },\tilde{\phi })=t^{\prime }(\tilde{\theta },\tilde{\phi })=\vert \eta _{zz}\vert \). Finally, which kind of solution, the symmetric one or the asymmetric one, should be viewed as the classic correlation \(\mathcal {C}\) in Eq. (5), is decided by the actual values of \(\eta _{xx}, \, \eta _{yy}\),and \(\eta _{zz}\). Formally, it an be expressed as
with \(\eta _{\mathrm{opt}}=\mathrm{Max}\{\vert \eta _{xx}\vert ,\vert \eta _{yy}\vert ,\vert \eta _{zz}\vert \}\).
(B) In Ref. [10], a simple density matrix is given as
With numerical calculation, we find that the transcendental equations in Eq. (35) have three solutions, \(\theta =0, \, \theta =\pi /2\) and \(\theta \approx 0.155\pi \). Among all these possible settings, \(\theta \approx 0.155\pi \) is the optimal one. With this simple example, we show that the universal solutions are not always the optimal one.
7 Conclusions
Our present work has followed the original definition of the quantum discord in Ref. [2], where the von Neumann projective measurement is performed. This measurement can also be generalized to the more general positive operator-valued measurement (POVM) [3]. Furthermore, the concept of the quantum discord itself has been developed in recent years. For examples, the relative entropy quantum discord [12], the geometric quantum discord [13, 14] and their relations to the original definition have been investigated. Although our derivation is the for the original quantum discord, the general Choi–Jamiolkowski isomorphism used here may also be applied for the discussion for other types of quantum discord.
In summary, we have applied the general Choi–Jamiolkowski isomorphism as a convenient tool for constructing the transcendental equations. For the general two-qubit case, we have shown that the transcendental equations always have a finite set of universal solutions, and this result can be viewed as a generalization of the one get with the ARA algorithm. However, for some cases, the transcendental equations can have solutions beside the universal ones. We also consider a subclass of \(X\) state, for which the transcendental equation may offer analytical solutions.
References
Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum information. Cambridge University Press, Cambridge (2000)
Ollivier, H., Zurek, W.H.: Quantum discord: a measure of the quantumness of correlations. Phys. Rev. Lett. 88, 017901 (2001)
Henderson, L., Vedral, V.: Classical, quantum and total correlations. J. Phys. A 34, 6899 (2001)
Datta, A., Shaji, A., Caves, C.M.: Quantum discord and the power of one qubit. Phys. Rev. Lett. 100, 050502 (2008)
Madhok, V., Datta, A.: Interpreting quantum discord through quantum state merging. Phys. Rev. A 83, 032323 (2011)
Cavalcanti, D., Aolita, L., Boixo, S., Modi, K., Piani, M., Winter, A.: Operational interpretations of quantum discord. Phys. Rev. A 83, 032324 (2011)
Luo, S.: Quantum discord for two-qubit systems. Phys. Rev. A 77, 042303 (2008)
Luo, S., Fu, S.: Geometric measure of quantum discord. Phys. Rev. A 82, 034302 (2010)
Ali, M., Rau, A.R.P., Alber, G.: Quantum discord for two-qubit X states. Phys. Rev. A 81, 042105 (2010); Erratum: Quantum discord for two-qubit X states. ibid. 82, 069902 (2010)
Lu, X.M., Ma, J., Xi, Z., Wang, X.: Optimal measurements to access classical correlations of two-qubit states. Phys. Rev. A 83, 012327 (2011)
Cen, L.X., Li, X.Q., Shao, J., Yan, Y.J.: Quantifying quantum discord and entanglement of formation via unified purifications. Phys. Rev. A 83, 054101 (2011)
Modi, K., Paterek, T., Son, W., Vedral, V., Willimson, M.: Unified view of quantum and classical correlations. Phys. Rev. Lett. 104, 080501 (2010)
Dakic, B., Vedral, V., Brukner, C.: Necessary and sufficient condition for nonzero quantum discord. Phys. Rev. Lett. 105, 190502 (2010)
Bellomo, B., Giorgi, G.L., Galve, F., Franco, R.L., Compagno, G., Zambrini, R.: Unified view of correlations using the square-norm distance. Phys. Rev. A 85, 032104 (2012)
Lang, M.D., Caves, C.M.: Quantum discord and the geometry of Bell-diagonal states. Phys. Rev. Lett. 105, 150501 (2010)
Streltsov, A., Kampermann, H., Bruß, D.: Linking quantum discord to entanglement in a measurement. Phys. Rev. Lett. 106, 160401 (2011)
Piani, M., et al.: All nonclassical correlations can be activated into distillable entanglement. Phys. Rev. Lett. 106, 220403 (2011)
Zurek, W.H.: Quantum discord and Maxwell’s demons. Phys. Rev. A 67, 012320 (2003)
Brodutch, A., Terno, D.R.: Quantum discord, local operations, and Maxwell’s demons. Phys. Rev. A 81, 062103 (2010)
Brodutch, A., Terno, D.R.: Entanglement, discord, and the power of quantum computation. Phys. Rev. A 83, 010301 (2011)
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)
Zhou, T., Cui, J., Long, G.L.: Measure of nonclassical correlation in coherence-vector representation. Phys. Rev. A 84, 062105 (2011)
Rahimi-Keshari, S., Caves, C.M., Ralph, T.C.: Measurement-based method for verifying quantum discord. Phys. Rev. A 87, 012119 (2013)
Adesso, G., Datta, A.: Quantum versus classical correlations in Gaussian states. Phys. Rev. Lett. 105, 030501 (2010)
Giorda, P., Paris, M.G.A.: Gaussian quantum discord. Phys. Rev. Lett. 105, 020503 (2010)
Tatham, R., Mišta Jr, L., Adesso, G., Korolkova, N.: Nonclassical correlations in continuous-variable non-Gaussian Werner states. Phys. Rev. A 85, 022326 (2012)
Chen, Q., Zhang, C., Yu, S., Yi, X.X., Ou, C.H.: Quantum discord of two-qubit X states. Phys. Rev. A 84, 042313 (2011)
Girolami, D., Adesso, G.: Quantum discord for general two-qubit states: analytical progress. Phys. Rev. A 83, 052108 (2011)
Choi, M.: Completely positive linear maps on complex matrices. Linear Algebra Appl. 10, 285 (1975)
Schumacher, B., Nielson, M.A.: Quantum data processing and error correction. Phys. Rev. A 54, 2629 (1996)
Acknowledgments
This work was partially supported by the National Natural Science Foundation of China under the Grant No. 11405136 and the Fundamental Research Funds for the Central Universities of China A0920502051411-56.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Wu, X., Zhou, T. Quantum discord for the general two-qubit case. Quantum Inf Process 14, 1959–1971 (2015). https://doi.org/10.1007/s11128-015-0962-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11128-015-0962-8