Nuclear Physics

Hartree-Fock-Bogoliubov — exercises

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 and (MeV), each with pair-degeneracy . With pairing strength MeV and target particle number (half-filling), find the chemical potential , gap , and the orbital occupations . Verify the gap and number equations are simultaneously satisfied.

Diagnosis. Two equations, two unknowns. The level structure has a reflection symmetry (, which swaps levels 1 and 2) and the target is exactly half of the total pair degeneracy . The symmetry forces . That leaves just the gap equation, in one unknown .

Predict before reading on: why does the reflection symmetry pin ? Think about what the number equation does as moves away from zero.

Symmetry argument for . Under the reflection , , the quasi-particle energies are invariant when levels are swapped, but the occupation picks up the substitution , which means . Total is invariant only if it's already at the symmetric value . So is the symmetric point, and self-consistency forces .

Gap equation. With , . The gap equation

collapses to , so and MeV.

Predict before reading on: what would happen if ? Look at the equation and ask: can it be satisfied?

Occupations. With , :

Check both equations.

Physical reading. The HF answer for on these two levels would put one particle in level 1 (fully occupied) and zero in level 2 (empty) — a sharp step. HFB at (comparable to the level spacing ) smears that to . 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.1 phase transition at critical G

Same two-level system as the worked example (). What is the critical pairing strength below which is the only solution? Plot or describe how behaves for .

Find the analogue: the worked example solved the gap equation at . What happens to this equation as decreases? At what does it stop having a real solution?

show answer

when .

For : no real solution. The only fixed point is — pairing collapses. .

Shape of : identically zero on ; for the gap turns on continuously, with as . Square-root singularity: near the critical point.

This is the textbook second-order phase transition. The order parameter plays the role of the magnetization in Ising, with the analogue of , and the mean-field exponent matches the BCS mean-field result.

P.2 particle-number tuning via λ

Same two-level system, now with target instead of 1 (quarter-filling). What sign does need to have, qualitatively? Setting up the equations carefully, find and numerically at . (Hint: is no longer pinned to zero; solve the coupled system.)

Find the analogue: the worked example used reflection symmetry to fix . Now you've broken that symmetry by shifting . The number equation becomes a non-trivial constraint that picks .

show answer

Sign of . means we want fewer particles than half-filled; should sit below the symmetric point so fewer states are occupied. , somewhere near or below .

Coupled equations. Define :

  • Number: with
  • Gap:

