Skip to content

Pauli Matrices

The Pauli matrices form a trace-orthogonal basis for complex 2×22\times2 matrices. They encode spin-1/21/2 generators, qubit observables, two-level Hamiltonians, Bloch vectors, and the smallest nontrivial representation of the angular-momentum algebra.

This page is a convention-fixed calculation table. For derivations and geometric interpretation, use the canonical Pauli Matrices in Spin-1/2 Systems page or the linear-algebra treatment of Pauli Matrices.

Included here:

  • the identity and three Pauli matrices;
  • products, commutators, anticommutators, and traces;
  • eigenvectors and spectral projectors;
  • vector, exponential, and rotation identities;
  • decomposition of arbitrary 2×22\times2 matrices;
  • qubit density matrices and two-level Hamiltonians;
  • conversion between Pauli and physical spin operators.

General spin-jj representations belong in the Spin Matrices table. Gate conventions and controlled operations belong in Quantum Gates.

Use the ordered orthonormal basis

{∣0⟩,∣1⟩},∣0⟩=(10),∣1⟩=(01),\lbrace\lvert 0\rangle,\lvert 1\rangle\rbrace, \qquad \lvert 0\rangle= \begin{pmatrix}1\\0\end{pmatrix}, \qquad \lvert 1\rangle= \begin{pmatrix}0\\1\end{pmatrix},

with

σz∣0⟩=+∣0⟩,σz∣1⟩=−∣1⟩.\sigma_z\lvert 0\rangle=+\lvert 0\rangle, \qquad \sigma_z\lvert 1\rangle=-\lvert 1\rangle.

In spin language, these states are also written ∣+z⟩\lvert {+z}\rangle and ∣−z⟩\lvert {-z}\rangle. Cartesian indices run over x,y,zx,y,z, the orientation is ϵxyz=+1\epsilon_{xyz}=+1, and repeated Cartesian indices are summed when doing so is unambiguous.

Physical spin operators carry angular-momentum units:

Si=ℏ2σi.S_i=\frac{\hbar}{2}\sigma_i.

Active rotations of states use

Rn^(θ)=exp⁡(−iθ2 n^⋅σ),R_{\hat{\boldsymbol n}}(\theta) =\exp\left( -\frac{i\theta}{2}\, \hat{\boldsymbol n}\cdot\boldsymbol{\sigma} \right),

where n^\hat{\boldsymbol n} is a real unit vector and positive θ\theta follows the right-hand rule.

SymbolMatrix in the stated basisTraceDeterminantEigenvalues
II(1001)\begin{pmatrix}1&0\\0&1\end{pmatrix}22111,11,1
σx\sigma_x(0110)\begin{pmatrix}0&1\\1&0\end{pmatrix}00−1-1+1,−1+1,-1
σy\sigma_y(0−ii0)\begin{pmatrix}0&-i\\i&0\end{pmatrix}00−1-1+1,−1+1,-1
σz\sigma_z(100−1)\begin{pmatrix}1&0\\0&-1\end{pmatrix}00−1-1+1,−1+1,-1

The names X,Y,ZX,Y,Z are common in quantum information:

X≡σx,Y≡σy,Z≡σz.X\equiv\sigma_x, \qquad Y\equiv\sigma_y, \qquad Z\equiv\sigma_z.
PropertyIIσx\sigma_xσy\sigma_yσz\sigma_z
Hermitian conjugateIIσx\sigma_xσy\sigma_yσz\sigma_z
SquareIIIIIIII
InverseIIσx\sigma_xσy\sigma_yσz\sigma_z
TransposeIIσx\sigma_x−σy-\sigma_yσz\sigma_z
Complex conjugateIIσx\sigma_x−σy-\sigma_yσz\sigma_z

Thus each σi\sigma_i is Hermitian and unitary:

σi†=σi,σi−1=σi,σi2=I.\sigma_i^\dagger=\sigma_i, \qquad \sigma_i^{-1}=\sigma_i, \qquad \sigma_i^2=I.

The row factor multiplies the column factor in the displayed order.

Row ×\times columnσx\sigma_xσy\sigma_yσz\sigma_z
σx\sigma_xIIiσzi\sigma_z−iσy-i\sigma_y
σy\sigma_y−iσz-i\sigma_zIIiσxi\sigma_x
σz\sigma_ziσyi\sigma_y−iσx-i\sigma_xII

Equivalently,

