Pauli Lie Algebras: Theory & Applications

• Pauli Lie algebras are algebraic structures defined by the commutators of Pauli matrices and strings, forming the basis for describing spin states and angular momentum.
• They are realized in multiple representations including su(2), so(3), and Clifford algebras, underpinning key areas in quantum mechanics and symmetry analysis.
• Extensions of Pauli Lie algebras include graded and superalgebra frameworks that are applied in quantum control, noncommutative mechanics, and advanced classification of dynamical Lie algebras.

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 (Shirokov, 2017, Aguilar et al., 2024, Cuypers, 9 Mar 2026).

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 $\mathfrak{su}(2)$0, then

$\mathfrak{su}(2)$1

Under the commutator, the span of $\mathfrak{su}(2)$2 realizes $\mathfrak{su}(2)$3 with structure constants $\mathfrak{su}(2)$4. In mathematical convention, $\mathfrak{su}(2)$5 consists of traceless anti-Hermitian $\mathfrak{su}(2)$6 matrices, with a standard basis $\mathfrak{su}(2)$7; in physics convention, the Hermitian generators $\mathfrak{su}(2)$8 are used and the factor of $\mathfrak{su}(2)$9 appears in the commutator (Shirokov, 2017, Marsault et al., 25 Sep 2025).

The same algebra governs spin-$\mathrm{Cl}_{3,0}$0 observables. For spin operators

$\mathrm{Cl}_{3,0}$1

one has

$\mathrm{Cl}_{3,0}$2

and the eigenvalues of $\mathrm{Cl}_{3,0}$3 are $\mathrm{Cl}_{3,0}$4. The ladder operators

$\mathrm{Cl}_{3,0}$5

satisfy

$\mathrm{Cl}_{3,0}$6

This is the basic Pauli Lie algebra in angular-momentum theory (Hounkonnou et al., 2020).

2. Clifford-algebra and spin-group realizations

In Clifford-algebra language, the defining relations are

$\mathrm{Cl}_{3,0}$7

In the Euclidean case $\mathrm{Cl}_{3,0}$8, one has $\mathrm{Cl}_{3,0}$9. A standard representation of $\mathfrak{so}(3)$0 is obtained by the map $\mathfrak{so}(3)$1, giving the explicit isomorphism $\mathfrak{so}(3)$2. The Pauli matrices therefore satisfy the Clifford relations for $\mathfrak{so}(3)$3 (Shirokov, 2017).

The pseudoscalar

$\mathfrak{so}(3)$4

lies in the center for odd $\mathfrak{so}(3)$5, and in $\mathfrak{so}(3)$6 one has

$\mathfrak{so}(3)$7

In the matrix representation, $\mathfrak{so}(3)$8 corresponds to $\mathfrak{so}(3)$9. The bivectors

$i\sigma_i$0

satisfy

$i\sigma_i$1

up to overall sign conventions depending on basis orientation. Under $i\sigma_i$2, these bivectors map as

$i\sigma_i$3

so that

$i\sigma_i$4

Thus $i\sigma_i$5 is realized by the anti-Hermitian matrices $i\sigma_i$6, while $i\sigma_i$7 is realized by the bivector subspace $i\sigma_i$8; as real Lie algebras, $i\sigma_i$9 (Shirokov, 2017).

This realization generalizes. The Lie algebra of the spin group is the bivector subspace $\mathfrak{su}(2^n)$0, and for basis vectors one has

$\mathfrak{su}(2^n)$1

This realizes $\mathfrak{su}(2^n)$2 in the bivector subspace. The twisted adjoint map

$\mathfrak{su}(2^n)$3

is surjective with kernel $\mathfrak{su}(2^n)$4, so $\mathfrak{su}(2^n)$5 is a double cover of $\mathfrak{su}(2^n)$6. In Euclidean dimension three, $\mathfrak{su}(2^n)$7, explaining the standard appearance of Pauli matrices in the physics of spin-$\mathfrak{su}(2^n)$8 (Shirokov, 2017).

A closely related quaternionic realization occurs in $\mathfrak{su}(2^n)$9, where the quaternion units $\mathfrak{su}(2)$0 satisfy $\mathfrak{su}(2)$1 and

$\mathfrak{su}(2)$2

With $\mathfrak{su}(2)$3, this gives

