Skip to content

Pairing, Superfluidity, and Superconductivity

Paired matter is not diagnosed by a gap alone. One must separately establish the Cooper-channel instability, the symmetry and spectrum of the paired state, its phase stiffness or electromagnetic response, the control of the microscopic approximation, and the extent to which observations exclude alternative mechanisms or boundary states. This chapter develops those layers from the weak-coupling instability to vortices, retarded interactions, unconventional and topological pairing, and the evidence standards for Majorana platforms.

Helpful background. The Cooper instability is the quickest entry if pairing eigenchannels are new. Landau Fermi-liquid theory supplies the normal-state quasiparticle and density-of-states language used in weak coupling.

The main route is constructive: derive the instability and saddle, encode it in Nambu space, identify physical response, and only then ask for mechanism or topology. A reader is ready to begin if they can diagonalize a two-level Hermitian matrix, distinguish spontaneous-symmetry breaking from a gauge choice, and state which energy or length scale makes an approximation controlled.

Reader goalSuggested routeCapability at the end
Graduate coreCooper instability → BCS saddle → Nambu propagator → collective modes → stiffnessDerive the gap equation and quasiparticle spectrum, then distinguish order, stiffness, and observable poles
Electromagnetic and defect responseStiffness → Meissner response → vortices → flux and Josephson effectsUse gauge-covariant phase gradients, Ward identities, and winding to predict response
Retarded and crossover pairingMigdal validity → Eliashberg equations → BCS–BEC crossoverState the controlling scale hierarchy and identify where weak-coupling or quasiparticle assumptions fail
Unconventional and topological claimsSymmetry diagnostics → competing mechanisms → topological BdG theory → Majorana evidenceSeparate a symmetry, mechanism, bulk invariant, boundary mode, and platform demonstration

From the Cooper channel to gauge-invariant response

Section titled “From the Cooper channel to gauge-invariant response”

For a uniform single-band saddle in a real-gap gauge, the inverse Nambu propagator is

G1(iωn,k)=iωnτ0ξkτ3Δkτ1,Ek2=ξk2+Δk2.\mathcal G^{-1}(i\omega_n,\mathbf k) =i\omega_n\tau_0-\xi_{\mathbf k}\tau_3-\Delta_{\mathbf k}\tau_1, \qquad E_{\mathbf k}^2=\xi_{\mathbf k}^2+\lvert\Delta_{\mathbf k}\rvert^2.

This compact matrix does three jobs but proves only conditional statements. Its off-diagonal entries encode anomalous propagation: they transform under the physical global number symmetry of a neutral fluid and are gauge covariant in a charged theory. Its determinant gives BdG poles, and its vertices enter response functions. A physical superfluid or superconducting claim still requires phase rigidity. After coupling a charged condensate to electromagnetism, the invariant combination under a local gauge change is θqA\nabla\theta-q_*\mathbf A, with pair charge qq_*, so a phase-only free energy begins as

Fθ=12ddxρs,ij(iθqAi)(jθqAj)+.F_\theta=\frac12\int \mathrm d^d x\, \rho_{s,ij}(\partial_i\theta-q_*A_i)(\partial_j\theta-q_*A_j)+\cdots.

The mean-field, Nambu, and fluctuation construction is developed in Altland and Simons 2023, ch. 6 and de Gennes 1999, chs. 2 and 5. Neutral matter supports a gapless phase mode; long-range electromagnetism reorganizes that mode and produces magnetic screening. Winding quantizes circulation or flux, while amplitude, relative-phase, vortex-core, and boundary modes require additional dynamical and spatial information. Leggett 2006, chs. 5–8 emphasizes why pairing, condensation, and superfluid response need separate definitions, and Tinkham 2004, chs. 3–6 develops the charged response and defect relations. The figure traces these dependencies and marks the points where a new hypothesis enters.

The Cooper eigenchannel leads to a paired saddle and Nambu propagator, which branch into BdG spectra, collective modes, and phase stiffness before neutral vortices or charged Meissner, flux, and Josephson responses are inferred.

The paired-matter dictionary. A Cooper eigenvalue licenses an instability, the saddle licenses a conditional quasiparticle spectrum, and gauge-invariant stiffness licenses phase response. Defects, electromagnetic screening, and boundary spectra require the additional dimensional, charge, and boundary data shown. Original schematic, not to scale.