σiσj=δijI+iϵijkσk.\sigma_i\sigma_j =\delta_{ij}I+i\epsilon_{ijk}\sigma_k.

The order matters whenever i≠ji\ne j. Reversing two distinct Pauli matrices changes the sign:

σiσj=−σjσi(i≠j).\sigma_i\sigma_j=-\sigma_j\sigma_i \qquad (i\ne j).

Useful consequences are

IdentityFormula
Commutator[σi,σj]=2iϵijkσk[\sigma_i,\sigma_j]=2i\epsilon_{ijk}\sigma_k
Anticommutator{σi,σj}=2δijI\{\sigma_i,\sigma_j\}=2\delta_{ij}I
Single tracetr⁡σi=0\operatorname{tr}\sigma_i=0
Pair tracetr⁡(σiσj)=2δij\operatorname{tr}(\sigma_i\sigma_j)=2\delta_{ij}
Triple tracetr⁡(σiσjσk)=2iϵijk\operatorname{tr}(\sigma_i\sigma_j\sigma_k)=2i\epsilon_{ijk}
Four-factor tracetr⁡(σiσjσkσl)=2(δijδkl−δikδjl+δilδjk)\operatorname{tr}(\sigma_i\sigma_j\sigma_k\sigma_l)=2(\delta_{ij}\delta_{kl}-\delta_{ik}\delta_{jl}+\delta_{il}\delta_{jk})

The following normalized eigenvectors use the basis and phases fixed above.

MatrixEigenvalue +1+1Eigenvalue −1-1
σx\sigma_x12(11)\frac{1}{\sqrt2}\begin{pmatrix}1\\1\end{pmatrix}12(1−1)\frac{1}{\sqrt2}\begin{pmatrix}1\\-1\end{pmatrix}
σy\sigma_y12(1i)\frac{1}{\sqrt2}\begin{pmatrix}1\\i\end{pmatrix}12(1−i)\frac{1}{\sqrt2}\begin{pmatrix}1\\-i\end{pmatrix}
σz\sigma_z(10)\begin{pmatrix}1\\0\end{pmatrix}(01)\begin{pmatrix}0\\1\end{pmatrix}

Multiplying either eigenvector by an overall phase gives the same ray. The relative phase between its components is fixed by the eigenvalue equation.

For any real unit vector n^\hat{\boldsymbol n}, n^⋅σ\hat{\boldsymbol n}\cdot\boldsymbol{\sigma} has eigenvalues ±1\pm1 and spectral projectors

P±(n^)=12(I±n^⋅σ).P_\pm(\hat{\boldsymbol n}) =\frac{1}{2} \left( I\pm\hat{\boldsymbol n}\cdot\boldsymbol{\sigma} \right).

They obey

P±2=P±,P+P−=0,P++P−=I,(n^⋅σ)P±=±P±.\begin{gathered} P_\pm^2=P_\pm, \qquad P_+P_-=0, \qquad P_++P_-=I, \\ (\hat{\boldsymbol n}\cdot\boldsymbol{\sigma})P_\pm =\pm P_\pm. \end{gathered}

The probability of outcome ±1\pm1 in state ρ\rho is p±=tr⁡(ρP±)p_\pm=\operatorname{tr}(\rho P_\pm).

For real or complex three-component vectors a\boldsymbol a and b\boldsymbol b,

(a⋅σ)(b⋅σ)=(a⋅b)I+i(a×b)⋅σ.(\boldsymbol a\cdot\boldsymbol{\sigma}) (\boldsymbol b\cdot\boldsymbol{\sigma}) = (\boldsymbol a\cdot\boldsymbol b)I +i(\boldsymbol a\times\boldsymbol b) \cdot\boldsymbol{\sigma}.

Consequently,

{a⋅σ,b⋅σ}=2(a⋅b)I,[a⋅σ,b⋅σ]=2i(a×b)⋅σ.\begin{aligned} \lbrace \boldsymbol a\cdot\boldsymbol{\sigma}, \boldsymbol b\cdot\boldsymbol{\sigma} \rbrace &=2(\boldsymbol a\cdot\boldsymbol b)I, \\ [ \boldsymbol a\cdot\boldsymbol{\sigma}, \boldsymbol b\cdot\boldsymbol{\sigma} ] &=2i(\boldsymbol a\times\boldsymbol b) \cdot\boldsymbol{\sigma}. \end{aligned}

For a real unit vector n^\hat{\boldsymbol n},

