KMS condition

In plain terms

You can ask what makes a state thermal, and everyday talk of temperature leans on infinite systems, heat baths and limits. The Kubo-Martin-Schwinger, or KMS, condition is the sharp answer mathematical physicists settled on. It concerns correlation functions, the averages obtained by measuring one observable now and another one later. The formula for evolving an observable in time continues to make sense when the elapsed time is replaced by an imaginary number, and the KMS condition uses exactly that, so a state is in equilibrium at a given temperature precisely when shifting one of the two observables forward by an imaginary time fixed by the inverse temperature gives the same correlation as swapping the order of the pair.

On the finite field arena this is neither an axiom nor a limit. The Boltzmann state, the standard thermal state in which each energy level is weighted by a factor that falls off exponentially with its energy divided by the temperature, satisfies the KMS symmetry exactly at the cutoff, by computation. Cool it all the way down and the thermal two-point function, the correlation between two field operators, converges to the vacuum one, with the zero-point contributions cancelling on the way.

This is thermal physics at finite resolution, with no hand-waving about baths.

In CSD

The thermal tier joins the programme's thermodynamics track to its field track. The thermal state is the Gibbs state of the field Hamiltonian, the energy function of the arena, the partition function, the normalising sum over energy levels, factorises across modes, and the edge at which the propagator is truncated is explicit rather than hidden, the same candour about the cutoff the Wick tier maintains.

The scope is labelled as breadth, as it's equilibrium structure on the isolated finite piece and not a claim about continuum thermodynamics.

Mathematically

The theorem thermal_kms states that for the diagonal field Hamiltonian at cutoff, the thermal two-point function satisfies the exact KMS identity, with complex-time evolution entrywise and the identity reducing to Boltzmann-weight transport and an index shuffle.

Companion results give closed-form diagonal Boltzmann weights via the continuous functional calculus, mode marginals, the off-diagonal vanishing, and the beta-to- infinity vacuum limit recovering the free propagator with no residue.

The name

Ryogo Kubo (1920-1995), at Tokyo, built the linear-response formalism of statistical mechanics, and Paul Martin (1931-2016), at Harvard, and Julian Schwinger (1918-1994) wrote the 1959 paper whose boundary condition carried the same content. It was Haag, Hugenholtz and Winnink who in 1967 recognised the shared condition as the definition of equilibrium for infinite systems and attached the three initials to it.

Related entries

• Gibbs stateThe state a system settles into at a given temperature is the unique solution to a trade-off between energy and disorder.
• Wick's theoremThe bookkeeping rule at the heart of quantum field theory, which reduces any correlation of field operators to a sum over pairings, survives a finite cutoff exactly, and the threshold at which it fails is part of the theorem.
• Canonical typicalityA small piece of a large quantum system looks thermal not because anything prepared it that way, but because almost every state of the whole makes it look that way.
• Field arenaTake finitely many field modes, cap the number of quanta each can hold, and the whole toolbox of quantum field theory, propagators, light cones, Wick's theorem and thermal states, reappears as exact theorems on one finite arena.
• Landauer's principleForgetting costs heat at a rate set by temperature alone, and that's the point at which information stops being an abstraction and acquires a physical price.