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).
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 identische Streuzentren, die je die Amplitude beitragen, erfüllt der effektive Wirkungsquerschnitt in der voll kohärenten (Vorwärts-)Richtung und , wenn sich die Beiträge inkohärent addieren, wobei . Der kohärente Verstärkungsfaktor gegenüber dem inkohärenten Fall ist somit höchstens .
Beweis. Die Gesamtstreuamplitude ist die phasenbehaftete Summe , wobei der Impulsübertrag und die Zentrenpositionen sind. Der Wirkungsquerschnitt ist proportional zu :
Im Vorwärtslimes ist jede Phase eins, die Doppelsumme hat gleiche Terme, und , was ergibt. Sind die Phasen hingegen zufällig und unkorreliert, mitteln sich die Außerdiagonalterme zu null, es bleiben die Diagonalterme, also und . Das Verhältnis beider ist , erreicht nur dort, wo die Phasen ausgerichtet sind; bei endlichem interpoliert ein Formfaktor zwischen ihnen.
Die Verstärkung ist somit real, aber beschränkt: sie kann einen Pro-Teilchen-Wirkungsquerschnitt um höchstens einen Faktor heben, und nur innerhalb des Kohärenzfensters, das setzt. Das ist der quantitative Gehalt hinter dem -Gesetz.
Lemma 2 — Kein Nettostrom im Gleichgewicht
Aussage. Ein System im thermischen Gleichgewicht erzeugt keinen gerichteten stationären Strom: . Folglich verschwindet die Netto-Wandlungseffizienz im Gleichgewicht, und jeder von null verschiedene Output erfordert einen Nichtgleichgewichts-Antrieb.
Beweis. Sei die Übergangsrate zwischen Mikrozuständen. Die detaillierte Bilanz bei Temperatur verlangt
mit . Der stationäre Strom zu einer antisymmetrischen Observablen ist . Nach (2) ist die Klammer Term für Term null, also . Äquivalent legt das Fluktuations-Dissipations-Theorem das Gleichgewichts-Fluktuationsspektrum auf die dissipative Antwort bei demselben fest, sodass kein Überschuss zum Gleichrichten bleibt.
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 , so verschwindet der stationäre gerichtete Strom, . Ein von null verschiedener gerichteter Strom erfordert daher gebrochene Inversionssymmetrie.
Beweis. Sei die Rauminversion. Der Strom ist ein polarer Vektor, . Kommutiert der Erzeuger der Dynamik (Hamiltonoperator plus Antrieb und die von ihm induzierte stationäre Verteilung) mit , so ist der Erwartungswert inversionsinvariant, , woraus folgt. Ein nicht verschwindendes ist nur möglich, wenn keine Symmetrie ist — das System muss eine strukturelle Asymmetrie (eine Ratsche) tragen.
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 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 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 ruhen auf gesicherter Mathematik, während die empirischen Größenordnungen der Messung überlassen bleiben (Messung und Falsifizierbarkeit).