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: 48-76
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.

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