Three transitions in reasoning deserve special care. First, Migdal suppression of selected vertex corrections is a scale-and-kinematics statement, not a universal consequence of a light phonon frequency; the relevant ratios, coupling, momentum transfer, and electronic structure must be checked. Carbotte 1990, §§I–III relates that controlled retarded framework to strong-coupling observables. Second, an unconventional gap symmetry restricts the pairing kernel but does not uniquely identify a microscopic interaction. Third, a nontrivial BdG invariant establishes a boundary theorem for a specified gapped Hamiltonian, whereas a device claim must also discriminate trivial Andreev, Kondo, disorder, and measurement alternatives.

The validity map is organized as a sequence of stopping rules. Follow the solid branch only while the declared control and negative tests pass; a dashed exit means that the narrower statement may remain true while the stronger conclusion is no longer licensed.

Paired-matter claims pass separate retardation, crossover, symmetry, mechanism, topology, and platform tests, with failed controls stopping the inference at a narrower conclusion.

Validity and failure map for retarded, unconventional, and topological pairing. The branches are logical tests rather than a temporal phase diagram: controlled Eliashberg theory, a symmetry assignment, a microscopic mechanism, a bulk invariant, and a protected Majorana platform are distinct conclusions. Original schematic, not to scale; platform evidence is bounded through 10 August 2026.

Claim or regimeDefining inputObservable or invariantNecessary controlDecisive negative test or ceiling
Cooper instabilityAttractive eigenvalue of the antisymmetrized Fermi-surface kernelDiverging pair susceptibility and scale TcT_c within the modelDensity-of-states, cutoff, and channel normalization fixedPair breaking or competing flow cuts off the logarithm before the claimed scale
BCS paired saddleGap function, dispersion, interaction, and ensembleEkE_{\mathbf k}, coherence factors, gap and number equationsSaddle stability and ultraviolet matchingNegative fluctuation mode, violated number constraint, or cutoff-dependent observable
Nambu or BdG spectrumGauge-fixed pairing matrix and boundary conditionsPoles, local density of states, and particle–hole-related eigenpairsNo double counting; complete basis and converged geometryMissing particle–hole partner, unresolved finite-size splitting, or gauge-dependent claimed observable
Collective modeZero of the analytically continued fluctuation kernelPhase, amplitude, or relative-phase pole and residueConserving vertices, continuum threshold, and damping includedResponse maximum moves with background model or lies inside an unresolved continuum
Superfluid stiffnessFree-energy curvature under a twistHelicity modulus or transverse phase responseThermodynamic and static limits declaredCurvature vanishes after size extrapolation although a pairing gap remains
Meissner responseGauge-invariant current kernelTransverse screening kernel, penetration depth, and optical weightDiamagnetic plus paramagnetic terms obey Ward and sum rulesSpurious normal-state kernel or missing spectral weight
Vortex, flux, or Josephson responseCompact phase, pair charge, geometry, and weak-link modelWinding, flux quantum, current–phase relation, and voltage–frequency relationCore scale, screening, capacitance, dissipation, and parity relaxation statedPhase slips, trapped flux, ordinary harmonics, or poisoning explain the signal
Migdal–Eliashberg regimeRetarded interaction spectrum and electronic structureFrequency-dependent ZZ, ϕ\phi, gap, and thermodynamicsVertex ratio, momentum structure, bandwidth, coupling, and Coulomb treatment controlledVertex or nonadiabatic corrections are not small, or inversion is nonunique
BCS–BEC crossoverMatched scattering data, density, and number equationChemical potential, pair size, spectrum, and superfluid transitionRange and density parameters; pairing distinguished from condensationPseudogap or molecular population is promoted to phase coherence without stiffness
Unconventional symmetryAntisymmetry, crystal irrep, spin–orbital structureNodes, phase sign, spin response, and symmetry-resolved perturbationsDomains, matrix elements, disorder, and surface reconstruction modelledA different irrep or accidental-node state fits the same joint data
Microscopic mechanismIrreducible pairing kernel and competing channelsMomentum- and frequency-resolved predictions under controlled perturbationsCommon likelihood, calibrated nuisance terms, and held-out observablesOnly TcT_c or gap symmetry is fitted, or mixed mechanisms remain viable
Topological BdG phaseFully specified gapped Hamiltonian and symmetry classBulk invariant and boundary or defect spectral flowGap, locality, boundary conditions, and finite-size convergenceGap closes, protecting symmetry is absent, or boundary state is not robust to allowed perturbations
Majorana platformCalibrated device forward model and parity sectorNonlocal end correlation, parity dynamics, fusion or braiding operationParent gap, disorder, temperature, transfer function, device replication, and trivial comparatorsLocal zero-bias, tune-up, or minimal-chain parity signal remains reproducible by Andreev, Kondo, disorder, or ordinary dynamics

