Finite-Temperature Methods

Finite temperature does not prescribe one calculational technique. A small system may need only a direct Gibbs trace; an equilibrium propagator may be easiest in imaginary time; a real-frequency spectrum may require a spectral representation and an uncertainty-aware continuation; a driven thermal state needs a real-time initial-value method instead. The correct route depends on the question and the representation, not merely on $T>0$.

This chapter is a question-to-representation and convention-audit gateway. Finite-Temperature QM Overview owns the integrated Gibbs-to-thermal-circle roadmap. The specialist leaves own definitions and derivations. This page selects a method, preserves the conventions needed to translate between methods, and limits the claim each route can support.

Required background. Enter through Quantum Statistical Mechanics able to declare the ensemble, trace domain, Gibbs operator, partition function, held-fixed controls, and whether the relevant generator is $H$ or $H-\mu N$.

Helpful background. Correlation Functions and Linear Response supplies real-time correlator and response conventions. Field operators and Fock space, Fourier series, complex analysis, Euclidean path integrals, and numerical inverse problems are branch-specific preparation rather than universal prerequisites.

Begin with a thermal-method ledger

Use this compact contract:

ensemble + generator + operator channel + thermal-time convention + boundary condition + representation + regulator and data → bounded thermal claim.

Before calculating, record ten entries.

1. Question entry. Decide whether the target is a thermodynamic trace, an imaginary-time correlator, a real-frequency spectrum, a coordinate or field path integral, an equilibrium criterion, or driven real-time evolution.
2. Ensemble entry. State canonical, grand canonical, generalized, finite-volume Gibbs, or thermodynamic-limit KMS equilibrium, together with temperature, chemical potentials, and conserved charges.
3. Generator entry. Declare $H$ or $\mathcal K=H-\mu N$ and which generator evolves operators. Evolving with $\mathcal K$ and also inserting a chemical-potential twist can double-count the same convention.
4. Thermal-time entry. State whether $\tau$ has units of time with $0\leq\tau<\beta\hbar$ or units of inverse energy with $0\leq\tau<\beta$. Never mix them silently.
5. Channel entry. Name the operators, their charge and parity, ordinary or graded ordering, connected subtraction, and one-sided equal-time prescription.
6. Boundary entry. Derive periodic, antiperiodic, twisted, or permutation-closed boundary data from the operator channel and trace. Constituent particle type alone does not select the grid: an even fermion bilinear normally has bosonic periodicity.
7. Transform entry. Distinguish Matsubara angular frequency from Matsubara energy and give Fourier signs, factors of $\hbar$ and $2\pi$, the sum measure, convergence factors, and zero-mode treatment.
8. Representation entry. Name the object actually computed: trace, $\tau$ correlator, Matsubara function, spectral measure, retarded boundary value, coordinate path, coherent-state path, or closed time path.
9. Evidence entry. Record volume, time-slice and basis cutoffs, covariance, sampling error, regulator, artificial broadening, resolution, and exact identities used as checks.
10. Claim entry. Label the result as an exact identity, controlled approximation, equilibrium inference, regularized reconstruction, or nonequilibrium prediction.

Read as a dependency graph

The sidebar is a catalog; the KMS and path-integral branches need not wait for every Matsubara page.

1. Establish the common structure. Begin with Finite-Temperature QM Overview. It connects the Gibbs generator, compact imaginary time, thermal ordering, frequency grids, spectral data, path integrals, and real-time boundaries without replacing their specialist owners.
2. Learn the semigroup and boundary distinction. Imaginary Time separates nonunitary imaginary-time evolution, open projection kernels, and the closed thermal trace. Imaginary time is not laboratory time.
3. Enter the compact-frequency branch. Matsubara Formalism Preview develops graded ordering and Fourier analysis on the thermal circle. Bosonic and Fermionic Matsubara Frequencies is the convention and arithmetic reference for the two grids.
4. Build a thermal propagator only after declaring its channel. Thermal Green Functions treats imaginary-time ordering, equal-time jumps, free benchmarks, and interacting two-point functions. It is not automatically a causal response function.
5. Connect representations before continuing data. Spectral Representation identifies the common analytic object linking Euclidean, Matsubara, spectral, and retarded forms, including static bosonic contributions. Analytic Continuation then distinguishes exact boundary-value identities from ill-conditioned inference using finite uncertain data.
6. Choose the coordinate path branch for traced configuration histories. Path Integrals for Statistical Mechanics develops the closed thermal trace, time slicing, permutation closure, ring-polymer picture, and regulator checks.
7. Choose the Fock-space path branch only with its algebra prepared. Coherent-State Path Integrals Preview adds bosonic coherent states, fermionic Grassmann variables, normal-symbol and ordering cautions, and the field-theory handoff.
8. Use KMS as the deeper equilibrium test. After the overview and time-dependent correlations, KMS Condition Preview explains thermal cyclicity, analyticity, detailed balance, and equilibrium beyond finite trace-class density operators. Stationarity alone is weaker.
9. Switch formalisms for an initial-value question. Real-Time Thermal Dynamics Preview starts from a thermal state but organizes quenches, drives, greater and lesser functions, and closed time paths. Analytic continuation of equilibrium data is not nonequilibrium evolution.

