TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-CANONICAL-DOUBLE-AND-ORIGINAL-LIFT.txt
Original file SHA-256: 9503f7c83ac05162754d5e7ff12629f1c505b9428228567c510d12bcea2ae8e2
Inclusive original lines: 1-195
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 | KANONISCHE VERDOPPLUNG UND DER WIRKLICHE URSPRÜNGLICHE SPIEGELUNGSAUFRUF
000002 | 30.10.2026. Quellenreview und exakte Fortsetzung am vorhandenen Operator.
000003 | 
000004 | 1. Verlangtes Ergebnis und der jetzt tatsächlich geschlossene Schritt
000005 | 
000006 | Gesucht bleibt die gemeinsame ursprüngliche Quelle mit Feldern, Produkten,
000007 | beiden Rändern, Reflexion und physischer Zeit. Der folgende Nachweis liefert
000008 | einen konkreten geometrischen Schritt für den vorhandenen Produktoperator:
000009 | Die normale antiperiodische Schließung folgt aus der standardmäßigen
000010 | Cliffordverklebung. Das gewünschte Kreuzfeld wurde dafür nicht eingesetzt.
000011 | Die tatsächliche TFPT Bindung dieser Standardverklebung bleibt ausdrücklich
000012 | von ihrem bewiesenen mathematischen Ergebnis getrennt.
000013 | 
000014 | Primärquelle: B. Booß-Bavnbek und M. Lesch, The Invertible Double of Elliptic
000015 | Operators, arXiv:0803.4047v4, §1.3 Proposition1.4, PDF Seite8.
000016 | https://arxiv.org/pdf/0803.4047
000017 | Die Quelle verklebt D und -D mit der Normalcliffordmultiplikation J und
000018 | schreibt die Domain als Paare mit v=Ju. Diese konkrete Vorschrift wurde
000019 | vollständig an der entscheidenden Beweisstelle gelesen. Sie liefert mehr
000020 | Daten als ein beliebiges geometrisches Double oder ein Randprojektor allein.
000021 | 
000022 | 2. Die ganze ursprüngliche Produktklasse ausführen
000023 | 
000024 | Unverändert verwendet werden die bereits geprüften Operatoren
000025 |  N=[[0,-1],[1,0]], Z=diag(1,-1), S=NZ,
000026 |  B=Z tensor A-S tensor Phi, Gamma=Z tensor gamma_F,
000027 |  D=N(partial_x+B).
000028 | A ist die gegebene gerade tangentiale Verbindung und Phi der gegebene
000029 | ungerade selbstadjungierte endliche Koeffizient. Normalunabhängigkeit und
000030 | der ganze Produktzylinder [0,ell] sind Voraussetzungen. Es gilt exakt
000031 |  N²=-I, N*=-N, B*=B, {N,B}=0, [Gamma,B]=0, {Gamma,N}=0.
000032 | Insbesondere passt die tatsächliche schwache Familie A=pI+tQ mit dem
000033 | ursprünglichen reellen v252 Gaugelift; kein neuer Koeffizient wird gewählt.
000034 | 
000035 | Auf der ersten Kopie sind die beiden einwärts gerichteten Normalen
000036 |  J0=N und Jell=-N. Die kanonische Domain lautet
000037 |  v(0)=N u(0), v(ell)=-N u(ell).
000038 | Auf der umgekehrt durchlaufenen zweiten Kopie r=2ell-x wird -D zu
000039 |  N(partial_r-B). Der feste Rahmen w=Nv transformiert dies zu
000040 |  N[N(partial_r-B)]N^-1=N(partial_r+B).
000041 | An den beiden Übergängen gilt deshalb
000042 |  w(ell)=u(ell), w(2ell)=-u(0).
000043 | Das ganze Double ist derselbe Produktoperator auf H1_AP am Normalumfang
000044 | 2ell. Das Vorzeichen wird durch die zwei Normalübergänge berechnet.
000045 | Der Satz G allein erzwingt AP nicht bleibt richtig; hier wurde der stärkere
000046 | tatsächliche Cliffordclutch benutzt. Eine abstrakte lokale Kragenform
000047 | auf einem beliebigen M_plus ist noch kein globaler Produktzylinder.
000048 | 
000049 | 3. Ein gemeinsamer Operator liefert die Kreuzantwort und den Determinanten
000050 | 
000051 | Auf dieser Domain gilt D²=-partial_r²+B². Für den tatsächlich gekoppelten
000052 | komplexen Kinetikoperator L=-ND=partial_r+B folgt unmittelbar
000053 |  S_AP(ell,0)=exp(-ell B)(I+exp(-2ell B))^-1
000054 |             =(2cosh(ell B))^-1.
000055 | Unter der vorhandenen geladenen Karte ist dies X_h auf dem ganzen96er
000056 | Feldbein und sein konjugierter Gegenpart. N wechselt die totale Graduierung
000057 | bei einem Übergang; nach zwei Übergängen ist sie mit Vorzeichen erhalten.
000058 | Die Karte und die Ladungsbeine dürfen deshalb nicht getrennt neu gewählt
000059 | oder in der Determinante stillschweigend halbiert werden.
000060 | 
000061 | Für jede endliche tangentiale Spektralauswahl und den angegebenen Regulator
000062 | E_mu=sqrt(B²+mu²) lautet der normale Zeta Determinant
000063 |  F_AP=Tr[2ell E_mu+2log(I+exp(-2ell E_mu))].
000064 | Die Formel enthält alle ausgewählten internen Beine. Für die ganze
000065 | tangentiale Quelle muss der divergente Bulkterm mit der ursprünglichen
000066 | Regel behandelt werden; ein Vertauschen beider Zeta Operationen wird hier
000067 | nicht behauptet. Der exponentiell abfallende Klebeteil ist auf dem gegebenen
000068 | kompakten Kreis gesondert als Fredholmterm wohldefiniert. Absolute Phase,
000069 | Pfaffian, Referenz und vollständiges Z_adm werden damit nicht festgelegt.
000070 | 
000071 | Bei mu=0 stimmt der darin auftretende X Faktor mit X_h überein. Bei mu!=0
000072 | ist es X_mu; die Quelle müsste denselben Regulator tragen. Die Variation
000073 | für dot(T)=Q ist
000074 |  dot F_glue=-2ell Tr[E^-1 exp(-ell E) X_E Q].
000075 | Das ist ein skalarer Consumer des Kreuzoperators. Es ist nicht der ganze
000076 | Kreuzoperator. Die einzelnen Bulk und Klebeableitungen benötigen am
000077 | Nullspektrum eine gemeinsame Grenzregel; ihre Summe ist regulär.
000078 | 
000079 | 4. Der erste wirkliche Typentest betrifft den Decklift
000080 | 
000081 | Auf der Paardomain ist der natürliche Austausch T(u,v)=(-v,u). Er erfüllt
000082 |  T²=-I und T(D directsum -D)T^-1=-(D directsum -D).
000083 | Im entfalteten AP Rahmen ist T=N P_r, mit P_r f(r)=f(2ell-r).
000084 | Die geometrische Grundraumspiegelung hat also nicht automatisch denselben
000085 | Operatorcharakter wie ihr Spinorlift. Zwei aus den vorhandenen Matrizen
000086 | gebildete involutive Operationen sind
000087 |  R_odd=i_old N P_r,   R_odd²=I,   R_odd D R_odd=-D,
000088 |  R_even=Gamma N P_r, R_even²=I, R_even D R_even=+D.
000089 | Auf der Paardomain hat die globale Graduierung den Ausdruck
000090 | diag(Gamma,-Gamma), da der Clutch die Grade wechselt. Das erhält beide
000091 | Domains. Beide Aussagen sind Operatoralgebra, kein Nachweis, dass beide
000092 | Lifts dieselben ursprünglichen KO, Realitäts oder OS Bedingungen erfüllen.
000093 | Im archivierten Halbsplit ergäbe der erste Lift D_ref=0,D_rel=D, der zweite
000094 | D_ref=D,D_rel=0. Die tatsächliche Liftidentifikation entscheidet hier schon
000095 | vor jeder spektralen Ableitung. Das ist kein Paar vollständiger TFPT Modelle.
000096 | 
000097 | 5. Konkreter Quellenabgleich und die beiden neuen Modellantworten
000098 | 
000099 | Original boundary001:65–170 nennt canonical doubling, den ganzen D_plus
000100 | und D=D_plus union D_plus^op. Es schreibt in diesen Passagen weder die
000101 | Domain v=Ju noch die Gleichheit D_plus^op=-D_plus aus. Der ältere clean
000102 | kernel:76–148 beginnt bereits mit einem gegebenen Double. Das ist die
000103 | überprüfte Abdeckung, kein universeller Abwesenheitsbeweis. Die Benennung
000104 | canonical kann auf die Standardkonstruktion verweisen; ihre Identifikation
000105 | mit dem ursprünglichen tau Stern, P_adm und dem MASTER muss die tatsächlichen
000106 | Abbildungen und Domains erhalten. Aus dem Wort allein folgt sie nicht.
000107 | 
000108 | [OMITTED: non-scientific conversation or execution metadata]
000109 | [OMITTED: non-scientific conversation or execution metadata]
000110 | [OMITTED: non-scientific conversation or execution metadata]
000111 | [OMITTED: non-scientific conversation or execution metadata]
000112 | [OMITTED: non-scientific conversation or execution metadata]
000113 | [OMITTED: non-scientific conversation or execution metadata]
000114 | [OMITTED: non-scientific conversation or execution metadata]
000115 | [OMITTED: non-scientific conversation or execution metadata]
000116 | [OMITTED: non-scientific conversation or execution metadata]
000117 | [OMITTED: non-scientific conversation or execution metadata]
000118 | 
000119 | 6. Kontrolle, Erhaltung und unmittelbare Fortsetzung
000120 | 
000121 | CANONICAL-DOUBLE-ACTUAL-CHECK.json prüft am ursprünglichen v252 Konstruktor
000122 | mit formalem p,t und denselben diagnostischen Yukawa/Majorana Daten die
000123 | ganzen192er Normalmatrizen, beide Übergänge, beide involutiven Liftwirkungen
000124 | und die Grade. Die allgemeine Domainrechnung steht oben; die Kontrolle
000125 | ersetzt sie nicht. Keine Originalpaper, Suite oder Ledger verändert.
000126 | 
000127 | Unabhängige Berichte C59-ORIGINAL-ANCHOR-REVIEW.txt,
000128 | C59-DETERMINANT-AND-CROSS-REVIEW.txt, CANONICAL-NORMAL-DOUBLE-SPIN-REVIEW.txt
000129 | und CANONICAL-CLIFFORD-DOUBLE-REVIEW.txt wurden gelesen und abgeglichen.
000130 | Die bereits bewiesenen ganzen Quellen, der Odd Reader, der schwache Cap und
000131 | die positiven gemeinsamen Feldprodukte bleiben erhalten.
000132 | 
000133 | Nächster Herkunftsschritt ist die konkrete ursprüngliche Deck/Spinor/
000134 | Realstruktur auf dieser Domain beziehungsweise die entsprechende stärkere
000135 | aktuelle Quelle. Erst mit derselben Referenz, Normierung und tatsächlichen
000136 | Zeit darf die gemeinsame ursprüngliche Wirkung eingesetzt werden. Eine
000137 | weitere Suche nach passenden cosh Formeln oder neuen Zuständen ist dafür
000138 | nicht nötig. Der fundamentale physische Gesamtabschluss ist nicht bewiesen.
000139 | 
000140 | 7. Nachgetragener ursprünglicher Graduierungstest
000141 | 
000142 | Das ältere Original _archive/paper-latex/tfpt_minimal_kernel_clean.tex:87
000143 | fordert ausdrücklich, dass inv mit J und Gamma kommutiert. Falls dieses
000144 | Gamma auf das hier verwendete Gamma_tot transportiert wird, erfüllen beide
000145 | obigen Lifts diese Regel nicht: {Gamma_tot,R_odd}=0 und ebenso
000146 | {Gamma_tot,R_even}=0. Da beide invertierbar sind, ist ihr Kommutator nicht
000147 | null. Das ist ein entscheidender bedingter Typentest. Die betreffende
000148 | Graduierungskarte ist noch nicht bewiesen. Archive001:103–147 wiederholt
000149 | diese alte Kommutationsforderung nicht ausdrücklich. Die Fassungen werden
000150 | deshalb nicht stillschweigend zusammengezogen. Unabhängiger Abgleich in
000151 | CANONICAL-NORMAL-DOUBLE-SPIN-REVIEW.txt, Abschnitt6.
000152 | 
000153 | [OMITTED: non-scientific conversation or execution metadata]
000154 | 
000155 | [OMITTED: non-scientific conversation or execution metadata]
000156 | [OMITTED: non-scientific conversation or execution metadata]
000157 | [OMITTED: non-scientific conversation or execution metadata]
000158 | [OMITTED: non-scientific conversation or execution metadata]
000159 | [OMITTED: non-scientific conversation or execution metadata]
000160 | [OMITTED: non-scientific conversation or execution metadata]
000161 | 
000162 | Bei D_ref=0 ist f(D_ref/chi)=f(0)I. Für f(0)!=0 auf einem unendlichen
000163 | Hilbertraum und spurklassigem f(D/chi) ist die Differenz nicht spurklassig:
000164 | Spurklasse impliziert Kompaktheit, aber Kompaktoperator minus f(0)I ist
000165 | nicht kompakt. Ein endlicher Spektralschnitt erlaubt die Konstante N f(0),
000166 | ein geschlossener kompakter Grundraum allein tut dies nicht. Eine explizite
000167 | ursprüngliche relative Renormierung bleibt erforderlich. Das knüpft an
000168 | den schon gespeicherten Ausschluss gewöhnlicher beschränkter Relativspuren
000169 | an und ist kein globaler Ausschluss der primitiven TFPT Wirkung.
000170 | 
000171 | [OMITTED: non-scientific conversation or execution metadata]
000172 | [OMITTED: non-scientific conversation or execution metadata]
000173 | [OMITTED: non-scientific conversation or execution metadata]
000174 | [OMITTED: non-scientific conversation or execution metadata]
000175 | [OMITTED: non-scientific conversation or execution metadata]
000176 | 
000177 | [OMITTED: non-scientific conversation or execution metadata]
000178 | [OMITTED: non-scientific conversation or execution metadata]
000179 | [OMITTED: non-scientific conversation or execution metadata]
000180 | [OMITTED: non-scientific conversation or execution metadata]
000181 | [OMITTED: non-scientific conversation or execution metadata]
000182 | [OMITTED: non-scientific conversation or execution metadata]
000183 | [OMITTED: non-scientific conversation or execution metadata]
000184 | [OMITTED: non-scientific conversation or execution metadata]
000185 | [OMITTED: non-scientific conversation or execution metadata]
000186 | 
000187 | 9. Forschungsbetrieb auf Nutzerwunsch beendet
000188 | 
000189 | [OMITTED: non-scientific conversation or execution metadata]
000190 | [OMITTED: non-scientific conversation or execution metadata]
000191 | [OMITTED: non-scientific conversation or execution metadata]
000192 | [OMITTED: non-scientific conversation or execution metadata]
000193 | [OMITTED: non-scientific conversation or execution metadata]
000194 | [OMITTED: non-scientific conversation or execution metadata]
000195 | [OMITTED: non-scientific conversation or execution metadata]