---
title: 'Pauli Lie Algebras: Theory & Applications'
url: https://www.emergentmind.com/topics/pauli-lie-algebras
type: topic
---

# Pauli Lie Algebras: Theory & Applications

Pauli Lie algebras denote a family of closely related structures organized around the Pauli matrices, Clifford algebras, and Lie algebras generated by Pauli operators. In the classical \(2\times 2\) setting, the span of the Pauli matrices under the commutator realizes \(\mathfrak{su}(2)\); in the Clifford-algebra setting, the same structure appears as the bivector Lie algebra of \(\mathrm{Cl}_{3,0}\), isomorphic to \(\mathfrak{so}(3)\) and represented by the anti-Hermitian matrices \(i\sigma_i\); in contemporary quantum-control usage, Pauli Lie algebras are Lie subalgebras of \(\mathfrak{su}(2^n)\) generated by Pauli strings and are also called dynamical Lie algebras or Hamiltonian Lie algebras [1709.06608] [2408.00081] [2603.08373].

## 1. Pauli matrices and the classical \(\mathfrak{su}(2)\) structure

The Pauli matrices are
\[
\sigma_0=\begin{pmatrix}1&0\\0&1\end{pmatrix},\quad
\sigma_1=\begin{pmatrix}0&1\\1&0\end{pmatrix},\quad
\sigma_2=\begin{pmatrix}0&-i\\ i&0\end{pmatrix},\quad
\sigma_3=\begin{pmatrix}1&0\\0&-1\end{pmatrix}.
\]
They are Hermitian, and \(\sigma_1,\sigma_2,\sigma_3\) are traceless. Their fundamental identities are
\[
\sigma_i\sigma_j=\delta_{ij}I+i\varepsilon_{ijk}\sigma_k,\qquad
\{\sigma_i,\sigma_j\}=2\delta_{ij}I,\qquad
[\sigma_i,\sigma_j]=2i\varepsilon_{ijk}\sigma_k.
\]
If one sets \(T_i:=\frac12\sigma_i\), then
\[
[T_i,T_j]=i\varepsilon_{ijk}T_k.
\]
Under the commutator, the span of \(\{\sigma_i\}\) realizes \(\mathfrak{su}(2)\) with structure constants \(\varepsilon_{ijk}\). In mathematical convention, \(\mathfrak{su}(2)\) consists of traceless anti-Hermitian \(2\times2\) matrices, with a standard basis \(i\sigma_i\); in physics convention, the Hermitian generators \(T_i=\sigma_i/2\) are used and the factor of \(i\) appears in the commutator [1709.06608] [2509.20929].

The same algebra governs spin-\(\tfrac12\) observables. For spin operators
\[
S_i=\frac{\hbar}{2}\sigma_i,
\]
one has
\[
[S_i,S_j]=i\hbar\,\varepsilon_{ijk}S_k,
\]
and the eigenvalues of \(S_3\) are \(\pm \hbar/2\). The ladder operators
\[
J_\pm=J_x\pm iJ_y,\qquad S_\pm=S_x\pm iS_y
\]
satisfy
\[
[S_z,S_\pm]=\pm\hbar\,S_\pm,\qquad [S_+,S_-]=2\hbar\,S_z.
\]
This is the basic Pauli Lie algebra in angular-momentum theory [2005.12274].

## 2. Clifford-algebra and spin-group realizations

In Clifford-algebra language, the defining relations are
\[
e_i e_j+e_j e_i = 2\eta_{ij}e.
\]
In the Euclidean case \(\mathrm{Cl}_n\equiv \mathrm{Cl}_{n,0}\), one has \(\eta_{ij}=\delta_{ij}\). A standard representation of \(\mathrm{Cl}_{3,0}\) is obtained by the map \(e_i\mapsto \sigma_i\), giving the explicit isomorphism \(\mathrm{Cl}_{3,0}\cong M(2,\mathbb C)\). The Pauli matrices therefore satisfy the Clifford relations for \(\eta_{ij}=\delta_{ij}\) [1709.06608].

