Skip to main content

Physics V course sequence · Interactive lesson

Spin ½, Pauli matrices and SU(2)

Every other angular momentum in this course lives on a wavefunction; this one has none. Here you build the two-dimensional representation the algebra insists on, exponentiate it into rotations in closed form, and find out why a spinor needs two full turns to come home.

UPV-09.08 · Lesson 8 of 9 in this unit. Position is not a completion score.
Starting model: Spin ½, Pauli matrices and SU(2)Two curves against the SU(2) rotation angle θ, for |↑z⟩ rotated about ŷ and then measured along n̂ tilted δ = 0° from ẑ towards x̂. Solid: the amplitude cos((θ−δ)/2), now 0.707, which goes negative and repeats only after 720°. Dashed: the probability cos²((θ−δ)/2), now 0.500, repeating after 360°. The marker sits at θ = 90°.|↑z⟩ rotated by θ about ŷ, then measured at δ = 0°solid — amplitude cos((θ−δ)/2), period 720°dashed — probability cos²((θ−δ)/2), period 360°0°360°720°+1−1
Start with a picture. Change the model in the lab below.
1

Build the model

The smallest room the algebra allows: two states, and a 4π period.

The key idea

Spin one-half is the two-dimensional irreducible representation of the angular-momentum algebra: S = (ħ/2)σ acting on C², an internal space the particle carries rather than a function of where it is.

Example. Sz = (ħ/2) diag(1, −1), so a measurement along any axis returns ±ħ/2 = ±5.27 × 10⁻³⁵ J s and never anything between; along an axis 60° from the preparation axis the plus outcome appears cos²30° = 75% of the time.

The complete physical model and assumptions

The commutator algebra [Jᵢ, Jⱼ] = iħ εᵢⱼₖ Jₖ knows nothing about wavefunctions, and the ladder argument that follows from it permits j = ½ as freely as it permits j = 1. Orbital motion cannot cash that permission in: on the sphere the l = ½ top state e(iφ/2) √sin θ, lowered twice, returns a function outside L² of the sphere where the algebra demands zero, so the ladder never closes. So the j = ½ representation exists only abstractly — a Hilbert space C² carried along with the particle, with no position-space realisation at all. Fix the basis by diagonalising Sz and the ladder matrix elements hand you three 2 × 2 Hermitian matrices, S = (ħ/2)σ. Everything else is consequence. Of the product identity σᵢ σⱼ = δᵢⱼ I + i εᵢⱼₖ σₖ, whose commutators and anticommutators UPV-10.03 works through, this lesson needs one line, (n̂⋅σ)² = I, and that fact collapses the rotation exponential into the exact closed form cos(θ/2) I − i sin(θ/2) n̂⋅σ. The cost is the half-angle. A rotation through 2π returns every vector in the room to itself but multiplies the spinor by −1; the map SU(2) → SO(3) is two-to-one, and the state only comes home after 4π. That sign is invisible on a state as a whole and perfectly visible in an interferometer where only one arm is turned.

1A representation the sphere cannot hold

The ladder argument used only [Jᵢ, Jⱼ] = iħ εᵢⱼₖ Jₖ and the positivity of norms, and it permits half-integer j. Orbital motion cannot cash that permission in, for the reason UPV-09.06 settled: on the sphere the l = ½ top state e(iφ/2) √sin θ is annihilated by L₊, but lowering it twice gives −ħ² e(−3iφ/2) sin(−3/2) θ where the algebra demands zero, a function outside L² of the sphere, and no half-integer ladder closes there. So j = ½ has no position-space realisation whatsoever. It exists as an abstract two-dimensional representation of su(2), carried on a Hilbert space C² that travels with the particle. The full state space of one electron is L²(R³) ⊗ C², and its wavefunction becomes a two-component object ψ(r) = (ψ₊(r), ψ₋(r)), with ψ_±(r) = ⟨r, ±|ψ⟩ in the |r⟩ ⊗ |±⟩ basis. Spin is an internal label, not a rotation of anything in the room.

2Building S from the ladder matrix elements

