Solve the BCS / HFB gap-and-number equations self-consistently for (Δ, λ) given a single-particle spectrum {e_k, Ω_k}, pairing strength G, and target particle number N; read v_k² as the orbital occupation and 2Δ as the excitation gap; identify the critical G below which pairing collapses.
1 worked example · 7 practice problems · 2 check problems
Worked example: two-level BCS at half-filling
Problem. A model nucleus has two single-particle levels at energies e1=−1 and e2=+1 (MeV), each with pair-degeneracy Ω1=Ω2=1. With pairing strength G=2 MeV and target particle number N=1 (half-filling), find the chemical potential λ, gap Δ, and the orbital occupations vk2. Verify the gap and number equations are simultaneously satisfied.
Diagnosis. Two equations, two unknowns. The level structure has a reflection symmetry (ek→−ek, which swaps levels 1 and 2) and the target N=1 is exactly half of the total pair degeneracy Ω1+Ω2=2. The symmetry forces λ=0. That leaves just the gap equation, in one unknown Δ.
Predict before reading on: why does the reflection symmetry pin λ=0? Think about what the number equation does as λ moves away from zero.
Symmetry argument for λ=0. Under the reflection ek→−ek, λ→−λ, the quasi-particle energies Ek=(ek−λ)2+Δ2 are invariant when levels are swapped, but the occupation vk2=21[1−(ek−λ)/Ek] picks up the substitution (ek−λ)→−(ek−λ), which means v12↔v22. Total N=∑kΩkvk2 is invariant only if it's already at the symmetric value ∑kΩk/2=1. So N=1 is the symmetric point, and self-consistency forces λ=0.
Gap equation. With λ=0, E1=E2=1+Δ2. The gap equation
1=2Gk∑EkΩk=2G⋅1+Δ22=1+Δ2G
collapses to 1+Δ2=G, so Δ2=G2−1=1 and Δ=1 MeV.
Predict before reading on: what would happen if G<1? Look at the equation 1+Δ2=G and ask: can it be satisfied?
Physical reading. The HF answer for N=1 on these two levels would put one particle in level 1 (fully occupied) and zero in level 2 (empty) — a sharp step. HFB at Δ=1 (comparable to the level spacing 2) smears that to (0.85,0.15). The 15% of probability that level 2 picks up is the pairing correlation: a fraction of a Cooper pair has "leaked" up to the empty level, lowering the total energy.
Articulate: state in one sentence what Δ physically represents and what units it must have. What experimental signature in nuclear-mass data corresponds to a non-zero Δ?
Practice problems
Seven problems. The first three vary parameters on the same two-level model to test mechanics and the phase transition. The next two test interpretation (gap, HF limit). The last two extend to richer settings (even-odd staggering, sub-shell closure).
P.1phase transition at critical G
Same two-level system as the worked example (e=±1,Ωk=1,N=1). What is the critical pairing strength Gc below which Δ=0 is the only solution? Plot or describe how Δ(G) behaves for G∈[0,2].
Find the analogue:
the worked example solved the gap equation 1+Δ2=G at G=2. What happens to this equation as G decreases? At what G does it stop having a real solution?
show answer
1+Δ2=G⇒Δ=G2−1 when G≥1.
For G<1: no real Δ>0 solution. The only fixed point is Δ=0 — pairing collapses. Gc=1.
Shape of Δ(G): identically zero on [0,1]; for G>1 the gap turns on continuously, with Δ(G)→0+ as G→1+. Square-root singularity: Δ≈2(G−1) near the critical point.
This is the textbook second-order phase transition. The order parameter Δ plays the role of the magnetization in Ising, with G−Gc the analogue of Tc−T, and the mean-field exponent βMF=1/2 matches the BCS mean-field result.
P.2particle-number tuning via λ
Same two-level system, now with target N=0.5 instead of 1 (quarter-filling). What sign does λ need to have, qualitatively? Setting up the equations carefully, find λ and Δ numerically at G=2. (Hint: λ is no longer pinned to zero; solve the coupled system.)
Find the analogue:
the worked example used reflection symmetry to fix λ=0. Now you've broken that symmetry by shifting N. The number equation becomes a non-trivial constraint that picks λ.
show answer
Sign of λ.N=0.5<1 means we want fewer particles than half-filled; λ should sit below the symmetric point so fewer states are occupied. λ<0, somewhere near or below e1=−1.
Coupled equations. Define ξk=ek−λ:
Number: 21[1−ξ1/E1]+21[1−ξ2/E2]=0.5 with Ek=ξk2+Δ2
Gap: 1=(G/2)[1/E1+1/E2]
Numerical solution (e.g., scipy fsolve or nested bisection like the page's solver):
import numpy as npfrom scipy.optimize import fsolvee = np.array([-1.0, 1.0])G = np.sqrt(2)N_target = 0.5def eqs(p): lam, Delta = p xi = e - lam E = np.sqrt(xi**2 + Delta**2) return [0.5*((1 - xi/E).sum()) - N_target, 0.5*G*(1/E).sum() - 1]lam, Delta = fsolve(eqs, [-1.0, 0.5])print(f"λ = {lam:.4f}, Δ = {Delta:.4f}")
Result: λ≈−1.155, Δ≈0.667. The chemical potential drops just below e1, and the gap is smaller than in the half-filled case because we're now near the bottom of the spectrum where pairing has less "headroom."
P.3three-level symmetric extension
Extend the worked example to three levels: e=(−2,0,+2) MeV, all with Ωk=1. Target N=1.5 (half-filling, since total degeneracy is 3). At G=0.8 MeV, find λ,Δ, and the three occupations vk2.
Find the analogue:
the same reflection symmetry pins λ=0 at half-filling. The middle level e2=0 sits exactly at λ, so E2=Δ directly — the gap shows up as a "naked" eigenvalue.
show answer
Symmetry pins λ=0. Gap equation:
1=(G/2)[1/4+Δ2+1/Δ+1/4+Δ2]=(G/2)[2/4+Δ2+1/Δ]
This is transcendental — solve numerically (bisection, scipy, hand iteration). At G=0.8:
Reading: level 1 (well below λ) is almost fully occupied; level 3 (well above) is almost empty; level 2 (right at λ) is exactly half-occupied. The smearing concentrates on levels within ∼Δ of the chemical potential — the page's "step softens into a sigmoid of width ∼Δ."
P.4excitation gap from quasi-particle spectrum
For each system below, compute the lowest quasi-particle energy Emin, which equals the energy cost to create one quasi-particle excitation.
(a) Worked example: e=±1,Ω=(1,1),Δ=1,λ=0.
(b) Worked example with G=2 (so Δ=3): compute Emin.
(c) Three-level case from P.3 (e=(−2,0,2),Δ≈0.646,λ=0): compute Emin.
State the general rule: when does Emin=Δ exactly, and when is it larger?
Find the analogue:Ek=(ek−λ)2+Δ2 is the cost of breaking up a Cooper pair to put a quasi-particle in level k. The minimum over k gives the excitation gap.
show answer
(a) E1=E2=1+1=2≈1.414. Emin=2, not Δ=1.
(b) Ek=1+3=2 for both. Emin=2, larger than Δ=3≈1.732.
(c) E1=E3≈2.102, E2=Δ=0.646. Emin=Δ=0.646.
General rule.Emin=Δ exactly when there exists a single-particle level sitting at the chemical potential, ek=λ. Otherwise Emin=(eclosest−λ)2+Δ2>Δ. So the textbook statement "the BCS gap is Δ" only applies to (effectively) continuous spectra where some level is always near λ. In finite nuclei with discrete spectra, the observed gap can be noticeably larger than Δ, especially for closed-shell-adjacent configurations where no level sits at λ.
The two-quasi-particle excitation (breaking a pair) has energy 2Emin, which is what the empirical mass formula Δ≈12/A MeV is fitting to. In the page's notation, the "pairing gap from mass-staggering" and the "Δ from the BCS equations" agree only when a level sits at λ.
P.5HF limit recovery
Verify that as G→0 (no pairing), the HFB occupations collapse to the HF answer: each level is either fully occupied (vk2=1) or empty (vk2=0), with the boundary set by λ.
(a) Start from vk2=21[1−(ek−λ)/Ek] with Ek=(ek−λ)2+Δ2. Take Δ→0 and compute the limit.
(b) Explain what happens at a level exactly equal to λ (e.g., the middle level in P.3 at G→0+). What does HFB say there?
Find the analogue:
the page's viz showed Δ=0 recovering the HF step; this problem confirms it algebraically.
show answer
(a) With Δ=0: Ek=∣ek−λ∣. The occupation becomes
vk2=21[1−(ek−λ)/∣ek−λ∣]=21[1−sgn(ek−λ)]
For ek<λ: sgn=−1, so vk2=1 (occupied). For ek>λ: sgn=+1, so vk2=0 (empty). The Heaviside step from the HFB occupation page. ✓
(b) For ek=λ: (ek−λ)/Ek=0/0 — indeterminate! Resolving via limΔ→0+(ek−λ)/(ek−λ)2+Δ2 with ek=λ gives 0, so vk2=1/2. HFB "splits the difference" at the chemical potential.
This is exactly the partial-filling situation that plain HF cannot handle: with discrete levels and a target N falling between two configurations, HF has no solution; HFB regularizes it with a half-filled level. Pairing is precisely what fixes the partial-filling singularity of HF, even at infinitesimal G.
P.6even-odd mass staggering
The empirical pairing gap is extracted from nuclear masses via the three-point mass formula:
Δn(3)(N)=21[B(N+1)−2B(N)+B(N−1)]
where B(N) is the binding energy and the formula is evaluated at an odd N. In an HFB-like model, removing one nucleon from an even-N ground state costs an extra Δ compared to the smooth single-particle change, because the unpaired nucleon can't pair with anyone.
For the worked example's two-level system at N=0,1,2:
(a) Compute the HFB ground-state energy at each N in the constant-G approximation (use EHFB=∑kΩkekvk2−Δ2/G).
(b) Compute the two-nucleon separation energy S2n(2)=E(0)−E(2).
Find the analogue:
this is the "S_2n" formula from the HFB concept page applied to the worked example's mini-system. The HFB code from the page does this automatically; here you do it by hand on a 2-level model.
show answer
For N=1 (worked example): Δ=1,λ=0,v12=0.854,v22=0.146. Energy:
For N=0 (empty): both vk2=0, Δ=0 (no particles, no pairing). E(0)=0.
For N=2 (filled): both vk2=1, Δ=0. E(2)=e1+e2=−1+1=0.
(b) S2n(2)=E(0)−E(2)=0−0=0 MeV — removing both particles from the fully-filled state costs nothing in this symmetric toy model (the single-particle energies cancel).
Hmm — so in this toy model the most bound state is the half-filled one (with pairing). Adding or removing particles costs +1.415 MeV. That's the "pairing energy" the system pays per pair to organize at half-filling. In the full sd-shell numbers in the HFB code, this becomes ∼1.6 MeV at G=0.4, matching the empirical Δ≈12/A∼2 MeV for A∼30.
P.7sd-shell sub-shell closure
Look at the HFB concept page's sd-shell results. At N=8 (full 0d5/2 + 1s1/2), the table shows Δ=0 all the way up to G=0.40 MeV, and only at G=0.60 does pairing turn on. Explain in your own words:
(a) Why does pairing collapse at this particular N?
(b) What does the critical G for sub-shell-closure pairing depend on?
(c) Why does N=4 (mid-d5/2, open shell) have pairing at any positive G?
Find the analogue:
P.1 derived the critical G for a symmetric two-level system in closed form. The sd-shell is a richer setting, but the same logic applies: Gc is set by the level spacing across the chemical potential.
show answer
(a) At N=8, the levels 0d5/2 (e = −3.93 MeV) and 1s1/2 (e = −3.16) are fully occupied, and the next available shell 0d3/2 sits at +2.11 — a 5.3 MeV gap to the next empty state. For pairing to turn on, G has to overcome this large single-particle gap.
(b) The critical Gc for a sub-shell closure depends on the energy spacing between the highest filled level and the lowest empty level. In rough terms, Gc∼ (spacing across the gap)/(typical degeneracy near λ). A small single-particle gap makes pairing easy to turn on (small Gc); a large gap suppresses pairing (large Gc). This is why magic numbers resist pairing — they correspond to single-particle gaps of order 5-10 MeV, well above any realistic G.
(c) At N=4, the 0d5/2 shell is partially filled (4 of 6 m-states). There's no single-particle gap to overcome — the chemical potential sits in the middle of the partially-occupied shell, with empty states immediately available at essentially the same energy. Any positive G produces a non-zero Δ because the gap equation 1=(G/2)∑Ωk/Ek has a divergent term (one Ek→0) at Δ=0, so it's always satisfiable for any G>0. This is the same phenomenon as the partial-filling discussion in P.5(b): pairing regularizes what would otherwise be a singularity.
The general picture: closed-shell nuclei (magic numbers) don't need HFB — HF is enough, pairing collapses. Open-shell nuclei need HFB — pairing is essential. This is the empirical rule "pair the open shells" formalized.
Check problems
Two problems that don't pattern-match against the practice set. The first derives a clean closed-form result; the second tests understanding of the deeper structural cost HFB pays.
Check 1derivation
Derive a closed-form expression for the critical pairing strength Gc of a symmetric two-level system with arbitrary level spacing 2a (levels at ±a) and arbitrary pair-degeneracies Ω1=Ω2=Ω, at half-filling N=Ω.
(a) Set up the gap equation explicitly using symmetry to fix λ.
(b) Take the Δ→0+ limit and solve for the critical Gc.
(c) Sanity-check against the worked example (a=1,Ω=1 gives Gc=1) and against the limit a→0 (degenerate levels: pairing turns on at any G>0).
show solution sketch
(a) Symmetry pins λ=0 at half-filling. Both levels have Ek=a2+Δ2. Gap equation:
1=(G/2)∑kΩk/Ek=(G/2)⋅2Ω/a2+Δ2=GΩ/a2+Δ2
(b) Take Δ→0+:
1=GcΩ/a⇒Gc=a/Ω
For G>Gc: the gap equation has a real Δ>0 solution Δ=(GΩ)2−a2. For G<Gc: only the trivial Δ=0 solution exists.
(c) Check 1:a=1,Ω=1⇒Gc=1 ✓ (matches the worked example's Gc=1 from P.1).
Check 2:a→0 (degenerate levels): Gc→0. Any positive G creates a gap when the single-particle levels are degenerate — there's no spacing to overcome. ✓ This is why pairing is so robust in nearly-degenerate j-shells: Gc→0 as the level degeneracy increases, so pairing turns on for any non-zero interaction.
The result Gc=a/Ω reads: larger spacings need more interaction to overcome; richer degeneracies need less. Both effects are real in nuclear physics — high-j shells (large Ω) are easy to pair; large single-particle gaps (magic numbers) are hard to pair. The formula quantifies the trade-off.
Check 2articulation
The HFB ground state is not an eigenstate of particle number N^. The expected value ⟨N^⟩ is pinned to A by the Lagrange multiplier λ, but ⟨N^2⟩−⟨N^⟩2>0.
In 150-250 words, explain in concrete terms:
What does it mean for the HFB ground state to have a variance in particle number?
What goes physically wrong if you try to compute, say, a beta-decay matrix element with this state without first projecting onto definite N?
Why does the HFB community accept this cost, given that exact particle-number conservation is "just" a symmetry?
show solution sketch
An HFB ground state is a coherent superposition of components with different particle numbers — schematically, ∣Φ⟩=∑N′cN′∣ΨN′⟩ where ∣cN′∣2 peaks at the target N but is non-zero for N±2,N±4,… — Cooper pairs being added and removed in the same wavefunction. The variance ⟨N^2⟩−⟨N^⟩2>0 measures the width of this distribution. For a typical paired open-shell nucleus, the std deviation in N is a few — small compared to A∼100, but not zero.
When you compute a one-body matrix element like ⟨Φ′∣O^∣Φ⟩ between HFB states for the initial and final nucleus in beta decay, the matrix element picks up cross terms between N′=N components — spurious transitions that don't correspond to a real beta decay. The computed matrix element is contaminated by amplitudes for adding-or-removing pairs, which physically can't accompany a single-nucleon beta-decay process. Without particle-number projection, your half-life estimate will be systematically wrong, sometimes by orders of magnitude.
The HFB community accepts the cost because (i) for energetics and densities, the variance is small enough to be a quantitative rather than qualitative error — masses, radii, and binding energies come out within experimental precision; (ii) particle-number projection after variation (PAV) is a one-shot fix, cheap to apply when you need it; and (iii) full variation after projection (VAP) is sometimes done for matrix elements where the bias matters. The trade — exact N for the pairing field — is the right one for the vast majority of HFB observables, and the projections are tools you reach for only when an exact-N answer is required.