The pseudoscalar
\[
I=e_1e_2e_3
\]
lies in the center for odd \(n\), and in \(\mathrm{Cl}_{3,0}\) one has
\[
I^2=(e_{123})^2=-e.
\]
In the matrix representation, \(I\) corresponds to \(iI_2\). The bivectors
\[
B_1=e_2e_3,\qquad B_2=e_3e_1,\qquad B_3=e_1e_2
\]
satisfy
\[
[B_i,B_j]=\varepsilon_{ijk}B_k
\]
up to overall sign conventions depending on basis orientation. Under \(\mathrm{Cl}_{3,0}\cong M(2,\mathbb C)\), these bivectors map as
\[
B_1\mapsto i\sigma_1,\qquad B_2\mapsto i\sigma_2,\qquad B_3\mapsto i\sigma_3,
\]
so that
\[
[i\sigma_i,i\sigma_j]=2\varepsilon_{ijk}i\sigma_k.
\]
Thus \(\mathfrak{su}(2)\) is realized by the anti-Hermitian matrices \(i\sigma_i\), while \(\mathfrak{so}(3)\) is realized by the bivector subspace \(C^2_{3,0}\); as real Lie algebras, \(\mathfrak{so}(3)\cong \mathfrak{su}(2)\) [1709.06608].

This realization generalizes. The Lie algebra of the spin group is the bivector subspace \(C^2_{p,q}\), and for basis vectors one has
\[
[e_a e_b,e_c e_d]
=
\eta_{bc}e_a e_d-\eta_{bd}e_a e_c-\eta_{ac}e_b e_d+\eta_{ad}e_b e_c.
\]
This realizes \(\mathfrak{so}(p,q)\) in the bivector subspace. The twisted adjoint map
\[
\widetilde{Ad}:\mathrm{Spin}(p,q)\to SO(p,q)
\]
is surjective with kernel \(\{\pm1\}\), so \(\mathrm{Spin}(p,q)\) is a double cover of \(SO(p,q)\). In Euclidean dimension three, \(\mathrm{Spin}(3)\cong SU(2)\), explaining the standard appearance of Pauli matrices in the physics of spin-\(\tfrac12\) [1709.06608].

A closely related quaternionic realization occurs in \(\mathrm{Cl}_{0,2}\cong \mathbb H\), where the quaternion units \(i,j,k\) satisfy \(i^2=j^2=k^2=-1\) and
\[
[i,j]=2k,\qquad [j,k]=2i,\qquad [k,i]=2j.
\]
With \(t_i=\frac12 i,\frac12 j,\frac12 k\), this gives
\[
[t_i,t_j]=\varepsilon_{ijk}t_k,
\]
again realizing \(\mathfrak{su}(2)\) [1709.06608].

## 3. Equivalence of Pauli-type realizations and the generalized Pauli theorem

A central structural result is the generalized Pauli theorem. If \(\{\gamma_a\}\) and \(\{\beta_a\}\) satisfy the same Clifford anticommutation relations,
\[
\gamma_a\gamma_b+\gamma_b\gamma_a=2\eta_{ab}e,\qquad
\beta_a\beta_b+\beta_b\beta_a=2\eta_{ab}e,
\]
then for even \(n=p+q\) there exists an invertible Clifford element \(T\), unique up to a scalar, such that
\[
\gamma_a=T^{-1}\beta_a T,\qquad a=1,\dots,n.
\]
For odd \(n\), there exists an invertible \(T\), unique up to multiplication by a central invertible, such that one of
\[
\gamma_a=T^{-1}\beta_a T,\qquad
\gamma_a=-T^{-1}\beta_a T,\qquad
\gamma_a=\pm e_{1\cdots n}T^{-1}\beta_a T,
\]
holds, and in the complexified case also
\[
\gamma_a=\pm i e_{1\cdots n}T^{-1}\beta_a T.
\]
This extends Pauli’s 1936 theorem on Dirac matrices to arbitrary signatures and dimensions [1709.06608].

