Generalizations of Pauli matrices explained

In mathematics and physics, in particular quantum information, the term generalized Pauli matrices refers to families of matrices which generalize the (linear algebraic) properties of the Pauli matrices. Here, a few classes of such matrices are summarized.

Multi-qubit Pauli matrices (Hermitian)

This method of generalizing the Pauli matrices refers to a generalization from a single 2-level system (qubit) to multiple such systems. In particular, the generalized Pauli matrices for a group of

N qubits is just the set of matrices generated by all possible products of Pauli matrices on any of the qubits.^[1] The vector space of a single qubit is V _{1} = C ^{2} and the vector space of N qubits is V _{N} = \left( C ^{2\right)} ^{⊗} \cong C ^{2 ^{N}} . We use the tensor product notation \sigma ^{(n)} _{a} = I ^{(1)} ⊗ ... m ⊗ I ^{(n-1)} ⊗ \sigma _{a} ⊗ I ^{(n+1)} ⊗ ... m ⊗ I ^{(N)} , a = 1 , 2 , 3 to refer to the operator on V _{N} that acts as a Pauli matrix on the n th qubit and the identity on all other qubits. We can also use a = 0 for the identity, i.e., for any n we use $\backslash sigma\_0^\; =\; \backslash bigotimes\_^N\; I^$. Then the multi-qubit Pauli matrices are all matrices of the form\sigma _{\vec} : = \prod ^{N} _{n =1} \sigma ^{(n)} _{a _{n}} = \sigma _{a _{1}} ⊗ ... m ⊗ \sigma _{a _{N}} , \vec{a} = (a _{1,} \ldots, a _{N)} \in \{ 0 , 1 , 2 , 3 \} ^{x} ,i.e., for \vec{a} a vector of integers between 0 and 4. Thus there are 4 ^{N} such generalized Pauli matrices if we include the identity $I\; =\; \backslash bigotimes\_^N\; I^$ and 4 ^{N} - 1 if we do not.

Notations

In quantum computation, it is conventional to denote the Pauli matrices with single upper case letters

I \equiv \sigma _{0,} X \equiv \sigma _{1,} Y \equiv \sigma _{2,} Z \equiv \sigma _{3.} This allows subscripts on Pauli matrices to indicate the qubit index. For example, in a system with 3 qubits,X _{1} \equiv X ⊗ I ⊗ I, Z _{2} \equiv I ⊗ Z ⊗ I. Multi-qubit Pauli matrices can be written as products of single-qubit Paulis on disjoint qubits. Alternatively, when it is clear from context, the tensor product symbol ⊗ can be omitted, i.e. unsubscripted Pauli matrices written consecutively represents tensor product rather than matrix product. For example:XZI \equiv X _{1Z} _{2} = X ⊗ Z ⊗ I.

Higher spin matrices (Hermitian)

The traditional Pauli matrices are the matrix representation of the

ak{su}(2) Lie algebra generators J _{x} , J _{y} , and J _{z} in the 2-dimensional irreducible representation of SU(2), corresponding to a spin-1/2 particle. These generate the Lie group SU(2).

For a general particle of spin

s =0 , 1 / 2 , 1 , 3 / 2 , 2 ,\ldots , one instead utilizes the 2 s +1 -dimensional irreducible representation.

See main article: article.

Generalized Gell-Mann matrices (Hermitian)

This method of generalizing the Pauli matrices refers to a generalization from 2-level systems (Pauli matrices acting on qubits) to 3-level systems (Gell-Mann matrices acting on qutrits) and generic

d -level systems (generalized Gell-Mann matrices acting on qudits).

Construction

Let

E _{jk} be the matrix with 1 in the -th entry and 0 elsewhere. Consider the space of d x d complex matrices, \Complex ^{d x} , for a fixed d .

Define the following matrices,

f ^{d} _{k,j} = \begin{cases}E _{kj} + E _{jk} & { for }k < j,\\-i(E_ - E_)& k > j.\endandh ^{d} _{k} = \begin{cases}I _{d} & { for } k = 1,\\h_^ \oplus 0 & 1 < k < d, \\\sqrt \left(h_1^ \oplus (1 - d)\right) = \sqrt \left(I_ \oplus (1 - d)\right) & k = d\end

The collection of matrices defined above without the identity matrix are called the generalized Gell-Mann matrices, in dimension

d .^{[2] [3]} The symbol ⊕ (utilized in the Cartan subalgebra above) means matrix direct sum.

The generalized Gell-Mann matrices are Hermitian and traceless by construction, just like the Pauli matrices. One can also check that they are orthogonal in the Hilbert–Schmidt inner product on

\Complex ^{d x} . By dimension count, one sees that they span the vector space of d x d complex matrices, ak{gl}(d,\Complex) . They then provide a Lie-algebra-generator basis acting on the fundamental representation of ak{su}(d) .

In dimensions