Fix the basis by diagonalising Sz — nothing in the algebra prefers ẑ, so this is a convention — and label the two states |↑⟩ = |½, +½⟩ and |↓⟩ = |½, −½⟩. The ladder matrix element ⟨j, m±1| J_± |j, m⟩ = ħ√(j(j+1) − m(m±1)) supplies the rest. For j = ½ and m = −½ it gives ħ√(3/4 + 1/4) = ħ, so S₊|↓⟩ = ħ|↑⟩ while S₊|↑⟩ = 0: S₊ = ħ[[0,1],[0,0]] and S₋ = ħ[[0,0],[1,0]]. Then Sₓ = (S₊ + S₋)/2 = (ħ/2)[[0,1],[1,0]] and Sy = (S₊ − S₋)/2i = (ħ/2)[[0,−i],[i,0]], with Sz already diagonal at (ħ/2) diag(1, −1). Factor ħ/2 out of all three and the Pauli matrices are what remains. As a check, S² = Sₓ² + Sy² + Sz² = 3(ħ/2)² I = (3/4) ħ² I, which is ħ² j(j+1) at j = ½. Four lines of NumPy build these, and the residual ‖[Sₓ, Sy] − iħ Sz‖ comes back at machine epsilon.

3A spinor is two complex numbers, not a direction

A spin state is a normalised χ = a|↑⟩ + b|↓⟩ in C², with |a|² + |b|² = 1 and the global phase unobservable, which leaves two real parameters: exactly enough to name a direction. The Pauli algebra as a toolkit — commutators, anticommutators and the rule for (a⋅σ)(b⋅σ) — is worked in UPV-10.03; of its product identity, all that is needed here is (n̂⋅σ)² = I for every unit n̂. That makes the eigenvalues of n̂⋅σ ±1 and those of S⋅n̂ ±ħ/2 on every axis, so the representation singles out no direction and ẑ was only the axis chosen for the basis. Every normalised spinor is, up to phase, the +ħ/2 eigenstate of S⋅n̂ for exactly one n̂: χ₊(θ, φ) = (cos(θ/2), e(iφ) sin(θ/2))ᵀ, with θ, φ the polar angles of n̂ = ⟨χ|σ|χ⟩. But the spinor is not that 3-vector. Orthogonal in C² means opposite in space: ⟨↑|↓⟩ = 0 while ẑ and −ẑ are antiparallel, and for two axes an angle γ apart |⟨χ₊(n̂)|χ₊(m̂)⟩|² = (1 + n̂⋅m̂)/2 = cos²(γ/2), a half-angle that no inner product of 3-vectors produces. That half-angle is the signature of the j = ½ representation, and the next section shows it is also what a rotation does to the state.

4Exponentiating: SU(2) in closed form

Because (n̂⋅σ)² = I, the exponential series splits cleanly. Even powers of −iθ(n̂⋅σ)/2 are multiples of I and sum to cos(θ/2); odd powers are multiples of n̂⋅σ and sum to −i sin(θ/2). So U(n̂, θ) = exp(−iθ n̂⋅σ/2) = cos(θ/2) I − i sin(θ/2) n̂⋅σ exactly. Verify it: U†U = (cos² + sin²) I = I, and writing c = cos(θ/2), s = sin(θ/2), det U = (c − i s nz)(c + i s nz) + s²(nₓ² + ny²) = c² + s² = 1. Unitary with unit determinant is the definition of SU(2), and every element of SU(2) has this form; written as U = [[a, −b̄], [b, ā]] with |a|² + |b|² = 1, the group is the unit 3-sphere. The simplest case is the whole lesson in one matrix: about ẑ, U = diag(e(−iθ/2), e(+iθ/2)), the two components picking up opposite half-angle phases.

5The double cover, and where the minus sign becomes visible

Conjugation turns SU(2) into rotations of ordinary vectors: U(n̂, θ)(a⋅σ)U† = (R(n̂, θ) a)⋅σ, where R is the honest 3 × 3 SO(3) rotation by θ about n̂. The map U ↦ R is a homomorphism, and it is two-to-one, because U and −U conjugate identically. Feed it θ = 2π: U = cos(π) I − i sin(π)(n̂⋅σ) = −I for every axis, while R is the identity. Only θ = 4π brings U back to +I. Is that sign physical? On the state as a whole, no: ⟨ψ|A|ψ⟩ and |⟨φ|ψ⟩|² are both blind to an overall phase. It becomes physical the moment it is relative. Split a neutron beam, rotate the spin in one arm only through α, recombine, and the interference term carries a factor cos(α/2), so the count rate is periodic in α with period 4π rather than 2π. Rauch's and Werner's 1975 interferometers measured exactly that.

