TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-paper-source-reconciliation-20261102/shorttime_20261105M/rankfree_source/RANKFREE-ORIGINAL-WHOLE-PAIR-EULER.md
Original file SHA-256: 272ef15f3e6558f08db955456b05417adaf7f17c36e7de03347948800db712e8
Inclusive original lines: 1-147
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 | # Rangfreie Auswertung desselben ursprünglichen Gegenmoduspaares
000002 | 
000003 | Stand 2026-11-05. Dies ergänzt die bereits geprüfte ganze96 Produktformel und ihre physische384 Gegenmoduspaarung, ohne einen physikalischen Yukawarank zu wählen. Die Dateien und der eingefrorene frühere Bericht in shorttime20261105K_pfaffian bleiben unverändert. Das Ergebnis betrifft den globalen euklidischen Eulerquellenmarker, nicht das lokale R113/HYPF Wort Y_ham(s).
000004 | 
000005 | ## 1. Ursprung und tatsächliche komplexe Basisänderung
000006 | 
000007 | Aus der ursprünglichen v252 LR Konvention ist nach dem vorhandenen schwachen Orbittransport H=(0,sqrt(u)) der ganze Neutrinoblock
000008 | 
000009 |     Xi = [[0, sqrt(u) bar(Ynu)],
000010 |           [sqrt(u) Ynu^dagger, MR]],     MR^T=MR.
000011 | 
000012 | Der bereits erhaltene ganze96 Faktor lautet
000013 | 
000014 |     Q(p,u) = det3(z+u Au)^6 det3(z+u Ad)^6 det3(z+u Ae)^2 Qnu(p,u),
000015 |     Af=Yf^dagger Yf, z=p^2>0,
000016 |     Qnu=det6(z+Xi^dagger Xi).
000017 | 
000018 | Die tatsächliche384 Gegenmoduspaarung hat Pf M_pair=Q^2. Insbesondere ist ein einzelner Q Faktor keine zusätzlich postulierte unabhängige physische Pfaffianquelle.
000019 | 
000020 | Sei Ynu=L D R^dagger eine Singulärwertzerlegung mit D=diag(y1,...,yr,0,...,0), yi>0, k=3-r. Die UNITÄRE Kongruenz W=diag(L,bar(R)) gibt
000021 | 
000022 |     W^T Xi W = [[0, sqrt(u) D], [sqrt(u) D, M]],
000023 |     M=R^dagger MR bar(R),    M^T=M.
000024 | 
000025 | Die komplexe Konjugation ist durch die originale Xi Konvention gebunden. M=R^T MR R ohne gleichzeitigen Konventionswechsel wäre hier falsch. Die Determinante z+Xi^dagger Xi bleibt unter der angegebenen unitären Kongruenz unverändert. Diese Basisänderung ist keine neue Quelle, Yukawawahl oder neue Familienprojektion.
000026 | 
000027 | Zerlege nur zur Rechnung die wirkliche ganze Matrix nach ihrem Rang:
000028 | 
000029 |     M=[[M11,M10],[M10^T,M00]],
000030 |     J=diag(y1^-2,...,yr^-2), G=u D^2+z I3,
000031 |     S0=Ik+M00^dagger M00/z.
000032 | 
000033 | Leere Produkte und Determinanten sind1; leere Spuren sind0. Bei r=0 ist J leer und die spätere Rückkehrspur0. Bei r=3 ist die Nullfaser leer.
000034 | 
000035 | ## 2. Ganze Neutrinodeterminante und ihre beiden höchsten Koeffizienten
000036 | 
000037 | Der ursprüngliche ganze6 Block ergibt über Xi Xi^dagger und den exakten Schurkomplementausdruck
000038 | 
000039 |     Qnu=det(G) det(G+z M G^-1 M^dagger).                    (1)
000040 | 
000041 | Da z>0 ist G invertierbar für jeden Rang und jedes u>=0. Die Formel enthält keine Pseudoinverse einer physisch singulären Masse.
000042 | 
000043 | Eine ausdrücklich endliche, polynomiale Form von (1) ist
000044 | 
000045 |     Qnu = sum_(ell=0)^3 z^ell
000046 |           sum_(|I|=|Jset|=ell) |det M[I,Jset]|^2
000047 |           product_(i notin I) gi product_(j notin Jset) gj,
000048 |     gi=u yi^2+z (i aktiv), gi=z (i null).                 (2)
000049 | 
000050 | Dies folgt durch zwei Cauchy-Binet Anwendungen. Die sechs ursprünglichen Neutrinoplätze und alle Majoranaeinträge bleiben erhalten. Es sind20 Minorenprodukte, keine neu gewählte kleine physische Matrix. (2) ist eine direkt auswertbare ganze Neutrinopolynomregel für alle Ränge.
000051 | 
000052 | Setze Delta=product_(i=1)^r yi^2=pdet(Ynu^dagger Ynu). Dann
000053 | 
000054 |     Qnu=a_nu u^(2r)+b_nu u^(2r-1)+O(u^(2r-2)),
000055 |     a_nu=z^k Delta^2 det(z Ik+M00^dagger M00),
000056 |     b_nu/a_nu=2z Tr(J)+2 T_M,
000057 |     T_M=Tr[J M10 S0^-1 M10^dagger].                      (3)
000058 | 
000059 | Bei r=0 ist Qnu unabhängig von u, a_nu=z^3 det(z I3+MR^dagger MR) und b_nu=0. Die negative Potenz in der allgemeinen Schreibweise ist dann kein zusätzliches Polynomglied. T_M>=0, weil z>0 und S0 positiv definit sind.
000060 | 
000061 | Zur unabhängigen Herleitung des zweiten Koeffizienten:
000062 | 
000063 |     G^-1=P_null/z+J/u+O(u^-2),
000064 |     R0=z Ik+M00 M00^dagger.
000065 | 
000066 | Das zweite Schurkomplement aus (1) hat in der Nullfaser den ersten Korrekturblock
000067 | 
000068 |     z M10^T J bar(M10)
000069 |        -M00 M10^dagger J M10 M00^dagger.
000070 | 
000071 | Die Aktivfaserdeterminante trägt Tr[J(z I+M10 M10^dagger)] bei; det(G) liefert ein weiteres z Tr J. Mit
000072 | 
000073 |     I-M00^dagger R0^-1 M00
000074 |        =z(z I+M00^dagger M00)^-1
000075 | 
000076 | werden der Aktivfaserterm mit M10 M10^dagger und der negative Rückkehrterm zusammen zu T_M. Der verbleibende positive Nullfaserterm ist ebenfalls T_M: hierfür wird tatsächlich M00^T=M00 eingesetzt und die Spur transponiert. Ohne diese ursprüngliche komplexe Symmetrie wäre die Gleichsetzung nicht begründet. M11 fällt in dieser Ordnung aus; es wurde nicht aus der Quelle gelöscht.
000077 | 
000078 | Für r=2 ist M00 ein komplexer Skalar und
000079 | 
000080 |     a_nu=z Delta^2(z+|M00|^2),
000081 |     T_M=z/(z+|M00|^2) ||D_active^-1 M10||_F^2.
000082 | 
000083 | Damit kann Majorana bei singulärem Ynu bereits im führenden und im nächsten Koeffizienten auftreten. Die alte Vollrangbehauptung, Majorana beginne erst eine Ordnung später, bleibt genau auf ihren Vollrangzweig beschränkt.
000084 | 
000085 | ## 3. Alle ursprünglichen Familien und Farben, ohne Rangannahme
000086 | 
000087 | Für jedes f=u,d,e,nu sei rf=rank Yf und A_f^+ die Moore-Penrose Inverse auf den tatsächlichen positiven Singulärwertplätzen. Die geladenen Faktoren erfüllen exakt
000088 | 
000089 |     det3(z+u Af)^sf
000090 |       =a_f u^(sf rf) [1+sf z Tr(A_f^+)/u+O(u^-2)],
000091 |     a_f=z^(sf(3-rf)) pdet(Af)^sf,
000092 |     (su,sd,se)=(6,6,2).
000093 | 
000094 | Definiere
000095 | 
000096 |     kQ=6ru+6rd+2re+2rnu,
000097 |     Sigma_plus=3Tr(Au^+)+3Tr(Ad^+)+Tr(Ae^+)+Tr(Anu^+),
000098 |     S=z Sigma_plus+T_M,
000099 |     aQ=a_u a_d a_e a_nu.
000100 | 
000101 | Dann lautet die tatsächliche ganze96 Polynomantwort
000102 | 
000103 |     Q=aQ u^kQ+2aQ S u^(kQ-1)+O(u^(kQ-2)),
000104 | 
000105 | und die ganze384 Gegenmoduspfaffianantwort
000106 | 
000107 |     Pf M_pair=aQ^2 u^(2kQ)
000108 |               +4aQ^2 S u^(2kQ-1)+O(u^(2kQ-2)).          (4)
000109 | 
000110 | Für kQ=0 sind alle Yukawas0, S=0 und die ganze Quelle ist H unabhängig. Weil z>0 ist aQ>0 für jeden tatsächlichen Rang. Die neue Formel braucht weder einen geratenen Rang noch eine Division durch det Ynu. Die Spuren auf positiven Singularplätzen und die auf der ursprünglichen Nullfaser berechnete Rückkehrspur sind gemeinsam durch den Koeffizientenquotienten aus (1) basisunabhängig.
000111 | 
000112 | ## 4. Vollständig integrierter globaler Eulerkontakt in derselben IR Klasse
000113 | 
000114 | Behalte den ursprünglichen isotropen IR Faktor exp(-r_IR u/2) in den vier reellen Koordinaten der gegebenen Higgsdublette. Der gesamte gehaltene Rest w(H) sei beschränkt und habe unter H=y/sqrt(r_IR) einen dominierten Grad0 Strahlengrenzwert w_infinity(y/|y|). Sein führender Winkelintegralwert sei nichtzero. Richtungsabhängige und komplexe w sind damit weiterhin erlaubt; alle gegebenen Referenzfaktoren bleiben im gleichen Caller.
000115 | 
000116 | Der Compositequellenparameter g multipliziert ausschließlich den originalen H linearen Fermionvertex bei festgehaltenen physikalischen Yukawaparametern, Bosonkoeffizienten, Majorana, Referenz und Eta. Es ist die ursprüngliche Halbgewichtpaarung, so dass d_g P=-I_fermion[S_Y^E] gilt. Diese Ableitung wird nicht als Variation sämtlicher Y abhängigen Terme umgedeutet.
000117 | 
000118 | (4) hat führenden H Homogenitätsgrad4kQ. Dieser konstante Euleranteil fällt vor jedem Grenzübergang im verbundenen Ausdruck aus. Für kQ>=1 ist das einzige radiale Momentverhältnis
000119 | 
000120 |     E_gamma4[u^(2kQ-1)]/E_gamma4[u^(2kQ)]
000121 |        =1/[2(2kQ+1)].
000122 | 
000123 | Daher ist B/A=2S/(2kQ+1) und die tatsächliche radiale Integration ergibt
000124 | 
000125 |     lim_(r_IR downarrow0) Cov_rIR(U,S_Y^E)
000126 |        = -4 B/A
000127 |        = -8 [p^2 Sigma_plus+T_M]/(2kQ+1).               (5)
000128 | 
000129 | Für kQ=0 gilt derselbe Ausdruck als0. Es ist keine Konvergenzrate des gehaltenen Restgewichts nötig, da die führende Eulerkonstante bereits algebraisch verschwindet.
000130 | 
000131 | Alle Ränge3 geben kQ=48, T_M=0 und exakt den früheren Wert -8p^2 Sigma/97 zurück. Sind die geladenen Ränge3 und der tatsächliche Neutrinorang2, dann ist kQ=46 und
000132 | 
000133 |     C=-8 p^2/93 * [Sigma_plus
000134 |                   +||D_active^-1 M10||_F^2/(p^2+|M00|^2)].
000135 | 
000136 | Die Berechnung gilt für p^2>0. Der Fall p=0 wird nicht durch Vertauschen der beiden Grenzwerte eingeschmuggelt; die singuläre reine Massenfaser hat ihren eigenen bereits bekannten Polynomgrad und kann verschwinden.
000137 | 
000138 | Der Quellengeltungsbereich ist unverändert: freie gewöhnliche Spin4 Produktpaarung, konstantes ganzes H, tatsächliches Gegenmoduspaar, globaler euklidischer Eulerkontakt und der benannte begrenzte Strahlengrenzwert. Die ursprüngliche ungekürzte positive R048 Quartik exp(-lambda u^2) hat Strahlengrenzwert0; (5) wird nicht auf diesen anderen Caller übertragen. Nichtkonstante H Felder koppeln Impulse und erlauben kein Produkt unabhängiger Hintergrundmoden. Das lokale R113 Y_ham(s), der ganze Modenturm, die gekoppelte Geometrie und die ganze primitive markierte OS Historienquelle sind hier nicht integriert. Die neue Rechnung beseitigt die Rangvoraussetzung der vorhandenen Modenantwort; sie behauptet keine gesamte primitive Lösung.
000139 | 
000140 | ## 5. Prüfung und Originalbezug
000141 | 
000142 | check_rankfree_original_pfaffian.py prüft die beiden höchsten Koeffizienten aus der endlichen20-Minoren-Polynomregel für alle vier möglichen tatsächlichen Neutrinoränge symbolisch. Sämtliche sechs komplexen symmetrischen Majoranaeinträge und alle positiven Singulärwerte bleiben Symbole. Zusätzlich prüft es die notwendige komplexe Schurrückkehridentität, die Zählung der ganzen Familien/Farben und die exakte radiale Eulerintegration. Keine numerischen physikalischen Yukawas, Majoranaeinträge, Impulse oder Ränge werden gewählt. Ergebnis:24/24 exakte symbolische Kontrollen bestanden.
000143 | 
000144 | Die erste ganze96/384 Paarungsidentität und die v252 Konvention wurden zuvor in shorttime20261105K_pfaffian gegen die tatsächlich ursprünglichen Operatorblöcke geprüft (64/64 Kontrollen). Dieser Zusatz verändert weder den originalen Operator noch die damaligen Dateien. Die neue Rechnung beginnt an dessen ganzer6 Neutrinodeterminante, nicht an einer neuen physikalischen Projektion.
000145 | 
000146 | Originalquellen mit aktuellen Hashes stehen in provenance.json: verification/v252_full_finite_triple.py:80–128; experiments/theory-contracts/craig-original-source-bridge-20261103/ACTUAL-PRODUCT-PAIRING.txt:48–105; tatsächlicher actual_product_pairing.py; experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/DYNAMICAL-HIGGS-SOURCE-PROOF.txt:34–78,121–144. Der Rangbelegcheck aus K bleibt erhalten: es wird weder tatsächlicher Vollrang noch tatsächlicher Rang2 des physischen Ynu behauptet.
000147 |