The theorem has a constructive form through the method of averaging. The Reynolds operator on the Salingaros group is
\[
F(U)=\frac1{2^n}\sum_A e_A^{-1} U e_A,
\]
and it projects onto the center. For even \(n\), the conjugating element can be constructed as
\[
T=H(F):=\frac1{2^n}\sum_A \beta_A F(\gamma_A)^{-1},
\]
with \(F\) chosen from even or odd multi-index sets so that \(H(F)\neq 0\). For odd \(n\), one uses the even-index variant
\[
H_{\mathrm{Even}}(F)=\frac1{2^{n-1}}\sum_{A:\,|A|\ \mathrm{even}} \beta_A F\gamma_A^{-1}.
\]
These formulas produce invertible elements \(T\) proving that the two Clifford sets are conjugate [1709.06608].

In the context of Pauli Lie algebras, the consequence is explicit: embeddings of \(\mathfrak{su}(2)\)-like Lie algebras inside Clifford algebras are unique up to inner automorphisms produced by Spin or Clifford elements. Quaternion-type decompositions reinforce this point. Clifford elements can be partitioned into four subspaces \(\overline{0},\overline{1},\overline{2},\overline{3}\) by the combined action of grade involution and reversion, and their commutation patterns mimic quaternion multiplication; this helps identify \(\mathfrak{sp}(1)\cong\mathfrak{su}(2)\) as suitable triples of anticommuting elements squaring to \(-e\) [1709.06608].

## 4. Complexification, Lorentz symmetry, and spinor representations

For a real Lie algebra \(\mathfrak g\), the complexification \(\mathfrak g_\mathbb C\) can be written as the real vector space \(\mathfrak g\times\mathfrak g\) with complex scalar multiplication
\[
i\cdot (X,Y)=(-Y,X)
\]
and bracket
\[
[(X,Y),(X',Y')]
=
\big([X,X']-[Y,Y'],\ [X,Y']+[Y,X']\big).
\]
For a complex Lie algebra \(\mathfrak g\), if \(\mathfrak g^\mathbb R\) denotes scalar restriction to \(\mathbb R\), then
\[
(\mathfrak g^\mathbb R)_\mathbb C \simeq \mathfrak g\times \overline{\mathfrak g}.
\]
If \(\mathfrak g\) is semisimple, one can choose a basis with real structure constants, so \(\mathfrak g\cong \overline{\mathfrak g}\) and therefore
\[
(\mathfrak g^\mathbb R)_\mathbb C \simeq \mathfrak g\times \mathfrak g.
\]
In particular,
\[
\mathfrak{sl}(2,\mathbb C)\simeq (\mathfrak{su}(2))_\mathbb C.
\]
This makes the Pauli algebra the standard compact real form underlying \(\mathfrak{sl}(2,\mathbb C)\) [2509.20929].

Using Pauli matrices, a basis of \(\mathfrak{sl}(2,\mathbb C)\) is
\[
H=\sigma_3,\qquad
X=\frac{\sigma_1+i\sigma_2}{2},\qquad
Y=\frac{\sigma_1-i\sigma_2}{2},
\]
with
\[
[H,X]=2X,\qquad [H,Y]=-2Y,\qquad [X,Y]=H.
\]
The Lorentz algebra is then expressed through self-dual and anti-self-dual combinations
\[
A_i=\frac12(J_i+iK_i),\qquad B_i=\frac12(J_i-iK_i),
\]
which satisfy
\[
[A_i,A_j]=i\varepsilon_{ijk}A_k,\qquad
[B_i,B_j]=i\varepsilon_{ijk}B_k,\qquad
[A_i,B_j]=0.
\]
Hence
\[
\mathfrak{so}(3,1)_\mathbb C
\cong
\mathfrak{su}(2)_\mathbb C\oplus \mathfrak{su}(2)_\mathbb C
\cong
\mathfrak{sl}(2,\mathbb C)\oplus \mathfrak{sl}(2,\mathbb C).
\]
Finite-dimensional irreducible representations of the proper Lorentz group are therefore labeled by pairs of spins \((j_1,j_2)\), with
\[
\dim V^{(j_1,j_2)}=(2j_1+1)(2j_2+1),\qquad j_1,j_2\in \tfrac12\mathbb N.
\]
Examples include the scalar \((0,0)\), the left and right Weyl spinors \((\tfrac12,0)\) and \((0,\tfrac12)\), the Dirac spinor \((\tfrac12,0)\oplus(0,\tfrac12)\), and the vector \((\tfrac12,\tfrac12)\) [2509.20929].