6What Stern–Gerlach measures, and why gₛ ≈ 2 matters

The electron's magnetic moment is μ = −gₛ μB S/ħ, with μB = 9.274 × 10⁻²⁴ J T⁻¹ and gₛ = 2.00232. That g-factor is input at this level, not derived: Stern–Gerlach and spectroscopy measure it, the Dirac equation later explains the 2, and QED supplies the 0.00232. Put it into H = −μ⋅B = (gₛ μB/2) σ⋅B; for B along ẑ the levels sit at ±gₛ μB B/2, a splitting of gₛ μB B ≈ 2 μB B — twice what one step in mₗ gives in the same field, which is why the anomalous Zeeman effect was unexplainable without spin. At B = 1.00 T that is 1.86 × 10⁻²³ J, or 28.0 GHz. And note what the magnet does: the force is Fz = μz ∂Bz/∂z, so the apparatus sorts on μz, not on Sz. The minus sign in μ, set by the electron's negative charge, flips them, so the sub-beam pulled towards strong field is the mₛ = −½ one.

2

Key equations

Read the units, assumptions and limits before substituting.

Spin operators on C²

Sᵢ = (ħ/2) σᵢ · S² = (3/4) ħ² I

j = ½ gives 2j + 1 = 2 states, so every spin observable here is a 2 × 2 matrix.

ħ/2 = 5.27 × 10⁻³⁵ J s; the σᵢ are dimensionless, so S carries the unit of action

The three Pauli matrices

σₓ = [[0, 1], [1, 0]] · σy = [[0, −i], [i, 0]] · σz = [[1, 0], [0, −1]]

This basis is the one diagonalising Sz; naming ẑ is a convention, not physics.

Hermitian, traceless, det = −1, eigenvalues ±1, and σᵢ² = I

The one Pauli fact this lesson needs

(n̂⋅σ)² = I, from σᵢ σⱼ = δᵢⱼ I + i εᵢⱼₖ σₖ

So n̂⋅σ has eigenvalues ±1, S⋅n̂ gives ±ħ/2 on every axis, and the rotation series closes.

n̂ any real unit vector, dimensionless; εxyz = +1. The identity's commutator, anticommutator and (a⋅σ)(b⋅σ) forms are worked in UPV-10.03

SU(2) rotation in closed form

U(n̂, θ) = exp(−iθ n̂⋅σ / 2) = cos(θ/2) I − i sin(θ/2) n̂⋅σ

(n̂⋅σ)² = I collapses the series exactly — no truncation, no matrix exponential.

θ in radians about the unit vector n̂; U†U = I and det U = cos²(θ/2) + sin²(θ/2) = 1

Double cover and the 4π period

U(n̂, θ + 2π) = −U(n̂, θ) · U (a⋅σ) U† = (R a)⋅σ

SU(2) → SO(3) is two-to-one: vectors close after 2π, spinors only after 4π.

R(n̂, θ) ∈ SO(3) is the rotation by θ about n̂; U and −U give the same R

Eigenspinor along n̂ and the Born rule

χ₊(θ, φ) = (cos(θ/2), e(iφ) sin(θ/2))ᵀ · P₊ = cos²(θ/2)

Half-angle in the amplitude: θ = 90° gives 0.500, θ = 180° gives exactly 0.

θ, φ are the polar angles of n̂; P₊ is for +ħ/2 along n̂ given the state |↑z⟩
3

Interactive lab

Predict first. Explore the model. Compare the result.

Explore the model

90 °
0 to 720 °; steps of 5.
0 °
0 to 180 °; steps of 5.

Try this. Leave δ at 0 and drag θ to 360°: the dashed probability is back at 1.000 while the solid amplitude has reached −1.000 — that is U(2π) = −I. Only at 720° do both return. Then set δ = 90° and read the probability at θ = 0: exactly 0.500.

Live results

AMPLITUDE ⟨+n̂|ψ⟩
0.707
PROBABILITY P(+ħ/2)
0.500
⟨S⋅n̂⟩ ÷ (ħ/2)
0.000
½ Tr U(θ)
0.707

Results follow this lesson’s model and assumptions. Displayed values are rounded.

