TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ACTUAL-ONEFORM-COUPLED-SOURCE-INDEPENDENT-REVIEW.txt Original file SHA-256: bd2971adb7f425961d2406d8381449206400c7d03a155e4a8fd5f935d8d90d01 Inclusive original lines: 1-182 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 | UNABHAENGIGER REVIEW DER GEKOPPELTEN EINFORM RANDANTWORT 000002 | ======================================================= 000003 | 000004 | Datum: 2026-10-30 000005 | Geprueft: ACTUAL-ONEFORM-COUPLED-SOURCE-RESPONSE.txt 000006 | Status: Formelkette bestaetigt, Ursprungsaussage eng begrenzt 000007 | 000008 | Urteil 000009 | ------- 000010 | 000011 | Die nichtkommutative Loewnerkette in Gleichung (2) ist korrekt. Sie ist die 000012 | exakte erste Ableitung des ganzen zweiflaechigen Cauchyprojektors entlang 000013 | der bereits vorhandenen finiten Einformrichtung D_Y, auch wenn der 000014 | Majoranaanteil nicht mit D_Y kommutiert. Die Fréchet Ableitung von 000015 | tanh(ell h) ist fuer ell>0 auf dem endlichen selbstadjungierten 000016 | Koeffizientenraum injektiv. Daher ist die diagonale Operatorantwort auf 000017 | jede nichtverschwindende D_Y Richtung nicht null. 000018 | 000019 | Die Allmodenabschaetzung traegt ebenfalls: der diagonale Jet ist 000020 | Hilbert Schmidt und der Kreuzblockjet spurklassig. Damit ist die 000021 | Ableitung aller endlichen Wick und CAR Polynome der gegebenen 000022 | quasifreien Quelle bestimmt. 000023 | 000024 | Der Satz schliesst nicht die noch offene Sprim beziehungsweise gemeinsame 000025 | bosonisch fermionische Quellenwirkung. Er beweist weder die Herkunft der 000026 | Yukawamatrizen noch, dass P_adm, ein Skalartrace, eine Luecke oder ein 000027 | physischer Messconsumer die volle injektive Operatorantwort ohne Kern 000028 | liest. Der gedruckte vierdimensionale gemeinsame Wirkungsansatz bleibt 000029 | ausdruecklich der offene Vertrag TFPT4D.LATTICE.ACTION.01. 000030 | 000031 | 1. Exakte Ableitung des Projektors 000032 | ---------------------------------- 000033 | 000034 | Im konstanten Quarterchart gelten 000035 | 000036 | h_s=p gamma_F-i gamma_F Phi_s, 000037 | V=dot(h)_0=-i gamma_F D_Y, 000038 | T_s=h_s^2=p^2+Phi_s^2, 000039 | Q=dot(T)_0={D_F,D_Y}. 000040 | 000041 | Die Vorzeichen sind korrekt. Aus {gamma_F,Phi_s}=0 folgt h_s=h_s^dagger, 000042 | die linearen Kreuzterme in h_s^2 heben sich auf und 000043 | 000044 | hV+Vh={D_F,D_Y}. 000045 | 000046 | Mit 000047 | 000048 | q(u)=tanh(ell sqrt(u))/sqrt(u), 000049 | x(u)=1/(2 cosh(ell sqrt(u))) 000050 | 000051 | gilt durch Spektralkalkuel 000052 | 000053 | tanh(ell h)=h q(T), 000054 | X=x(T). 000055 | 000056 | Die Produktregel fuer Fréchet Ableitungen liefert daher exakt 000057 | 000058 | dot(a)=1/2 [V q(T)+h Dq_T(Q)], 000059 | dot(X)=Dx_T(Q). 000060 | 000061 | Der Ausdruck h Dq_T(Q) darf im nichtkommutierenden Majoranablock nicht 000062 | durch h q'(T)Q ersetzt werden. ROOT-COUPLED-YUKAWA-RESPONSE-CHECK.json 000063 | belegt dazu den tatsaechlichen Einblock Gegenfall 000064 | 000065 | [D_F^2,{D_F,D_Y}] != 0 000066 | 000067 | mit Normquadrat 4 M^6 m^2. Das ist genau der richtige kleinste Typentest. 000068 | 000069 | Da 000070 | 000071 | G_s=[[a_s,X_s],[X_s,1-a_s]] 000072 | 000073 | fuer jedes s ein orthogonaler Projektor ist, folgt durch Ableiten von 000074 | G_s^2=G_s auch korrekt 000075 | 000076 | G dot(G)+dot(G)G=dot(G). 000077 | 000078 | 2. Injektivitaet der tanh Antwort 000079 | --------------------------------- 000080 | 000081 | Diagonalisiere das selbstadjungierte h mit reellen Eigenwerten lambda_i. 000082 | Dann hat die Fréchet Ableitung die Eintraege 000083 | 000084 | (D tanh(ell h)[V])_ij 000085 | =tanh(ell .)[1](lambda_i,lambda_j) V_ij. 000086 | 000087 | Fuer lambda_i != lambda_j ist der Loewnerkoeffizient 000088 | 000089 | [tanh(ell lambda_i)-tanh(ell lambda_j)]/(lambda_i-lambda_j)>0, 000090 | 000091 | und auf der Diagonale ist er 000092 | 000093 | ell sech^2(ell lambda_i)>0. 000094 | 000095 | Alle Koeffizienten sind fuer endliche Eigenwerte und ell>0 strikt positiv. 000096 | Der Schurmultiplikator hat daher keinen Matrixeintrag im Kern. Somit 000097 | 000098 | D tanh(ell h)[V]=0 genau dann, wenn V=0. 000099 | 000100 | Weil V=-i gamma_F D_Y und gamma_F invertierbar ist, folgt dot(a)!=0 fuer 000101 | D_Y!=0. Diese Injektivitaet gilt fuer die volle finite Operatorantwort vor 000102 | weiteren Projektoren, Traces oder Messconsumern. Sie beweist keine 000103 | Injektivitaet einer spaeteren skalaren oder P_adm projizierten Auswertung. 000104 | 000105 | 3. Allmoden und CAR Umfang 000106 | -------------------------- 000107 | 000108 | Auf den Quartermoden p=n+alpha, alpha=1/4 oder3/4, ist |p| nach unten von 000109 | null getrennt. Fuer festes endliches D_F,D_Y und grosses |p| gilt 000110 | 000111 | q(p^2+Phi^2)=O(1/|p|), 000112 | Dq_(p^2+Phi^2)(Q)=O(1/|p|^3), 000113 | 000114 | also dot(a)=O(1/|p|). Damit ist die direkte Summe der diagonalseitigen 000115 | Jets Hilbert Schmidt, weil sum_p |p|^-2 endlich ist. 000116 | 000117 | Fuer x(u)=1/(2cosh(ell sqrt(u))) liefern die dividierten Differenzen 000118 | 000119 | Dx_(p^2+Phi^2)(Q)=O(exp(-ell|p|)/|p|). 000120 | 000121 | Ihre Spurklassennormen sind ueber alle Moden summierbar. Der Kreuzblockjet 000122 | ist deshalb spurklassig und der gesamte dot(G) Jet Hilbert Schmidt. Die 000123 | endlichen internen Dimensionen und beide Quarterverschiebungen aendern 000124 | diese Klassen nicht. 000125 | 000126 | Wenn G_s wie im bestehenden Boundaryfunktor die wirkliche quasifreie 000127 | CAR Kovarianz ist, bestimmt G_s alle endlichen Wickpolynome. Deren erste 000128 | Ableitungen folgen durch die uebliche endliche Determinantenproduktregel. 000129 | Das ist eine Aussage ueber alle endlichen, passend geschmierten CAR Worte 000130 | dieser gegebenen quasifreien Quelle. Es ist keine Gleichsetzung mit einem 000131 | interagierenden Pfadmass, dem unnormalisierten Z_adm oder einer beliebigen 000132 | Vervollstaendigung der Observablenalgebra. 000133 | 000134 | 4. Was aus den Originaldaten folgt 000135 | ---------------------------------- 000136 | 000137 | Tatsaechlich vorhanden und wiederverwendet sind: 000138 | 000139 | * der finite v252 Dirac und Majoranakoeffizient D_F; 000140 | * der v254 Einformraum und die konkrete reelle Higgsrichtung D_Y bei 000141 | unveraendertem Majoranablock; 000142 | * der voll gekoppelte Boundaryfunktor G(h) mit beiden Flaechen und 000143 | Kreuzbloecken; 000144 | * die bedingte reine CAR Quelle, sobald dieser Graph als ihre Kovarianz 000145 | eingesetzt wird. 000146 | 000147 | Daraus folgt nun neu und exakt die Hintergrundableitung D_Y -> dot(G) im 000148 | bereits gekoppelten, nichtkommutierenden Hintergrund. Die Werte der vier 000149 | Yukawamatrizen bleiben dabei dieselben vorgegebenen Eingaben. Die Rechnung 000150 | waehlt weder ihre Werte noch die Richtung durch ein P1 Gesetz aus. 000151 | 000152 | Die Originalstelle documents/tfpt_research_contracts/sections/017-source.tex: 000153 | 153-191 druckt zwar die gewuenschte gemeinsame Wirkung 000154 | 000155 | S_Wilson+bar(psi)D_GW[U,Phi]psi+S_Phi+S_seam/top, 000156 | 000157 | bezeichnet sie aber als Demand und den Vertrag TFPT4D.LATTICE.ACTION.01 000158 | als OPEN. Die spaeteren positiven Hamiltonian und Dynamikklassenresultate 000159 | schliessen diesen Vertrag ausdruecklich nicht. Deshalb ist die vorliegende 000160 | Randantwort kein Beweis einer Sprim Variation, keiner bosonischen 000161 | Phi Integration und keiner vollstaendigen vierdimensionalen Quelle. 000162 | 000163 | Ebenso bleibt dot(iota_C)=2dot(G) nur die Ableitung der 000164 | Cauchypolarisation. Sie ist keine Deckreflexion, keine OS Reflexion und 000165 | keine Determinantinvolution Q_Theta. Ein Gapjet wird erst zum originalen 000166 | chi_seed Jet, wenn der tatsaechliche B_Sigma Operator durch denselben 000167 | Produktchart intertwiniert ist. 000168 | 000169 | 5. Quellen 000170 | ---------- 000171 | 000172 | * ACTUAL-ONEFORM-COUPLED-SOURCE-RESPONSE.txt. 000173 | * verification/v252_full_finite_triple.py und 000174 | verification/v254_inner_fluctuations.py. 000175 | * graded_boundary_functor/FINITE-COUPLED.txt, besonders die vollstaendige 000176 | h und G Abbildung. 000177 | * pfaff_source_review/NORMAL-KINETIC-PAIRING.txt fuer den bedingten 000178 | kinetischen und CAR Umfang. 000179 | * documents/tfpt_research_contracts/sections/017-source.tex:153-235 fuer 000180 | den weiterhin offenen gemeinsamen Wirkungscontract. 000181 | * ROOT-COUPLED-YUKAWA-RESPONSE-CHECK.json fuer den exakten 000182 | Nichtkommutativitaetsgegenfall im Neutrinoblock.