$\mathfrak{su}(2)$4

again realizing $\mathfrak{su}(2)$5 (Shirokov, 2017).

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

A central structural result is the generalized Pauli theorem. If $\mathfrak{su}(2)$6 and $\mathfrak{su}(2)$7 satisfy the same Clifford anticommutation relations,

$\mathfrak{su}(2)$8

then for even $\mathfrak{su}(2)$9 there exists an invertible Clifford element $\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}.$0, unique up to a scalar, such that

$\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}.$1

For odd $\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}.$2, there exists an invertible $\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}.$3, unique up to multiplication by a central invertible, such that one of

$\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}.$4

holds, and in the complexified case also

$\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}.$5

This extends Pauli’s 1936 theorem on Dirac matrices to arbitrary signatures and dimensions (Shirokov, 2017).

The theorem has a constructive form through the method of averaging. The Reynolds operator on the Salingaros group is

$\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}.$6

and it projects onto the center. For even $\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}.$7, the conjugating element can be constructed as

$\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}.$8

with $\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}.$9 chosen from even or odd multi-index sets so that $\sigma_1,\sigma_2,\sigma_3$0. For odd $\sigma_1,\sigma_2,\sigma_3$1, one uses the even-index variant

$\sigma_1,\sigma_2,\sigma_3$2

These formulas produce invertible elements $\sigma_1,\sigma_2,\sigma_3$3 proving that the two Clifford sets are conjugate (Shirokov, 2017).

In the context of Pauli Lie algebras, the consequence is explicit: embeddings of $\sigma_1,\sigma_2,\sigma_3$4-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 $\sigma_1,\sigma_2,\sigma_3$5 by the combined action of grade involution and reversion, and their commutation patterns mimic quaternion multiplication; this helps identify $\sigma_1,\sigma_2,\sigma_3$6 as suitable triples of anticommuting elements squaring to $\sigma_1,\sigma_2,\sigma_3$7 (Shirokov, 2017).

4. Complexification, Lorentz symmetry, and spinor representations

For a real Lie algebra $\sigma_1,\sigma_2,\sigma_3$8, the complexification $\sigma_1,\sigma_2,\sigma_3$9 can be written as the real vector space $$\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.$$0 with complex scalar multiplication

$$\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.$$1

and bracket

$$\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.$$2

For a complex Lie algebra $$\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.$$3, if $$\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.$$4 denotes scalar restriction to $$\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.$$5, then

$$\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.$$6

If $$\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.$$7 is semisimple, one can choose a basis with real structure constants, so $$\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.$$8 and therefore

$$\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.$$9

In particular,

$\mathfrak{su}(2)$00

This makes the Pauli algebra the standard compact real form underlying $\mathfrak{su}(2)$01 (Marsault et al., 25 Sep 2025).

Using Pauli matrices, a basis of $\mathfrak{su}(2)$02 is

$\mathfrak{su}(2)$03

with

$\mathfrak{su}(2)$04

The Lorentz algebra is then expressed through self-dual and anti-self-dual combinations

$\mathfrak{su}(2)$05

which satisfy

$\mathfrak{su}(2)$06

Hence

$\mathfrak{su}(2)$07

Finite-dimensional irreducible representations of the proper Lorentz group are therefore labeled by pairs of spins $\mathfrak{su}(2)$08, with

$\mathfrak{su}(2)$09

Examples include the scalar $\mathfrak{su}(2)$10, the left and right Weyl spinors $\mathfrak{su}(2)$11 and $\mathfrak{su}(2)$12, the Dirac spinor $\mathfrak{su}(2)$13, and the vector $\mathfrak{su}(2)$14 (Marsault et al., 25 Sep 2025).

Pauli matrices also provide the spinor-vector correspondence. With

$\mathfrak{su}(2)$15

the action

$\mathfrak{su}(2)$16

induces a Lorentz transformation on $\mathfrak{su}(2)$17, characterized by

$\mathfrak{su}(2)$18

Thus $\mathfrak{su}(2)$19 is the double cover of $\mathfrak{su}(2)$20, and the Pauli Lie algebra becomes the local algebraic building block of Lorentz representation theory (Marsault et al., 25 Sep 2025).

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 $\mathfrak{su}(2)$21-group, with all nonzero homogeneous components one-dimensional, arising from tensor powers of the $\mathfrak{su}(2)$22 Pauli matrices. For $\mathfrak{su}(2)$23, one may grade $\mathfrak{su}(2)$24 by

