Quantum system (statistical mechanics)

A quantum system for statistical mechanics: a Hilbert space, an algebra of observables, and a Hamiltonian, with states described by density operators.
Quantum system (statistical mechanics)

In (finite-dimensional) quantum statistical mechanics, a quantum system can be modeled as a triple (H,A,H)(\mathcal{H}, \mathcal{A}, H) where:

A state of the system is represented by a ρ\rho on H\mathcal{H} (equivalently, a positive normalized linear functional on A\mathcal{A}). The expectation value of an observable AAA \in \mathcal{A} in the state ρ\rho is

Aρ=Tr(ρA), \langle A\rangle_\rho = \operatorname{Tr}(\rho A),

using the . This is the .

Time evolution for an isolated system is generated by HH via a unitary family UtU_t,

Ut=eitH,ρ(t)=Utρ(0)Ut,A(t)=UtA(0)Ut. U_t = e^{- \frac{i}{\hbar} t H}, \qquad \rho(t) = U_t\,\rho(0)\,U_t^\dagger, \qquad A(t) = U_t^\dagger A(0) U_t.

Physical interpretation

  • H\mathcal{H} encodes the system’s kinematic degrees of freedom (what pure states can exist).
  • A\mathcal{A} encodes which quantities are regarded as measurable observables and how they compose.
  • HH specifies the energy observable and the dynamics, and it determines equilibrium states such as the .

Key properties

  • Noncommutativity: Typically A\mathcal{A} is noncommutative; this expresses incompatibility of observables (order matters for products).
  • States form a convex set: If ρ1,ρ2\rho_1,\rho_2 are states and 0λ10\le \lambda \le 1, then ρ=λρ1+(1λ)ρ2\rho=\lambda\rho_1+(1-\lambda)\rho_2 is also a state. Extreme points correspond to (pure states).
  • Subsystems and reduction: If the system is part of a larger one, reduced states are obtained by the .
  • Equilibrium and thermodynamics: Given HH and an parameter β\beta, the canonical equilibrium state and normalization are governed by the .