d = 2 and 3, the above construction recovers the Pauli and Gell-Mann matrices, respectively.

Sylvester's generalized Pauli matrices (non-Hermitian)

A particularly notable generalization of the Pauli matrices was constructed by James Joseph Sylvester in 1882.^[4] These are known as "Weyl–Heisenberg matrices" as well as "generalized Pauli matrices".^{[5] [6]}

Framing

The Pauli matrices

\sigma _{1} and \sigma _{3} satisfy the following:\sigma ^{2} _{1} = \sigma ^{2} _{3} = I, \sigma _{1} \sigma _{3} = - \sigma _{3} \sigma _{1} = e ^{\pi} \sigma _{3} \sigma _{1.}

The so-called Walsh–Hadamard conjugation matrix is

W = (1)/(\sqrt{ 2) } \begin 1 & 1 \\ 1 & -1\end.

Like the Pauli matrices,

W is both Hermitian and unitary. \sigma _{1,} \sigma _{3} and W satisfy the relation\sigma _{1} = W \sigma _{3} W ^{*} .

The goal now is to extend the above to higher dimensions,

d .

Construction: The clock and shift matrices

See also: Generalized Clifford algebra. Fix the dimension

d as before. Let \omega = \exp( 2 \pi i / d) , a root of unity. Since \omega ^{d} = 1 and \omega ≠ 1 , the sum of all roots annuls:1 + \omega + … + \omega ^{d-1} = 0 .

Integer indices may then be cyclically identified mod .

Now define, with Sylvester, the shift matrix

\Sigma _{1} = \begin{bmatrix} 0 & 0 & 0 & … & 0 & 1 \\ 1 & 0 & 0 & … & 0 & 0 \\ 0 & 1 & 0 & … & 0 & 0 \\ 0 & 0 & 1 & … & 0 & 0 \\ \vdots & \vdots & \vdots & \ddots &\vdots &\vdots\\ 0 & 0 & 0 & … & 1 & 0 \ \end{bmatrix}

and the clock matrix,

\Sigma _{3} = \begin{bmatrix} 1 & 0 & 0 & … & 0 \\ 0 & \omega & 0 & … & 0 \\ 0 & 0 & \omega ^{2} & … & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots\\ 0 & 0 & 0 & … & \omega ^{d-1} \end{bmatrix}.

These matrices generalize

\sigma _{1} and \sigma _{3} , respectively.

Note that the unitarity and tracelessness of the two Pauli matrices is preserved, but not Hermiticity in dimensions higher than two. Since Pauli matrices describe quaternions, Sylvester dubbed the higher-dimensional analogs "nonions", "sedenions", etc.

These two matrices are also the cornerstone of quantum mechanical dynamics in finite-dimensional vector spaces^{[7] [8] [9]} as formulated by Hermann Weyl, and they find routine applications in numerous areas of mathematical physics.^[10] The clock matrix amounts to the exponential of position in a "clock" of

d hours, and the shift matrix is just the translation operator in that cyclic vector space, so the exponential of the momentum. They are (finite-dimensional) representations of the corresponding elements of the Weyl-Heisenberg group on a d -dimensional Hilbert space.

The following relations echo and generalize those of the Pauli matrices:

\Sigma ^{d} _{1} = \Sigma ^{d} _{3} = I

and the braiding relation,

\Sigma _{3} \Sigma _{1} = \omega \Sigma _{1} \Sigma _{3} = e ^{2\pi} \Sigma _{1} \Sigma _{3} ,

the Weyl formulation of the CCR, and can be rewritten as

\Sigma _{3} \Sigma _{1} \Sigma ^{d -1} _{3} \Sigma ^{d -1} _{1} = \omega ~.

On the other hand, to generalize the Walsh–Hadamard matrix

W , noteW = (1)/(\sqrt{ 2) } \begin 1 & 1 \\ 1 & \omega^\end=\frac \begin 1 & 1 \\ 1 & \omega^\end.

Define, again with Sylvester, the following analog matrix,^[11] still denoted by

W in a slight abuse of notation,W = (1)/(\sqrt{d) } \begin1 & 1 & 1 & \cdots & 1\\1 & \omega^ & \omega^ & \cdots & \omega^\\1 & \omega^ & \omega^ & \cdots & \omega^\\\vdots & \vdots & \vdots & \ddots & \vdots\\1 & \omega & \omega ^2 & \cdots & \omega^

\end~.

It is evident that

W is no longer Hermitian, but is still unitary. Direct calculation yields\Sigma _{1} = W \Sigma _{3} W ^{*} ~,

which is the desired analog result. Thus,

W , a Vandermonde matrix, arrays the eigenvectors of \Sigma _{1} , which has the same eigenvalues as \Sigma _{3} .

When

d = 2 ^{k} , W ^{*} is precisely the discrete Fourier transform matrix, converting position coordinates to momentum coordinates and vice versa.

Definition

The complete family of