$\mathfrak{su}(2)$25

where

$\mathfrak{su}(2)$26

Then $\mathfrak{su}(2)$27 becomes a homogeneous $\mathfrak{su}(2)$28-graded Lie subalgebra, giving the classical prototype of a Pauli grading on $\mathfrak{su}(2)$29 (Repovš et al., 2017).

For $\mathfrak{su}(2)$30, tensoring $\mathfrak{su}(2)$31 copies of the $\mathfrak{su}(2)$32 Pauli grading yields a $\mathfrak{su}(2)$33-grading on

$\mathfrak{su}(2)$34

where every homogeneous component has dimension $\mathfrak{su}(2)$35, every homogeneous element is invertible, and the transpose is controlled by the number of $\mathfrak{su}(2)$36 factors. This tensor-power construction is lifted to the periplectic Lie superalgebra $\mathfrak{su}(2)$37, $\mathfrak{su}(2)$38, realized inside $\mathfrak{su}(2)$39 by

$\mathfrak{su}(2)$40

with

$\mathfrak{su}(2)$41

The induced $\mathfrak{su}(2)$42-grading on $\mathfrak{su}(2)$43 is compatible with the canonical $\mathfrak{su}(2)$44-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 (Repovš et al., 2017).

This fine structure makes possible exact asymptotic results for graded identities. If $\mathfrak{su}(2)$45 with $\mathfrak{su}(2)$46 is equipped with the Pauli grading, then the graded PI-exponent exists and equals

$\mathfrak{su}(2)$47

For $\mathfrak{su}(2)$48, this gives

$\mathfrak{su}(2)$49

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 (Repovš et al., 2017).

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)$50 generated by sets of Pauli strings. They are also called dynamical Lie algebras or Hamiltonian Lie algebras. For binary vectors $\mathfrak{su}(2)$51, the standard encoding is

$\mathfrak{su}(2)$52

with symplectic form

$\mathfrak{su}(2)$53

The commutation rule is

$\mathfrak{su}(2)$54

so $\mathfrak{su}(2)$55 if and only if the symplectic pairing is zero (Cuypers, 9 Mar 2026).

A graph-theoretic classification reduces connected anti-commutation graphs to four canonical types. If $\mathfrak{su}(2)$56 is a set of Lie algebraically independent Paulis with connected anti-commutation graph $\mathfrak{su}(2)$57, then its Pauli Lie algebra is one of

$\mathfrak{su}(2)$58

according to whether the reduced graph is of type $\mathfrak{su}(2)$59, $\mathfrak{su}(2)$60, $\mathfrak{su}(2)$61, or $\mathfrak{su}(2)$62. The complete analysis distinguishes six Clifford-inequivalent families: the free-fermionic classes $\mathfrak{su}(2)$63 and $\mathfrak{su}(2)$64, the symplectic class $\mathfrak{su}(2)$65, the orthogonal class $\mathfrak{su}(2)$66, the full Pauli class $\mathfrak{su}(2)$67, and the embedded real form $\mathfrak{su}(2)$68 (Aguilar et al., 2024).

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 $\mathfrak{su}(2)$69. The $\mathfrak{su}(2)$70, $\mathfrak{su}(2)$71, and $\mathfrak{su}(2)$72 families have exponential dimension, with representative dimensions

$\mathfrak{su}(2)$73

This no-go result rules out small connected Pauli Lie algebras beyond the free-fermionic case (Aguilar et al., 2024).

A complementary uniform classification uses quadratic spaces over $\mathfrak{su}(2)$74. If the Pauli generators span a quadratic space $\mathfrak{su}(2)$75, with radical dimension $\mathfrak{su}(2)$76 and quotient $\mathfrak{su}(2)$77, then the generated Lie algebra is determined by parity, the Witt decomposition, and the Arf invariant: $\mathfrak{su}(2)$78

$\mathfrak{su}(2)$79

$\mathfrak{su}(2)$80

The same paper gives an algorithm that, on input of $\mathfrak{su}(2)$81 qubits and a generating set of size $\mathfrak{su}(2)$82, determines the isomorphism type of the generated Lie algebra in time

$\mathfrak{su}(2)$83

