Abstract
By the Majorana representation, for any \(d > 1\) there is a one-one correspondence between a quantum state of dimension d and \(d-1\) qubits represented as \(d-1\) points in the Bloch sphere. Using the theory of symmetry class of tensors, we present a simple scheme for constructing \(d-1\) points on the Bloch sphere and the corresponding \(d-1\) qubits representing a d-dimensional quantum state. Additionally, we demonstrate how the inner product of two d-dimensional quantum states can be expressed as a permanent of a matrix related to their \((d-1)\)-qubit state representations. Extension of the result to mixed states is also considered.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Quantum states, represented by unit vectors \({\textbf{a}}\in {\mathbb {C}}^d\), form a fundamental aspect of d-dimensional systems. These vectors are identified up to a phase factor, i.e., \({\textbf{a}}\) and \(e^{it}{\textbf{a}}\) are identified for any \(t \in [0, 2\pi )\). In the case of \(d=2\), quantum states are commonly referred to as qubits. For qubits, there exists a one-to-one correspondence between the state \({\textbf{a}}=(a_0, a_1)^t\) with \(|a_0|^2 + |a_1|^2 = 1\) and a point \((c_x, c_y, c_z)\) on the Bloch sphere:
where \({\textbf{a}}{\textbf{a}}^*\) corresponds to \((c_x, c_y, c_z)\) by \(\frac{1}{2}\begin{pmatrix}1 + c_z &{} c_x-ic_y\\ c_x+ic_y &{} 1-c_z\\ \end{pmatrix}\). The correspondence is established using \((c_x, c_y, c_z) = (\Re ({{\bar{a}}}_0 a_1), \Im ({{\bar{a}}}_0 a_1), |a_0|^2-|a_1|^2)/2\), ensuring that \(c_x^2+ c_y^2 + c_z^2 = 1\).
In [3], Majorana proposed a geometric method to represent a quantum state \({\textbf{a}} \in {\mathbb {C}}^d\) for \(d>1\) using \(d-1\) qubits. Consequently, a quantum state in \( {\mathbb {C}}^d\) is associated with \(d-1\) points on the Bloch sphere. The Majorana representation provides a visual tool to understand the properties and transformations of quantum states. The direct visualization of qubit rotations are useful in the study of different topics of quantum information science such as quantum computation and communication; e.g., see [6] and its references.
In this note, we establish a connection between the Majorana representation and symmetry class of tensors in \({\mathbb {V}}^{\otimes (d-1)}\) for \({\mathbb {V}} = {\mathbb {C}}^2\) associated with the principal character \(\xi \). Using this connection, we provide an easy scheme to determine \(v_1, \dots , v_{d-1} \in {\mathbb {C}}^2\) associated with a given vector \((a_0, \dots , a_{d-1}) \in {\mathbb {C}}^d\). Additionally, we present a simple formula for the inner product of \({\textbf{a}}\) and \({\textbf{b}}\) in \({\mathbb {C}}^d\) in terms of their \((d-1)\)-qubit presentations. Numerical examples are given to illustrate the result. Extension of the result to mixed states is also considered.
2 Results
2.1 Preliminary
Let us present the following standard set up of a symmetry class of tensors in the \((d-1)\)-fold tensor space \({\mathbb {V}}^{\otimes (d-1)}\). In our study we focus on \({\mathbb {V}}= {\mathbb {C}}^2\) and the principal character \(\xi \) on the symmetric group \(S_{d-1}\) of degree \(d-1\) such that \(\xi (\sigma ) =1\) for all \(\sigma \in S_{d-1}\). Define the symmetrizer on the tensor space \({\mathbb {V}}^{\otimes (d-1)}\) by
Then \({\mathbb {V}}_\xi ^{(d-1)} = T({\mathbb {V}}^{\otimes (d-1)})\) is a subspace of \({\mathbb {V}}^{\otimes (d-1)}\) known as the symmetry class of tensors over \({\mathbb {V}}\) associated with \(\xi \) on \(S_{d-1}\). The elements in \({\mathbb {V}}_\xi ^{(d-1)}\) of the form \(T(v_1 \otimes \cdots \otimes v_m)\) are called decomposable tensors and are denoted by \(v^\bullet = v_1 \bullet \cdots \bullet v_m\). One may see [2, 4] for some general background. In fact, researchers have used decomposable tensors to model boson states; see [1].
Let \(\{e_0, e_1\}\) be the standard orthonormal basis of \({\mathbb {V}}= {\mathbb {C}}^2\) using the standard inner product \({\langle }u, v{\rangle }= u^*v\), where \(X^*\) denotes the conjugate transpose of X if X is a complex vector or matrix. Then \({\mathbb {V}}_\xi ^{(d-1)}\) is the subspace of \({\mathbb {V}}^{\otimes (d-1)}\) spanned by the orthogonal basis
using the induced inner product on decomposable tensor \(u_1 \bullet \cdots \bullet u_{d-1}\) and \(v_1 \bullet \cdots \bullet v_{d-1}\) so that
where
is the permanent of \(X \in {\mathbb {M}}_k\); see e.g., [5] for basic properties of the permanent. If \(j_1 = \cdots = j_\ell = 0\) and \(j_{\ell +1} = \cdots = j_{d-1} = 1\), then
where \(J_r \in M_r\) has all entries equal to 1. Thus, after normalization \({\mathcal {S}}\) becomes an orthonormal basis \(\{f_0^\bullet , \dots , f_{d-1}^\bullet \}\). Let
Suppose \(v_1, \dots , v_{d-1}\in {\mathbb {C}}^2\). Then the decomposable tensor
with
Moreover,
-
(a)
\(\gamma (v_1\bullet \cdots \bullet v_{d-1}) = \mu _1 v_1\bullet \cdots \bullet \mu _{d-1} v_{d-1}\) if \(\mu _1, \dots , \mu _{d-1}, \gamma \in {\mathbb {C}}\) satisfy \(\mu _1 \cdots \mu _{d-1} = \gamma \),
-
(b)
\(v_1\bullet \cdots \bullet v_{d-1} = v_{\sigma (1)}\bullet \cdots \bullet v_{\sigma (d-1)}\) if \(\sigma \in S_{d-1}\) is a permutation of \((1, \dots , d-1)\).
We will also use the following fact about the zeros of a complex polynomial. Let \(E_k(\mu _1,\dots , \mu _{d-1})\) be the kth elementary symmetric function for \(\mu _1, \dots , \mu _{d-1}\), i.e.,
Let
where \(c_0\ne 0.\) Then
2.2 Main result and examples
Theorem 2.1
Let \({\mathbb {V}}= {\mathbb {C}}^2\) and \(\{f_0^\bullet , \dots , f_{d-1}^\bullet \}\) be the standard orthonormal basis for \({\mathbb {V}}_\xi ^{(d-1)}\). If \((a_0, \dots , a_{d-1})^t \in {\mathbb {C}}^{d}\) is nonzero and \(r\ge 0\) is the smallest integer such that \(a_r \ne 0\), then for \(\gamma _r = a_r\sqrt{{d-1\atopwithdelims ()r}}\)
so that
with \(v_1 = \cdots = v_{r} = (0,1)^t\), and \(v_j = (1, \mu _j)^t\) for \(j = r+1, \dots , d-1,\) where \(\mu _{r+1}, \dots , \mu _{d-1}\) are the zeros of the Majorana polynomial
If \(b_0 f_0^\bullet + \cdots + b_{d-1} f_{d-1}^\bullet = u_1 \bullet \cdots \bullet u_{d-1}\) and \(c_0 f_0^\bullet + \cdots + c_{d-1} f_{d-1}^\bullet = w_1\bullet \cdots \bullet w_{d-1}\), then
By Theorem 2.1, every vector \(f^\bullet \in {\mathbb {V}}_\xi ^{(d-1)}\) admits a representation of the form \(u_1\bullet \cdots \bullet u_{d-1}\). In particular, if \((a_0, \dots , a_{d-1})^t \in {\mathbb {C}}^d\) is a quantum state, a unit vector, then
where \(v_1, \dots , v_{d-1}\) are defined as in Theorem 2.1 and
Proof of Theorem 2.1
If \(r = d-1\), then clearly \(\frac{1}{\gamma _r}(a_r f^\bullet _{d-1}) = \frac{1}{a_r}(a_r f^\bullet _{d-1}) = e_1 \bullet \cdots \bullet e_1\).
Suppose \(r < d-1\). Construct the vectors \(v_1, \dots , v_{d-1}\) as described. We will show that
Let \(\textbf{1}_k \in {\mathbb {C}}^k\) has all entries equal to 1, \(C_j\) be defined as in (1), and \(Q\in {\mathbb {M}}_{2,d-1}\) have columns \(v_1, \dots , v_{d-1}\). Then
By a direct computation, say, using the Laplace expansion formula for permanent and induction, we have the following. For \(j = 0, \dots , r-1\), we have \(\textrm{per}(C_j^* Q) = 0\) and hence
For \(j = r, \dots , d-1\), we have \(\textrm{per}(C_j^* Q) = j!(d-1-j)! E_{j-r}(\mu _{r+1}, \dots , \mu _{d-1})\), and hence
Since \(\mu _r, \dots , \mu _{d-1}\) are the zeros of g(x),
Hence,
The last statement is clear. \(\square \)
The following numerical examples illustrate Theorem 2.1.
Example 2.2
Suppose \(d = 5\) and \(\textbf{a}= (a_0,a_1,a_2,a_3,a_4)^t \in {\mathbb {C}}^5\) be a nonzero vector. Let \(r\ge 0\) be the smallest integer such that \(a_r \ne 0\). Then for \(\gamma _r = a_r\sqrt{4\atopwithdelims ()r}\),
with \(v_1 = \cdots = v_r = (0,1)^t\) and \(v_{j} = (1, \mu _{j})^t\) for \(j = r+1, \dots , 4\), where \(\mu _{r+1}, \dots , \mu _4\) are the zeros of the Majorana polynomial
-
(i)
Let \(\textbf{a}=(1,3, 13/\sqrt{6}, 6, 4)^t \in {\mathbb {C}}^5\). Then \(g(z) = z^4 - 6z^3 + 13z^2 - 12z + 4 = (z-1)^2(z-2)^2\) so that \(\textbf{a}\) corresponds to \(u_1 \bullet u_2 \bullet u_3 \bullet u_4\) with \(u_1 = u_2 = (1,1)^t\) and \(u_3 = u_4 = (1,2)^t\).
-
(ii)
Let \(\textbf{b}=(0, 1/2, \sqrt{6}, 11/2, 6)^t\). Then \(g(z) = z^3 - 6z^2 +11 z - 6 = (z-1)(z-2)(z-3)\) so that \(\textbf{b}\) corresponds to \(v_1\bullet \cdots \bullet v_4\) with \(v_1 = (0,1)^t\) and \(v_2 = (1,1)^t\), \(v_3 = (1,2)^t\) and \(v_4 = (1,3)^t\).
-
(iii)
Let \(\textbf{c}= (0,0,1/\sqrt{6}, 1, 1)^t\). Then \(g(z) = z^2-2z+1 = (z-1)^2\) so that \(\textbf{c}\) corresponds to \(w_1\bullet \cdots \bullet w_4\) with \(w_1 = w_2 = (0,1)^t\), and \(w_3 = w_4 = (1,1)^t\).
We have \({\langle }\textbf{a}, \textbf{b}{\rangle }= \textrm{per}([u_1 u_2 u_3 u_4]^*[v_1 v_2 v_3 v_4])/4! = 143/2,\)
\({\langle }\textbf{a}, \textbf{c}{\rangle }= \textrm{per}([u_1 u_2 u_3 u_4]^*[w_1 w_2 w_3 w_4])/4! = 12+1/6,\) and
\({\langle }\textbf{b}, \textbf{c}{\rangle }= \textrm{per}([v_1 v_2 v_3 v_4]^*[w_1 w_2 w_3 w_4])/4! = 25/2.\)
2.3 Mixed states
Recall that a general quantum state is called a mixed state and is represented by a density matrix \(\rho \), which is a positive semi-definite matrix with trace 1. If \(\rho \) is rank one, then \(\rho \) is pure state. If \(\textbf{a}\) corresponds to \(u_1 \bullet \cdots \bullet u_{d-1} \in {\mathbb {V}}_\xi ^{d-1}\), then by (3) the corresponding density matrix \(\rho = \textbf{a}\textbf{a}^* \in {\mathbb {M}}_{d}\) has (r, s) entry equal to
where \(C_j\) is defined as in (1).
There has been interest in finding the Majorana representation for mixed states; e.g., see [6]. A general mixed state can be written as \(\rho = \sum _{j=1}^r p_j \rho _j\in {\mathbb {M}}_d\), where \((p_1, \dots , p_r)\) is a probability vector and \(\rho _1,\dots , \rho _r\) are pure states. We can apply Theorem 2.1 to each \(\rho _j\), and express it in terms of \(d-1\) qubit states. Then the mixed state \(\rho \) can be associated with a collection of r sets of qubit states each has \(d-1\) elements and a probability vector \((p_1, \dots , p_r)\).
Alternatively, by purification one may express \(\rho \) as the partial trace of a pure stat \(|\psi {\rangle }{\langle }\psi |\) with \(|\psi {\rangle }\in {\mathbb {C}}^{d^2}\), which admits a Majorana representation of \(d^2-1\) qubits.
References
N. Bebiano, C.K. Li and J. da Providencia, Generalized numerical ranges of permanental compounds arising from quantum systems of bosons, Electronic Linear Algebra 7 (2000), 73-91.
W. Grueb, Multilinear Algebra, 2nd ed., Springer-Verlag, New York, 1978.
E. Majorana, Atomi orientati in campo magnetico variabile, Il Nuovo Cimento 9.1 (1932), 43-50.
M. Marcus, Finite Dimensional Multilinear Algebra, Part I, Marcel Dekker, New York, 1973.
H. Minc, Permanents. Encyclopedia of Mathematics and its Applications. Addison-Wesley, Boston 1978.
E. Serrano-Ensástiga and D. Braun, Majorana representation for mixed states, Physical Review A 101, 022332 (2020).
Acknowledgements
The authors would like to thank Karol Życzkowski, Marcin Rudziński, and the referee for some helpful comments. Li is an affiliate member of the Institute for Quantum Computing, University of Waterloo. His research was supported by the Simons Foundation Grant 851334.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by B V Rajarama Bhat.
In memory of Professor Kalyanapuram Rangachari Parthasarthy.
Mikio Nakahara’s affiliation with IQM Quantum Computers is provided for identification purposes only and it is not intended to convey or imply IQM’s concurrence with, or support for, the positions, opinions, or viewpoints expressed by the author.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Li, CK., Nakahara, M. A note on Majorana representation of quantum states. Indian J Pure Appl Math (2024). https://doi.org/10.1007/s13226-024-00602-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13226-024-00602-7