d ^{2} unitary (but non-Hermitian) independent matrices \{\sigma _{k,j} \} ^{d} _{k,j =1} is defined as follows:

This provides Sylvester's well-known trace-orthogonal basis for

ak{gl}(d,\Complex) , known as "nonions" ak{gl}(3,\Complex) , "sedenions" ak{gl}(4,\Complex) , etc...^{[12] [13]}

This basis can be systematically connected to the above Hermitian basis.^[14] (For instance, the powers of

\Sigma _{3} , the Cartan subalgebra, map to linear combinations of the h ^{d} _{k} matrices.) It can further be used to identify ak{gl}(d,\Complex) , as d \to inf ty , with the algebra of Poisson brackets.

Properties

With respect to the Hilbert–Schmidt inner product on operators,

\langle A, B \rangle _{HS} = \operatorname{Tr}(A ^{*} B) , Sylvester's generalized Pauli operators are orthogonal and normalized to \sqrt{d} :\langle \sigma _{k,j} , \sigma _{k',j'} \rangle _{HS} = \delta _{k} \delta _{j} \| \sigma _{k,j} \| ^{2} _{HS} = d \delta _{k} \delta _{j} .This can be checked directly from the above definition of \sigma _{k,j} .

See also

• • Hermitian matrix
• Bloch sphere
• Discrete Fourier transform
• Generalized Clifford algebra
• Weyl–Brauer matrices
• Circulant matrix
• Shift operator
• Quantum Fourier transform

Notes and References

1. Brown . Adam R. . Susskind . Leonard . Second law of quantum complexity . Physical Review D . 2018-04-25 . 97 . 8 . 086015 . 10.1103/PhysRevD.97.086015. 1701.01107 . 2018PhRvD..97h6015B . 119199949 .
2. 10.1016/S0375-9601(03)00941-1. The Bloch vector for N-level systems. Physics Letters A. 314. 5–6. 339–349. 2003. Kimura . G. . quant-ph/0301152 . 2003PhLA..314..339K . 119063531.
3. 10.1088/1751-8113/41/23/235303 . 1751-8121 . Bertlmann . Reinhold A. . Philipp Krammer . Bloch vectors for qudits . Journal of Physics A: Mathematical and Theoretical . 41 . 23 . 235303 . 2008-06-13 . 2008JPhA...41w5303B . 0806.1174 . 118603188.
4. Sylvester, J. J., (1882), Johns Hopkins University Circulars I: 241-242; ibid II (1883) 46;ibid III (1884) 7–9. Summarized in The Collected Mathematics Papers of James Joseph Sylvester (Cambridge University Press, 1909) v III . online and further.
5. Appleby. D. M.. May 2005. Symmetric informationally complete–positive operator valued measures and the extended Clifford group. Journal of Mathematical Physics. en. 46. 5. 052107. quant-ph/0412001. 2005JMP....46e2107A. 10.1063/1.1896384. 0022-2488.
6. Howard. Mark. Vala. Jiri. 2012-08-15. Qudit versions of the qubit π / 8 gate. Physical Review A. en. 86. 2. 022316. 1206.1598. 2012PhRvA..86b2316H. 10.1103/PhysRevA.86.022316. 56324846. 1050-2947.
7. [Hermann Weyl|Weyl, H.]
8. Weyl, H., The Theory of Groups and Quantum Mechanics (Dover, New York, 1931)
9. Santhanam . T. S. . Tekumalla . A. R. . 10.1007/BF00715110 . Quantum mechanics in finite dimensions . Foundations of Physics . 6 . 5 . 583 . 1976 . 1976FoPh....6..583S . 119936801 .
10. For a serviceable review, see Vourdas A. (2004), "Quantum systems with finite Hilbert space", Rep. Prog. Phys. 67 267. .
11. 10.1080/14786446708639914. Thoughts on inverse orthogonal matrices, simultaneous sign-successions, and tessellated pavements in two or more colours, with applications to Newton's rule, ornamental tile-work, and the theory of numbers. 1867. Sylvester. J.J.. The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science. 34. 232. 461–475.
12. Patera . J. . Zassenhaus . H. . 10.1063/1.528006 . The Pauli matrices in n dimensions and finest gradings of simple Lie algebras of type An−1 . Journal of Mathematical Physics . 29 . 3 . 665 . 1988 . 1988JMP....29..665P .
13. Since all indices are defined cyclically mod, tr \Sigma ^{j} _{1} \Sigma ^{k} _{3} \Sigma ^{m} _{1} \Sigma ^{n} _{3} = \omega ^{km} d ~\delta _{j+m,0} \delta _{k+n,0} .
14. Fairlie . D. B. . Fletcher . P. . Zachos . C. K. . 10.1063/1.528788 . Infinite-dimensional algebras and a trigonometric basis for the classical Lie algebras . Journal of Mathematical Physics . 31 . 5 . 1088 . 1990 . 1990JMP....31.1088F .