The Second Law from Statistics
Drop a hot stone into cold water and the heat always flows one way. Let a gas out of a bottle and it always fills the room; it never crawls back in. These everyday certainties are the second law of thermodynamics — the entropy of an isolated system never decreases — and they are so reliable that Eddington called the law's status "supreme among the laws of Nature." Yet the microscopic equations of motion, Newtonian or quantum, are perfectly symmetric in time. Reverse every velocity and they run backward just as happily. So where does the arrow come from? Nothing in the dynamics prefers the future. The answer, Boltzmann's, is that the second law is not a law of dynamics at all — it is a law of counting. A macrostate (gas uniform, or gas crammed in the left half) corresponds to a region of phase space, and the volume of that region is the multiplicity : the number of microscopic arrangements realizing it. The catch is the sheer scale of the inequality. Because with , two macrostates differing by an ordinary amount of entropy differ in size by a factor like . Release a constraint and the system, wandering blindly among equally-weighted microstates, is overwhelmingly likely to end up in the vastly larger region. Entropy increase is nothing but a system falling into the biggest available bucket. This article proves that mechanism cleanly: removing an internal constraint can only enlarge the accessible phase space, so exactly, with equality only if the constraint was already slack — hence . We compute the canonical case, a free expansion, and get the textbook . The famous objections of Loschmidt and Zermelo — that reversed and recurrent trajectories must exist — are real and are answered in full by Statistical Origin of Irreversibility; here we establish the positive statistical content: the second law is the overwhelmingly probable behaviour of a system with astronomically many degrees of freedom.
- The second law for an isolated system is a statistical statement, not a dynamical theorem — the microscopic laws are time-symmetric.
- A macrostate has multiplicity ; two macrostates differing by extensive entropy differ in phase-space volume by .
- Under equal a priori probabilities a system is found in the largest accessible macrostate with effective certainty, so releasing a constraint drives it to larger .
- Removing an internal constraint can only add accessible microstates, so exactly, giving with equality iff the constraint was already inactive.
- Free expansion of particles into double the volume gives — a concrete instance computed here.
- Key idea: entropy increases because a system flows from a macrostate of small to one of overwhelmingly larger ; the arrow of time is the arrow of counting, and is a statement of probability, not of mechanics.
The second law is a counting statement. Each macrostate is a region of phase space of volume , and the equilibrium macrostate is exponentially larger than any other. A system released from a constraint wanders into the biggest accessible region simply because it holds almost all the microstates — so entropy increases with overwhelming probability, not by any asymmetry in the equations of motion.
Where this lives today
The statistical reading of the second law is now a working tool, not just a philosophical resolution. Modern fluctuation theorems (Jarzynski 1997, Crooks 1999) sharpen Eq. (4) into exact equalities: the ratio of probabilities for entropy-producing and entropy-consuming trajectories is precisely , and this has been confirmed by dragging single RNA molecules and colloidal beads through optical traps, where the machine literally watches individual trajectories momentarily decrease entropy at exactly the predicted rate. The second law survives as the statement that the average obeys while individual small-system realizations fluctuate both ways. The same logic underwrites the thermodynamics of information and computation. Landauer's principle — erasing a bit costs at least — is Eq. (5) read backwards: erasure compresses two macrostates into one, an entropy decrease of the memory that must be paid for by dumping of entropy to the environment. Reversible-computing research and the design of ultra-low-power logic take this bound seriously, and it has been measured directly in single-electron and colloidal bit-erasure experiments.
The physical picture
Think of the accessible phase space as a landscape carved into macrostate-regions of wildly unequal size. The "gas in the left half" region is a village; the "gas uniform" region is a continent so much larger that the village is invisible on its map. A trajectory, sampling microstates with equal weight, spends essentially all its time on the continent — not because the continent pulls, but because that is where the overwhelming majority of microstates live. Start it in the village (a low-entropy initial condition) and it will almost surely wander out onto the continent and stay there. That one-way drift is the second law. The disparity is not merely large, it is beyond intuition. An extensive entropy difference of means a phase-space volume ratio of . For a mole, — a number whose digit count itself has 23 digits. The figure below shows the two competing regions on a log scale, the only scale on which the small one is even visible:
Now the payoff: what does "overwhelmingly larger" mean as a probability? The chance of finding a fluctuation that lowers entropy by an amount is . Plot that against the size of the entropy dip and the curve falls off a cliff — a dip of even a nanojoule-per-kelvin is suppressed by :
The two figures together are the whole logic: the equilibrium region is exponentially the largest (figure one), and any macroscopic excursion out of it is exponentially improbable (figure two). Neither figure invokes an asymmetric force — both are pure counting. The microscopic dynamics remains reversible; the statistics is what points.
The core equations
The bridge from counting to thermodynamics is Boltzmann's relation, owned and derived in Boltzmann Entropy; here it is the tool that converts a volume ratio into an entropy change:
where: — entropy of a macrostate; — its multiplicity (number of accessible microstates, or dimensionless phase-space volume); (exact, 2019 SI). Because , is exponentially large — the source of every disparity in this article. The entropy change between two macrostates is therefore the logarithm of their volume ratio:
where: — multiplicities of the final and initial macrostates. Read physically: means the system moved to a macrostate realized by exponentially more microstates. The engine of the second law is what happens when an internal constraint is removed. The set of accessible microstates can only grow, because every previously-allowed microstate is still allowed:
where: equality holds iff the removed constraint was already inactive (added no new microstates). This is the second law in its sharpest form — a set inclusion, not a dynamical claim; the accessible region is a superset after relaxation. The probability of the reverse — a spontaneous entropy decrease by — is the inverse volume ratio, and it is astronomically small:
where: — the size of the entropy decrease. For any macroscopic this is -class: the fluctuations plotted in the second figure. The law is violated in principle but never in practice. For the concrete case of a free expansion — gas released from volume into with energy fixed — only the configuration integral changes, giving a clean result:
where: — initial and final volumes; — particle number. Each particle independently gains a factor of accessible positions, so multiplies by and the log makes it extensive. Finally, the recurrence and reversal objections are quantified by the two timescales that make the statistical law effectively absolute:
where: — the mean time for a bounded system to return near its start (in units of a microscopic time); — the measure of entropy-decreasing trajectories. Both are treated fully in Statistical Origin of Irreversibility; here they simply certify that "overwhelmingly probable" means "never observed."
This is the article's owned structural result, and it is exact — not asymptotic, not statistical, but a statement about sets. When an internal constraint on an isolated system is relaxed (a partition is punctured, a catalyst is added, two subsystems are put in contact), the set of microstates the system may occupy either grows or stays the same; it can never shrink. Since entropy is the log of the size of that set, follows immediately, with equality precisely when the constraint was doing nothing. The power of the argument is that it needs no dynamics at all — only the observation that "accessible before" implies "accessible after."
Step 1. Let the constrained macrostate have accessible set of microstates, with . Every microstate in satisfies the (fewer) remaining constraints after relaxation, so it lies in the new accessible set : thus . Why: relaxing a constraint deletes a restriction; it cannot forbid a configuration that was previously allowed. The accessible region is a superset — this is the entire physical content.
Step 2. Set inclusion gives volume inclusion: . Why: a superset contains at least as many microstates (equivalently, at least as much phase-space volume, which the flow preserves by Liouville's theorem).
Step 3. Apply Boltzmann's relation and Eq. (2):
Why: the logarithm is monotone, so forces . The second law drops out of a set inclusion.
Step 4. Equality holds iff , i.e. the removed constraint added no new microstates — it was already inactive. Otherwise the new region is exponentially larger, because typically includes the equilibrium macrostate whose dwarfs everything. Why: a constraint that was "slack" (e.g. a partition between two gases already at the same pressure and temperature) changes nothing; a constraint that was "active" (gas confined to half the box) unlocks an exponentially larger region on removal, and the system falls into it. *Verified: for free expansion and for two equal ideal gases brought into thermal/particle contact, and checked explicitly (with the slack-constraint equality case) in verify_aq-sm-second-law-from-statistics.py. Cf. Reif §3.1, Callen Ch. 4.*
Go deeper · Derivation B · 1 minFree expansion: the constraint argument made numerical
Here we turn the set-inclusion theorem into a number, deriving the entropy of free expansion directly from microstate counting. A gas of particles, energy fixed, is released from volume into through a punctured partition — no work, no heat, purely the removal of a constraint. We compute before and after, take the ratio, and recover , the canonical illustration that entropy rises even when nothing is "done" to the gas.
Step 1. Write the multiplicity of an ideal gas as a momentum factor times a configuration factor: , where comes from the momentum-shell integral (owned by Accessible Phase Space and Energy Shells) and from each particle ranging over the box. Why: with no interactions the position and momentum integrals separate; only the position part changes in a free expansion at fixed .
Step 2. Since (hence ) and are unchanged, the ratio is purely configurational:
Why: the momentum shell is identical before and after (the gas neither gains nor loses energy), so every factor except cancels — including the indistinguishability factor.
Step 3. Take the log:
For doubling, , so . Why: each particle independently multiplies its accessible positions by ; the product over particles becomes a sum of equal logs — extensive, as entropy must be.
Step 4. Consistency with the reverse-probability formula: the chance the gas spontaneously re-crowds into is . For that is . Why: this is Eq. (4) in action — the free expansion is irreversible not because return is forbidden but because it carries probability , which for a mole is . *Verified: for , and the reverse probability , computed for in the verify script; matches the thermodynamic free-expansion entropy. Cf. Reif §3.5, Pathria §1.5.*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| Slack constraint removed | , | mixing two identical gases at the same : no new microstates, no entropy change |
| Active constraint removed | free expansion, gas contact: exponentially larger region, large | |
| Reversible (quasistatic) process | the system stays in equilibrium at every step; entropy transfers but is not generated | |
| Small | fluctuations occur with probability | the law is probabilistic; a few-particle system visibly violates it, briefly |
| Thermodynamic limit | effectively absolute | anti-thermodynamic behaviour has measure ; the law becomes deterministic |
Worked examples
1 · The entropy of a free expansion, and how forbidden the reverse is (real number)
One mole of ideal gas () expands freely from to at fixed energy. Compute and the probability that the gas spontaneously returns to the original half.
Step 1. Multiplicity ratio from the configuration integral: . Each particle doubles its accessible volume.
Step 2. Entropy change: . This is the standard molar free-expansion entropy — the same number by the thermodynamic route, confirming the microstate count.
Step 3. Probability of spontaneous return: . In base ten, , so .
Step 4. Put that in perspective: the age of the Universe is s, and molecular collision times are s, giving at most "tries." Against a probability of , that is no tries at all. The gas never comes back — not because it cannot, but because the returning microstates are an unimaginably tiny fraction of all microstates.
2 · Slack versus active constraint: why mixing identical gases gives zero (exam level)
Two chambers of volume each hold atoms of the same ideal gas at the same and . The partition is removed. Compute . Then repeat for two different gases (say argon and neon).
Step 1. Identical gases. Before: each side is a macrostate of the same species at the same density. After: one chamber of with atoms at the same density. Because the atoms are indistinguishable, the accessible set does not grow: any post-removal microstate corresponds to a pre-removal one (with the correct counting on each side and after). Formally .
Step 2. Therefore . The removed partition was a slack constraint: it forbade nothing that indistinguishability did not already collapse. No new microstates, no entropy of mixing — the second law's equality case.
Step 3. Different gases. Now argon can access the neon chamber and vice versa — genuinely new configurations. Each species free-expands from to : and .
Step 4. Total: . The constraint was active — it kept distinguishable particles apart — so removing it unlocks new microstates and raises the entropy. Whether is zero or turns entirely on whether the particles are the same, which is the Gibbs paradox; the full treatment is owned by Indistinguishability and the Gibbs Paradox.
Origins · 1 minRudolf Clausius and how this was discovered
Clausius gave the second law its modern voice. In 1850 he stated that heat does not spontaneously pass from a colder to a hotter body, and in 1865 he coined the word entropy (from the Greek for "transformation") and wrote the two summarizing sentences of thermodynamics: "The energy of the universe is constant; the entropy of the universe tends to a maximum." His entropy was a thermodynamic state function defined by , with no reference to atoms — the statistical meaning came later from Boltzmann. But it was Clausius's sharp formulation of as an inviolable directional law that made the microscopic puzzle acute: how could a strictly one-way macroscopic law emerge from time-symmetric mechanics? The reconciliation in this article is the answer to the question Clausius's own precision forced the field to confront.
Going further
Texts. Reif, Fundamentals of Statistical and Thermal Physics, Ch. 3 · Callen, Thermodynamics and an Introduction to Thermostatistics, 2nd ed., Ch. 4 · Pathria & Beale, Statistical Mechanics, 3rd ed., §1.5, §2.3 · Kardar, Statistical Physics of Particles, Ch. 4 · Sethna, Statistical Mechanics: Entropy, Order Parameters, and Complexity, Ch. 5.
Provenance. All results are standard. A verifier should confirm: the set-inclusion inequality for constraint removal, with the slack-constraint equality case; free-expansion , giving per mole for doubling; the reverse probability ( for a mole); the reversal-measure and recurrence-time scalings , (stated here, owned by Statistical Origin of Irreversibility); the identical-gas mixing result versus for distinct gases. The only fundamental constant is (exact, 2019 SI); .
Prerequisites. Boltzmann Entropy · Microstates and Macrostates · Fundamental Postulate of Equal A Priori Probabilities · Liouville's Theorem · Accessible Phase Space and Energy Shells. Leads to. Gibbs Entropy · The Ergodic Hypothesis · Ergodic Theory and Mixing · Statistical Ensembles.
If the microscopic laws are time-symmetric, isn't it just as likely for entropy to decrease? What breaks the tie?
The tie is broken by the initial condition, not the dynamics. For every entropy-increasing trajectory there is indeed a time-reversed, entropy-decreasing partner — Loschmidt's point, and it is correct. But we do not start systems in random microstates; we start them in special low-entropy macrostates (gas in a corner, hot next to cold). From such a start the overwhelming majority of trajectories head toward larger , simply because those macrostates are exponentially more numerous. The reverse partners exist but require exquisitely fine-tuned initial microstates of measure . The asymmetry is in where we begin, and ultimately in the low-entropy early universe.
Doesn't Poincaré recurrence mean entropy must eventually decrease, so the second law is false?
Recurrence is real — Zermelo's objection — but it is defanged by its timescale. A bounded conservative system does return arbitrarily close to its start, so cannot rise forever. But the recurrence time for a macroscopic system scales as (in microscopic units), i.e. — a duration next to which the age of the Universe ( s) is indistinguishable from zero. So on any observable timescale entropy increases monotonically; the eventual decrease is a mathematical certainty and a physical irrelevance. The full accounting of both objections is owned by Statistical Origin of Irreversibility.
Why does removing a constraint necessarily increase entropy — couldn't the system just stay put?
It could, and then — that is the equality case, when the constraint was slack (already inactive). But if the constraint was active, its removal unlocks an exponentially larger region of phase space, and under equal a priori probabilities the system will, with probability , be found in that larger region almost immediately. "Staying put" means staying in the tiny original region, which now holds a fraction of the accessible microstates — overwhelmingly improbable. So the entropy rises not because the system is pushed but because "not rising" would require it to avoid virtually all of its available states.
Is the entropy of the whole universe really always increasing? What about a fridge or a growing crystal?
Local decreases are fine; the law is about the total entropy of an isolated system. A refrigerator lowers the entropy of its contents, but only by dumping more entropy into the room (and ultimately the environment) via the compressor's waste heat — the sum increases. A crystal ordering from a melt lowers its own configurational entropy but releases latent heat that raises the surroundings' entropy by more. In every case . The counting argument applies to the combined, isolated whole; subsystems may buck the trend by exporting entropy.
The formula P = e^{−ΔS/k} says small entropy dips happen all the time. Is that observed?
Yes, directly. For a single Brownian particle in an optical trap, entropy-decreasing fluctuations of order occur constantly and have been measured — this is the content of the fluctuation theorems. What is never observed is a macroscopic dip, because with of order joules-per-kelvin gives probabilities like . So the second law is exact on average and violated momentarily at the nanoscale — precisely as Eq. (4) predicts. The threshold between "seen constantly" and "never seen" is just how many particles the entropy change involves.
How is this different from the ergodic hypothesis — don't both say the system explores phase space?
They are related but distinct. This article makes a static counting claim: the equilibrium macrostate is exponentially the largest, so it is where almost all microstates are. That alone gives as a probability statement about where the system is likely to be found. The ergodic hypothesis is a dynamical claim: that a single trajectory actually visits the accessible region uniformly over time, so that time averages equal ensemble averages. The second law needs the counting; whether a given system truly equilibrates on a reasonable timescale (approach to the largest region, and mixing) is the further question owned by The Ergodic Hypothesis and Ergodic Theory and Mixing.