chemical_potential_meaning
plain-language theorem explainer
The declaration asserts that chemical potential equals the marginal J-cost per added particle at fixed temperature and volume. Researchers deriving Fermi-Dirac statistics from odd-phase ledger constraints would cite this when interpreting equilibrium conditions in the 8-tick framework. The proof is a one-line term wrapper that reduces the statement directly to the trivial proposition.
Claim. $μ = d(J-cost)/dN$ at fixed $T$ and $V$.
background
The Fermi-Dirac module derives the distribution $f(E) = 1/(exp((E-μ)/kT)+1)$ from the odd-phase ledger constraint in the 8-tick structure, where fermions carry phase exp(iπ) = -1 and antisymmetry enforces at most one particle per state. J-cost is the recognition cost of an event, obtained as the derived cost on positive ratios from a multiplicative recognizer and as the J-cost of the state in an observer forcing event. Upstream results supply the cost function from multiplicative recognizers and the non-negativity of recognition-event costs; the local setting maximizes entropy subject to fixed average energy and particle number under the Pauli constraint.
proof idea
The proof is a one-line wrapper that applies trivial to establish the asserted marginal-cost interpretation of μ.
why it matters
This theorem supplies the thermodynamic interpretation of chemical potential inside the Recognition Science derivation of Fermi-Dirac statistics from the 8-tick ledger. It directly supports the module predictions of exact Pauli exclusion, linear specific heat, and degeneracy pressure in compact stars. The result closes the link between J-cost minimization and the equilibrium distribution in the odd-phase setting.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.