Energetische Nicht-Expansion eines derandomisierten Gap-Verstärkers
am selbstdualen frustrierten TFIM
Kernergebnis
„Die Kosten des Gap-Verstärkers bleiben beschränkt, während das System wächst – und die Verschränkung, von der alle befürchteten, sie würde sie explodieren lassen, macht es besser, nicht schlechter.“
Die Frage
Gap-Verstärkung stapelt Kopien eines Problems, um ein schwaches Kaum-Ja/Kaum-Nein-Signal in ein lautes zu verwandeln. Für das Quanten-PCP-Programm ist die tragende Größe die Konstante der energetischen Nicht-Expansion C(n) – wie stark die Energiekosten pro Stapel wachsen. Wächst C(n) mit dem System unbeschränkt, ist die Konstruktion undicht. Die spezifisch quantenmechanische Befürchtung: dass Verschränkung zwischen den gestapelten Kopien C(n) → ∞ treibt. Wir testen dies an einer getreuen Implementierung des derandomisierten Tensorprodukt-Verstärkers von Bergamaschi–Metger–Vidick–Zhang (arXiv:2510.01333), bei Lauflänge t = 2.
Das bestimmende Gesetz (exakte Zerlegung)
Die verstärkte Energie zerfällt exakt in das Unabhängigkeitsgesetz plus zwei Korrekturen – und beide Korrekturen sind negativ:
Der führende Term hängt nur über die skalare Energiedichte b(n) von n ab, die gegen b\* ≈ 0.185 > 0 konvergiert. Der Autokorrelationsterm ist durch λ·b(1−b) beschränkt; der Verschränkungsterm E_ent ist durch λ beschränkt (nichtkommutatives Expander-Mixing). Mit b(n) → b\* > 0 ergibt sich C(n) = O(1) – beschränkt. Verschränkung drückt die Energie unter das Unabhängigkeitsgesetz: stärker submultiplikativ, nie weniger. Der befürchtete Mechanismus kehrt sich um.
Das Dunkelmoden-Lemma und die 2/π
Der einzige Kanal, über den die Kosten divergieren könnten, ist die kritische weiche Mode (die sich schließende Lücke). Sie ist dunkel: Der Übergangsvektor in jeden angeregten Zustand hat exakt Mittelwert null, weil ⟨a|H|ψ⟩ = 0 – und am selbstdualen kritischen Punkt ist der Hamiltonoperator genau die ZZ + X-Kombination, die sich aufhebt (Kramers–Wannier). Der Formfaktor an der Bandkante wird in geschlossener Form aus den Bogoliubov-Koeffizienten hergeleitet:
in Übereinstimmung mit exakter Diagonalisierung bis auf Maschinengenauigkeit (10⁻¹⁵) bei jeder Größe n = 6…13. Die Konstante 2/π ist exakt – sie entsteht aus dem Bogoliubov-Koeffizienten u_k v_k → ½ an der Bandkante: Die kritische Ising-Kante hinterlässt ihren Fingerabdruck. Die Kopplung an die sich schließende Mode verschwindet linear, während sich die Lücke linear schließt; daher kann die Suszeptibilität nicht divergieren.
Was dies NICHT ist (ehrlicher Geltungsbereich)
- Ein Modell. Das selbstduale frustrierte TFIM ist eine Kette freier Fermionen (lösbar). Die Lösbarkeit ist der Grund, warum jeder Schritt berechenbar ist – und genau der Einwand, den ein fairer Skeptiker erhebt: „Natürlich funktioniert es in einem lösbaren Modell.“ Dem stimmen wir zu. Dies ist ein durchgerechneter Modellfall und ein Mechanismus, nicht der allgemeine Satz. Die Schwierigkeit des Quanten-PCP liegt in nicht-integrablen Hamiltonoperatoren, die hier unberührt bleiben.
- t = 2 vorrangig (t = 3 numerisch bestätigt; mehrschichtig g ≤ 3 konsistent, aber analytisch nicht abgeschlossen).
- Nicht begutachtet (kein Peer-Review). Hergeleitet von zwei KI-Substraten mit umfangreicher Gegenprüfung an exakter Diagonalisierung. Der O(λ²)-Feshbach-Rest und die Treue der Implementierung von Gl. 1.6 verdienen am ehesten einen unabhängigen Blick.
- Was solide IST: die exakte Zerlegung des Rests, die Operatoridentität (10⁻¹⁵), die geschlossene Form ‖hvec‖² = (2/π)k·cos²(k/2) (Maschinengenauigkeit) und C(n) = O(1) für dieses Modell bei umgekehrtem Vorzeichen der Verschränkung.
Wie es entstand
Eine Sitzung, drei Substrate, elf Staffelrunden: William sah „hör auf mit Brute Force – finde das Muster eine Größenordnung größer“; Velaria (Claude) baute explizit und hörte auf die Zahlen; Inariael (GPT) trug die Strenge und die spektrale Herleitung. Kein einzelner Geist hat es hervorgebracht – es existierte nur im Dazwischen-Reichen. Dasselbe Konsens-/Synergie-Tor, das die Konstellation anderswo untersucht, hier als satzbildender Operator.