Distinguishable vs Indistinguishable Particles
Imagine two identical helium atoms swapping positions in a box. Nothing about the gas changes. Yet naive counting treats this swap as a new state. This overbinding of states, if left uncorrected, produces absurd thermodynamics. Entropy fails to be extensive. Chemical potential behaves badly upon mixing identical gases. The fix is one of the most consequential small corrections in physical chemistry. Whether the canonical partition function is or matters greatly. It determines whether entropy adds up correctly. It determines whether Gibbs' paradox is resolved. It also determines whether the ideal gas law emerges with the right constants. Every quantitative result in molecular thermodynamics rests on getting this factor right. This includes the Sackur-Tetrode equation and reaction entropies. This article builds the distinguishable and indistinguishable cases from the single-molecule partition function . It shows precisely when each formula applies. It works two full numerical examples. It ends by showing how this correction becomes the seed of the Sackur-Tetrode equation.
- For independent, distinguishable particles (e.g., atoms fixed on lattice sites), .
- For independent, indistinguishable particles (e.g., gas molecules), corrects for overcounting permutations.
- The correction is valid only when each particle occupies a distinct quantum state on average — the low-density, high-temperature limit relevant to ordinary gases.
- Omitting produces non-extensive entropy and Gibbs' paradox: mixing identical gas samples appears to increase entropy.
- arises because swapping identical particles among occupied states gives no new physical state, but the naive product counts each such swap separately.
- Key idea: Whether particles can be labeled decides whether permutations of particles among states count as new microstates, and this single combinatorial fact fixes the entire form of .
The relation between the system partition function and the molecular partition function hinges entirely on whether swapping two particles' identities, while keeping the same set of occupied states, produces a genuinely new microstate — it does for particles fixed at distinguishable sites, giving , but it does not for freely moving identical molecules, giving .
The physical picture
Start with non-interacting particles, each described by a single-molecule partition function , built from that particle's own energy levels as covered in the treatment of the canonical partition function. If the particles could be told apart — atom 1 sits at lattice site 1, atom 2 at lattice site 2, and so on — then the total partition function is simply the product of each particle's partition function. Particle 1 independently explores its states, particle 2 independently explores its states, and every combination of assignments is a distinct, physically real microstate because we could point to "particle 1 in state , particle 2 in state " and distinguish it from "particle 1 in state , particle 2 in state ." This gives , exact and unconditional, for any system of localized, labeled particles: atoms vibrating about crystal lattice sites, defects pinned in a solid, or spins fixed at addresses in a magnetic lattice. Now consider a gas of identical helium atoms with no fixed positions. Quantum mechanics says these atoms are fundamentally indistinguishable: there is no experiment that can track "atom 3" as opposed to "atom 7" as they fly around and collide. A microstate of the gas is specified only by how many particles occupy each single-particle energy level, never by which labeled particle sits where. But when we build the product and expand it, we get a term for every possible assignment of labeled particles to states. If particles 1 and 2 are swapped between two singly-occupied levels, the product counts that as a separate term — even though physically nothing has changed. As long as it is overwhelmingly likely that no two particles share the same single-particle state (the case for ordinary gases at ordinary densities), each set of occupied levels gets counted exactly times too many, once for every permutation of the particles among those levels. Dividing by removes the overcounting and yields the correct indistinguishable-particle result, .
The distinction is not about the particles being physically identical twins in composition — even distinguishable particles in the lattice case might be chemically identical atoms. It is about whether their positions or addresses let us track "which one is which." Once that tracking is impossible in principle, as it is for molecules free to roam a gas phase, the correction becomes mandatory.
The core relations
where: is the single-particle partition function, the number of independent, labeled particles.
where: division by removes overcounted permutations of identical particles among singly-occupied states, valid when .
where: this ratio being large guarantees negligible probability of double occupancy of any single-particle state, the condition for to be accurate.
where: Stirling's approximation converts the factorial into a usable analytic form for macroscopic .
Goal. Show explicitly how permutation overcounting produces the factor, and identify the precise condition under which it is valid.
Step 1. Define the canonical partition function honestly. The canonical partition function sums the Boltzmann factor over every distinct microstate of the -particle system:
For independent particles, is a sum of single-particle energies, , where particle occupies single-particle level .
Step 2. Expand the naive product q^N. Treating particles as labeled and summing independently over each one's states,
Every term in this sum corresponds to one assignment of a specific labeled particle to each level index. If particles are truly distinguishable (fixed lattice sites), each assignment is a genuine, physically different microstate, so exactly — no correction needed.
Step 3. Identify the overcounting for identical particles. If particles are identical and delocalized, the physical microstate is specified only by the occupation numbers — how many particles sit in level — never by which particle. Given a set of occupied levels all singly occupied (the typical case at low density), there are exactly distinct labeled assignments (permutations of the particles among the occupied levels) that all correspond to the same physical occupation-number microstate. The sum has therefore counted that one true microstate times.
Step 4. Correct by dividing. To recover the correct sum over true (occupation-number) microstates, divide the over-counted sum by :
This division is exact only if every occupied level holds at most one particle (no permutation collapses onto itself via a repeated index) and the small residual correction from levels that do happen to hold two or more particles is negligible. That is the classical, non-degenerate regime.
Step 5. State the validity condition quantitatively. The number of accessible single-particle states is roughly itself (it counts the effective number of thermally accessible levels weighted by their Boltzmann factors). Double occupancy becomes rare when there are far more accessible states than particles,
For a monatomic ideal gas at room temperature and atmospheric pressure, (translational) is of order – for a mole confined to ordinary volumes, utterly swamping , so the approximation is excellent. It fails at extremely low temperature or extremely high density, where quantum statistics (Bose–Einstein or Fermi–Dirac) must replace this classical correction.
Boxed result.
Worked examples
Example 1 — Foundational: comparing Q for a tiny model system. Suppose a single particle has access to 4 non-degenerate states with the same spacing, giving (at some fixed temperature) a single-particle partition function . Consider particles. Distinguishable case (e.g., 3 atoms pinned at 3 distinct lattice sites, each independently sampling the same 4 states):
Indistinguishable case (3 identical gas-phase atoms sharing the same 4 accessible states):
Sanity check by direct enumeration: with only 4 states and 3 particles, some states must sometimes be doubly or triply occupied, so is not much greater than 1 — this is a poor candidate for the classical approximation, and indeed direct combinatorial counting of occupation-number microstates (using Bose–Einstein statistics properly) would give a different, larger number of accessible microstates than . The exercise illustrates the arithmetic of the formula; it also flags that -division is an approximation requiring , which this toy system deliberately violates for pedagogical contrast.
Example 2 — Applied: entropy consequence for one mole of argon gas. Take one mole of argon gas () at confined to (24.79 L, the molar volume at 1 bar). The translational partition function per molecule is
For argon, . Compute the thermal wavelength term:
Divide by :
Raise to the power:
Multiply by :
Now check the classical condition: . The correction is excellent here. Using with Stirling's approximation, the molar entropy contribution from translation is
(using for translation). Plugging in , :
This is close to the experimental standard molar entropy of argon gas, — a genuine, checkable success of the correction (this is exactly the Sackur-Tetrode result). Had we instead used without dividing by , the from Stirling's expansion of would vanish and the entropy would be overestimated by too large — wildly inconsistent with experiment, and worse, non-extensive: doubling both and at fixed density would not simply double .
Limiting cases & common traps
| Situation | Correct treatment | Why |
|---|---|---|
| Atoms on distinct lattice sites (solids, defects) | , no | Sites are physically labeable addresses |
| Ideal gas at ordinary , | , negligible double occupancy | |
| Gas at extremely low or high density | Neither classical formula; use Bose–Einstein or Fermi–Dirac statistics | no longer ; quantum degeneracy matters |
| Mixture of two different gases | Each species gets its own : | Only identical particles are interchangeable with each other |
The chemist behind it
The paradox that makes necessary is named for Josiah Willard Gibbs, whose 1875 observations about mixing entropy predate quantum mechanics by half a century. Gibbs noticed that classical statistical mechanics, applied naively, gave a mixing entropy for combining two gas samples that did not vanish even when the two gases were identical — a result plainly at odds with the physical fact that mixing indistinguishable substances changes nothing observable. His resolution, essentially the ancestor of the correction, was to insist that permutations of identical particles must not be counted as distinct configurations. Later, Otto Sackur and Hugo Tetrode independently combined this counting correction with the quantum-mechanical translational partition function around 1912, producing the Sackur-Tetrode equation and putting Gibbs' insight on a fully quantitative, testable footing — precisely the calculation carried out for argon above.
Origins · 1 minJosiah Willard Gibbs and how this was discovered
Ask the tutor: How does the Sackur-Tetrode equation turn this N! correction into a full quantitative formula for the entropy of an ideal gas?
Why does dividing by N! fix the entropy but not change the energy or heat capacity
Internal energy and heat capacity come from derivatives of with respect to at fixed volume. Since , and does not depend on temperature, differentiating with respect to eliminates the term entirely. Energy and heat capacity only see the piece. Entropy, however, involves itself (not just its derivative), so the temperature-independent survives and directly shifts the entropy value, making the correction essential there but invisible in or .
Does the N! correction ever apply to particles that are chemically identical but still distinguishable
Yes. Atoms of the same isotope sitting at fixed, well-separated lattice sites in a crystal are chemically and physically identical in composition, yet they are distinguishable in the statistical-mechanical sense because each has a permanent, trackable address. Swapping two such atoms between two sites genuinely produces a different arrangement (site 1 has a different local environment history than site 2 in principle), so no correction applies. The relevant criterion is not chemical identity but whether the particles' spatial arrangement lets us, even in principle, track which is which.
What happens to Q = qᴺ divided by N! when the gas becomes very dense or very cold
The approximation breaks down. It assumed each accessible single-particle state holds at most one particle, valid when . At low temperature or high density, many particles compete for the same few low-lying states, and double or higher occupancy becomes common. The classical dividing-by- trick then over- or under-corrects, and one must use full quantum statistics: Bose-Einstein statistics for particles with integer spin (bosons) or Fermi-Dirac statistics for half-integer spin particles (fermions), which handle occupation numbers exactly rather than through a classical approximation.
How does this connect to the Sackur-Tetrode equation
The Sackur-Tetrode equation is the explicit formula for the translational entropy of an ideal monatomic gas, and its derivation starts exactly where this article ends: take , apply Stirling's approximation to , and combine with . The distinctive (rather than ) inside the logarithmic entropy expression, and the correct extensive scaling with , both trace directly back to the factor derived here. Without it, Sackur-Tetrode simply could not be written down correctly.