Skip to main content

Advanced Quantum Mechanics course sequence · Interactive lesson

Dirac Landau levels: g = 2 as an exact degeneracy

An electron in a uniform magnetic field is one of the few relativistic problems solved exactly, and the solution hides a coincidence: spin and orbit share every rung of the ladder, at 1 T or at 10¹⁰ T, because g = 2. Read that ladder and you know what a Penning trap is looking at when it measures g − 2.

UAQM-06.03 · Lesson 3 of 9 in this unit. Position is not a completion score.
Starting model: Dirac Landau levels: g = 2 as an exact degeneracyDirac levels n = 0, 1, 2 of an electron at p_z = 0: E − mc² against B/B_c. Solid: orbit n, spin moment along B; dashed: orbit n − 1, spin moment against B; faint: Unit 3's spinless ground. At B = 0.50 B_c, ħω_c = 255.5 keV, the n = 1 pair sits 211.7 keV above mc², and g = 2.00, through Pauli's term of topic 6.04, opens each pair by 0.00 keV.n = 0n = 1n = 2spinlessB/Bc, with Bc = 4.41 × 10⁹ TE − mc²mc²solid orbit n, dashed orbit n − 1B = 0.50 Bc
Start with a picture. Change the model in the lab below.
1

Build the model

Spin turns the spinless 2n + 1 into 2n: one unpaired level at mc², then exact pairs.

The key idea

The Dirac Landau levels are the exact energies E = √(m²c⁴ + pz²c² + 2nħ|q|Bc²) of a spin-½ Dirac particle in a uniform magnetic field, where each level n ≥ 1 holds orbit n with its spin moment along B and orbit n − 1 with its spin moment against B.

Example. At B = 1.00 T an electron's n = 1 level lies ħωc = 0.116 meV above mc². Its two members, orbit 1 with spin moment along B and orbit 0 against it, coincide in the Dirac equation; the real electron's anomaly separates them by h × 32.46 MHz = 0.134 μeV.

The complete physical model and assumptions

The model is Unit 4's Dirac equation with minimal coupling in a uniform static B with no electric field, the restriction that lets the Hamiltonian be squared exactly. With no scalar potential the mass term anticommutes with the kinetic term, so the square of the Hamiltonian is m²c⁴ + c²(σ⋅π)² on each two-component block: the elimination that topic 6.01 had to expand in v/c is exact here, because E + mc² is a number, not an operator. Topic 6.02's identity turns (σ⋅π)² into Unit 3's Landau operator plus pz² minus qħBσz, and the result, derived with nothing dropped, is E² = m²c⁴ + pz²c² + 2nħ|q|Bc². The argument of the topic sits in that 2n. Spin and orbit enter one operator, so the spinless odd integer 2nL + 1 and the spin term ±1 merge into a single even integer. The lowest level then has one spin state and sits at mc² with no zero-point energy, and every higher level pairs orbit n, spin moment along B, with orbit n − 1, spin moment against B. Relativity bends the ladder, by the fraction nB/(2Bc) with Bc = 4.41 × 10⁹ T, but cannot split a pair, because it acts on n alone. The model stops where the electron stops being a bare Dirac particle with minimal coupling. Radiative corrections give it an anomalous moment, measured at a = 0.00115965218, which opens every pair by aħωc; Pauli's term from topic 6.04 can describe that splitting but cannot predict it.

1With no electric field, squaring the Dirac equation is exact

Work in SI units, with the metric (+, −, −, −) wherever four-vectors appear. Take Unit 4's Hamiltonian H = cα⋅π + βmc² with π = p − qA, a uniform B = Bẑ and no scalar potential. Squaring gives H² = c²(α⋅π)² + m²c⁴ + mc³(αᵢβ + βαᵢ)πᵢ, and the last term vanishes because β anticommutes with every αᵢ. In the Dirac representation αᵢαⱼ = diag(σᵢσⱼ, σᵢσⱼ), so H² = m²c⁴ + c²(σ⋅π)² on each 2 × 2 block. Elimination says the same thing: the lower row gives χ = cσ⋅πφ/(E + mc²) with no approximation, because with V = 0 the denominator is a number rather than an operator, and the upper row then reads (E² − m²c⁴)φ = c²(σ⋅π)²φ. Topic 6.01 had to expand E − V + mc² in v/c; here nothing is expanded, which is why this problem, unlike hydrogen, is solved exactly in a few lines. Each eigenvalue K² of (σ⋅π)² gives E = ±√(m²c⁴ + c²K²), the 2mc² gap intact.