Pauli matrices also provide the spinor-vector correspondence. With
\[
\sigma^\mu=(\mathbf 1_2,\sigma_i),\qquad
V=v_\mu \sigma^\mu=v_0\mathbf 1_2+v_i\sigma_i,
\]
the action
\[
V\mapsto V'=SVS^\dagger,\qquad S\in SL(2,\mathbb C),
\]
induces a Lorentz transformation on \(v^\mu\), characterized by
\[
S\sigma^\mu S^\dagger=\sigma^\nu \Lambda^\mu_{\ \nu}(S),\qquad
\det V=-v_\mu v^\mu.
\]
Thus \(SL(2,\mathbb C)\) is the double cover of \(SO^+(1,3)\), and the Pauli Lie algebra becomes the local algebraic building block of Lorentz representation theory [2509.20929].

## 5. Pauli gradings and Lie-superalgebra extensions

A distinct usage of the term concerns Pauli gradings. A Pauli grading is a fine group grading by an elementary abelian \(2\)-group, with all nonzero homogeneous components one-dimensional, arising from tensor powers of the \(2\times2\) Pauli matrices. For \(G\cong \mathbb Z_2\times \mathbb Z_2\), one may grade \(M_2(F)\) by
\[
M_2(F)=R_e\oplus R_a\oplus R_b\oplus R_{ab},
\]
where
\[
R_e=\langle I\rangle,\quad
R_a=\langle p_1\rangle,\quad
R_b=\langle p_2\rangle,\quad
R_{ab}=\langle p_3\rangle.
\]
Then \(\mathfrak{sl}_2(F)=\langle p_1,p_2,p_3\rangle\) becomes a homogeneous \(G\)-graded Lie subalgebra, giving the classical prototype of a Pauli grading on \(\mathfrak{sl}_2\) [1701.06844].

For \(q\ge 1\), tensoring \(q\) copies of the \(2\times2\) Pauli grading yields a \(G_0\)-grading on
\[
R=M_{2^q}(F),
\]
where every homogeneous component has dimension \(1\), every homogeneous element is invertible, and the transpose is controlled by the number of \(p_3\) factors. This tensor-power construction is lifted to the periplectic Lie superalgebra \(P(t)\), \(t=2^q\), realized inside \(M_{2t}(F)\) by
\[
L=P(t)=L(0)\oplus L(1),
\]
with
\[
L(0)=
\left\{
\begin{pmatrix}
A&0\\
0&A^T
\end{pmatrix}
:\ \mathrm{tr}(A)=0
\right\},
\qquad
L(1)=
\left\{
\begin{pmatrix}
0&B\\
C&0
\end{pmatrix}
:\ B^T=B,\ C^T=-C
\right\}.
\]
The induced \(G\)-grading on \(P(t)\) is compatible with the canonical \(\mathbb Z_2\)-supergrading, all homogeneous components are one-dimensional, nonzero homogeneous even elements are nondegenerate, and homogeneous brackets are either zero or invertible in the even part [1701.06844].

This fine structure makes possible exact asymptotic results for graded identities. If \(L=P(t)\) with \(t=2^q\) is equipped with the Pauli grading, then the graded PI-exponent exists and equals
\[
\exp_G(L)=t^2-1+t\sqrt{t^2-1}.
\]
For \(t=2\), this gives
\[
\exp_G(P(2))=3+2\sqrt3.
\]
In this usage, a “Pauli Lie algebra” is therefore not defined by the span of the Pauli matrices alone, but by a grading pattern induced from them and propagated to higher-rank matrix and superalgebra settings [1701.06844].

## 6. Dynamical Lie algebras generated by Pauli strings