Numerical solution (e.g., scipy fsolve or nested bisection like the page's solver):

import numpy as np
from scipy.optimize import fsolve

e = np.array([-1.0, 1.0])
G = np.sqrt(2)
N_target = 0.5

def 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: , . The chemical potential drops just below , 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.3 three-level symmetric extension

Extend the worked example to three levels: MeV, all with . Target (half-filling, since total degeneracy is 3). At MeV, find , and the three occupations .

Find the analogue: the same reflection symmetry pins at half-filling. The middle level sits exactly at , so directly — the gap shows up as a "naked" eigenvalue.

show answer

Symmetry pins . Gap equation:

This is transcendental — solve numerically (bisection, scipy, hand iteration). At :

MeV, .

Quasi-particle energies: , .

Occupations: . Sum: ✓.

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.4 excitation gap from quasi-particle spectrum

For each system below, compute the lowest quasi-particle energy , which equals the energy cost to create one quasi-particle excitation.

(a) Worked example: .

(b) Worked example with (so ): compute .

(c) Three-level case from P.3 (): compute .

State the general rule: when does exactly, and when is it larger?

Find the analogue: is the cost of breaking up a Cooper pair to put a quasi-particle in level . The minimum over gives the excitation gap.

show answer

(a) . , not .

(b) for both. , larger than .

(c) , . .

General rule. exactly when there exists a single-particle level sitting at the chemical potential, . Otherwise . 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 , which is what the empirical mass formula 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.5 HF limit recovery

Verify that as (no pairing), the HFB occupations collapse to the HF answer: each level is either fully occupied () or empty (), with the boundary set by .

(a) Start from with . Take and compute the limit.

(b) Explain what happens at a level exactly equal to (e.g., the middle level in P.3 at ). What does HFB say there?

Find the analogue: the page's viz showed recovering the HF step; this problem confirms it algebraically.

show answer

(a) With : . The occupation becomes

For : , so (occupied). For : , so (empty). The Heaviside step from the HFB occupation page. ✓

(b) For : — indeterminate! Resolving via with gives 0, so . 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 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 .

P.6 even-odd mass staggering

The empirical pairing gap is extracted from nuclear masses via the three-point mass formula:

where is the binding energy and the formula is evaluated at an odd . In an HFB-like model, removing one nucleon from an even- 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 :

(a) Compute the HFB ground-state energy at each in the constant- approximation (use ).

(b) Compute the two-nucleon separation energy .

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 (worked example): . Energy:

MeV.

For (empty): both , (no particles, no pairing). .

For (filled): both , . .

(b) 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 MeV at , matching the empirical MeV for .

P.7 sd-shell sub-shell closure

Look at the HFB concept page's sd-shell results. At (full + ), the table shows all the way up to MeV, and only at does pairing turn on. Explain in your own words:

(a) Why does pairing collapse at this particular ?

(b) What does the critical for sub-shell-closure pairing depend on?

(c) Why does (mid-, open shell) have pairing at any positive ?

Find the analogue: P.1 derived the critical for a symmetric two-level system in closed form. The sd-shell is a richer setting, but the same logic applies: is set by the level spacing across the chemical potential.

show answer

(a) At , the levels (e = −3.93 MeV) and (e = −3.16) are fully occupied, and the next available shell sits at +2.11 — a 5.3 MeV gap to the next empty state. For pairing to turn on, has to overcome this large single-particle gap.

(b) The critical for a sub-shell closure depends on the energy spacing between the highest filled level and the lowest empty level. In rough terms, (spacing across the gap)/(typical degeneracy near ). A small single-particle gap makes pairing easy to turn on (small ); a large gap suppresses pairing (large ). This is why magic numbers resist pairing — they correspond to single-particle gaps of order 5-10 MeV, well above any realistic .

(c) At , the 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 produces a non-zero because the gap equation has a divergent term (one ) at , so it's always satisfiable for any . 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 1 derivation

Derive a closed-form expression for the critical pairing strength of a symmetric two-level system with arbitrary level spacing (levels at ) and arbitrary pair-degeneracies , at half-filling .

(a) Set up the gap equation explicitly using symmetry to fix .

(b) Take the limit and solve for the critical .

(c) Sanity-check against the worked example ( gives ) and against the limit (degenerate levels: pairing turns on at any ).

show solution sketch

(a) Symmetry pins at half-filling. Both levels have . Gap equation:

(b) Take :

For : the gap equation has a real solution . For : only the trivial solution exists.

(c) Check 1: ✓ (matches the worked example's from P.1).

Check 2: (degenerate levels): . Any positive 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: as the level degeneracy increases, so pairing turns on for any non-zero interaction.

The result reads: larger spacings need more interaction to overcome; richer degeneracies need less. Both effects are real in nuclear physics — high- shells (large ) are easy to pair; large single-particle gaps (magic numbers) are hard to pair. The formula quantifies the trade-off.

Check 2 articulation

The HFB ground state is not an eigenstate of particle number . The expected value is pinned to by the Lagrange multiplier , but .

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 ?
  • 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, where peaks at the target but is non-zero for — Cooper pairs being added and removed in the same wavefunction. The variance measures the width of this distribution. For a typical paired open-shell nucleus, the std deviation in is a few — small compared to , but not zero.

When you compute a one-body matrix element like between HFB states for the initial and final nucleus in beta decay, the matrix element picks up cross terms between 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 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- answer is required.