The Multiplicity Function
Put a hot brick against a cold one and wait. Energy flows from hot to cold, never the reverse, and the pair settles at a common temperature — a fact so familiar it feels like it needs no explanation. Yet the microscopic laws know nothing of "hot" or "cold," and run equally well backwards in time. Where, then, does the arrow come from? The answer is a single function. Count the microstates available to each brick at a given energy, call that count the multiplicity , and the whole of equilibrium thermodynamics follows from one property of : it is spiked so violently about its maximum that the pair is found at the energy split maximizing the total count, and essentially never anywhere else. The multiplicity function is the beating heart of the microcanonical ensemble. Quantum mechanically it is unambiguous — the number of orthogonal energy eigenstates in a thin shell , the degeneracy of the level. Classically the count of points in continuous phase space is infinite, so is defined as the phase-space volume of the energy shell divided by (to fix the cell size) and by (to respect indistinguishability), both factors pinned by demanding agreement with the quantum count. Either way, maps a macrostate to a number of microscopic ways to realize it. The decisive feature is explosive growth. When independent particles each contribute a factor, scales like , so is extensive — and when two systems exchange energy, the combined multiplicity, a product over the energy split, becomes so sharply peaked (relative width ) that all but a vanishing sliver of microstates sit at the equilibrium partition. Taking the logarithm linearizes the product into the Boltzmann entropy ; demanding that the total entropy be maximal at fixed total energy makes equal across subsystems and identifies it with inverse temperature. Temperature, pressure, and chemical potential are all just slopes of this one function.
- The multiplicity function counts the microstates compatible with a macrostate fixed by the conserved quantities , , .
- Classically it is the normalized phase-space volume of the energy shell; quantum-mechanically it is the degeneracy of the energy level.
- Its logarithm is the Boltzmann entropy , converting a combinatorial count into the state function of the microcanonical ensemble.
- grows astronomically (typically as ), so the macrostate of largest multiplicity overwhelms every other — the microscopic origin of the Second Law.
- For two systems in contact the combined peaks with relative width ; the peak's curvature is exactly the guarantee of a positive heat capacity.
- Temperature, pressure, and chemical potential are the derivatives of with respect to , , and .
- Key idea: count the microstates of a macrostate, take the logarithm, and thermodynamics follows — turns a combinatorial count into a state function whose slopes are , , and .
Count the microstates of a macrostate, take the logarithm, and thermodynamics follows: turns a combinatorial count into a state function whose derivatives are , , and .
Where this lives today
The multiplicity function is no longer only a pencil-and-paper object. For systems where cannot be written in closed form — the three-dimensional Ising model, glasses, folding biomolecules — the Wang–Landau algorithm performs a random walk in energy that flattens the visited histogram and thereby reconstructs , the density of states, over hundreds of orders of magnitude. Once you have you have everything: any thermodynamic quantity at any temperature follows by a single integral, because the canonical partition function is just the Laplace transform of . The sharp-peaking property also underlies a practical freedom. Because is so spiked, the microcanonical entropy and the canonical free energy are Legendre transforms of one another and yield identical intensive thermodynamics in the thermodynamic limit — so a physicist may compute in whichever ensemble is convenient. The interesting exceptions, where the peak is not sharp (long-range forces, first-order transitions in small systems, self-gravitating clusters), are precisely where the ensembles disagree and where multiplicity's structure — a non-concave , negative heat capacity — becomes physically observable.
The physical picture
Flip coins. There is exactly one way to get all heads, but astronomically many ways to land near half heads and half tails — of them. The number of arrangements, the multiplicity, is minute at the extremes and colossal in the middle. The multiplicity function is the physical generalization of that coin count: it tallies the ways to distribute energy and position among particles consistent with the macroscopic constraints. The combinatorial tools for doing the tally live in the companion article on counting microstates; here we treat as a function and ask how it behaves. Two features do all the work. First, is multiplicative: bolt two independent subsystems together and their microstates combine freely, so the joint count is a product, . But thermodynamics wants an additive quantity, and the only operation turning products into sums is the logarithm — which is exactly why entropy is and not . Second, is sharply peaked. When two systems share a fixed total energy, the combined multiplicity , plotted against the split , is a spike of fractional width . For that width is around of the whole range — the system sits at the peak, and a spontaneous excursion away from it is not so much forbidden as astronomically improbable.
Whether you count discrete quantum levels or a continuous phase-space volume, the per-particle growth rate is the same intensive entropy density; the and factors merely shift by the amounts needed to make it properly extensive. This is why the arrow of time is a counting statement: remove a constraint and the system, wandering among microstates, lands overwhelmingly in the macrostate that has the most of them. The brick pair reaches a common temperature because that split has, by a factor of , more microscopic realizations than any other. And the slope of that count is exactly what temperature measures — as the next figure shows, the steepness of versus energy is the inverse temperature .
The core equations
The multiplicity function is defined the same way in words for every system: it is the number of microstates realizing the macrostate. Everything else is how to evaluate that count.
where: — multiplicity; — particle number; — total energy of the isolated system; — volume. In the quantum case this is literally the degeneracy of the level (counted in a thin shell); in the classical case it needs the normalization below. Classically the count of phase-space points is infinite, so is a shell volume made dimensionless and extensive by two fixed factors.
where: — Hamiltonian; — one Planck cell per degree of freedom, turning volume into a pure count; — Gibbs factor for indistinguishable particles; — shell thickness; — restricts to the energy shell. The cell size and the are pinned by demanding the classical count match the quantum degeneracy. The logarithm is the bridge to thermodynamics: it turns the multiplicative into an additive potential.
where: — thermodynamic entropy; (exact, SI). Once is known as a function of its arguments, all of equilibrium thermodynamics is a matter of differentiation. The three fundamental intensive variables are exactly the three first derivatives of .
where: — absolute temperature; — pressure; — chemical potential. Reading temperature off is not a definition pulled from nowhere: it is forced by requiring that the total multiplicity of two contacting systems be maximal, as the derivation shows. When two systems can exchange energy, the joint multiplicity is a convolution over the split — the sum of products.
where: — multiplicity of subsystem ; — energy of subsystem 1; . In the thermodynamic limit this sum is utterly dominated by its single largest term — the equilibrium split. For an ideal monatomic gas the count is explicit, the momenta filling a thin shell on a -dimensional sphere.
where: — particle mass; — gamma function, giving the surface of the -ball; — spatial placements. The leading dependence is — the form the peaking derivation only needs to know. Taking the logarithm with Stirling's approximation (its own article) turns equation (6) into the experimentally verified absolute entropy of a monatomic gas.
where: and — the intensive ratios whose appearance (not bare or ) signals that the has correctly restored extensivity. This is the Sackur–Tetrode entropy; its extensivity is the payoff of the that the Gibbs-paradox article owns.
This is the central result of the whole microcanonical framework, and the reason temperature exists at all: for two systems sharing a fixed total energy, the combined multiplicity is so sharply peaked in the energy split that the pair sits at the maximum with overwhelming certainty, and the location of that maximum defines a shared quantity we call temperature. We find the peak, prove it defines , and compute its width — the owned quantitative result of this article.
Step 1. Write the probability of a split. By the postulate of equal a priori probabilities, the probability that subsystem 1 holds energy is proportional to the number of joint microstates, . Why: every accessible microstate is equally weighted, so probability just counts them — the split with the most microstates is the most probable.
Step 2. Maximize the logarithm. Since is monotonic, maximizing the product is maximizing . Setting the derivative to zero,
Why: at the peak the marginal gain in log-count from moving energy into system 1 exactly cancels the loss from system 2 — no reshuffling can find more microstates.
Step 3. Identify temperature. Define . Equilibrium is ; matching to thermodynamics via and gives . Equal is equal temperature — the meaning of thermal equilibrium. Why: the slope of the log-multiplicity is the only thing two contacting systems must share, so it is what "temperature" measures.
Step 4. Expand about the peak. Write . The first derivative vanishes at the peak, and the second derivative is negative for a stable system, so
Why: near a smooth maximum the log is a downward parabola, so itself is a Gaussian — a peak whose width is set by the curvature.
Step 5. Read the width and its physical meaning. The curvature , so scales as (since ). Hence the relative width . Why: negative curvature is exactly the statement that the heat capacity ; a stable equilibrium and a narrow peak are the same fact. For the split is pinned to one part in . *Verified: for two Einstein solids and two ideal gases, numerically sits at the equal- point and the peak's relative width tracks across to ; the curvature is negative (positive ) throughout (see verify script).*
Go deeper · Derivation B · 1 minIdeal-gas multiplicity from the momentum sphere
To make concrete we evaluate it for the monatomic ideal gas, where the energy constraint confines the momenta to the surface of a high-dimensional sphere. The goal is the explicit growth law that the peaking argument uses, and — taking its logarithm with Stirling — the Sackur–Tetrode entropy whose measured values match calorimetry for the noble gases.
Step 1. Do the spatial integral. With no interactions each particle ranges freely over the box, so . Why: the configuration integral factorizes into independent copies of the volume.
Step 2. Do the momentum integral. The energy fixes the momenta to a -sphere of radius ; its shell volume is . Why: the surface "area" of a -sphere of radius scales as , and here , giving the power.
Step 3. Assemble Ω and read the growth law. Combining, , so to leading exponential order . Why: this is all the peaking derivation needs — a power of and a power of , each proportional to , guaranteeing extensive .
Step 4. Take the log with Stirling and collect intensive ratios. Using and , the from converts into , giving
Why: the intensive ratios and inside the log are the signature of a properly extensive entropy — without the you would get bare and the Gibbs paradox. *Verified: differentiating this gives and exactly (sympy), and the shell-vs-enclosed-volume entropies agree to (see verify script).*
Limiting cases
How the multiplicity function behaves in the regimes that matter.
| Case | Result | Meaning |
|---|---|---|
| Thermodynamic limit | is extensive — a function of intensive ratios times ; this is what makes a state function. | |
| Two systems in contact | The convolution is dominated by its single largest term (Laplace/saddle point); corrections are subextensive. | |
| Sharpness of the peak | Relative energy fluctuations vanish, so the maximal- macrostate is the only one observed. | |
| Shell vs. enclosed volume | A high-dimensional ball's volume lives in its skin, so shell and enclosed-volume entropies agree to . | |
| Bounded spectrum (spins) | above the peak | falls with beyond half-filling — negative absolute temperature, realized in nuclear-spin and cold-atom systems. |
Worked examples
1 · Two tiny Einstein solids find equilibrium (confidence builder)
An Einstein solid is a set of identical oscillators sharing energy quanta; its multiplicity for oscillators holding quanta is . Two solids, with oscillators and with , share a total of quanta. Find the most probable split and show the peak already dominates.
Step 1. Write the combined multiplicity. For a split , the total is , since .
Step 2. Tabulate every split. Computing for : = .
Step 3. Find the peak and the total. The maximum is at the even split with ; the grand total over all splits is , which is exactly the multiplicity of a single combined solid of oscillators holding quanta — the convolution identity in action.
Step 4. Read equilibrium. The most probable split is the symmetric one, — equal energy per oscillator, i.e. equal temperature. Even with only six oscillators the equal split already carries 100 of 462 microstates (22%), and by the peak's relative width collapses as until every observable excursion vanishes.
2 · How sharp is the peak for a real gas? (exam level)
Estimate the relative energy fluctuation for one mole of a monatomic ideal gas at room temperature, using the multiplicity peak's width.
Step 1. Get the width from the heat capacity. From the peaking derivation, . For a monatomic ideal gas , so and .
Step 2. Get the mean energy. , the ideal-gas internal energy.
Step 3. Form the ratio. . The cancels — the relative width depends only on .
Step 4. Put in Avogadro's number. With , . The energy of a mole of gas is pinned to its mean to about one part in a trillion — which is why a thermometer reads a sharp, reproducible temperature and never flickers, even though the underlying molecules are in ceaseless random motion.
Origins · 1 minmultiplicity function and how this was discovered
The multiplicity function is the object Ludwig Boltzmann was implicitly counting when, in 1877, he identified entropy with the logarithm of the number of microscopic "complexions" of a macrostate — the idea later cast by Planck as and engraved on Boltzmann's tomb in Vienna. Gibbs, in his 1902 Elementary Principles in Statistical Mechanics, gave it the modern phase-space form and coined "microcanonical" for the fixed-energy ensemble it governs. Its first quantitatively testable triumph came in 1912, when Sackur and Tetrode independently computed the ideal-gas using the then-new quantum of action to fix the phase-space cell, and predicted absolute entropies that matched calorimetric measurements on mercury and the noble gases. That agreement was among the earliest evidence that phase space is genuinely discretized — that is a count, not just a volume.
Going further
Texts. Pathria & Beale, Statistical Mechanics, 3rd ed., Ch. 1–2 · Kardar, Statistical Physics of Particles, Ch. 4 · Reif, Fundamentals of Statistical and Thermal Physics, Ch. 2–3 · Sethna, Statistical Mechanics: Entropy, Order Parameters, and Complexity, Ch. 3 · Landau & Lifshitz, Statistical Physics Part 1, §7.
Provenance. Definitions and the classical phase-space form follow Pathria & Beale Ch. 1–2 and Kardar Ch. 4. A verifier should recompute: the equal- equilibrium condition and Gaussian peak with variance (Reif Ch. 3; checked numerically for two Einstein solids and two ideal gases across –); the relative width for a monatomic gas (worked example 2); the ideal-gas via the -sphere and the Sackur–Tetrode entropy, giving and (sympy). Historical dates (Boltzmann 1877, Gibbs 1902, Sackur–Tetrode 1912) are verified in the lane history gate. is exact (2019 SI).
Builds on: Microstates and Macrostates · Phase Space · Fundamental Postulate of Equal A Priori Probabilities · Accessible Phase Space and Energy Shells Leads to: Boltzmann Entropy · Statistical Ensembles · Gibbs Entropy · The Ergodic Hypothesis
Is the multiplicity function the same thing as the density of states?
They are close cousins. The density of states is the number of microstates per unit energy, where is the phase-space volume with energy below . The multiplicity of a thin shell is — the density of states times the shell width. In the thermodynamic limit their logarithms agree to leading order, because the shell width contributes only an term to the entropy. So "multiplicity function" and "density of states" describe the same growth of accessible microstates with energy; the density of states just divides out the width.
Why does the shell width Δ not affect the entropy?
Because grows so steeply with — like — that the count is dominated by the largest energies in the shell no matter how thin or thick the shell is. Changing multiplies by a factor, but that factor contributes only to , which is at most and utterly negligible against the extensive entropy. This is the same high-dimensional concentration that makes the shell and the whole enclosed volume give equal entropy.
How can Ω be a "number" for a classical continuous system?
On its own it cannot — a continuum has infinitely many points. The fix is to measure phase space in units of Planck cells: each quantum state occupies a volume per degree of freedom, so dividing the shell volume by turns an infinite point-count into a finite number of cells, i.e. a finite . This is not a classical idea; it is imported from quantum mechanics, and the fact that Sackur and Tetrode's -normalized count matched measured entropies in 1912 was early evidence that phase space really is granular at the scale of .
Where does temperature actually come from in this picture?
It emerges as the quantity two systems must share at equilibrium. When they exchange energy, the total multiplicity peaks where . That common slope, , is the only thing forced to be equal — so it is what a thermometer measures. Identifying makes it the familiar temperature. Temperature is thus not a mechanical property of any particle; it is a property of the slope of the log-multiplicity of a macrostate.
Can the multiplicity ever decrease with energy?
Yes, for systems with a bounded energy spectrum. A set of spins in a field has a maximum energy (all spins anti-aligned), and rises to a peak at half-filling then falls toward that maximum. Above the peak , so : the system has a negative absolute temperature, which is "hotter" than in the sense that it gives up energy to any normal system. This is not a mathematical curiosity — negative temperatures have been realized in nuclear-spin systems and in cold atoms in optical lattices.
If Ω is maximal at equilibrium, why do fluctuations happen at all?
Because the peak, though astronomically sharp, is not infinitely so. The Gaussian width is nonzero, so the system does explore energies a little away from the mean — these are the thermal fluctuations, with relative size . They are real and measurable (they cause, for instance, critical opalescence and Brownian motion), but for a macroscopic they are around of the mean, far too small to ever run the Second Law backwards. Fluctuations are the finite width of the peak; irreversibility is its overwhelming height.