Author: Robin K. S. Hankin

# Pauli matrices via Clifford algebra

#### Robin K. S. Hankin

To cite the `clifford` package in publications please use Hankin (2025). This short document shows how the Pauli matrices, often used in quantum mechanics, can be calculated using Clifford algebra as implemented by the `clifford` R package. The Pauli matrices are a set of three \(2\times 2\) matrices with complex entries. They represent observables corresponding to measuring spin along the \(x\), \(y\), and \(z\) axes. They are also useful when considering polarized light. The Pauli matrices have a pleasing relationship with Jordan algebra (Hankin 2023). In component form, they are:

\[ \sigma_0=\left(\begin{matrix}1&0\\0&1\end{matrix}\right)\qquad \sigma_x=\left(\begin{matrix}0&1\\1&0\end{matrix}\right)\qquad \sigma_y=\left(\begin{matrix}0&-i\\i&0\end{matrix}\right)\qquad \sigma_z=\left(\begin{matrix}1&0\\0&-1\end{matrix}\right) \]

We observe that \(\sigma_x\sigma_y=i\sigma_z\), \(\sigma_y\sigma_z=i\sigma_x\), and \(\sigma_z\sigma_x=i\sigma_y\), and further that \(\sigma_x^2=\sigma_y^2=\sigma_z^2=-i\sigma_x\sigma_y\sigma_z=\sigma_0\).

The non-identity Pauli matrices [that is, \(\sigma_x,\sigma_y,\sigma_z\)] are subject to the following commutation relations:

\[ \left[\sigma_x,\sigma_y\right]=2i\sigma_z\qquad \left[\sigma_y,\sigma_z\right]=2i\sigma_x\qquad \left[\sigma_z,\sigma_x\right]=2i\sigma_y\]

(here, \(\left[x,y\right]=xy-yx\)). We also have the following anticommutation relations:

\[ \left\lbrace\sigma_x,\sigma_y\right\rbrace=2i\sigma_z\qquad \left\lbrace\sigma_y,\sigma_z\right\rbrace=2i\sigma_x\qquad \left\lbrace\sigma_z,\sigma_x\right\rbrace=2i\sigma_y\]

(here, \(\left\lbrace x,y\right\rbrace=xy+yx\)).

Because any \(2\times 2\) Hermitian matrix may be expressed as \(A\sigma_0+B\sigma_x+C\sigma_y+D\sigma_z\) for \(A,B,C,D\in\mathbb{R}\), we observe that the anticommutation relations imply that the Pauli matrices are closed under the Jordan operator \(x\circ y=(xy+yx)/2\). For more details, see the `jordan` package (Hankin 2023) which implements this operation in a more general context. The Jordan multiplication rule is

\[ \sigma_a\sigma_b=\delta_{ab}I_2 + i\epsilon_{abc}\sigma_c \]

which suggests the following identification:

\[\begin{aligned} \sigma_0&\longleftrightarrow 1\\ \sigma_x&\longleftrightarrow e_1\\ \sigma_y&\longleftrightarrow e_2\\ \sigma_z&\longleftrightarrow e_3\\ \end{aligned}\]

Then we make the formal identifications:

\[\begin{aligned} i\sigma_x&\longleftrightarrow e_2e_3\\ i\sigma_y&\longleftrightarrow e_3e_1\\ i\sigma_z&\longleftrightarrow e_1e_2\\ \end{aligned}\]

and so we recover the Pauli matrix relations from the Clifford algebra.

# Implementation

Let us start with the Pauli matrices:

\[ \sigma_0=\left(\begin{matrix}1&0\\0&1\end{matrix}\right)\qquad \sigma_x=\left(\begin{matrix}0&1\\1&0\end{matrix}\right)\qquad \sigma_y=\left(\begin{matrix}0&-i\\i&0\end{matrix}\right)\qquad \sigma_z=\left(\begin{matrix}1&0\\0&-1\end{matrix}\right) \]

\[ i\sigma_0=\left(\begin{matrix}i&0\\0&i\end{matrix}\right)\qquad i\sigma_x=\left(\begin{matrix}0&i\\i&0\end{matrix}\right)\qquad i\sigma_y=\left(\begin{matrix}0&1\\-1&0\end{matrix}\right)\qquad i\sigma_z=\left(\begin{matrix}i&0\\0&-i\end{matrix}\right) \]

Given a general complex matrix

\[ \left(\begin{matrix} \alpha +\beta i & \gamma+\delta i\\ \epsilon+\zeta i & \eta+\theta i \end{matrix}\right) \]

we see that

\[\begin{eqnarray} \sigma_0&=(\alpha+\eta)/2\qquad i\sigma_0=(\beta+\theta)/2\\ \sigma_x&=(\gamma+\epsilon)/2\qquad i\sigma_x=(\delta+\xi)/2\\ \sigma_y&=(\gamma-\epsilon)/2\qquad i\sigma_x=(\delta-\xi)/2\\ \sigma_z&=(\alpha-\eta)/2\qquad i\sigma_z=(\beta-\theta)/2\\ \end{eqnarray}\]

# R implementation

    s0 <- matrix(c(1,0,0,1),2,2)
    sx <- matrix(c(0,1,1,0),2,2)
    sy <- matrix(c(0,1i,-1i,0),2,2)
    sz <- matrix(c(1,0,0,-1),2,2)