(n^⋅σ)2=I.(\hat{\boldsymbol n}\cdot\boldsymbol{\sigma})^2=I.

This reduces analytic functions to their even and odd parts. Two especially useful cases are

exp⁡(αn^⋅σ)=cosh⁡α I+sinh⁡α n^⋅σ,exp⁡(−iθ2n^⋅σ)=cos⁡θ2 I−isin⁡θ2 n^⋅σ.\begin{aligned} \exp\left( \alpha\hat{\boldsymbol n}\cdot\boldsymbol{\sigma} \right) &= \cosh\alpha\,I +\sinh\alpha\, \hat{\boldsymbol n}\cdot\boldsymbol{\sigma}, \\ \exp\left( -\frac{i\theta}{2} \hat{\boldsymbol n}\cdot\boldsymbol{\sigma} \right) &= \cos\frac{\theta}{2}\,I -i\sin\frac{\theta}{2}\, \hat{\boldsymbol n}\cdot\boldsymbol{\sigma}. \end{aligned}

For the active-rotation convention stated above,

Rn^(θ)(a⋅σ)Rn^†(θ)=[Rn^(θ)a]⋅σ,R_{\hat{\boldsymbol n}}(\theta) (\boldsymbol a\cdot\boldsymbol{\sigma}) R_{\hat{\boldsymbol n}}^\dagger(\theta) = \left[ \mathcal R_{\hat{\boldsymbol n}}(\theta) \boldsymbol a \right]\cdot\boldsymbol{\sigma},

where Rn^(θ)\mathcal R_{\hat{\boldsymbol n}}(\theta) is the ordinary three-dimensional right-handed rotation.

Every complex 2×22\times2 matrix AA has the unique expansion

A=a0I+a⋅σ,A=a_0I+\boldsymbol a\cdot\boldsymbol{\sigma},

with

a0=12tr⁡A,ai=12tr⁡(σiA).a_0=\frac{1}{2}\operatorname{tr}A, \qquad a_i=\frac{1}{2}\operatorname{tr}(\sigma_iA).

The trace orthogonality of {I,σx,σy,σz}\lbrace I,\sigma_x,\sigma_y,\sigma_z\rbrace makes these coefficients immediate. Useful invariants are

tr⁡A=2a0,det⁡A=a02−a⋅a.\operatorname{tr}A=2a_0, \qquad \det A=a_0^2-\boldsymbol a\cdot\boldsymbol a.

Here a⋅a=∑iai2\boldsymbol a\cdot\boldsymbol a=\sum_i a_i^2, without complex conjugation. The matrix AA is Hermitian exactly when a0a_0 and all aia_i are real. For a Hermitian matrix its eigenvalues are

λ±=a0±∥a∥.\lambda_\pm=a_0\pm\lVert\boldsymbol a\rVert.

A qubit density operator has the Bloch form

ρ=12(I+r⋅σ),r∈R3,∥r∥≤1.\rho =\frac{1}{2} \left( I+\boldsymbol r\cdot\boldsymbol{\sigma} \right), \qquad \boldsymbol r\in\mathbb R^3, \qquad \lVert\boldsymbol r\rVert\le1.

The Bloch components are observable expectation values:

ri=tr⁡(ρσi)=⟨σi⟩.r_i=\operatorname{tr}(\rho\sigma_i) =\langle\sigma_i\rangle.
QuantityExpression
Eigenvalues of ρ\rho(1±∥r∥)/2(1\pm\lVert\boldsymbol r\rVert)/2
Determinant(1−∥r∥2)/4(1-\lVert\boldsymbol r\rVert^2)/4
Puritytr⁡(ρ2)=(1+∥r∥2)/2\operatorname{tr}(\rho^2)=(1+\lVert\boldsymbol r\rVert^2)/2
Pure-state condition∥r∥=1\lVert\boldsymbol r\rVert=1
Maximally mixed stater=0\boldsymbol r=\boldsymbol 0, so ρ=I/2\rho=I/2
Directional probabilityp±=(1±r⋅n^)/2p_\pm=(1\pm\boldsymbol r\cdot\hat{\boldsymbol n})/2

For an observable A=a0I+a⋅σA=a_0I+\boldsymbol a\cdot\boldsymbol{\sigma} with real coefficients,

⟨A⟩ρ=a0+a⋅r.\langle A\rangle_\rho =a_0+\boldsymbol a\cdot\boldsymbol r.

The Bloch Sphere page develops the geometry and state interpretation.

Every Hermitian two-level Hamiltonian can be written

