Quantum microstate

A maximally specific state of a quantum system, represented by a pure state (ray) or equivalently a rank-one projector.
Quantum microstate

In quantum statistical mechanics, a quantum microstate is typically identified with a pure state of the system (see ).

Concretely, in finite dimensions a microstate can be represented by either of the equivalent data:

  1. A normalized vector ψH|\psi\rangle \in \mathcal{H} with ψψ=1\langle\psi|\psi\rangle = 1, where vectors differing by a global phase represent the same physical state: ψeiθψ|\psi\rangle \sim e^{i\theta}|\psi\rangle.
  2. A rank-one projection (density operator) ρψ=ψψ. \rho_\psi = |\psi\rangle\langle\psi|.

Given an observable AA in the , the expected outcome in the microstate ψ|\psi\rangle is

Aψ=ψAψ=Tr(ρψA). \langle A\rangle_\psi = \langle \psi|A|\psi\rangle = \operatorname{Tr}(\rho_\psi A).

This matches the general formula for expectations.

A particularly important class of microstates in statistical mechanics are energy eigenstates: if HH is the and Hϕn=EnϕnH|\phi_n\rangle = E_n|\phi_n\rangle, then ϕn|\phi_n\rangle is a microstate with definite energy EnE_n (see ).

Physical interpretation

  • A microstate is the most refined description allowed by quantum theory for an isolated system: it specifies all measurement statistics but generally not sharp values for all observables.
  • Superpositions of energy eigenstates are also microstates; “being in a microstate” does not mean having definite classical phase-space coordinates.

Key properties

  • Extremality: Microstates are extreme points of the convex set of ; they cannot be expressed as nontrivial convex mixtures of other states.
  • Zero von Neumann entropy: For ρψ=ψψ\rho_\psi = |\psi\rangle\langle\psi|, the satisfies S(ρψ)=0S(\rho_\psi)=0.
  • Projector condition: ρψ\rho_\psi is pure iff ρψ2=ρψ\rho_\psi^2=\rho_\psi (equivalently, Tr(ρψ2)=1\operatorname{Tr}(\rho_\psi^2)=1).
  • Basis dependence of “definite values”: A microstate has definite value for an observable only when it lies in an eigenstate of that observable.