Let HH be a on a finite-dimensional Hilbert space and let β>0\beta>0. The quantum partition function is

Z(β)=Tr(eβH).Z(\beta)=\operatorname{Tr}(e^{-\beta H}).

If the eigenvalues of HH are EnE_n, counted with multiplicity, then Z(β)=neβEnZ(\beta)=\sum_ne^{-\beta E_n}. It is finite and strictly positive.

Derived quantities

The partition function normalizes the and determines the canonical free energy and mean energy:

ρβ=eβHZ(β),F(β)=β1logZ(β),Hβ=ddβlogZ(β).\rho_\beta=\frac{e^{-\beta H}}{Z(\beta)}, \qquad F(\beta)=-\beta^{-1}\log Z(\beta), \qquad \langle H\rangle_\beta=-\frac{d}{d\beta}\log Z(\beta).

Moreover,

d2dβ2logZ(β)=H2βHβ20.\frac{d^2}{d\beta^2}\log Z(\beta) =\langle H^2\rangle_\beta-\langle H\rangle_\beta^2\ge0.
Independent systems

If H=HAHB\mathcal H=\mathcal H_A\otimes\mathcal H_B and H=HAI+IHBH=H_A\otimes I+I\otimes H_B, then

Z(β)=ZA(β)ZB(β).Z(\beta)=Z_A(\beta)Z_B(\beta).