2Spin and orbit come out of one operator

Topic 6.02's identity gives (σ⋅π)² = π² + iσ⋅(π × π), and π × π = iħqB because [πₓ, πy] = iħqBz. So (σ⋅π)² = πₓ² + πy² + pz² − qħBσz. The transverse part is the Landau operator that Quantum Mechanics II and Unit 3 diagonalised, with eigenvalues (2nL + 1)ħ|q|B for nL = 0, 1, 2, …, quoted here. σz commutes with it and pz with everything, so the eigenvalues of (σ⋅π)² are pz² + ħ|q|B(2nL + 1 + s), where s = −σz q/|q| is +1 when the spin moment points against B. Writing n = nL + (1 + s)/2 gives E² = m²c⁴ + pz²c² + 2nħ|q|Bc², derived exactly. Dimensions: with T = kg s⁻¹ C⁻¹, ħ|q|B carries (J s)(C)(kg s⁻¹ C⁻¹) = kg² m² s⁻², a momentum squared, and times c² it is J², as E² must be. Unit 3's spinless particle has E² = m²c⁴ + pz²c² + (2nL + 1)ħ|q|Bc², quoted: spin moves each odd integer to the even integer just above or just below it.

3One state at the bottom, pairs above it

Read the ladder level by level. n = 0 needs nL = 0 and s = −1, a single spin state, with E = √(m²c⁴ + pz²c²): free motion along B and nothing else. At pz = 0 it sits at mc² exactly, whatever B is, because the spin energy −ħωc/2 cancels the zero-point cyclotron energy +ħωc/2 to all orders, not just the first. Unit 3's spinless ground state, quoted, sits instead at mc²√(1 + B/Bc), already 212 keV above mc² at B = Bc. Each level n ≥ 1 holds two states, orbit n with s = −1 and orbit n − 1 with s = +1, and each carries Unit 3's Landau degeneracy |q|B/h per unit area, 2.42 × 10¹⁴ m⁻² at 1 T, so each level above the lowest holds twice as many states as the lowest. At pz = 0 the label s is exact for the whole four-component state: βΣz, which is σz on the upper components and −σz on the lower, commutes with H, because it commutes with β and with αₓ and αy. At pz ≠ 0 it fails to commute with αz, so s then labels the upper components only, and the energies are unchanged.

4Why the pairing needs g = 2, and why it never breaks

Give the spin a general g and work non-relativistically: E − mc² = (nL + ½)ħωc + s(g/4)ħωc + pz²/2m, with ωc = |q|B/m. Orbit n − 1 with s = +1 and orbit n with s = −1 then differ by (g/2 − 1)ħωc, which vanishes only at g = 2: one spin flip must cost exactly one cyclotron quantum. Topic 6.02's Pauli equation showed that much. The Dirac solution adds that the coincidence survives every relativistic correction, because spin and orbit sit together inside (σ⋅π)², so the energy depends on nL and s only through nL + (1 + s)/2, at every order in B/Bc and every pz. A spin flip at fixed orbit and a step up in orbit at fixed spin both cost E(n + 1) − E(n), even at large n where that has fallen to ħωc/γ. The classical counterpart, quoted, is the Bargmann-Michel-Telegdi result that for motion across a pure magnetic field the spin turns relative to the momentum at a|q|B/m, whatever γ is. The measured electron sits close: its spin resonance at 1 T is 28.0250 GHz against a cyclotron frequency of 27.9925 GHz, equal to within 0.116%.

5Relativity bends the ladder but never splits a pair

At pz = 0, E(n) = mc²√(1 + 2nB/Bc), with Bc = m²c²/(|q|ħ) = 4.41 × 10⁹ T for the electron, since ħωc/mc² = B/Bc. Then E(n) − mc² = nħωc − (nħωc)²/(2mc²) + …, so level n falls below nħωc by the fraction nB/(2Bc), and the line from n to n + 1 sits below ħωc by (n + ½)(ħωc)²/mc². In a 5.00 T laboratory field ħωc = 0.579 meV and the fraction for n = 1 is 5.7 × 10⁻¹⁰, tiny, but above the precision of Penning-trap g − 2 measurements, which must carry it. At B = Bc the n = 1 level sits at (√3 − 1)mc² = 374 keV, not 511 keV, and at 10¹¹ T, a field inferred for magnetars, it is 2.97 MeV where nħωc says 11.6 MeV: the spacing grows as √B. Through all of this the pairs stay whole, because relativity acts on n. The limits close the check. B → 0 leaves a free Dirac particle along z; B ≪ Bc returns topic 6.02's (nL + ½ + s/2)ħωc + pz²/2m; and m → 0 in two dimensions, with c replaced by vF ≈ 1.0 × 10⁶ m s⁻¹ and spin by sublattice pseudospin, gives graphene's ±vF√(2nħeB), whose unpaired n = 0 level produces the measured half-integer Hall plateaus σxy = ±4(N + ½)e²/h, quoted.