Interactive Physics V modelTwo curves against the SU(2) rotation angle θ, for |↑z⟩ rotated about ŷ and then measured along n̂ tilted δ = 0° from ẑ towards x̂. Solid: the amplitude cos((θ−δ)/2), now 0.707, which goes negative and repeats only after 720°. Dashed: the probability cos²((θ−δ)/2), now 0.500, repeating after 360°. The marker sits at θ = 90°.|↑z⟩ rotated by θ about ŷ, then measured at δ = 0°solid — amplitude cos((θ−δ)/2), period 720°dashed — probability cos²((θ−δ)/2), period 360°0°360°720°+1−1
Two curves against the SU(2) rotation angle θ, for |↑z⟩ rotated about ŷ and then measured along n̂ tilted δ = 0° from ẑ towards x̂. Solid: the amplitude cos((θ−δ)/2), now 0.707, which goes negative and repeats only after 720°. Dashed: the probability cos²((θ−δ)/2), now 0.500, repeating after 360°. The marker sits at θ = 90°.

Predict → change one variable → check

Plan a change before running it. Every other input stays at the saved baseline.

Saved baseline. Rotation angle θ about ŷ: 90 °; Measurement tilt δ from ẑ: 0 °

Baseline 90; choose 0 to 720, in steps of 5.
4. Compared with the saved baseline, this result will…

This experiment is kept only while this page is open. It does not change saved course progress.

4

Catch the common trap

That spin is the electron spinning. Give it the classical electron radius rₑ = 2.82 × 10⁻¹⁵ m and a solid-sphere moment of inertia, then demand L = ħ/2: the equator must move at v = 5ħ/(4 m rₑ) = 5.1 × 10¹⁰ m s⁻¹, roughly 171c — and scattering bounds the electron's size below 10⁻¹⁸ m, which makes it three orders of magnitude worse. The structural objection is sharper than the numerical one. Rotations of a body in R³ act on functions of position, and functions on the sphere carry integer l only, so no rotating charge distribution of any size or shape produces a two-state ladder, and a spinning body whose charge follows its mass has g = 1, not the gₛ ≈ 2 measured. C² is not a space of directions in the room; it is an internal space the algebra requires and experiment confirms.

5

Practice & worked examples

3 authored examples. Make an attempt, then reveal the reasoning one step at a time.

EasyExample 1

A spin-½ is prepared as |+x⟩ = (1, 1)ᵀ/√2 in the Sz basis and rotated about ẑ by U(ẑ, θ) = exp(−iθ σz/2). Write U as a 2 × 2 matrix, find and identify the state after θ = 90°, then say what θ = 360° and θ = 720° do to it.

Sketch your answer or reasoning, then compare it with the authored solution. Your writing is not automatically graded or saved.

0 of 5 steps revealed.

MediumExample 2

A spin-½ prepared as |↑z⟩ is rotated through θ = 120° about ŷ by U = exp(−iθ σy/2). Write U as an explicit 2 × 2 matrix, apply it, and find the probability that a subsequent Sz measurement returns +ħ/2, together with ⟨Sz⟩ in the rotated state.

Sketch your answer or reasoning, then compare it with the authored solution. Your writing is not automatically graded or saved.

0 of 5 steps revealed.

HardExample 3

In a neutron interferometer one arm passes 2.00 cm through a uniform field B, which rotates the spin in that arm only. The neutrons have λ = 1.80 Å and γₙ = 1.832 × 10⁸ rad s⁻¹ T⁻¹. Find the field that rotates the spin through 2π, say what it does to the fringes, and find the field that restores them.

Sketch your answer or reasoning, then compare it with the authored solution. Your writing is not automatically graded or saved.

0 of 5 steps revealed.

6

Quick check

Select an answer and explain it before checking.

A spin-½ state is rotated through θ = 2π about an arbitrary unit axis n̂ using U(n̂, θ) = exp(−iθ n̂⋅σ/2). Which statement about U and its observable consequences is correct?
7

Review & continue

Spin one-half is the two-dimensional irreducible representation of the angular-momentum algebra: S = (ħ/2)σ acting on C², an internal space the particle carries rather than a function of where it is.

  • Explain the relationship without looking at the equation.
  • Check a sign, a unit and a model assumption in your working.
  • Return to the lab or worked example if a step is still unclear.

Extra challenging questions

Connect several ideas, explore supplied data, and compare your reasoning with a worked solution.