TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/NS-COVER-GREEN-RP-INDEPENDENT-REVIEW.txt
Original file SHA-256: 3579d118cdaf036aed24ab5ee20bdc2889023a49b9a44efaebc3dce14b46d01a
Inclusive original lines: 1-199
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 GREEN POSITIVITÄT AUF DEM NS ORIENTIERUNGSCOVER
000002 | ============================================================================
000003 | 26. Oktober 2026
000004 | 
000005 | Urteil
000006 | ------
000007 | 
000008 | Der positive Covermechanismus ist mathematisch tragfähig. Auf dem bereits
000009 | durch den Pin minus Lift gegebenen antiperiodischen Längencover ist die freie
000010 | Green Kovarianz reflexionspositiv, einschließlich aller transversalen Moden.
000011 | Die lineare Cliffordreflexion vertauscht dabei zwingend die beiden
000012 | Decksektoren c=+i und c=-i. Genau deshalb widerspricht dieses Resultat nicht
000013 | dem zuvor bewiesenen Scheitern jedes einzelnen festen Quartersektors.
000014 | 
000015 | Abschnitt 3 von NS-COVER-FULL-DIRAC-RP.txt enthält inzwischen die nötige
000016 | Vorzeichen und Ladungspräzisierung. Der zuerst faktorisierte Kern -S(-t-s)
000017 | ist einer der beiden geladenen Blöcke. Der Text nennt nun auch den
000018 | komplementären Block S(t+s), die genaue Feldreflexion und das globale Minus
000019 | der gewählten Quellenordnung. Er behauptet ausdrücklich keine Positivität
000020 | der nackten Wahl +sigma1 R_x mal slashD^-1. Damit ist die ursprünglich
000021 | offene Textstelle geschlossen.
000022 | 
000023 | 1. Randoperator und vollständiges Spektrum
000024 | -------------------------------------------
000025 | 
000026 | Aus
000027 | 
000028 |   D=-i sigma1 partial_x-i sigma2 partial_w
000029 | 
000030 | folgt exakt
000031 | 
000032 |   L=i sigma1 D=partial_x+H,      H=i sigma3 partial_w.
000033 | 
000034 | Die Domäne von H besteht aus H1 Spinoren mit
000035 | 
000036 |   sigma1 phi(+/-1)=b phi(+/-1),      b=+/-1.
000037 | 
000038 | Die Randform ist i[phi* sigma3 psi]_-1^1. Die jeweilige sigma1
000039 | Eigenlinie ist maximal isotrop für sigma3. Damit ist H selbstadjungiert.
000040 | Die Lösungen
000041 | 
000042 |   phi_n(w)=exp[-i (n pi/2) sigma3 (w+1)] v_b,
000043 |   sigma1 v_b=b v_b
000044 | 
000045 | erfüllen beide Randbedingungen. Sie liefern jede Eigenzahl n pi/2 genau
000046 | einmal, n in Z. Der Nullmodus v_b ist also einfach. Dies bestätigt die im
000047 | Hauptbeweis verwendete Spektralzerlegung ohne endlichen Modenansatz.
000048 | 
000049 | Für J=sigma1 R_w gilt [H,J]=0. Auf dem antiperiodischen Cover mit
000050 | T_2=-I ist
000051 | 
000052 |   A=J T_1,       A^2=-I,
000053 | 
000054 | und die eigentlichen Möbiusräume sind die orthogonalen A Eigenräume zu
000055 | +i und -i. Die Projektoren (I-iA)/2 und (I+iA)/2 sind daher richtig.
000056 | 
000057 | 2. Green Kern und Gramfaktorisierung
000058 | -------------------------------------
000059 | 
000060 | Die beiden Zweige
000061 | 
000062 |   S(t)=exp(-tH)(I+exp(-2H))^-1,                  0<t<2,
000063 |   S(t)=-exp(-(t+2)H)(I+exp(-2H))^-1,            -2<t<0,
000064 | 
000065 | haben Sprung I bei null und erfüllen S(t+2)=-S(t). Somit ist S der
000066 | Inverse von partial_x+H mit der vorhandenen NS Randbedingung. Für
000067 | 0<t,s<1 folgt
000068 | 
000069 |   K_bar(t,s)=-S(-t-s)
000070 |             =exp((t+s)H)(I+exp(2H))^-1
000071 |             =B_t* B_s,
000072 | 
000073 |   B_t=exp(tH)(I+exp(2H))^-1/2.
000074 | 
000075 | Die Spektralmultiplikatoren B_t sind beschränkt und haben Norm höchstens
000076 | eins. Dies beweist die Einteilchenpositivität für alle Energien und alle
000077 | Superpositionen.
000078 | 
000079 | Für die konjugierte Ladung ist der ergänzende Kern ebenso nötig und ebenso
000080 | positiv:
000081 | 
000082 |   K_psi(t,s)=S(t+s)
000083 |             =exp((2-t-s)H)(I+exp(2H))^-1
000084 |             =Btilde_t* Btilde_s,
000085 | 
000086 |   Btilde_t=exp((1-t)H)(I+exp(2H))^-1/2.
000087 | 
000088 | Auch Btilde_t ist für 0<t<1 beschränkt. In der L normalisierten
000089 | Grassmannkonvention kann man die feldalgebraische Reflexion als
000090 | 
000091 |   Theta psi(t,f)=-barpsi(-t,f),
000092 |   Theta barpsi(t,f)=-psi(-t,f)
000093 | 
000094 | schreiben, jeweils mit der räumlichen Cliffordwirkung auf f, antilinearer
000095 | Skalarkonjugation und Umkehr der Wortreihenfolge. Dann sind die beiden
000096 | reflektierten Zweipunktformen gerade K_psi und K_bar. Normalgeordnete
000097 | Monome liefern die zugehörigen äußeren Gramdeterminanten. Wickentwicklung
000098 | und der im Haupttext angegebene endliche Gibbsgrenzwert erweitern die Form
000099 | auf die volle polynomiale CAR Algebra.
000100 | 
000101 | Das Minus in K_bar ist unverzichtbar. Für slashD=iD gilt
000102 | 
000103 |   slashD=sigma1 L,       slashD^-1=S sigma1.
000104 | 
000105 | Die lineare geometrische Cliffordabbildung sigma1 R_x liefert die richtige
000106 | Sektorvertauschung, aber in der hier gewählten Quellen und Wortordnung muss
000107 | die reflektierte Green Form zusätzlich das obige globale Minus tragen.
000108 | Eine äquivalente umgekehrte Ladungs oder Quellenordnung verschiebt dieses
000109 | Minus in die Definition von Theta. Der aktualisierte Hauptbeweis hält diese
000110 | Unterscheidung nun ausdrücklich fest.
000111 | 
000112 | 3. Decksektoren und der alte neutrale Gegenzeuge
000113 | -------------------------------------------------
000114 | 
000115 | Für R=sigma1 R_x gilt auf dem NS Cover
000116 | 
000117 |   R A R=-A,
000118 | 
000119 | weil R_x T_1 R_x=T_-1=-T_1. Somit vertauscht R die beiden A Eigenräume.
000120 | Die volle positive Green Form ist deshalb eine gepaarte Form zwischen den
000121 | Quartersektoren. Sie ist keine positive Form auf einem einzelnen Sektor.
000122 | 
000123 | Die antiunitäre Symmetrie K R_x hat eine andere Aufgabe. Im Deckbasisbild
000124 | kompensiert ihre Skalarkonjugation die Sektorvertauschung, so dass jeder
000125 | feste Pin Raum erhalten bleibt. Das beweist Zustandsinvarianz der D See,
000126 | aber nicht die Green Positivität des einzelnen Quarterkerns.
000127 | 
000128 | Auf dem H Nullmodus ergibt die normalisierte Deckzerlegung exakt
000129 | 
000130 |   (G_i+G_-i)/2=+1/2       auf 0<s<2,
000131 |   (G_i+G_-i)/2=-1/2       auf -2<s<0.
000132 | 
000133 | Der alte neutrale Zahlzeuge mit komplexer Besetzung 1/(1-q) war daher
000134 | korrekt für die isolierte q gedrehte Spur. Er transportiert nicht als
000135 | isoliertes OS Quadrat in den Coverzustand: Die lineare Feldreflexion sendet
000136 | den +i Deckraum in den -i Deckraum. Die beiden imaginären Spureinsetzungen
000137 | sind dort keine zwei selbständigen Zustände. Ihre Deckprojektionen gehören
000138 | zu einer einzigen gewöhnlichen NS KMS Kovarianz, deren Nullmodenwert 1/2
000139 | ist. Die CAR Wortumkehr erhält die Reihenfolgezeichen und koppelt stets die
000140 | konjugierten Deckblöcke. Damit verschwindet der frühere Gegenzeuge genau
000141 | dort, wo die vollständige Coverreflexion definiert ist.
000142 | 
000143 | 4. Physischer Geltungsbereich
000144 | ------------------------------
000145 | 
000146 | Bewiesen ist die Reflexionspositivität des vorausgesetzten freien geladenen
000147 | Gaussian Feldes auf dem tatsächlichen Orientierungscover mit x als
000148 | euklidischer Zeit, räumlichem Operator H und
000149 | 
000150 |   C=(I+exp(2H))^-1.
000151 | 
000152 | Diese Kovarianz ist keine Projektion. Sie ist weder sign(D) auf dem
000153 | zweidimensionalen Raum noch der Hardy Seezustand der alten Quarterkreis
000154 | Quelle. Das Resultat liefert deshalb noch keine P1 Abbildung und keinen
000155 | Transport des früheren W8 Zustands. Dafür bleibt eine einzige gemeinsame
000156 | Quellenabbildung zu zeigen, welche Feldalgebra, reale Unterstützung, Zeit,
000157 | Zustand, Reflexion sowie Kragen und Referenzdaten erhält.
000158 | 
000159 | Der Vergleich mit Jaffe und Ritter rechtfertigt die Cliffordstruktur und
000160 | die Form des Green Positivitätstests. Er ist kein direkt übernommener Satz
000161 | für diesen kompakten Randoperator. Der vorliegende Spektralbeweis leistet
000162 | genau diese zusätzliche Rand und Coverprüfung.
000163 | 
000164 | 5. Unabhängige Reproduktion
000165 | ----------------------------
000166 | 
000167 | check_ns_cover_dirac_rp.py wurde zunächst unabhängig normal und mit -OO nach
000168 | /tmp ausgeführt. Nach der Reviewkorrektur ergänzt der gespeicherte Checker
000169 | nun zusätzlich die zweite Ladungsfaktorisierung als exakte Identität für
000170 | alle reellen Energien. Seine aktuellen normalen und -OO Ausgaben sind
000171 | bytegleich:
000172 | 
000173 |   d1844d0c16d7868f38ab2342f3568b53d1d59c3fa56552a0db33815127101862
000174 | 
000175 | Der Checker bestätigt Green Sprung, NS Antiperiodizität, die erste
000176 | Gramfaktorisierung, beide Randzeichen, transversale Eigenfunktionen,
000177 | Deckprojektoren, beide Ladungsfaktorisierungen und die Nullmodenpaarung.
000178 | 
000179 | Quellen:
000180 | 
000181 | * A. Chakraborty, Pin Equivariance and Local Dirac Boundary Problems on the
000182 |   Flat Moebius Band, arXiv:2610.03745v1, Abschnitte 6 und 8:
000183 |   https://arxiv.org/html/2610.03745v1
000184 | * A. Jaffe und G. Ritter, Reflection Positivity and Monotonicity,
000185 |   arXiv:0705.0712v2, Abschnitt 4.2:
000186 |   https://arxiv.org/html/0705.0712v2
000187 | 
000188 | Endurteil:
000189 | 
000190 |   ACCEPTED. DIE EXPLIZITE FELDVORZEICHENKONVENTION IST EINGEARBEITET.
000191 | 
000192 |   PROVED: vollständige freie NS Cover Green Positivität und notwendige
000193 |   Vertauschung der beiden Quartersektoren.
000194 | 
000195 |   INCORPORATED: beide Ladungskerne und das globale Minus der gewählten
000196 |   Green Wortordnung stehen jetzt ausdrücklich im Haupttext und Checker.
000197 | 
000198 |   OPEN: Identifikation dieses Coverzustands mit demselben ursprünglichen
000199 |   P1 Seed und mit der alten Quarter W8 Quelle.