H=c0I+c⋅σ,c0∈R,c∈R3.H=c_0I+\boldsymbol c\cdot\boldsymbol{\sigma}, \qquad c_0\in\mathbb R, \qquad \boldsymbol c\in\mathbb R^3.

For c≠0\boldsymbol c\ne\boldsymbol 0:

QuantityExpression
EnergiesE±=c0±∥c∥E_\pm=c_0\pm\lVert\boldsymbol c\rVert
GapΔE=2∥c∥\Delta E=2\lVert\boldsymbol c\rVert
Energy projectorsP±=(I±c^⋅σ)/2P_\pm=(I\pm\hat{\boldsymbol c}\cdot\boldsymbol{\sigma})/2
Propagatore−ic0t/ℏ[cos⁡(∥c∥t/ℏ)I−isin⁡(∥c∥t/ℏ)c^⋅σ]e^{-ic_0t/\hbar}\left[\cos(\lVert\boldsymbol c\rVert t/\hbar)I-i\sin(\lVert\boldsymbol c\rVert t/\hbar)\hat{\boldsymbol c}\cdot\boldsymbol{\sigma}\right]

The scalar term c0Ic_0I changes only the global dynamical phase in a closed two-level system. The vector c\boldsymbol c fixes both the energy axis and the Bloch-vector precession axis. See the Two-Level System Hamiltonian for assumptions, spectrum, dynamics, and realizations.

ObjectDefinitionMatrix or action
Physical spinSi=ℏσi/2S_i=\hbar\sigma_i/2Eigenvalues of SzS_z are ±ℏ/2\pm\hbar/2
Dimensionless raising matrixσ+=(σx+iσy)/2\sigma_+=(\sigma_x+i\sigma_y)/2(0100)=∣0⟩⟨1∣\begin{pmatrix}0&1\\0&0\end{pmatrix}=\lvert0\rangle\langle1\rvert
Dimensionless lowering matrixσ−=(σx−iσy)/2\sigma_-=(\sigma_x-i\sigma_y)/2(0010)=∣1⟩⟨0∣\begin{pmatrix}0&0\\1&0\end{pmatrix}=\lvert1\rangle\langle0\rvert
Spin raising operatorS+=Sx+iSyS_+=S_x+iS_yS+=ℏσ+S_+=\hbar\sigma_+
Spin lowering operatorS−=Sx−iSyS_-=S_x-iS_yS−=ℏσ−S_-=\hbar\sigma_-

The most-used ladder identities are

σ+σ−=I+σz2,σ−σ+=I−σz2,[σz,σ±]=±2σ±,[σ+,σ−]=σz.\begin{gathered} \sigma_+\sigma_-=\frac{I+\sigma_z}{2}, \qquad \sigma_-\sigma_+=\frac{I-\sigma_z}{2}, \\ [\sigma_z,\sigma_\pm]=\pm2\sigma_\pm, \qquad [\sigma_+,\sigma_-]=\sigma_z. \end{gathered}

For nn qubits, tensor products of I,X,Y,ZI,X,Y,Z form an orthogonal operator basis. If

P=P1⊗⋯⊗Pn,Pj∈{I,X,Y,Z},P=P_1\otimes\cdots\otimes P_n, \qquad P_j\in\lbrace I,X,Y,Z\rbrace,

then the 4n4^n Pauli strings satisfy

tr⁡(P†Q)=2nδP,Q.\operatorname{tr}(P^\dagger Q) =2^n\delta_{P,Q}.

Two Pauli strings either commute or anticommute. They anticommute exactly when the number of tensor positions at which their nonidentity factors differ is odd. This criterion underlies stabilizer calculations, but stabilizer codes and circuit conventions have their own canonical treatments.

  1. Write the ordered basis next to every imported matrix.
  2. Decide whether symbols denote dimensionless Pauli matrices or physical spin operators.
  3. Reduce products with the multiplication table or vector identity.
  4. Use spectral projectors for functions of one Pauli direction.
  5. For a general two-state matrix, extract Pauli coefficients with trace orthogonality.
  6. Check the result through Hermiticity, trace, determinant, or a direct action on basis vectors.
  • Reversing the sign of the upper-right entry of σy\sigma_y.
  • Forgetting that σxσy=−σyσx\sigma_x\sigma_y=-\sigma_y\sigma_x.
  • Dropping the factor ℏ/2\hbar/2 when converting σi\sigma_i to SiS_i.
  • Using σ±\sigma_\pm and S±S_\pm interchangeably even though their dimensions differ.
  • Treating a⋅a\boldsymbol a\cdot\boldsymbol a as a∗⋅a\boldsymbol a^\ast\cdot\boldsymbol a in the determinant of a general complex matrix.
  • Assuming every vector r\boldsymbol r defines a density matrix; positivity requires ∥r∥≤1\lVert\boldsymbol r\rVert\le1.
  • Confusing RσR†R\sigma R^\dagger with R†σRR^\dagger\sigma R; the associated three-dimensional rotations are inverse to one another.
  • Treating a 2π2\pi spinor sign change as a change in the associated Bloch vector.
  • Copying a qubit matrix without checking the computational-basis order.

