Correct Boltzmann Counting
Write down the partition function of a gas of identical molecules and you face a subtle trap. The natural move is to take the single-particle partition function and raise it to the -th power — one factor per particle. But that quietly assumes the particles wear labels, and identical molecules do not: swapping molecule 3 with molecule 7 produces the same physical microstate, not a new one. The labelled phase-space integral counts every genuine configuration times over. The cure is a single, deceptively humble factor: divide by . This is correct Boltzmann counting, and without it classical statistical mechanics is quietly broken. The symptom of the error is a failure of extensivity. Entropy, free energy, and volume ought to double when you double the system at fixed density — a bucket of gas plus an identical bucket has twice the entropy. The uncorrected entropy does not: it carries a spurious term that makes it grow faster than the system size. The most famous face of this defect is the Gibbs paradox — the absurd prediction that removing a partition between two halves of the same gas increases the entropy. Dividing by turns the offending into approximately , restores extensivity to the last decimal, and makes the paradox vanish. Gibbs introduced the on purely thermodynamic grounds, decades before quantum mechanics existed. Its deeper origin is quantum: identical particles are fundamentally indistinguishable, and in the dilute, non-degenerate limit where each single-particle state is almost never doubly occupied, the exact Bose-Einstein or Fermi-Dirac counting collapses to exactly . The factorial is the last fingerprint of quantum indistinguishability surviving into the classical world — and it is the reason the Sackur-Tetrode entropy of argon matches the calorimeter to a fraction of a percent.
- A gas of identical particles has partition function , not : the labelled phase-space integral overcounts each physical microstate by the permutations of identical particles.
- Dividing by — "correct Boltzmann counting" — restores the extensivity of , , and and resolves the Gibbs paradox of mixing identical gases.
- Without it, the entropy carries a spurious term and grows superextensively (off by when you double the system).
- The turns the non-extensive into the extensive , and the chemical potential becomes intensive as it must be.
- It is the unique prefactor that fixes extensivity: no constant can do the job, only (via Stirling's ).
- The factor is the classical, dilute limit () of quantum indistinguishability; near degeneracy it fails and full Bose/Fermi statistics are required.
- Key idea: identical particles are indistinguishable, so the labelled classical measure overcounts each microstate by ; dividing by is exactly what makes , , and extensive and resolves the Gibbs paradox.
Identical particles are indistinguishable, so the labelled classical phase-space measure counts each physical microstate times; dividing by restores the extensivity of the entropy, free energy, and chemical potential and dissolves the Gibbs paradox — and this factor is the classical shadow of quantum indistinguishability.
Where this lives today
Correct Boltzmann counting is quietly load-bearing across physics and chemistry. Its most direct experimental test is the Sackur-Tetrode entropy: the absolute molar entropies of the noble gases, computed from , match the values obtained by integrating measured heat capacities up from absolute zero to a fraction of a percent — a routine but striking confirmation that the is physically real. The intensive chemical potential that only the factor produces is the foundation of the law of mass action, and therefore of every equilibrium constant in chemistry. In astrophysics, the Saha ionization equation — which sets the degree of ionization in stellar atmospheres and predicts spectral classes — balances chemical potentials that each carry their own species' and thermal wavelength. And in the theory of dilute solutions, the entropy of mixing , which survives correct counting only because it distinguishes solute from solvent, yields van 't Hoff's law of osmotic pressure. Wherever an entropy, a chemical potential, or an equilibrium constant is computed for identical particles, the is doing silent work.
The physical picture
Start with the simplest possible caricature: two identical coins. If you secretly tag them A and B, you count "A-heads, B-tails" and "A-tails, B-heads" as two distinct arrangements. But if the coins are genuinely identical, you cannot tell those apart — there is one arrangement, "one heads and one tails." The classical phase-space integral always carries hidden labels (it integrates over particle 1, particle 2, and so on separately), so it systematically overcounts. For particles spread over many more accessible cells than there are particles, almost every configuration has all particles in distinct cells, and the overcount is a uniform — which is exactly why a single constant divisor cures it. Think of the as a "permutation tax" that converts a sum over labelled arrangements into a sum over genuine, physically distinct configurations. The tax is uniform in the dilute regime because double occupancy is negligible; every microstate is overcounted by the same , so one factor pulled out front fixes them all at once.
The is the precise place where quantum indistinguishability bleeds into classical mechanics. Even after has been sent to zero everywhere else in the calculation, the symmetry of the wavefunction under particle exchange leaves behind exactly (alongside the that fixes the absolute size of a phase-space cell). The diagnostic that tells you the factor is doing real work is extensivity: the free energy must satisfy . The punchline figure below shows what happens if you forget it — the entropy per particle, which should be a flat horizontal line, instead climbs without bound as .
The core equations
The whole subject rests on one modification to the classical partition function: an explicit division by for a system of identical, freely exchanging particles. This is the object from which all thermodynamics is then computed.
where: — the -particle canonical partition function; — the Gibbs counting factor that removes the permutation overcount; — the phase-space cell size making dimensionless (a second quantum remnant); ; — the classical Hamiltonian. Reading it: both and are corrections that the pre-quantum theory could not justify but that the quantum classical-limit supplies exactly. For non-interacting particles the Hamiltonian separates, and the multi-particle partition function factorizes into single-particle pieces — divided by the counting factor.
where: — the single-particle partition function; — volume; — the thermal de Broglie wavelength; — particle mass. Reading it: counts how many thermal-wavelength-sized cells fit in the box, and is intensive — the phase-space occupancy per particle. Taking and applying Stirling's approximation to produces the extensive free energy — the payoff of the whole exercise.
where: — the volume per particle. Reading it: because depends on and only through the intensive ratio (times an overall ), it scales linearly with system size — extensivity restored. The crucial is what converts the offending into . Differentiating with respect to temperature gives the Sackur-Tetrode absolute entropy, and with respect to gives the chemical potential — both intensive-per-particle, both finite in the thermodynamic limit only because of the .
where: — the number density; the splits as (from the energy, ) plus (from the counting factor). Reading it: and depend only on the intensive , so doubling the system doubles and leaves unchanged — exactly what a well-behaved entropy and chemical potential must do.
The goal is to prove that dividing by makes the entropy exactly extensive, , and that no simpler prefactor — in particular no constant raised to the -th power — can do the same. The strategy is to compute the entropy with and without the factor, apply Stirling to , and test homogeneity of degree one under a joint rescaling of and at fixed intensive variables.
Step 1. With the factor, . Apply Stirling : the bracket becomes , so , equation (3).
Step 2. Differentiate: , where the extra over the naive comes from the temperature dependence of combined with the from Stirling.
Step 3. Rescale , at fixed (so unchanged): . The scale factor cancels inside the logarithm because and both scale — extensivity holds exactly. Why a constant fails. Suppose instead you divided by some . Then , and the entropy still contains a bare term (not ). Rescaling gives a leftover defect — the same superextensive term as with no factor at all. Only , which supplies the missing , can convert into .
Step 4. Without any factor, , and . Doubling () leaves a surplus of — the Gibbs defect, unbounded as the system grows. The extensivity identity holds with the factor; without it the superextensive defect is (i.e. on doubling); and no constant prefactor can restore extensivity.
Go deeper · Derivation B · 1 minEmergence of 1/N! from quantum indistinguishability
The goal is to show that the phenomenological is not an ad hoc fix but the exact classical (dilute, non-degenerate) limit of quantum statistics, where each single-particle state is almost never multiply occupied. The strategy is to write the canonical partition function as a sum over occupation numbers of single-particle levels, take the dilute limit where all occupancies are or , and count how many labelled terms map to each unlabelled configuration.
Step 1. In quantum mechanics a many-body state is specified by the occupation numbers of single-particle levels , with no particle labels at all: . The (anti)symmetrization is entirely encoded in which are allowed and in the absence of labels.
Step 2. In the dilute limit the mean occupancy , so terms with any are negligible and the Bose/Fermi distinction disappears — only contribute.
Step 3. Compare to the labelled product . Expanding it, each unlabelled configuration with all occupancies appears exactly times (since all ). Dividing by collapses these labelled permutations to the one physical configuration: . Why the factorial and not something else. The overcount is ; only in the dilute limit, where every , does it reduce to a clean independent of the configuration. This is precisely why a single constant divisor works classically but fails near degeneracy, where doubly-occupied states (, contributing ) make the overcount configuration-dependent.
Step 4. The same result follows from expanding the ideal-gas grand potential to first order in the fugacity : the leading term reproduces , with the (boson/fermion) corrections appearing only at the next order in . The dilute-limit overcount ratio (distinguishable assignments)/(indistinguishable) , as illustrated numerically for several pairs above; the reduction is the standard classical limit of quantum statistics.
Limiting cases
The is a specific correction with a specific domain — get the domain wrong and you introduce new errors.
| Case | Prescription | Meaning |
|---|---|---|
| Dilute classical gas, | The simple factorial is exact to leading order; gives Sackur-Tetrode. | |
| Distinguishable particles (lattice sites) | (no ) | Atoms pinned to distinct sites are labelled by position; permutations ARE distinct states. |
| Mixture of species | One factorial per species; mixing different gases gives a real . | |
| Quantum degenerate, | full Bose/Fermi statistics | Multiple occupancy matters; the constant over- or under-counts. |
Worked examples
Example 1 — Extensivity of the entropy, with and without the factor (enumerate, apply, boundary number). Take one mole of argon () at , , and ask what happens to the entropy when you place an identical mole beside it and remove the partition (doubling and at fixed density).
Step 1. Enumerate the two formulas. With the factor, ; without it, .
Step 2. Apply the doubling. With the factor, is unchanged, so — exactly additive. Without the factor, .
Step 3. Boundary number. The spurious surplus per mole is — a large, unmistakable, and entirely unphysical entropy that appears from merely relabelling identical atoms. Correct Boltzmann counting removes it exactly. This is the Gibbs paradox in a single number.
Example 2 — The overcount factor for a small system (an actual integer). Consider identical particles distributed one each among available single-particle states (dilute, so no double occupancy).
Step 1. Count the labelled arrangements: particle 1 has choices, particle 2 has , particle 3 has , giving labelled assignments.
Step 2. Count the physically distinct configurations: choosing which of the states are occupied, .
Step 3. Boundary number. The ratio is — exactly the number of permutations of particles. The labelled count overcounts by , and dividing by recovers the correct number of microstates. This is the combinatorial heart of the , verified here for a concrete case.
Origins · 1 minindistinguishable particles and how this was discovered
Correct Boltzmann counting is the prescription for indistinguishable particles. Despite the name, the was introduced not by Boltzmann but by Josiah Willard Gibbs in his 1902 Elementary Principles in Statistical Mechanics, on the thermodynamic grounds that entropy must be extensive and that mixing identical gases must produce no entropy change. Gibbs recognized the paradox that now bears his name and prescribed the factorial as its cure, purely phenomenologically — quantum mechanics did not yet exist. The deeper justification came only in the 1920s, when the classical (dilute) limit of the newly-formulated Bose-Einstein and Fermi-Dirac statistics was shown to reproduce exactly . The factor is thus a piece of quantum indistinguishability that Gibbs, remarkably, deduced from thermodynamic consistency a generation early.
Going further
References. Pathria & Beale, Statistical Mechanics, 3rd ed., §1.5–1.6, §3.5 · Kardar, Statistical Physics of Particles, Ch. 4 · Reif, Fundamentals of Statistical and Thermal Physics, §7.3 · Sethna, Statistical Mechanics: Entropy, Order Parameters, and Complexity, §3.5, §7.3 · Landau & Lifshitz, Statistical Physics Part 1, §31, §41. Key numerical benchmarks: (i) is extensive after Stirling; (ii) with the factor, and the superextensive defect (i.e. on doubling) without it; (iii) no constant prefactor restores extensivity; (iv) the dilute-limit overcount ratio equals ; (v) argon's molar entropy at , . Constants used throughout: , , .
Builds on: Classical Ideal Gas · Thermal de Broglie Wavelength · Gibbs Paradox Leads to: Sackur-Tetrode Equation · Classical Limit of Quantum Statistics · Classical Ideal Gas
Why is it called "Boltzmann" counting if Gibbs introduced the factor?
The name is a historical accident. The method of counting microstates by distributing particles among energy cells goes back to Boltzmann's combinatorial derivation of the distribution law, so "Boltzmann counting" refers to that general procedure. The specific correction that makes it correct for identical particles was Gibbs's contribution in 1902, addressing the paradox that also bears his name. So "correct Boltzmann counting" means "Boltzmann's counting method, with Gibbs's factorial fix." Neither man had quantum mechanics; the deeper justification of the factor as the classical limit of indistinguishable-particle statistics came two decades later.
How exactly does dividing by N! fix the Gibbs paradox?
The paradox is that the uncorrected entropy predicts when you remove a partition between two halves of the same gas at equal density — physically absurd, since nothing observable changes. The uncorrected entropy is , which depends on separately from ; combining two subsystems then produces a spurious -of-volume gain. Dividing by turns into , so the entropy depends only on the intensive density . When you merge two identical gases at the same density, is unchanged, so the total entropy is exactly the sum of the parts and . For genuinely different gases, the real entropy of mixing survives, as it should.
Is the 1/N! an approximation, or is it exact?
It is exact in the dilute, non-degenerate regime , and an approximation (indeed a failure) near quantum degeneracy. In the dilute limit essentially every single-particle state has occupancy or , so every physical configuration is overcounted by precisely in the labelled sum, and the constant divisor is exact to leading order. When approaches , states begin to be multiply occupied; the overcount then becomes configuration-dependent (), and a single constant no longer captures it. There you must abandon correct Boltzmann counting and use the full Bose-Einstein or Fermi-Dirac statistics, which count indistinguishable states correctly at any occupancy.
Why don't we divide by N! for a crystal of N atoms on lattice sites?
Because those atoms are distinguishable — each is permanently labelled by the lattice site it occupies. You can point to "the atom at site (3,5,2)" unambiguously, and swapping two atoms between sites produces a genuinely different microstate. There is no permutation overcounting to remove, so with no factorial. In fact, dividing a lattice solid's partition function by would break its extensivity rather than restore it. The applies only to particles free to exchange positions, like the molecules of a gas or liquid, where you cannot say which molecule is which.
Where does the extra "1" in the Sackur-Tetrode 5/2 come from?
The decomposes as . The is the energy contribution: differentiating the free energy with respect to temperature picks up from the dependence of (equivalently, gives in the entropy). The extra comes directly from the counting factor: Stirling's contributes a term that, after differentiation and per-particle bookkeeping, adds to the bracket. So the famous is a fingerprint of correct Boltzmann counting — without the you would get an entropy with (and a non-extensive instead of ).
Does the h^{3N} play the same role as the 1/N!?
They are companion quantum remnants that fix different things. The sets the absolute size of a phase-space cell: the classical integral has units of (action), and dividing by makes dimensionless and fixes the zero of entropy. The fixes the permutation overcount from indistinguishability. Neither can be justified within purely classical mechanics; both emerge together when you take the classical limit of the quantum partition function. Only with both factors does the classical reproduce the correct, extensive, absolute thermodynamics — and match experiment, as the Sackur-Tetrode entropy shows.