6What an anomalous moment would split

Topic 6.04 introduces Pauli's term, which covariance and gauge invariance allow but minimal coupling leaves out. Quoted here, in a pure magnetic field it adds −μ′βΣ⋅B to H, where μ′ = aqħ/2m is the anomalous part of the moment. At pz = 0, βΣz commutes with the rest of H and takes the value −s q/|q| on each state, so the term adds exactly s aħωc/2: E(n, s) = mc²√(1 + 2nB/Bc) + s aħωc/2, derived from the quoted term. Each pair opens by aħωc, the n = 0 level drops to mc² − aħωc/2, and any transition that keeps s is not moved. The pair splitting in frequency is νₐ = aνc: Schwinger's a = α/2π = 0.0011614, quoted, would give 32.51 MHz per tesla, and the measured a = 0.00115965218 gives 32.46 MHz per tesla. A Penning trap measures exactly this, the splitting inside a pair against the spacing between pairs: a = νₐ/νc, with the relativistic shift corrected in νc and absent from νₐ, since both members of a pair share n. That is the sense in which g − 2 is measured as the breaking of a degeneracy the Dirac equation makes exact.

2

Key equations

Read the units, assumptions and limits before substituting.

Squared Hamiltonian in a pure magnetic field

H² = m²c⁴ + c²(σ⋅π)² on each 2 × 2 block

The cross term mc³(αᵢβ + βαᵢ)πᵢ vanishes because β anticommutes with every αᵢ, so a 4 × 4 first-order problem becomes a 2 × 2 eigenvalue problem for (σ⋅π)².

H = cα⋅π + βmc² in J; π = p − qA in kg m s⁻¹; σ the Pauli matrices. Exact only when the scalar potential is zero.

Spin enters through the field commutator

(σ⋅π)² = πₓ² + πy² + pz² − qħBσz

σz commutes with πₓ² + πy², so the Landau label nL and the spin σz are good quantum numbers together, and pz is a third.

B = Bẑ in T; q in C, with q = −e for the electron; ħ in J s. Uses π × π = iħqB from topic 6.02.

Exact Dirac Landau levels (derived)

E² = m²c⁴ + pz²c² + 2nħ|q|Bc², with n = nL + (1 + s)/2

Unit 3's spinless 2nL + 1 becomes 2nL + 1 + s, so the state (nL, s = +1) and the state (nL + 1, s = −1) share their energy at every B and every pz.

E in J; nL = 0, 1, 2, … is Unit 3's orbit label; s = +1 for a spin moment against B, −1 along it (σz for the electron).

States per level per unit area

N/A = |q|B/h for n = 0, and 2|q|B/h for every n ≥ 1

The lowest level holds one spin state and every higher level two, exactly: n = 0 is the unpaired level, and it carries no zero-point cyclotron energy.

B in T, h in J s, N/A in m⁻². For the electron |q|B/h = 2.42 × 10¹⁴ m⁻² at 1 T, the Landau count of Unit 3, quoted.

Leading relativistic correction at pz = 0

E − mc² ≈ nħωc [1 − nħωc/(2mc²)]

Relativity pulls level n below nħωc by the fraction nB/(2Bc), the same for both members of a pair: it moves pairs and never splits them.

ωc = |q|B/m in s⁻¹; ħωc/mc² = B/Bc, with Bc = m²c²/(|q|ħ) = 4.41 × 10⁹ T for the electron.

Anomalous moment at pz = 0 (Pauli term quoted)

E(n, s) = mc²√(1 + 2nB/Bc) + s aħωc/2

Each pair opens by aħωc, the anomaly frequency aνc = 32.46 MHz per tesla, while a transition that keeps s is not moved at all.

a = (g − 2)/2, dimensionless; measured a = 0.00115965218 for the electron. Pauli's term, which covariance and gauge invariance allow but do not require, is introduced in topic 6.04.
3

Interactive lab

Predict first. Explore the model. Compare the result.

Explore the model

0.50 Bc
0.05 to 2 Bc; steps of 0.05.
2.00
1.6 to 2.4; steps of 0.05.