The entries are exact and editorially maintained. They can be checked directly from the four displayed matrices. A compact independent audit is:

  1. square each σi\sigma_i and obtain II;
  2. verify σxσy=iσz\sigma_x\sigma_y=i\sigma_z and cyclic permutations;
  3. check tr⁡(σiσj)=2δij\operatorname{tr}(\sigma_i\sigma_j)=2\delta_{ij};
  4. diagonalize each matrix and compare with the stated eigenspaces;
  5. insert the vector identity into the exponential power series.

Last reviewed: 2026-08-19.

Use the vector product identity to compute (σx+σz)2(\sigma_x+\sigma_z)^2 without multiplying matrices entry by entry.

Solution

Set a=(1,0,1)\boldsymbol a=(1,0,1). Then

(σx+σz)2=(a⋅σ)2=(a⋅a)I+i(a×a)⋅σ=2I.(\sigma_x+\sigma_z)^2 =(\boldsymbol a\cdot\boldsymbol{\sigma})^2 =(\boldsymbol a\cdot\boldsymbol a)I +i(\boldsymbol a\times\boldsymbol a) \cdot\boldsymbol{\sigma} =2I.

The cross product vanishes because any vector crossed with itself is zero.

Exercise 2: Exponentiating a two-level Hamiltonian

Section titled “Exercise 2: Exponentiating a two-level Hamiltonian”

Let H=(ℏΩ/2)σxH=(\hbar\Omega/2)\sigma_x. Find U(t)=e−iHt/ℏU(t)=e^{-iHt/\hbar} and the probability of measuring ∣1⟩\lvert1\rangle after evolving from ∣0⟩\lvert0\rangle for time tt.

Solution

Using σx2=I\sigma_x^2=I,

U(t)=cos⁡Ωt2 I−isin⁡Ωt2 σx.U(t) =\cos\frac{\Omega t}{2}\,I -i\sin\frac{\Omega t}{2}\,\sigma_x.

Since σx∣0⟩=∣1⟩\sigma_x\lvert0\rangle=\lvert1\rangle,

U(t)∣0⟩=cos⁡Ωt2∣0⟩−isin⁡Ωt2∣1⟩.U(t)\lvert0\rangle = \cos\frac{\Omega t}{2}\lvert0\rangle -i\sin\frac{\Omega t}{2}\lvert1\rangle.

Therefore

Pr⁡(1;t)=sin⁡2Ωt2.\Pr(1;t)=\sin^2\frac{\Omega t}{2}.

Exercise 3: Testing a proposed Bloch vector

Section titled “Exercise 3: Testing a proposed Bloch vector”

An experiment reports ⟨σx⟩=0.6\langle\sigma_x\rangle=0.6, ⟨σy⟩=0.3\langle\sigma_y\rangle=0.3, and ⟨σz⟩=0.8\langle\sigma_z\rangle=0.8. Does this triple define a physical qubit density matrix?

Solution

The proposed Bloch-vector length satisfies

∥r∥2=0.62+0.32+0.82=1.09.\lVert\boldsymbol r\rVert^2 =0.6^2+0.3^2+0.8^2 =1.09.

Because ∥r∥>1\lVert\boldsymbol r\rVert>1, the smaller eigenvalue (1−∥r∥)/2(1-\lVert\boldsymbol r\rVert)/2 is negative. The reconstructed matrix is Hermitian and has unit trace, but it is not positive semidefinite and therefore is not a physical density operator. In practice, such a result can arise from finite-sample noise or unconstrained state reconstruction.

  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
  • M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, 10th anniversary ed., Cambridge University Press, 2010.
  • L. E. Ballentine, Quantum Mechanics: A Modern Development, World Scientific, 1998.