Given a general complex matrix `M`, we may coerce this to Clifford form as follows:

    matrix_to_clifford <- function(M){
          (Re(M[1,1] + M[2,2]))/2             +
          (Re(M[1,1] - M[2,2]))/2*e(c(  3  )) +
          (Im(M[1,1] + M[2,2]))/2*e(c(1,2,3)) +
          (Im(M[1,1] - M[2,2]))/2*e(c(1,2  )) +

          (Re(M[2,1] + M[1,2]))/2*e(c(1    )) +
          (Re(M[2,1] - M[1,2]))/2*e(c(1,  3)) +
          (Im(M[2,1] + M[1,2]))/2*e(c(  2,3)) +
          (Im(M[2,1] - M[1,2]))/2*e(c(  2  ))
    }

and then test it as follows:

    rmat <- function(...){matrix(rnorm(4),2,2) + 1i*matrix(rnorm(4),2,2)}
    M <- rmat()
    M

    ##                  [,1]               [,2]
    ## [1,] 0.37740+0.50361i  0.804190-0.69095i
    ## [2,] 0.13334+1.08577i -0.057107-1.28460i

    matrix_to_clifford(M)

    ## Element of a Clifford algebra, equal to
    ## + 0.16014 + 0.46876e_1 + 0.88836e_2 + 0.8941e_12 + 0.21725e_3 - 0.33543e_13 + 0.19741e_23 - 0.3905e_123

We can now test whether `matrix_to_clifford()` is a group homomorphism:

    M1 <- rmat()
    M2 <- rmat()

    diff <- matrix_to_clifford(M1)*matrix_to_clifford(M2) - matrix_to_clifford(M1 %*% M2)
    diff

    ## Element of a Clifford algebra, equal to
    ## - 1.1102e-16 + 5.5511e-17e_12 - 5.5511e-17e_3 - 4.4409e-16e_123

    Mod(diff)

    ## [1] 4.6444e-16

We see agreement to numerical precision. Now we can coerce from a Clifford to a matrix:

    `clifford_to_matrix` <- function(C){
       return(
                              const(C)*s0 + getcoeffs(C,list(1))*sx
      +           getcoeffs(C,list(2))*sy + getcoeffs(C,list(3))*sz
      + getcoeffs(C,list(c(1,2,3)))*1i*s0 + getcoeffs(C,list(c(  2,3)))*1i*sx
      - getcoeffs(C,list(c(1,  3)))*1i*sy + getcoeffs(C,list(c(1,2  )))*1i*sz
      )
    }

    rc <- function(...){rcliff(100,d=3,g=3)}
    C <- 104 + rc()
    C

    ## Element of a Clifford algebra, equal to
    ## + 159 - 62e_1 - 68e_2 + 25e_12 + 90e_3 - 12e_13 + 56e_23 + 68e_123

    clifford_to_matrix(C)

    ##         [,1]     [,2]
    ## [1,] 249+93i -50+124i
    ## [2,] -74-12i  69+ 43i

Now test that the two coercion functions are inverses of one another:

    clifford_to_matrix(matrix_to_clifford(M)) - M

    ##                [,1]                   [,2]
    ## [1,]  0.0000e+00+0i 0.0000e+00-1.1102e-16i
    ## [2,] -5.5511e-17+0i 2.0817e-17+0.0000e+00i

    matrix_to_clifford(clifford_to_matrix(C))- C

    ## Element of a Clifford algebra, equal to
    ## the zero clifford element (0)

Now we can establish that `clifford_to_matrix()` is a homomorphism:

    C1 <- 222 + rc()
    C2 <- 333 + rc()
    clifford_to_matrix(C1*C2) - clifford_to_matrix(C1)%*%clifford_to_matrix(C2)

    ##      [,1] [,2]
    ## [1,] 0+0i 0+0i
    ## [2,] 0+0i 0+0i

## Closure

The reason that Pauli matrices are useful in physics is that they are closed under the Jordan operation \(x\circ y=(xy+yx)/2\), which we will verify for matrices and their Clifford representation.

    M1 <- as.1matrix(rchm(1,2))
    M2 <- as.1matrix(rchm(1,2))
    M1

    ##             [,1]        [,2]
    ## [1,]  0.81+0.00i -0.40-0.29i
    ## [2,] -0.40+0.29i -1.74+0.00i

    M2

    ##             [,1]        [,2]
    ## [1,] -0.94+0.00i -1.51+1.52i
    ## [2,] -1.51-1.52i  0.29+0.00i

    p1 <- (M1 %*% M2 + M2 %*% M1)/2
    p1 - ht(p1)  # zero for Hermitian matrices

    ##      [,1] [,2]
    ## [1,] 0+0i 0+0i
    ## [2,] 0+0i 0+0i

Above, see how \(M_1\circ M_2\) is Hermitian. Now, in Clifford form:

    C1 <- matrix_to_clifford(M1)
    C2 <- matrix_to_clifford(M2)
    p2 <- (C1 * C2 + C2 * C1)/2
    p2

    ## Element of a Clifford algebra, equal to
    ## - 0.4698 + 0.83215e_1 + 0.61255e_2 - 0.1284e_3

above, see how the clifford product `p2` is a pure Pauli matrix as its only nonzero coefficients are those of the scalar and the grade-one blades:

    grades(p2)

    ## A disord object with hash b7b8d86d713f791fe68919b13b758affd0edc86d and elements
    ## [1] 0 1 1 1
    ## (in some order)

## References

Hankin, R. K. S. 2023. “Jordan Algebra in R.” arXiv, https://arxiv.org/abs/2303.06062; arXiv. https://doi.org/10.48550/arXiv.2303.06062.
———. 2025. “Clifford Algebra in R: Introducing the clifford Package.” Advances in Applied Clifford Algebra 35 (51). https://doi.org/https://doi.org/10.1007/s00006-025-01403-9.