terry tao on statistical mechanics: Nonlinear Function
Created: March 24, 2022
Modified: April 15, 2022

terry tao on statistical mechanics

This page is from my personal notes, and has not been specifically reviewed for public consumption. It might be incomplete, wrong, outdated, or stupid. Caveat lector.

This post gives a nice, mathematically clear development of basic terms in statistical mechanics. Highlights:

Think of a physical system as a discrete-time Markov chain with many states.

We assume that the transition matrix is doubly stochastic, i.e., that incoming probabilities sum to 1 just as outgoing probabilities do. This implies that the stationary distribution within each energy band is just the uniform distribution.In physics, the analogue of this fact is Liouville's theorem, and the unitarity of quantum evolution.

Conservation laws mean that the graph is disconnected, since there is (for example) no way to get from a state to another state with different energy.

This distribution on the states of an isolated system is called the microcanonical ensemble of a system SS at energy EE.

If we connect SS to a much larger system SS', the newly combined system SSS \cup S' will have some microcanonical ensemble (with some total energy EE). The canonical ensemble is the marginal distribution of the joint microcanonical ensemble on the original system SS. Specifically, the probability of a state xSx \in S with energy H(x)H(x) matches the probability of an outer state xSx' \in S' having energy H(x)=EH(x)H(x') = E - H(x), since by conservation of energy those two events must always co-occur.

Let Ω(EH(x))\Omega(E - H(x)) be the number of outer states having energy EH(x)E - H(x), and assume that this grows exponentially in some smooth function FF of the energy level: Ω(EH(x))=exp(F(EH(x)))\Omega(E - H(x)) = \exp(F(E - H(x))). By Taylor expanding FF around EE,This is legitimate only if H(x)H(x) is very small relative to the total energy EE, as when SS is much smaller than SSS \cup S'.

F(EH(x))F(E)βH(x)F(E - H(x)) \approx F(E) - \beta \cdot H(x)

and dropping the constant F(E)F(E), we get the approximation

pcanonical(x)Ω(EH(x))exp(βH(x))p_{\text{canonical}}(x) \propto \Omega(E - H(x)) \approx \exp(-\beta \cdot H(x))

showing that the canonical ensemble has a single parameter, β=1kT\beta = \frac{1}{kT}.

Tao recommends Schrodinger's "Statistical Thermodynamics" for more.