reference
Mathematical Appendix
Three formal results that underpin the framework: the bound on coherent enhancement, the vanishing of net current at equilibrium via detailed balance, and the symmetry condition for directed output (Curie's principle).
This appendix states and proves three results the rest of the reference relies on informally. Each is elementary and standard; collecting them here, with explicit proofs, makes the framework’s load-bearing claims checkable rather than asserted. They correspond to the three mechanisms developed narratively in the deep dives: coherent enhancement, the equilibrium no-go, and rectification.
Lemma 1 — Coherent enhancement is bounded by N
Statement. For identical scattering centres, each contributing amplitude , the effective cross-section satisfies in the fully coherent (forward) direction and when the contributions add incoherently, where . The coherent enhancement factor over the incoherent case is therefore at most .
Proof. The total scattering amplitude is the phased sum , where is the momentum transfer and the centre positions. The cross-section is proportional to :
In the forward limit every phase is unity, the double sum has equal terms, and , giving . If instead the phases are random and uncorrelated, the off-diagonal terms average to zero, leaving the diagonal terms, so and . The ratio of the two is , attained only where the phases align; at finite a form factor interpolates between them.
The enhancement is thus real but bounded: it can lift a per-particle cross-section by up to a factor , and only within the coherence window set by . This is the quantitative content behind the law.
Lemma 2 — No net current at equilibrium
Statement. A system in thermal equilibrium produces no directed steady current: . Consequently the net conversion efficiency vanishes in equilibrium, and any nonzero output requires a non-equilibrium drive.
Proof. Let be the transition rate between microstates. Detailed balance at temperature requires
with . The steady current associated with any antisymmetric observable is . By (2) the bracket is zero term by term, so . Equivalently, the fluctuation–dissipation theorem fixes the equilibrium fluctuation spectrum to the dissipative response at the same , leaving no surplus to rectify.
This is the precise sense in which the framework does not describe a perpetual-motion machine: at equilibrium it returns exactly zero, and it is defined only for open systems held away from equilibrium (open thermodynamic systems).
Lemma 3 — Directed output requires broken symmetry
Statement (Curie’s principle). If the dynamics and the drive of a system are invariant under spatial inversion , then the steady directed current vanishes, . A nonzero directed current therefore requires broken inversion symmetry.
Proof. Let denote spatial inversion. The current is a polar vector, . If the generator of the dynamics (Hamiltonian plus drive, and the stationary distribution it induces) commutes with , then the expectation is inversion-invariant, , whence . A nonvanishing is possible only if is not a symmetry — the system must carry a structural asymmetry (a ratchet).
Together with Lemma 2 this gives the two necessary conditions for directed output: a broken spatial symmetry (Lemma 3) and a non-equilibrium drive (Lemma 2). Neither alone suffices — a ratchet at equilibrium still yields nothing — and this pair is exactly what the rectification factor in presupposes (stochastic rectification).
What the appendix secures
The three lemmas are the mathematical backbone of the framework’s physical story: enhancement is real but capped at (Lemma 1); equilibrium yields nothing, so no thermodynamic law is violated (Lemma 2); and any net directed output demands both a structural asymmetry and a non-equilibrium drive (Lemma 3). None of these is novel physics — they are standard results from scattering theory, statistical mechanics and symmetry analysis — and that is the point: the load-bearing steps of rest on settled mathematics, with the empirical magnitudes left to measurement (measurement and falsifiability).