In quantum control and many-qubit dynamics, Pauli Lie algebras are Lie subalgebras of \(\mathfrak{su}(2^n)\) generated by sets of Pauli strings. They are also called dynamical Lie algebras or Hamiltonian Lie algebras. For binary vectors \(a,b\in\mathbb F_2^n\), the standard encoding is
\[
P(a,b)=i^{a\cdot b}\prod_{j=1}^n X_j^{a_j}Z_j^{b_j},
\]
with symplectic form
\[
\langle (a,b),(a',b')\rangle = a\cdot b'+b\cdot a'.
\]
The commutation rule is
\[
P(a,b)P(a',b')=(-1)^{\langle (a,b),(a',b')\rangle}P(a',b')P(a,b),
\]
so \([P(a,b),P(a',b')]=0\) if and only if the symplectic pairing is zero [2603.08373].

A graph-theoretic classification reduces connected anti-commutation graphs to four canonical types. If \(\mathcal G\) is a set of Lie algebraically independent Paulis with connected anti-commutation graph \(\Gamma\), then its Pauli Lie algebra is one of
\[
\bigoplus_{i=1}^{2^{n_c}}\mathfrak{so}(n_L+1),\qquad
\bigoplus_{i=1}^{2^{n_c}}\mathfrak{sp}(2^{n_2}),\qquad
\bigoplus_{i=1}^{2^{n_c}}\mathfrak{so}(2^{n_2+3}),\qquad
\bigoplus_{i=1}^{2^{n_c}}\mathfrak{su}(2^{n_2+2}),
\]
according to whether the reduced graph is of type \(A\), \(B1\), \(B2\), or \(B3\). The complete analysis distinguishes six Clifford-inequivalent families: the free-fermionic classes \(A_I\) and \(A_D\), the symplectic class \(B1\), the orthogonal class \(B2\), the full Pauli class \(B3_D\), and the embedded real form \(B3_I\) [2408.00081].

The classification has a strong complexity consequence. For connected anti-commutation graphs, the only Pauli Lie algebras whose dimension is subexponential in the number of qubits are the free-fermionic classes of type \(A\). The \(B1\), \(B2\), and \(B3\) families have exponential dimension, with representative dimensions
\[
\dim\mathfrak{sp}(2^n)=2^{n-1}(2^n+1),\qquad
\dim\mathfrak{so}(2^n)=2^{n-1}(2^n-1),\qquad
\dim\mathfrak{su}(2^n)=4^n-1.
\]
This no-go result rules out small connected Pauli Lie algebras beyond the free-fermionic case [2408.00081].

A complementary uniform classification uses quadratic spaces over \(\mathbb F_2\). If the Pauli generators span a quadratic space \((W,q)\), with radical dimension \(r\) and quotient \(W/\mathrm{Rad}(q|_W)\), then the generated Lie algebra is determined by parity, the Witt decomposition, and the Arf invariant:
\[
\dim(W/\mathrm{Rad}(q|_W))=2k+1
\ \Longrightarrow\
L\simeq \bigoplus_{i=1}^{2^r}\mathfrak{su}(2^k),
\]
\[
\dim(W/\mathrm{Rad}(q|_W))=2k,\ \operatorname{Arf}=0
\ \Longrightarrow\
L\simeq \bigoplus_{i=1}^{2^r}\mathfrak{so}(2^k),
\]
\[
\dim(W/\mathrm{Rad}(q|_W))=2k,\ \operatorname{Arf}=1
\ \Longrightarrow\
L\simeq \bigoplus_{i=1}^{2^r}\mathfrak{sp}(2^k).
\]
The same paper gives an algorithm that, on input of \(n\) qubits and a generating set of size \(m\), determines the isomorphism type of the generated Lie algebra in time
\[
\mathcal O(\max(n,m)^3).
\]
For full controllability one must have \(L=\mathfrak{su}(2^n)\), and a necessary and sufficient criterion is that the frustration graph is connected, contains one of the \(32\) forbidden \(E_6\)-subgraphs, and that the generator vectors span the full quadratic space \(V\) of dimension \(2n+1\); in particular, \(|S|\ge 2n+1\) [2603.08373].

## 7. Generalizations and adjacent physical contexts

