Canonical typicality

In plain terms

Statistical mechanics traditionally starts with an ensemble, an imagined collection of copies of a system weighted by probability, from which yours is somehow drawn. But your coffee isn't an ensemble, as it's one cup in one state, so you can ask why reasoning about imaginary collections should say anything true about one actual cup.

Canonical typicality dissolves the embarrassment. Take one large system in a single definite quantum state, with no ensemble and no drawing, and look at a small piece of it, meaning everything you could observe by measuring that piece alone. For the overwhelming majority of possible states of the whole, the piece looks thermal, so its statistics are exactly those of a system in equilibrium with a heat bath. Calling a majority overwhelming requires a way of measuring how much of the space of states a set of states occupies, and the natural volume on that space provides it.

You don't need to assume equilibrium statistics, as you need only fail to be in an astronomically unlikely global state. Equilibrium, on this view, isn't a physical process that happened to you. It's a statement about how much room there is in the space of states, and how little of that room the exceptions occupy.

In CSD

This is where the programme touches mainstream statistical mechanics, and the traffic goes both ways. Inbound, thermal behaviour is volume in the space of states, exactly as the Born weights are volume, so thermodynamics is native to the construction and one measure does both jobs.

Outbound, the literature's standing complaint about canonical typicality is that its measure is an unmotivated prior, as nobody says what most looks like or who chose the ruler. CSD has an answer nobody else has, which is that the ruler is the natural volume of the substrate, CSD's own underlying state space, with a uniqueness theorem behind it. That turns the programme's central manoeuvre into a contribution to someone else's open problem.

The corpus is precise about what it establishes. It has the average statement, that the piece is thermal on average over global states, and it has concentration at a polynomial rate for diagonal statistics, meaning that a single sample does see the thermal value, up to the guarantee Chebyshev's inequality gives, which is a general bound on how far a quantity can stray from its average given its spread. The exponential rate the literature headlines is the one piece still owed, and none of this is dynamical thermalisation, which would need mixing assumptions and lies outside the scope.

Mathematically

For a global pure state drawn from the Fubini-Study measure, the average reduced state of a tensor subsystem is exactly maximally mixed, which is the first theorem, the expectation statement (canonical_typicality_expectation).

The second is concentration at polynomial rate. The Fubini-Study second moments turn out to be pure symmetry algebra, as a two-coordinate Hadamard rotation, a sign flip and a quarter-phase force E[x_i^2] = 2/(N(N+1)) and E[x_i x_j] = 1/(N(N+1)) with no integral ever computed, so every diagonal statistic has variance O(1/N) and Chebyshev makes a single sample typical (fs_chebyshev_concentration).

The literature's headline rate, exponentially close to one, needs Levy's lemma, concentration of measure on high-dimensional spheres, which the proof assistant's library doesn't carry, so that deviation-rate upgrade is recorded as a named residual rather than papered over. None of this is dynamical thermalisation, which would need mixing assumptions and is out of scope.

The name

The modern result has two independent birth certificates, both from 2006. Goldstein, Lebowitz, Tumulka and Zanghi came from the Rutgers-Bochum-Genoa axis of the Bohmian school, which had kept typicality arguments alive through decades of unfashion, and Popescu, Short and Winter came from quantum information at Bristol and Cambridge. It was the same theorem in two vocabularies, from two communities that barely cited each other.

The idea itself is older. Schrodinger sketched it in the 1920s, and von Neumann proved a version in 1929 that was misunderstood, mistranslated and dismissed for eighty years before being rehabilitated. Few results have been discovered this many times.

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.
• TypicalityTypicality is probability without randomness, as the world is deterministic, you don't know which state you have, and the odds are the sizes of the possibilities.
• von Neumann entropyA quantum whole can be perfectly known while its parts are as uncertain as they could possibly be, and entropy is where that stops being a metaphor and becomes arithmetic.
• Fubini-Study measureThe space of quantum states allows exactly one way of measuring size that respects its symmetry, and that one measure is what turns regions of the space into Born-rule probabilities.
• KMS conditionThe algebraic signature of thermal equilibrium holds exactly on CSD's finite field arena, and cooling the thermal state all the way down recovers the vacuum.