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).

Last updated:

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 NN identical scattering centres, each contributing amplitude aa, the effective cross-section satisfies σeff=N2 σ1\sigma_{\text{eff}} = N^2\,\sigma_1 in the fully coherent (forward) direction and σeff=N σ1\sigma_{\text{eff}} = N\,\sigma_1 when the contributions add incoherently, where σ1∝∣a∣2\sigma_1 \propto |a|^2. The coherent enhancement factor over the incoherent case is therefore at most NN.

Proof. The total scattering amplitude is the phased sum A(q)=∑j=1Na eiq⋅rjA(\mathbf{q}) = \sum_{j=1}^{N} a\,e^{i\mathbf{q}\cdot\mathbf{r}_j}, where q\mathbf{q} is the momentum transfer and rj\mathbf{r}_j the centre positions. The cross-section is proportional to ∣A∣2|A|^2:

∣A(q)∣2=∣a∣2∑j,keiq⋅(rj−rk).(1)|A(\mathbf{q})|^2 = |a|^2 \sum_{j,k} e^{i\mathbf{q}\cdot(\mathbf{r}_j - \mathbf{r}_k)}. \tag{1}

In the forward limit q→0\mathbf{q}\to 0 every phase is unity, the double sum has N2N^2 equal terms, and ∣A∣2=N2∣a∣2|A|^2 = N^2|a|^2, giving σeff=N2σ1\sigma_{\text{eff}} = N^2\sigma_1. If instead the phases are random and uncorrelated, the off-diagonal terms average to zero, leaving the NN diagonal terms, so ⟨∣A∣2⟩=N∣a∣2\langle|A|^2\rangle = N|a|^2 and σeff=Nσ1\sigma_{\text{eff}} = N\sigma_1. The ratio of the two is NN, attained only where the phases align; at finite q\mathbf{q} a form factor F(q)=N−2∑j,keiq⋅(rj−rk)≤1F(\mathbf{q}) = N^{-2}\sum_{j,k} e^{i\mathbf{q}\cdot(\mathbf{r}_j-\mathbf{r}_k)} \le 1 interpolates between them. ■\blacksquare

The enhancement is thus real but bounded: it can lift a per-particle cross-section by up to a factor NN, and only within the coherence window set by F(q)F(\mathbf{q}). This is the quantitative content behind the N2N^2 law.

Lemma 2 — No net current at equilibrium

Statement. A system in thermal equilibrium produces no directed steady current: ⟨J⟩eq=0\langle J\rangle_{\text{eq}} = 0. Consequently the net conversion efficiency ηconv\eta_{\text{conv}} vanishes in equilibrium, and any nonzero output requires a non-equilibrium drive.

Proof. Let P(x→x′)P(x\to x') be the transition rate between microstates. Detailed balance at temperature TT requires

P(x→x′) ρeq(x)=P(x′→x) ρeq(x′),(2)P(x\to x')\,\rho_{\text{eq}}(x) = P(x'\to x)\,\rho_{\text{eq}}(x'), \tag{2}

with ρeq(x)∝e−βE(x)\rho_{\text{eq}}(x)\propto e^{-\beta E(x)}. The steady current associated with any antisymmetric observable ϕ(x,x′)=−ϕ(x′,x)\phi(x,x') = -\phi(x',x) is J=12∑x,x′ϕ(x,x′)[P(x→x′)ρeq(x)−P(x′→x)ρeq(x′)]J = \tfrac12\sum_{x,x'}\phi(x,x')\big[P(x\to x')\rho_{\text{eq}}(x) - P(x'\to x)\rho_{\text{eq}}(x')\big]. By (2) the bracket is zero term by term, so J=0J=0. Equivalently, the fluctuation–dissipation theorem fixes the equilibrium fluctuation spectrum to the dissipative response at the same TT, leaving no surplus to rectify. ■\blacksquare

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 r→−r\mathbf{r}\to-\mathbf{r}, then the steady directed current vanishes, ⟨J⟩=0\langle\mathbf{J}\rangle = 0. A nonzero directed current therefore requires broken inversion symmetry.

Proof. Let P\mathcal{P} denote spatial inversion. The current is a polar vector, PJ=−J\mathcal{P}\mathbf{J} = -\mathbf{J}. If the generator of the dynamics (Hamiltonian plus drive, and the stationary distribution it induces) commutes with P\mathcal{P}, then the expectation is inversion-invariant, ⟨J⟩=⟨PJ⟩=−⟨J⟩\langle\mathbf{J}\rangle = \langle\mathcal{P}\mathbf{J}\rangle = -\langle\mathbf{J}\rangle, whence ⟨J⟩=0\langle\mathbf{J}\rangle = 0. A nonvanishing ⟨J⟩\langle\mathbf{J}\rangle is possible only if P\mathcal{P} is not a symmetry — the system must carry a structural asymmetry (a ratchet). ■\blacksquare

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 P(t)P(t) 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 NN (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 P(t)P(t) rest on settled mathematics, with the empirical magnitudes left to measurement (measurement and falsifiability).

↑