Abstract
In this paper the geometry of two- and three-qubit states under local unitary groups is discussed. We first review the one-qubit geometry and its relation with Riemannian sphere under the action of group SU(2). We show that the quaternionic stereographic projection intertwines between local unitary group \(SU(2)\otimes SU(2)\) and quaternionic Möbius transformation. The invariant term appearing in this operation is related to concurrence measure. Yet, there exists the same intertwining stereographic projection for much more global group Sp(2), generalizing the familiar Bloch sphere in two-level systems. Subsequently, we introduce octonionic stereographic projection and octonionic conformal map (or octonionic Möbius maps) for three-qubit states and find evidence that they may have invariant terms under local unitary operations which shows that both maps are entanglement sensitive.
Similar content being viewed by others
References
Varadarajan, V.S.: Geometry of Quantum Theory. University of California, Los Angeles (2000)
Życzkowski, K.: Geometry of Quantum States: An Introduction to Quantum Entanglement. Cambridge University Press, New York (2006)
Chruscinski, D., Kossakowski, A.: Geometry of quantum states: new construction of positive maps. Phys. Lett. A 373, 2301–2305 (2009)
Schirmer, S.G., Zhang, T., Leahy, J.V.: Orbits of quantum states and geometry of Bloch vectors for N-level systems. J. Phys. A Math. Gen. 37, 1389–1402 (2004)
Lévay, P.: The geometry of entanglement: metrics, connections and the geometric phase. J. Phys. A Math. Gen. 37, 1821–1841 (2004)
Lévay, P.: On the geometry of four-qubit invariants. J. Phys. A Math. Gen. 39, 9533–9545 (2006)
Lévay, P.: Geometry of three-qubit entanglement. Phys. Rev. A 71, 012334 (2005)
Życzkowski, K., Horodecki, P., Sanpera, A., Lewenstein, M.: Volume of the set of separable states. Phys. Rev. A 58, 883 (1998)
Mäkelä, H., Messina, A.: N-qubit states as points on the Bloch sphere. Phys. Scr. T140, 014054 (2010)
Życzkowski, K., Horodecki, P., Sanpera, A., Lewenstein, M.: Volume of the set of separable states. Phys. Rev. A 58, 833 (1998)
Kimura, G., Kossakowski, A.: The Bloch-vector space for n-level systems: the spherical-coordinate point of view. Open Syst. Inf. Dyn. 12, 207–229 (2005)
Kimura, G.: The Bloch vector for N-level systems. Phys. Lett. A 314, 339–349 (2003)
Mosseri, R., Dandoloff, R.: Geometry of entangled states, Bloch spheres and Hopf fibrations. J. Phys. A Math. Gen. 34, 10243–10252 (2001)
Bernevig, B.A., Chen, H.D.: Geometry of the three-qubit state, entanglement and division algebras. J. Phys. A Math. Gen. 36, 8325 (2003)
Najarbashi, G., Ahadpour, S., Fasihi, M.A., Tavakoli, Y.: Geometry of a two-qubit state and intertwining quaternionic conformal mapping under local unitary transformations. J. Phys. A Math. Theor. 40, 6481–6489 (2007)
Lee, J.W., Kim, C.H., Lee, E.K., Kim, J., Lee, S.: Qubit geometry and conformal mapping. Quantum Inf. Process. 1, 129–134 (2002)
De Leo, S., Ducati, G.C.: Quaternionic groups in physics. Int. J. Theor. Phys. 38, 2197–2220 (1999)
Aslaksen, H.: Quaternionic determinants. Math. Intell. 18, 57–65 (1996)
Harvey, F.R.: Spinors and Calibrations. Academic Press, New York (1990)
Adler, S.L.: Quaternionic Quantum Mechanics and Quantum Fields. Oxford University Press, New York (1995)
Francesco, P.D., Mathieu, P., Śenéchal, D.: Conformal Field Theory. Springer, Berlin (1996)
Fernandez, J.M., Schneeberger, W.A.: Quaternionic computing. Preprint. quant-ph/0307017 (2003)
De Leo, S., Scolarici, G.: Right eigenvalue equation in quaternionic quantum mechanics. J. Phys. A Math. Gen. 33, 2971 (2000)
Einstein, A., Podolsky, B., Rosen, N.: Can quantum-mechanical description of physical reality be considered complete? Phys. Rev. 47, 777 (1935)
Peres, A.: Separability criterion for density matrices. Phys. Rev. Lett. 77, 1413 (1996)
Horodecki, M., Horodecki, P., Horodecki, R.: Separability of mixed states: necessary and sufficient conditions. Phys. Lett. A 223, 1–8 (1996)
Horodecki, P.: Separability criterion and inseparable mixed states with positive partial transposition. Phys. Lett. A 232, 333–339 (1997)
Horodecki, R., Horodecki, P., Horodecki, M.: Violating Bell inequality by mixed spin-1/2 states: necessary and sufficient condition. Phys. Lett. A 200, 340–344 (1995)
Horodecki, R., Horodecki, P., Horodecki, M.: Quantum \(\alpha \)-entropy inequalities: independent condition for local realism? Phys. Lett. A 210, 377–381 (1996)
Heydari, H.: The geometry and topology of entanglement: conifold, segre variety, and hopf fibration. Quantum Inf. Comput. 6, 400–409 (2006)
Heydari, H.: General pure multipartite entangled states and the Segre variety. J. Phys. A Math. Gen. 39, 9839 (2006)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Wootters, W.K.: Entanglement of formation of an arbitrary state of two qubits. Phys. Rev. Lett. 80, 2245–2248 (1998)
Akhtarshenas, S.J.: Concurrence vectors in arbitrary multipartite quantum systems. J. Phys. A Math. Gen. 38, 6777–6784 (2005)
Acknowledgments
The authors also acknowledge the support from the Mohaghegh Ardabili University.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix 1: Quaternion and octonion
The quaternion skew-field \({\mathbb {Q}}\) is an associative algebra of rank 4 on real number \({\mathbb {R}}\) whose every element can be written as
where \(e_{0}=1\) and \(e_{1},e_{2},e_{3}\) satisfy
It can also be defined equivalently, using the complex numbers \(z_{1}=x_{0}+x_{1}e_{1}\) and \(z_{2}=x_{2}+x_{3}e_{1} \) in the form \(q=z_{1}+z_{2}e_{2} \) endowed with an involutory anti-automorphism (conjugation) such as
Note that quaternion multiplication is non-commutative so that \(\overline{q_{1}q_{2}}={\overline{q_{2}}}\ {\overline{q_{1}}}\) and \( e_{2}z=\bar{z}e_{2}\). On the other hand, a two-dimensional quaternionic vector space V defines a four-dimensional complex vector space \({{\mathbb {C}}}V\) by forgetting scalar multiplication by non-complex quaternions (i.e., those involving \(e_{2}\)). Roughly speaking, if V has quaternionic dimension 2, with basis \(|0\rangle _{q},|1\rangle _{q}\), then \({{\mathbb {C}}}V\) has complex dimension 4, with basis \(\{|00\rangle ,|01\rangle ,|10\rangle ,|11\rangle \}\).
The octonionic skew-field \({\mathbb {O}}\) is neither commutative nor associative algebra of rank 8 over \({\mathbb {R}}\) whose every element can be written as
The multiplication of octonion is given by
where the \({f_{ijk}}\) are totally anti-symmetric in i, j, and k with values \(1, 0,-1\) just as Levi-Civita symbol. Moreover, \(f_{ijk} = +1\) for \(ijk= 123, 145, 246, 347,617, 725,536\). We can depict this fact graphically as in Fig. 3 where the multiplication role can be read from orientation of arrows, for example:
The complex conjugate of a octonion is given by
Any octonion number can be represented in terms of four complex number \(z_{0}=x_{0}+x_{1}e_{1}\), \( z_{1}=x_{2}+x_{3}e_{1}\), \(z_{2}=x_{4}+x_{5}e_{1}\) and \(z_{3}=x_{6}+x_{7}e_{1}\) as
and it’s complex conjugate is given by
or equivalently, in terms of quaternion numbers \(q_{1}=z_{0}+z_{1}e_{2}\) and \(q_{2}=z_{2}+x_{3}e_{2} \), we can write
The multiplication of two octonions
using the multiplication rule of \(e_{i}\), is an octonion
where \(s_{i}, i=0,1,2,3\) are complex numbers and are given by
Every nonzero (\(p\in {\mathbb {Q}}\) or \({\mathbb {O}}\)) is invertible, and the unique inverse is given by \(p^{-1}=\frac{1}{|p|^2}\bar{p}\) where the quaternion or octonionic norm |p| is defined by \( |p|^2=p\bar{p}.\) The norm of two quaternions or octonions \(p_{1}\) and \(p_{2}\) satisfies \( |p_{1}p_{2}| = |p_{2}p_{1}| = |p_{1}||p_{2}|.\) Note that octonion multiplication is non-commutative and non-associative that is \((o_{1}o_{2})o_{3}\ne o_{1}(o_{2}o_{3})\). On the other hand, a two-dimensional octonionic vector space V defines a four-dimensional quaternionic vector space \({\mathbb {Q}}V\) by forgetting scalar multiplication by octonion (i.e., those involving \(e_{4}\)). Roughly speaking if V has octonionic dimension 2, with basis \(\{|0\rangle _{o},|1\rangle _{0}\}\), then \({\mathbb {Q}}V\) has quaternion dimension 4, with basis \(\{|00\rangle _{q},|01\rangle _{q},|10\rangle _{q},|11\rangle _{q}\}\) and \({{\mathbb {C}}}V\) has complex dimension 8, with basis \(\{|000\rangle ,|001\rangle ,|010\rangle ,|011\rangle ,|100\rangle ,|101\rangle ,|110\rangle ,|111\rangle \}\).
Appendix 2: Calculating
In this appendix, we calculate the terms appearing in the main commutative diagram related to three-qubit pure state.
Calculating \({\mathcal {P}}{\mathcal {O}}{\mathcal {Q}}B|\psi \rangle \)
It is convenient to start with the first statement in Eq. (4.21),
where \(|\psi \rangle '_{o}=o'_{1}|0\rangle _{o}+o'_{2}|1\rangle _{o}\) and \(o'_{1}\) and \(o'_{2}\) are results of the action of local unitary transformation \(B=A_{1}\otimes A_{2}\otimes A_{3}\) on the general three-qubit pure state (4.1) followed by the map \({\mathcal {O}}{\mathcal {Q}}\) as
According to the relation \({\mathcal {O}}|\psi \rangle '_{o}=({\mathcal {O}}B){\mathcal {O}}|\psi \rangle _{o}\), the \(o'_{1}\) and \(o'_{2}\) can be factorized as
where \({\mathcal {A}}_{3}^{(q)}\) and \({\mathcal {A}}_{2}^{(o)}\) are quaternion and octonionic form of unitary transformation \(A_{3}\) and \(A_{2}\), introduced in (3.9) and (4.18), respectively.
Calculating \({\mathcal {P}}{\mathcal {O}}({\mathbb {Q}}B){\mathcal {Q}}|\psi \rangle \)
We can proceed to another approach to understand more about three-qubit entangled pure state. Unlike in definition of \({\mathbb {Q}}B\), in order to correctly represent the complex transformation on the three-qubit pure state, the transformation B on the two-quaterbit should be represented by left action of the \(4 \times 4\) matrix \(A_{1} \otimes A_{2}\) and right multiplication with the quaternion \({\mathcal {A}}_{3}^{(q)}\) as in Eq. (4.17), hence applying the \({\mathbb {Q}}B\) on a two-quaterbit \(|\psi \rangle _{q}\) one can get
where \(t'_{0},\ldots ,t'_{7}\) are the same forms as in Eq. (5.15). It is clear that the operation \({\mathcal {O}}\) leads to Eq. (5.17), and hence the relevant part of the crucial diagram (the first quadrangle) is commutative, i.e.,
and it is clear that applying the octonionic stereographic projection on the both side of the above equation lead to the first equality in Eq. (4.21).
Calculating \({\mathcal {P}}({\mathbb {O}}B){\mathcal {O}}{\mathcal {Q}}|\psi \rangle \)
We mentioned that the octonionic form of local unitary transformation should be represented by left action of the \(2 \times 2\) matrix \((A_{1}\in SU(2))\) and right multiplication with the octonion \({\mathcal {A}}_{3}^{(q)}, {\mathcal {A}}_{2}^{(o)}\) keeping in mind that the ordering is as Eq. (5.17). Now, applying the \(({\mathbb {O}}B)\) on a octabit one can get
where \(o{'_1}\) and \(o{'_2}\) have the same forms as in Eq. (5.17). Altogether, we obtain
Now, applying the octonionic stereographic projection \({\mathcal {P}}\) on above equation lead to the second equality in (4.21), or more precisely we have
where we used the relations \({\tilde{o}}_{2}\bar{{\tilde{o}}}_{2}-o_{1}{\bar{o}}_{1}=|o_{2}|^{2}(1-o{\bar{o}})\)) and \(o={\mathcal {P}}(|{\psi }\rangle _{o})=\frac{{\tilde{o}}_{1}\bar{{\tilde{o}}}_{2}}{|o_{2}|^{2}}\) to get
where
and \(S_{0}, S_{1}, S_{2}\) and \(S_{3}\) are complex number that we introduce in (4.9).
Calculating \({\mathcal {F}}_{_{B}}{\mathcal {P}}{\mathcal {O}}{\mathcal {Q}}|\psi \rangle \)
So far we have shown that the first two equalities in Eq. (4.21) holds. We will henceforth focus on the role of octonionic Möbius transformation. Using the linear map \({\mathcal {Q}}\) and \({\mathcal {O}}\) together with octonionic stereographic projection \({\mathcal {P}}\) on a three-qubit pure state in Eq. (4.1) yields
Furthermore, this point is mapped under the action of the octonionic Möbius transformation in Eq. (4.20) as follows
in which the term \(S_{1}e_{2}+S_{2}e_{4}+(S_{3}e_{2})e_{4}\) is invariant. Remembering that the entanglement between the first qubit and the last two qubits of the state (4.1) is given by concurrence measure (4.14), we have \(S_{1}=S_{2}=S_{3}=0\) for separable three-qubit states. For completeness we mention that the first qubit lives on the base space of the Hopf fibration while the other two-qubit lives on the fiber space of the Hopf map. On the other hand, since there is, in general, a symmetry in choosing the partitions of a three-qubit state, we could have started from \(|{\psi }\rangle _{2,(13)}\) or \(|{\psi }\rangle _{3,(12)}\) (instead of \(|{\psi }\rangle _{1,(23)}\)), and hence there are three kind of octonionification and subsequently three stereographic projections. Two others are
where \(m_{1}, m_{2}, n_{1}, n_{2}\) are octonion numbers
Acting the stereographic projection \({\mathcal {P}}\) on two states \(|{\psi }\rangle _{o'}\) and \(|{\psi }\rangle _{o''}\) yields
respectively. Corresponding to each octonification there are concurrence measures which relate the entanglement between one-qubit with other two-qubit states, i.e.,
According the above concurrence, the results M and N, which arise from projecting of the states \(|{\psi }\rangle _{o'}\) and \(|{\psi }\rangle _{o''}\), are also entanglement sensitive.
Rights and permissions
About this article
Cite this article
Najarbashi, G., Seifi, B. & Mirzaei, S. Two- and three-qubit geometry, quaternionic and octonionic conformal maps, and intertwining stereographic projection. Quantum Inf Process 15, 509–528 (2016). https://doi.org/10.1007/s11128-015-1172-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11128-015-1172-0