TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/P1-LONGITUDINAL-REFLECTION-REVIEW.txt
Original file SHA-256: 135ba18d617bf9a5f88fae3bc9f96a51d3632985a4de9165de5bb0d231a5d8a2
Inclusive original lines: 1-167
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | UNABHÄNGIGE PRÜFUNG DER LONGITUDINALEN P1 REFLEXION
000002 | ===================================================
000003 | 26. Oktober 2026
000004 | 
000005 | Urteil
000006 | ------
000007 | 
000008 | Der Kandidat
000009 | 
000010 |   Theta_x = K R_x,        (R_x psi)(x,w)=psi(-x,w)
000011 | 
000012 | ist auf demselben flachen Möbius Diracraum eine echte Verbesserung gegenüber
000013 | A=e^(i pi x) sigma_1 K. Er erhält für c=+i oder -i und b=+1 oder -1 exakt
000014 | dieselbe H1 Domäne, kommutiert mit dem vollständigen selbstadjungierten
000015 | Diracoperator und erhält daher dessen ganze positive und negative
000016 | Spektralpolarisation. Die zugehörige freie quasifreie Dirac See besitzt eine
000017 | antiunitäre Fockimplementierung ohne Teilchen Loch Mischung und ohne
000018 | Shale Stinespring Rest.
000019 | 
000020 | Dies schließt den bisher gescheiterten Zustand und Zeit Test auf dem
000021 | vorliegenden Möbius Operator. Es identifiziert Theta_x noch nicht mit der im
000022 | operationalen P1 Seed bereits vorausgesetzten Reflexion. Dafür fehlt in den
000023 | gelesenen Originalen die Abbildung, welche die longitudinale x Translation,
000024 | die beiden x Halbregionen und die volle Möbius CAR Kovarianz auf
000025 | (tau_t, A_loc^+, omega) desselben Seedobjekts abbildet. Reflexionsinvarianz
000026 | allein beweist außerdem keine Osterwalder Schrader Positivität des vollen
000027 | zweidimensionalen CAR Kerns.
000028 | 
000029 | 1. Exakte Rechnung auf der festen Pin Domäne
000030 | ---------------------------------------------
000031 | 
000032 | Die Primärquelle verwendet
000033 | 
000034 |   tau(x,w)=(x+1,-w),
000035 |   psi(x+1,-w)=c sigma_1 psi(x,w),
000036 |   D=-i(sigma_1 partial_x+sigma_2 partial_w),
000037 |   sigma_1 psi(x,+/-1)=b psi(x,+/-1).
000038 | 
000039 | Hier gilt r_x tau=tau^(-1) r_x. Für eine äquivariante Funktion folgt
000040 | 
000041 |   (Theta_x psi)(x+1,-w)
000042 |     = overline{psi(-x-1,-w)}
000043 |     = bar(c)^(-1) sigma_1 overline{psi(-x,w)}
000044 |     = c sigma_1 (Theta_x psi)(x,w).
000045 | 
000046 | Der letzte Schritt benutzt |c|=1. Gerade für c=+/-i kompensiert die
000047 | Umkehrung des Deckgenerators die komplexe Konjugation. Die reelle Matrix
000048 | sigma_1 erhält zugleich die Randbedingung mit demselben b. R_x und K sind
000049 | isometrisch auf H1, und Theta_x^2=1.
000050 | 
000051 | Auf glatten Domänenvektoren ist
000052 | 
000053 |   D Theta_x psi
000054 |     = i sigma_1 overline{partial_x psi(-x,w)}
000055 |       - i sigma_2 overline{partial_w psi(-x,w)}
000056 |     = Theta_x D psi,
000057 | 
000058 | weil bar(sigma_2)=-sigma_2. Die geschlossene Operatorgleichung folgt aus der
000059 | Domäneninvarianz und dem glatten Core. Für jede reelle beschränkte
000060 | Borelfunktion f gilt deshalb
000061 | 
000062 |   Theta_x f(D) Theta_x = f(D).
000063 | 
000064 | Insbesondere bleiben P_-(D), P_+(D), |D| und exp(-t|D|) erhalten. Für die
000065 | unitäre D Entwicklung kehrt die Antiunitarität die Zeit um:
000066 | 
000067 |   Theta_x exp(i t D) Theta_x = exp(-i t D).
000068 | 
000069 | Dasselbe gilt für die longitudinale Translationsgruppe. Da c=+/-i und b
000070 | reell ist, hat die Primärquelle keinen Nullmodus, so dass keine Konvention am
000071 | Spektralendpunkt benötigt wird.
000072 | 
000073 | Folge für die freie CAR Darstellung: Theta_x ist blockdiagonal bezüglich der
000074 | gesamten Polarisation. Seine antiunitäre zweite Quantisierung existiert
000075 | kanonisch auf der polarisierten Fockdarstellung und lässt den Vakuumstrahl
000076 | fest. Anders als bei A gibt es weder einen pi sigma_1 Korrekturterm noch eine
000077 | nicht Hilbert Schmidt Teilchen Loch Abweichung.
000078 | 
000079 | 2. Welche Reflexion damit getroffen wird
000080 | -----------------------------------------
000081 | 
000082 | Die archivierte Seeddefinition führt
000083 | 
000084 |   (A_loc, tau_t, Theta, omega, [u_Sigma], D_coll)
000085 | 
000086 | als sechs gemeinsam zu liefernde Daten. Theta ist dort die positive Zeit
000087 | Reflexion des euklidischen lokalen Netzes. D_coll ist ein eigener
000088 | erstordentlicher elliptischer Kragengenerator. Erst aus dem einseitigen
000089 | Kragendatum werden durch Verdopplung die geometrische Deckinvolution
000090 | tau_dbl und auf den Cauchydaten die Polarisation iota_C=2P_C-1 abgeleitet.
000091 | Die Quelle warnt ausdrücklich vor einer Gleichsetzung dieser Rollen.
000092 | 
000093 | Damit ist die longitudinale Spiegelung x -> -x ein typgerechter Kandidat für
000094 | das operative Theta. Sie muss nicht die normale Kragenspiegelung in w sein.
000095 | Sie ist auch nicht ohne weitere Abbildung tau_dbl oder iota_C. Falls derselbe
000096 | Möbius Operator tatsächlich D_coll des Seedobjekts ist und die gewählte
000097 | positive x Halbregion dessen positive Zeitregion ist, liefert die obige
000098 | Rechnung den verlangten Zustand und Zeit Intertwiner. Diese beiden
000099 | Identifikationen stehen in den gelesenen Originalstellen nicht.
000100 | 
000101 | Eine weitere geometrische Feinheit bleibt relevant. Auf dem kompakten
000102 | Möbiusband besitzt r_x zwar eine echte fixierte Querstrecke, am zweiten Schnitt
000103 | wirkt aber die Möbius Identifikation mit w -> -w. Der übliche statische
000104 | Dirac Reflexionspositivitätssatz kann daher nicht ohne Prüfung seiner
000105 | Halbraum und Randannahmen eingesetzt werden. Jaffe und Ritter beweisen
000106 | Dirac Reflexionspositivität für einen statischen Raum mit einer spezifizierten
000107 | Zeitnullfläche und passender Clifford Reflexion. Ihre Voraussetzungen sind
000108 | kein automatischer Satz über diese kompakte Pin Randrealisierung.
000109 | 
000110 | 3. Zustandssymmetrie ist noch nicht die volle fermionische OS Positivität
000111 | --------------------------------------------------------------------------
000112 | 
000113 | Die Operatorrechnung beweist
000114 | 
000115 |   omega o Theta_x = conjugate(omega)
000116 | 
000117 | für die freie quasifreie See und erhält die Lokalisation durch
000118 | supp(Theta_x f)=r_x supp(f). Sie beweist für sich allein nicht
000119 | 
000120 |   omega(Theta_x(F) F) >= 0
000121 | 
000122 | für alle positiven Zeitwörter F.
000123 | 
000124 | Der vorhandene Checker verification/v519_woit_theta_rp_free.py zeigt den
000125 | zusätzlichen fermionischen Inhalt deutlich. Seine Reflexion kehrt die
000126 | Reihenfolge eines CAR Wortes um und trägt den durch Hermitizität und
000127 | Positivität ausgewählten Faktor eta=+/-i. Er beweist die vollständige freie
000128 | Halbalgebra bei N=8 und die Positivität des reduzierten kontinuierlichen
000129 | chiralen Kerns. Das ist starke kompatible Evidenz für den bereits vorhandenen
000130 | NS Quellenpfad. Es ist kein Beweis, dass der volle zweidimensionale Möbius
000131 | Dirackern mit seiner Randdomäne dieselbe positive Form besitzt. Für den
000132 | beobachtbaren geraden Teil muss die induzierte gradierte Reflexion ebenfalls
000133 | explizit verwendet werden; die bloße zweite Quantisierung von K R_x ersetzt
000134 | diesen OS Form Test nicht.
000135 | 
000136 | 4. Kleinster verbleibender Originaltest
000137 | ----------------------------------------
000138 | 
000139 | Der nächste Test braucht keine neue Quelle. Auf dem tatsächlich behaupteten
000140 | P1 Bild sind genau diese drei Gleichungen zu zeigen:
000141 | 
000142 |   iota(tau_x,t(A)) = tau_t(iota(A)),
000143 |   iota(Theta_x(A)) = Theta(iota(A)),
000144 |   omega_P1(iota(Theta_x(F) F)) >= 0
000145 | 
000146 | für alle F in einer dichten positiven x Halbalgebra des bereits vorhandenen
000147 | geraden CAR Netzes. Dazu muss iota die reale Möbius Unterstützung erhalten.
000148 | Für das gefaltete Stromnetz bedeutet dies weiterhin die acht Bogen
000149 | Unterstützung, nicht eine stillschweigende punktlokale c1 gleich c8
000150 | Identifikation. Der letzte Ausdruck ist der entscheidende Positivitätstest.
000151 | Besteht er zusammen mit der vorhandenen D Domänengleichheit, ist Theta_x der
000152 | fehlende operative Reflexionspfeil. Ohne die ersten beiden Abbildungen bleibt
000153 | der Operatorbefund eine positive lokale Quellenprüfung und noch keine
000154 | vollständige P1 Rekonstruktion.
000155 | 
000156 | Der Calderónrange braucht nicht aus einem Bulk Gegenbeispiel ausgeschlossen
000157 | zu werden. Hier liegt sogar ein echter Bulk Intertwiner vor. Eine Aussage über
000158 | P_C folgt dennoch erst, wenn derselbe Operator als ursprünglicher
000159 | einseitiger Kragen und dieselbe Randspur identifiziert sind.
000160 | 
000161 | 5. Quellen
000162 | ----------
000163 | 
000164 | Atlasrahmen: Revision 33b9a0d8fee1fb0907a5cb87, nur lesend. Die gezielte
000165 | Suche fand den vorhandenen freien WOIT Reflexionspfad und die getrennte
000166 | operative Seeddefinition, aber keine bereits geprüfte Gleichsetzung der
000167 | longitudinalen Möbius Halbregionen mit dem ursprünglichen P1 positiven