TFPT scientific source excerpt Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/FULL-SOURCE-ACTION-HISTORY.txt Original file SHA-256: 5bd3c07c0a4c21f6fe25009b2b687ee88590959d425849903c2e67d572ca4d97 Inclusive original lines: 401-600 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. 000401 | seine Domain und sein Bezug zu B_alpha werden dort nicht definiert. 000402 | 000403 | Noch entscheidender ist der Operatortyp. Die rank eins Identität (2) ist eine 000404 | Differenz zweier Polarisationen. Der Determinant in (11) verwendet dagegen 000405 | D_xi^2+mu^2 und damit einen positiven spektralen Betrag. Ohne eine separat 000406 | angegebene Polarisation kann dieser Determinant C und uCu* nicht 000407 | unterscheiden. Der daneben stehende Term (1/2)eta_Sigma,Padm(D_xi) bewahrt 000408 | skalare Spektralasymmetrie und kann insbesondere das Vorzeichen unter 000409 | D_xi -> -D_xi erkennen. Ein eta Wert ist aber kein operatorwertiger 000410 | Polarisationskern: Er bestimmt weder P_-(D_xi) noch dessen Matrixelemente, 000411 | lokale Träger oder die Differenz zweier Quellkovarianzen. Zudem bleibt D_xi 000412 | in diesem Quellmodul undefiniert. U_(6,xi) ist der sechsstufige 000413 | Transportoperator, nicht der alte Clutching Operator u=M_z. 000414 | 000415 | Damit enthält (11) keinen stillschweigenden Beweis des Kreis zu CAR 000416 | Anschlusses. Außerdem setzt sein erster Summand Z_rel bereits voraus. Er kann 000417 | die Quelle, deren Logarithmus dort eingesetzt wird, nicht selbst definieren. 000418 | 000419 | 000420 | 10. KLEINSTE POSITIVE REPARATUR MIT EINER ANNAHME WENIGER 000421 | -------------------------------------------------------- 000422 | 000423 | Die Originale brauchen keinen neuen frei gewählten Rang eins Projektor. Wenn 000424 | eine zukünftige Originalgleichung oder ein belegter bestehender Querverweis 000425 | eine isometrische, grading und reflexionsverträgliche Abbildung 000426 | 000427 | Iota:H_circle -> H_fermion 000428 | 000429 | mit 000430 | 000431 | Iota B_alpha Iota*=K_fermion, 000432 | Iota P_-(B_alpha) Iota*=C_adm, 000433 | Iota u Iota*=U_source (12) 000434 | 000435 | auf dem betreffenden Sektor liefert, folgt aus (2) automatisch 000436 | 000437 | U_source C_adm U_source*=C_adm+Iota Pi Iota*. (13) 000438 | 000439 | Dann wäre die überschüssige Quelllinie durch den alten Spektralflusskern 000440 | bestimmt. Eine gesonderte Wahl von psi_Sigma entfiele. Mit der vorhandenen 000441 | Grundzustandsreduktion könnte der quasifreie CAR Zustand anschließend aus 000442 | dem festen gegappten Einteilchengenerator und der positiven Zeit folgen. 000443 | 000444 | Was (12) noch leisten muss, ist konkret und prüfbar: 000445 | 000446 | * dieselbe verdrehte Domain und dasselbe alpha; 000447 | * dieselbe Feldgradierung und CAR Quellenordnung; 000448 | * Intertwining der tatsächlichen euklidischen Zeit und Reflexion, nicht nur 000449 | der Nahtkreisrotation; 000450 | * Erhaltung des vollständigen Z Funktionals auf reflektierten Feldworten; 000451 | * Einbettung in die graduierte Feldalgebra. Die physische Observable Algebra 000452 | darf weiterhin ihr eichinvarianter gerader Fixpunkt sein. 000453 | 000454 | Ohne (12) bleiben die drei Zeitparameter verschieden: die Rotation durch 000455 | B_alpha, der Wärmeparameter von exp(-t|B_alpha|) und die OS Zeit tau_t. 000456 | 000457 | 000458 | 11. P1 WORTLAUT: KREIS GESETZT, CAR KERN NUR ABSTRAKT GESETZT 000459 | ------------------------------------------------------------- 000460 | 000461 | Diese Nachprüfung betrifft genau die mögliche Reduktion der letzten 000462 | Einbettungsannahme. Sie benutzt keine neue Riemannfläche und keinen neuen 000463 | Kragen. 000464 | 000465 | 11.1 fullv21 A1 bis A4 und A7 bis A8 000466 | 000467 | paper-source:1fe2ddfabc74ac0e94a4686d 000468 | documents/archive--paper-latex--tfpt-theory-fullv21/sections/ 000469 | 001-section-introduction-the-problem-of-parameters.tex:155-275 000470 | SHA256 85bb11511be05385a7cadf6071dbede216b12befeb9d6767bc4460748cbec5d7 000471 | 000472 | documents/archive--paper-latex--tfpt-theory-fullv21/sections/ 000473 | 002-subsection-closure-axioms-a7-a8.tex:4-70 000474 | SHA256 6a44df43d61d84b026c5ad15a1bdbdcc8822e741b4af8b709f0f3563fa3c0b6a 000475 | 000476 | Der tatsächliche Axiomwortlaut setzt folgende fermionisch relevante Daten: 000477 | 000478 | * A1 sagt, dass axiale Torsion an Spinorfelder koppelt. 000479 | * A2 verlangt für globale chirale Spinoren die orientierbare Doppelüberlagerung. 000480 | * A3 setzt auf der Naht den tangentialen Operator D_Gamma=i partial_theta, 000481 | die verdrehten Eigenwerte n+varphi/(2pi) und U_Gamma=M_z. Das ist genau der 000482 | geometrische Einteilchenkreis, aus dem B_alpha in Abschnitt 1 rekonstruiert 000483 | wurde. 000484 | * A7 setzt den SM Fermioninhalt und die Hyperladungen im quadratischen Index 000485 | hyperladungsgeladener Randoperatoren eines regulierten Determinanten. 000486 | 000487 | A4 setzt diskrete topologische Korrekturen und A8 die GR 000488 | Renormierungsbedingung. Keine dieser sechs Axiomstellen definiert eine CAR 000489 | Algebra, Erzeuger und Vernichter, eine Kovarianz P_-(B_alpha), einen Fockraum, 000490 | eine Bogoliubovzeit oder eine positive euklidische Zeit auf dem Kreis. Eine 000491 | vollständige Literalsuche über alle fullv21 Module findet keinen der Begriffe 000492 | CAR, Fock, Bogoliubov, quasifree, Grassmann oder Berezin. 000493 | 000494 | A7 ist trotzdem eine echte positive Verengung. Der Kreisoperator ist kein 000495 | später hinzugefügtes SOURCE Hilfsmodell, und geladene fermionische 000496 | Randoperatoren werden im ursprünglichen Axiomsystem verwendet. Seine dortige 000497 | Rolle ist jedoch eine geschlossene Determinantenspur. Es steht keine Gleichung 000498 | 000499 | D_Y on boundary cycle = D_Gamma on seam = inverse CAR source kernel 000500 | 000501 | und keine offene Modenabbildung im Text. Insbesondere liefert der 000502 | Hyperladungsindex Summe Y_f^2 keine Zustandskovarianz. 000503 | 000504 | 11.2 v31 primitives reduziertes Datum 000505 | 000506 | paper-source:12323340247079857eb23f60 000507 | documents/archive--paper-latex--tfpt-31/sections/ 000508 | 002-subsection-primitive-relative-spectral-dynamics.tex:7-70,80-129 000509 | SHA256 6d8813b95a1ef4d82ee9cd48a25efff3f9c20066a06b85ad121bc26e5dbaae77 000510 | 000511 | Das primitive Datum 000512 | 000513 | (A,H,D,J,Gamma,inv,nu), 000514 | D=gamma_n(partial_n+B_Sigma) 000515 | 000516 | enthält einen Einteilchen Diracoperator, Realstruktur, Gradierung und den 000517 | tangentialen Kragenoperator. Die fastkommutative Identifikation 000518 | H=L2(M_tilde,S) tensor H_int wird ausdrücklich als zusätzliche Annahme 000519 | bezeichnet. Die lokale admissible Algebra A_adm(O) wird erst nach der 000520 | Carrier und Closure Schicht eingeführt. Weder die Definition des reduzierten 000521 | Datums noch sein Rekonstruktionstheorem nennt A eine CAR Feldalgebra oder 000522 | bestimmt eine negative See, eine Quellkovarianz oder eine Zeitentwicklung. 000523 | 000524 | Damit kann man im eindimensionalen fullv21 Spezialfall B_Sigma mit dem schon 000525 | gegebenen B_alpha vergleichen. Der v31 Wortlaut beweist diese Spezialisierung 000526 | aber nicht für sein allgemeines reduziertes Datum und quantisiert sie nicht. 000527 | 000528 | 11.3 Was v31 in der Closure Schicht wirklich setzt 000529 | 000530 | paper-source:c108d5aa4300090790075793 000531 | documents/archive--paper-latex--tfpt-31/sections/ 000532 | 011-subsection-transport-side-ingredients-for-the-strong-cp-.tex:198-274 000533 | SHA256 67f45f9072363128377e9e48735d24fb1748e504b57c0ab44dc136454e1ed144 000534 | 000535 | documents/archive--paper-latex--tfpt-31/sections/ 000536 | 012-section-particle-and-mass-compiler.tex:38-57 000537 | SHA256 1951d21a4463c24f764f0e512256405513526ca2902471555316f4b188320585 000538 | 000539 | paper-source:8a50a3750d947c906a12acd2 000540 | documents/archive--paper-latex--tfpt-31/sections/ 000541 | 016-subsection-texorpdfstring-e-8-e8-as-downstream-scale-gra.tex:339-368 000542 | SHA256 b19c7b586864f8ab86013296fb7e07fb2574958fb607d8263dcb56dcf305df46 000543 | 000544 | Hier ist der CAR Anschluss bereits als Voraussetzung vorhanden. Das 000545 | Reflexionspositivitätslemma sagt wörtlich: Wenn der admissible fermionische 000546 | CAR Kern auf demselben Sektor reflexionspositiv ist, dann gilt die OS 000547 | Ungleichung für Observablen mit Träger in tau>0. Das folgende 000548 | Rekonstruktionstheorem beruft sich auf die entsprechende CAR Rekonstruktion. 000549 | Der vorhergehende Master Satz bezeichnet die Positivität zwar als auf 000550 | demselben Datum abgeleitet. Sein ausgewiesener Beweispfad ist aber gerade das 000551 | genannte bedingte Lemma; eine Konstruktion des CAR Kerns aus 000552 | (A,H,D,J,Gamma,inv,nu) steht dazwischen nicht. 000553 | 000554 | Das ist mehr als ein bloßes Spinorlabel. Unter den v31 Closure Voraussetzungen 000555 | muss die Existenz eines fermionischen CAR Kerns und seine 000556 | Reflexionspositivität nicht erneut aus B_alpha hergeleitet werden. Es ist aber 000557 | kein im primitiven Datum konstruierter Kern. Die angeführte Lemma verwendet 000558 | ihn als Hypothese, gibt keine Kernelmatrix an und identifiziert weder tau mit 000559 | theta noch seine Kovarianz mit P_-(B_alpha). Der Begriff admissible observable 000560 | zwingt außerdem keine ungeraden CAR Felder in die physische Observable 000561 | Algebra; diese darf der eichinvariante gerade Fixpunkt bleiben. Wörtlich 000562 | gesetzt ist somit ein abstrakter CAR Kern auf dem admissiblen Sektor, keine 000563 | vollständig lokalisierte Modenrealisierung dieses Kerns auf dem P1 Kreis. 000564 | 000565 | 11.4 Kleinster noch fehlender Modentest 000566 | 000567 | Nach Anerkennung dieser gesetzten v31 CAR Voraussetzung reduziert sich die 000568 | Restlücke auf eine einzige Einteilchenabbildung. Sei H_source der Testfunktionsraum 000569 | des dort vorausgesetzten CAR Kerns. Gesucht ist eine Isometrie 000570 | 000571 | T:L2(S1,L_alpha) -> H_source, 000572 | T psi_n = f_n, (14) 000573 | 000574 | mit den wörtlich prüfbaren Eigenschaften 000575 | 000576 | =delta_mn, 000577 | C_adm f_n=1_(n<=-1) f_n, 000578 | U_source f_n=f_(n+1), (15) 000579 | 000580 | und, falls der Einteilchen Quellgenerator K_source denselben Kreisfluss tragen soll, 000581 | 000582 | K_source f_n=(n+alpha)f_n. (16) 000583 | 000584 | Für Lokalität muss T zusätzlich die Trägerstruktur erhalten: Eine auf einem 000585 | Nahtbogen I unterstützte Funktion f(theta)=sum_n fhat_n psi_n muss zu einem 000586 | verschmierten Feld a(Tf) im lokalen Feldsektor desselben Bogens führen. Die 000587 | v31 Bedingung tau>0 muss durch eine angegebene Reflexion und Zeitwirkung auf 000588 | diesen Quellmoden transportiert werden. Eine Gleichheit der bloßen Spektren 000589 | genügt dafür nicht. 000590 | 000591 | Keine geprüfte Stelle gibt die f_n, den lokalen Trägermorphismus oder die 000592 | Zeitverflechtung an. Wenn (14) bis (16) in einer Originalquelle ergänzt oder 000593 | gefunden werden, folgt die negative See aus dem alten Kreis ohne weitere 000594 | Zustandswahl, und (13) liefert die eine überschüssige Quelllinie. Damit ist 000595 | die frühere Lücke SOURCE Kreis gegen P1 Kreis auf Einteilchenebene wesentlich 000596 | kleiner: Der geometrische Kreis ist schon P1 Daten. Offen bleibt seine 000597 | Identifikation mit den Moden des bereits vorausgesetzten lokalen CAR Kerns. 000598 | 000599 | 000600 | ENDURTEIL