Generalizations of Pauli matrices

From Wikipedia, the free encyclopedia

Please help improve this article or section by expanding it.
Further information might be found on the talk page or at requests for expansion.
This article has been tagged since January 2007.

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. In this article we give a few classes of such matrices.

1 Generalized Gell-Mann matrices
- 1.1 Construction
- 1.2 Properties
2 A non-Hermitian generalization of Pauli matrices
- 2.1 Construction
3 A unitary generalization of the Pauli matrices
- 3.1 Construction
- 3.2 Properties

[edit] Generalized Gell-Mann matrices

[edit] Construction

Let $\; E_{jk}$ be the matrix with 1 in the $j k$ -th entry and 0 elsewhere. Consider the space of $d \times d$ complex matrices, $\mathbb{C}^{d \times d}$ , for a fixed d. Define the following matrices

For $k < j$ , $f_{k,j} ^d = E_{kj} + E_{jk}$ .

For $k > j$ , $f_{k,j} ^d = - i ( E_{jk} - E_{kj} )$ .

Let $h_1 ^d = I_d$ , the identity matrix.

For $1 < k < d$ , $h_k ^d = h ^{d-1} _k \oplus 0$ .

For $k = d$ , $h_d ^d = \sqrt{\frac{2}{d(d-1)}} (h_1 ^{d-1} \oplus (1-d))$ .

The collection of matrices defined above are called the generalized Gell-Mann matrices, in dimension d.

[edit] Properties

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 $\mathbb{C}^{d \times d}$ . By the dimension count, we see that they span the vector space of $d \times d$ complex matrices.

In dimensions 2 and 3, the above construction recovers the Pauli and Gell-Mann matrices, respectively.

[edit] A non-Hermitian generalization of Pauli matrices

The Pauli matrices $σ 1$ and $σ 3$ satisfy the following:

$\sigma _1 ^2 = \sigma _3 ^2 = I, \; \sigma _1 \sigma _3 = - \sigma _3 \sigma _1 = e^{\pi i} \sigma _3 \sigma_1.$

The so-called Walsh-Hadamard matrix is

$W = \frac{1}{\sqrt{2}} \begin{bmatrix} 1 & 1 \\ 1 & -1 \end{bmatrix}.$

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 above to higher dimensions.

[edit] Construction

Fix the dimension d as before. Let $\; \sigma = e^{2 \pi i / d}$ , a root of unity. Since $σ d = 1$ and $\sigma \neq 1$ , we have

${\hat \sigma} = 1 + \sigma + \cdots + \sigma ^{d-1} = 0 .$

Now define

$\Sigma _1 = \begin{bmatrix} 0 & 0 & 0 & \cdots & 1\\ 1 & 0 & 0 & \cdots & 0\\ 0 & 1 & 0 & \cdots & 0\\ \vdots & \vdots & \ddots & \vdots &\vdots \\ 0 & \cdots &0 & 1 & 0\\ \end{bmatrix}$

and

$\Sigma _3 = \begin{bmatrix} 1 & 0 & 0 & \cdots & 0\\ 0 & \sigma & 0 & \cdots & 0\\ 0 & 0 &\sigma ^2 & \cdots & 0\\ \vdots & \vdots & \vdots & \ddots & \vdots\\ 0 & 0 & 0 & 0 & \sigma ^{n-1} \end{bmatrix}.$

These matrices generalize $σ 1$ and $σ 3$ respectively. Notice that, the tracelessness of the two Pauli matrices are preserved, but not Hermiticity in dimensions higher than two. The following relations are reminiscent of the Pauli matrices:

$\Sigma _ 1 ^n = \Sigma _ 3 ^n = I$

and

$\; \Sigma_3 \Sigma _1 = \sigma \Sigma_1 \Sigma _3 = e^{2 \pi i / n} \Sigma_1 \Sigma _3 .$

On the other hand, to generalize the Walsh-Hadamard matrix W, we notice

$W = \frac{1}{\sqrt{2}} \begin{bmatrix} 1 & 1 \\ 1 & \sigma ^{2 -1} \end{bmatrix} = \frac{1}{\sqrt{2}} \begin{bmatrix} 1 & 1 \\ 1 & \sigma ^{d -1} \end{bmatrix}.$

Define the following matrix, still denoted by W as a slight abuse of notation:

$W = \frac{1}{\sqrt{d}} \begin{bmatrix} 1 & 1 & 1 & \cdots & 1\\ 1 & \sigma^{d-1} & \sigma^{2(d-1)} & \cdots & \sigma^{(d-1)^2}\\ 1 & \sigma^{d-2} & \sigma^{2(d-2)} & \cdots & \sigma^{(d-1)(d-2)}\\ \vdots & \vdots & \vdots & \vdots & \vdots \\ 1 & \sigma & \sigma^2 & \cdots & \sigma^{d-1} \end{bmatrix}.$

It can be verified that W is no longer Hermitian but still unitary. Direct calculation shows

$\; \Sigma_1 = W \Sigma_3 W^*$

, which is the desired result.

The matrices ${Σ 1,Σ 3, W}$ are called the generalized Pauli and Walsh-Hadamard matrices.

It might be of interest here to note that when $d = 2 k$ , $W *$ is precisely the matrix of the discrete Fourier transform.

[edit] A unitary generalization of the Pauli matrices

As noted above, the Pauli matrices are both Hermitian and unitary. The unitarity has not been extended by generalizations given so far. We now give a generalization which does so. (Although Hermiticity will no longer hold, in general.)

[edit] Construction

Again fix the dimension d. Let $\mathbb{Z}_d$ be the abelian ring of integers modulo d. All indices in the subsequent discussion will be considered elements of this group, that is, all operations are to be understood modulo d. The set

$\{v_k, k \in \mathbb{Z}_d \}$

denotes the standard orthonormal basis for the d-dimensional Hilbert space. Put $\; \xi = e^{2 \pi i / d}$ . The generalization we are interested in is defined by

$S_{j,k} = \sum _{m = 0} ^ {d-1} \xi ^{jm} v_m v_{m+k} ^*.$

Clearly the family specified by above consists of unitary matrices.

To see that they indeed generalize the Pauli matrices, in some sense, we compute for $\; d=2$ , where $\; \xi = -1$ :

$S_{0,0} = v_0 v_0 ^* + v_1 v_1 ^* = I ,$

$S_{0,1} = v_0 v_1 ^* + v_1 v_0 ^* = \begin{bmatrix} 0 & 1\\ 1 & 0 \end{bmatrix} = \sigma _1 ,$

$S_{1,0} = v_0 v_0 ^* - v_1 v_1 ^* = \begin{bmatrix} 1 & 0\\ 0 & -1 \end{bmatrix} = \sigma _3 ,$

and

$S_{1,1} = v_0 v_1 ^* - v_1 v_0 ^* = \begin{bmatrix} 0 & 1\\ -1 & 0 \end{bmatrix} = i \sigma _2.$

[edit] Properties

The set $\; \{ S_{j,k} \}$ are called generalized spin matrices. Some properties of $\; \{ S_{j,k} \}$ are:

$\; \{ S_{j,k} \}$ form an orthonogal set in $\mathbb{C}^{d \times d}$ in the Hilbert-Schmidt sense. Therefore by the dimension count, they span the set of $d \times d$ matrices. (Recall this is also true for ${I,σ 1,σ 2,σ 3}$ in dimension 2.)