The Pauli matrices form a trace-orthogonal basis for complex 2 × 2 2\times2 2 × 2
matrices. They encode spin-1 / 2 1/2 1/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 × 2 2\times2 2 × 2 matrices;
qubit density matrices and two-level Hamiltonians;
conversion between Pauli and physical spin operators.
General spin-j j j representations belong in the
Spin Matrices table. Gate conventions and
controlled operations belong in Quantum Gates .
Use the ordered orthonormal basis
{ ∣ 0 ⟩ , ∣ 1 ⟩ } , ∣ 0 ⟩ = ( 1 0 ) , ∣ 1 ⟩ = ( 0 1 ) , \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}, {∣ 0 ⟩ , ∣ 1 ⟩} , ∣ 0 ⟩ = ( 1 0 ) , ∣ 1 ⟩ = ( 0 1 ) ,
with
σ z ∣ 0 ⟩ = + ∣ 0 ⟩ , σ z ∣ 1 ⟩ = − ∣ 1 ⟩ . \sigma_z\lvert 0\rangle=+\lvert 0\rangle,
\qquad
\sigma_z\lvert 1\rangle=-\lvert 1\rangle. σ z ∣ 0 ⟩ = + ∣ 0 ⟩ , σ z ∣ 1 ⟩ = − ∣ 1 ⟩ .
In spin language, these states are also written
∣ + z ⟩ \lvert {+z}\rangle ∣ + z ⟩ and ∣ − z ⟩ \lvert {-z}\rangle ∣ − z ⟩ . Cartesian indices run over
x , y , z x,y,z x , y , z , the orientation is ϵ x y z = + 1 \epsilon_{xyz}=+1 ϵ x y z = + 1 , and repeated Cartesian
indices are summed when doing so is unambiguous.
Physical spin operators carry angular-momentum units:
S i = ℏ 2 σ i . S_i=\frac{\hbar}{2}\sigma_i. S i = 2 ℏ σ i .
Active rotations of states use
R n ^ ( θ ) = exp ( − i θ 2 n ^ ⋅ σ ) , R_{\hat{\boldsymbol n}}(\theta)
=\exp\left(
-\frac{i\theta}{2}\,
\hat{\boldsymbol n}\cdot\boldsymbol{\sigma}
\right), R n ^ ( θ ) = exp ( − 2 i θ n ^ ⋅ σ ) ,
where n ^ \hat{\boldsymbol n} n ^ is a real unit vector and positive θ \theta θ follows
the right-hand rule.
Symbol Matrix in the stated basis Trace Determinant Eigenvalues I I I ( 1 0 0 1 ) \begin{pmatrix}1&0\\0&1\end{pmatrix} ( 1 0 0 1 ) 2 2 2 1 1 1 1 , 1 1,1 1 , 1 σ x \sigma_x σ x ( 0 1 1 0 ) \begin{pmatrix}0&1\\1&0\end{pmatrix} ( 0 1 1 0 ) 0 0 0 − 1 -1 − 1 + 1 , − 1 +1,-1 + 1 , − 1 σ y \sigma_y σ y ( 0 − i i 0 ) \begin{pmatrix}0&-i\\i&0\end{pmatrix} ( 0 i − i 0 ) 0 0 0 − 1 -1 − 1 + 1 , − 1 +1,-1 + 1 , − 1 σ z \sigma_z σ z ( 1 0 0 − 1 ) \begin{pmatrix}1&0\\0&-1\end{pmatrix} ( 1 0 0 − 1 ) 0 0 0 − 1 -1 − 1 + 1 , − 1 +1,-1 + 1 , − 1
The names X , Y , Z X,Y,Z X , 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. X ≡ σ x , Y ≡ σ y , Z ≡ σ z .
Property I I I σ x \sigma_x σ x σ y \sigma_y σ y σ z \sigma_z σ z Hermitian conjugate I I I σ x \sigma_x σ x σ y \sigma_y σ y σ z \sigma_z σ z Square I I I I I I I I I I I I Inverse I I I σ x \sigma_x σ x σ y \sigma_y σ y σ z \sigma_z σ z Transpose I I I σ x \sigma_x σ x − σ y -\sigma_y − σ y σ z \sigma_z σ z Complex conjugate I I I σ x \sigma_x σ x − σ y -\sigma_y − σ y σ z \sigma_z σ z
Thus each σ i \sigma_i σ i is Hermitian and unitary:
σ i † = σ i , σ i − 1 = σ i , σ i 2 = I . \sigma_i^\dagger=\sigma_i,
\qquad
\sigma_i^{-1}=\sigma_i,
\qquad
\sigma_i^2=I. σ i † = σ i , σ i − 1 = σ i , σ i 2 = I .
The row factor multiplies the column factor in the displayed order.
Row × \times × column σ x \sigma_x σ x σ y \sigma_y σ y σ z \sigma_z σ z σ x \sigma_x σ x I I I i σ z i\sigma_z i σ z − i σ y -i\sigma_y − i σ y σ y \sigma_y σ y − i σ z -i\sigma_z − i σ z I I I i σ x i\sigma_x i σ x σ z \sigma_z σ z i σ y i\sigma_y i σ y − i σ x -i\sigma_x − i σ x I I I
Equivalently,
σ i σ j = δ i j I + i ϵ i j k σ k . \sigma_i\sigma_j
=\delta_{ij}I+i\epsilon_{ijk}\sigma_k. σ i σ j = δ ij I + i ϵ ij k σ k .
The order matters whenever i ≠ j i\ne j i = 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). σ i σ j = − σ j σ i ( i = j ) .
Useful consequences are
Identity Formula Commutator [ σ i , σ j ] = 2 i ϵ i j k σ k [\sigma_i,\sigma_j]=2i\epsilon_{ijk}\sigma_k [ σ i , σ j ] = 2 i ϵ ij k σ k Anticommutator { σ i , σ j } = 2 δ i j I \{\sigma_i,\sigma_j\}=2\delta_{ij}I { σ i , σ j } = 2 δ ij I Single trace tr σ i = 0 \operatorname{tr}\sigma_i=0 tr σ i = 0 Pair trace tr ( σ i σ j ) = 2 δ i j \operatorname{tr}(\sigma_i\sigma_j)=2\delta_{ij} tr ( σ i σ j ) = 2 δ ij Triple trace tr ( σ i σ j σ k ) = 2 i ϵ i j k \operatorname{tr}(\sigma_i\sigma_j\sigma_k)=2i\epsilon_{ijk} tr ( σ i σ j σ k ) = 2 i ϵ ij k Four-factor trace tr ( σ i σ j σ k σ l ) = 2 ( δ i j δ k l − δ i k δ j l + δ i l δ j k ) \operatorname{tr}(\sigma_i\sigma_j\sigma_k\sigma_l)=2(\delta_{ij}\delta_{kl}-\delta_{ik}\delta_{jl}+\delta_{il}\delta_{jk}) tr ( σ i σ j σ k σ l ) = 2 ( δ ij δ k l − δ ik δ j l + δ i l δ j k )
The following normalized eigenvectors use the basis and phases fixed above.
Matrix Eigenvalue + 1 +1 + 1 Eigenvalue − 1 -1 − 1 σ x \sigma_x σ x 1 2 ( 1 1 ) \frac{1}{\sqrt2}\begin{pmatrix}1\\1\end{pmatrix} 2 1 ( 1 1 ) 1 2 ( 1 − 1 ) \frac{1}{\sqrt2}\begin{pmatrix}1\\-1\end{pmatrix} 2 1 ( 1 − 1 ) σ y \sigma_y σ y 1 2 ( 1 i ) \frac{1}{\sqrt2}\begin{pmatrix}1\\i\end{pmatrix} 2 1 ( 1 i ) 1 2 ( 1 − i ) \frac{1}{\sqrt2}\begin{pmatrix}1\\-i\end{pmatrix} 2 1 ( 1 − i ) σ z \sigma_z σ z ( 1 0 ) \begin{pmatrix}1\\0\end{pmatrix} ( 1 0 ) ( 0 1 ) \begin{pmatrix}0\\1\end{pmatrix} ( 0 1 )
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 ^ ,
n ^ ⋅ σ \hat{\boldsymbol n}\cdot\boldsymbol{\sigma} n ^ ⋅ σ has eigenvalues ± 1 \pm1 ± 1 and
spectral projectors
P ± ( n ^ ) = 1 2 ( I ± n ^ ⋅ σ ) . P_\pm(\hat{\boldsymbol n})
=\frac{1}{2}
\left(
I\pm\hat{\boldsymbol n}\cdot\boldsymbol{\sigma}
\right). P ± ( n ^ ) = 2 1 ( I ± n ^ ⋅ σ ) .
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} P ± 2 = P ± , P + P − = 0 , P + + P − = I , ( n ^ ⋅ σ ) P ± = ± P ± .
The probability of outcome ± 1 \pm1 ± 1 in state ρ \rho ρ is
p ± = tr ( ρ P ± ) p_\pm=\operatorname{tr}(\rho P_\pm) p ± = tr ( ρ P ± ) .
For real or complex three-component vectors a \boldsymbol a a and
b \boldsymbol b 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}. ( a ⋅ σ ) ( b ⋅ σ ) = ( a ⋅ b ) I + i ( a × b ) ⋅ σ .
Consequently,
{ a ⋅ σ , b ⋅ σ } = 2 ( a ⋅ b ) I , [ a ⋅ σ , b ⋅ σ ] = 2 i ( 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} { a ⋅ σ , b ⋅ σ } [ a ⋅ σ , b ⋅ σ ] = 2 ( a ⋅ b ) I , = 2 i ( a × b ) ⋅ σ .
For a real unit vector n ^ \hat{\boldsymbol n} n ^ ,
( n ^ ⋅ σ ) 2 = I . (\hat{\boldsymbol n}\cdot\boldsymbol{\sigma})^2=I. ( n ^ ⋅ σ ) 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 θ 2 n ^ ⋅ σ ) = cos θ 2 I − i sin θ 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} exp ( α n ^ ⋅ σ ) exp ( − 2 i θ n ^ ⋅ σ ) = cosh α I + sinh α n ^ ⋅ σ , = cos 2 θ I − i sin 2 θ n ^ ⋅ σ .
For the active-rotation convention stated above,
R n ^ ( θ ) ( a ⋅ σ ) R n ^ † ( θ ) = [ R n ^ ( θ ) 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}, R n ^ ( θ ) ( a ⋅ σ ) R n ^ † ( θ ) = [ R n ^ ( θ ) a ] ⋅ σ ,
where R n ^ ( θ ) \mathcal R_{\hat{\boldsymbol n}}(\theta) R n ^ ( θ ) is the ordinary
three-dimensional right-handed rotation.
Every complex 2 × 2 2\times2 2 × 2 matrix A A A has the unique expansion
A = a 0 I + a ⋅ σ , A=a_0I+\boldsymbol a\cdot\boldsymbol{\sigma}, A = a 0 I + a ⋅ σ ,
with
a 0 = 1 2 tr A , a i = 1 2 tr ( σ i A ) . a_0=\frac{1}{2}\operatorname{tr}A,
\qquad
a_i=\frac{1}{2}\operatorname{tr}(\sigma_iA). a 0 = 2 1 tr A , a i = 2 1 tr ( σ i A ) .
The trace orthogonality of
{ I , σ x , σ y , σ z } \lbrace I,\sigma_x,\sigma_y,\sigma_z\rbrace { I , σ x , σ y , σ z } makes these coefficients
immediate. Useful invariants are
tr A = 2 a 0 , det A = a 0 2 − a ⋅ a . \operatorname{tr}A=2a_0,
\qquad
\det A=a_0^2-\boldsymbol a\cdot\boldsymbol a. tr A = 2 a 0 , det A = a 0 2 − a ⋅ a .
Here a ⋅ a = ∑ i a i 2 \boldsymbol a\cdot\boldsymbol a=\sum_i a_i^2 a ⋅ a = ∑ i a i 2 , without complex
conjugation. The matrix A A A is Hermitian exactly when a 0 a_0 a 0 and all a i a_i a i are
real. For a Hermitian matrix its eigenvalues are
λ ± = a 0 ± ∥ a ∥ . \lambda_\pm=a_0\pm\lVert\boldsymbol a\rVert. λ ± = a 0 ± ∥ a ∥ .
A qubit density operator has the Bloch form
ρ = 1 2 ( I + r ⋅ σ ) , r ∈ R 3 , ∥ 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. ρ = 2 1 ( I + r ⋅ σ ) , r ∈ R 3 , ∥ r ∥ ≤ 1.
The Bloch components are observable expectation values:
r i = tr ( ρ σ i ) = ⟨ σ i ⟩ . r_i=\operatorname{tr}(\rho\sigma_i)
=\langle\sigma_i\rangle. r i = tr ( ρ σ i ) = ⟨ σ i ⟩ .
Quantity Expression Eigenvalues of ρ \rho ρ ( 1 ± ∥ r ∥ ) / 2 (1\pm\lVert\boldsymbol r\rVert)/2 ( 1 ± ∥ r ∥) /2 Determinant ( 1 − ∥ r ∥ 2 ) / 4 (1-\lVert\boldsymbol r\rVert^2)/4 ( 1 − ∥ r ∥ 2 ) /4 Purity tr ( ρ 2 ) = ( 1 + ∥ r ∥ 2 ) / 2 \operatorname{tr}(\rho^2)=(1+\lVert\boldsymbol r\rVert^2)/2 tr ( ρ 2 ) = ( 1 + ∥ r ∥ 2 ) /2 Pure-state condition ∥ r ∥ = 1 \lVert\boldsymbol r\rVert=1 ∥ r ∥ = 1 Maximally mixed state r = 0 \boldsymbol r=\boldsymbol 0 r = 0 , so ρ = I / 2 \rho=I/2 ρ = I /2 Directional probability p ± = ( 1 ± r ⋅ n ^ ) / 2 p_\pm=(1\pm\boldsymbol r\cdot\hat{\boldsymbol n})/2 p ± = ( 1 ± r ⋅ n ^ ) /2
For an observable
A = a 0 I + a ⋅ σ A=a_0I+\boldsymbol a\cdot\boldsymbol{\sigma} A = a 0 I + a ⋅ σ with real coefficients,
⟨ A ⟩ ρ = a 0 + a ⋅ r . \langle A\rangle_\rho
=a_0+\boldsymbol a\cdot\boldsymbol r. ⟨ A ⟩ ρ = a 0 + a ⋅ r .
The Bloch Sphere
page develops the geometry and state interpretation.
Every Hermitian two-level Hamiltonian can be written
H = c 0 I + c ⋅ σ , c 0 ∈ R , c ∈ R 3 . H=c_0I+\boldsymbol c\cdot\boldsymbol{\sigma},
\qquad
c_0\in\mathbb R,
\qquad
\boldsymbol c\in\mathbb R^3. H = c 0 I + c ⋅ σ , c 0 ∈ R , c ∈ R 3 .
For c ≠ 0 \boldsymbol c\ne\boldsymbol 0 c = 0 :
Quantity Expression Energies E ± = c 0 ± ∥ c ∥ E_\pm=c_0\pm\lVert\boldsymbol c\rVert E ± = c 0 ± ∥ c ∥ Gap Δ E = 2 ∥ c ∥ \Delta E=2\lVert\boldsymbol c\rVert Δ E = 2 ∥ c ∥ Energy projectors P ± = ( I ± c ^ ⋅ σ ) / 2 P_\pm=(I\pm\hat{\boldsymbol c}\cdot\boldsymbol{\sigma})/2 P ± = ( I ± c ^ ⋅ σ ) /2 Propagator e − i c 0 t / ℏ [ cos ( ∥ c ∥ t / ℏ ) I − i sin ( ∥ 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] e − i c 0 t /ℏ [ cos (∥ c ∥ t /ℏ ) I − i sin (∥ c ∥ t /ℏ ) c ^ ⋅ σ ]
The scalar term c 0 I c_0I c 0 I changes only the global dynamical phase in a closed
two-level system. The vector c \boldsymbol c 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 S i = ℏ σ i / 2 S_i=\hbar\sigma_i/2 S i = ℏ σ i /2 Eigenvalues of S z S_z S z are ± ℏ / 2 \pm\hbar/2 ± ℏ/2 Dimensionless raising matrix σ + = ( σ x + i σ y ) / 2 \sigma_+=(\sigma_x+i\sigma_y)/2 σ + = ( σ x + i σ y ) /2 ( 0 1 0 0 ) = ∣ 0 ⟩ ⟨ 1 ∣ \begin{pmatrix}0&1\\0&0\end{pmatrix}=\lvert0\rangle\langle1\rvert ( 0 0 1 0 ) = ∣ 0 ⟩ ⟨ 1 ∣ Dimensionless lowering matrix σ − = ( σ x − i σ y ) / 2 \sigma_-=(\sigma_x-i\sigma_y)/2 σ − = ( σ x − i σ y ) /2 ( 0 0 1 0 ) = ∣ 1 ⟩ ⟨ 0 ∣ \begin{pmatrix}0&0\\1&0\end{pmatrix}=\lvert1\rangle\langle0\rvert ( 0 1 0 0 ) = ∣ 1 ⟩ ⟨ 0 ∣ Spin raising operator S + = S x + i S y S_+=S_x+iS_y S + = S x + i S y S + = ℏ σ + S_+=\hbar\sigma_+ S + = ℏ σ + Spin lowering operator S − = S x − i S y S_-=S_x-iS_y S − = S x − i S y S − = ℏ σ − S_-=\hbar\sigma_- S − = ℏ σ −
The most-used ladder identities are
σ + σ − = I + σ z 2 , σ − σ + = I − σ z 2 , [ σ 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} σ + σ − = 2 I + σ z , σ − σ + = 2 I − σ z , [ σ z , σ ± ] = ± 2 σ ± , [ σ + , σ − ] = σ z .
For n n n qubits, tensor products of
I , X , Y , Z I,X,Y,Z I , X , Y , Z form an orthogonal operator basis. If
P = P 1 ⊗ ⋯ ⊗ P n , P j ∈ { I , X , Y , Z } , P=P_1\otimes\cdots\otimes P_n,
\qquad
P_j\in\lbrace I,X,Y,Z\rbrace, P = P 1 ⊗ ⋯ ⊗ P n , P j ∈ { I , X , Y , Z } ,
then the 4 n 4^n 4 n Pauli strings satisfy
tr ( P † Q ) = 2 n δ P , Q . \operatorname{tr}(P^\dagger Q)
=2^n\delta_{P,Q}. tr ( P † Q ) = 2 n δ 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.
Write the ordered basis next to every imported matrix.
Decide whether symbols denote dimensionless Pauli matrices or physical spin
operators.
Reduce products with the multiplication table or vector identity.
Use spectral projectors for functions of one Pauli direction.
For a general two-state matrix, extract Pauli coefficients with trace
orthogonality.
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 σ y .
Forgetting that σ x σ y = − σ y σ x \sigma_x\sigma_y=-\sigma_y\sigma_x σ x σ y = − σ y σ x .
Dropping the factor ℏ / 2 \hbar/2 ℏ/2 when converting σ i \sigma_i σ i to S i S_i S i .
Using σ ± \sigma_\pm σ ± and S ± S_\pm S ± interchangeably even though their dimensions
differ.
Treating a ⋅ a \boldsymbol a\cdot\boldsymbol a a ⋅ a as
a ∗ ⋅ a \boldsymbol a^\ast\cdot\boldsymbol a a ∗ ⋅ a in the determinant of a general
complex matrix.
Assuming every vector r \boldsymbol r r defines a density matrix; positivity
requires ∥ r ∥ ≤ 1 \lVert\boldsymbol r\rVert\le1 ∥ r ∥ ≤ 1 .
Confusing R σ R † R\sigma R^\dagger R σ R † with R † σ R R^\dagger\sigma R R † σ R ; the associated
three-dimensional rotations are inverse to one another.
Treating a 2 π 2\pi 2 π 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:
square each σ i \sigma_i σ i and obtain I I I ;
verify σ x σ y = i σ z \sigma_x\sigma_y=i\sigma_z σ x σ y = i σ z and cyclic permutations;
check tr ( σ i σ j ) = 2 δ i j \operatorname{tr}(\sigma_i\sigma_j)=2\delta_{ij} tr ( σ i σ j ) = 2 δ ij ;
diagonalize each matrix and compare with the stated eigenspaces;
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 ( σ x + σ z ) 2 without multiplying matrices entry by entry.
Solution
Set a = ( 1 , 0 , 1 ) \boldsymbol a=(1,0,1) a = ( 1 , 0 , 1 ) . Then
( σ x + σ z ) 2 = ( a ⋅ σ ) 2 = ( a ⋅ a ) I + i ( a × a ) ⋅ σ = 2 I . (\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. ( σ x + σ z ) 2 = ( a ⋅ σ ) 2 = ( a ⋅ a ) I + i ( a × a ) ⋅ σ = 2 I .
The cross product vanishes because any vector crossed with itself is zero.
Let H = ( ℏ Ω / 2 ) σ x H=(\hbar\Omega/2)\sigma_x H = ( ℏΩ/2 ) σ x . Find U ( t ) = e − i H t / ℏ U(t)=e^{-iHt/\hbar} U ( t ) = e − i H t /ℏ and the
probability of measuring ∣ 1 ⟩ \lvert1\rangle ∣ 1 ⟩ after evolving from
∣ 0 ⟩ \lvert0\rangle ∣ 0 ⟩ for time t t t .
Solution
Using σ x 2 = I \sigma_x^2=I σ x 2 = I ,
U ( t ) = cos Ω t 2 I − i sin Ω t 2 σ x . U(t)
=\cos\frac{\Omega t}{2}\,I
-i\sin\frac{\Omega t}{2}\,\sigma_x. U ( t ) = cos 2 Ω t I − i sin 2 Ω t σ x .
Since σ x ∣ 0 ⟩ = ∣ 1 ⟩ \sigma_x\lvert0\rangle=\lvert1\rangle σ x ∣ 0 ⟩ = ∣ 1 ⟩ ,
U ( t ) ∣ 0 ⟩ = cos Ω t 2 ∣ 0 ⟩ − i sin Ω t 2 ∣ 1 ⟩ . U(t)\lvert0\rangle
=
\cos\frac{\Omega t}{2}\lvert0\rangle
-i\sin\frac{\Omega t}{2}\lvert1\rangle. U ( t ) ∣ 0 ⟩ = cos 2 Ω t ∣ 0 ⟩ − i sin 2 Ω t ∣ 1 ⟩ .
Therefore
Pr ( 1 ; t ) = sin 2 Ω t 2 . \Pr(1;t)=\sin^2\frac{\Omega t}{2}. Pr ( 1 ; t ) = sin 2 2 Ω t .
An experiment reports
⟨ σ x ⟩ = 0.6 \langle\sigma_x\rangle=0.6 ⟨ σ x ⟩ = 0.6 ,
⟨ σ y ⟩ = 0.3 \langle\sigma_y\rangle=0.3 ⟨ σ y ⟩ = 0.3 , and
⟨ σ z ⟩ = 0.8 \langle\sigma_z\rangle=0.8 ⟨ σ z ⟩ = 0.8 . Does this triple define a physical qubit density
matrix?
Solution
The proposed Bloch-vector length satisfies
∥ r ∥ 2 = 0.6 2 + 0.3 2 + 0.8 2 = 1.09. \lVert\boldsymbol r\rVert^2
=0.6^2+0.3^2+0.8^2
=1.09. ∥ r ∥ 2 = 0. 6 2 + 0. 3 2 + 0. 8 2 = 1.09.
Because ∥ r ∥ > 1 \lVert\boldsymbol r\rVert>1 ∥ r ∥ > 1 , the smaller eigenvalue
( 1 − ∥ r ∥ ) / 2 (1-\lVert\boldsymbol r\rVert)/2 ( 1 − ∥ r ∥) /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.