# Coda (optional): The Many-Body Gateway

The volume's arc is closed — 7.22 explained the bath away and nothing in this volume
reopens it. These three notebooks stand outside that arc: the many-body formalism the
volume repeatedly gestured toward, built to the same standard as everything else.
Volumes I–VII never require them; Volume VIII, which follows, speaks them as its
native language — its Hubbard, Green-function, and response notebooks (8.13–8.17)
assume exactly what is built here.

**7.23 — Second Quantization** gives the volume's occupation-number habit its own
operators: Fock space as explicit matrices, Jordan–Wigner as the definition of lattice
fermions rather than a trick, the same two-particle problem built with labels and
without (agreeing to sixteen digits), the founding factorization of [§7.7](bose-einstein-fermi-dirac.ipynb) re-derived in one
line, and the Hubbard dimer — the smallest interesting interacting problem — solved
completely, superexchange and all.

**7.24 — Green's Functions** teaches the sentences the operators spell: the propagator
at temperature, the Lehmann representation computed exactly on small systems, Matsubara
sums finally doing a day's work, spectral functions with their sum rules verified, and
the dimer's Green's function as the worked interacting example.

**7.25 — Linear Response and Kubo** asks equilibrium a question and gets an answer:
fluctuation–dissipation verified numerically, the Kubo formula checked against exact
perturbed dynamics, and the Drude weight of the tight-binding chain of [§7.12](bloch-theorem-band-structure.ipynb) given its
transport meaning.

No notebook in Volumes I–VII depends on the Coda, and the course's Epilogue only
ever cites it lightly — but Volume VIII begins on the other side of this door.
Enter for the formalism; what follows puts it to work.