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: 148-212 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. 000148 | ## 6. Strikt negativer verbundener Eulerkontakt ohne Strahlengrenzwertannahme 000149 | 000150 | Dieselbe bereits ausgerechnete ganze Polynomquelle liefert eine zusätzliche qualitative Antwort ohne IR Grenzwert. Für z=p^2>0 hat sie 000151 | 000152 | Q(u)=sum_(j=0)^kQ a_j u^j, a_j>=0, 000153 | Q(0)=z^45 det3(z I3+MR^dagger MR)>0. (6) 000154 | 000155 | Die nichtnegativen Koeffizienten folgen direkt aus der ganzen20-Minorenregel (2): jeder Faktor gi besitzt nichtnegative Koeffizienten und jedes Minorenbetragsquadrat ist nichtnegativ. Die geladenen Faktoren besitzen ebenfalls nichtnegative Koeffizienten, weil Af positiv semidefinit ist. Ist irgendeine ursprüngliche Yukawamatrix nichtzero, dann kQ>0 und zugleich a_kQ>0. Damit besitzt Q mindestens zwei unterschiedliche nichtverschwindende Grade. Kein physikalischer Rang ist dafür zu wählen. 000156 | 000157 | Lasse jetzt dnu(H) den tatsächlich gegebenen restlichen H Integrationscaller einschließlich aller gehaltenen Quellen, Koordinatenfaktoren und Referenzbeine bezeichnen. Er wird nicht neu gewählt. Für diesen Satz gelte: dnu ist ein positives Maß, alle betrachteten Faktoren sind beim fermionischen Compositeparameter g fest, und 000158 | 000159 | 0=0 legitim, denn (6) garantiert Q(u)>0. Es wird kein singulärer allgemeiner Feldpfaffian normalisiert. Definiere lediglich zur Auswertung der bereits gegebenen Quelle 000171 | 000172 | pi_j(u)=a_j u^j/Q(u). 000173 | 000174 | Für u>0 ist dies eine tatsächliche positive endliche Gradverteilung und 000175 | 000176 | y(u)=-4 E_pi(u)[j], 000177 | d_(log u)y(u)=-4 Var_pi(u)(j)<=0. (8) 000178 | 000179 | Bei mindestens einer nichtzero Yukawa ist die Varianz für alle u>0 strikt positiv. Ferner y(0)=0 und -4kQ<=y(u)<=0. Daher ist y auf [0,infinity) strikt fallend; die gegebenen Momentbedingungen reichen auch für die markierten Integrale aus. 000180 | 000181 | Nach der tatsächlichen Berezinintegration ist mit dmu=Z^-1 Q(u)^2 dnu(H) 000182 | 000183 | Cov(U,S_Y^E)=Cov_mu(u,y(u)). (9) 000184 | 000185 | Für zwei unabhängige Kopien U,U' dieser EINEN gegebenen positiven Quelle gilt exakt 000186 | 000187 | 2 Cov_mu(U,y(U)) 000188 | =E[(U-U')(y(U)-y(U'))]. (10) 000189 | 000190 | Jeder Integrand in (10) ist nichtpositiv und bei U!=U' strikt negativ. Folglich 000191 | 000192 | Cov(U,S_Y^E)<0 (11) 000193 | 000194 | wenn irgendeine ursprüngliche Yukawa nichtzero und U unter dem tatsächlichen Integrationscaller nicht konstant ist. Bei allen Yukawas0 oder konstantem U ist die Kovarianz0. Es braucht weder ein beschränktes Restgewicht noch einen Grad0 Strahlengrenzwert, weder eine IR Entfernung noch eine kleine Kopplung oder Gaußnäherung. 000195 | 000196 | Insbesondere darf eine tatsächlich vorhandene positive ungekürzte quartische H Gewichtung vollständig im selben Caller dnu stehen. Wo dieser Caller wirklich den oben geprüften konstanten ganzen H Produktpfaffian verwendet, gilt (11) auch für eine solche konfinerende Gewichtung. Der Zahlenwert aus (5) wird dadurch nicht auf die Quartik übertragen. Die ursprünglichen R048 radialen/globale Domain und Jacobiandaten bleiben erforderlich und müssen als tatsächliche positive Bestandteile von dnu vorliegen. Keine lokale radiale Gaugekarte wird globalisiert. 000197 | 000198 | Die Aussage beweist damit eine strikte Kopplungsantwort des schon vorhandenen ganzen konstanten Produktmodenpaars für jede passende ursprüngliche positive H Gewichtung. Die Geltungsgrenzen aus Abschnitt4 bleiben erhalten: S_Y^E ist die globale affine euklidische Fermionmarke; kein lokales Y_ham(s), kein variabler H Modenturm, keine gekoppelte primitive OS Feldhistorie und kein komplexer/signed Referenzcaller werden ohne ihre passende ursprüngliche Identifikation eingeschlossen. Die24 symbolischen Kontrollen oben betreffen die Rangkoeffizienten. (6)–(11) sind die hier dargestellte direkte algebraische und integrale Folgerung, kein zusätzlich behaupteter Leanbeweis. 000199 | 000200 | ## 7. Eine gemeinsame Higgsintegration für die gesamte tatsächlich vorgegebene finite Modenfamilie 000201 | 000202 | Sei J die tatsächlich vorgegebene kompatible finite Menge von m unterschiedlichen ursprünglichen Gegenmoduspaaren (p_j,-p_j), jeweils p_j^2>0, ohne Nullmodus und ohne doppelte Zählung eines Paars. Jede Paarung muss im ursprünglichen Regulator samt seinen tatsächlichen gegebenen beziehungsweise dualen Domains dieselbe oben geprüfte freie Produktform besitzen; Impulse oder Moden werden hier nicht neu gewählt. Alle Paare verwenden EIN gemeinsames konstantes ganzes H und dieselben vorgegebenen Y und MR. 000203 | 000204 | Dann ist die tatsächliche gemeinsame Quelle P_total(u)=product_(j in J) Q(p_j,u)^2, nicht eine Produktintegration mit voneinander unabhängigen H_j. Mit S_j=p_j^2 Sigma_plus+T_M(p_j) und A_total=product_j aQ(p_j)^2 bleibt ihr absoluter führender Faktor erhalten: P_total=A_total u^(2kQ m)[1+4(sum_j S_j)/u+O(u^-2)]. 000205 | 000206 | Die ursprüngliche einmalige vierreelle Gaußintegration hat deshalb das Momentverhältnis 1/[2(2kQ m+1)]. Für denselben dominierten Grad0 Grenzwert des gemeinsam gehaltenen Restgewichts mit nichtverschwindendem führenden Winkelintegral folgt B/A=2 sum_j S_j/(2kQ m+1). Der Eulermarker g skaliert den H linearen Fermionvertex in ALLEN tatsächlichen Paaren gemeinsam, so dass derselbe bereits algebraisch verbundene Ausdruck -4B/A gilt. 000207 | 000208 | Damit ist der ganze gemeinsame finite Familienwert exakt C_total=-8 sum_(j in J)[p_j^2 Sigma_plus+T_M(p_j)]/(2kQ m+1). Er ist wegen des gemeinsamen Nenners ausdrücklich nicht die Summe separat normalisierter Einpaarantworten. Bei allen Yukawas0 gilt0; das leere J gibt ebenfalls0. 000209 | 000210 | Auch P_total besitzt nichtnegative Polynomkoeffizienten und einen positiven konstanten Koeffizienten. Für m>=1 und irgendein Y!=0 ist der gemeinsame Score -2u P_total'/P_total streng fallend. Deshalb gilt der strikte Vorzeichensatz aus Abschnitt6 unverändert für jede passende tatsächliche positive gemeinsame H Gewichtung mit nichtkonstantem U und endlichem ersten U Moment, ohne IR Grenzwertannahme. 000211 | 000212 | Dies integriert die EIN gemeinsame H Variable der gesamten tatsächlich kompatibel vorgegebenen finiten konstanten Familie. Nichtkonstantes H, dadurch gekoppelte Impulse, der unendliche Cut Grenzwert sowie die ganze gekoppelte physische primitive OS Quelle werden nicht durch diese Faktorisation ersetzt. Ein tatsächlich vorhandener Nullmodus müsste als sein eigener ursprünglicher Quellenfaktor mitgeführt werden und ist hier ausdrücklich nicht Teil von J.