TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/CROSSCAP-TIME-W8-TEST.txt Original file SHA-256: 7c68ae5e2f3ac6d2d9ba46bc455d01a829a0817151019d66156ca129371202bb Inclusive original lines: 191-380 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. 000191 | /||exp(-s H_exc)|Psi_lambda,L>||. (12) 000192 | 000193 | Das ist keine stationäre Zeitentwicklung, sondern euklidische 000194 | Grundzustandsfilterung. 000195 | 000196 | Für den vollen komplexen Fockraum sei m_lambda die Multiplizität im 000197 | positiven Spektralraum von B_Sigma. Dann faktorisiert der Crosscap Vektor 000198 | über alle Paare. Mit 000199 | 000200 | S_L = sum_{lambda>0} m_lambda exp(-4 L lambda) 000201 | 000202 | ist sein quadriertes Vakuumoverlap 000203 | 000204 | F_L = |<0|Psi_L>|^2 000205 | = product_{lambda>0}(1+exp(-4 L lambda))^(-m_lambda). (13) 000206 | 000207 | Aus log(1+x)<=x folgt 000208 | 000209 | 1-F_L <= 1-exp(-S_L) <= S_L, 000210 | 000211 | || |Psi_L><0| ||_1 000212 | = 2 sqrt(1-F_L) 000213 | <= 2 sqrt(S_L). (14) 000214 | 000215 | Auf dem kompakten NS Randkreis ist exp(-4 L B_+) spurklassig. Deshalb ist 000216 | S_L endlich und geht für L gegen unendlich gegen null. Gleichfalls 000217 | 000218 | E_L = sum_{lambda>0} m_lambda 000219 | 2 lambda/(exp(4 L lambda)+1) 000220 | <= 2 Tr(B_+ exp(-4 L B_+)) -> 0. (15) 000221 | 000222 | Im konkreten komplexen Rang zwei Modell auf dem Kreis der Länge zwei sind 000223 | 000224 | lambda_n = pi(n+1/2), m_lambda_n=2, 000225 | 000226 | und somit 000227 | 000228 | S_L = 2 exp(-2 pi L)/(1-exp(-4 pi L)). (16) 000229 | 000230 | Damit ist der volle Fock Grenzwert quantitativ bewiesen. 000231 | 000232 | Dieser globale Vektorzustand ist weder bei endlichem L noch im Grenzwert 000233 | treu auf B(Fock). Er ist rein und besitzt immer Projektionen ungleich null, 000234 | auf denen sein Erwartungswert null ist. Eine treue Einschränkung auf eine 000235 | lokale Typ III Algebra wäre eine zusätzliche AQFT Aussage. Sie folgt nicht 000236 | aus dem Graphprojektor oder aus (12) bis (16). 000237 | 000238 | 5. Was der Grenzwert auswählt und was er nicht auswählt 000239 | ------------------------------------------------------ 000240 | 000241 | Die Filterung (12) wählt den positiven Spektralraum des Tree Operators 000242 | B_Sigma und damit das NS Vakuum des räumlichen x Kreises auf dem 000243 | Orientierungscover. Sie wählt nicht den Quarter Hardy Zustand des offenen 000244 | Loop Kanals. 000245 | 000246 | Der Unterschied ist schon an den Markierungen sichtbar: 000247 | 000248 | Tree Kanal: 000249 | B_Sigma auf dem Länge zwei NS Kreis, 000250 | Spektrum lambda_n=pi(n+1/2), 000251 | lim_{L->infinity}|Psi_L,c> = |0_NS> unabhängig von c und b. 000252 | 000253 | Loop Kanal: 000254 | B_alpha=-i partial_x auf dem Länge eins Kreis, 000255 | exp(2 pi i alpha)=cb, 000256 | alpha=1/4 oder 3/4. 000257 | 000258 | Der Quarter Charakter bleibt in der Rand Crosscap Amplitude und in der 000259 | offenen Spektraldomäne erhalten. Er ist kein Label des normierten Tree 000260 | Vakuumlimits. Große Tree Länge entspricht beim Kanalwechsel auch nicht der 000261 | offenen Grundzustandsgrenze. Deshalb kann man das alte Quarter Hardy 000262 | Vakuum nicht durch L gegen unendlich aus (12) ableiten. 000263 | 000264 | Das engere positive Ergebnis lautet: Dieselbe Möbiusgeometrie erzeugt den 000265 | Quarter Operator im Loop Kanal und den Crosscap Graph im Tree Kanal. Ein 000266 | lokaler Sewing Isomorphismus zwischen deren CAR Netzen und Zuständen ist 000267 | weiterhin die fehlende Herkunftsrelation. 000268 | 000269 | 6. Hat das Original P1 dieses wiederholte Sewing bereits? 000270 | --------------------------------------------------------- 000271 | 000272 | Nein. Die entscheidenden Originalstellen sagen: 000273 | 000274 | * 001, Zeilen 42 bis 55: B_Sigma und P_C gehören zum einseitigen 000275 | Randdatum. Die geschlossene Struktur wird daraus behauptet. 000276 | 000277 | * 001, Zeilen 65 bis 80: D_+=gamma_n(partial_n+B_Sigma) ist die 000278 | Produktform im Kragen. 000279 | 000280 | * 001, Zeilen 302 bis 317: S_prim ist 000281 | 000282 | tr f(D_rel/chi_seed) - tr f(D_ref/chi_seed) 000283 | + i pi Delta eta_Sigma/2. 000284 | 000285 | Das ist eine relative Spektralwirkung. Die Stelle definiert weder einen 000286 | Gaußschen Schwingerfunktional noch einen Crosscap Vektor noch die Norm 000287 | einer durch den Kragen präparierten Randwellenfunktion. 000288 | 000289 | * 001, Zeilen 319 bis 342: Der physische lokale Operatornet wird erst 000290 | nach einer späteren OS Rekonstruktion auf Ran(P_adm) definiert. 000291 | 000292 | * 001, Zeilen 345 bis 350: Bernstein Profile realisieren analytisch einen 000293 | bereits festgelegten Transferkanal. Sie sollen seine Zulässigkeit nicht 000294 | erst erzeugen. 000295 | 000296 | * 002, Zeilen 103 bis 120: Der operative Seed enthält 000297 | 000298 | (A_loc,tau_t,Theta,omega,[u_Sigma],D_coll). 000299 | 000300 | Somit sind Zustand, Zeit und Kragenoperator gleichzeitig Eingaben. 000301 | 000302 | * 002, Zeilen 122 bis 143: Der kurze Beweisentwurf sagt, dass 000303 | Reflexionspositivität und positives Zeitnetz den OS Hilbertraum 000304 | rekonstruieren und D_coll den B_Sigma Operator bestimmt. Er identifiziert 000305 | den OS Transferoperator nicht mit dGamma(|B_Sigma|). 000306 | 000307 | In den einschlägigen Originalabschnitten gibt es keine Axiomformel für die 000308 | Komposition zweier Kragen, keine Gleichung tau_s=exp(-s dGamma(|B_Sigma|)) 000309 | und keine Gleichung omega=omega_P_C. Clustering ist eine Eigenschaft des 000310 | bereits eingesetzten omega. Es beweist diese fehlenden Identitäten nicht. 000311 | 000312 | Ein späterer Forschungscontract sagt korrekt, dass OS Rekonstruktion aus 000313 | einem gegebenen reflexionspositiven Zustand einen kanonischen Transfer 000314 | T=exp(-H) liefert. Derselbe Contract hält aber die Identifikation seiner 000315 | vollen L2 Dynamik mit der geometrischen Nahtenergie als offene 000316 | Bisognano Wichmann Bedingung fest. Das füllt die Lücke des Originals nicht. 000317 | 000318 | Damit ist (12) im flachen Crosscap Modell ein bewiesener geometrischer 000319 | Semigruppenpfad. Ihn als ursprüngliche P1 Zeit zu verwenden verlangt genau 000320 | eine neue, klar lokalisierte Identität: 000321 | 000322 | T_s^(OS,P1) = exp(-s H_exc) 000323 | auf dem rekonstruierten zyklischen OS Hilbertraum, 000324 | 000325 | omega_P1 = der aus P_C,c(L) erzeugte Crosscap Zustand. (17) 000326 | 000327 | Hier ist T_s der positive euklidische Transfer und H_exc der positive 000328 | Anregungshamiltonian nach der Teilchen Loch Konstruktion. exp(-s H_exc) 000329 | ist keine reelle Zeitautomorphie der Algebra. Eine rekonstruierte reelle 000330 | Zeit wirkt gegebenenfalls durch Ad(exp(i t H_exc)). Die nichtstationaere 000331 | endliche Crosscap Praeparation darf bei festem H_exc nicht als dessen 000332 | invarianter Vakuumzustand bezeichnet werden. Ohne die tatsaechlichen 000333 | Quellen und Zeitabbildungen darf man weder den Fock Grenzwert noch dessen 000334 | Vakuum als P1 Zustand ausgeben. 000335 | 000336 | 7. Unabhängiger Referee Test des normalen Flips 000337 | ----------------------------------------------- 000338 | 000339 | Setze 000340 | 000341 | D = -i(sigma_1 partial_x + sigma_2 partial_w), 000342 | (R_w psi)(x,w)=psi(x,-w). 000343 | 000344 | Zwei lineare Abbildungen müssen getrennt werden. 000345 | 000346 | Erstens ist der geometrische Pin Lift 000347 | 000348 | S_w = sigma_1 R_w. (18) 000349 | 000350 | Aus R_w partial_w=-partial_w R_w und den Pauli Relationen folgt direkt 000351 | 000352 | S_w D = D S_w, S_w^2=1. (19) 000353 | 000354 | Falls psi(x+1,-w)=c sigma_1 psi(x,w) und sigma_1 psi=b psi am physischen 000355 | Rand, dann erfüllt S_w psi dieselben beiden Bedingungen. Also 000356 | 000357 | S_w : Dom(D_c,b) -> Dom(D_c,b). (20) 000358 | 000359 | Der Operator sigma_1 R_w ist daher eine domänenerhaltende Symmetrie. Er 000360 | ist nicht die Abbildung (b,c)->(-b,-c). 000361 | 000362 | Zweitens sei gamma_w=i sigma_2 die normale Cliffordmultiplikation und 000363 | 000364 | N_w = gamma_w R_w. (21) 000365 | 000366 | R_w allein erhält die beiden Label. gamma_w antikommutiert mit sigma_1. 000367 | Daher 000368 | 000369 | N_w : Dom(D_c,b) -> Dom(D_-c,-b). (22) 000370 | 000371 | Außerdem ergibt die explizite Konjugation 000372 | 000373 | R_w D R_w^-1 = -i(sigma_1 partial_x-sigma_2 partial_w), 000374 | 000375 | gamma_w sigma_1 gamma_w^-1=-sigma_1, 000376 | gamma_w sigma_2 gamma_w^-1= sigma_2, 000377 | 000378 | und somit 000379 | 000380 | D_-c,-b N_w = -N_w D_c,b. (23)