reference

Mathematischer Anhang

Drei formale Resultate, die das Rahmenwerk stützen: die Schranke der kohärenten Verstärkung, das Verschwinden des Nettostroms im Gleichgewicht über die detaillierte Bilanz und die Symmetriebedingung für gerichteten Output (Curie-Prinzip).

Zuletzt aktualisiert:

Dieser Anhang formuliert und beweist drei Resultate, auf die sich der Rest der Referenz informell stützt. Jedes ist elementar und Standard; sie hier mit expliziten Beweisen zu sammeln, macht die tragenden Aussagen des Rahmenwerks prüfbar statt behauptet. Sie entsprechen den drei Mechanismen, die in den Deep Dives erzählerisch entwickelt werden: kohärente Verstärkung, das Gleichgewichts-No-Go und die Gleichrichtung.

Lemma 1 — Die kohärente Verstärkung ist durch N beschränkt

Aussage. Für NN identische Streuzentren, die je die Amplitude aa beitragen, erfüllt der effektive Wirkungsquerschnitt σeff=N2 σ1\sigma_{\text{eff}} = N^2\,\sigma_1 in der voll kohärenten (Vorwärts-)Richtung und σeff=N σ1\sigma_{\text{eff}} = N\,\sigma_1, wenn sich die Beiträge inkohärent addieren, wobei σ1∝∣a∣2\sigma_1 \propto |a|^2. Der kohärente Verstärkungsfaktor gegenüber dem inkohärenten Fall ist somit höchstens NN.

Beweis. Die Gesamtstreuamplitude ist die phasenbehaftete Summe A(q)=∑j=1Na eiq⋅rjA(\mathbf{q}) = \sum_{j=1}^{N} a\,e^{i\mathbf{q}\cdot\mathbf{r}_j}, wobei q\mathbf{q} der Impulsübertrag und rj\mathbf{r}_j die Zentrenpositionen sind. Der Wirkungsquerschnitt ist proportional zu ∣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}

Im Vorwärtslimes q→0\mathbf{q}\to 0 ist jede Phase eins, die Doppelsumme hat N2N^2 gleiche Terme, und ∣A∣2=N2∣a∣2|A|^2 = N^2|a|^2, was σeff=N2σ1\sigma_{\text{eff}} = N^2\sigma_1 ergibt. Sind die Phasen hingegen zufällig und unkorreliert, mitteln sich die Außerdiagonalterme zu null, es bleiben die NN Diagonalterme, also ⟨∣A∣2⟩=N∣a∣2\langle|A|^2\rangle = N|a|^2 und σeff=Nσ1\sigma_{\text{eff}} = N\sigma_1. Das Verhältnis beider ist NN, erreicht nur dort, wo die Phasen ausgerichtet sind; bei endlichem q\mathbf{q} interpoliert ein Formfaktor 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 zwischen ihnen. ■\blacksquare

Die Verstärkung ist somit real, aber beschränkt: sie kann einen Pro-Teilchen-Wirkungsquerschnitt um höchstens einen Faktor NN heben, und nur innerhalb des Kohärenzfensters, das F(q)F(\mathbf{q}) setzt. Das ist der quantitative Gehalt hinter dem N2N^2-Gesetz.

Lemma 2 — Kein Nettostrom im Gleichgewicht

Aussage. Ein System im thermischen Gleichgewicht erzeugt keinen gerichteten stationären Strom: ⟨J⟩eq=0\langle J\rangle_{\text{eq}} = 0. Folglich verschwindet die Netto-Wandlungseffizienz ηconv\eta_{\text{conv}} im Gleichgewicht, und jeder von null verschiedene Output erfordert einen Nichtgleichgewichts-Antrieb.

Beweis. Sei P(x→x′)P(x\to x') die Übergangsrate zwischen Mikrozuständen. Die detaillierte Bilanz bei Temperatur TT verlangt

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}

mit ρeq(x)∝e−βE(x)\rho_{\text{eq}}(x)\propto e^{-\beta E(x)}. Der stationäre Strom zu einer antisymmetrischen Observablen ϕ(x,x′)=−ϕ(x′,x)\phi(x,x') = -\phi(x',x) ist 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]. Nach (2) ist die Klammer Term für Term null, also J=0J=0. Äquivalent legt das Fluktuations-Dissipations-Theorem das Gleichgewichts-Fluktuationsspektrum auf die dissipative Antwort bei demselben TT fest, sodass kein Überschuss zum Gleichrichten bleibt. ■\blacksquare

Das ist der präzise Sinn, in dem das Rahmenwerk keine Perpetuum-mobile-Maschine beschreibt: im Gleichgewicht liefert es exakt null, und es ist nur für offene, fern vom Gleichgewicht gehaltene Systeme definiert (Offene thermodynamische Systeme).

Lemma 3 — Gerichteter Output erfordert gebrochene Symmetrie

Aussage (Curie-Prinzip). Sind die Dynamik und der Antrieb eines Systems invariant unter Rauminversion r→−r\mathbf{r}\to-\mathbf{r}, so verschwindet der stationäre gerichtete Strom, ⟨J⟩=0\langle\mathbf{J}\rangle = 0. Ein von null verschiedener gerichteter Strom erfordert daher gebrochene Inversionssymmetrie.

Beweis. Sei P\mathcal{P} die Rauminversion. Der Strom ist ein polarer Vektor, PJ=−J\mathcal{P}\mathbf{J} = -\mathbf{J}. Kommutiert der Erzeuger der Dynamik (Hamiltonoperator plus Antrieb und die von ihm induzierte stationäre Verteilung) mit P\mathcal{P}, so ist der Erwartungswert inversionsinvariant, ⟨J⟩=⟨PJ⟩=−⟨J⟩\langle\mathbf{J}\rangle = \langle\mathcal{P}\mathbf{J}\rangle = -\langle\mathbf{J}\rangle, woraus ⟨J⟩=0\langle\mathbf{J}\rangle = 0 folgt. Ein nicht verschwindendes ⟨J⟩\langle\mathbf{J}\rangle ist nur möglich, wenn P\mathcal{P} keine Symmetrie ist — das System muss eine strukturelle Asymmetrie (eine Ratsche) tragen. ■\blacksquare

Zusammen mit Lemma 2 ergibt das die zwei notwendigen Bedingungen für gerichteten Output: eine gebrochene Raumsymmetrie (Lemma 3) und einen Nichtgleichgewichts-Antrieb (Lemma 2). Keines allein genügt — eine Ratsche im Gleichgewicht liefert weiterhin nichts — und genau dieses Paar setzt der Gleichrichtungsfaktor in P(t)P(t) voraus (Stochastische Gleichrichtung).

Was der Anhang sichert

Die drei Lemmata sind das mathematische Rückgrat der physikalischen Geschichte des Rahmenwerks: die Verstärkung ist real, aber bei NN gedeckelt (Lemma 1); das Gleichgewicht liefert nichts, sodass kein thermodynamisches Gesetz verletzt wird (Lemma 2); und jeder gerichtete Netto-Output verlangt sowohl eine strukturelle Asymmetrie als auch einen Nichtgleichgewichts-Antrieb (Lemma 3). Keines davon ist neue Physik — es sind Standardresultate aus Streutheorie, statistischer Mechanik und Symmetrieanalyse — und das ist der Punkt: die tragenden Schritte von P(t)P(t) ruhen auf gesicherter Mathematik, während die empirischen Größenordnungen der Messung überlassen bleiben (Messung und Falsifizierbarkeit).

↑