Choose a shorter route

Simple finite-system thermodynamics. Use Quantum Statistical Mechanics and a direct trace or exact diagonalization. Stop there unless the question asks for correlators, fields, path integrals, or real-frequency information.

Thermal two-point function. Read Overview → Imaginary Time → Matsubara Formalism → Matsubara Frequencies → Thermal Green Functions. Stop when parity, boundary conditions, equal-time contact terms, normalization, and a free or high-frequency check are explicit.

Real-frequency equilibrium spectrum. Continue Thermal Green Functions → Spectral Representation. Add Analytic Continuation only when the real-frequency object must be inferred from finite or uncertain Euclidean data, and report resolution rather than an unsupported unique curve.

Coordinate or quantum Monte Carlo route. Read Overview → Imaginary Time → Path Integrals for Statistical Mechanics, then enter numerical sampling. The formal path integral does not itself supply an efficient or sign-problem-free algorithm.

Fock-space functional integral. Prepare Fock space and creation/annihilation algebra, then read Matsubara Formalism + Path Integrals → Coherent-State Path Integrals. Continue to finite-temperature QFT only after the finite-slice measure and ordering prescription are controlled.

Equilibrium and nonequilibrium boundary. Read Overview → KMS for the equilibrium condition and detailed-balance structure. Add retarded response for near-equilibrium probes; use KMS → Real-Time Thermal Dynamics for a quench or drive.

Worked routing audit

For a finite-temperature fermion model, the mean particle number is a direct grand-canonical trace and needs no Matsubara machinery. Its equilibrium addition and removal spectrum can be organized through an odd, antiperiodic thermal Green function, the fermionic frequency grid, and a spectral representation; if only noisy imaginary-axis data are available, continuation becomes a regularized inverse problem with limited resolution. A sudden interaction quench from the same thermal state is instead an initial-value problem requiring real-time contour evolution. The initial density operator is shared, but the computed object and warranted inference differ.

Exit checkpoint

You are ready to leave this chapter when you can:

• choose a direct trace, imaginary-time, Matsubara, spectral, path-integral, KMS, or real-time route for a declared question;
• keep $H$ versus $H-\mu N$, $\beta$ versus $\beta\hbar$, and Matsubara energy versus angular frequency conventions consistent;
• derive the thermal boundary condition and grid from operator parity rather than constituent labels;
• define thermal Green functions with grading, contact terms, static pieces, and one-sided limits explicit;
• connect Euclidean, Matsubara, spectral, and retarded objects without declaring them identical;
• distinguish exact analytic continuation from finite-data reconstruction and artificial width from a lifetime;
• distinguish an open Euclidean kernel from a traced thermal path and an equilibrium representation from driven evolution;
• route phase claims through Phases, Order, and Criticality and numerical, nonequilibrium, transport, and QFT claims to their canonical homes.

Canonical boundaries