For full controllability one must have $\mathfrak{su}(2)$84, and a necessary and sufficient criterion is that the frustration graph is connected, contains one of the $\mathfrak{su}(2)$85 forbidden $\mathfrak{su}(2)$86-subgraphs, and that the generator vectors span the full quadratic space $\mathfrak{su}(2)$87 of dimension $\mathfrak{su}(2)$88; in particular, $\mathfrak{su}(2)$89 (Cuypers, 9 Mar 2026).

7. Generalizations and adjacent physical contexts

Several adjacent literatures extend the Pauli-Lie-algebra paradigm beyond ordinary binary commutators. One direction replaces the usual $\mathfrak{su}(2)$90-graded antisymmetry by a $\mathfrak{su}(2)$91-graded associative algebra generated by elements $\mathfrak{su}(2)$92 satisfying the cyclic cubic relations

$\mathfrak{su}(2)$93

together with conjugate generators and mixed $\mathfrak{su}(2)$94-grading relations. In the two-generator case, invariant cubic forms force the change-of-basis group to be $\mathfrak{su}(2)$95, while bilinear maps

$\mathfrak{su}(2)$96

recover the Pauli spinor-vector dictionary and the Minkowski metric. The model suggests the origin of the color $\mathfrak{su}(2)$97 symmetry and extends the Pauli-Lorentz mechanism to a ternary setting (Kerner, 2017).

Another direction studies Lie-algebraic noncommutative quantum mechanics with coordinate relations

$\mathfrak{su}(2)$98

For $\mathfrak{su}(2)$99, $\mathrm{Cl}_{3,0}$00, so the noncommuting coordinates realize the $\mathrm{Cl}_{3,0}$01 algebra up to the scale $\mathrm{Cl}_{3,0}$02. After a canonical transformation, the operators become

$\mathrm{Cl}_{3,0}$03

with

$\mathrm{Cl}_{3,0}$04

The Hamiltonian is the Laplace–Beltrami operator on the corresponding group manifold; in the $\mathrm{Cl}_{3,0}$05 case the scalar curvature is

$\mathrm{Cl}_{3,0}$06

corresponding to a round $\mathrm{Cl}_{3,0}$07-sphere of radius

$\mathrm{Cl}_{3,0}$08

An alternative coordinate system gives the metric of $\mathrm{Cl}_{3,0}$09, displaying again the close relation between Pauli commutation relations, $\mathrm{Cl}_{3,0}$10, and rotation geometry (Smilga, 2022).

In the Schrödinger–Pauli equation for neutral particles,

$\mathrm{Cl}_{3,0}$11

the internal Pauli Lie algebra is generated by

$\mathrm{Cl}_{3,0}$12

If $\mathrm{Cl}_{3,0}$13 is scalar, the full internal $\mathrm{Cl}_{3,0}$14 commutes with $\mathrm{Cl}_{3,0}$15; if $\mathrm{Cl}_{3,0}$16 contains $\mathrm{Cl}_{3,0}$17-dependent terms commuting with a fixed axis, the surviving internal symmetry is typically the $\mathrm{Cl}_{3,0}$18 generated by $\mathrm{Cl}_{3,0}$19. The spatial symmetry algebra belongs to the Galilei or Schrödinger family, and the full classification yields $\mathrm{Cl}_{3,0}$20 inequivalent Schrödinger–Pauli equations with their associated symmetry groups. In this setting, “Pauli Lie algebra” refers both to the internal spin $\mathrm{Cl}_{3,0}$21 and to its interaction with spacetime symmetry algebras (Nikitin, 2020).

Across these formulations, the recurrent pattern is exact rather than metaphorical: Pauli matrices generate $\mathrm{Cl}_{3,0}$22; bivectors in Clifford algebras realize $\mathrm{Cl}_{3,0}$23; complexification produces $\mathrm{Cl}_{3,0}$24 and the Lorentz decomposition; tensor-power and grading constructions lift Pauli structure to Lie superalgebras; and Pauli strings on $\mathrm{Cl}_{3,0}$25 qubits generate a finite list of dynamical Lie-algebra types classified by graph reductions or quadratic-space invariants (Shirokov, 2017, Marsault et al., 25 Sep 2025, Repovš et al., 2017, Aguilar et al., 2024, Cuypers, 9 Mar 2026).