TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE52-NORMAL-SPECTRUM-DETERMINANT-INDEPENDENT-REVIEW.txt Original file SHA-256: 43943a63714321772357879cf7b936513aeb13c269aab1b7b4cee600957a5b51 Inclusive original lines: 1-168 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 | [OMITTED: non-scientific conversation or execution metadata] 000002 | [OMITTED: non-scientific conversation or execution metadata] 000003 | 000004 | Datum: 2026-10-30 000005 | Status: skalare Spektralformeln bestaetigt, behauptete Zwangsschluesse verworfen 000006 | 000007 | Urteil 000008 | ------- 000009 | 000010 | Die beiden skalaren antiperiodischen Spektralformeln sind korrekt: 000011 | 000012 | q(u)=tanh(ell sqrt(u))/sqrt(u) 000013 | =(1/ell) sum_(n in Z) 000014 | [((n+1/2)pi/ell)^2+u]^-1, 000015 | 000016 | det_zeta,AP(-partial_r^2+u)=4 cosh^2(ell sqrt(u)). 000017 | 000018 | Sie liefern eine echte antiperiodische Greenrealisierung des bereits 000019 | vorhandenen Randoperators. Aus dem orthogonalen Calderonprojektor G folgt 000020 | aber nicht umgekehrt zwingend die antiperiodische Normaldomäne. Der 000021 | Poissonraum graph(exp(-ell h)) und die positive Randmetrik bestimmen G 000022 | bereits ohne geschlossene Verdopplung. Eine geeignete periodische 000023 | Greenrealisierung hat denselben Poissonraum und nach Orthogonalisierung 000024 | denselben G. 000025 | 000026 | Auch die Determinantenaussage braucht eine Typkorrektur. Der wirkliche 000027 | Normaloperator ist 000028 | 000029 | D=N(partial_r+B), 000030 | 000031 | nicht N partial_r+B. Im geladenen Chart wird durch die bereits feste 000032 | Multiplikation -N der komplexlineare Operator L=partial_r+B erzeugt. 000033 | Das skalare zweite Ordnungsdeterminant ist X^-2, waehrend X^-1 der Betrag 000034 | beziehungsweise die normierte erste Ordnungsdeterminante eines einzelnen 000035 | komplexen AP Beins sein kann. Der ganze selbstduale und reale Operator 000036 | enthaelt zusaetzliche Ladungsbeine, Multiplizitaeten und eine 000037 | Determinantenlinien oder Pfaffianphase. G allein fixiert diese Daten nicht. 000038 | 000039 | Schliesslich ist eine erste skalare Spurvariation ein skalarer Consumer 000040 | einer bereits angegebenen Operatorvariation. Sie rekonstruiert den ganzen 000041 | Operator im Allgemeinen nicht, macht ihn aber nicht zu keiner Quelle. 000042 | Die vorhandene erste Operatorvariation D_Y -> dot(G) ist bereits 000043 | nichtverschwindend und injektiv vor weiteren Consumern. Eine zweite 000044 | Variation liefert eine Suszeptibilitaet oder Zweipunktantwort, ist aber 000045 | nicht notwendig, um die Einformrichtung oder ihren ersten Randjet zu 000046 | definieren. 000047 | 000048 | 1. Was die AP Summen exakt beweisen 000049 | ----------------------------------- 000050 | 000051 | Auf dem antiperiodischen Kreis der Laenge 2ell sind die Normalfrequenzen 000052 | 000053 | omega_n=(n+1/2)pi/ell. 000054 | 000055 | Die Standardpartialbruchentwicklung gibt fuer u>0 000056 | 000057 | (1/ell) sum_n (omega_n^2+u)^-1 000058 | =tanh(ell sqrt(u))/sqrt(u). 000059 | 000060 | Mit der u unabhaengigen Zetanormierung folgt 000061 | 000062 | Delta_AP(u):=det_zeta(-partial_r^2+u) 000063 | =4cosh^2(ell sqrt(u)), 000064 | 000065 | und daher als Konsistenztest 000066 | 000067 | partial_u log Delta_AP(u)=ell q(u) 000068 | =sum_n(omega_n^2+u)^-1. 000069 | 000070 | Diese Identitaeten sind positive skalare Spektralsummen. Sie beweisen die 000071 | AP Realisierung fuer einen skalaren Spektralwert beziehungsweise nach 000072 | Funktionalkalkuel fuer einen gegebenen selbstadjungierten h. Sie waehlen 000073 | keine globale Normaldomäne aus allen geschlossenen Realisierungen aus. 000074 | 000075 | 2. G bestimmt die AP Domäne nicht 000076 | --------------------------------- 000077 | 000078 | Fuer den offenen homogenen Kragen ist der Loesungsraum allein 000079 | 000080 | graph(T), T=exp(-ell h). 000081 | 000082 | Mit der gegebenen positiven Randmetrik ist sein orthogonaler Projektor 000083 | 000084 | G=[[A,X],[X,1-A]], 000085 | A=(1+exp(-2ell h))^-1, 000086 | X=(2cosh(ell h))^-1. 000087 | 000088 | Das ist die vorhandene Calderonidentitaet. Sie benutzt keine geschlossene 000089 | Normaldomäne. Auf dem AP Kreis liefert die rohe Green Poisson Spur wegen 000090 | des negativen Schliessungszeichens direkt denselben orthogonalen G. 000091 | 000092 | Bei einer invertierbaren periodischen Schliessung liefert die rohe 000093 | Green Spur dagegen einen im Allgemeinen nichtselbstadjungierten 000094 | idempotenten Projektor mit demselben Bild graph(T). Seine Orthogonalisierung 000095 | in der positiven Randmetrik ist wieder G. Daher gilt nur 000096 | 000097 | AP Normaldomain => rohe Green Spur ist G, 000098 | 000099 | nicht 000100 | 000101 | G => AP Normaldomain. 000102 | 000103 | Die tatsaechliche elliptische NS Quelle und der benannte period two NS 000104 | Cover besitzen die AP Schliessung als zusaetzliche globale Quelldaten. 000105 | Der abstrakte homogene Calderonvertrag und eine APS Randbedingung tun dies 000106 | nicht allein. APS bezeichnet hier eine spektrale Randbedingung am offenen 000107 | Operator; AP bezeichnet die antiperiodische Spinholonomie auf dem 000108 | geschlossenen Normaldouble. Diese Typen duerfen nicht gleichgesetzt werden. 000109 | 000110 | 3. Richtiger Determinantentyp und Multiplizitaet 000111 | ----------------------------------------------- 000112 | 000113 | Skalar gilt mit X(u)^-1=2cosh(ell sqrt(u)) exakt 000114 | 000115 | det_zeta,AP(-partial_r^2+u)=X(u)^-2. (1) 000116 | 000117 | Fuer einen einzelnen komplexen ersten Ordnungsoperator 000118 | partial_r+sqrt(u) kann die normierte AP Determinante X(u)^-1 sein. Ihr 000119 | Produkt mit dem adjungierten Bein ergibt (1). Die Phase des ersten 000120 | Ordnungsdeterminanten, seine Eta beziehungsweise Determinantenlinienwahl 000121 | und seine Normierung sind damit nicht aus (1) bestimmt. 000122 | 000123 | Der tatsaechliche Cliffordoperator lautet 000124 | 000125 | D=N(partial_r+B)=N partial_r+N B. 000126 | 000127 | Er ist nicht N partial_r+B. Erst L=-ND=partial_r+B ist im vorhandenen 000128 | neukomplexen Chart der komplexlineare kinetische Operator. Im geladenen 000129 | Chart zerfaellt er weiter in das Feldbein partial_r+h und das konjugierte 000130 | Bein partial_r-bar(h). Der volle selbstduale Raum enthaelt ausserdem die 000131 | endliche interne Multiplizitaet und beide tatsaechlichen Quartersektoren. 000132 | 000133 | Deshalb muss jede ganze Determinantengleichung angeben, ob sie 000134 | 000135 | * das zweite Ordnungsdeterminant, 000136 | * eine komplexe erste Ordnungsdeterminante, 000137 | * den Pfaffian mit fester Berezinorientierung, 000138 | * den Betrag oder das relative Determinant, 000139 | * ein einzelnes Ladungsbein oder den ganzen selbstdualen Raum 000140 | 000141 | meint. Die bestehende kinetische Darstellung liefert im endlichen 000142 | Regulator Pf([[0,-K^T],[K,0]])=+/-det(K). Sie identifiziert diesen Skalar 000143 | ohne Referenz, Nullmodenregel, Eta Phase und bosonisches Gewicht nicht mit 000144 | dem unnormalisierten Z_adm oder S_prim. 000145 | 000146 | 4. Erste Operatorvariation und skalare Spur sind verschiedene Ebenen 000147 | -------------------------------------------------------------------- 000148 | 000149 | Fuer eine bereits angegebene Richtung delta D gilt formal 000150 | 000151 | delta log det(D)=Tr(D^-1 delta D) 000152 | 000153 | unter den benoetigten relativen Spur und Domaenenvoraussetzungen. Die 000154 | rechte Seite ist ein Skalar. Viele verschiedene delta D koennen denselben 000155 | Skalar oder null liefern. Daraus folgt nur, dass dieser einzelne Consumer 000156 | den ganzen Operator nicht rekonstruiert. 000157 | 000158 | Im vorhandenen gekoppelten Randvertrag ist die erste Operatorantwort 000159 | dagegen 000160 | 000161 | D_Y -> V=-i gamma_F D_Y -> dot(G). 000162 | 000163 | Die Fréchet Ableitung von tanh(ell h) ist fuer ell>0 auf dem endlichen 000164 | selfadjungierten Koeffizientenraum injektiv. Deshalb ist dot(G), bereits 000165 | dot(a), fuer D_Y!=0 nicht null. Eine anschliessende Spur, P_adm Projektion 000166 | oder Skalarbeobachtung kann Information verlieren; das ist eine Eigenschaft 000167 | des Consumers und kein Fehlen des ersten Operatorjets. 000168 |