Skip to content

Pauli Matrices: Reference Table

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.

Symbol Matrix in the stated basis Trace Determinant Eigenvalues
II (1001)\begin{pmatrix}1&0\\0&1\end{pmatrix} 22 11 1,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.
Property II σx\sigma_x σy\sigma_y σz\sigma_z
Hermitian conjugate II σx\sigma_x σy\sigma_y σz\sigma_z
Square II II II II
Inverse II σx\sigma_x σy\sigma_y σz\sigma_z
Transpose II σx\sigma_x −σy-\sigma_y σz\sigma_z
Complex conjugate II σ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_x II iσzi\sigma_z −iσy-i\sigma_y
σy\sigma_y −iσz-i\sigma_z II iσxi\sigma_x
σz\sigma_z iσyi\sigma_y −iσx-i\sigma_x II

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

Identity Formula
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 trace tr⁡σi=0\operatorname{tr}\sigma_i=0
Pair trace tr⁡(σiσj)=2δij\operatorname{tr}(\sigma_i\sigma_j)=2\delta_{ij}
Triple trace tr⁡(σiσjσk)=2iϵijk\operatorname{tr}(\sigma_i\sigma_j\sigma_k)=2i\epsilon_{ijk}
Four-factor trace tr⁡(σ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.

Matrix Eigenvalue +1+1 Eigenvalue −1-1
σx\sigma_x 12(11)\frac{1}{\sqrt2}\begin{pmatrix}1\\1\end{pmatrix} 12(1−1)\frac{1}{\sqrt2}\begin{pmatrix}1\\-1\end{pmatrix}
σy\sigma_y 12(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.
Quantity Expression
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
Purity tr⁡(ρ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 state r=0\boldsymbol r=\boldsymbol 0, so ρ=I/2\rho=I/2
Directional probability p±=(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:

Quantity Expression
Energies E±=c0±∥c∥E_\pm=c_0\pm\lVert\boldsymbol c\rVert
Gap ΔE=2∥c∥\Delta E=2\lVert\boldsymbol c\rVert
Energy projectors P±=(I±c^⋅σ)/2P_\pm=(I\pm\hat{\boldsymbol c}\cdot\boldsymbol{\sigma})/2
Propagator e−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.

Object Definition Matrix or action
Physical spin Si=ℏσi/2S_i=\hbar\sigma_i/2 Eigenvalues 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 operator S+=Sx+iSyS_+=S_x+iS_y S+=ℏσ+S_+=\hbar\sigma_+
Spin lowering operator S−=Sx−iSyS_-=S_x-iS_y S−=ℏσ−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.