The surrounding prose, relationship-oriented alternative text, and matrix together provide a nonvisual account of both diagrams. They preserve the difference between a model calculation, a gauge-invariant response, a controlled approximation, a topological statement, and a date-bounded platform inference.

  1. The Cooper Instability and Pairing Channels derives the logarithmic instability and classifies antisymmetrized pairing eigenfunctions.
  2. BCS Mean-Field Theory and the Gap Equation constructs the paired saddle, spectrum, coherence factors, thermodynamics, and self-consistency equations.
  3. Nambu–Gor’kov Green Functions and Anomalous Propagators organizes normal and anomalous propagation while keeping gauge-dependent quantities distinct from observables.
  4. Bogoliubov–de Gennes Theory in Inhomogeneous Systems treats boundaries, vortices, disorder, and the particle–hole redundancy of real-space eigenproblems.
  5. Phase, Amplitude, and Leggett Collective Modes derives fluctuation kernels and the conditions for observable poles.
  6. Superfluid Order and Phase Stiffness separates paired order, helicity modulus, phase stiffness, and neutral response.
  7. Gauge-Invariant Meissner Response and Superfluid Weight combines current vertices, Ward identities, and sum rules to establish charged response.
  8. Vortices and Topological Defects in Paired Matter develops winding, core structure, energetics, and dimensional dependence.
  9. Phase Winding, Flux Quantization, and Josephson Effects derives flux quantization and weak-link dynamics from the gauge-covariant phase.
  10. Migdal’s Theorem and Vertex-Correction Validity states the actual scale and kinematic conditions suppressing electron–phonon vertex corrections.
  11. Eliashberg Equations and Retarded Pairing derives frequency-dependent normal and anomalous self-energies with a controlled interpretation boundary.
  12. The BCS–BEC Crossover follows pairs from overlapping Cooper states to composite bosons without conflating pair formation and condensation.
  13. Unconventional Pairing Symmetries and Diagnostics classifies gap structure and combines phase-, node-, and spin-sensitive tests.
  14. Unconventional Pairing Mechanisms and Competing Evidence compares phonon, spin, charge, excitonic, orbital, and mixed kernels using discriminating observations.
  15. Topological BdG Superconductors and Boundary Modes relates symmetry class and bulk invariant to boundary and defect solutions.
  16. Majorana Platforms and Evidence Standards evaluates platform observables against Andreev, Kondo, disorder, and device-specific alternatives.

Derivation. Starting from the displayed Nambu matrix, compute its determinant and show that its poles occur at ω=±Ek\omega=\pm E_{\mathbf k}. Explain why those poles establish the spectrum of the assumed saddle but do not alone establish phase stiffness.

Solution

Using det(aτ0+bτ)=a2b2\det(a\tau_0+\mathbf b\cdot\boldsymbol\tau)=a^2-\mathbf b^2 gives detG1=(iωn)2ξk2Δk2\det\mathcal G^{-1}=(i\omega_n)^2-\xi_{\mathbf k}^2-\lvert\Delta_{\mathbf k}\rvert^2. After retarded continuation, the zeros are ω=±Ek\omega=\pm E_{\mathbf k}. The calculation assumes a nonzero saddle in a chosen gauge. Stiffness is instead the curvature of the free energy under a spatial twist, or the corresponding gauge-invariant response; fluctuations can destroy that curvature even when a local pairing scale survives.

Inference. A material has a sign-changing gap and a sharp spin resonance below TcT_c. What is established? The observations support a restricted pairing symmetry and compatibility with a spin-fluctuation kernel. A mechanism claim additionally needs calibrated normal-state spectra, quantitative momentum and frequency dependence, perturbations and held-out predictions, and comparison with phonon, charge, orbital, feedback, and mixed-channel alternatives.

Platform check. A finite device shows a stable zero-bias peak at one end. Before calling it a protected Majorana pair, require a calibrated gapped regime, the opposite-end and bulk response, length and local-gate tests, parity lifetime and readout, device replication, and an operation that excludes ordinary dynamical phases. The dated Quantum Matter and Emergence Research synthesis carries changing platform evidence. A reproducible verification should compare spectra and response against adversarial alternatives.