Try this. Leave g at 2 and drag B to 2Bc: each dashed line stays on its solid partner while the curves bend over, n = 1 reaching (√5 − 1)mc², not the 2mc² of nħωc. Then move g: every pair opens by |g − 2|ħωc/2 and n = 0 leaves mc². The real g = 2.0023 opens a pair by 0.12% of ħωc, too thin to draw.

Live results

LOWEST LEVEL, E − mc²
0.00 keV
SPINLESS GROUND, E − mc²
114.8 keV
n = 1 PAIR AT g = 2
211.7 keV
PAIR SPLITTING |a|ħωc
0.00 keV

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

Interactive Advanced Quantum Mechanics modelDirac levels n = 0, 1, 2 of an electron at p_z = 0: E − mc² against B/B_c. Solid: orbit n, spin moment along B; dashed: orbit n − 1, spin moment against B; faint: Unit 3's spinless ground. At B = 0.50 B_c, ħω_c = 255.5 keV, the n = 1 pair sits 211.7 keV above mc², and g = 2.00, through Pauli's term of topic 6.04, opens each pair by 0.00 keV.n = 0n = 1n = 2spinlessB/Bc, with Bc = 4.41 × 10⁹ TE − mc²mc²solid orbit n, dashed orbit n − 1B = 0.50 Bc
Dirac levels n = 0, 1, 2 of an electron at pz = 0: E − mc² against B/Bc. Solid: orbit n, spin moment along B; dashed: orbit n − 1, spin moment against B; faint: Unit 3's spinless ground. At B = 0.50 Bc, ħωc = 255.5 keV, the n = 1 pair sits 211.7 keV above mc², and g = 2.00, through Pauli's term of topic 6.04, opens each pair by 0.00 keV.

Predict → change one variable → check

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

Saved baseline. Field B: 0.50 Bc; Spin g-factor g (range exaggerated): 2.00

Baseline 0.50; choose 0.05 to 2, in steps of 0.05.
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

The tempting shortcut takes Unit 3's spinless relativistic levels and adds the Pauli spin energy outside the square root: E = mc²√(1 + (2nL + 1)B/Bc) ± μBB. To first order in B it agrees with the Dirac result, which is why it survives a quick check. Beyond that it fails, because spin is not an energy added after the orbit is solved. It sits inside c²(σ⋅π)² beside the orbital term, under the same square root, so relativity shrinks it in step with the orbital spacing. At B = Bc the shortcut puts the lowest level at 0.914mc², below the rest energy, and splits the n = 1 pair into 1.500mc² and 1.914mc², where the Dirac equation gives mc² and a single level at 1.732mc². The shortcut invents, at order (B/Bc)², a splitting that in the Dirac equation only an anomalous moment can produce.

5

Practice & worked examples

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

EasyExample 1

An electron moves in a uniform 2.50 T field with pz = 0. From the exact Dirac levels, find E − mc² for n = 0, 1 and 2 in meV, name the orbit and spin of every state in each level, count the states per square millimetre in each, and compare the lowest level with Unit 3's spinless ground state.

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

0 of 4 steps revealed.

MediumExample 2

A Penning trap holds an electron in a 4.20 T field; ignore the trap's electric field and take pz = 0. Find νc and the fraction hνc/mc², the frequencies of the spin-keeping cyclotron lines n = 0 → 1 and n = 1 → 2 from the exact Dirac levels, and the frequency separating the two members of the n = 1 pair when the measured a = 0.00115965218 is quoted.

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

A cyclotron absorption line at 40.0 keV, redshift already removed, from a neutron star's surface is read as electrons at pz = 0 going from the lowest Dirac level to n = 1 by absorbing photons that travel perpendicular to B. Find B from the exact levels and from the reading E = ħωc, predict the second harmonic n = 0 → 2, and find the doublet the measured a = 0.00115965218 would make of the first line.

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.

An electron sits at pz = 0 in a field B = Bc/8 = 5.52 × 10⁸ T, where ħωc = 63.9 keV. According to the Dirac equation with minimal coupling, how far apart in energy are the orbit nL = 3 state with its spin moment along B and the orbit nL = 2 state with its spin moment against B?
7

Review & continue

The Dirac Landau levels are the exact energies E = √(m²c⁴ + pz²c² + 2nħ|q|Bc²) of a spin-½ Dirac particle in a uniform magnetic field, where each level n ≥ 1 holds orbit n with its spin moment along B and orbit n − 1 with its spin moment against B.

  • 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.