Several adjacent literatures extend the Pauli-Lie-algebra paradigm beyond ordinary binary commutators. One direction replaces the usual \(\mathbb Z_2\)-graded antisymmetry by a \(\mathbb Z_3\)-graded associative algebra generated by elements \(\theta^A\) satisfying the cyclic cubic relations
\[
\theta^A\theta^B\theta^C
=
j\,\theta^B\theta^C\theta^A
=
j^2\,\theta^C\theta^A\theta^B,
\qquad
j=e^{2\pi i/3},
\]
together with conjugate generators and mixed \(\mathbb Z_6\)-grading relations. In the two-generator case, invariant cubic forms force the change-of-basis group to be \(SL(2,\mathbb C)\), while bilinear maps
\[
\pi^\mu_{A\dot B}=j^2 i\,\sigma^\mu_{A\dot B}
\]
recover the Pauli spinor-vector dictionary and the Minkowski metric. The model suggests the origin of the color \(SU(3)\) symmetry and extends the Pauli-Lorentz mechanism to a ternary setting [1712.10006].

Another direction studies Lie-algebraic noncommutative quantum mechanics with coordinate relations
\[
[x_a,x_b]=i\theta f_{abc}x_c.
\]
For \(\mathfrak{su}(2)\), \(f_{abc}=\varepsilon_{abc}\), so the noncommuting coordinates realize the \(\mathfrak{su}(2)\) algebra up to the scale \(\theta\). After a canonical transformation, the operators become
\[
\hat x_a=-i\hat D_a=-iE_{ab}(X)\frac{\partial}{\partial X_b},
\]
with
\[
[\hat D_a,\hat D_b]=-\theta f_{abc}\hat D_c,
\qquad
\hat H=-\frac12\hat D_a^2.
\]
The Hamiltonian is the Laplace–Beltrami operator on the corresponding group manifold; in the \(\mathfrak{su}(2)\) case the scalar curvature is
\[
R=\frac32\theta^2,
\]
corresponding to a round \(3\)-sphere of radius
\[
p=\frac2\theta.
\]
An alternative coordinate system gives the metric of \(RP^3=S^3/\mathbb Z_2\cong SO(3)\), displaying again the close relation between Pauli commutation relations, \(\mathfrak{su}(2)\), and rotation geometry [2204.08705].

In the Schrödinger–Pauli equation for neutral particles,
\[
i\partial_t\psi=H\psi,\qquad
H=-\frac1{2m}\Delta+V(x),\qquad
V(x)=V_0(x)I+\sum_{a=1}^3 V_a(x)\sigma_a,
\]
the internal Pauli Lie algebra is generated by
\[
S_i=\frac12\sigma_i,\qquad [S_i,S_j]=i\varepsilon_{ijk}S_k.
\]
If \(V\) is scalar, the full internal \(\mathfrak{su}(2)\) commutes with \(H\); if \(V\) contains \(\sigma\)-dependent terms commuting with a fixed axis, the surviving internal symmetry is typically the \(u(1)\) generated by \(S_3\). The spatial symmetry algebra belongs to the Galilei or Schrödinger family, and the full classification yields \(33\) inequivalent Schrödinger–Pauli equations with their associated symmetry groups. In this setting, “Pauli Lie algebra” refers both to the internal spin \(\mathfrak{su}(2)\) and to its interaction with spacetime symmetry algebras [2004.08305].

Across these formulations, the recurrent pattern is exact rather than metaphorical: Pauli matrices generate \(\mathfrak{su}(2)\); bivectors in Clifford algebras realize \(\mathfrak{so}(3)\cong\mathfrak{su}(2)\); complexification produces \(\mathfrak{sl}(2,\mathbb C)\) and the Lorentz decomposition; tensor-power and grading constructions lift Pauli structure to Lie superalgebras; and Pauli strings on \(n\) qubits generate a finite list of dynamical Lie-algebra types classified by graph reductions or quadratic-space invariants [1709.06608] [2509.20929] [1701.06844] [2408.00081] [2603.08373].

Source: https://www.emergentmind.com/topics/pauli-lie-algebras