• Finite-Temperature QM Overview owns the integrated structural roadmap. This gateway owns method selection, convention ledgers, dependency routing, and exit checks; the specialist leaves own their detailed mathematics.
• Quantum Statistical Mechanics owns ensemble assignment, Gibbs states, partition functions, thermodynamic potentials, and static thermodynamic response.
• Correlation Functions and Linear Response owns real-time correlator classes, retarded response, Kubo protocols, physical spectra, fluctuation–dissipation, and sum rules. This chapter owns thermal-time and thermal-frequency infrastructure, KMS, thermal Green functions, and the equilibrium spectral bridge.
• Dynamics and Formulations owns general open Euclidean kernels and reusable path-integral machinery. This chapter owns closed thermal traces, their boundary conditions, and their coordinate or coherent-state realizations.
• Interacting Methods owns graph topology, line and vertex rules, self-energies, closures, and double-counting control. This chapter supplies thermal propagators, frequency-routing, and sum conventions used by those calculations.
• Computational Many-Body owns production solvers, Monte Carlo implementation, covariance and convergence studies, and reusable benchmarks. Phases, Order, and Criticality owns chapter entry and routing for phase claims; Finite-Temperature Phase Transitions owns thermal nonanalyticity and critical claims. Nonequilibrium Many-Body Dynamics owns quench, drive, relaxation, and thermalization claims.
• The QFT bridges own renormalized thermal fields, full Schwinger–Keldysh methods, and relativistic thermal field theory.

Common routing errors

“Imaginary time is physical time with $t=-i\tau$.” It is a nonunitary equilibrium representation or projection coordinate, not laboratory evolution.

“Fermions always use fermionic frequencies.” Grid parity belongs to the operator channel. An even density or spin correlator on a fermionic system normally uses bosonic frequencies.

“Chemical potential can be inserted twice for safety.” Evolving with $H-\mu N$ and also applying the equivalent thermal twist double-counts $\mu$ unless a deliberately different convention is derived.

“A thermal Green function is a retarded response.” Imaginary-time ordering and causal commutator support define different objects connected only through the stated spectral and analytic structure.

“Replace $i\omega_n$ by $\omega+i0^+$ in the data.” The symbolic rule presupposes a known analytic function. Reconstructing it from finite noisy values is ill conditioned and requires priors, covariance, validation, and honest resolution limits.

“A smooth continued peak has a measured lifetime.” Regularization and plotting broadening create widths. Intrinsic linewidth requires stability against resolution, size, method, and sum-rule checks.

“The continuum path integral defines its own measure.” It is shorthand for a regulated finite-slice construction whose ordering, Jacobian, normalization, boundary data, and limiting procedure matter.

“Stationary means KMS equilibrium.” Stationarity lacks the thermal analyticity and cyclicity needed for detailed balance and equilibrium fluctuation relations.

“Imaginary-time methods solve a quench.” A driven initial-value problem needs real-time evolution; equilibrium continuation does not create its history.

Exercises

Exercise 1: Route four thermal problems

Choose the minimum route for (a) the exact free energy of a finite spin system, (b) a fermion addition spectrum inferred from quantum Monte Carlo data, (c) a coordinate-space thermal path integral, and (d) a sudden quench from a Gibbs state.

Solution

For (a), remain in Quantum Statistical Mechanics and evaluate the direct trace. For (b), use Overview → Imaginary Time → Matsubara Formalism and Frequencies → Thermal Green Functions → Spectral Representation → Analytic Continuation, with covariance and resolution tests. For (c), use Overview → Imaginary Time → Path Integrals for Statistical Mechanics and keep the trace boundary condition and time-slice regulator explicit. For (d), use Overview → KMS to define the initial equilibrium state, then Real-Time Thermal Dynamics; imaginary-time continuation alone cannot evolve the quench.

Exercise 2: Repair a convention chain

Repair this proposal: “For grand-canonical fermions, evolve with $H-\mu N$, add the chemical-potential twist again, impose periodicity because the measured density is made of fermions, and read the width of a continued peak as its lifetime.”

Solution

Choose either $H-\mu N$ evolution or the equivalent $H$-evolution twist and carry that convention consistently. The density is parity even, so its thermal correlator normally has bosonic periodicity and a bosonic Matsubara grid. A continued width is only a regularization-dependent inference until covariance, resolution, finite-size, sum-rule, and model tests establish that an intrinsic linewidth is actually resolved.

References

• A. Altland and B. Simons, Condensed Matter Field Theory, 2nd ed., Cambridge University Press (2010).
• P. Coleman, Introduction to Many-Body Physics, Cambridge University Press (2015).
• A. L. Fetter and J. D. Walecka, Quantum Theory of Many-Particle Systems, Dover (2003).
• G. D. Mahan, Many-Particle Physics, 3rd ed., Springer (2000).
• J. W. Negele and H. Orland, Quantum Many-Particle Systems, Westview Press (1998).