Abstract
We study the local unitary equivalence for two and three-qubit mixed states by investigating the invariants under local unitary transformations. For two-qubit system, we prove that the determination of the local unitary equivalence of 2-qubits states only needs 14 or less invariants for arbitrary two-qubit states. Using the same method, we construct invariants for three-qubit mixed states. We prove that these invariants are sufficient to guarantee the LU equivalence of certain kind of three-qubit states. Also, we make a comparison with earlier works.
Similar content being viewed by others
Introduction
Nonlocality is one of the astonishing phenomena in quantum mechanics. It is not only important in philosophical considerations of the nature of quantum theory, but also the key ingredient in quantum computation and communications such as cryptography1. From the point of view of nonlocality, two states are completely equivalent if one can be transformed into the other by means of local unitary (LU) transformations. Many crucial properties such as the degree of entanglement2, 3, maximal violations of Bell inequalities4,5,6,7 and the teleportation fidelity8, 9 remain invariant under LU transformations. For this reason, it has been a key problem to determine whether or not two states are LU equivalent.
There have been a plenty of results on invariants under LU transformations10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25. However, one still does not have a complete set of such LU invariants which can operationally determine the LU equivalence of any two states both necessarily and sufficiently, except for 2-qubit states and some special 3-qubit states. For the 2-qubit state case, Makhlin presented a set of 18 polynomial LU invariants in ref. 10. In ref. 20 the authors constructed a set of very simple invariants which are less than the ones constructed in ref. 10. Nevertheless, the conclusions are valid only for special (generic) two-qubit states and an error occurred in the proof. In this paper, we corrected the error in ref. 20 by adding some missed invariants, and prove that the determination of the local unitary equivalence of 2-qubits states only needs 14 or less invariants for arbitrary two-qubit states. Moreover, we prove that the invariants in ref. 20 plus some invariants from triple scalar products of certain vectors are complete for a kind of 3-qubit states.
Results
A general 2-qubit state can be expressed as:
where I is the 2 × 2 identity matrix, σ i , i = 1, 2, 3, are Pauli matrices and \({T}_{1}^{i}={\rm{tr}}(\rho ({\sigma }_{i}\otimes I))\) etc. Two two-qubit states ρ and
are called LU equivalent if there are some U i ∈ U(2), i = 1, 2, such that \(\hat{\rho }=({U}_{1}\otimes {U}_{2})\rho ({U}_{1}^{\dagger }\otimes {U}_{2}^{\dagger })\). By using the well-known double-covering map SU(2) → SO(3), one has that for all U ∈ SU(2), there is a matrix O = (o kl ) ∈ SO(3), such that \(U{\sigma }_{k}{U}^{\dagger }={\sum }_{l=1}^{3}\,{o}_{kl}\,{\sigma }_{l}\). Therefore, ρ and \(\hat{\rho }\) are LU equivalent if and only if there are some O i ∈ SO(3), i = 1, 2, such that
One has two sets of vectors,
For convenience, we denote \({S}_{1}=\{{\mu }_{i}|i=1,2,\cdots \},{S}_{2}=\{{\nu }_{i}|i=1,2,\cdots \}\), i.e., μ 1 = T 1, μ 2 = T 12 T 2, \({\mu }_{3}={T}_{12}{T}_{12}^{t}{T}_{1}\) and so on. The vectors μ i (v i ) are transformed into O 1 μ i (O 2 v i ) under local unitary transformations. Otherwise, local unitary transformation can transform μ i × μ j to O 1(μ i × μ j ) and v i × v j to O 2(v i × v j ). Hence it is direct to verify that the inner products 〈μ i , μ j 〉, 〈v i , v j 〉, \(i,j=1,2,\cdots \), and \(({\mu }_{i},{\mu }_{j},{\mu }_{k})\equiv \langle {\mu }_{i},{\mu }_{j}\times {\mu }_{k}\rangle ,({\nu }_{i},{\nu }_{j},{\nu }_{k})\equiv \) \(\langle {\nu }_{i},{\nu }_{j}\times {\nu }_{k}\rangle ,i,j,k=1,2,\cdots \), are invariants under local unitary transformations. Moreover, from the transformation \({T}_{12}\to {O}_{1}{T}_{12}{O}_{2}^{t}\), we have that \({\rm{tr}}{({T}_{12}{T}_{12}^{t})}^{\alpha }\), \(\alpha =1,2,\cdots ,\) and det T 12 are also LU invariants.
For a set of 3-dimensional real vectors \(S=\{{\mu }_{i}|i=1,2,\cdots \}\), we denote dim〈S〉 the dimension of the real linear space spanned by {μ i }, i.e., the number of linearly independent vectors of {μ i }. As the vectors in S 1 and S 2 are three-dimensional, there are at most 3 linearly independent vectors in each vector sets S 1 and S 2.
First note that, given two sets of 3-dimensional real vectors \(S=\{{\mu }_{i}|i=1,2,\cdots \}\) and \(\hat{S}=\{{\hat{\mu }}_{i}|i=1,2,\cdots \}\), if the inner products \(\langle {\mu }_{i},{\mu }_{j}\rangle =\langle {\hat{\mu }}_{i},{\hat{\mu }}_{j}\rangle \), then the following conclusions are true: (i) \({\rm{\dim }}\langle S\rangle ={\rm{\dim }}\langle \hat{S}\rangle \); (ii) The corresponding subsets of S and \(\hat{S}\) have the same linear relations; (iii) There exist O ∈ O(3) such that \({\hat{\mu }}_{i}=O{\mu }_{i}\). Furthermore, using \(({\mu }_{i},{\mu }_{j},{\mu }_{k})=({\hat{\mu }}_{i},{\hat{\mu }}_{j},{\hat{\mu }}_{k})\), we can get that O ∈ SO(3). If dim〈S〉 = 3, then O is unique. For dim〈S〉 < 3, \(({\mu }_{i},{\mu }_{j},{\mu }_{k})=({\hat{\mu }}_{i},{\hat{\mu }}_{j},{\hat{\mu }}_{k})=0\), and there is at least one O ∈ SO(3) such that \({\hat{\mu }}_{i}=O{\mu }_{i}\).
Next we clarify the independent invariants in S 1 and S 2. From the definition of μ i , v i , we have
where \({a}_{ij}=(i+j-\mathrm{2)}/2,{b}_{ij}=(i+j-\mathrm{3)}/2\). From Hamilton-Cayley theorem, when \({a}_{ij},{b}_{ij}\ge 3\), the invariants 〈μ i , μ j 〉 and 〈v i , v j 〉 can be linearly represented by 〈μ p , μ q 〉, 〈v p , v q 〉, \({a}_{pq},{b}_{pq} < 3\). Therefore there are only 9 linearly independent invariants: 〈μ i , μ j 〉, 〈v i , v i 〉, i = 1, 2, 3, and 〈μ 1, μ j 〉, j = 2, 4, 6. We denote them as \(L=\) \(\{\langle {\mu }_{i},{\mu }_{i}\rangle ,\langle {\nu }_{i},{\nu }_{i}\rangle ,\langle {\mu }_{1},{\mu }_{j}\rangle |i=1,2,3,j=2,4,6\}.\)
For 2-qubit states ρ and \(\hat{\rho }\), if \({\rm{\dim }}\langle {S}_{1}\rangle ={\rm{\dim }}\langle {\hat{S}}_{1}\rangle =3\), we need one more invariant \(({\mu }_{{r}_{0}},{\mu }_{{s}_{0}},{\mu }_{{t}_{0}})\) to guarantee that there is an O 1 ∈ SO(3) such that \({O}_{1}{\mu }_{i}={\hat{\mu }}_{i}\), for any i. Here \({\mu }_{{r}_{0}},{\mu }_{{s}_{0}}\,{\rm{and}}\,{\mu }_{{t}_{0}}\) are arbitrary three linear independent vectors in S 1. If \({\rm{\dim }}\langle {S}_{1}\rangle ={\rm{\dim }}\langle {\hat{S}}_{1}\rangle < 3\), then the invariants in L are enough to guarantee the existence of O 1. Similar conclusions are true for S 2 and \({\hat{S}}_{2}\).
Let \({\mu }_{{r}_{0}},{\mu }_{{s}_{0}}\,{\rm{and}}\,{\mu }_{{t}_{0}}({\nu }_{{r}_{0}},{\nu }_{{s}_{0}}\,{\rm{and}}\,{\nu }_{{t}_{0}})\) denote arbitrary three linear independent vectors in S 1 (S 2) if dim〈S 1〉 = 3 (dim〈S 2〉 = 3). For the case that at least one of dim〈S 1〉 and dim〈S 2〉 is 3, we have
Theorem 1 Two 2-qubit states are LU equivalent if and only if they have same values of the invariants in L, the invariant \(({\mu }_{{r}_{0}},{\mu }_{{s}_{0}},{\mu }_{{t}_{0}})\,{\rm{and}}/{\rm{or}}\,({\nu }_{{r}_{0}},{\nu }_{{s}_{0}},{\nu }_{{t}_{0}})\) if dim〈S 1〉 = 3 and/or dim〈S 2〉 = 3.
See Methods for the proof of Theorem 1.
For the case both dim〈S 1〉 < 3 and dim〈S 2〉 < 3, we also have \({O}_{2}{T}_{12}^{t}{\mu }_{i}={\hat{T}}_{12}^{t}{O}_{1}{\mu }_{i}\) for some O i ∈ SO(3). But this does not necessarily give rise to \({\hat{T}}_{12}={O}_{1}{T}_{12}{O}_{2}^{t}\). In order to discuss these cases, we need the following result.
Lemma 1 For two-qubit states ρ and \(\hat{\rho }\), if \({\rm{tr}}{({T}_{12}{T}_{12}^{t})}^{\alpha }={\rm{tr}}{({\hat{T}}_{12}{\hat{T}}_{12}^{t})}^{\alpha }\), α = 1, 2 and \({\rm{\det }}{T}_{12}={\rm{\det }}{\hat{T}}_{12}\). then \({\hat{T}}_{12}\,=\,\) \({O}_{1}{T}_{12}{O}_{2}^{t}\) for some \({O}_{1},{O}_{2}\in SO\mathrm{(3)}\).
See Methods for the proof of Lemma 1.
For the completeness of the set of invariants, we also need an extra invariant \({\bf{I}}={\varepsilon }_{ijk}{\varepsilon }_{lmn}{T}_{1}^{i}{T}_{2}^{l}{T}_{12}^{jm}{T}_{12}^{kn}\), here ε ijk and ε lmn are Levi-Cevita symbol. Now we discuss the case of \({\rm{\dim }}\,{S}_{i}={\rm{\dim }}\,{\hat{S}}_{i} < 3\), i = 1, 2.
Theorem 2 Two 2-qubit states with \({\rm{\dim }}\,{S}_{i}={\rm{\dim }}\,{\hat{S}}_{i} < 3\), i = 1, 2 are local unitary equivalent if and only if they have the same values of the invariants in L, and the invariants \({\rm{tr}}{({T}_{12}{T}_{12}^{t})}^{\alpha }\), α = 1, 2, det T 12 and I.
See Methods for the proof of Theorem 2.
From Theorem 1 and 2 we see that for the case at least one of 〈S i 〉 has dimension three, we only need 11 or 10 invariants to determine the local unitary equivalence of two 2-qubit states: namely, 9 invariants from L, and \(({\mu }_{{r}_{0}},{\mu }_{{s}_{0}},{\mu }_{{t}_{0}})\,{\rm{and}}/{\rm{or}}\,({\nu }_{{r}_{0}},{\nu }_{{s}_{0}},{\nu }_{{t}_{0}})\). If both the dimensions of 〈S 1〉 and 〈S 2〉 are less than 3, then \(({\mu }_{{r}_{0}},{\mu }_{{s}_{0}},{\mu }_{{t}_{0}})\,=\) \(({\nu }_{{r}_{0}},{\nu }_{{s}_{0}},{\nu }_{{t}_{0}})=0\). To determine the LU equivalence, we need invariants from L, I, \({\rm{tr}}{({T}_{12}{T}_{12}^{t})}^{\alpha }\), α = 1, 2, and det T 12. Hence we need at most 13 independent invariants. In ref. 20, the authors considered only the generic case of dim〈S i 〉 = 3, i = 1 and 2, in which the important invariants \(({\mu }_{{r}_{0}},{\mu }_{{s}_{0}},{\mu }_{{t}_{0}})\,{\rm{and}}\,({\nu }_{{r}_{0}},{\nu }_{{s}_{0}},{\nu }_{{t}_{0}})\) are missed. By adding these missed invariants, we have remedied the error in ref. 20 and, moreover, generalized the method to the case of dim〈S i 〉 = 3 for i = 1 or 2.
As an example, let we consider the states ρ and \(\hat{\rho }\) with \({T}_{1}={\mathrm{(1},1,\mathrm{1)}}^{t}\,{\rm{and}}\,{\hat{T}}_{1}={\mathrm{(1},1,-\mathrm{1)}}^{t}\), respectively. \({T}_{2}={\hat{T}}_{2}\,{\rm{and}}\,{T}_{12}{T}_{12}^{t}={\hat{T}}_{12}{\hat{T}}_{12}^{t}\) are diagonal with different nonzero elements on diagonal line. Hence \({\rm{\dim }}\langle {S}_{1}\rangle ={\rm{\dim }}\langle {\hat{S}}_{1}\rangle =3\). In this case the invariants from ref. 20 have the same values for ρ and \(\hat{\rho }\). Nevertheless, taking \({\mu }_{{r}_{0}}={T}_{1},{\mu }_{{s}_{0}}={T}_{1}{T}_{12}{T}_{12}^{t}\,{\rm{and}}\,{\mu }_{{t}_{0}}={T}_{1}{({T}_{12}{T}_{12}^{t})}^{2}\), and correspondingly, \({\hat{\mu }}_{{r}_{0}}={\hat{T}}_{1},{\hat{\mu }}_{{s}_{0}}={\hat{T}}_{1}{\hat{T}}_{12}{\hat{T}}_{12}^{t},\,{\rm{and}}\,{\hat{\mu }}_{{t}_{0}}=\) \({\hat{T}}_{1}{({\hat{T}}_{12}{\hat{T}}_{12}^{t})}^{2}\), we find that the triple scalar invariant we added are different for ρ and \(\hat{\rho }\), \(({\mu }_{{r}_{0}},{\mu }_{{s}_{0}},{\mu }_{{t}_{0}})\,=\) \(-({\hat{\mu }}_{{r}_{0}},{\hat{\mu }}_{{s}_{0}},{\hat{\mu }}_{{t}_{0}})\ne 0\). Therefore, ρ and \(\hat{\rho }\) are not locally equivalent.
The expression of a complete set of LU invariants depends on the form of the invariants. Different constructions of LU invariants may give different numbers of the invariants in the complete set, and may have different advantages. Obviously the eigenvalues of a density matrix are LU invariants. Based on the eigenstate decompositions of density matrices, in ref. 12 complete set of LU invariants are presented for arbitrary dimensional bipartite states. Nevertheless, such kind of construction of invariants results in problems when the density matrices are degenerate, i.e. different eigenstates have the same eigenvalues. The 18 LU invariants constructed in ref. 10 are based on the Bloch representations of 2-qubit states and has no such problem as in ref. 12. However, these 18 invariants are complete but more than necessary in the sense that the number of independent invariants can be reduced by suitable constructions of the invariants. The LU invariants constructed in ref. 20 are also in terms of Bloch representations. Such constructed invariants work for both non-degenerate and degenerate states. Nevertheless, the invariants: I, \(({\mu }_{{r}_{0}},{\mu }_{{s}_{0}},{\mu }_{{t}_{0}}),({\nu }_{{r}_{0}},{\nu }_{{s}_{0}},{\nu }_{{t}_{0}})\,{\rm{and}}\,{\rm{\det }}\,{T}_{12}={\rm{\det }}\,{\hat{T}}_{12}\) make the corresponding theorems incorrect even for generic cases studied in ref. 20. By adding these invariants, our set of invariants work for arbitrary 2-qubit states. In fact, a set of complete LU invariants characterizes completely the LU orbits in the quantum state space. Generally such orbits are not manifolds, but varieties. For example, the set of pure states is a symplectic variety26. For general mixed states, the situation is much more complicated27. Our results would highlight the analysis on the structures of LU orbits.
Now we come to discuss the case of three-qubit system. A three-qubit state ρ can be written as:
One has the coefficient vectors T 1, T 2, T 3, coefficient matrices T 12, T 23, T 13 and coefficient tensor T 123. Now, ρ and \(\hat{\rho }\) are LU equivalent if and only if there are O i ∈ SO(3), i = 1, 2, 3, such that \({\hat{T}}_{i}={O}_{i}{T}_{i},{\hat{T}}_{ij}\,={O}_{i}\otimes \) \({O}_{j}{T}_{ij},{\hat{T}}_{123}={O}_{1}\otimes {O}_{2}\otimes {O}_{3}{T}_{123}\). For simplicity we denote \({t}_{ijk}\equiv {T}_{123}^{ijk}\) and
Also, we write \({{\mathscr{T}}}_{1}={T}_{\mathrm{1|23}}{T}_{\mathrm{1|23}}^{t},{{\mathscr{T}}}_{2}={T}_{\mathrm{2|13}}{T}_{\mathrm{2|13}}^{t},{{\mathscr{T}}}_{3}={T}_{\mathrm{3|12}}{T}_{\mathrm{3|12}}^{t}\) and \({{\mathscr{T}}}_{23}={T}_{\mathrm{1|23}}^{t}{T}_{\mathrm{1|23}},{{\mathscr{T}}}_{13}={T}_{\mathrm{2|13}}^{t}{T}_{\mathrm{2|13}},{{\mathscr{T}}}_{12}\,=\) \({T}_{\mathrm{3|12}}^{t}{T}_{\mathrm{3|12}}\). Similar to to the two-qubit case, one has three sets of vectors,
where r = 1, 2, 3 and ** represents all the suitable vectors constructed from \({T}_{ij},{T}_{i|jk},{{\mathscr{T}}}_{i}\,{\rm{and}}\,{T}_{i}\) such that the vectors in S i are transformed into O i S i under LU transformations. For instance, we have \({T}_{12}^{t}{S}_{1}\subset {S}_{2},\) \({T}_{13}^{t}{S}_{1}\subset {S}_{3},{T}_{\mathrm{1|23}}{S}_{2}\otimes {S}_{3}\subset {S}_{1}\) and so on, where for \({S}_{2}=\{{\nu }_{i}|i=1,2,\cdots \}\,{\rm{and}}\,{S}_{3}=\{{\omega }_{j}|j=1,2,\cdots \}\), we have denoted \({S}_{2}\otimes {S}_{3}=\{{\nu }_{i}\otimes {\omega }_{j}|i,j=1,2,\cdots \}\) etc. Because the vectors in \({S}_{i}\) are all 3-dimensional, we have \({\rm{\dim }}\langle {S}_{i}\rangle \le 3\). The inner products \(\langle {\mu }_{i},{\mu }_{j}\rangle ,\langle {\nu }_{i},{\nu }_{j}\rangle \,{\rm{and}}\,\langle {\omega }_{i},{\omega }_{j}\rangle ,i,j=1,2,\cdots \), are all invariants under LU transformations. Using the method in ref. 20, we now prove that these invariants together with the additional ones in theorem 3 are sufficient to guarantee the LU equivalence of certain kind of three-qubit states with at least two of dim〈S i 〉 = 3 for i = 1, 2, 3.
Theorem 3 Given two 3-qubit states ρ and \(\hat{\rho }\), if \(\langle {X}_{i},{X}_{j}\rangle =\langle {\hat{X}}_{i},{\hat{X}}_{j}\rangle ,({X}_{i},{X}_{j},{X}_{k})=({\hat{X}}_{i},{\hat{X}}_{j},{\hat{X}}_{k})\) for \(X=\mu ,\nu ,\) \(\omega \,and\,i,j,k=1,2,\cdots \), and \({\rm{\dim }}\langle {S}_{i}\rangle ={\rm{\dim }}\langle {\hat{S}}_{i}\rangle =3\) for at least two i ∈ 1, 2, 3, then ρ and \(\hat{\rho }\) are LU equivalent.
See Methods for the proof of Theorem 3.
If at most one of dim〈S i 〉 is 3, things become more complicated. Now we give a comparison with the results in ref. 11. For 3-qubit states ρ and \(\hat{\rho }\), if
then there are \({P}_{i},{\hat{P}}_{i}\in O\mathrm{(3)}\) such that
Denote
The results in ref. 11 concluded that ρ and \(\hat{\rho }\) are local unitary equivalent if and only if the invariants in Theorem 3, together with the invariants \({\rm{tr}}({{\mathscr{T}}}_{i}^{r}),r,i=1,2,3\) for the case of \({\rm{\det }}\,{{\rm{\Lambda }}}_{i}{{\rm{\Theta }}}_{i}\ne 0,i=1,2,3\). Obviously, if \({\rm{\det }}\,{{\rm{\Lambda }}}_{i}{{\rm{\Theta }}}_{i}\ne 0,{P}_{i}{T}_{i},{P}_{i}{{\mathscr{T}}}_{i}{T}_{i}\,{\rm{and}}\,{P}_{i}{{\mathscr{T}}}_{i}^{2}{T}_{i}\) are linear independent, so all dim〈S i 〉 = 3. But dim〈S i 〉 = 3 does not necessarily imply \({\rm{\det }}\,{{\rm{\Lambda }}}_{i}{{\rm{\Theta }}}_{i}\ne 0\). Here we only need that two of the dim〈S i 〉 are 3. So we give the sufficient conditions for local unitary equivalence of more states than the ones given in ref. 11.
Conclusion
We study the local unitary equivalence for two and three-qubit mixed states by investigating the invariants under local unitary transformations. We corrected the error in ref. 20 by adding some missed invariants, and prove that the determination of the local unitary equivalence of 2-qubits states only needs 14 or less invariants for arbitrary two-qubit states. Moreover, we prove that the invariants in ref. 20 plus some invariants from triple scalar products of certain vectors are complete for a kind of 3-qubit states. Comparing with the results in ref. 11, it has been shown that we judge the LU equivalence for a larger class of 3-qubit states.
Methods
Proof of Theorem 1 Suppose \({\rm{\dim }}\langle {S}_{1}\rangle ={\rm{\dim }}\langle {\hat{S}}_{1}\rangle =3\). From the construction of S 1 and S 2, we have that \({\nu }_{i+1}={T}_{12}^{t}{\mu }_{i},{\hat{\nu }}_{i+1}={\hat{T}}_{12}^{t}{\hat{\mu }}_{i},i=1,2,\cdots \). Then \({O}_{2}{T}_{12}^{t}{\mu }_{i}={O}_{2}{\nu }_{i+1}={\hat{\nu }}_{i+1}={\hat{T}}_{12}^{t}{\hat{\mu }}_{i}={\hat{T}}_{12}^{t}{O}_{1}{\mu }_{i},i=1,2,\cdots \). Since \({\mu }_{{r}_{0}},{\mu }_{{s}_{0}}\,{\rm{and}}\,{\mu }_{{t}_{0}}\) are linearly independent, \({\rm{\det }}({\mu }_{{r}_{0}}\,{\mu }_{{s}_{0}}\,{\mu }_{{t}_{0}})\ne 0\), where \(({\mu }_{{r}_{0}}\,{\mu }_{{s}_{0}}\,{\mu }_{{t}_{0}})\) denotes the 3 × 3 matrix given by the three column vectors \({\mu }_{{r}_{0}},{\mu }_{{s}_{0}}\,{\rm{and}}\,{\mu }_{{t}_{0}}\). From \({O}_{2}{T}_{12}^{t}({\mu }_{{r}_{0}}\,{\mu }_{{s}_{0}}\,{\mu }_{{t}_{0}})={\hat{T}}_{12}^{t}{O}_{1}({\mu }_{{r}_{0}}\,{\mu }_{{s}_{0}}\,{\mu }_{{t}_{0}})\), we get \({O}_{2}{T}_{12}^{t}={\hat{T}}_{12}^{t}{O}_{1}\). Then \({\hat{T}}_{12}={O}_{1}{T}_{12}{O}_{2}^{t}\). The same result can be obtained from \({\rm{\dim }}\langle {S}_{2}\rangle ={\rm{\dim }}\langle {\hat{S}}_{2}\rangle =3\).■
Proof of Lemma 1 From \({\rm{tr}}{({T}_{12}{T}_{12}^{t})}^{\alpha }={\rm{tr}}{({\hat{T}}_{12}{\hat{T}}_{12}^{t})}^{\alpha }\), α = 1, 2 and \({\rm{\det }}\,{T}_{12}={\rm{\det }}\,{\hat{T}}_{12}\), one has that T 12 and \({\hat{T}}_{12}\) have the same singular values. According to the singular value decomposition, there are \({P}_{i},{\hat{P}}_{i}\in O\mathrm{(3)}\), i = 1, 2, such that \({P}_{1}{T}_{12}{P}_{2}^{t}={\hat{P}}_{1}{\hat{T}}_{12}{\hat{P}}_{2}^{t}=diag({t}_{1},{t}_{2},{t}_{3})\), where t 1, t 2 and t 3 are the singular values. Set \({O}_{1}={\hat{P}}_{1}^{t}{P}_{1},{O}_{2}={\hat{P}}_{2}^{t}{P}_{2}\in O\mathrm{(3)}\), we have \({\hat{T}}_{12}={O}_{1}{T}_{12}{O}_{2}^{t}\). From \({\rm{\det }}\,{T}_{12}={\rm{\det }}\,{\hat{T}}_{12}\), we have that \({\rm{\det }}\,{O}_{1}={\rm{\det }}\,{O}_{2}=\pm 1\). If \({\rm{\det }}\,{O}_{1}={\rm{\det }}\,{O}_{2}=-1\), we may change P i to −P i to have \({O}_{i}\in SO\mathrm{(3)}\).■
Proof of Theorem 2 We only need to prove the “only if” part, i.e., to find \({O}_{1},{O}_{2}\in SO\mathrm{(3)}\) such that \({\hat{T}}_{12}={O}_{1}{T}_{12}{O}_{2}^{t},{\hat{T}}_{1}={O}_{1}{T}_{1}\), and \({\hat{T}}_{2}={O}_{2}{T}_{2}\) for two 2-qubit states ρ and \(\hat{\rho }\). From Lemma 1, we have \({P}_{i},{\hat{P}}_{i}\in O\mathrm{(3)}\), such that \({\hat{P}}_{i}^{t}{P}_{i}\in SO\mathrm{(3)}\) and
Hence
Let \(D={\rm{diag}}({t}_{1},{t}_{2},{t}_{3})\), then \({P}_{1}{S}_{1}=\{{P}_{1}{T}_{1},D{P}_{2}{T}_{2},{D}^{2}{P}_{1}{T}_{1},{D}^{3}{P}_{2}{T}_{2},{D}^{4}{P}_{1}{T}_{1},\cdots \}\), \({P}_{2}{S}_{2}=\{{P}_{2}{T}_{2},D{P}_{1}{T}_{1},{D}^{2}{P}_{2}{T}_{2},\) \({D}^{3}{P}_{1}{T}_{1},{D}^{4}{P}_{2}{T}_{2},\cdots \}\), we have \(\langle {P}_{1}{\mu }_{i},{P}_{1}{\mu }_{j}\rangle =\langle {\mu }_{i},{\mu }_{j}\rangle =\langle {\hat{\mu }}_{i},{\hat{\mu }}_{j}\rangle =\langle {\hat{P}}_{1}{\hat{\mu }}_{i},{\hat{P}}_{1}{\hat{\mu }}_{j}\rangle \), and \(\langle {P}_{2}{\nu }_{i},{P}_{2}{\nu }_{j}\rangle =\langle {\hat{P}}_{2}{\hat{\nu }}_{i},{\hat{P}}_{2}{\hat{\nu }}_{j}\rangle \). Denote \({P}_{1}{T}_{1}={(\begin{array}{ccc}{a}_{1} & {b}_{1} & {c}_{1}\end{array})}^{t},{P}_{2}{T}_{2}={(\begin{array}{ccc}{a}_{2} & {b}_{2} & {c}_{2}\end{array})}^{t}\). By using \(\langle {P}_{1}{\mu }_{1},{P}_{1}{\mu }_{j}\rangle =\langle {\hat{P}}_{1}{\hat{\mu }}_{1},{\hat{P}}_{1}{\hat{\mu }}_{j}\rangle ,j=1,3,5\), i.e. \(\langle {P}_{1}{T}_{1},{D}^{r}{P}_{1}{T}_{1}\rangle =\langle {\hat{P}}_{1}{\hat{T}}_{1},\) \({D}^{r}{\hat{P}}_{1}{\hat{T}}_{1}\rangle ,r=0,2,4\), we get
Similarly, using \(\langle {P}_{2}{\nu }_{1},{P}_{2}{\nu }_{j}\rangle =\langle {\hat{P}}_{2}{\hat{\nu }}_{1},{\hat{P}}_{2}{\hat{\nu }}_{j}\rangle ,j=1,3,5\), and \(\langle {P}_{1}{\mu }_{1},{P}_{1}{\mu }_{j}\rangle =\langle {\hat{P}}_{1}{\hat{\mu }}_{1},{\hat{P}}_{1}{\hat{\mu }}_{j}\rangle ,j=2,\mathrm{4,6}\), we obtain
1. If \({t}_{1},{t}_{2},{t}_{3}\) are all not equal, from (6) and (7) we can conclude that \({\alpha }_{i}=\pm {\hat{\alpha }}_{i}\) for \(\alpha =a,b,c\) and \(i=1,2\).
-
(i)
If \({t}_{i}\ne 0\), \(i=1,2,3\), from (8) we get \({\alpha }_{1}{\alpha }_{2}={\hat{\alpha }}_{1}{\hat{\alpha }}_{2}\) for \(\alpha =a,b,c\). Now if \({\alpha }_{1}{\alpha }_{2}\ne 0\), then we have \({\alpha }_{1}={\hat{\alpha }}_{1}\iff {\alpha }_{2}={\hat{\alpha }}_{2}\). If \({\alpha }_{1}{\alpha }_{2}=0\), suppose \({\alpha }_{1}=0\), then we have \({\hat{\alpha }}_{1}=0\). If \({\alpha }_{2}={\hat{\alpha }}_{2}\), we also can write \({\alpha }_{1}={\hat{\alpha }}_{1}\). Let \(R={\rm{diag}}\{{e}_{1},{e}_{2},{e}_{3}\}\), where e i take values +1 or −1, such that \(R{P}_{1}{T}_{1}={\hat{P}}_{1}{\hat{T}}_{1}\). Then one must have \(R{P}_{2}{T}_{2}={\hat{P}}_{2}{\hat{T}}_{2}\). Note that the equality (5) is also true if one replaces P i by RP i . Let \({O}_{1}={\hat{P}}_{1}^{t}R{P}_{1},{O}_{2}={\hat{P}}_{2}^{t}R{P}_{2}\). We have \({\hat{T}}_{i}={O}_{i}{T}_{i}\) for \(i=\mathrm{1,2}\), and \({\hat{T}}_{12}={O}_{1}{T}_{12}{O}_{2}^{t}\). To assure that O i be special, we have det R = 1. Firstly, from \({\rm{\dim }}\langle {P}_{i}{S}_{i}\rangle ={\rm{\dim }}\langle {S}_{i}\rangle < 3\), we have that \({P}_{i}{T}_{i},{D}^{2}{P}_{i}{T}_{i},{D}^{4}{P}_{i}{T}_{i}\) are linearly dependent. Then there is at least one \({\alpha }_{i}^{0}\in \{{a}_{i},{b}_{i},{c}_{i}\}\) that is zero. Hence if P 1 T 1 and D 2 P 1 T 1 are linearly independent, we have that DP 2 T 2 can be linearly represented by P 1 T 1 and D 2 P 1 T 2. Using \({t}_{1}{t}_{2}{t}_{3}\ne 0\) and supposing a 1 = 0, we get that a 2 is also zero. Now e 1 in R can be chosen to be 1 or −1 freely. We can choose e 1 to assure that det R = 1. Similarly, for the case that P 2 T 2 and DP 2 T 2 are linear independent, we can also find R which has determinate one. Lastly, if P i T i and D 2 P i T i are linear dependent, then there are at least two members are zero in \(\{{a}_{i},{b}_{i},{c}_{i}\}\), i = 1, 2. Therefore, there is an \(\alpha \in \{a,b,c\}\) satisfying α 1 = α 2 = 0, such that det R = 1.
-
(ii)
If there exists a t i = 0, say, t 3 = 0, then we have \({\alpha }_{1}{\alpha }_{2}={\hat{\alpha }}_{1}{\hat{\alpha }}_{2}\) for α = a, b from (8). And the invariant I can assure that \({c}_{1}{c}_{2}={\hat{c}}_{1}{\hat{c}}_{2}\). From the discussion above, we have the conclusion.
2. If there are two different values of \({t}_{1},{t}_{2},{t}_{3}\), suppose \({t}_{1}={t}_{2}\ne {t}_{3}\). Then from (6) and (7), we can get \({a}_{i}^{2}+{b}_{i}^{2}={\hat{a}}_{i}^{2}+{\hat{b}}_{i}^{2},{c}_{i}=\pm {\hat{c}}_{i}\,{\rm{for}}\,i=1,2\).
-
(i)
If \({t}_{i}\ne 0,i=\mathrm{1,2,3}\), from (8) we get \({a}_{1}{a}_{2}+{b}_{1}{b}_{2}={\hat{a}}_{1}{\hat{a}}_{2}+{\hat{b}}_{1}{\hat{b}}_{2},{c}_{1}{c}_{2}={\hat{c}}_{1}{\hat{c}}_{2}\). Then there exists a matrix \(M\in O\mathrm{(2)}\) such that \(M(\begin{array}{c}{a}_{i}\\ {b}_{i}\end{array})=(\begin{array}{c}{\hat{a}}_{i}\\ {\hat{b}}_{i}\end{array})\), i = 1, 2. And there is an e = 1 or −1 such that \(e{c}_{i}={\hat{c}}_{i}\) for i = 1, 2. Therefore letting \(R=(\begin{array}{cc}M & \\ & e\end{array})\), one has \(RP{T}_{1}=\hat{P}{\hat{T}}_{1}\) and \(RQ{T}_{2}=\hat{Q}{\hat{T}}_{2}\) again. For the speciality of R, from the dimension of 〈S i 〉, we have \({\rm{\det }}(\begin{array}{cc}{a}_{1} & {a}_{2}\\ {b}_{1} & {b}_{2}\end{array})=0\,{\rm{or}}\,{c}_{1}={c}_{2}=0\). Hence, we can choose suitable M or e to make sure that R is special.
-
(ii)
If \({t}_{1}={t}_{2}=0\), we only have \({c}_{1}{c}_{2}={\hat{c}}_{1}{\hat{c}}_{2}\). We can get \({M}_{i}\in O\mathrm{(2)}\) such that \({M}_{i}(\begin{array}{c}{a}_{i}\\ {b}_{i}\end{array})=(\begin{array}{c}{\hat{a}}_{i}\\ {\hat{b}}_{i}\end{array})\), i = 1, 2, and \({R}_{i}=(\begin{array}{cc}{M}_{i} & \\ & e\end{array})\) to get the result similarly. We can choose suitable \({M}_{i}\) for the speciality of R i .
-
(iii)
If t 3 = 0, then one has R 1, R 2 with the same M but different e to prove the theorem. The speciality for R i is similar to the case of \({t}_{i}\ne 0\).
3. If \({t}_{1}={t}_{2}={t}_{3}\ne 0\), from (6), (7) and (8), we get \({a}_{i}^{2}+{b}_{i}^{2}+{c}_{i}^{2}={\hat{a}}_{i}^{2}+{\hat{b}}_{i}^{2}+{\hat{c}}_{i}^{2}\) for i = 1, 2, and \({a}_{1}{a}_{2}+{b}_{1}{b}_{2}+{c}_{1}{c}_{2}={\hat{a}}_{1}{\hat{a}}_{2}+{\hat{b}}_{1}{\hat{b}}_{2}+{\hat{c}}_{1}{\hat{c}}_{2}\). Then we have \(R\in SO\mathrm{(3)}\) such that \(R{P}_{1}{T}_{1}={\hat{P}}_{1}{\hat{T}}_{1}\) and \(R{P}_{2}{T}_{2}={\hat{Q}}_{2}{\hat{T}}_{2}\). Replacing P i by RP i in (5) we get the result.
4. If \({t}_{1}={t}_{2}={t}_{3}=0\), we have \({a}_{i}^{2}+{b}_{i}^{2}+{c}_{i}^{2}={\hat{a}}_{i}^{2}+{\hat{b}}_{i}^{2}+{\hat{c}}_{i}^{2}\) for i = 1, 2. Therefore one has \(R\in SO\mathrm{(3)}\) such that \(R{P}_{i}{T}_{i}={\hat{P}}_{i}{\hat{T}}_{i}\), i = 1, 2. Replacing P i by RP i in (5) one gets the result.■
Proof of Theorem 3 For 3-qubit states ρ and \(\hat{\rho }\), they are LU equivalent if and only if there are \({O}_{i}\in SO\mathrm{(3)}\), i = 1, 2, 3, such that \({\hat{T}}_{i}={O}_{i}{T}_{i},{\hat{T}}_{ij}={O}_{i}{T}_{ij}{O}_{j}^{t}\) and \({\hat{T}}_{123}={O}_{1}\otimes {O}_{2}\otimes {O}_{3}{T}_{123}\). Suppose \({\rm{\dim }}\langle {S}_{i}\rangle ={\rm{\dim }}\langle {\hat{S}}_{i}\rangle =3\), for i = 1, 2. By using the given invariants, we have \({O}_{i}\in SO\mathrm{(3)}\) such that \({\hat{\mu }}_{i}={O}_{1}{\mu }_{i},{\hat{\nu }}_{i}={O}_{2}{\nu }_{i}\,{\rm{and}}\,{\hat{\omega }}_{i}={O}_{3}{\omega }_{i}\,{\rm{for}}\,i=1,2,\cdots \), as well as, \({\hat{T}}_{12}^{t}{\hat{\mu }}_{i}={O}_{2}{T}_{12}^{t}{\mu }_{i},{\hat{T}}_{13}^{t}{\hat{\mu }}_{i}={O}_{3}{T}_{13}^{t}{\mu }_{i},{\hat{T}}_{23}^{t}{\hat{\nu }}_{i}={O}_{3}{T}_{23}^{t}{\nu }_{i}\,{\rm{and}}\,{\hat{T}}_{\mathrm{3|12}}{\hat{\mu }}_{i}\otimes {\hat{\nu }}_{j}={O}_{3}{T}_{\mathrm{3|12}}{\mu }_{i}\otimes {\nu }_{j}\) for \(i,j=1,2,\cdots \). Suppose \({\mu }_{{i}_{1}},{\mu }_{{i}_{2}}\,{\rm{and}}\,{\mu }_{{i}_{3}}\) are linear independent. Then \({O}_{2}{T}_{12}^{t}({\mu }_{{i}_{1}}\,{\mu }_{{i}_{2}}\,{\mu }_{{i}_{3}})={\hat{T}}_{12}^{t}({\hat{\mu }}_{{i}_{1}}\,{\hat{\mu }}_{{i}_{2}}\,{\hat{\mu }}_{{i}_{3}})={\hat{T}}_{12}^{t}{O}_{1}({\mu }_{{i}_{1}}\,{\mu }_{{i}_{2}}\,{\mu }_{{i}_{3}})\). Hence we get \({O}_{2}{T}_{12}^{t}={\hat{T}}_{12}^{t}{O}_{1}\), i.e. \({\hat{T}}_{12}={O}_{1}{T}_{12}{O}_{2}^{t}\). Similarly, we have \({\hat{T}}_{13}={O}_{1}{T}_{13}{O}_{2}^{t}\), \({\hat{T}}_{23}={O}_{2}{T}_{23}{O}_{3}^{t}\). From \({\hat{T}}_{\mathrm{3|12}}{\hat{\mu }}_{i}\otimes {\hat{\nu }}_{j}={O}_{3}{T}_{\mathrm{3|12}}{\mu }_{i}\otimes {\nu }_{j}\), \(i,j=1,2,\cdots \), we have
where \({\nu }_{{j}_{1}},{\nu }_{{j}_{2}},{\nu }_{{j}_{3}}\) are linear independent vectors in \({S}_{2}\). Using the linear independence of \({\mu }_{{i}_{1}},{\mu }_{{i}_{2}},{\mu }_{{i}_{3}}\) and \({\nu }_{{j}_{1}},{\nu }_{{j}_{2}},{\nu }_{{j}_{3}}\), we get \({\hat{T}}_{\mathrm{3|12}}{O}_{1}\otimes {O}_{2}={O}_{3}{T}_{\mathrm{3|12}}\,{\rm{or}}\,{\hat{T}}_{\mathrm{3|12}}={O}_{3}{T}_{\mathrm{3|12}}{O}_{1}^{t}\otimes {O}_{2}^{t}\) which is equivalent to \({\hat{T}}_{123}=\) \({O}_{1}\otimes {O}_{2}\otimes {O}_{3}{T}_{123}\).■
References
Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information. Cambridge University Press, Cambridge, England(2000).
Bennett, C. H., DiVincenzo, D. P., Smolin, J. A. & Wootters, W. K. Mixed-state entanglement and quantum error correction. Phys. Rev. A 54, 3824 (1996); Bennett, C. H., Bernstein, H. J., Popescu, S. & Schumacher, B. Concentrating Partial Entanglement by Local Operations. ibid. 53, 2046 (1996); Vedral, V., Plenio, M. B., Rippin, M. A. & Knight, P. L. Quantifying Entanglement. Phys. Rev. Lett. 78, 2275 (1997).
Wootters, W. K. Entanglement of Formation of an Arbitrary State of Two Qubits. Phys. Rev. Lett. 80, 2245 (1998).
Horodecki, R., Horodecki, P. & Horodecki, M. Violating Bell inequality by mixed spin-1/2 states: necessary and sufficient condition. Phys. Lett. A 200, 340 (1995).
Werner, R. F. & Wolf, M. M. All-multipartite Bell-correlation inequalities for two dichotomic observables per site. Phys. Rev. A 64, 032112 (2001).
Żukowski, M. & Brukner, Č. Bells Theorem for General N –Qubit States. Phys. Rev. Lett. 88, 210401 (2002).
Li, M. & Fei, S. M. Bell inequalities for multipartite qubit quantum systems and their maximal violation. Phys. Rev. A 86, 052119 (2012).
Horodecki, M., Horodecki, P. & Horodecki, R. General teleportation channel, singlet fraction, and quasidistillation. Phys. Rev. A 60, 1888 (1999).
Albeverio, S., Fei, S. M. & Yang, W. L. Optimal teleportation based on bell measurements. Phys. Rev. A 66, 012301 (2002).
Makhlin, Y. Nonlocal Properties of Two-Qubit Gates and Mixed States, and the Optimization of Quantum Computations. Quant. Info. Proc. 1, 243 (2002).
Linden, N., Popescu, S. & Sudbery, A. Nonlocal Parameters for Multiparticle Density Matrices. Phys. Rev. Lett. 83, 243 (1999); Sun, B. Z., Fei, S. M., Li-Jost, X. Q. & Wang, Z. X. A Note on Equivalence of Bipartite States under Local Unitary Transformations. J. Phys. A 39, L43-L47 (2006).
Zhou, C. Q., Zhang, T. G., Fei, S. M., Jing, N. H. & Li-Jost, X. Q. Local unitary equivalence of arbitrary dimensional bipartite quantum states. Phys. Rev. A 86, 010303(R) (2012).
Zhang, T. G., Zhao, M. J., Li, M., Fei, S. M. & Li-Jost, X. Q. Criterion of local unitary equivalence for multipartite states. Phys. Rev. A 88, 042304 (2013).
Liu, B., Li, J. L., Li, X. & Qiao, C. F. Local Unitary Classification of Arbitrary Dimensional Multipartite Pure States. Phys. Rev. Lett. 108, 050501 (2012).
Li, M., Zhang, T. G., Fei, S. M., Li-Jost, X. Q. & Jing, N. H. Local unitary equivalence of multiqubit mixed quantum states. Phys. Rev. A 89, 062325 (2014).
Martins, A. M. Necessary and sufficient conditions for local unitary equivalence of multiqubit states. Phys. Rev. A 91, 042308 (2015).
Li, J. L. & Qiao, C. F. Classification of arbitrary multipartite entangled states under local unitary equivalence. J. Phys. A 46, 075301 (2013).
Jing, N. H., Li, M., Li-Jost, X. Q., Zhang, T. G. & Fei, S. M. SLOCC invariants for multipartite mixed states. J. Phys. A 47, 215303 (2014).
Specht, W. Zur Theorie der Matrizen II, Jahresbericht Deutsch Math. Verein. Jber. Deutsch Math. Verein. 50, 19 (1940).
Jing, N. H., Fei, S. M., Li, M., Li-Jost, X. Q. & Zhang, T. G. Local unitary invariants of generic multiqubit states. Phys. Rev. A 92, 022306 (2015).
Albeverio, S., Fei, S. M., Parashar, P. & Yang, W. L. Nonlocal properties and local invariants for bipartite systems. Phys. Rev. A 68, 010303 (2003).
Albeverio, S., Fei, S. M. & Goswami, D. Local Invariants for a Class of Mixed States. Phys. Lett. A 340, 37 (2005).
Albeverio, S., Cattaneo, L., Fei, S. M. & Wang, X. H. Equivalence of Tripartite Quantum States under Local Unitary Transformations. Int. J. Quant. Inform. 3, 603 (2005).
Kraus, B. Local Unitary Equivalence of Multipartite Pure States. Phys. Rev. Lett. 104, 020504 (2010).
Kraus, B. Local unitary equivalence and entanglement of multipartite pure states. Physical Review A 82(3) (2010).
Maciążek, T., Oszmaniec, M. & Sawicki, A. How many invariant polynomials are needed to decide local unitary equivalence of qubit states? J. Math. Phys. 54, 092201 (2013); Sawicki, A. & Kuś, M. Geometry of the local equivalence of states. J. Phys. A: Math. Theor. 44, 495301 (2011).
King, R. C., Welsh, T. A. & Jarvis, P. D. The mixed two-qubit system and the structure of its ring of local invariants. J. Phys. A. 40, 10083 (2007).
Acknowledgements
We would like to thank the referee for pointing out a serious mistake in the initial draft of the paper. This work is supported by NSFC (Grant No. 11401339, 11675113), NSF of Shandong (No. ZR2014AQ027).
Author information
Authors and Affiliations
Contributions
B.-Z.S., S.-M.F. and Z.-X.W. wrote the main manuscript text. All of the authors reviewed the manuscript.
Corresponding author
Ethics declarations
Competing Interests
The authors declare that they have no competing interests.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as 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. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sun, BZ., Fei, SM. & Wang, ZX. On Local Unitary Equivalence of Two and Three-qubit States. Sci Rep 7, 4869 (2017). https://doi.org/10.1038/s41598-017-04717-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-017-04717-2
This article is cited by
-
The face lattice of the set of reduced density matrices and its coatoms
Information Geometry (2023)
-
Criteria for SLOCC and LU Equivalence of Generic Multi-qudit States
International Journal of Theoretical Physics (2022)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.