From 134ee20a1c01e778d746d34341e02d0eafc765bb Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 10:43:37 +0200 Subject: [PATCH 01/55] Add critical-half Green/tree bridge audit --- ...TICAL_HALF_GREEN_TREE_BRIDGE_2026-09-13.md | 766 ++++++++++++++++++ 1 file changed, 766 insertions(+) create mode 100644 audits/P11_CRITICAL_HALF_GREEN_TREE_BRIDGE_2026-09-13.md diff --git a/audits/P11_CRITICAL_HALF_GREEN_TREE_BRIDGE_2026-09-13.md b/audits/P11_CRITICAL_HALF_GREEN_TREE_BRIDGE_2026-09-13.md new file mode 100644 index 00000000..94900197 --- /dev/null +++ b/audits/P11_CRITICAL_HALF_GREEN_TREE_BRIDGE_2026-09-13.md @@ -0,0 +1,766 @@ +# P11 Audit — Critical-half Green/tree bridge + +**Datum:** 13. September 2026 +**Rolle:** theorem-level Strukturaudit nach `NULLPOL-COMMON`; keine Registry-Promotion. +**Basis:** `main` nach Merge von PR #107 (`6e7b0c8229cc69a8d86d85a9db99d6646339ffda`). +**Scope:** exakte Operator-/Gram-Identitaeten; kein NP-GAP-, Object-X- oder RH-Abschluss. + +--- + +## 0. Kurzurteil + +Die bisher getrennten Strukturen + +- NULLPOL-Bedingungen `M(v)(0)=M(v)(1)=0`, +- Prime-Power-AR(1)/Kac--Murdock--Szego aus PR #98, +- cross-prime Hub-Korrelation, +- die POS-DIL-Amplitude `1-p^{-k/2}` aus PR #101, +- der archimedische Root-Defekt `1-e^{-t/2}` aus NULLPOL-COMMON, +- und der Grundmodus der archimedischen Digamma-/Gamma-Schicht + +werden durch **denselben critical-half Kernel** verbunden: + +```math +\boxed{G_{1/2}(x,y)=e^{-|x-y|/2}.} +``` + +Er ist zugleich + +1. der Green-Kern von `L_{1/2}:=-\partial_x^2+1/4` auf `R`; +2. der exakt auf `k log p` abgetastete AR(1)-Kernel `p^{-|j-k|/2}`; +3. der Grundmodus `mu_0=1/2` der positiven Gamma-Resolventenleiter; +4. der Root-Korrelationskern eines expliziten OU-/Sternbaum-Hilbertraums, dessen gewichtete Gram-Matrix den fensterlosen P11-Prime-Index-Ledger inklusive cross-prime Hub exakt reproduziert. + +Zusaetzlich gilt exakt + +```math +\boxed{ +C_c^\infty(-a,a)\cap\ker M(0)\cap\ker M(1) += +L_{1/2}C_c^\infty(-a,a). +} +``` + +Damit wird der NULLPOL-Gate zu einer **Range-Bedingung desselben Operators**, dessen Green-Kern die Prime-Power-Korrelation erzeugt. + +**Status:** + +```text +NULLPOL = range(L_{1/2}) on every compact window ✓[M] +critical-half Green kernel ✓[M] +prime star-tree Gram realization ✓[M] +P11 root+tail factorization from tree innovations ✓[M] +POS-DIL root-defect identity ✓[M] +Gamma resolvent ladder with ground mass 1/2 ✓[M] +archimedean J as same root-chord energy ✓[M] +NP-GAP moment-free L_{1/2}-lift ✓[M] +sharp NP-GAP lower frame bound ?[O] +full positive Object-X realization / RH ?[O] +publication novelty ?[O] +``` + +--- + +# 1. Der critical-half Operator und sein Green-Kern + +Setze + +```math +D=-i\partial_x, +\qquad +L_{1/2}:=D^2+\frac14=-\partial_x^2+\frac14. +``` + +Dann gilt distributionell auf `R` + +```math +\boxed{ +L_{1/2}\,e^{-|x|/2}=\delta_0. +} +``` + +Also besitzt `L_{1/2}^{-1}` den Faltungskern + +```math +\boxed{ +G_{1/2}(x,y)=e^{-|x-y|/2}. +} +``` + +Der Faktor vor dem Exponential ist hier genau `1`, weil der allgemeine Green-Kern von `D^2+mu^2` gleich + +```math +\frac1{2\mu}e^{-\mu|x-y|} +``` + +ist und fuer `mu=1/2` gerade `2mu=1` gilt. + +--- + +# 2. NULLPOL ist exakt die lokale Range von `L_{1/2}` + +Wir verwenden + +```math +M(v)(s)=\int_{\mathbb R}v(x)e^{(s-1/2)x}\,dx. +``` + +Damit + +```math +M(v)(0)=\int e^{-x/2}v(x)\,dx, +\qquad +M(v)(1)=\int e^{x/2}v(x)\,dx. +``` + +## Satz 2.1 — lokale Range-Charakterisierung + +Fuer jedes `a>0` gilt + +```math +\boxed{ +\mathscr D_{NP,a} +:= +\{v\in C_c^\infty(-a,a):M(v)(0)=M(v)(1)=0\} += +L_{1/2}C_c^\infty(-a,a). +} +``` + +### Beweis: `Range subset NULLPOL` + +Sei `u in C_c^infty(-a,a)` und `v=L_{1/2}u`. Zweimalige partielle Integration liefert + +```math +\int e^{\pm x/2}\left(-u''+\frac14u\right)dx=0, +``` + +denn + +```math +\left(-\partial_x^2+\frac14\right)e^{\pm x/2}=0. +``` + +Also `M(v)(0)=M(v)(1)=0`. + +### Beweis: `NULLPOL subset Range` + +Sei umgekehrt `v in D_{NP,a}` und setze vorwaerts + +```math +\boxed{ +u(x):=(L_{1/2}^{-1}v)(x) +=\int_{\mathbb R}e^{-|x-y|/2}v(y)\,dy. +} +``` + +Dann gilt `L_{1/2}u=v`. Liegt `x` rechts vom Traeger von `v`, so + +```math +u(x) +=e^{-x/2}\int e^{y/2}v(y)dy +=e^{-x/2}M(v)(1)=0. +``` + +Liegt `x` links vom Traeger, so + +```math +u(x) +=e^{x/2}\int e^{-y/2}v(y)dy +=e^{x/2}M(v)(0)=0. +``` + +Damit ist `u` wieder kompakt im selben Fenster getragen; aus `L_{1/2}u=v` und glattem `v` folgt `u in C_c^infty(-a,a)`. Also `v=L_{1/2}u`. + +Da `L_{1/2}>0` auf `L^2(R)` ist die Darstellung eindeutig. + +**Wichtig:** Hier wird kein Paley--Wiener-Satz benoetigt. Die beiden Mellin-Nullen sind exakt die Bedingungen, welche die beiden exponentiellen Aussenschwaenze des Green-Resolventen vernichten. + +--- + +# 3. Der logarithmische Prim-Sternbaum + +Definiere einen verwurzelten metrischen Sternbaum `T_P` mit Root `o` und fuer jede Primzahl `p` einer eigenen Halbgeraden `R_p=[0,infty)`. + +Ein Punkt auf Ast `p` in Radius `x>=0` werde `(p,x)` genannt. Die Metrik ist + +```math +d((p,x),(p,y))=|x-y|, +``` + +und fuer `p!=r` + +```math +d((p,x),(r,y))=x+y. +``` + +Die Prime-Power-Knoten sind + +```math +\boxed{x_{p,k}:=(p,k\log p),\qquad k>=1.} +``` + +Damit liegen Potenzen derselben Primzahl auf einer logarithmisch aequidistanten Halbgeraden, waehrend verschiedene Primzahlen nur den Root teilen. + +--- + +# 4. Explizite positive Hilbert-Realisierung des Baumkerns + +Setze + +```math +\mathscr K +:= +\mathbb C e_o +\oplus +\bigoplus_p L^2(\mathbb R_+,ds). +``` + +Fuer `x>=0` definiere + +```math +\boxed{ +\Phi_{p,x} +:= +e^{-x/2}e_o +\oplus +\left[ +\mathbf1_{[0,x]}(s)e^{-(x-s)/2} +\right]_p. +} +``` + +Am Root sei `Phi_o=e_o`. + +Zunaechst + +```math +\|\Phi_{p,x}\|^2 +=e^{-x}+\int_0^x e^{-(x-s)}ds +=1. +``` + +Sind `0<=x<=y` auf demselben Ast, dann + +```math +\begin{aligned} +\langle\Phi_{p,x},\Phi_{p,y}\rangle +&=e^{-(x+y)/2} ++e^{-(x+y)/2}\int_0^x e^s ds\\ +&=e^{-(y-x)/2}. +\end{aligned} +``` + +Auf verschiedenen Aesten ueberlappt nur die Root-Koordinate: + +```math +\langle\Phi_{p,x},\Phi_{r,y}\rangle +=e^{-(x+y)/2} +\qquad(p\ne r). +``` + +Somit allgemein + +```math +\boxed{ +\langle\Phi_\alpha,\Phi_\beta\rangle +=e^{-d(\alpha,\beta)/2}. +} +``` + +Dies ist eine explizite Kolmogorov-/OU-Realisierung; Positivitaet des Baumkerns wird nicht aus einem abstrakten Existenzsatz importiert. + +--- + +# 5. Der komplette fensterlose P11-Prime-Ledger ist dieser Baum-Gram + +Aus PR #98: + +```math +w_{p,k}=(\log p)p^{-k/2}, +\qquad +\alpha_{p,k}=\sqrt{\log p}\,p^{-3k/4}, +``` + +und fuer denselben Primast + +```math +C_{jk}^{(p)} +=(\log p)p^{\min(j,k)}p^{-3(j+k)/4} +=\sqrt{w_{p,j}w_{p,k}}\,p^{-|j-k|/2}. +``` + +Definiere gewichtete Baumfeatures + +```math +\boxed{ +\Psi_{p,k}:=\sqrt{w_{p,k}}\,\Phi_{p,k\log p}. +} +``` + +Dann gilt fuer `p=r` + +```math +\begin{aligned} +\langle\Psi_{p,j},\Psi_{p,k}\rangle +&=\sqrt{w_{p,j}w_{p,k}}\,p^{-|j-k|/2}\\ +&=(\log p)p^{\min(j,k)}p^{-3(j+k)/4}\\ +&=C_{jk}^{(p)}. +\end{aligned} +``` + +Fuer `p!=r` gilt + +```math +\begin{aligned} +\langle\Psi_{p,j},\Psi_{r,k}\rangle +&=\sqrt{w_{p,j}w_{r,k}} + p^{-j/2}r^{-k/2}\\ +&=\sqrt{\log p\log r}\, + p^{-3j/4}r^{-3k/4}\\ +&=\alpha_{p,j}\alpha_{r,k}, +\end{aligned} +``` + +also exakt der gemeinsame Hub-Kreuzkoeffizient. + +Damit ist fuer jede endliche Prime-Power-Kanalmenge der **gesamte fensterlose Hub+Rest-Indexledger** ein einziger positiver Baum-Gram: + +```math +\boxed{ +\mathcal C_{(p,j),(r,k)} += +\langle\Psi_{p,j},\Psi_{r,k}\rangle. +} +``` + +Insbesondere erhaelt der in PR #98 erzwungene Exponent `3/4` eine direkte geometrische Zerlegung: + +```math +\boxed{ +\alpha_{p,k} +=\sqrt{w_{p,k}}\, +\langle\Phi_o,\Phi_{p,k\log p}\rangle +=\sqrt{\log p}\,p^{-k/4}p^{-k/2}. +} +``` + +Also `3/4 = 1/4 + 1/2`: halbes Weil-Diagonalgewicht plus critical-half Root-Korrelation. + +### Firewall + +Dies ist eine Aussage ueber den fensterlosen Kanalindex-Ledger. Fensterprojektionen und die raeumliche P11-Operatorgeometrie duerfen nicht stillschweigend entfernt werden. + +--- + +# 6. Hub und Rest sind exakt Root plus OU-Innovationen + +Setze auf Ast `p` + +```math +h_p:=\log p, +\qquad +q_p=e^{-h_p/2}=p^{-1/2}, +\qquad +\Phi_{p,0}:=\Phi_o. +``` + +Definiere fuer `k>=1` + +```math +\boxed{ +\eta_{p,k} +:= +\frac{\Phi_{p,kh_p}-q_p\Phi_{p,(k-1)h_p}} +{\sqrt{1-q_p^2}}. +} +``` + +Root-Anteil und alle frueheren Astsegmente heben sich exakt weg. `eta_{p,k}` lebt nur auf dem neuen Segment `((k-1)h_p,kh_p]`. Daher ist + +```math +\boxed{ +\{\Phi_o\}\cup\{\eta_{p,k}:p\text{ prim},\ k>=1\} +} +``` + +ein orthonormales System. + +Die Rekursion lautet + +```math +\boxed{ +\Phi_{p,kh_p} +=q_p^k\Phi_o ++\sqrt{1-q_p^2} +\sum_{m=1}^k q_p^{k-m}\eta_{p,m}. +} +``` + +Fuer eine endlich getragene Kanalfolge `X=(X_k)` folgt somit + +```math +\left\|\sum_k X_k\Phi_{p,kh_p}\right\|^2 += +\left|\sum_k q_p^kX_k\right|^2 ++ +\sum_m +\left| +\sqrt{1-q_p^2}\sum_{k>=m}q_p^{k-m}X_k +\right|^2. +``` + +Mit + +```math +(T_qX)_m +=\sqrt{1-q^2}\sum_{k>=m}q^{k-m}X_k, +\qquad +u_k=q^k, +``` + +ist dies exakt + +```math +\boxed{ +R_q=T_q^*T_q+uu^*, +} +``` + +die bereits in PR #98 gefundene Tail-/Hub-Faktorisierung. + +Der Sternbaum liefert daher eine kanonische geometrische Bedeutung: + +- `Hub` = gemeinsame Root-Koordinate; +- `Rest` = voneinander orthogonale Ast-Innovationen; +- cross-prime Korrelation = ausschliesslich gemeinsam geerbte Root-Koordinate. + +Dies widerspricht nicht der frueheren Firewall, dass der Hub metrisch nicht irrelevant ist; er ist gerade die gemeinsame Root-Komponente. + +--- + +# 7. POS-DIL-Amplitude ist die Root-Distanz desselben Kerns + +Aus PR #101 gilt fuer `n=p^k` + +```math +\sqrt{w_{p,k}}D_{p^k} +=\sqrt{\log p}(1-q_p^k)S. +``` + +Da alle `Phi` Einheitsvektoren sind, + +```math +\boxed{ +1-q_p^k +=1-\langle\Phi_o,\Phi_{p,k\log p}\rangle +=\frac12\|\Phi_{p,k\log p}-\Phi_o\|^2. +} +``` + +Also + +```math +\boxed{ +\sqrt{w_{p,k}}D_{p^k} +=\frac{\sqrt{\log p}}2 +\|\Phi_{p,k\log p}-\Phi_o\|^2 S. +} +``` + +Der fruehere Faktor `flat minus AR(1)-root` ist damit kein isoliertes algebraisches Muster, sondern die quadrierte Chordaldistanz zum gemeinsamen Root im selben positiven Hilbertraum. + +--- + +# 8. Die archimedische Gamma-Schicht ist eine positive Resolventenleiter + +Aus NULLPOL-COMMON ist + +```math +h(t)=\frac{e^{-t/2}}{1-e^{-2t}}. +``` + +Fuer `t>0` gilt absolut positiv + +```math +\boxed{ +h(t)=\sum_{m=0}^\infty e^{-\mu_m t}, +\qquad +\mu_m:=2m+\frac12.} +``` + +Das archimedische positive Symbol ist + +```math +\Phi_\infty(z) +=2\int_0^\infty h(t)(1-\cos zt)dt. +``` + +Tonelli und + +```math +\int_0^\infty e^{-\mu t}(1-\cos zt)dt +=\frac{z^2}{\mu(\mu^2+z^2)} +``` + +liefern exakt + +```math +\boxed{ +\Phi_\infty(z) +=2\sum_{m=0}^\infty +\frac{z^2}{\mu_m(\mu_m^2+z^2)}. +} +``` + +Mit der klassischen Digamma-Partialbruchreihe ist dies identisch zu + +```math +\boxed{ +\Phi_\infty(z) += +\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right) +-\psi(1/4). +} +``` + +Operatorisch: + +```math +\boxed{ +\Phi_\infty(D) += +\sum_{m=0}^\infty +\frac{2}{\mu_m} +D^2(D^2+\mu_m^2)^{-1} +} +``` + +als positive Form-/Spektralmultiplizierer. + +Jeder Summand ist ein positiver Resolventendefekt des massiven eindimensionalen Operators + +```math +L_{\mu_m}=D^2+\mu_m^2. +``` + +Der Grundmodus ist + +```math +\boxed{\mu_0=\frac12,} +``` + +und daher + +```math +L_{\mu_0}=L_{1/2}, +\qquad +L_{\mu_0}^{-1}(x,y)=e^{-|x-y|/2}. +``` + +**Dies ist exakt derselbe Kernel wie in §§1--7.** + +Zusaetzlich sind die Zahlen + +```math +\mu_m=2m+\frac12 +``` + +genau die reellen Abstaende der kritischen Mittellinie `Re(s)=1/2` von den Gammafaktor-Polstellen `s=-2m` von `Gamma(s/2)`. Dies ist die spektrale Herkunft der Leiter; es wird keine neue Aussage ueber Zeta-Nullstellen behauptet. + +Literaturcheck fuer die Digamma-Partialbruchreihe: NIST DLMF §5.7.6. Die hier relevante Prime-/NULLPOL-Verknuepfung wird nicht als publikationsneu beansprucht. + +--- + +# 9. Der archimedische Skalar `J` ist dieselbe Root-Chord-Energie + +NULLPOL-COMMON hat exakt bewiesen + +```math +J +:=2\int_0^\infty h(t)(1-e^{-t/2})dt +=\log2+\frac\pi2. +``` + +Fuege dem Sternbaum formal einen archimedischen kontinuierlichen Ast hinzu und verwende auf ihm denselben `mu_0=1/2`-Featurekernel. Dann + +```math +\|\Phi_{\infty,t}-\Phi_o\|^2 +=2(1-e^{-t/2}). +``` + +Somit + +```math +\boxed{ +J +=\int_0^\infty +h(t)\|\Phi_{\infty,t}-\Phi_o\|^2dt. +} +``` + +Der nichttriviale Integralanteil der archimedischen Schwelle ist also die kontinuierliche `h(t)dt`-gemittelte Root-Distanz **derselben critical-half OU-Geometrie**, deren diskrete Root-Distanzen in §7 die Prime-moment-Amplituden erzeugen. + +Firewall: `kappa_* = log(4pi)+gamma+J` ist damit noch nicht vollstaendig als reine Baumenergie geometrisiert; `log(4pi)+gamma` bleibt eine separate Normalisierungskonstante. + +--- + +# 10. Exakter momentfreier Lift von NP-GAP + +Die Range-Identitaet aus §2 entfernt die zwei Nebenbedingungen vollstaendig. + +Schreibe fuer beliebiges + +```math +u\in C_c^\infty(-a,a) +``` + +```math +v=L_{1/2}u. +``` + +Dann ist `v` automatisch Nullpol, und jedes Nullpol-`v` entsteht eindeutig so. + +Da `K_t` mit `L_{1/2}` kommutiert, + +```math +K_t v=L_{1/2}K_tu. +``` + +Fuer die archimedische Resolventenleiter gilt daher exakt + +```math +\begin{aligned} +\langle v,\Phi_\infty(D)v\rangle +&= +\sum_{m=0}^\infty +\frac{2}{\mu_m} +\left\| +D(D^2+\mu_m^2)^{-1/2}L_{1/2}u +\right\|_2^2. +\end{aligned} +``` + +Der Grundmodus wird **lokal**: + +```math +\boxed{ +\frac{2}{\mu_0} +\left\|D(D^2+\mu_0^2)^{-1/2}L_{1/2}u\right\|^2 +=4\|u''\|_2^2+\|u'\|_2^2. +} +``` + +Ferner + +```math +\boxed{ +\|L_{1/2}u\|_2^2 +=\|u''\|_2^2 ++\frac12\|u'\|_2^2 ++\frac1{16}\|u\|_2^2. +} +``` + +Die Prime-Atome werden + +```math +\boxed{ +\|K_{\log n}v\|_2^2 +=\|L_{1/2}K_{\log n}u\|_2^2. +} +``` + +Damit ist NP-GAP exakt aequivalent zu der **momentfreien** Ungleichung + +```math +\boxed{ +\begin{aligned} +&\sum_{m=0}^\infty +\frac{2}{\mu_m} +\left\| +D(D^2+\mu_m^2)^{-1/2}L_{1/2}u +\right\|_2^2\\ +&\quad+ +\sum_{n\in\mathcal P_a} +\frac{\Lambda(n)}{\sqrt n} +\|L_{1/2}K_{\log n}u\|_2^2\\ +&\qquad\ge +\Gamma_a\|L_{1/2}u\|_2^2, +\qquad +u\in C_c^\infty(-a,a). +\end{aligned} +} +``` + +Es gibt hier **keine Mellin-/Momentennebenbedingungen mehr**. Der Preis ist die feste positive Quellmetrik `||L_{1/2}u||^2`; dafuer ist der erste archimedische Modus ein rein lokaler coerciver `H^2/H^1`-Term. + +Status: + +```text +NP-GAP-LIFT exact equivalence ✓[M] +sharp inequality ?[O] +``` + +Ein Beweis der Ungleichung fuer alle `a` bleibt RH-aequivalent und wird nicht behauptet. + +--- + +# 11. Objekt-X-Bedeutung + +Die neue Struktur ist mehr als eine Umbenennung der bereits bekannten AR(1)-Formel: + +1. **Source-Seite:** NULLPOL ist exakt `Range(L_{1/2})` mit lokalem Green-Inversen. +2. **Prime-Seite:** derselbe Green-Kern, logarithmisch auf Prime-Power-Aesten abgetastet, ist der P11-AR(1)-/Hub-Gramkern. +3. **Hub/Rest:** die bestehende `T_q^*T_q+uu^*=R_q`-Faktorisierung ist die Root-/Innovationszerlegung dieses Baumes. +4. **POS-DIL:** `1-u_k` ist exakt die Root-Chordaldistanz. +5. **Archimedes:** die Digamma-Schicht ist eine positive Resolventenleiter, deren Grundoperator exakt `L_{1/2}` ist. +6. **Archimedischer Skalar:** `J` ist das kontinuierliche Mittel derselben Root-Chordaldistanz. + +Damit existiert nun ein vorwaerts definierter, RH-unabhaengiger **critical-half Green/OU-Kern**, der mehrere bisher nur paarweise verbundene Objekt-X-Bausteine gleichzeitig erklaert. + +Der natuerliche naechste analytische Gate ist nicht, einen weiteren Generator zu erfinden, sondern den `NP-GAP-LIFT` aus §10 mit dieser Green-/Resolventenstruktur anzugreifen. + +--- + +# 12. Firewalls / Nichtbehauptungen + +Nicht behauptet wird: + +- NP-GAP sei bewiesen; +- `Q_W>=0` sei unkonditional bewiesen; +- RH sei bewiesen; +- der Sternbaum allein realisiere bereits die volle Weilform; +- die archimedischen `K_t`-Kanäle seien bereits mit den Prime-Aesten zu einem einzigen vollstaendigen Object-X-Operator verklebt; +- Fensterprojektionen duerften aus P11 entfernt werden; +- `log(4pi)+gamma` sei bereits durch die Baumenergie erklaert; +- Publikationsneuheit sei geklaert. + +Allgemeine OU-Prozesse auf Baeumen und KMS/AR(1)-Kovarianzen sind klassische Strukturen. Der neue projektinterne Befund ist die **exakte Gleichzeitigkeit** dieser Struktur mit dem NULLPOL-Green-Inversen, dem P11-Prime-Ledger, POS-DIL und dem Grundmodus der Gamma-Resolventenleiter. + +--- + +# 13. Neuer Arbeitsauftrag + +Default-Hauptengpass bleibt + +```text +NP-GAP / COMMON-JUMP FRAME BOUND. +``` + +Neue bevorzugte Route: + +```text +CRITICAL-HALF GREEN BRIDGE + -> NULLPOL = Range(L_{1/2}) + -> momentfreier NP-GAP-LIFT + -> Gamma-Resolventenleiter + Prime-Jumps in L_{1/2}-Metrik + -> echte Lower-Frame-Schranke oder enger Klassen-No-Go. +``` + +Insbesondere sollen als naechstes **vorwaerts** untersucht werden: + +1. coercive Schranken der ersten endlich vielen Gamma-Resolventenmodi in der `L_{1/2}`-Metrik; +2. exakte Rolle der Prime-Jumps nach `L_{1/2}`-Lift; +3. ob die OU-Tree-Innovationskoordinaten eine kanonische Vergleichsmetrik zwischen P11 und COMMON-JUMP liefern; +4. ein No-Go gegen jede rein punktweise Kanal-Domination, falls diese die notwendige kleine-`t`-Geometrie nicht respektiert. From a6f760696ed590c504c52c85018b2936440c21e6 Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 10:50:51 +0200 Subject: [PATCH 02/55] Add critical-half rigidity and analytic Schur-gap audit --- ..._HALF_RIGIDITY_AND_SCHUR_GAP_2026-09-13.md | 549 ++++++++++++++++++ 1 file changed, 549 insertions(+) create mode 100644 audits/P11_CRITICAL_HALF_RIGIDITY_AND_SCHUR_GAP_2026-09-13.md diff --git a/audits/P11_CRITICAL_HALF_RIGIDITY_AND_SCHUR_GAP_2026-09-13.md b/audits/P11_CRITICAL_HALF_RIGIDITY_AND_SCHUR_GAP_2026-09-13.md new file mode 100644 index 00000000..207eff0c --- /dev/null +++ b/audits/P11_CRITICAL_HALF_RIGIDITY_AND_SCHUR_GAP_2026-09-13.md @@ -0,0 +1,549 @@ +# P11 Audit — Critical-half rigidity and analytic Schur-gap + +**Datum:** 13. September 2026 +**Basis:** Branch `research/critical-half-green-tree-bridge-2026-09-13`, nach dem Critical-half Green/tree Audit. +**Rolle:** theorem-level Folgerungen aus der neuen Green-/OU-Brücke. +**Registry:** unverändert. +**Nonclaim:** kein globaler NP-GAP-, Object-X- oder RH-Abschluss; keine Publikationsneuheit behauptet. + +--- + +## 0. Kurzurteil + +Die neue Green-/OU-Brücke besitzt eine **rigide Massenskala**. In der natürlichen Einparameterfamilie + +```math +kappa_sigma(alpha,beta)=e^{-sigma d(alpha,beta)}, +\qquad sigma>0, +``` + +wird `sigma=1/2` gleichzeitig und eindeutig durch drei bereits unabhängig vorhandene Projektstrukturen erzwungen: + +1. den P11-Prime-Power-AR(1)-Kern `p^{-|j-k|/2}` und den erzwungenen P11-Hubexponenten `3/4`; +2. die beiden Nullpol-Moden `e^{±x/2}`, also die Pole `s=0,1` um den Mittelpunkt `1/2`; +3. den Grundmodus `mu_0=1/2` der archimedischen Gamma-Resolventenleiter `mu_m=2m+1/2`. + +Damit ist die im Green/tree Audit gefundene `1/2` **nicht frei gewaehlt**: innerhalb dieser natuerlichen OU-/Green-Familie ist sie die einzige gemeinsame Skala. + +Zusaetzlich liefert dieselbe Resolventenleiter eine rein analytische, unkonditionale Lower-Frame-Schranke fuer kleine Fenster. Der saubere elementare Bereich + +```math +0 sigma=1/2 ✓[M] +NULLPOL-pole rigidity ✓[M] +Gamma-ground-mode rigidity ✓[M] +archimedean Schur frame bound S(a) ✓[M] +strict NP-GAP for every 00` definiere im selben Sternbaum-Hilbertraum + +```math +\boxed{ +\Phi^{(\sigma)}_{p,x} +:= +e^{-\sigma x}e_o +\oplus +\left[ +\sqrt{2\sigma}\,\mathbf1_{[0,x]}(s)e^{-\sigma(x-s)} +\right]_p. +} +``` + +Dann + +```math +\|\Phi^{(\sigma)}_{p,x}\|^2 +=e^{-2\sigma x} ++2\sigma\int_0^xe^{-2\sigma(x-s)}ds +=1. +``` + +Direkte Integration liefert fuer beliebige Baumknoten + +```math +\boxed{ +\langle\Phi^{(\sigma)}_\alpha, + \Phi^{(\sigma)}_\beta\rangle +=e^{-\sigma d(\alpha,\beta)}. +} +``` + +Die zuvor gefundene Critical-half-Geometrie ist der Spezialfall `sigma=1/2`; dort ist `sqrt(2 sigma)=1` und zugleich der normierte OU-Kern identisch mit dem unskalierten Green-Kern von `D^2+1/4`. + +--- + +# 2. P11 erzwingt `sigma=1/2` + +Die Weil-Diagonalgewichte sind + +```math +w_{p,k}=(\log p)p^{-k/2}, +``` + +also + +```math +\sqrt{w_{p,k}} +=\sqrt{\log p}\,p^{-k/4}. +``` + +Der Root-Korrelationsfaktor der `sigma`-Familie am Prime-Power-Knoten `x=k log p` ist + +```math +\langle\Phi_o,\Phi^{(\sigma)}_{p,k\log p}\rangle +=p^{-\sigma k}. +``` + +Damit besitzt die gewichtete Rootamplitude notwendigerweise den Exponenten + +```math +\boxed{ +\beta(\sigma)=\frac14+\sigma, +} +``` + +denn + +```math +\sqrt{w_{p,k}}p^{-\sigma k} +=\sqrt{\log p}\,p^{-(1/4+\sigma)k}. +``` + +P11 hat unabhaengig aus der Martingalmultiplizitaet und der geforderten Weil-Diagonale bereits exakt + +```math +\beta=\frac34 +``` + +erzwungen. Daher + +```math +\boxed{ +\frac14+\sigma=\frac34 +\iff +\sigma=\frac12. +} +``` + +Dasselbe folgt direkt aus dem normalisierten same-prime Kern: + +```math +p^{-\sigma|j-k|} +=p^{-|j-k|/2} +\quad\text{fuer alle }j,k +\iff +\sigma=\frac12. +``` + +Somit ist die Critical-half-Skala bereits rein aus dem P11-Prime-Ledger eindeutig bestimmt. + +--- + +# 3. NULLPOL erzwingt dieselbe Skala + +Fuer die allgemeine massive Operatorfamilie + +```math +L_\sigma=D^2+\sigma^2=-\partial_x^2+\sigma^2 +``` + +sind die homogenen exponentiellen Moden + +```math +e^{\pm\sigma x}. +``` + +Genau wie im Green/tree Audit gilt auf einem kompakten Fenster: + +```math +L_\sigma C_c^\infty(-a,a) += +\left\{ +v\in C_c^\infty(-a,a): +\int e^{\sigma x}v(x)dx += +\int e^{-\sigma x}v(x)dx +=0 +\right\}. +``` + +Die reale Nullpolklasse verwendet aber exakt + +```math +M(v)(0)=\int e^{-x/2}v(x)dx=0, +\qquad +M(v)(1)=\int e^{x/2}v(x)dx=0. +``` + +Daher stimmt eine `L_sigma`-Range genau mit NULLPOL ueberein nur fuer + +```math +\boxed{\sigma=1/2.} +``` + +Aequivalent: die beiden Pole `s=0,1` liegen relativ zum Mellin-Mittelpunkt `1/2` bei den Abstaenden `±1/2`. + +--- + +# 4. Die Gamma-Schicht erzwingt dieselbe Skala + +Die positive archimedische Dichte aus NULLPOL-COMMON ist + +```math +h(t)=\frac{e^{-t/2}}{1-e^{-2t}} +=\sum_{m=0}^\infty e^{-\mu_m t}, +\qquad +\mu_m=2m+\frac12. +``` + +Daraus folgt die positive Resolventenleiter + +```math +\Phi_\infty(D) += +\sum_{m=0}^\infty +\frac{2}{\mu_m}D^2(D^2+\mu_m^2)^{-1}. +``` + +Ihr Grundoperator ist + +```math +D^2+\mu_0^2 +=D^2+\frac14 +=L_{1/2}. +``` + +Damit wird aus der Gamma-Schicht selbst + +```math +\boxed{\sigma=\mu_0=1/2.} +``` + +erzwungen. + +Die drei Mechanismen — P11 Prime-Ledger, NULLPOL und Gamma-Grundmodus — treffen daher auf **derselben eindeutig bestimmten Massenskala** zusammen. + +--- + +# 5. Critical-half rigidity theorem + +## Satz 5.1 + +Betrachte die natuerliche OU-/Green-Einparameterfamilie `e^{-sigma d}` auf dem logarithmischen Prim-Sternbaum und den zugehoerigen massiven Quellenoperator `L_sigma=D^2+sigma^2`. Fordere gleichzeitig: + +1. die P11-Weil-Diagonalnormalisierung und den bereits erzwungenen Hubexponenten `beta=3/4`; +2. die exakte lokale Range-Identifikation mit den Nullpolbedingungen bei `s=0,1`; +3. Uebereinstimmung des Grundoperators mit der positiven Gamma-Resolventenleiter. + +Dann existiert genau ein Parameter: + +```math +\boxed{\sigma=\frac12.} +``` + +Jede der drei Bedingungen fixiert `sigma` bereits separat; ihre Gleichzeitigkeit ist daher kein Parameterfit. + +### Bedeutung + +Die Zahl `1/2` erscheint hier in vier algebraisch verschiedenen Rollen: + +```text +critical Mellin midpoint / pole distance, +OU decay mass, +Prime-power AR(1) exponent, +Gamma resolvent ground mass. +``` + +Innerhalb der dokumentierten Familie sind diese Rollen exakt dieselbe Geometrie. + +--- + +# 6. Schur-Untergrenze fuer jeden Gamma-Resolventenmodus + +Setze fuer `mu>0` + +```math +R_\mu=(D^2+\mu^2)^{-1}. +``` + +Der volle Linienkern ist + +```math +R_\mu(x,y)=\frac1{2\mu}e^{-\mu|x-y|}. +``` + +Sei `v` in `[-a,a]` getragen. Dann ist fuer `x in [-a,a]` + +```math +\int_{-a}^aR_\mu(x,y)dy += +\frac{1-e^{-\mu a}\cosh(\mu x)}{\mu^2} +\le +\frac{1-e^{-\mu a}}{\mu^2}. +``` + +Der Schur-Test gibt daher + +```math +\boxed{ +\langle v,R_\mu v\rangle +\le +\frac{1-e^{-\mu a}}{\mu^2}\|v\|_2^2. +} +``` + +Da + +```math +D^2(D^2+\mu^2)^{-1} +=I-\mu^2R_\mu, +``` + +folgt + +```math +\boxed{ +\left\langle v, +D^2(D^2+\mu^2)^{-1}v +\right\rangle +\ge e^{-\mu a}\|v\|_2^2. +} +``` + +Diese Ungleichung benutzt weder RH noch Weil-Positivitaet noch Nullpol. + +--- + +# 7. Geschlossene archimedische Frame-Untergrenze + +Mit `mu_m=2m+1/2` folgt durch Summation der positiven Moden + +```math +\langle v,\Phi_\infty(D)v\rangle +\ge +S(a)\|v\|_2^2, +``` + +wobei + +```math +\boxed{ +S(a) +:=2\sum_{m=0}^\infty\frac{e^{-\mu_m a}}{\mu_m}. +} +``` + +Setze + +```math +x=e^{-a/2}. +``` + +Dann + +```math +S(a) +=4\sum_{m=0}^\infty\frac{x^{4m+1}}{4m+1} +=4\int_0^x\frac{dt}{1-t^4}. +``` + +Die elementare Stammfunktion liefert + +```math +\boxed{ +S(a) += +\log\frac{1+e^{-a/2}}{1-e^{-a/2}} ++2\arctan(e^{-a/2}). +} +``` + +`S(a)` ist streng fallend in `a` und divergiert fuer `a downarrow0`. + +--- + +# 8. Rein elementarer Zertifikatbereich `01-\frac1{32}=\frac{31}{32}. +``` + +Dann + +```math +\log\frac{1+x}{1-x}>\log63. +``` + +Ferner + +```math +\frac\pi4-\arctan x +=\int_x^1\frac{dt}{1+t^2} +<1-x<\frac1{32}, +``` + +also + +```math +2\arctan x>\frac\pi2-\frac1{16}. +``` + +Daher + +```math +S(1/16) +> +\log63+\frac\pi2-\frac1{16}. +``` + +Um dies mit `kappa_*` zu vergleichen, benutzen wir nur die elementaren Schranken + +```math +\pi<\frac{22}{7}, +\qquad +\gamma<\frac23. +``` + +Dann + +```math +\frac{63}{8\pi} +> +\frac{441}{176} +> +\frac52. +``` + +Aus der positiven `artanh`-Reihe folgt + +```math +\begin{aligned} +\log\frac52 +&=2\operatorname{artanh}\frac37\\ +&>2\left(\frac37+\frac1{3}\left(\frac37\right)^3\right) +=\frac{312}{343}. +\end{aligned} +``` + +Und exakt + +```math +\frac{312}{343}-\frac23-\frac1{16} +=\frac{2971}{16464}>0. +``` + +Somit + +```math +\boxed{ +S(1/16)>\kappa_*. +} +``` + +Also fuer jedes `0 +\Gamma_a\|v\|_2^2. +} +``` + +Insbesondere gilt auf NULLPOL strikt + +```math +\boxed{ +Q_W(v)>0 +\qquad(0 abstract NP-GAP, +``` + +sondern + +```text +COMMON-JUMP + -> critical-half rigidity + -> NULLPOL source lift L_{1/2} + -> OU/tree Prime geometry + -> Gamma resolvent ladder + -> analytic frame estimates. +``` + +Das schliesst NP-GAP global nicht, liefert aber erstmals innerhalb dieser Route einen expliziten coerciven Mechanismus und ein rigoroses Positivitaetszertifikat. + +--- + +# 10. Naechster Gate + +Die kleine-Fenster-Schur-Schranke ist absichtlich grob. Der naechste sinnvolle Angriff ist nicht, ihren Radius numerisch zu optimieren, sondern die **Nullpol-/Range-Struktur** zu nutzen, die in §6--8 noch gar nicht verwendet wurde. + +Prioritaet: + +1. Schur-/Resolventenabschätzung nach `v=L_{1/2}u` statt fuer beliebiges `v`; +2. endliche erste Gamma-Moden lokal in der `L_{1/2}`-Metrik behandeln, Rest per Schur; +3. Prime-Jump-Energie ab dem ersten Cutoff nicht wegwerfen, sondern mit der Tree-/Root-Geometrie koppeln; +4. suchen, ob daraus ein radiusstabiler Lower-Frame-Mechanismus entsteht. + +Ein Beweis fuer alle `a` bleibt RH-aequivalent und offen. From 0097cd4fe180025e38e0cdd0527b6ea62756ad59 Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 10:51:32 +0200 Subject: [PATCH 03/55] Sync current front to critical-half Green bridge --- CURRENT-FRONT.md | 321 ++++++++++++++++++++++++++++++----------------- 1 file changed, 206 insertions(+), 115 deletions(-) diff --git a/CURRENT-FRONT.md b/CURRENT-FRONT.md index 4647dadf..92dae5e9 100644 --- a/CURRENT-FRONT.md +++ b/CURRENT-FRONT.md @@ -1,9 +1,9 @@ -# CURRENT FRONT — Objekt X / NULLPOL-COMMON → NP-GAP +# CURRENT FRONT — Objekt X / NULLPOL-COMMON → CRITICAL-HALF → NP-GAP > **Operative Kopfschicht — zuerst lesen.** > **Stand:** 13. September 2026; keine Registry-Promotion. -> **Kanonischer neuer Audit:** [NULLPOL common jump-Gram](audits/P11_NP_COMMON_JUMP_GRAM_2026-09-13.md). -> Vorheriger strategischer Filter: [Nullpol-Reklassifikation](audits/P11_NULLPOLE_STRATEGIC_RECLASSIFICATION_2026-09-13.md). +> **Common-Jump-Audit:** [NULLPOL common jump-Gram](audits/P11_NP_COMMON_JUMP_GRAM_2026-09-13.md). +> **Neue bevorzugte Route:** [Critical-half Green/tree bridge](audits/P11_CRITICAL_HALF_GREEN_TREE_BRIDGE_2026-09-13.md) und [Critical-half rigidity / Schur-gap](audits/P11_CRITICAL_HALF_RIGIDITY_AND_SCHUR_GAP_2026-09-13.md). Diese Datei ordnet die Arbeit; sie beweist nichts. Registry und Arbeitsdefinition bleiben unverändert. @@ -27,192 +27,272 @@ Auf \mathscr D_{NP}=\ker M(0)\cap\ker M(1) ``` -verschwinden daher `R_0` und `\mathcal E`. Connes–Consani Proposition C.1 liefert global einen RH-äquivalenten Weil-Scope mit diesen Nullbedingungen. Keine fixed-`a`-Äquivalenz wird behauptet. +verschwinden `R_0` und `\mathcal E`. Connes–Consani Proposition C.1 liefert global einen RH-aequivalenten Weil-Scope mit diesen Nullbedingungen. Keine fixed-`a`-Aequivalenz wird behauptet. -## 2. Der gemeinsame Prime-/archimedische Kanal `✓[M]` +## 2. Gemeinsamer Prime-/archimedischer Kanal `✓[M]` -Setze für `t>0` +Setze ```math -\boxed{K_t:=T_{t/2}-T_{-t/2}.} +K_t:=T_{t/2}-T_{-t/2}, +\qquad +h(t)=\frac{e^{-t/2}}{1-e^{-2t}}>0, +\qquad +w_n=\frac{\Lambda(n)}{\sqrt n}. ``` -Dann +Fuer ```math -K_t^*K_t=2I-T_t-T_{-t}. +\mathcal P_a=\{n=p^k:\log n\le2a\} ``` -Die archimedische positive Dichte ist +ist ```math -\boxed{ -h(t)=\frac{e^{-t/2}}{1-e^{-2t}} -=\frac{e^{t/2}}{e^t-e^{-t}}>0. -} +\mu_a=h(t)dt+\sum_{n\in\mathcal P_a}w_n\delta_{\log n}. ``` -Die Prime-Power-Gewichte sind +Archimedes ist der kontinuierliche, Prime powers der atomare Teil **derselben** Translation-Differenz-Familie. + +Die positive Featureabbildung ist ```math -w_n=\frac{\Lambda(n)}{\sqrt n}. +\mathcal X_av= +\left( +[t\mapsto K_tv], +[\sqrt{w_n}K_{\log n}v]_{n\in\mathcal P_a} +\right). +``` + +## 3. Exakte COMMON-JUMP-Normalform `✓[M]` + +Mit + +```math +\kappa_* +=\log(8\pi)+\gamma+\frac\pi2 +=\log\pi-\psi(1/4) ``` -Für `supp(v),supp(w) subset [-a,a]` sei +und + +```math +\Gamma_a +=2\sum_{n\in\mathcal P_a}\frac{\Lambda(n)}{\sqrt n}+\kappa_* +``` + +gilt fuer jedes `a>0` exakt ```math -\mathcal P_a=\{n=p^k:\log n\le2a\}. +Q_W(v,w) +=\langle\mathcal Ev,P\mathcal Ew\rangle ++\langle\mathcal X_av,\mathcal X_aw\rangle +-\Gamma_a\langle v,w\rangle. ``` -Definiere die positive gemischte Maßstruktur +Auf NULLPOL: ```math \boxed{ -\mu_a=h(t)dt+\sum_{n\in\mathcal P_a}w_n\delta_{\log n}. +Q_W(v,w) +=\langle\mathcal X_av,\mathcal X_aw\rangle +-\Gamma_a\langle v,w\rangle. } ``` -**Archimedes = kontinuierlicher Teil, Primzahlpotenzen = atomarer Teil desselben `K_t`-Features.** +`R_1`, `log|D|`, Prime shifts und Exterior-shell-Masse sind damit keine getrennten Hauptgeometrien mehr. -## 3. Positive Featureabbildung `✓[M]` +## 4. Cutoff-Gauge `✓[M]` -Ein natürlicher Hilbert-Zielraum ist +Neue Prime-Atome ausserhalb eines bereits kleineren Trägers liefern exakt ```math -\mathscr H_a= -L^2((0,\infty),h(t)dt;L^2(\mathbb R)) -\oplus -\bigoplus_{n\in\mathcal P_a}L^2(\mathbb R). +\langle K_{\log n}v,K_{\log n}w\rangle=2\langle v,w\rangle. ``` +Gramform und `Gamma_a I` wachsen daher um denselben Skalar. Invariant ist + +```math +\mathcal X_a^*\mathcal X_a-\Gamma_aI. +``` + +## 5. Neuer Critical-half Quellenoperator `✓[M]` + Setze ```math \boxed{ -\mathcal X_av= -\left( -[t\mapsto K_tv], -[\sqrt{w_n}K_{\log n}v]_{n\in\mathcal P_a} -\right). +L_{1/2}:=-\partial_x^2+\frac14. +} +``` + +Sein Green-Kern auf `R` ist + +```math +\boxed{ +G_{1/2}(x,y)=e^{-|x-y|/2}. } ``` -Dann +Fuer jedes `a>0` gilt die exakte lokale Range-Identitaet ```math \boxed{ -\langle\mathcal X_av,\mathcal X_aw\rangle -= -\int_0^\infty h(t)\langle K_tv,K_tw\rangle dt -+ -\sum_{n\in\mathcal P_a}w_n -\langle K_{\log n}v,K_{\log n}w\rangle. +C_c^\infty(-a,a)\cap\ker M(0)\cap\ker M(1) +=L_{1/2}C_c^\infty(-a,a). } ``` -Diese Form ist vorwärts konstruiert und positiv; keine Weil-Positivität und keine RH-Annahme gehen ein. +Die zwei Nullpolbedingungen sind genau die Bedingungen, welche die beiden exponentiellen Aussenschwaenze des Green-Inversen vernichten. -## 4. Exakte archimedische Schwelle `✓[M]` +## 6. Derselbe Kernel auf der Prime-Seite `✓[M]` -Direkt aus dem Integralterm der expliziten Formel: +Der aus PR #98 bekannte normierte Prime-Power-Kern ist ```math -2\int_0^\infty h(t)(1-e^{-t/2})dt -=\log2+\frac\pi2. +p^{-|j-k|/2} +=e^{-\frac12|j-k|\log p}, ``` -Daher +also exakt die Abtastung von `G_{1/2}` auf dem logarithmischen Primast `k log p`. + +Auf einem verwurzelten Sternbaum mit einem Halbast pro Primzahl existiert eine explizite positive OU-Featurefamilie `Phi` mit ```math -\boxed{ -\kappa_* -=\log(8\pi)+\gamma+\frac\pi2 -=\log\pi-\psi(1/4). -} +\langle\Phi_\alpha,\Phi_\beta\rangle +=e^{-d(\alpha,\beta)/2}. ``` -und +Nach Weil-Gewichtung reproduziert ihr Gram **den gesamten fensterlosen P11-Hub+Rest-Kanalindex-Ledger**, inklusive cross-prime Hub-Korrelation. Die vorhandene Faktorisierung ```math -\boxed{ -\Gamma_a= -2\sum_{n\in\mathcal P_a}\frac{\Lambda(n)}{\sqrt n} -+\log\pi-\psi(1/4). -} +T_q^*T_q+uu^*=R_q ``` -## 5. Exakte COMMON-JUMP-GRAM-Normalform `✓[M]` +ist exakt die Zerlegung in gemeinsame Root-Koordinate plus orthogonale Ast-Innovationen. + +Firewall: Fensterprojektionen und die raeumliche P11-Geometrie bleiben bestehen. + +## 7. Critical-half rigidity `✓[M]` -Für glatte kompakt getragene `v,w` in `[-a,a]`, **für jedes `a>0`**, gilt exakt +In der natürlichen OU-Familie ```math -\boxed{ -Q_W(v,w) -= -\langle\mathcal Ev,P\mathcal Ew\rangle -+ -\langle\mathcal X_av,\mathcal X_aw\rangle -- -\Gamma_a\langle v,w\rangle, -} +\langle\Phi^{(\sigma)}_\alpha, +\Phi^{(\sigma)}_\beta\rangle=e^{-\sigma d(\alpha,\beta)} ``` -mit +hat die gewichtete Prime-Rootamplitude den Exponenten + +```math +\beta(\sigma)=\frac14+\sigma. +``` + +P11 erzwingt unabhaengig `beta=3/4`; also + +```math +\boxed{\sigma=1/2.} +``` + +Dieselbe Skala wird separat von NULLPOL (`e^{±x/2}`) und vom Grundmodus der Gamma-Resolventenleiter erzwungen. Die `1/2` ist innerhalb dieser Familie kein Fitparameter. + +## 8. Gamma-Schicht als Resolventenleiter `✓[M]` + +Die archimedische Dichte zerfaellt positiv: ```math -P=\begin{pmatrix}0&1\\1&0\end{pmatrix}. +h(t)=\sum_{m\ge0}e^{-\mu_mt}, +\qquad +\mu_m=2m+\frac12. ``` -Auf Nullpol: +Daher ```math \boxed{ -Q_W(v,w) -= -\langle\mathcal X_av,\mathcal X_aw\rangle -- -\Gamma_a\langle v,w\rangle. +\Phi_\infty(D) +=\sum_{m\ge0} +\frac{2}{\mu_m}D^2(D^2+\mu_m^2)^{-1}. } ``` -Damit sind `log|D|`, `R_1`, Prime shifts und Exterior-shell-Masse nicht mehr getrennte Geometriefragen: sie liegen in derselben positiven `K_t`-Jump-Gram-Struktur. +Der Grundmodus ist -## 6. Fourier-Gegencheck +```math +\mu_0=1/2, +``` + +also exakt derselbe Operator `L_{1/2}` wie in NULLPOL und derselbe Zerfall wie im Prime-AR(1)-Kern. -Die positive Featureform hat Symbol +Ferner ist ```math -\Phi_a(z)= -\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right)-\psi(1/4) -+2\sum_{n\in\mathcal P_a}w_n(1-\cos(z\log n))\ge0 +2\int_0^\infty h(t)(1-e^{-t/2})dt ``` -für reelles `z`. Nach Abzug von `Gamma_a` erhält man exakt den nichtpolaren Suzuki-/Weil-Multiplikator. +das kontinuierliche `h(t)dt`-Mittel der quadrierten Root-Chordaldistanz derselben OU-Geometrie. -## 7. Cutoff-Gauge jetzt geometrisiert `✓[M]` +## 9. Momentfreier NP-GAP-Lift `✓[M]` -Für `0\kappa_* +\qquad(00` und jede glatte Nullpol-Testfunktion mit Träger in `[-a,a]`. +fuer jedes `a>0` und jedes Nullpol-`v` mit Traeger in `[-a,a]`. -Äquivalent: +Aequivalent: ```math \lambda_{NP}(a) := \inf_{\substack{0\ne v\in C_c^\infty(-a,a)\\M(v)(0)=M(v)(1)=0}} \frac{\|\mathcal X_av\|^2}{\|v\|_2^2} -\stackrel{?}{\ge}\Gamma_a. +\stackrel?\ge\Gamma_a. ``` -**Das ist jetzt der Default-Auftrag.** Ein Beweis für alle `a` wäre bereits RH; deshalb darf Weil-Positivität nicht rückwärts als Input verwendet werden. +Die Familie aller Fenster ist global RH-aequivalent; ein einzelnes fixes `a` wird nicht als RH-aequivalent behauptet. + +### Bevorzugter naechster Angriff -## 9. Strategische Statusänderung +```text +NULLPOL = Range(L_{1/2}) + -> momentfreier Lift + -> erste Gamma-Moden lokal/coerciv + -> Resolventenrest per Schur + -> Prime-Jumps in derselben critical-half / Tree-Metrik + -> radiusstabiler Lower-Frame-Mechanismus oder enger No-Go. +``` + +## 12. Status / Firewalls ```text NP-R1 separate geometry question closed/subsumed ✓[M] -NP-COMMON common Prime/archimedean feature family ✓[M] -NP-SCALAR cutoff-gauge covariance ✓[M] -COMMON-JUMP exact normal form, all a>0 ✓[M] -forward Object-X candidate architecture ✓[M]_part -sharp NULLPOL frame/spectral gap ?[O] +NP-COMMON common Prime/archimedean jump family ✓[M] +COMMON-JUMP exact all-a normal form ✓[M] +critical-half Green/OU bridge ✓[M] +NULLPOL = Range(L_{1/2}) ✓[M] +critical-half rigidity ✓[M] +Gamma resolvent ladder ✓[M] +NP-GAP moment-free lift ✓[M] +small-window forward Schur gap ✓[M] +sharp NP-GAP for all a ?[O] full positive Object-X realization / RH ?[O] publication novelty ?[O] ``` -OX-GEN-A bleibt die exakte Polschicht. POS-DIL #101--#105 bleibt eine mathematisch gültige auxiliary full-class route. - -## 10. Firewalls - Nicht behaupten: -- `Q_W>=0` sei bewiesen; -- der scharfe Lower-Frame-Bound sei bewiesen; -- ein einzelnes fixes `a` sei bereits RH-äquivalent; -- Publikationsneuheit sei geklärt; -- die Theorem-Registry werde durch diese Navigation promoviert; -- Object X oder RH seien gelöst. - -PR #91, PR #49 und R37/G4c bleiben separate Nebenfronten. \ No newline at end of file +- globales `Q_W>=0` sei bewiesen; +- der scharfe Lower-Frame-Bound sei fuer alle Radien bewiesen; +- der Sternbaum allein sei bereits die volle Weilform; +- Fensterprojektionen duerften entfallen; +- `log(4pi)+gamma` sei bereits als Baumenergie erklaert; +- ein einzelnes fixes `a` sei RH-aequivalent; +- Publikationsneuheit sei geklaert; +- Registry, Arbeitsdefinition oder RH-Status seien promoviert. From 01f93161ddb9c3c21fce0ef7e97475e48ec62592 Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 10:53:16 +0200 Subject: [PATCH 04/55] Refocus NP-GAP on critical-half source lift --- OFFENE_PROBLEME.md | 209 ++++++++++++++++++++++++++++++++------------- 1 file changed, 151 insertions(+), 58 deletions(-) diff --git a/OFFENE_PROBLEME.md b/OFFENE_PROBLEME.md index b7793a23..7eebbc5a 100644 --- a/OFFENE_PROBLEME.md +++ b/OFFENE_PROBLEME.md @@ -1,69 +1,132 @@ -# Offene Probleme — COMMON-JUMP / NP-GAP +# Offene Probleme — CRITICAL-HALF / NP-GAP > **Stand:** 13. September 2026. -> Operative Quellen: [CURRENT-FRONT](CURRENT-FRONT.md), [Common-Jump-Audit](audits/P11_NP_COMMON_JUMP_GRAM_2026-09-13.md), [Roadmap](00-uebersicht/FORSCHUNGS_ROADMAP_AKTUELL.md), [DAG](00-uebersicht/DAG.md). +> Operative Quellen: [CURRENT-FRONT](CURRENT-FRONT.md), [Common-Jump-Audit](audits/P11_NP_COMMON_JUMP_GRAM_2026-09-13.md), [Critical-half Green/tree](audits/P11_CRITICAL_HALF_GREEN_TREE_BRIDGE_2026-09-13.md), [Critical-half rigidity / Schur-gap](audits/P11_CRITICAL_HALF_RIGIDITY_AND_SCHUR_GAP_2026-09-13.md). ## Neu geschlossen ### `[NP-R1]` separate Geometriefrage — `✓[M]` -`R_1` ist nicht mehr als separater Generatorblock offen. Zusammen mit dem logarithmischen archimedischen Anteil wird er vom kontinuierlichen positiven Kanal +`R_1`, der logarithmische archimedische Anteil, Prime shifts und Exterior-shell-Masse sind in der gemeinsamen positiven Translation-Differenz-Geometrie ```math -K_t=T_{t/2}-T_{-t/2}, -\qquad -h(t)dt=\frac{e^{-t/2}}{1-e^{-2t}}dt +K_t=T_{t/2}-T_{-t/2} ``` -erzeugt. +subsumiert. ### `[NP-COMMON]` — `✓[M]` -Archimedischer Ort und Primzahlpotenzen liegen in derselben positiven Hilbert-Geometrie: +```math +\mu_a=\frac{e^{-t/2}}{1-e^{-2t}}dt ++\sum_{\log n\le2a}\frac{\Lambda(n)}{\sqrt n}\delta_{\log n} +``` + +liefert die positive Featureform `X_a^*X_a`. + +### `[COMMON-JUMP-NORMAL-FORM]` — `✓[M]` + +```math +Q_W(v,w) +=\langle Ev,PEw\rangle ++\langle X_av,X_aw\rangle +-\Gamma_a\langle v,w\rangle, +``` + +und auf Nullpol ```math -\mu_a=h(t)dt+ -\sum_{\log n\le2a}\frac{\Lambda(n)}{\sqrt n}\delta_{\log n}. +\boxed{Q_W|_{NP}=X_a^*X_a-\Gamma_aI.} ``` -Die Featureform ist `X_a^*X_a>=0`. +### `[CRIT-HALF-RANGE]` — `✓[M]` -### `[NP-SCALAR-GAUGE]` — `✓[M]` +Mit ```math -\Gamma_a -=2\sum_{\log n\le2a}\frac{\Lambda(n)}{\sqrt n} -+\log\pi-\psi(1/4). +L_{1/2}=-\partial_x^2+1/4 ``` -Neue Außen-Prime-Atome erhöhen `X_a^*X_a` und `Gamma_a I` exakt gleich. Gaugeinvariant ist die zentrierte Paarung +gilt fuer jedes `a>0` ```math -X_a^*X_a-\Gamma_aI. +\boxed{ +C_c^\infty(-a,a)\cap\ker M(0)\cap\ker M(1) +=L_{1/2}C_c^\infty(-a,a). +} ``` -### `[COMMON-JUMP-NORMAL-FORM]` — `✓[M]` +Der Green-Kern ist -Für alle `a>0`: +```math +G_{1/2}(x,y)=e^{-|x-y|/2}. +``` + +### `[CRIT-HALF-TREE]` — `✓[M]` + +Derselbe Kernel, auf den logarithmischen Prime-Power-Knoten `k log p` abgetastet, ist ```math -Q_W(v,w) -=\langle Ev,PEw\rangle -+\langle X_av,X_aw\rangle --\Gamma_a\langle v,w\rangle. +p^{-|j-k|/2}, ``` -Auf Nullpol: +also exakt der P11-AR(1)-Kern. Eine explizite OU-/Sternbaum-Hilbertgeometrie reproduziert den fensterlosen P11-Hub+Rest-Kanalindex-Ledger inklusive cross-prime Root-Korrelation. + +### `[CRIT-HALF-RIGIDITY]` — `✓[M]` + +In der OU-Familie `e^{-sigma d}` ist die gewichtete Rootamplitude ```math -\boxed{Q_W|_{NP}=X_a^*X_a-\Gamma_aI.} +sqrt(log p) p^{-(1/4+sigma)k}. ``` +P11 erzwingt den Exponenten `3/4`; daher `sigma=1/2`. Dieselbe Skala wird separat durch NULLPOL (`e^{±x/2}`) und durch den Gamma-Grundmodus `mu_0=1/2` erzwungen. + +### `[NP-GAP-LIFT]` — `✓[M]` + +Setze eindeutig + +```math +v=L_{1/2}u, +\qquad u\in C_c^\infty(-a,a). +``` + +Dann ist NP-GAP eine **momentfreie** Coercivity-Frage. Die Gamma-Schicht besitzt die positive Resolventenleiter + +```math +\Phi_\infty(D) +=\sum_{m\ge0}\frac{2}{\mu_m}D^2(D^2+\mu_m^2)^{-1}, +\qquad +\mu_m=2m+1/2, +``` + +und der erste Modus wird lokal: + +```math +4\|u''\|^2+\|u'\|^2. +``` + +### `[CRIT-HALF-SCHUR]` kleiner Radius — `✓[M]` + +Der forward Schur-Test liefert + +```math +\Phi_\infty(D)\succeq S(a)I, +``` + +```math +S(a)= +\log\frac{1+e^{-a/2}}{1-e^{-a/2}} ++2\arctan(e^{-a/2}), +``` + +und rein elementar `S(a)>kappa_*` fuer `00`. + +Fuer die Familie aller Fenster ist dies die verbleibende RH-aequivalente Lower-Frame-/Spektralgap-Frage. -### `[NP-GAP-A]` support-erhaltende Momentfaktorisierung +### `[NP-GAP-A]` Critical-half source lift — **Default** -Nutze die Nullpolbedingungen als +Nicht mehr nur die Faktorisierung suchen; sie ist bewiesen. Jetzt die momentfreie Form ```math -\widehat v(i/2)=\widehat v(-i/2)=0 +v=L_{1/2}u ``` -und untersuche die Faktorisierung +analytisch ausnutzen. + +Prioritaet: + +1. erste Gamma-Resolventenmoden in der `L_{1/2}`-Metrik lokal/coerciv behandeln; +2. Rest der Gamma-Leiter per Schur-/Resolventenabschätzung kontrollieren; +3. Prime-Jumps `L_{1/2}K_{log n}u` nicht wegwerfen, sondern mit der Critical-half-Tree-Geometrie koppeln; +4. nach einer in `a` stabilen Lower-Frame-Struktur suchen. + +### `[NP-GAP-B]` Tree/Common-Jump comparison + +Die Common-Jump-Form behandelt die `K_t`-Kanaele orthogonal, waehrend der P11-Kanalindex-Ledger einen kanonischen nichtorthogonalen OU-Tree-Kern besitzt. + +Offen: + +```text +Kann die Tree-Root/Innovationsgeometrie einen vorwaerts definierten +Kontraktor, Schur-Block oder Vergleichsoperator fuer X_a liefern, +der Gamma- und Prime-Energie gleichzeitig kontrolliert? +``` + +Kein rueckwaerts aus fertiger Weil-Positivitaet definierter Operator ist zulaessig. + +### `[NP-GAP-C]` Threshold remainder + +Der Integralteil ```math -v=Q_0u, -\qquad -Q_0=-d^2/dx^2+1/4, +J=2\int_0^\infty h(t)(1-e^{-t/2})dt ``` -mit gleichem kompaktem Trägerscope. +ist bereits die kontinuierliche mittlere Root-Chordenergie derselben Critical-half-OU-Geometrie. -Ziel: echte coercivity von `X_a^*X_a` auf `Ran Q_0`, oder ein enger No-Go gegen diese Methode. +Noch offen ist eine ebenso intrinsische Geometrisierung des verbleibenden festen Anteils -### `[NP-GAP-B]` Fourier-/Paley-Wiener +```math +\log(4\pi)+\gamma +``` -Arbeite mit +in ```math -\Phi_a(z)= -\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right)-\psi(1/4) -+2\sum_{\log n\le2a}\frac{\Lambda(n)}{\sqrt n}(1-\cos(z\log n)). +\kappa_*=\log(4\pi)+\gamma+J. ``` -Die Schwierigkeit ist nicht `Phi_a>=0`, sondern die scharfe Untergrenze auf Funktionen mit den komplexen Nullbedingungen `z=±i/2`. +Dies ist **kein** isolierter Konstanten-Fit-Auftrag; gesucht wird nur eine vorwaerts erzwungene Operator-/Measure-Bedeutung. + +### `[NP-GAP-D]` Klassen-No-Go -### `[NP-GAP-C]` nonlocal Poincare / frame mechanism +Falls ein radiusstabiler Bound nicht aus rein lokalen/diagonalen Moden folgen kann, soll dies mit einem vorab festgelegten Gegenbeispielmechanismus bewiesen werden. Besonders zu testen: -Teste nur vorab definierte, nichtzirkuläre Mechanismen: +- rein punktweise Symboluntergrenzen; +- endliche Gamma-Moden ohne Prime-Jump-Kopplung; +- kanalweise getrennte Poincare-Schranken ohne Tree-Korrelation. -- nonlocal Poincare-/Dirichlet-form-Ungleichungen; -- Paley-Wiener-/sampling-Struktur; -- de-Branges-/reproduzierende-Kern-Methoden; -- Schur-/Shorting-Mechanismen, sofern sie den Bound nicht aus fertiger Weil-Positivität zurückdefinieren. +Ein enger No-Go zaehlt als Fortschritt. --- ## Danach ```text -NP-GAP +CRITICAL-HALF SOURCE/TREE/RESOLVENT STRUCTURE + | + v +NP-GAP for every a | v positive Weil form on global null-pole class @@ -132,21 +224,22 @@ positive Weil form on global null-pole class RH ``` -Ein Beweis von NP-GAP für alle `a` wäre daher bereits RH. Hier ist besondere Zirkularitätskontrolle Pflicht. +Ein Beweis von NP-GAP fuer alle `a` waere bereits RH. Zirkularitaetskontrolle bleibt Pflicht. ## Auxiliary / separate - OX-GEN-A: exakte Pole-layer geometry; -- POS-DIL #101--#105: auxiliary full-class route; -- Prime-Power AR(1): eigenständige positive Struktur; +- POS-DIL #101--#105: auxiliary full-class route, mehrere Faktoren nun durch Tree-Root-Geometrie erklaert; - R37/G4c, PR #91, PR #49 separat. ## Firewalls Nicht behaupten: -- COMMON-JUMP beweise den Lower-Frame-Bound; -- die exakte Differenz `X_a^*X_a-Gamma_aI` sei bereits eine positive Gramdarstellung der Weilform; -- fixed-`a`-Positivität allein sei RH-äquivalent; -- Publikationsneuheit sei geklärt; -- Object X oder RH seien bewiesen. \ No newline at end of file +- Critical-half Bridge beweise globalen NP-GAP; +- der Sternbaum allein realisiere bereits die volle Weilform; +- P11-Fensterprojektionen duerften entfallen; +- `log(4pi)+gamma` sei bereits geometrisiert; +- fixed-`a`-Positivitaet allein sei RH-aequivalent; +- Publikationsneuheit sei geklaert; +- Object X oder RH seien bewiesen. From 8cd0e7e4d779e0ebe180d16bf16a74c06eb1b73f Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 10:56:03 +0200 Subject: [PATCH 05/55] Unify pole layer with critical-half Green transfer --- ..._CRITICAL_HALF_POLE_TRANSFER_2026-09-13.md | 428 ++++++++++++++++++ 1 file changed, 428 insertions(+) create mode 100644 audits/P11_CRITICAL_HALF_POLE_TRANSFER_2026-09-13.md diff --git a/audits/P11_CRITICAL_HALF_POLE_TRANSFER_2026-09-13.md b/audits/P11_CRITICAL_HALF_POLE_TRANSFER_2026-09-13.md new file mode 100644 index 00000000..0d8fe23a --- /dev/null +++ b/audits/P11_CRITICAL_HALF_POLE_TRANSFER_2026-09-13.md @@ -0,0 +1,428 @@ +# P11 Audit — Critical-half pole transfer + +**Datum:** 13. September 2026 +**Basis:** Critical-half Green/tree branch nach COMMON-JUMP. +**Rolle:** theorem-level Strukturidentitaet. +**Registry:** unveraendert. +**Nonclaim:** kein globaler NP-GAP-/RH-Beweis; keine Publikationsprioritaet behauptet. + +--- + +## 0. Kurzurteil + +Der Operator + +```math +L_{1/2}=-\partial_x^2+\frac14 +``` + +und sein Green-Kern + +```math +G_{1/2}(x,y)=e^{-|x-y|/2} +``` + +verbinden nicht nur NULLPOL, P11-AR(1) und den Gamma-Grundmodus. **Auch der bisher separat behandelte Rang-2-Polblock ist exakt die orientierte Außen-Transferform desselben Green-Kerns.** + +Sind zwei kompakte Traeger geordnet und disjunkt, faktorisiert der Green-Kern rank-one ueber die beiden exponentiellen Randmoden. Fuer die im Projekt verwendeten Funktionale + +```math +E_+(f)=\int e^{x/2}f(x)dx, +\qquad +E_-(f)=\int e^{-x/2}f(x)dx +``` + +gilt exakt: + +```math +\boxed{ +\operatorname{supp}f<\operatorname{supp}g +\Longrightarrow +\langle f,G_{1/2}g\rangle +=E_+(f)\overline{E_-(g)}, +} +``` + +und in umgekehrter Orientierung + +```math +\boxed{ +\operatorname{supp}g<\operatorname{supp}f +\Longrightarrow +\langle f,G_{1/2}g\rangle +=E_-(f)\overline{E_+(g)}. +} +``` + +Die beiden Terme sind genau die zwei Eintraege des Pole-pairings + +```math +\boxed{ +\langle\mathcal Ef,P\mathcal Eg\rangle +=E_+(f)\overline{E_-(g)} ++E_-(f)\overline{E_+(g)}, +\qquad +P=\begin{pmatrix}0&1\\1&0\end{pmatrix}. +} +``` + +Damit erhaelt die bisherige OX-GEN-A/Pole-layer eine direkte Green-Transfer-Bedeutung innerhalb derselben Critical-half-Geometrie. + +Status: + +```text +oriented separated-support Green factorization ✓[M] +pole amplitudes = critical-half exterior transfer ✓[M] +NULLPOL = zero exterior Green charge ✓[M] +cutoff exterior decoupling in Green metric ✓[M] +Prime AR(1) decay = same transfer law at log p ✓[M] +full positive gluing of pole+COMMON-JUMP ?[O] +sharp NP-GAP ?[O] +RH / full Object X ?[O] +publication novelty ?[O] +``` + +--- + +# 1. Konventionen + +Wir verwenden die projektweite lineare-erste Hermitesche Konvention und + +```math +\langle f,g\rangle=\int f(x)\overline{g(x)}dx. +``` + +Setze + +```math +G:=L_{1/2}^{-1}, +\qquad +(Gg)(x)=\int_{\mathbb R}e^{-|x-y|/2}g(y)dy. +``` + +Ferner + +```math +E_+(f)=\int e^{x/2}f(x)dx, +\qquad +E_-(f)=\int e^{-x/2}f(x)dx. +``` + +--- + +# 2. Orientierter Green-Transfer + +## Satz 2.1 — links nach rechts + +Seien `f,g in C_c^infty(R)` und + +```math +\sup\operatorname{supp}f +< +\inf\operatorname{supp}g. +``` + +Dann ist fuer jedes `x in supp f` und `y in supp g` stets `xy` und + +```math +e^{-|x-y|/2} +=e^{-x/2}e^{y/2}. +``` + +Daher + +```math +\boxed{ +\langle f,Gg\rangle +=E_-(f)\overline{E_+(g)}. +} +``` + +Diese beiden Formeln sind exakte algebraische Folgen des Green-Kerns; keine explizite Formel, keine Zeta-Nullstelle und keine Positivitaetsannahme wird verwendet. + +--- + +# 3. Pole-pairing = Summe der beiden Orientierungen + +Der COMMON-JUMP-Audit schreibt den Polblock als + +```math +\langle\mathcal Ef,P\mathcal Eg\rangle +=E_+(f)\overline{E_-(g)} ++E_-(f)\overline{E_+(g)}. +``` + +Die Saetze 2.1--2.2 zeigen daher: + +> Die beiden algebraischen Eintraege des Pole-pairings sind exakt die zwei moeglichen orientierten rank-one Außen-Faktorisierungen des Critical-half-Greenkerns auf getrennten Traegern. + +Wichtig ist die Firewall: Das bedeutet **nicht**, dass der indefinite `P`-Block selbst bereits eine positive Green-Norm ist. Es bedeutet, dass seine beiden Off-Diagonal-Amplituden aus demselben positiven Green-Propagator stammen. + +--- + +# 4. Translationen erzeugen exakt den Faktor `e^{-t/2}` + +Mit der Projekttranslation + +```math +(T_tg)(x)=g(x-t) +``` + +gilt + +```math +E_+(T_tg)=e^{t/2}E_+(g), +\qquad +E_-(T_tg)=e^{-t/2}E_-(g). +``` + +Sei `f` links von `T_tg` und die unverschobene Geometrie so fixiert, dass der Abstand durch `t` vergroessert wird. Dann traegt der Green-Transfer den Faktor + +```math +\boxed{e^{-t/2}.} +``` + +Genau derselbe Zerfall erscheint + +```text +bei t = k log p: e^{-t/2}=p^{-k/2}, +in P11: q_p^k=p^{-k/2}, +im OU-Tree: =p^{-k/2}, +in Gamma-Ground: mu_0=1/2. +``` + +Der Prime-Power-AR(1)-Abfall ist damit die logarithmische Diskretisierung desselben Außen-Transfergesetzes. + +--- + +# 5. NULLPOL = keine Außenladung + +Ist + +```math +E_+(v)=E_-(v)=0, +``` + +so verschwinden beide orientierten Außen-Transferamplituden identisch. + +Dies hat zwei exakt aequivalente Manifestationen: + +### 5.1 Green-Inverser bleibt lokal + +Wie im Green/tree Audit bewiesen, + +```math +u=Gv +``` + +hat rechts vom Traeger die Form + +```math +u(x)=e^{-x/2}E_+(v), +``` + +und links die Form + +```math +u(x)=e^{x/2}E_-(v). +``` + +NULLPOL bedeutet also + +```math +\boxed{Gv\text{ besitzt keine exponentiellen Aussenschwaenze}.} +``` + +### 5.2 Getrennte Kopien sind Green-orthogonal + +Sind `T_s v` und `T_t v` disjunkt getragen, dann folgt aus Satz 2.1 oder 2.2 + +```math +\boxed{ +\langle T_sv,G T_tv\rangle=0. +} +``` + +Translationskovarianz erhaelt die Nullpolbedingungen, weil `E_±(T_tv)` nur mit einem nichtverschwindenden Skalar multipliziert werden. + +Somit werden getrennte Nullpol-Zellen im `G`-Hilbertraum exakt orthogonal. + +--- + +# 6. Exterior-shell-Kovarianz in zwei Metriken + +Sei `v` in `[-a,a]` getragen und `t>2a`. + +Dann sind `T_{t/2}v` und `T_{-t/2}v` disjunkt. + +In `L^2` gilt bereits aus COMMON-JUMP + +```math +\|K_tv\|_2^2=2\|v\|_2^2. +``` + +Ist `v` zusaetzlich NULLPOL, dann sind die beiden Kopien nach §5 auch in der Green-Metrik orthogonal. Mit + +```math +\|f\|_G^2:=\langle f,Gf\rangle +``` + +folgt daher + +```math +\boxed{ +\|K_tv\|_G^2 +=2\|v\|_G^2 +\qquad(t>2a,\ v\in\mathscr D_{NP}). +} +``` + +Die exterior-shell-Diagonalisierung ist somit nicht nur eine `L^2`-Traegertatsache: auf NULLPOL tritt dieselbe exakte Entkopplung auch in der Critical-half-Green-Metrik auf. + +--- + +# 7. Der Pole-Block als Root-Transfer der Tree-Geometrie + +Im OU-Sternbaum besitzt ein Knoten im Abstand `x` vom Root die Root-Korrelation + +```math +\langle\Phi_o,\Phi_x\rangle=e^{-x/2}. +``` + +Der Green-Transfer zwischen getrennten Zellen besitzt nach §4 exakt dasselbe Fortpflanzungsgesetz. Deshalb kann die Tree-Root-Koordinate nun konkret gelesen werden als abstrakte Version der exponentiellen Green-Randladung. + +Fuer Prime-Power-Knoten `x=k log p` ist + +```math +\langle\Phi_o,\Phi_{p,k}\rangle=p^{-k/2}. +``` + +Cross-prime Root-Korrelationen + +```math +p^{-j/2}r^{-k/2} +``` + +sind folglich genau das Produkt zweier Transfers zum gemeinsamen Root. + +Damit erhalten drei frueher getrennte Begriffe dieselbe Bedeutung: + +```text +OX-GEN-A pole amplitudes E_± + = Green boundary charges, +P11 common Hub + = common Tree root, +AR(1) q_p^k + = critical-half propagation to/from that root. +``` + +Dies ist eine strukturelle Identifikation; die konkrete raeumliche P11-Fenstergeometrie wird nicht entfernt. + +--- + +# 8. Konsequenz fuer die Object-X-Architektur + +Vor dieser Identitaet war die konservative Architektur: + +```text +Pole layer (OX-GEN-A) + + +COMMON-JUMP positive nonpole layer + + +scalar threshold / NP-GAP. +``` + +Jetzt existiert ein gemeinsamer darunterliegender Propagator: + +```text + L_{1/2} = -d^2 + 1/4 + | + ------------------------------------------- + | | | + exterior pole Prime log-grid Gamma ground + transfer E_± e^{-d/2}/AR(1) resolvent mu_0 + | | | + NULLPOL P11 Tree COMMON-JUMP + = zero charge root/innovations ladder +``` + +Damit ist die Pole-Schicht nicht mehr konzeptionell fremd zur Prime-/Gamma-Geometrie. Alle drei besitzen denselben Critical-half-Transferkern. + +### Was noch fehlt + +Der Pole-block hat Signatur `(1,1)` und COMMON-JUMP besitzt den negativen skalaren Threshold. Die jetzige Identifikation liefert daher noch **keine** vollstaendige positive Object-X-Norm. + +Der naechste harte Gate bleibt: + +```math +X_a^*X_a\succeq\Gamma_aI +\quad\text{auf NULLPOL fuer alle }a. +``` + +Aber die Suche nach einer Verklebung darf nun auf **einen einzigen Propagator `L_{1/2}`** beschraenkt werden, statt unabhaengige Prime-, Pole- und Archimedes-Generatoren zu erfinden. + +--- + +# 9. Neuer bevorzugter Forschungsauftrag + +1. Formuliere COMMON-JUMP nach dem Source-Lift `v=L_{1/2}u` vollstaendig in der Green-/Energie-Metrik von `L_{1/2}`. +2. Suche einen Schur-/Shorting-Mechanismus, in dem die Tree-root boundary charges `E_±` und die Gamma-Resolventenleiter als Rand- und Bulk-Anteile desselben positiven Blocks auftreten. +3. Nutze die exakte Green-Orthogonalitaet disjunkter NULLPOL-Zellen fuer die Prime exterior-shells. +4. Teste, ob der noch offene Skalar `log(4pi)+gamma` als renormierter Root-/boundary trace desselben Propagators auftreten kann. +5. Wenn dies scheitert, liefere ein Klassen-No-Go fuer positive Blockverklebungen, die nur `L_{1/2}` und seine Tree-Abtastungen verwenden. + +--- + +# 10. Firewalls + +Nicht behaupten: + +- der Pole-block sei selbst positiv; +- der Green-Transfer beweise NP-GAP; +- P11-Fensterprojektionen seien entbehrlich; +- der abstrakte Sternbaum sei bereits der volle raeumliche Operator; +- `log(4pi)+gamma` sei bereits erklaert; +- Object X oder RH seien bewiesen; +- Publikationsneuheit sei geklaert. From 3782328077d0b8c930407b4a678baa7ea87469b5 Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 10:58:23 +0200 Subject: [PATCH 06/55] Identify common-jump threshold as diagonal finite part --- ...ON_JUMP_DIAGONAL_FINITE_PART_2026-09-13.md | 413 ++++++++++++++++++ 1 file changed, 413 insertions(+) create mode 100644 audits/P11_COMMON_JUMP_DIAGONAL_FINITE_PART_2026-09-13.md diff --git a/audits/P11_COMMON_JUMP_DIAGONAL_FINITE_PART_2026-09-13.md b/audits/P11_COMMON_JUMP_DIAGONAL_FINITE_PART_2026-09-13.md new file mode 100644 index 00000000..e36c8920 --- /dev/null +++ b/audits/P11_COMMON_JUMP_DIAGONAL_FINITE_PART_2026-09-13.md @@ -0,0 +1,413 @@ +# P11 Audit — COMMON-JUMP diagonal finite part + +**Datum:** 13. September 2026 +**Basis:** NULLPOL-COMMON plus Critical-half Gamma-resolvent ladder. +**Rolle:** theorem-level Identifikation des bisher offenen Skalar-/Threshold-Charakters. +**Registry:** unveraendert. +**Nonclaim:** kein NP-GAP-/RH-Beweis; keine Publikationsprioritaet behauptet. + +--- + +## 0. Kurzurteil + +Die COMMON-JUMP-Schwelle + +```math +\Gamma_a +=2\sum_{n\in\mathcal P_a}w_n+\kappa_*, +\qquad +w_n=\frac{\Lambda(n)}{\sqrt n}, +``` + +ist kein algebraisch fremder Skalar neben der positiven Featuregeometrie. + +- Der Prime-Anteil `2 w_n` ist exakt die Diagonalmasse des positiven Jump-Operators `w_n K_{log n}^*K_{log n}`. +- Der archimedische Anteil `kappa_*` ist exakt die **renormalisierte Diagonal-/Hochfrequenzmasse** der positiven Gamma-Resolventenleiter. + +Mit + +```math +\mu_m=2m+\frac12 +``` + +gilt exakt + +```math +\boxed{ +\kappa_* += +\lim_{N\to\infty} +\left( +\sum_{m=0}^N\frac{2}{\mu_m} +- +\log\frac{N+1}{\pi} +\right). +} +``` + +Damit ist + +```math +\boxed{ +\Gamma_a += +\text{finite Prime diagonal mass} ++ +\text{renormalized archimedean diagonal mass}. +} +``` + +Die bisherige `NP-SCALAR`-Frage ist damit strukturell weiter geschlossen: offen bleibt nicht mehr die Herkunft der Schwelle, sondern ausschliesslich, warum die **zentrierte/renormalisierte** Common-Jump-Form auf NULLPOL nichtnegativ sein sollte. + +Status: + +```text +Prime diagonal threshold interpretation ✓[M] +Gamma ladder finite-part identity for kappa_* ✓[M] +full COMMON-JUMP threshold = canonical diagonal mass ✓[M] +UV asymptotic normalization at scale 2pi ✓[M] +sharp centered NP-GAP ?[O] +full positive Object X / RH ?[O] +publication novelty ?[O] +``` + +--- + +# 1. Prime-Atome: die Schwelle ist exakt die Diagonale + +Fuer + +```math +K_t=T_{t/2}-T_{-t/2} +``` + +gilt + +```math +\boxed{ +K_t^*K_t=2I-T_t-T_{-t}. +} +``` + +Ein Prime-Power-Atom mit Gewicht `w_n` traegt daher + +```math +w_nK_{\log n}^*K_{\log n} += +2w_nI-w_n(T_{\log n}+T_{-\log n}). +``` + +Die zugehoerige COMMON-JUMP-Schwelle enthaelt exakt + +```math +\boxed{2w_nI.} +``` + +Nach Zentrierung bleibt nur der off-diagonale/Translationsanteil + +```math +-w_n(T_{\log n}+T_{-\log n}). +``` + +Summiert ueber die aktive endliche Prime-Power-Menge: + +```math +\boxed{ +A_a^{\rm prime} +=2\sum_{n\in\mathcal P_a}w_n +} +``` + +ist daher exakt die endliche Diagonalmasse des positiven Prime-Jump-Operators. + +Dies erklaert zugleich die bereits bewiesene Cutoff-Gauge-Kovarianz: jedes neu eintretende, fuer den kleineren Traeger exterior liegende Prime-Atom fuegt `2w_n I` sowohl der positiven Gramform als auch der Schwelle hinzu. + +--- + +# 2. Archimedes: positive Resolventenleiter + +Die archimedische positive Dichte lautet + +```math +h(t)=\frac{e^{-t/2}}{1-e^{-2t}} +=\sum_{m=0}^\infty e^{-\mu_m t}, +\qquad +\mu_m=2m+\frac12. +``` + +Damit ist der positive archimedische COMMON-JUMP-Operator + +```math +\boxed{ +\Phi_\infty(D) += +\sum_{m=0}^\infty A_m(D), +} +``` + +mit + +```math +\boxed{ +A_m(D) +:= +\frac{2}{\mu_m} +D^2(D^2+\mu_m^2)^{-1} +\succeq0. +} +``` + +Auf der reellen Fourierachse ist + +```math +A_m(z) +=\frac{2}{\mu_m}\frac{z^2}{z^2+\mu_m^2}. +``` + +Jeder einzelne Modus besitzt daher die endliche Hochfrequenz-/Diagonalmasse + +```math +\boxed{ +\lim_{|z|\to\infty}A_m(z) +=\frac{2}{\mu_m}. +} +``` + +Die Summe dieser Diagonalmassen divergiert logarithmisch. Der volle Operator bleibt fuer jedes feste `z` wohldefiniert, weil die Resolventenfaktoren die hohen Moden daempfen. Die Schwelle `kappa_*` ist genau die kanonische finite-part dieser divergenten Diagonalsumme. + +--- + +# 3. Exakte finite-part-Identitaet + +Da + +```math +\mu_m=2\left(m+\frac14\right), +``` + +gilt + +```math +\frac{2}{\mu_m} +=\frac{1}{m+1/4}. +``` + +Die Digamma-Teleskopformel liefert fuer jedes `N>=0` + +```math +\boxed{ +\sum_{m=0}^N\frac{2}{\mu_m} += +\psi\left(N+\frac54\right)-\psi\left(\frac14\right). +} +``` + +Mit der Standardasymptotik + +```math +\psi(x)=\log x+O(x^{-1}) +\qquad(x\to+\infty) +``` + +folgt + +```math +\lim_{N\to\infty} +\left[ +\sum_{m=0}^N\frac{2}{\mu_m}-\log(N+1) +\right] +=-\psi(1/4). +``` + +Da aus NULLPOL-COMMON + +```math +\kappa_*=\log\pi-\psi(1/4) +``` + +bekannt ist, erhalten wir exakt + +```math +\boxed{ +\kappa_* += +\log\pi+ +\lim_{N\to\infty} +\left[ +\sum_{m=0}^N\frac{2}{\mu_m}-\log(N+1) +\right]. +} +``` + +Aequivalent und kompakter: + +```math +\boxed{ +\kappa_* += +\lim_{N\to\infty} +\left[ +\sum_{m=0}^N\frac{2}{\mu_m} +- +\log\frac{N+1}{\pi} +\right]. +} +``` + +Dies ist keine numerische Beobachtung, sondern eine exakte Digamma-Identitaet. + +--- + +# 4. UV-Normalisierung der zentrierten Gamma-Schicht + +Die volle archimedische positive Symbolfunktion ist + +```math +\Phi_\infty(z) += +\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right) +-\psi(1/4). +``` + +Nach Abzug der finite-part-Diagonalmasse: + +```math +\Phi_\infty(z)-\kappa_* += +\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right) +-\log\pi. +``` + +Aus der Digamma-Asymptotik folgt fuer reelles `|z|->infty` + +```math +\boxed{ +\Phi_\infty(z)-\kappa_* += +\log\frac{|z|}{2\pi}+O(|z|^{-2}). +} +``` + +Die Schwelle ist somit genau die Konstante, welche die positive Resolventenleiter auf die natuerliche archimedische Hochfrequenzskala `2pi` renormiert. + +Dies erklaert auch, warum die fruehere Zerlegung + +```math +\kappa_*=\log(4\pi)+\gamma+\log2+\frac\pi2 +``` + +strukturell irrefuehrend sein kann: sie zerlegt eine intrinsische finite-part-Konstante in zwei rechnerische Stuecke. In der Resolventenbasis ist `kappa_*` ein einziges kanonisches Renormierungsdatum derselben positiven Gamma-Schicht. + +--- + +# 5. Vollstaendige COMMON-JUMP-Diagonalmasse + +Fuer festes Fenster `a` ist die Prime-Power-Menge endlich. Deshalb ist keine Prime-Renormierung notwendig. Kombiniert mit §3: + +```math +\boxed{ +\Gamma_a += +2\sum_{n\in\mathcal P_a}w_n ++ +\operatorname{FP}_{\pi} +\sum_{m\ge0}\frac{2}{\mu_m}, +} +``` + +wobei `FP_pi` hier exakt die in §3 definierte finite part + +```math +\operatorname{FP}_{\pi} +\sum_{m\ge0}\frac{2}{\mu_m} +:= +\lim_{N\to\infty} +\left[ +\sum_{m=0}^N\frac{2}{\mu_m} +- +\log\frac{N+1}{\pi} +\right] +``` + +bedeutet. + +Damit ist `Gamma_a` kanonisch aus den **Diagonalmassen der positiven COMMON-JUMP-Moden** rekonstruiert. + +--- + +# 6. Reinterpretation der zentrierten Weilform + +Auf NULLPOL gilt exakt + +```math +Q_W(v) +=\langle v,(X_a^*X_a-\Gamma_aI)v\rangle. +``` + +Nach diesem Audit kann dies gelesen werden als + +> positive COMMON-JUMP-Energie minus ihre endliche/renormalisierte Diagonalmasse. + +Auf der Prime-Seite ist die Zentrierung algebraisch + +```math +2w_nI-w_n(T_t+T_{-t})-2w_nI += +-w_n(T_t+T_{-t}). +``` + +Auf der Gamma-Seite ist sie die finite-part-Zentrierung + +```math +\Phi_\infty(D)-\kappa_*I. +``` + +Damit ist die verbleibende NP-GAP-Frage praeziser: + +```text +Warum ist die renormalisierte off-diagonale/common-jump Paarung +auf der critical-half Range-Klasse nichtnegativ? +``` + +Der Skalar selbst benoetigt keinen unabhaengigen Generator mehr. + +--- + +# 7. Object-X-Bedeutung + +Dieser Befund schliesst eine der zuletzt verbliebenen konzeptionellen Luecken: + +```text +Prime channels -> positive modes + exact finite diagonal masses +Gamma channels -> positive modes + exact finite-part diagonal mass +Threshold Gamma_a -> Summe genau dieser beiden Diagonalbuchungen +``` + +Gemeinsam mit dem Critical-half Pole-Transfer-Audit ergibt sich nun: + +```text +critical-half L_{1/2} + | + +-- boundary charges / pole transfer E_± + +-- logarithmic Prime OU/AR(1) geometry + +-- Gamma resolvent ground mode and ladder + +-- COMMON-JUMP diagonal finite-part threshold +``` + +Damit sind Pole, Prime-Korrelation, archimedische positive Schicht und der zuvor isolierte Threshold alle auf dieselbe dokumentierte Operatorfamilie zurueckgefuehrt. + +Was weiterhin fehlt, ist die **Positivitaet der zentrierten Form auf NULLPOL fuer alle Fenster**. Genau dies ist NP-GAP und global RH-aequivalent. + +--- + +# 8. Firewalls + +Nicht behaupten: + +- finite-part-Zentrierung erhalte automatisch Positivitaet; +- eine renormalisierte Diagonalmasse sei bereits eine positive Gramnorm; +- NP-GAP oder RH seien bewiesen; +- das gesamte Object X sei fertig konstruiert; +- Publikationsneuheit sei geklaert. + +Die neue Aussage ist die exakte strukturelle Herkunft des gesamten Skalars `Gamma_a`, nicht seine Positivitaetswirkung nach Subtraktion. From cca2e9b5891e44557c5b1e538bae482e6eaa30df Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 11:01:34 +0200 Subject: [PATCH 07/55] Identify exact prime AR1 Poisson and gamma harmonic bridge --- ...OISSON_GAMMA_HARMONIC_BRIDGE_2026-09-13.md | 468 ++++++++++++++++++ 1 file changed, 468 insertions(+) create mode 100644 audits/P11_PRIME_AR1_POISSON_GAMMA_HARMONIC_BRIDGE_2026-09-13.md diff --git a/audits/P11_PRIME_AR1_POISSON_GAMMA_HARMONIC_BRIDGE_2026-09-13.md b/audits/P11_PRIME_AR1_POISSON_GAMMA_HARMONIC_BRIDGE_2026-09-13.md new file mode 100644 index 00000000..c94d27cd --- /dev/null +++ b/audits/P11_PRIME_AR1_POISSON_GAMMA_HARMONIC_BRIDGE_2026-09-13.md @@ -0,0 +1,468 @@ +# P11 Audit — Prime AR(1) Poisson / Gamma harmonic bridge + +**Datum:** 13. September 2026 +**Basis:** COMMON-JUMP, P11 AR(1), Critical-half Green/tree und Diagonal-finite-part Audits. +**Rolle:** theorem-level harmonische Reorganisation der zentrierten Weil-Seite. +**Registry:** unveraendert. +**Nonclaim:** kein NP-GAP-/RH-Beweis; keine Publikationsprioritaet behauptet. + +--- + +## 0. Kurzurteil + +Fuer jede feste Primzahl ist der **exakte zentrierte Weil-Beitrag des gesamten Prime-Power-Turms** die Differenz zwischen der flachen Dichte `1` und der Poisson-/AR(1)-Spektraldichte des bereits in P11 gefundenen Kac--Murdock--Szego-Kerns. + +Setze + +```math +q_p=p^{-1/2}, +\qquad +\theta=z\log p. +``` + +Der Disk-Poisson-Kern ist + +```math +\boxed{ +P_q^{\mathbb D}(\theta) +:= +\frac{1-q^2}{1-2q\cos\theta+q^2} += +1+2\sum_{k\ge1}q^k\cos(k\theta). +} +``` + +Dann gilt exakt + +```math +\boxed{ +-2\log p\sum_{k\ge1}p^{-k/2}\cos(kz\log p) += +\log p\left[1-P_{p^{-1/2}}^{\mathbb D}(z\log p)\right]. +} +``` + +Dies ist nicht nur formal mit P11 verwandt: `P_q^D` ist genau das Toeplitz-Symbol der P11-AR(1)-Kovarianz + +```math +R_q(j,k)=q^{|j-k|}. +``` + +Parallel ist jeder **zentrierte Gamma-Resolventenmodus** ein negativer Poisson-Kern des oberen Halbraums: + +```math +\boxed{ +A_m(z)-\frac{2}{\mu_m} +=-2\pi P_{\mu_m}^{\mathbb H}(z), +} +``` + +mit + +```math +P_y^{\mathbb H}(x) +:=\frac1\pi\frac{y}{x^2+y^2}, +\qquad +\mu_m=2m+\frac12. +``` + +Die gesamte zentrierte Weil-Seite ist damit eine **Disk-/Half-plane-Poisson-Geometrie**: + +- Prime towers: `flat - disk Poisson`; +- Gamma ladder: finite-part-renormalisierte `- half-plane Poisson`-Summe; +- beide sind Standardmodelle derselben harmonischen Mass-/Harmonic-measure-Geometrie, konform durch Cayley-Transformation verwandt. + +Status: + +```text +full p-power tower = log p (1 - AR1 Poisson symbol) ✓[M] +P11 AR1 covariance is exact Weil prime spectral object ✓[M] +Gamma centered modes = half-plane Poisson kernels ✓[M] +arch finite-part Poisson comb ✓[M] +compact-window infinite k completion ✓[M] +unified harmonic-measure architecture ✓[M]_part +sharp NP-GAP / positivity ?[O] +full Object X / RH ?[O] +publication novelty ?[O] +``` + +--- + +# 1. Prime-Power-Turm auf einem kompakten Fenster + +Fixiere eine Primzahl `p` und schreibe + +```math +\ell_p=\log p, +\qquad +q=q_p=p^{-1/2}. +``` + +Die Prime-Power-Gewichte sind + +```math +w_{p,k}=\frac{\log p}{p^{k/2}} +=(\log p)q^k. +``` + +Der zentrierte COMMON-JUMP-Beitrag ist + +```math +\mathcal Q_p(v) +:= +\sum_{k\ge1}w_{p,k} +\left( +\|K_{k\ell_p}v\|_2^2-2\|v\|_2^2 +\right). +``` + +Fuer ein `v` mit Traeger in `[-a,a]` ist diese unendliche Schreibweise **exakt**, nicht asymptotisch: sobald + +```math +k\ell_p>2a, +``` + +sind die beiden verschobenen Traeger disjunkt und + +```math +\|K_{k\ell_p}v\|_2^2=2\|v\|_2^2. +``` + +Alle hinzugenommenen Terme sind daher identisch null. Ist bereits `log p>2a`, verschwindet der ganze Prime-Turm in der zentrierten Form. + +--- + +# 2. Fourier-Symbol des Prime-Turms + +Aus + +```math +K_t^*K_t=2I-T_t-T_{-t} +``` + +folgt unter der unitaeren Fouriertransformation + +```math +\|K_tv\|^2-2\|v\|^2 +\longleftrightarrow +-2\cos(zt). +``` + +Daher besitzt der `p`-Turm das Symbol + +```math +\begin{aligned} +B_p(z) +&=-2\log p\sum_{k\ge1}q^k\cos(kz\ell_p). +\end{aligned} +``` + +Die Reihe konvergiert fuer jedes `p` absolut, da `0 oberer Halbraum. +``` + +Unter der Cayley-Transformation gehen harmonische Masse und Poisson-Kerne ineinander ueber, mit dem ueblichen Rand-Jacobian. + +Damit sind Prime- und Gamma-Seite jetzt nicht nur durch dasselbe `K_t`-Jump-Feature und denselben Critical-half-Green-Grundmodus verbunden, sondern auch durch dieselbe **harmonic-measure kernel class**. + +Die Parameter spielen unterschiedliche Rollen: + +```text +Prime p: disk radius q_p=p^{-1/2}, periodic boundary angle z log p; +Gamma m: half-plane height mu_m=2m+1/2, real boundary variable z. +``` + +Es wird keine kuenstliche direkte Identifikation `q_p <-> mu_m` behauptet. + +--- + +# 9. Neue Object-X-Lesart + +Die bisherige Kette wird nun: + +```text +critical-half L_{1/2} + | + +-- pole charges E_± = oriented Green boundary transfer + | + +-- P11 q^{|j-k|} = OU/tree covariance + | | + | +-- Toeplitz symbol = disk Poisson P_q + | +-- exact Weil p-tower = log p (1-P_q) + | + +-- Gamma ladder mu_m + | + +-- centered modes = -2pi half-plane Poisson + +-- kappa_* = finite-part diagonal renormalization +``` + +Dies ist eine vorwaerts definierte gemeinsame harmonische Architektur. Der verbleibende Engpass ist nicht mehr die Suche nach irgendeinem gemeinsamen Prime-/Archimedes-Kern, sondern die Positivitaet der **renormalisierten harmonischen Defektform** auf + +```math +\operatorname{Ran}L_{1/2}. +``` + +--- + +# 10. Was dies noch nicht beweist + +Poisson-Kerne sind positiv als harmonische Dichten, aber die Weilform enthaelt + +```text +flat - Poisson +``` + +beziehungsweise einen finite-part-renormalisierten negativen Poisson-Kamm. Daraus folgt keine automatische Positivitaet. + +Insbesondere wird nicht behauptet: + +- `1-P_q^D` sei punktweise nichtnegativ; +- der archimedische finite-part Poisson-Kamm sei punktweise nichtnegativ; +- NP-GAP sei geschlossen; +- eine Cayley-Transformation allein beweise RH; +- der P11 Tree ersetze die raeumlichen Fensteroperatoren; +- Publikationsneuheit sei geklaert. + +--- + +# 11. Naechster Gate + +Die neue bevorzugte Frage lautet: + +> Gibt es eine **gemeinsame positive harmonic-extension / Dirichlet-to-Neumann dilation**, deren Boundary-Schur-Komplement exakt die Disk-/Half-plane-Poisson-Defektform auf `Ran L_{1/2}` liefert? + +Dies ist nicht als rueckwaerts definierte Dilation zulaessig. Gesucht ist eine explizite Konstruktion aus + +```text +OU/tree edges, +critical-half Green propagation, +Disk-/Half-plane Poisson extension, +und den vorhandenen COMMON-JUMP incidence operators K_t. +``` + +Ein Erfolg waere ein echter Object-X-Kandidat; ein theorem-level No-Go fuer diese Dilationklasse waere ebenfalls substanzieller Fortschritt. From a12dae16f943ed5d722b6b99f0913b430d58c39a Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 11:04:09 +0200 Subject: [PATCH 08/55] Add exact Euler-Gamma scattering phase realization --- ...EULER_GAMMA_SCATTERING_PHASE_2026-09-13.md | 481 ++++++++++++++++++ 1 file changed, 481 insertions(+) create mode 100644 audits/P11_EULER_GAMMA_SCATTERING_PHASE_2026-09-13.md diff --git a/audits/P11_EULER_GAMMA_SCATTERING_PHASE_2026-09-13.md b/audits/P11_EULER_GAMMA_SCATTERING_PHASE_2026-09-13.md new file mode 100644 index 00000000..db92e3e2 --- /dev/null +++ b/audits/P11_EULER_GAMMA_SCATTERING_PHASE_2026-09-13.md @@ -0,0 +1,481 @@ +# P11 Audit — Euler/Gamma scattering-phase realization + +**Datum:** 13. September 2026 +**Basis:** Prime AR(1)-Poisson / Gamma harmonic bridge. +**Rolle:** theorem-level unitary phase representation des zentrierten Fensteroperators. +**Registry:** unveraendert. +**Nonclaim:** kein Positivitaets-/RH-Beweis; allgemeine Zeta-Streuinterpretationen sind aus anderen Kontexten bekannt, daher keine Publikationsneuheit behauptet. + +--- + +## 0. Kurzurteil + +Der zentrierte nichtpolare Weil-Multiplikator auf einem kompakten Fenster ist exakt die Phasenableitung eines **expliziten unitären endlichen Euler/Gamma-Streufaktors**. + +Fuer jede Primzahl definiere + +```math +\boxed{ +S_p(z) +:= +\frac{1-p^{-1/2}e^{iz\log p}} + {1-p^{-1/2}e^{-iz\log p}}. +} +``` + +Fuer reelles `z` gilt `|S_p(z)|=1` und + +```math +\boxed{ +-i\overline{S_p(z)}S_p'(z) += +\frac{d}{dz}\arg S_p(z) += +(\log p)\left[1-P_{p^{-1/2}}^{\mathbb D}(z\log p)\right]. +} +``` + +Archimedisch setze + +```math +\boxed{ +S_\infty(z) +:= +\pi^{-iz} +\frac{\Gamma(1/4+iz/2)} + {\Gamma(1/4-iz/2)}. +} +``` + +Auch `|S_infty(z)|=1` fuer reelles `z`, und exakt + +```math +\boxed{ +-i\overline{S_\infty(z)}S_\infty'(z) += +\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right)-\log\pi. +} +``` + +Fuer ein Fenster `[-a,a]` definiere den endlichen Streufaktor + +```math +\boxed{ +S_a(z) +:= +S_\infty(z) +\prod_{p\le e^{2a}}S_p(z). +} +``` + +Dann ist fuer alle reellen `z` + +```math +\boxed{ +-i\overline{S_a(z)}S_a'(z) += +B_{\infty}(z) ++ +\sum_{p\le e^{2a}}B_p(z), +} +``` + +wobei `B_infty` der zentrierte archimedische und `B_p` der **vollstaendige** zentrierte `p`-Power-Multiplikator ist. + +Auf Funktionen mit Traeger in `[-a,a]` ist dies in der quadratischen Form exakt der zentrierte COMMON-JUMP-/Weil-Operator; die ueber den geometrischen Cutoff hinaus ergaenzten Prime powers tragen exakt null. + +Auf NULLPOL gilt daher + +```math +\boxed{ +Q_W(v) += +\int_{\mathbb R} +|\widehat v(z)|^2 +\left[-i\overline{S_a(z)}S_a'(z)\right]dz. +} +``` + +Der Weiloperator ist damit ein skalarer **Wigner--Smith / phase-delay operator** des expliziten Fenster-Streufaktors. + +Status: + +```text +local Euler scattering factors S_p ✓[M] +archimedean Gamma scattering factor S_infty ✓[M] +window product S_a unitary on real axis ✓[M] +phase derivative = centered COMMON-JUMP multiplier ✓[M] +NULLPOL Weil form = Wigner-Smith quadratic form ✓[M] +positive scattering dilation / monotone time delay ?[O] +full positive Object X ?[O] +RH ?[O] +publication novelty ?[O] +``` + +--- + +# 1. Lokaler Prime-Streufaktor + +Fixiere `p`, setze + +```math +q=p^{-1/2}, +\qquad +\theta=z\log p. +``` + +Dann + +```math +S_p(z) +=\frac{1-qe^{i\theta}}{1-qe^{-i\theta}}. +``` + +Fuer reelles `theta` sind Zaehler und Nenner komplex konjugiert, also + +```math +|S_p(z)|=1. +``` + +Logarithmisch differenziert nach `theta`: + +```math +\frac{d}{d\theta}\log S_p += +-i\left( +\frac{qe^{i\theta}}{1-qe^{i\theta}} ++ +\frac{qe^{-i\theta}}{1-qe^{-i\theta}} +\right). +``` + +Somit + +```math +\frac{d}{d\theta}\arg S_p +=-2\operatorname{Re} +\frac{qe^{i\theta}}{1-qe^{i\theta}}. +``` + +Aus + +```math +P_q^{\mathbb D}(\theta) +=1+2\operatorname{Re} +\frac{qe^{i\theta}}{1-qe^{i\theta}} +``` + +folgt + +```math +\boxed{ +\frac{d}{d\theta}\arg S_p +=1-P_q^{\mathbb D}(\theta). +} +``` + +Mit `d theta/dz=log p`: + +```math +\boxed{ +-i\overline{S_p(z)}S_p'(z) +=(\log p)(1-P_q^{\mathbb D}(z\log p)). +} +``` + +Nach dem Poisson-Audit ist dies exakt der zentrierte gesamte Weil-Prime-Power-Turm von `p`. + +--- + +# 2. Beziehung zum lokalen Eulerfaktor + +Schreibe + +```math +\zeta_p(s)=(1-p^{-s})^{-1}. +``` + +Dann gilt direkt + +```math +\boxed{ +S_p(z) += +\frac{\zeta_p(1/2+iz)}{\zeta_p(1/2-iz)}. +} +``` + +Die P11-AR(1)-Poisson-Dichte ist somit die Phasengeschwindigkeit des Quotienten der beiden kritischen Randwerte des lokalen Eulerfaktors. + +Firewall: Der endliche Fensterfaktor verwendet nur endlich viele Primzahlen. Ein unkritisches Produkt ueber **alle** Primzahlen auf `Re(s)=1/2` wird nicht gebildet; dort konvergiert das Eulerprodukt nicht klassisch. + +--- + +# 3. Archimedischer Streufaktor + +Setze + +```math +S_\infty(z) +=\pi^{-iz} +\frac{\Gamma(1/4+iz/2)} + {\Gamma(1/4-iz/2)}. +``` + +Fuer reelles `z` sind die Gammawerte komplex konjugiert; daher + +```math +|S_\infty(z)|=1. +``` + +Logarithmisch differenziert: + +```math +\begin{aligned} +\frac{d}{dz}\log S_\infty(z) +&=-i\log\pi ++\frac{i}{2}\psi\left(\frac14+\frac{iz}{2}\right) ++\frac{i}{2}\psi\left(\frac14-\frac{iz}{2}\right)\\ +&=i\left[ +\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right) +-\log\pi +\right]. +\end{aligned} +``` + +Somit + +```math +\boxed{ +-i\overline{S_\infty(z)}S_\infty'(z) += +\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right)-\log\pi. +} +``` + +Dies ist exakt der zentrierte archimedische Multiplikator aus COMMON-JUMP. + +Ferner ist `S_infty` genau das Verhaeltnis des archimedischen completed-zeta-Faktors + +```math +\pi^{-s/2}\Gamma(s/2) +``` + +an `s=1/2+iz` und `s=1/2-iz`. + +--- + +# 4. Fenster-Streumatrix + +Fuer `a>0` setze + +```math +\boxed{ +S_a(z) +=S_\infty(z) +\prod_{p\le e^{2a}}S_p(z). +} +``` + +Das Produkt ist endlich und fuer reelles `z` unitär: + +```math +|S_a(z)|=1. +``` + +Daher ist + +```math +\boxed{ +\tau_a(z):=-i\overline{S_a(z)}S_a'(z) +} +``` + +reell. Durch logarithmische Ableitung + +```math +\boxed{ +\tau_a(z) += +\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right)-\log\pi ++ +\sum_{p\le e^{2a}} +(\log p) +\left[1-P_{p^{-1/2}}^{\mathbb D}(z\log p)\right]. +} +``` + +--- + +# 5. Warum ganze Prime-Tuerme trotz Fenster exakt sind + +COMMON-JUMP verwendet geometrisch nur Prime powers mit + +```math +k\log p\le2a. +``` + +Im Faktor `S_p` steckt dagegen formal der ganze geometrische Turm `k>=1`. Dies ist auf dem Testfunktionsraum kein Fehler: + +Fuer `v` mit Traeger in `[-a,a]` und `k log p>2a` gilt + +```math +\|K_{k\log p}v\|^2-2\|v\|^2=0. +``` + +Unter Fouriertransformation bedeutet dies + +```math +\int|\widehat v(z)|^2\cos(kz\log p)dz=0. +``` + +Daher duerfen die fehlenden hohen Potenzen **innerhalb der quadratischen Form** exakt ergaenzt werden. + +Somit gilt fuer alle solchen `v` + +```math +\boxed{ +\langle v,(X_a^*X_a-\Gamma_aI)v\rangle += +\int|\widehat v(z)|^2\tau_a(z)dz. +} +``` + +Auf NULLPOL ist die linke Seite exakt `Q_W(v)`. + +--- + +# 6. Wigner--Smith-Lesart + +Fuer eine skalare unitäre Streumatrix `S(z)` ist der Wigner--Smith-/phase-delay-Ausdruck + +```math +Q_S(z)=-iS(z)^*\frac{dS}{dz}(z). +``` + +Da `S_a` skalar ist, + +```math +Q_{S_a}(z)=\tau_a(z). +``` + +Daher: + +```math +\boxed{ +Q_W(v) += +\langle\widehat v, +Q_{S_a}\widehat v\rangle_{L^2(\mathbb R)} +\qquad +(v\in\mathscr D_{NP,a}). +} +``` + +Dies ist eine exakte Operatoridentitaet, keine physikalische Analogie. + +### Firewall + +Wigner-Zeitverzoegerungen koennen lokal negativ sein. Aus Unitaritaet von `S_a` folgt **keine** Positivitaet von `Q_{S_a}`. NP-GAP bleibt daher unangetastet offen. + +--- + +# 7. Relation zur Poisson-/Blaschke-Geometrie + +Fuer reelles `0 scattering phase` **nicht** als neu beansprucht. + +Der projektinterne neue Punkt ist die exakt hergeleitete Kette + +```text +P11 AR(1) covariance + -> disk Poisson symbol + -> exact centered local Euler tower + -> finite-window Euler scattering phase +``` + +parallel zu + +```text +critical-half Gamma resolvent ladder + -> half-plane Poisson comb + -> exact archimedean scattering phase, +``` + +und ihre Identifikation mit dem bereits bewiesenen COMMON-JUMP-Fensteroperator. + +Publikationsneuheit dieser spezifischen Kombination bleibt `?[O]`. + +--- + +# 9. Neuer Object-X-Gate + +Die jetzt kanonische Frage lautet: + +> Gibt es ein explizites positives scattering system / conservative dilation, dessen Wigner--Smith-Operator nach einem **vorwaerts konstruierten** Compression-/Schur-Schritt genau `Q_{S_a}` auf `Ran L_{1/2}` liefert? + +Die Daten dafuer sind jetzt vollstaendig explizit: + +```text +boundary/source: L_{1/2}, E_±, +prime channels: disk Blaschke points q_p=p^{-1/2}, +arch channels: half-plane points i mu_m, +window scattering: S_a, +Weil operator: -i S_a^* S_a'. +``` + +Ein positiver konservativer Dilationmechanismus waere ein echter Object-X-Kandidat. Ein theorem-level No-Go fuer diese Klasse waere ebenfalls wertvoll. + +--- + +# 10. Firewalls + +Nicht behaupten: + +- `tau_a(z)>=0` punktweise; +- Unitaritaet impliziere Wigner--Smith-Positivitaet; +- das endliche Eulerprodukt konvergiere zum vollen Eulerprodukt auf der kritischen Linie; +- die funktionale Gleichung liefere die Fensterform ohne Renormierungs-/Cutoffkontrolle; +- ein bekanntes hyperbolisches Streumodell sei bereits unser Object X; +- NP-GAP, Object X oder RH seien geloest; +- Publikationsneuheit sei geklaert. From 41372fa263d57745c22f93d7518d74f466c7ce28 Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 11:07:59 +0200 Subject: [PATCH 09/55] Consolidate current front around critical-half scattering architecture --- CURRENT-FRONT.md | 454 +++++++++++++++++++++++++++++++---------------- 1 file changed, 300 insertions(+), 154 deletions(-) diff --git a/CURRENT-FRONT.md b/CURRENT-FRONT.md index 92dae5e9..f356cbee 100644 --- a/CURRENT-FRONT.md +++ b/CURRENT-FRONT.md @@ -1,182 +1,191 @@ -# CURRENT FRONT — Objekt X / NULLPOL-COMMON → CRITICAL-HALF → NP-GAP +# CURRENT FRONT — Objekt X / CRITICAL-HALF SCATTERING → NP-GAP > **Operative Kopfschicht — zuerst lesen.** > **Stand:** 13. September 2026; keine Registry-Promotion. -> **Common-Jump-Audit:** [NULLPOL common jump-Gram](audits/P11_NP_COMMON_JUMP_GRAM_2026-09-13.md). -> **Neue bevorzugte Route:** [Critical-half Green/tree bridge](audits/P11_CRITICAL_HALF_GREEN_TREE_BRIDGE_2026-09-13.md) und [Critical-half rigidity / Schur-gap](audits/P11_CRITICAL_HALF_RIGIDITY_AND_SCHUR_GAP_2026-09-13.md). +> **Basis:** NULLPOL-COMMON ist gemergt; dieser Branch konsolidiert die neue Critical-half-Green-/Poisson-/Scattering-Route. +> **Hauptengpass bleibt:** NP-GAP fuer alle Fenster. -Diese Datei ordnet die Arbeit; sie beweist nichts. Registry und Arbeitsdefinition bleiben unverändert. +Diese Datei ordnet die Arbeit; sie beweist nichts. Registry und Object-X-Arbeitsdefinition bleiben unverändert. -## 1. Nullpol-Hauptklasse +## 1. COMMON-JUMP bleibt die exakte Ausgangsnormalform `✓[M]` Mit ```math -M(v)(s)=\int_{\mathbb R}v(x)e^{(s-1/2)x}\,dx +K_t=T_{t/2}-T_{-t/2}, +\qquad +h(t)=\frac{e^{-t/2}}{1-e^{-2t}}, +\qquad +w_n=\frac{\Lambda(n)}{\sqrt n} ``` -gilt exakt +und ```math -E_-(v)=M(v)(0),\qquad E_+(v)=M(v)(1). +\mathcal X_av= +\left([t\mapsto K_tv], +[\sqrt{w_n}K_{\log n}v]_{\log n\le2a}\right) ``` -Auf +gilt fuer jedes `a>0` ```math -\mathscr D_{NP}=\ker M(0)\cap\ker M(1) +Q_W(v,w) +=\langle\mathcal Ev,P\mathcal Ew\rangle ++\langle\mathcal X_av,\mathcal X_aw\rangle +-\Gamma_a\langle v,w\rangle, ``` -verschwinden `R_0` und `\mathcal E`. Connes–Consani Proposition C.1 liefert global einen RH-aequivalenten Weil-Scope mit diesen Nullbedingungen. Keine fixed-`a`-Aequivalenz wird behauptet. - -## 2. Gemeinsamer Prime-/archimedischer Kanal `✓[M]` - -Setze +wobei ```math -K_t:=T_{t/2}-T_{-t/2}, -\qquad -h(t)=\frac{e^{-t/2}}{1-e^{-2t}}>0, +\Gamma_a +=2\sum_{\log n\le2a}\frac{\Lambda(n)}{\sqrt n} ++\kappa_*, \qquad -w_n=\frac{\Lambda(n)}{\sqrt n}. +\kappa_*=\log\pi-\psi(1/4). ``` -Fuer +Auf ```math -\mathcal P_a=\{n=p^k:\log n\le2a\} +\mathscr D_{NP} +=\ker M(0)\cap\ker M(1) ``` -ist +verschwindet der Polblock und ```math -\mu_a=h(t)dt+\sum_{n\in\mathcal P_a}w_n\delta_{\log n}. +\boxed{Q_W|_{NP}=\mathcal X_a^*\mathcal X_a-\Gamma_aI.} ``` -Archimedes ist der kontinuierliche, Prime powers der atomare Teil **derselben** Translation-Differenz-Familie. +Die Familie aller Fenster ist global RH-aequivalent; fixed-`a` wird nicht als RH-aequivalent behauptet. -Die positive Featureabbildung ist - -```math -\mathcal X_av= -\left( -[t\mapsto K_tv], -[\sqrt{w_n}K_{\log n}v]_{n\in\mathcal P_a} -\right). -``` +--- -## 3. Exakte COMMON-JUMP-Normalform `✓[M]` +## 2. Ein einziger Critical-half Quellenoperator `✓[M]` -Mit +Setze ```math -\kappa_* -=\log(8\pi)+\gamma+\frac\pi2 -=\log\pi-\psi(1/4) +\boxed{ +L_{1/2}:=-\partial_x^2+\frac14. +} ``` -und +Sein Green-Kern auf `R` ist ```math -\Gamma_a -=2\sum_{n\in\mathcal P_a}\frac{\Lambda(n)}{\sqrt n}+\kappa_* +\boxed{G_{1/2}(x,y)=e^{-|x-y|/2}.} ``` -gilt fuer jedes `a>0` exakt +Fuer jedes `a>0` gilt exakt ```math -Q_W(v,w) -=\langle\mathcal Ev,P\mathcal Ew\rangle -+\langle\mathcal X_av,\mathcal X_aw\rangle --\Gamma_a\langle v,w\rangle. +\boxed{ +C_c^\infty(-a,a)\cap\ker M(0)\cap\ker M(1) +=L_{1/2}C_c^\infty(-a,a). +} ``` -Auf NULLPOL: +Die Nullpolbedingungen sind genau die Bedingungen, welche die beiden exponentiellen Aussenschwaenze des Green-Inversen vernichten. Damit wird NP-GAP durch ```math -\boxed{ -Q_W(v,w) -=\langle\mathcal X_av,\mathcal X_aw\rangle --\Gamma_a\langle v,w\rangle. -} +v=L_{1/2}u, +\qquad u\in C_c^\infty(-a,a) ``` -`R_1`, `log|D|`, Prime shifts und Exterior-shell-Masse sind damit keine getrennten Hauptgeometrien mehr. +zu einer momentfreien Coercivity-Frage. + +--- -## 4. Cutoff-Gauge `✓[M]` +## 3. Pole = orientierter Außen-Transfer desselben Green-Kerns `✓[M]` -Neue Prime-Atome ausserhalb eines bereits kleineren Trägers liefern exakt +Definiere ```math -\langle K_{\log n}v,K_{\log n}w\rangle=2\langle v,w\rangle. +E_+(f)=\int e^{x/2}f(x)dx, +\qquad +E_-(f)=\int e^{-x/2}f(x)dx. ``` -Gramform und `Gamma_a I` wachsen daher um denselben Skalar. Invariant ist +Sind die Traeger getrennt und liegt `f` links von `g`, dann ```math -\mathcal X_a^*\mathcal X_a-\Gamma_aI. +\boxed{ +\langle f,G_{1/2}g\rangle +=E_+(f)\overline{E_-(g)}. +} ``` -## 5. Neuer Critical-half Quellenoperator `✓[M]` - -Setze +In umgekehrter Orientierung: ```math \boxed{ -L_{1/2}:=-\partial_x^2+\frac14. +\langle f,G_{1/2}g\rangle +=E_-(f)\overline{E_+(g)}. } ``` -Sein Green-Kern auf `R` ist +Dies sind exakt die beiden Off-Diagonal-Amplituden des bisherigen Pole-pairings ```math -\boxed{ -G_{1/2}(x,y)=e^{-|x-y|/2}. -} +\langle\mathcal Ef,P\mathcal Eg\rangle. ``` -Fuer jedes `a>0` gilt die exakte lokale Range-Identitaet +Daher bedeutet NULLPOL zugleich: **keine Critical-half Green-Außenladung**. Getrennte Translationen einer Nullpol-Funktion sind in der Green-Metrik exakt orthogonal. + +Firewall: Der `P`-Block bleibt indefinit; diese Identitaet macht ihn nicht selbst positiv. + +--- + +## 4. P11-Prime-Ledger = logarithmischer OU-/Green-Baum `✓[M]` + +Auf einem verwurzelten Sternbaum mit einem Halbast pro Primzahl und Knoten ```math -\boxed{ -C_c^\infty(-a,a)\cap\ker M(0)\cap\ker M(1) -=L_{1/2}C_c^\infty(-a,a). -} +x_{p,k}=k\log p ``` -Die zwei Nullpolbedingungen sind genau die Bedingungen, welche die beiden exponentiellen Aussenschwaenze des Green-Inversen vernichten. +gibt es explizite Einheitsfeatures `Phi` mit -## 6. Derselbe Kernel auf der Prime-Seite `✓[M]` +```math +\boxed{ +\langle\Phi_\alpha,\Phi_\beta\rangle +=e^{-d(\alpha,\beta)/2}. +} +``` -Der aus PR #98 bekannte normierte Prime-Power-Kern ist +Auf demselben Primast: ```math p^{-|j-k|/2} =e^{-\frac12|j-k|\log p}, ``` -also exakt die Abtastung von `G_{1/2}` auf dem logarithmischen Primast `k log p`. - -Auf einem verwurzelten Sternbaum mit einem Halbast pro Primzahl existiert eine explizite positive OU-Featurefamilie `Phi` mit +also exakt der aus P11 bekannte AR(1)-Kern. Nach Weil-Gewichtung ```math -\langle\Phi_\alpha,\Phi_\beta\rangle -=e^{-d(\alpha,\beta)/2}. +\Psi_{p,k}=\sqrt{(\log p)p^{-k/2}}\,\Phi_{p,k\log p} ``` -Nach Weil-Gewichtung reproduziert ihr Gram **den gesamten fensterlosen P11-Hub+Rest-Kanalindex-Ledger**, inklusive cross-prime Hub-Korrelation. Die vorhandene Faktorisierung +reproduziert der Gram den gesamten fensterlosen P11-Hub+Rest-Kanalindex-Ledger, inklusive cross-prime Root-Korrelation. + +Die bereits bekannte Faktorisierung ```math -T_q^*T_q+uu^*=R_q +R_q=T_q^*T_q+uu^* ``` ist exakt die Zerlegung in gemeinsame Root-Koordinate plus orthogonale Ast-Innovationen. -Firewall: Fensterprojektionen und die raeumliche P11-Geometrie bleiben bestehen. +Firewall: Fensterprojektionen und die raeumliche P11-Operatorgeometrie bleiben notwendig. + +--- -## 7. Critical-half rigidity `✓[M]` +## 5. Critical-half rigidity `✓[M]` -In der natürlichen OU-Familie +In der normierten OU-Familie ```math \langle\Phi^{(\sigma)}_\alpha, @@ -189,25 +198,27 @@ hat die gewichtete Prime-Rootamplitude den Exponenten \beta(\sigma)=\frac14+\sigma. ``` -P11 erzwingt unabhaengig `beta=3/4`; also +P11 erzwingt unabhaengig `beta=3/4`; daher ```math \boxed{\sigma=1/2.} ``` -Dieselbe Skala wird separat von NULLPOL (`e^{±x/2}`) und vom Grundmodus der Gamma-Resolventenleiter erzwungen. Die `1/2` ist innerhalb dieser Familie kein Fitparameter. +Dieselbe Skala wird separat durch die Nullpol-Moden `e^{±x/2}` und durch den Grundmodus der Gamma-Schicht erzwungen. Die `1/2` ist in dieser Familie kein Fitparameter. -## 8. Gamma-Schicht als Resolventenleiter `✓[M]` +--- -Die archimedische Dichte zerfaellt positiv: +## 6. Gamma-Schicht = positive Resolventenleiter desselben Grundoperators `✓[M]` + +Aus ```math h(t)=\sum_{m\ge0}e^{-\mu_mt}, \qquad -\mu_m=2m+\frac12. +\mu_m=2m+\frac12 ``` -Daher +folgt ```math \boxed{ @@ -221,78 +232,211 @@ Der Grundmodus ist ```math \mu_0=1/2, +\qquad +D^2+\mu_0^2=L_{1/2}. ``` -also exakt derselbe Operator `L_{1/2}` wie in NULLPOL und derselbe Zerfall wie im Prime-AR(1)-Kern. +Nach dem Source-Lift `v=L_{1/2}u` wird dieser Grundmodus rein lokal: -Ferner ist +```math +\boxed{ +4\|u''\|_2^2+\|u'\|_2^2. +} +``` + +Der einfache Schur-Test der Resolventenleiter liefert ausserdem einen vorwaerts bewiesenen kleinen NP-GAP-Bereich `02a` verschwindet der zentrierte Jump-Summand wegen Trägertrennung identisch. + +--- + +## 9. Gamma-Moden = Half-plane-Poisson; Prime und Archimedes sind dieselbe harmonische Kernelklasse `✓[M]` + +Mit + +```math +P_y^{\mathbb H}(x)=\frac1\pi\frac{y}{x^2+y^2} ``` -Damit wird NP-GAP exakt zu einer Ungleichung **ohne Momentennebenbedingungen**. Insbesondere wird der erste Gamma-Modus lokal: +gilt ```math -\frac{2}{\mu_0} -\|D(D^2+\mu_0^2)^{-1/2}L_{1/2}u\|^2 -=4\|u''\|^2+\|u'\|^2, +\boxed{ +A_m(z)-\frac2{\mu_m} +=-2\pi P_{\mu_m}^{\mathbb H}(z). +} ``` -waehrend +Somit ist die archimedische zentrierte Schicht ein finite-part-renormalisierter Half-plane-Poisson-Kamm, waehrend jeder Prime-Turm ein Disk-Poisson-Defekt ist. Disk und oberer Halbraum sind die beiden Standardmodelle derselben harmonischen Maßgeometrie (Cayley-Transformation). + +Es wird keine kuenstliche direkte Identifikation `q_p <-> mu_m` behauptet. + +--- + +## 10. Exakte Euler/Gamma-Streuphase `✓[M]` + +Fuer jede Primzahl setze ```math -\|L_{1/2}u\|^2 -=\|u''\|^2+\frac12\|u'\|^2+\frac1{16}\|u\|^2. +S_p(z) += +\frac{1-p^{-1/2}e^{iz\log p}} + {1-p^{-1/2}e^{-iz\log p}}, ``` -Dies ist jetzt die bevorzugte analytische Route. +und archimedisch -## 10. Forward Lower-Frame-Test `✓[M]` im kleinen Radius +```math +S_\infty(z) += +\pi^{-iz} +\frac{\Gamma(1/4+iz/2)} + {\Gamma(1/4-iz/2)}. +``` -Der Schur-Test auf jedem Gamma-Resolventenmodus liefert fuer beliebiges in `[-a,a]` getragenes `v` +Fuer reelles `z` sind alle diese Faktoren unitär. Es gilt exakt ```math -\langle v,\Phi_\infty(D)v\rangle -\ge S(a)\|v\|^2, +-i\overline{S_p}S_p' +=(\log p) +\left[1-P_{p^{-1/2}}^{\mathbb D}(z\log p)\right], ``` -mit +```math +-i\overline{S_\infty}S_\infty' += +\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right)-\log\pi. +``` + +Fuer ```math \boxed{ -S(a)= -\log\frac{1+e^{-a/2}}{1-e^{-a/2}} -+2\arctan(e^{-a/2}). +S_a(z)=S_\infty(z)\prod_{p\le e^{2a}}S_p(z) } ``` -Rein elementar folgt +ist daher der zentrierte Fensteroperator in quadratischer Form genau der skalare Wigner--Smith-/Phasenoperator ```math -S(a)>\kappa_* -\qquad(00` und jedes Nullpol-`v` mit Traeger in `[-a,a]`. +fuer jedes `a>0` und jedes Nullpol-`v` in `[-a,a]`. -Aequivalent: +Aequivalent nach dem neuen Source-Lift: -```math -\lambda_{NP}(a) -:= -\inf_{\substack{0\ne v\in C_c^\infty(-a,a)\\M(v)(0)=M(v)(1)=0}} -\frac{\|\mathcal X_av\|^2}{\|v\|_2^2} -\stackrel?\ge\Gamma_a. +```text +positivity of the canonically centered +Euler/Gamma harmonic/scattering form +on Ran(L_{1/2}) for every compact window. ``` -Die Familie aller Fenster ist global RH-aequivalent; ein einzelnes fixes `a` wird nicht als RH-aequivalent behauptet. +### Bevorzugter naechster Gate -### Bevorzugter naechster Angriff +Suche **vorwaerts** eine positive conservative/harmonic-extension dilation, deren Compression/Schur-Komplement den Wigner--Smith-Operator `-iS_a^*S_a'` auf `Ran L_{1/2}` liefert. Erlaubte Daten sind ausschliesslich: ```text -NULLPOL = Range(L_{1/2}) - -> momentfreier Lift - -> erste Gamma-Moden lokal/coerciv - -> Resolventenrest per Schur - -> Prime-Jumps in derselben critical-half / Tree-Metrik - -> radiusstabiler Lower-Frame-Mechanismus oder enger No-Go. +L_{1/2} / Green transfer, +OU/tree edges and innovations, +Disk-/Half-plane Poisson extension, +COMMON-JUMP incidence operators K_t, +finite-part diagonal renormalization. ``` -## 12. Status / Firewalls +Keine rueckwaerts aus fertiger Weil-Positivitaet definierte Dilation ist zulaessig. Ein enger Klassen-No-Go zaehlt ebenfalls als Fortschritt. + +--- + +## 13. Status / Firewalls ```text -NP-R1 separate geometry question closed/subsumed ✓[M] -NP-COMMON common Prime/archimedean jump family ✓[M] COMMON-JUMP exact all-a normal form ✓[M] -critical-half Green/OU bridge ✓[M] NULLPOL = Range(L_{1/2}) ✓[M] -critical-half rigidity ✓[M] -Gamma resolvent ladder ✓[M] -NP-GAP moment-free lift ✓[M] -small-window forward Schur gap ✓[M] +pole amplitudes = critical-half Green transfer ✓[M] +P11 hub+rest = logarithmic OU/tree Gram ✓[M] +critical-half rigidity sigma=1/2 ✓[M] +Gamma positive resolvent ladder ✓[M] +threshold = common diagonal / finite-part mass ✓[M] +Prime tower = flat - P11 AR(1) Poisson ✓[M] +Gamma centered modes = half-plane Poisson ✓[M] +finite-window Euler/Gamma scattering phase ✓[M] +forward Object-X candidate architecture ✓[M]_part sharp NP-GAP for all a ?[O] full positive Object-X realization / RH ?[O] publication novelty ?[O] @@ -344,11 +491,10 @@ publication novelty ?[O] Nicht behaupten: -- globales `Q_W>=0` sei bewiesen; -- der scharfe Lower-Frame-Bound sei fuer alle Radien bewiesen; -- der Sternbaum allein sei bereits die volle Weilform; -- Fensterprojektionen duerften entfallen; -- `log(4pi)+gamma` sei bereits als Baumenergie erklaert; -- ein einzelnes fixes `a` sei RH-aequivalent; -- Publikationsneuheit sei geklaert; -- Registry, Arbeitsdefinition oder RH-Status seien promoviert. +- `tau_a(z)>=0` punktweise; +- Unitaritaet impliziere Wigner--Smith-Positivitaet; +- der Sternbaum allein sei der volle raeumliche P11-Operator; +- ein globales Eulerprodukt werde auf `Re(s)=1/2` benutzt; +- fixed-`a`-Positivitaet allein sei RH-aequivalent; +- NP-GAP, Object X oder RH seien geloest; +- Publikationsneuheit sei geklaert. From 3afd71910c755d2ab2dd12215397b96619e28ee4 Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 11:08:35 +0200 Subject: [PATCH 10/55] Close scalar origin and move open front to scattering dilation --- OFFENE_PROBLEME.md | 311 ++++++++++++++++++++++++++++----------------- 1 file changed, 195 insertions(+), 116 deletions(-) diff --git a/OFFENE_PROBLEME.md b/OFFENE_PROBLEME.md index 7eebbc5a..b2541779 100644 --- a/OFFENE_PROBLEME.md +++ b/OFFENE_PROBLEME.md @@ -1,30 +1,14 @@ -# Offene Probleme — CRITICAL-HALF / NP-GAP +# Offene Probleme — CRITICAL-HALF SCATTERING / NP-GAP > **Stand:** 13. September 2026. -> Operative Quellen: [CURRENT-FRONT](CURRENT-FRONT.md), [Common-Jump-Audit](audits/P11_NP_COMMON_JUMP_GRAM_2026-09-13.md), [Critical-half Green/tree](audits/P11_CRITICAL_HALF_GREEN_TREE_BRIDGE_2026-09-13.md), [Critical-half rigidity / Schur-gap](audits/P11_CRITICAL_HALF_RIGIDITY_AND_SCHUR_GAP_2026-09-13.md). +> Operative Quelle: [CURRENT-FRONT](CURRENT-FRONT.md). +> Registry und Arbeitsdefinition bleiben unveraendert. ## Neu geschlossen -### `[NP-R1]` separate Geometriefrage — `✓[M]` +### `[NP-R1]`, `[NP-COMMON]`, `[NP-SCALAR-GAUGE]` — `✓[M]` -`R_1`, der logarithmische archimedische Anteil, Prime shifts und Exterior-shell-Masse sind in der gemeinsamen positiven Translation-Differenz-Geometrie - -```math -K_t=T_{t/2}-T_{-t/2} -``` - -subsumiert. - -### `[NP-COMMON]` — `✓[M]` - -```math -\mu_a=\frac{e^{-t/2}}{1-e^{-2t}}dt -+\sum_{\log n\le2a}\frac{\Lambda(n)}{\sqrt n}\delta_{\log n} -``` - -liefert die positive Featureform `X_a^*X_a`. - -### `[COMMON-JUMP-NORMAL-FORM]` — `✓[M]` +Die exakte COMMON-JUMP-Normalform ist ```math Q_W(v,w) @@ -33,7 +17,15 @@ Q_W(v,w) -\Gamma_a\langle v,w\rangle, ``` -und auf Nullpol +mit + +```math +\Gamma_a +=2\sum_{\log n\le2a}\frac{\Lambda(n)}{\sqrt n} ++\log\pi-\psi(1/4). +``` + +Auf NULLPOL: ```math \boxed{Q_W|_{NP}=X_a^*X_a-\Gamma_aI.} @@ -41,13 +33,13 @@ und auf Nullpol ### `[CRIT-HALF-RANGE]` — `✓[M]` -Mit - ```math -L_{1/2}=-\partial_x^2+1/4 +L_{1/2}=-\partial_x^2+1/4, +\qquad +L_{1/2}^{-1}(x,y)=e^{-|x-y|/2}, ``` -gilt fuer jedes `a>0` +und fuer jedes Fenster ```math \boxed{ @@ -56,75 +48,174 @@ C_c^\infty(-a,a)\cap\ker M(0)\cap\ker M(1) } ``` -Der Green-Kern ist +NULLPOL ist exakt die support-erhaltende Range dieses Operators. + +### `[CRIT-HALF-POLE]` — `✓[M]` + +Auf getrennten Traegern faktorisiert derselbe Green-Kern in die beiden Pole-Randladungen: ```math -G_{1/2}(x,y)=e^{-|x-y|/2}. +\langle f,G_{1/2}g\rangle +=E_+(f)\overline{E_-(g)} ``` -### `[CRIT-HALF-TREE]` — `✓[M]` - -Derselbe Kernel, auf den logarithmischen Prime-Power-Knoten `k log p` abgetastet, ist +oder in umgekehrter Orientierung ```math -p^{-|j-k|/2}, +\langle f,G_{1/2}g\rangle +=E_-(f)\overline{E_+(g)}. ``` -also exakt der P11-AR(1)-Kern. Eine explizite OU-/Sternbaum-Hilbertgeometrie reproduziert den fensterlosen P11-Hub+Rest-Kanalindex-Ledger inklusive cross-prime Root-Korrelation. +Die OX-GEN-A-Pole-Amplituden sind somit Außen-Transferdaten desselben Critical-half-Propagators. -### `[CRIT-HALF-RIGIDITY]` — `✓[M]` +### `[CRIT-HALF-TREE]` und `[CRIT-HALF-RIGIDITY]` — `✓[M]` -In der OU-Familie `e^{-sigma d}` ist die gewichtete Rootamplitude +Der P11-AR(1)-Kern ```math -sqrt(log p) p^{-(1/4+sigma)k}. +p^{-|j-k|/2} ``` -P11 erzwingt den Exponenten `3/4`; daher `sigma=1/2`. Dieselbe Skala wird separat durch NULLPOL (`e^{±x/2}`) und durch den Gamma-Grundmodus `mu_0=1/2` erzwungen. +ist die logarithmische Abtastung von `e^{-|x-y|/2}` auf einem Prim-Sternbaum. Der gesamte fensterlose Hub+Rest-Kanalindex-Ledger besitzt eine explizite positive OU-/Tree-Gram-Realisierung. + +In der Familie `e^{-sigma d}` erzwingt die P11-Amplitude `beta=3/4` exakt + +```math +sigma=1/2, +``` + +dieselbe Skala wie NULLPOL und der Gamma-Grundmodus. ### `[NP-GAP-LIFT]` — `✓[M]` -Setze eindeutig +Jedes Nullpol-`v` ist eindeutig ```math v=L_{1/2}u, -\qquad u\in C_c^\infty(-a,a). +\qquad +u\in C_c^\infty(-a,a). ``` -Dann ist NP-GAP eine **momentfreie** Coercivity-Frage. Die Gamma-Schicht besitzt die positive Resolventenleiter +Damit ist NP-GAP eine momentfreie Coercivity-Frage. + +### `[GAMMA-RESOLVENT]` — `✓[M]` ```math \Phi_\infty(D) -=\sum_{m\ge0}\frac{2}{\mu_m}D^2(D^2+\mu_m^2)^{-1}, +=\sum_{m\ge0}\frac2{\mu_m}D^2(D^2+\mu_m^2)^{-1}, \qquad -\mu_m=2m+1/2, +\mu_m=2m+1/2. ``` -und der erste Modus wird lokal: +Der Grundmodus ist exakt `L_{1/2}`. Ein direkter Schur-Test liefert als Mechanismus-Zertifikat NP-GAP fuer `0kappa_*` fuer `00`. Fuer die Familie aller Fenster ist dies die verbleibende RH-aequivalente Lower-Frame-/Spektralgap-Frage. -### `[NP-GAP-A]` Critical-half source lift — **Default** +## `[NP-GAP-A]` Source-lift coercivity — Default analytischer Angriff -Nicht mehr nur die Faktorisierung suchen; sie ist bewiesen. Jetzt die momentfreie Form +Nutze ```math v=L_{1/2}u ``` -analytisch ausnutzen. - -Prioritaet: - -1. erste Gamma-Resolventenmoden in der `L_{1/2}`-Metrik lokal/coerciv behandeln; -2. Rest der Gamma-Leiter per Schur-/Resolventenabschätzung kontrollieren; -3. Prime-Jumps `L_{1/2}K_{log n}u` nicht wegwerfen, sondern mit der Critical-half-Tree-Geometrie koppeln; -4. nach einer in `a` stabilen Lower-Frame-Struktur suchen. - -### `[NP-GAP-B]` Tree/Common-Jump comparison - -Die Common-Jump-Form behandelt die `K_t`-Kanaele orthogonal, waehrend der P11-Kanalindex-Ledger einen kanonischen nichtorthogonalen OU-Tree-Kern besitzt. - -Offen: +vollstaendig aus: -```text -Kann die Tree-Root/Innovationsgeometrie einen vorwaerts definierten -Kontraktor, Schur-Block oder Vergleichsoperator fuer X_a liefern, -der Gamma- und Prime-Energie gleichzeitig kontrolliert? -``` - -Kein rueckwaerts aus fertiger Weil-Positivitaet definierter Operator ist zulaessig. +1. erste Gamma-Moden lokal/coerciv in der `L_{1/2}`-Metrik behandeln; +2. Gamma-Rest per Resolventen-/Schurtechnik kontrollieren; +3. Prime-Jumps `L_{1/2}K_{log n}u` nicht getrennt wegwerfen, sondern mit Tree-/OU-Innovationen koppeln; +4. nur radiusstabile Mechanismen verfolgen, nicht Radiuskosmetik. -### `[NP-GAP-C]` Threshold remainder +## `[NP-SCATTER]` positive conservative scattering dilation — neuer bevorzugter Struktur-Gate -Der Integralteil +Gesucht ist eine **vorwaerts definierte** positive conservative/harmonic-extension dilation, deren Compression oder Schur-Komplement auf `Ran L_{1/2}` den Fenster-Wigner--Smith-Operator ```math -J=2\int_0^\infty h(t)(1-e^{-t/2})dt +-iS_a^*S_a' ``` -ist bereits die kontinuierliche mittlere Root-Chordenergie derselben Critical-half-OU-Geometrie. +liefert. -Noch offen ist eine ebenso intrinsische Geometrisierung des verbleibenden festen Anteils +Zulaessige Ausgangsdaten: -```math -\log(4\pi)+\gamma +```text +critical-half Green propagation L_{1/2}^{-1}, +Tree-root / OU innovations, +Disk- und Half-plane-Poisson extension, +COMMON-JUMP incidence operators K_t, +canonical finite-part diagonal renormalization. ``` -in +Nicht zulaessig ist eine Dilation, die aus fertiger Weil-Positivitaet oder aus dem gewuenschten Bound rueckwaerts definiert wird. -```math -\kappa_*=\log(4\pi)+\gamma+J. -``` +## `[NP-SCATTER-NOGO]` naive positivity classes eliminieren + +Vor einem globalen Konstruktionsversuch sollen enge No-Go-Klassen geprueft werden: -Dies ist **kein** isolierter Konstanten-Fit-Auftrag; gesucht wird nur eine vorwaerts erzwungene Operator-/Measure-Bedeutung. +- punktweise Positivitaet der Phasenableitung; +- Unitaritaet `=>` positive time delay; +- endliche Gamma-Moden ohne Prime-/Tree-Kopplung; +- rein kanalweise Poincare-Schranken; +- Dilationen, die die Paley-Wiener-/Fensterstruktur ignorieren. -### `[NP-GAP-D]` Klassen-No-Go +Ein theorem-level No-Go gegen eine solche Klasse ist echter Fortschritt. -Falls ein radiusstabiler Bound nicht aus rein lokalen/diagonalen Moden folgen kann, soll dies mit einem vorab festgelegten Gegenbeispielmechanismus bewiesen werden. Besonders zu testen: +## `[NP-HARDY/DB]` Hardy-/Blaschke-/de-Branges-Route nur vorwaerts -- rein punktweise Symboluntergrenzen; -- endliche Gamma-Moden ohne Prime-Jump-Kopplung; -- kanalweise getrennte Poincare-Schranken ohne Tree-Korrelation. +Die neuen Disk-/Half-plane-Poisson- und Blaschke-Faktoren machen Hardy-/de-Branges-Methoden natuerlich. Offen ist, ob eine kanonische positive Raumstruktur **aus den vorhandenen Faktoren** konstruiert werden kann. -Ein enger No-Go zaehlt als Fortschritt. +Firewall: keine bekannte RH-aequivalente de-Branges-Bedingung einfach umbenennen und als Fortschritt ausgeben. --- -## Danach +## Kanonische Architektur nach diesem Durchlauf ```text -CRITICAL-HALF SOURCE/TREE/RESOLVENT STRUCTURE - | - v -NP-GAP for every a - | - v -positive Weil form on global null-pole class - | - v -RH +critical-half L_{1/2} + | + +-- Pole/NULLPOL = Green boundary charges / zero exterior charge + +-- P11 = logarithmic OU tree / AR(1) + +-- Prime towers = flat - disk Poisson + +-- Gamma ladder = resolvents / half-plane Poisson + +-- Gamma_a = finite + finite-part diagonal mass + +-- finite-window Euler/Gamma unitary scattering S_a + | + v + -i S_a^* S_a' + | + v + NP-GAP ``` -Ein Beweis von NP-GAP fuer alle `a` waere bereits RH. Zirkularitaetskontrolle bleibt Pflicht. - -## Auxiliary / separate - -- OX-GEN-A: exakte Pole-layer geometry; -- POS-DIL #101--#105: auxiliary full-class route, mehrere Faktoren nun durch Tree-Root-Geometrie erklaert; -- R37/G4c, PR #91, PR #49 separat. +--- ## Firewalls Nicht behaupten: -- Critical-half Bridge beweise globalen NP-GAP; -- der Sternbaum allein realisiere bereits die volle Weilform; -- P11-Fensterprojektionen duerften entfallen; -- `log(4pi)+gamma` sei bereits geometrisiert; +- `-iS_a^*S_a'` sei punktweise positiv; +- Unitaritaet impliziere Wigner--Smith-Positivitaet; +- der abstrakte Prime-Sternbaum ersetze die raeumliche P11-Fenstergeometrie; +- ein globales klassisches Eulerprodukt werde auf `Re(s)=1/2` gebildet; - fixed-`a`-Positivitaet allein sei RH-aequivalent; - Publikationsneuheit sei geklaert; -- Object X oder RH seien bewiesen. +- NP-GAP, full Object X oder RH seien bewiesen. From 6615399c3474bfbf81206e2571494b5d323faa87 Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 11:10:38 +0200 Subject: [PATCH 11/55] Prove pointwise scattering positivity no-go --- ...NG_POINTWISE_POSITIVITY_NOGO_2026-09-13.md | 273 ++++++++++++++++++ 1 file changed, 273 insertions(+) create mode 100644 audits/P11_SCATTERING_POINTWISE_POSITIVITY_NOGO_2026-09-13.md diff --git a/audits/P11_SCATTERING_POINTWISE_POSITIVITY_NOGO_2026-09-13.md b/audits/P11_SCATTERING_POINTWISE_POSITIVITY_NOGO_2026-09-13.md new file mode 100644 index 00000000..b58afb69 --- /dev/null +++ b/audits/P11_SCATTERING_POINTWISE_POSITIVITY_NOGO_2026-09-13.md @@ -0,0 +1,273 @@ +# P11 Audit — Pointwise scattering-positivity No-Go + +**Datum:** 13. September 2026 +**Basis:** Euler/Gamma scattering-phase realization auf dem Critical-half-Branch. +**Rolle:** theorem-level Architekturfilter. +**Registry:** unveraendert. +**Nonclaim:** kein NP-GAP-/RH-Beweis. + +--- + +## 0. Kurzurteil + +Der explizite Fenster-Streumultiplikator + +```math +\tau_a(z):=-i\overline{S_a(z)}S_a'(z) +``` + +ist fuer **jedes** `a>0` auf der reellen Achse zwingend vorzeichenwechselnd: + +```math +\boxed{\tau_a(0)<0,} +``` + +waehrend + +```math +\boxed{\tau_a(z)\to+\infty\qquad(|z|\to\infty).} +``` + +Damit ist jede Object-X-/Dilationklasse ausgeschlossen, deren Positivitaetsmechanismus eine punktweise nichtnegative Wigner--Smith-Dichte + +```math +\tau_a(z)\ge0 +``` + +oder eine punktweise Faktorisierung + +```math +\tau_a(z)=B_a(z)^*B_a(z) +``` + +auf der reellen Frequenzachse verlangen wuerde. + +Die gesuchte Positivitaet kann daher nur durch die **nichtlokale Fenster-/Paley--Wiener-Struktur und die NULLPOL-Range-Bedingung** entstehen. + +Status: + +```text +sign change of finite-window scattering delay ✓[M] +pointwise-positive multiplier factorization ×[M] +pointwise-positive Wigner-Smith dilation class ×[M] +need for support/Paley-Wiener/nullpole compression ✓[M] +sharp compressed NP-GAP ?[O] +RH / full Object X ?[O] +``` + +--- + +# 1. Fenster-Streufaktor + +Aus dem Scattering-Audit: + +```math +S_a(z) +=S_\infty(z)\prod_{p\le e^{2a}}S_p(z), +``` + +mit + +```math +S_p(z)= +\frac{1-p^{-1/2}e^{iz\log p}} + {1-p^{-1/2}e^{-iz\log p}}, +``` + +```math +S_\infty(z)= +\pi^{-iz} +\frac{\Gamma(1/4+iz/2)} + {\Gamma(1/4-iz/2)}. +``` + +Fuer reelles `z` ist `|S_a(z)|=1`, und + +```math +\tau_a(z) += +\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right)-\log\pi ++ +\sum_{p\le e^{2a}} +(\log p) +\left[ +1-P_{p^{-1/2}}^{\mathbb D}(z\log p) +\right]. +``` + +--- + +# 2. Exakter negativer Wert bei `z=0` + +Archimedisch: + +```math +\tau_\infty(0) +=\psi(1/4)-\log\pi +=-\kappa_*<0. +``` + +Fuer einen Prime-Faktor setze `q=p^{-1/2}`. Dann + +```math +P_q^{\mathbb D}(0) +=\frac{1+q}{1-q}, +``` + +also + +```math +1-P_q^{\mathbb D}(0) +=-\frac{2q}{1-q} +=-\frac{2}{\sqrt p-1}. +``` + +Daher exakt + +```math +\boxed{ +\tau_a(0) +=-\kappa_* +-2\sum_{p\le e^{2a}} +\frac{\log p}{\sqrt p-1} +<0. +} +``` + +Die Summe ist endlich. Falls `e^{2a}<2`, ist sie leer; auch dann bleibt `tau_a(0)=-kappa_*<0`. + +--- + +# 3. Positive Hochfrequenz + +Aus der Digamma-Asymptotik + +```math +\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right)-\log\pi += +\log\frac{|z|}{2\pi}+O(|z|^{-2}) +``` + +folgt archimedisch logarithmisches Wachstum gegen `+infty`. + +Fuer jedes feste `p` ist dagegen + +```math +(\log p)[1-P_{p^{-1/2}}^{\mathbb D}(z\log p)] +``` + +eine stetige beschraenkte periodische Funktion. Im Fensterprodukt treten nur endlich viele Primzahlen `p<=e^{2a}` auf. Daher existiert eine Konstante `C_a= 0, +direct multiplication Gram tau_a=B^*B, +"unitary scattering implies positive time delay", +channelwise lower bounds that ignore the window subspace. +``` + +--- + +# 7. Firewalls + +Nicht behaupten: + +- das No-Go widerlege NP-GAP; +- eine vorzeichenwechselnde Wigner--Smith-Dichte verhindere positive komprimierte Quadratikformen; +- Hardy-/de-Branges-Positivitaet sei bereits bewiesen; +- RH sei widerlegt oder bewiesen; +- Publikationsneuheit sei geklaert. From ec3676e14d1b02c695d457f5a5466bf3e46be923 Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 16:51:04 +0200 Subject: [PATCH 12/55] NP-GAP: prove exact prime-threshold bad-channel decomposition --- ..._PRIME_THRESHOLD_BAD_CHANNEL_2026-09-13.md | 432 ++++++++++++++++++ 1 file changed, 432 insertions(+) create mode 100644 audits/P11_PRIME_THRESHOLD_BAD_CHANNEL_2026-09-13.md diff --git a/audits/P11_PRIME_THRESHOLD_BAD_CHANNEL_2026-09-13.md b/audits/P11_PRIME_THRESHOLD_BAD_CHANNEL_2026-09-13.md new file mode 100644 index 00000000..0d834fcd --- /dev/null +++ b/audits/P11_PRIME_THRESHOLD_BAD_CHANNEL_2026-09-13.md @@ -0,0 +1,432 @@ +# P11 Audit — Prime-threshold bad channel and NULLPOL self-similarity + +**Datum:** 13. September 2026 +**Basis:** `research/critical-half-green-tree-bridge-2026-09-13`. +**Rolle:** theorem-level Architekturfilter fuer `CRIT-HALF-COMPRESS / NP-GAP`. +**Registry:** unveraendert. +**Nonclaim:** kein globaler NP-GAP-/Object-X-/RH-Beweis. + +--- + +## 0. Kurzurteil + +Wenn ein einzelner Prime-Power-Shift mit Laenge `h` gerade in ein Fenster `I_a=(-a,a)` eingetreten ist, + +```math +\frac h20`, wobei `P_+` und `P_-` orthogonale Projektionen auf symmetrische bzw. antisymmetrische Randpaar-Kanaele sind. + +Der negative Kanal `Ran P_+` ist isometrisch zu einem **kleineren zentralen Fenster** + +```math +I_b=(-b,b), +\qquad +b=a-\frac h2>0. +``` + +Noch staerker: Unter dieser Isometrie werden die beiden NULLPOL-Bedingungen exakt auf dieselben beiden NULLPOL-Bedingungen auf `I_b` transportiert. Daher bleibt der schlechte Prime-Kanal auf NULLPOL vollstaendig erhalten. + +Folgen: + +```text +exact one-shift edge-channel diagonalization ✓[M] +negative prime channel = smaller-window symmetric copy ✓[M] +NULLPOL self-similarity on the negative channel ✓[M] +prime bad-channel bottom = -w also on NULLPOL ✓[M] +operator-norm-small threshold perturbation ×[M] +strong/form-local threshold mechanism still possible ?[O] +full NP-GAP / Object X / RH ?[O] +``` + +--- + +# 1. Komprimierter Shift + +Sei + +```math +I_a=(-a,a), +\qquad +H_a=L^2(I_a), +``` + +und `P_a` die orthogonale Projektion von `L^2(R)` auf `H_a`. + +Wir benutzen die unitäre Translation + +```math +(T_hf)(x)=f(x-h) +``` + +und setzen + +```math +A_{a,h}:=P_aT_hP_a|_{H_a}. +``` + +Angenommen + +```math +\boxed{aa`, sind diese beiden Streifen disjunkt. + +Der Operator `A_{a,h}` ist die unitäre Translation von `L_{a,h}` nach `R_{a,h}` und verschwindet auf dem orthogonalen Komplement des linken Streifens. Insbesondere + +```math +A_{a,h}^*A_{a,h}=P_L, +\qquad +A_{a,h}A_{a,h}^*=P_R. +``` + +Da eine zweite Verschiebung um `h` insgesamt `2h>2a` betraegt, gilt exakt + +```math +\boxed{A_{a,h}^2=0.} +``` + +--- + +# 2. Exakte symmetrisch/antisymmetrische Zerlegung + +Setze + +```math +J_{a,h}:=A_{a,h}+A_{a,h}^*. +``` + +Wegen `A^2=(A^*)^2=0` folgt + +```math +J_{a,h}^2=P_L+P_R=:P_E. +``` + +Also hat `J_{a,h}` auf dem Randpaarraum `Ran P_E` nur die Eigenwerte `+1` und `-1` und verschwindet auf dem mittleren Rest. + +Definiere + +```math +\boxed{ +P_+=\frac12(P_E+J_{a,h}), +\qquad +P_-=\frac12(P_E-J_{a,h}). +} +``` + +Dann sind `P_+`, `P_-` orthogonale Projektionen und + +```math +J_{a,h}=P_+-P_-. +``` + +Fuer einen Prime-Power-Kanal `n=p^k` mit + +```math +h=\log n, +\qquad +w=\frac{\Lambda(n)}{\sqrt n}, +``` + +ist sein zentrierter Weil-/COMMON-JUMP-Beitrag + +```math +w\|K_hv\|^2-2w\|v\|^2 +=-w\langle v,(T_h+T_{-h})v\rangle. +``` + +Nach Fensterkompression daher exakt + +```math +\boxed{ +C_{n,a}:=-wJ_{a,h} +=-wP_+ + wP_-. +} +``` + +Der einzige negative Prime-Kanal ist somit `Ran P_+`. + +--- + +# 3. Der schlechte Kanal ist eine kleinere Fensterkopie + +Setze + +```math +\boxed{b=a-\frac h2.} +``` + +Aus `h/20`, gilt exakt + +```math +\boxed{ +S_+g\in\mathscr D_{NP,a} +\iff +g\in\mathscr D_{NP,b}. +} +``` + +Also + +```math +\boxed{ +\operatorname{Ran}P_+\cap\mathscr D_{NP,a} +=S_+\mathscr D_{NP,b}. +} +``` + +Der negative Prime-Kanal wird durch NULLPOL **nicht** beseitigt; er enthaelt exakt eine kleinere Kopie derselben Nullpol-Geometrie. + +--- + +# 5. Scharfe Unterkante des Prime-Terms auf NULLPOL + +Fuer jedes `b>0` ist `C_c^\infty(-b,b)\cap\mathscr D_{NP,b}` unendlichdimensional: zwei stetige lineare Momentbedingungen schneiden aus `C_c^\infty(-b,b)` nur Kodimension hoechstens zwei heraus. + +Waehle also ein nichttriviales `g` in dieser Klasse und normiere `\|g\|=1`. Dann ist `v=S_+g` Nullpol, `\|v\|=1`, und + +```math +\langle v,C_{n,a}v\rangle=-w. +``` + +Andererseits gilt aus der Spektralzerlegung stets `C_{n,a}\succeq-wI`. + +Damit + +```math +\boxed{ +\inf_{0\ne v\in\mathscr D_{NP,a}} +\frac{\langle v,C_{n,a}v\rangle}{\|v\|^2} +=-w +\qquad(a>h/2,\ aa_0` mit `ah/2, +\qquad +\|C_{n,h/2}\|=0. +} +``` + +Also existiert **keine Operatornorm-kleine Fortsetzung ueber den Prime-Power-Cutoff**. + +Gleichzeitig schrumpfen die Randstreifen in Mass gegen null. Auf einem fest eingebetteten Ambientraum gilt daher fuer jedes feste `f in L^2` + +```math +C_{n,a}f\to0 +\qquad(a\downarrow h/2), +``` + +also starke Konvergenz. Die richtige Schwellengeometrie ist folglich + +```text +strong/form local, +not operator-norm perturbative. +``` + +--- + +# 7. Spezialfall CRIT-HALF-COMPRESS-1: a=1/2, p=2 + +Hier + +```math +h=\log2, +\qquad +w_2=\frac{\log2}{\sqrt2}, +\qquad +b=\frac12-\frac{\log2}{2} +=\frac{1-\log2}{2}. +``` + +Da + +```math +\frac12<\log2<1, +``` + +liegen wir exakt im obigen nilpotenten Regime. + +Der Prime-2-Term besitzt also die scharfe Zerlegung + +```math +\boxed{ +C_{2,1/2} +=-\frac{\log2}{\sqrt2}P_+ ++\frac{\log2}{\sqrt2}P_-. +} +``` + +Der negative Kanal ist eine isometrische Kopie der Nullpolklasse auf dem kleineren Fenster + +```math +\boxed{ +b=\frac{1-\log2}{2}\approx0.153426\ldots.} +``` + +Damit reduziert sich der echte positive Schur-Gate bei `a=1/2` auf die Frage, ob die archimedische Critical-half-Form (zusammen mit dem positiven `P_-`-Kanal und ihren Kreuzblöcken) diese exakt lokalisierte negative Kopie kontrolliert. + +--- + +# 8. Strategische Konsequenz + +Ein naiver Plan + +```text +prove NP-GAP below a prime threshold, +then cross the threshold by a small operator-norm perturbation +``` + +ist ausgeschlossen. + +Der neue Prime-/Prime-Power-Kanal ist in Operatornorm sofort von Groesse `w_n`, auch auf NULLPOL. + +Zulaessig und strukturell passend bleiben dagegen: + +1. Schur-Komplement gegen den lokalisierten Randkanal `P_+`; +2. strong-/Mosco-/form convergence am Schwellenwert; +3. eine rekursive kleinere-Fensterkontrolle ueber die exakte Isometrie `S_+`; +4. Kopplung des bad channel mit der Critical-half Green-/Gamma-Geometrie. + +Insbesondere legt die Selbstähnlichkeit + +```math +\mathscr D_{NP,b} +\overset{S_+}{\cong} +\mathscr D_{NP,a}\cap\operatorname{Ran}P_+ +``` + +eine **renormierungsartige Prime-threshold recursion** nahe. Ob die archimedische Form unter `S_+` eine passende positive Rekursion besitzt, ist der naechste nichtzirkulaere Gate. + +--- + +# 9. Firewalls + +Nicht behauptet wird: + +- der gesamte Weiloperator habe am Cutoff einen Operatornormsprung; nur der einzelne neu aktivierte zentrierte Prime-Power-Kompressionsblock besitzt diese Eigenschaft in der gemeinsamen Ambientdarstellung; +- starke/Form-Konvergenz scheitere; +- die kleinere-Fenster-Selbstähnlichkeit allein beweise NP-GAP; +- mehrere gleichzeitig aktive Prime-Kanaele seien bereits gemeinsam diagonalisiert; +- Object X oder RH seien geloest. From 26a8871b2c5fdbbe274de06ed540dfd5c356f72a Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 16:58:31 +0200 Subject: [PATCH 13/55] CRIT-HALF-COMPRESS-1: prove bad-channel positivity at a=1/2 --- ...RESS1_BAD_CHANNEL_POSITIVITY_2026-09-13.md | 677 ++++++++++++++++++ 1 file changed, 677 insertions(+) create mode 100644 audits/P11_CRIT_HALF_COMPRESS1_BAD_CHANNEL_POSITIVITY_2026-09-13.md diff --git a/audits/P11_CRIT_HALF_COMPRESS1_BAD_CHANNEL_POSITIVITY_2026-09-13.md b/audits/P11_CRIT_HALF_COMPRESS1_BAD_CHANNEL_POSITIVITY_2026-09-13.md new file mode 100644 index 00000000..57e197a9 --- /dev/null +++ b/audits/P11_CRIT_HALF_COMPRESS1_BAD_CHANNEL_POSITIVITY_2026-09-13.md @@ -0,0 +1,677 @@ +# P11 Audit — CRIT-HALF-COMPRESS-1: bad-channel positivity at a=1/2 + +**Datum:** 13. September 2026 +**Basis:** Critical-half branch nach dem Prime-threshold bad-channel Audit. +**Rolle:** theorem-level Teilabschluss des `a=1/2`, `p=2` Kompressionsgates. +**Registry:** unveraendert. +**Nonclaim:** noch kein Beweis der vollen NULLPOL-Positivitaet bei `a=1/2`; kein globaler NP-GAP-/RH-Abschluss. + +--- + +## 0. Kurzurteil + +Der exakt negative Prime-2-Kanal aus dem Threshold-Audit ist bei `a=1/2` **nicht** die verbleibende Obstruktion. + +Sei + +```math +h=\log2, +\qquad +w_2=\frac{\log2}{\sqrt2}, +\qquad +b=\frac12-\frac h2=\frac{1-\log2}{2}. +``` + +Der negative Kanal ist die isometrische symmetrische Randkopie + +```math +S_+:\mathscr D_{NP,b}\to +\mathscr D_{NP,1/2}\cap\operatorname{Ran}P_+. +``` + +Fuer jedes `g in D_{NP,b}` gilt auf diesem Kanal exakt + +```math +Q_{1/2}(S_+g) +=Q_\infty(g) +-w_2\|g\|^2 +-\sum_{m\ge1}e^{-\mu_mh} +\operatorname{Re}\bigl(E_{\mu_m,+}(g)\overline{E_{\mu_m,-}(g)}\bigr), +``` + +mit + +```math +\mu_m=2m+\frac12, +\qquad +E_{\mu,+}(g)=\int e^{\mu x}g(x)dx, +\qquad +E_{\mu,-}(g)=\int e^{-\mu x}g(x)dx. +``` + +Der `m=0`-Cross-Term verschwindet **exakt** wegen NULLPOL. + +Eine rein vorwaerts gerichtete elementare Abschaetzung liefert + +```math +\boxed{ +Q_{1/2}(S_+g)>\frac1{20}\|g\|^2. +} +``` + +Damit ist der komplette isolierte negative Prime-2-Eigenkanal strikt positiv kontrolliert. + +Status: + +```text +prime-2 bad-channel exact recursion ✓[M] +critical gamma-ground cross term killed by NULLPOL ✓[M] +small-window archimedean source bound > 0.64 centered ✓[M] +remaining higher-gamma cross defect < 0.09 ✓[M] +prime-2 bad-channel Q > 0.05 ✓[M] +full a=1/2 NULLPOL Schur complement ?[O] +full NP-GAP / Object X / RH ?[O] +``` + +--- + +# 1. Der schlechte Prime-2-Kanal + +Aus dem Threshold-Audit gilt fuer + +```math +a=\frac12, +\qquad +h=\log2, +``` + +wegen + +```math +\frac120` setze + +```math +R_\mu=(D^2+\mu^2)^{-1}. +``` + +Wie im vorherigen Schur-Audit gilt auf `I_b` + +```math +\langle u,R_\mu u\rangle +\le\frac{1-e^{-\mu b}}{\mu^2}\|u\|^2. +``` + +Setze `c=1/2` und `d_mu=mu^2-c^2`. Polynomdivision liefert exakt + +```math +\begin{aligned} +\langle L_cu,A_\mu L_cu\rangle +=\frac2\mu\Bigl[ +&A+(2c^2-\mu^2)B+d_\mu^2C\\ +&-\mu^2d_\mu^2\langle u,R_\mu u\rangle +\Bigr]. +\end{aligned} +``` + +Daher insbesondere + +```math +\boxed{ +\langle g,A_\mu g\rangle +\ge +\frac2\mu\left[A+\left(\frac12-\mu^2\right)B\right], +} +``` + +weil der verbleibende `C`-Term nach dem Schur-Test gleich + +```math +\frac2\mu d_\mu^2e^{-\mu b}C\ge0 +``` + +ist und fuer eine Untergrenze verworfen werden darf. + +Summiere nur die ersten neun Modi `m=0,...,8`. Setze + +```math +\alpha +:=\sum_{m=0}^8\frac2{\mu_m} +=\sum_{m=0}^8\frac4{4m+1} +=\frac{710302388}{111035925}, +``` + +```math +\beta +:=\sum_{m=0}^8\frac2{\mu_m} +\left(\frac12-\mu_m^2\right) +=-\frac{16633345331}{111035925}. +``` + +Dann + +```math +\langle g,\Phi_\infty g\rangle +\ge\alpha A+\beta B. +``` + +Wir verwenden nur die sehr groben elementaren Schranken + +```math +\log2>0.69, +\qquad +\pi>3.14. +``` + +Daraus + +```math +b=\frac{1-\log2}{2}<\frac{31}{200}, +``` + +und somit + +```math +\Lambda +=\left(\frac\pi b\right)^2 +> +\left(\frac{628}{31}\right)^2 +=:\Lambda_0. +``` + +Mit + +```math +r:=\frac{301}{50}=6.02 +``` + +rechnet man rein rational nach: + +```math +(\alpha-r)\Lambda_0+\beta-\frac r2>0, +``` + +und nach nochmaliger Verwendung `B>=Lambda_0 C/4` sogar + +```math +\left[(\alpha-r)\Lambda_0+\beta-\frac r2\right] +\frac{\Lambda_0}{4} +-\frac r{16}>0. +``` + +Damit + +```math +\alpha A+\beta B +-r\left(A+\frac12B+\frac1{16}C\right)>0 +``` + +fuer jedes nichttriviale `u`. Also + +```math +\boxed{ +\langle g,\Phi_\infty g\rangle +>6.02\|g\|^2. +} +``` + +Alle Gamma-Moden `m>=9` wurden dabei einfach als positive Formen verworfen. + +--- + +# 6. Zentrierte archimedische Reserve > 0.64 + +Die archimedische Schwelle ist + +```math +\kappa_* +=\log(8\pi)+\gamma+\frac\pi2. +``` + +Mit den klassischen elementaren Schranken + +```math +\pi<3.142, +\qquad +\gamma<0.578, +\qquad +\log(8\pi)<3.225 +``` + +folgt + +```math +\boxed{\kappa_*<5.38.} +``` + +(Die Log-Schranke folgt z.B. aus `8pi<25.136` und einer positiven Taylor-Untergrenze fuer `exp(3.225)>25.136`; die angezeigten Dezimalzahlen koennen durch die entsprechenden rationalen Zahlen `1571/500`, `289/500`, `129/40` ersetzt werden.) + +Somit + +```math +\boxed{ +Q_\infty(g) +=\langle g,\Phi_\infty g\rangle-\kappa_*\|g\|^2 +>0.64\|g\|^2. +} +``` + +--- + +# 7. Der hoehere Gamma-Cross-Defekt ist < 0.09 + +Cauchy-Schwarz auf `(-b,b)` liefert + +```math +|E_{\mu,+}(g)|^2 +\le\frac{\sinh(2\mu b)}{\mu}\|g\|^2, +``` + +und denselben Bound fuer `E_{mu,-}`. Also + +```math +\left| +\operatorname{Re} +(E_{\mu,+}(g)\overline{E_{\mu,-}(g)}) +\right| +\le +\frac{\sinh(2\mu b)}{\mu}\|g\|^2. +``` + +Daher ist der gesamte `m>=1`-Cross-Defekt hoechstens + +```math +R +:=\sum_{m\ge1} +\frac{e^{-\mu_mh}\sinh(2\mu_mb)}{\mu_m}. +``` + +Im Spezialfall + +```math +h=\log2, +\qquad +2b=1-\log2 +``` + +wird + +```math +\boxed{ +R +=\frac12\sum_{m\ge1} +\frac{(e/4)^{\mu_m}-e^{-\mu_m}}{\mu_m}. +} +``` + +Wir brauchen nur eine sehr grobe rationale Majorante. Aus `e<2.72` folgen + +```math +\frac e4<\frac{17}{25}=0.68, +\qquad +e^{-1}>\frac{367}{1000}=0.367. +``` + +Ferner + +```math +\sqrt{17/25}<33/40, +\qquad +\sqrt{367/1000}>121/200. +``` + +Die ersten drei Summanden werden mit diesen rationalen Schranken direkt majorisiert; fuer den Rest verwendet man `1/(4m+1)<=1/17` und die geometrische Reihe in `(17/25)^2`. Der rein rationale Wert der so erhaltenen Majorante ist kleiner als `9/100`. + +Somit + +```math +\boxed{R<0.09.} +``` + +--- + +# 8. Der Prime-2-Verlust ist < 0.5 + +Mit + +```math +\log2<0.7, +\qquad +\sqrt2>1.4 +``` + +folgt sofort + +```math +\boxed{ +w_2=\frac{\log2}{\sqrt2}<\frac12.} +``` + +--- + +# 9. Bad-channel theorem + +Kombiniere §§2, 6, 7, 8. Fuer jedes nichttriviale `g in D_{NP,b}` gilt + +```math +\begin{aligned} +Q_{1/2}(S_+g) +&\ge +Q_\infty(g)-w_2\|g\|^2-R\|g\|^2\\ +&> +(0.64-0.50-0.09)\|g\|^2. +\end{aligned} +``` + +Daher + +```math +\boxed{ +Q_{1/2}(S_+g)>\frac1{20}\|g\|^2. +} +``` + +Da `S_+` isometrisch ist: + +```math +\boxed{ +Q_{1/2}(v)>\frac1{20}\|v\|^2 +\qquad +\forall\,0\ne v\in +\mathscr D_{NP,1/2}\cap\operatorname{Ran}P_+. +} +``` + +Dies ist ein echter theorem-level PASS fuer den **gesamten isolierten negativen Prime-2-Eigenkanal**. + +--- + +# 10. Was noch offen bleibt + +Die volle Form zerfaellt relativ zu + +```math +\mathscr D_{NP,1/2} +=(P_+\mathscr D_{NP})\oplus +(P_+\mathscr D_{NP})^\perp +``` + +nicht orthogonal fuer die archimedische Form. Obwohl + +- der Prime-Term auf `P_+` strikt negativ, aber jetzt kontrolliert ist, +- der Prime-Term auf `P_-` positiv ist, +- der Prime-Term auf dem mittleren Kanal null ist, + +besitzt `Q_\infty` archimedische Kreuzblöcke zwischen diesen Unterraeumen. + +Daher folgt aus der positiven Diagonalrestriktion auf `P_+` **noch nicht** die Positivitaet der vollen Matrix. + +Der verbleibende Gate ist jetzt exakt ein Schur-/Shorting-Problem: + +```math +\boxed{ +\operatorname{Short}_{P_+} +\bigl(Q_\infty+w_2P_-\bigr) +\stackrel?\succeq +w_2P_+. +} +``` + +Dies ist wesentlich enger als der vorherige abstrakte `a=1/2`-Gate. + +--- + +# 11. Strategische Konsequenz + +Der bisher naheliegendste Verdacht war, dass der direkte negative Prime-2-Kanal selbst den `a=1/2`-Gate blockiert. Das ist nun ausgeschlossen. + +Die verbleibende Schwierigkeit ist **nicht** + +```text +negative prime diagonal mass, +``` + +sondern ausschliesslich + +```text +archimedean off-diagonal coupling +between the localized bad channel and its complement. +``` + +Damit wird `CRIT-HALF-COMPRESS-1` zu einem echten, lokalisierten Schur-Komplementproblem. Der naechste Angriff soll genau den archimedischen Cross-Block mit der Gamma-Resolventen-/Green-Markov-Struktur kontrollieren. + +--- + +# 12. Firewalls + +Nicht behauptet wird: + +- volle Positivitaet auf `D_{NP,1/2}` sei bewiesen; +- die archimedischen Kreuzblöcke seien klein oder positiv; +- externe bekannte Weil-Positivitaet bei `a=1/2` werde als Beweisinput verwendet; +- die angezeigte `1/20`-Reserve sei optimal; +- NP-GAP fuer alle Fenster, Object X oder RH seien geloest. From 841299b89326ebc70ad522398824301032acd121 Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 17:10:14 +0200 Subject: [PATCH 14/55] CRIT-HALF: continuous OU factorization and 2D moment quotient --- ...ONTINUOUS_OU_MOMENT_QUOTIENT_2026-09-13.md | 578 ++++++++++++++++++ 1 file changed, 578 insertions(+) create mode 100644 audits/P11_CONTINUOUS_OU_MOMENT_QUOTIENT_2026-09-13.md diff --git a/audits/P11_CONTINUOUS_OU_MOMENT_QUOTIENT_2026-09-13.md b/audits/P11_CONTINUOUS_OU_MOMENT_QUOTIENT_2026-09-13.md new file mode 100644 index 00000000..f895225d --- /dev/null +++ b/audits/P11_CONTINUOUS_OU_MOMENT_QUOTIENT_2026-09-13.md @@ -0,0 +1,578 @@ +# P11 Audit — Continuous OU factorization and the 2D moment quotient at a=1/2 + +**Datum:** 13. September 2026 +**Basis:** Critical-half branch nach dem Prime-2 bad-channel PASS. +**Rolle:** theorem-level Strukturaudit fuer den verbleibenden `CRIT-HALF-COMPRESS-1`-Gate. +**Registry:** unveraendert. +**Nonclaim:** die volle `a=1/2`-Positivitaet ist noch nicht geschlossen. + +--- + +## 0. Kurzurteil + +Zwei weitere exakte Reduktionen werden verfuegbar. + +Erstens besitzt **jede** Gamma-Resolventenstufe eine kausale OU-/Innovationsfaktorisierung + +```math +\boxed{ +A_\mu +=\frac2\mu V_\mu^*V_\mu, +\qquad +V_\mu=\partial_x(\partial_x+\mu)^{-1}. +} +``` + +Der zugehoerige Zustand + +```math +y_\mu=(\partial_x+\mu)^{-1}v +``` + +erfuellt die skalare Markov-Gleichung + +```math +y_\mu'+\mu y_\mu=v. +``` + +Abtastung dieses Zustands in Schrittweite `h=log p` beim Gamma-Grundwert `mu=1/2` liefert exakt + +```math +q_p=e^{-h/2}=p^{-1/2}, +``` + +also den P11-AR(1)-Parameter. Der diskrete P11-Tail-/Innovationsmechanismus ist damit die logarithmische Abtastung des kontinuierlichen Gamma-Grund-OU-Kanals. + +Zweitens reduziert sich beim Spezialgate `a=1/2`, `p=2` nach Herausnahme der separat NULLPOL Rand- und Komplementunterraeume der verbleibende Momententransfer **exakt auf zwei komplexe Freiheitsgrade**: + +```math +\boxed{ +\dim\left( +\mathscr H_{NP,1/2}/(U\oplus W) +\right)=2. +} +``` + +Damit wird die volle Positivitaetsfrage, sobald `Q|_{U\oplus W}` coerciv geschlossen ist, zu einer `2 x 2` Hermite-Weyl-/Schur-Matrix auf den beiden Critical-half Randladungen. + +Status: + +```text +continuous Gamma OU innovation factorization ✓[M] +P11 q_p as exact sampled Gamma-ground OU transition ✓[M] +NULLPOL closes both ground OU exterior states ✓[M] +ground Gamma channel Dirichlet estimate ✓[M] +2D moment-transfer quotient at a=1/2 ✓[M] +bad Prime-2 channel U ✓[M] positive (previous audit) +coercivity on U direct-sum W ?[O] +2x2 effective Weyl/Schur matrix ?[O] +full a=1/2 NP-GAP ?[O] +``` + +--- + +# 1. Kausaler OU-Resolvent + +Fuer `mu>0` definiere auf `L^2(R)` den kausalen Resolventen + +```math +(R_\mu^+f)(x) +:= +\int_{-\infty}^x e^{-\mu(x-y)}f(y)\,dy. +``` + +Dann + +```math +R_\mu^+=(\partial_x+\mu)^{-1} +``` + +im ueblichen schwachen Sinn und sein Fouriermultiplikator ist + +```math +\frac1{\mu+iz}. +``` + +Setze + +```math +\boxed{ +V_\mu +:=\partial_xR_\mu^+ +=I-\mu R_\mu^+. +} +``` + +Der Fouriermultiplikator von `V_mu` ist + +```math +\frac{iz}{\mu+iz}. +``` + +Daher + +```math +V_\mu^*V_\mu +\quad\widehat{}\quad +\frac{z^2}{z^2+\mu^2}. +``` + +Fuer die Gamma-Stufe + +```math +A_\mu(D) +=\frac2\mu\frac{D^2}{D^2+\mu^2} +``` + +folgt exakt + +```math +\boxed{ +A_\mu=\frac2\mu V_\mu^*V_\mu. +} +``` + +Dies ist eine vorwaerts konstruierte positive Faktorisierung jeder einzelnen archimedischen Resolventenstufe. + +--- + +# 2. Zustandsraum-/Markovform + +Sei + +```math +y_\mu=R_\mu^+v. +``` + +Dann + +```math +\boxed{ +y_\mu'+\mu y_\mu=v,} +``` + +und + +```math +V_\mu v=y_\mu'. +``` + +Somit + +```math +\boxed{ +\langle v,A_\mu v\rangle +=\frac2\mu\|y_\mu'\|_2^2. +} +``` + +Fuer `v` mit Traeger in `[-a,a]` ist `y_mu(x)=0` fuer `x<=-a`. Nach dem rechten Traegerrand gilt + +```math +y_\mu(x) +=e^{-\mu(x-a)}y_\mu(a), +``` + +mit + +```math +\boxed{ +y_\mu(a)=e^{-\mu a}E_{\mu,+}(v), +\qquad +E_{\mu,+}(v)=\int e^{\mu x}v(x)dx.} +``` + +Daher kann die Energie auch auf dem endlichen Fenster geschrieben werden als + +```math +\boxed{ +\langle v,A_\mu v\rangle +=\frac2\mu\int_{-a}^a|y_\mu'(x)|^2dx ++|y_\mu(a)|^2. +} +``` + +Der letzte Term ist exakt die Energie des exponentiellen rechten Aussenschwanzes. + +Die anti-kausale Faktorisierung mit `( -\partial_x+mu)^{-1}` liefert spiegelbildlich den linken Aussenzustand und `E_{mu,-}`. + +--- + +# 3. NULLPOL schliesst den Gamma-Grundzustand an beiden Enden + +Fuer den Grundmodus + +```math +\mu_0=\frac12 +``` + +sind + +```math +E_{\mu_0,+}(v)=E_+(v)=M(v)(1), +``` + +und anti-kausal + +```math +E_{\mu_0,-}(v)=E_-(v)=M(v)(0). +``` + +Auf NULLPOL verschwinden beide. Fuer den kausalen Grundzustand + +```math +y_0=(\partial_x+1/2)^{-1}v +``` + +gilt daher + +```math +\boxed{ +y_0(-a)=y_0(a)=0.} +``` + +Insbesondere liegt `y_0` in `H_0^1(-a,a)` und + +```math +\boxed{ +\langle v,A_{1/2}v\rangle +=4\|y_0'\|_2^2. +} +``` + +Da + +```math +v=y_0'+\frac12y_0 +``` + +und der Randterm verschwindet, + +```math +\|v\|^2 +=\|y_0'\|^2+\frac14\|y_0\|^2. +``` + +Mit Dirichlet-Poincare + +```math +\|y_0\|^2 +\le\left(\frac{2a}{\pi}\right)^2\|y_0'\|^2 +``` + +folgt die explizite Ground-mode-Schranke + +```math +\boxed{ +\langle v,A_{1/2}v\rangle +\ge +\frac{4}{1+a^2/\pi^2}\|v\|^2 +\qquad(v\in\mathscr D_{NP,a}). +} +``` + +Diese benutzt beide Critical-half Randbedingungen in der Zustandsraumform und kein Weil-Positivitaetsinput. + +--- + +# 4. P11-AR(1) ist die exakte logarithmische Abtastung dieses Zustands + +Die skalare Zustandsgleichung liefert fuer jedes `h>0` + +```math +\boxed{ +y_\mu(x+h) +=e^{-\mu h}y_\mu(x) ++ +\int_x^{x+h}e^{-\mu(x+h-s)}v(s)ds.} +``` + +Setze jetzt den **Gamma-Grundwert** + +```math +\mu=\frac12 +``` + +und einen Primschritt + +```math +h_p=\log p. +``` + +Dann ist der Zustandsuebergang exakt + +```math +\boxed{ +e^{-\mu h_p}=e^{-\log p/2}=p^{-1/2}=q_p.} +``` + +Bei iterierter Abtastung entsteht somit dieselbe AR(1)-Rekursion + +```math +y_{k+1}=q_py_k+\text{segment innovation} +``` + +wie im P11-Kanalindex-Ledger. + +Die normierten, voneinander disjunkten Segmentinnovationen liefern die bekannte Zerlegung + +```math +R_{q_p}=T_{q_p}^*T_{q_p}+u_pu_p^*. +``` + +Damit ist die fruehere diskrete Tail-/Hub-Faktorisierung nicht nur mit demselben Kovarianzkern kompatibel: sie ist die **diskrete Zustandsraumabtastung des kontinuierlichen Gamma-Grund-OU-Kanals**. + +--- + +# 5. Prime-2-Faserdekomposition bei a=1/2 + +Setze wie im Threshold-Audit + +```math +h=\log2, +\qquad +b=\frac{1-h}{2}, +\qquad +c=h-\frac12. +``` + +Dann zerfaellt + +```math +H=L^2(-1/2,1/2) +``` + +orthogonal als + +```math +\boxed{ +H=H_+\oplus H_-\oplus H_M, +} +``` + +wobei + +```math +H_+=\operatorname{Ran}P_+, +\qquad +H_-=\operatorname{Ran}P_-, +``` + +die symmetrischen/antisymmetrischen Zwei-Rand-Fasern sind und + +```math +H_M=L^2(-c,c) +``` + +der mittlere Einblattbereich ist. + +Setze + +```math +K:=H_-\oplus H_M. +``` + +Die Prime-2-Form ist in dieser Zerlegung diagonal: + +```math +C_2=-w_2P_+ + w_2P_-, +\qquad +w_2=\frac{\log2}{\sqrt2}. +``` + +--- + +# 6. Momentabbildungen auf beiden Seiten sind surjektiv + +Definiere die Critical-half Randladungsabbildung + +```math +\mathcal E f=(E_+(f),E_-(f))\in\mathbb C^2. +``` + +Auf `H_+` gilt ueber die Isometrie `S_+ : L^2(-b,b)->H_+` + +```math +\mathcal E(S_+g) +=\sqrt2\cosh(h/4)\,\mathcal E_b(g). +``` + +Die beiden Funktionen `e^{x/2}` und `e^{-x/2}` sind auf jedem nichtleeren Intervall linear unabhaengig. Daher ist + +```math +\mathcal E_b:L^2(-b,b)\to\mathbb C^2 +``` + +surjektiv, also auch `E|_{H_+}`. + +Auf `K` ist bereits die Einschraenkung auf den Mittelraum `H_M=L^2(-c,c)` surjektiv. Somit + +```math +\boxed{ +\mathcal E|_{H_+}:H_+\twoheadrightarrow\mathbb C^2, +\qquad +\mathcal E|_K:K\twoheadrightarrow\mathbb C^2.} +``` + +--- + +# 7. Der separat NULLPOL-Unterraum und der 2D Quotient + +Definiere + +```math +U:=H_+\cap\ker\mathcal E, +``` + +```math +W:=K\cap\ker\mathcal E. +``` + +Dann ist + +```math +U\oplus W\subset\mathscr H_{NP}:=\ker\mathcal E\subset H. +``` + +Fuer `v=p+k` mit `p in H_+`, `k in K` lautet die globale NULLPOL-Bedingung + +```math +\mathcal E p+\mathcal E k=0. +``` + +Definiere auf `H_NP` die Quotientenkoordinate + +```math +\boxed{ +\mathfrak m(v):=\mathcal E p=-\mathcal E k\in\mathbb C^2.} +``` + +Dann + +```math +\ker\mathfrak m=U\oplus W. +``` + +Wegen der Surjektivitaet aus §6 ist `m` selbst surjektiv. Der erste Isomorphiesatz liefert daher + +```math +\boxed{ +\mathscr H_{NP}/(U\oplus W) +\cong\mathbb C^2.} +``` + +Insbesondere + +```math +\boxed{ +\dim_\mathbb C\bigl(\mathscr H_{NP}/(U\oplus W)\bigr)=2.} +``` + +Dies ist eine exakte algebraische Aussage; keine Positivitaet wird dafuer vorausgesetzt. + +--- + +# 8. Konsequenz fuer den verbleibenden Schur-Gate + +Der vorherige Audit hat bereits fuer den gesamten negativen Prime-Kanal + +```math +\boxed{ +Q_{1/2}|_U\succeq\frac1{20}I.} +``` + +bewiesen. + +Angenommen, der naechste Gate zeigt zusaetzlich eine Coercivity + +```math +Q_{1/2}|_{U\oplus W}\succeq\delta I +``` + +mit `delta>0`. Dann kann `U direct-sum W` in der vollen NULLPOL-Form geshortet werden. + +Waehle beliebige lineare Rechtsinverse der Momentabbildungen und damit fuer `m in C^2` einen Repraesentanten + +```math +r(m)=p(m)+k(-m)\in\mathscr H_{NP}. +``` + +Definiere die effektive Quotientenform + +```math +\boxed{ +q_{eff}(m) +:= +\inf_{h\in U\oplus W} +Q_{1/2}(r(m)+h). +} +``` + +Wegen der Coercivity ist das Infimum eindeutig durch das Schur-Minimum realisiert und `q_eff` ist eine Hermiteform auf `C^2`. Daher existiert eine eindeutige `2 x 2` Hermitematrix `M_eff` mit + +```math +q_{eff}(m)=m^*M_{eff}m. +``` + +Dann gilt exakt + +```math +\boxed{ +Q_{1/2}\succeq0\text{ auf }\mathscr H_{NP} +\iff +M_{eff}\succeq0, +} +``` + +vorausgesetzt der coercive Gate auf `U direct-sum W` ist geschlossen. + +Somit besteht der verbleibende `a=1/2`-Angriff aus zwei klar getrennten Aufgaben: + +```text +(A) coercivity on the separately-NULLPOL block U direct-sum W; +(B) positivity of one 2x2 effective critical-half Weyl matrix. +``` + +--- + +# 9. Warum die numerisch schwache Richtung nicht dem bad channel entspricht + +Der negative Prime-Kanal `U` besitzt bereits eine theorem-level positive Reserve. Daher kann eine fast-null Richtung der vollen Form nicht innerhalb von `U` liegen. + +Die Quotientenzerlegung zeigt den einzigen algebraisch neuen Mechanismus ausserhalb `U direct-sum W`: eine Funktion kann auf `H_+` **nichtzero** Critical-half Ladungen tragen und diese durch entgegengesetzte Ladungen im Komplement `K` exakt neutralisieren. + +Dieser Mechanismus wird hier als + +```text +critical-half moment transfer +``` + +bezeichnet. + +Er besitzt genau zwei komplexe Koordinaten `E_+` und `E_-`. Das ist der natuerliche Kandidat fuer die verbleibende kleine Eigenrichtung. + +Dies ist eine Strukturdiagnose; ein numerischer Eigenvektor wird nicht als Beweisinput verwendet. + +--- + +# 10. Naechster Gate + +Prioritaet ist jetzt nicht mehr eine globale `a=1/2`-Suche, sondern: + +1. `OU-SCHUR-A`: beweise Coercivity auf `U direct-sum W`, wobei der Ground-OU-Kanal und die Prime-2-Diagonalisierung exakt benutzt werden; +2. `OU-SCHUR-B`: berechne/charakterisiere danach die `2x2` Weyl-Matrix `M_eff` ueber die beiden Randladungen; +3. erst nach PASS von A+B Fortsetzung im ein-Prime-Intervall `log2/2 Date: Sun, 13 Sep 2026 17:37:54 +0200 Subject: [PATCH 15/55] audit: reduce NP-GAP to rank-2-shorted prolate compression --- ...1_NP_GAP_PROLATE_COMPRESSION_2026-09-13.md | 578 ++++++++++++++++++ 1 file changed, 578 insertions(+) create mode 100644 audits/P11_NP_GAP_PROLATE_COMPRESSION_2026-09-13.md diff --git a/audits/P11_NP_GAP_PROLATE_COMPRESSION_2026-09-13.md b/audits/P11_NP_GAP_PROLATE_COMPRESSION_2026-09-13.md new file mode 100644 index 00000000..0e9e402d --- /dev/null +++ b/audits/P11_NP_GAP_PROLATE_COMPRESSION_2026-09-13.md @@ -0,0 +1,578 @@ +# P11 Audit — NP-GAP as a rank-2-shorted prolate Birman--Schwinger problem + +**Datum:** 13. September 2026 +**Basisbranch:** `research/critical-half-green-tree-bridge-2026-09-13` +**Rolle:** theorem-level Strukturreduktion plus klar getrennte numerische Diagnostik. +**Registry:** unverändert. +**Nonclaim:** kein globaler NP-GAP-/Object-X-/RH-Beweis. + +--- + +## 0. Kurzurteil + +Die aktuelle Critical-half-/Scattering-Front kann auf jedem festen Fenster als **kompaktes Prolate-/Birman--Schwinger-Problem** formuliert werden. + +Die zwei NULLPOL-Bedingungen werden dabei nicht nur als Nebenbedingungen behandelt, sondern exakt als Rang-2-Shorting des Paley--Wiener-Reproduktionskerns. + +Fuer das Laborfenster `a=1/2` zeigt die numerische Diagnostik, dass diese Rang-2-Kompression die Spur des gesamten negativen Multiplikatorblocks sehr stark reduziert (ungefaehr von `2.775` auf `0.450`). Das ist **keine Zertifizierung**, aber ein starker Hinweis, dass die richtige positive Architektur eine komprimierte Prolate-/Hardy-Geometrie und keine punktweise Faktorisierung ist. + +Status: + +```text +centered-gap monotonicity in a ✓[M] +exact translation-orbit chain bound ✓[M] +NULLPOL reproducing-kernel rank-2 shorting ✓[M] +negative multiplier block trace class ✓[M] +explicit trace formula ✓[M] +prolate/Birman--Schwinger reduction ✓[M]_part +finite-mode / trace diagnostics at a=1/2 diagnostic only +sharp NP-GAP all a ?[O] +Object X / RH ?[O] +``` + +--- + +## 1. Centered gap is monotone under window exhaustion + +Let + +```math +\mathscr D_{NP,a} += C_c^\infty(-a,a)\cap\ker M(0)\cap\ker M(1). +``` + +Define the centered Rayleigh infimum + +```math +\boxed{ +g(a) +:= +\inf_{0\ne v\in\mathscr D_{NP,a}} +\frac{Q_W(v)}{\|v\|_2^2}. +} +``` + +If `00`, decompose `I` into orbits modulo `t`. Every orbit meets `I` in a finite chain. The maximal chain length is + +```math +N(t)=\left\lfloor\frac{L}{t}\right\rfloor+1 +\qquad(0L` every chain has length one. + +On a chain of length `N`, `A_t` is the adjacency matrix of the path graph `P_N`, whose largest eigenvalue is + +```math +2\cos\frac{\pi}{N+1}. +``` + +Hence + +```math +\boxed{ +\|A_t\| +=2\cos\frac{\pi}{N(t)+1} +\qquad(0L`. + +Since + +```math +K_t^*K_t=2I-A_t, +``` + +we obtain the exact support-only bound + +```math +\boxed{ +\|K_tv\|_2^2 +\ge +c_L(t)\|v\|_2^2, +} +``` + +with + +```math +c_L(t)= +2-2\cos\frac{\pi}{N(t)+1} +\quad(0L`. + +Checks: + +- if `t>L/2`, then `N=2` and `c_L(t)=1`; +- if `t>L`, then `c_L(t)=2`; +- as `t\downarrow0`, `c_L(t)\sim \pi^2t^2/L^2`. + +This gives an exact discrete-orbit form of the finite-window nonlocal Poincare mechanism. At `a=1/2`, integrating this bound against `h(t)dt` is rigorous in principle but numerically weaker than the previously derived Schur/resolvent bound; it is therefore retained as a structural lemma, not as the main positivity route. + +--- + +## 3. Paley--Wiener formulation and the finite-window multiplier + +Use the unitary Fourier transform. Let + +```math +PW_a=\mathcal F L^2(-a,a). +``` + +On NULLPOL define + +```math +\mathcal N_a +:= +\{F\in PW_a:F(i/2)=F(-i/2)=0\}. +``` + +By the Critical-half range theorem, + +```math +\boxed{ +\mathcal N_a=(z^2+1/4)PW_a +} +``` + +on the smooth test class. + +For the canonical finite-window COMMON-JUMP representation the centered multiplier is + +```math +\boxed{ +\tau_a(z) += +\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right)-\log\pi +-2\sum_{\log n\le2a} +\frac{\Lambda(n)}{\sqrt n}\cos(z\log n). +} +``` + +Then + +```math +\boxed{ +Q_W(v)=\int_{\mathbb R}|F(z)|^2\tau_a(z)\,dz, +\qquad F=\widehat v\in\mathcal N_a. +} +``` + +The multiplier satisfies + +```math +\tau_a(z)=\log\frac{|z|}{2\pi}+O_a(1) +\qquad(|z|\to\infty), +``` + +so its negative set is compact. + +--- + +## 4. Exact NULLPOL reproducing-kernel shorting + +The Paley--Wiener reproducing kernel is + +```math +\boxed{ +K_a(z,w) += +\frac{\sin(a(z-\overline w))} +{\pi(z-\overline w)}. +} +``` + +Let + +```math +\lambda_+=i/2, +\qquad +\lambda_-=-i/2. +``` + +Define the two kernel vectors + +```math +k_\pm(z)=K_a(z,\lambda_\pm) +``` + +and the `2x2` Gram matrix + +```math +G_{\sigma\tau}=K_a(\lambda_\sigma,\lambda_\tau). +``` + +Explicitly, + +```math +\boxed{ +G +=\frac1\pi +\begin{pmatrix} +\sinh a & a\\ +a & \sinh a +\end{pmatrix}. +} +``` + +Since `sinh a>a` for `a>0`, `G` is strictly positive. + +The orthogonal projection from `PW_a` onto the codimension-2 NULLPOL space therefore has reproducing kernel + +```math +\boxed{ +K_{NP,a}(z,w) += +K_a(z,w) +-k(z)^*G^{-1}k(w), +} +``` + +where + +```math +k(z)=(k_+(z),k_-(z))^T. +``` + +Thus NULLPOL is an **exact rank-2 shorting** of Paley--Wiener geometry. + +This is the reproducing-kernel counterpart of + +```math +\mathscr D_{NP,a}=L_{1/2}C_c^\infty(-a,a). +``` + +--- + +## 5. The entire negative danger is a compact trace-class block + +Split + +```math +\tau_a=\tau_{a,+}-\tau_{a,-}, +\qquad +\tau_{a,\pm}\ge0. +``` + +On `\mathcal N_a` set + +```math +A_{a,-} +:=P_{\mathcal N_a}M_{\tau_{a,-}}P_{\mathcal N_a}. +``` + +Because `tau_{a,-}` has compact support and `K_{NP,a}(z,z)` is locally bounded, `A_{a,-}` is positive trace class. Its trace is exactly + +```math +\boxed{ +\operatorname{tr}A_{a,-} += +\int_{\mathbb R} +\tau_{a,-}(z)K_{NP,a}(z,z)\,dz. +} +``` + +In particular + +```math +\|A_{a,-}\| +\le +\operatorname{tr}A_{a,-}. +``` + +More generally, for every bounded Borel set `E`, the NULLPOL concentration operator + +```math +C_{a,E} +=P_{\mathcal N_a}M_{1_E}P_{\mathcal N_a} +``` + +is trace class with + +```math +\boxed{ +\operatorname{tr}C_{a,E} +=\int_EK_{NP,a}(z,z)\,dz. +} +``` + +This is precisely a rank-2-shorted prolate/time-band concentration operator. + +--- + +## 6. Birman--Schwinger / prolate reduction + +Let + +```math +A_{a,+} +=P_{\mathcal N_a}M_{\tau_{a,+}}P_{\mathcal N_a}. +``` + +Then + +```math +Q_W(F)=\langle F,(A_{a,+}-A_{a,-})F\rangle. +``` + +Because `tau_a(z)\to+infty`, the positive part controls the complement of a bounded frequency set. The only possible negative spectrum of the compressed Weil form is therefore generated by the compact block `A_{a,-}`. + +Whenever a positive reference lower bound for `A_{a,+}` is fixed, the remaining test is a compact Birman--Schwinger norm condition of the form + +```math +\boxed{ +\left\| +A_{a,+}^{-1/2}A_{a,-}A_{a,+}^{-1/2} +\right\|\le1. +} +``` + +The exact implementation may use a slightly shifted/coercive positive reference operator if convenient; the key theorem-level point is that the negative side is trace class and belongs to an explicit prolate shorting. + +Therefore a rigorous proof can be organized by: + +1. certify the finitely many leading eigenvalues of the shorted concentration/Birman--Schwinger operator; +2. control the remaining tail by its trace or Hilbert--Schmidt norm; +3. keep the high-frequency positive part analytically outside the finite numerical block. + +This is a non-circular route: no Weil positivity is used as input. + +--- + +## 7. Special laboratory `a=1/2` + +At + +```math +a=1/2 +``` + +only the prime power `n=2` appears in the canonical finite-window multiplier: + +```math +\boxed{ +\tau_{1/2}(z) += +\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right)-\log\pi +-\sqrt2\log2\,\cos(z\log2). +} +``` + +The exact threshold is + +```math +\Gamma_{1/2} +=\kappa_*+\sqrt2\log2. +``` + +### 7.1 Prime shift has an exact two-edge block + +Let `t=log2`. Since + +```math +1/2 Date: Sun, 13 Sep 2026 17:43:18 +0200 Subject: [PATCH 16/55] audit: add trace-minus-Ritz certificate for shorted NP prolate defect --- ...OLATE_TRACE_RITZ_CERTIFICATE_2026-09-13.md | 387 ++++++++++++++++++ 1 file changed, 387 insertions(+) create mode 100644 audits/P11_NP_PROLATE_TRACE_RITZ_CERTIFICATE_2026-09-13.md diff --git a/audits/P11_NP_PROLATE_TRACE_RITZ_CERTIFICATE_2026-09-13.md b/audits/P11_NP_PROLATE_TRACE_RITZ_CERTIFICATE_2026-09-13.md new file mode 100644 index 00000000..2410386b --- /dev/null +++ b/audits/P11_NP_PROLATE_TRACE_RITZ_CERTIFICATE_2026-09-13.md @@ -0,0 +1,387 @@ +# P11 Audit — Trace-minus-Ritz certificate for the shorted NP prolate defect + +**Datum:** 13. September 2026 +**Branch:** `research/critical-half-green-tree-bridge-2026-09-13` +**Rolle:** theorem-level certification lemma plus unc ertified `a=1/2` diagnostics. +**Registry:** unveraendert. +**Nonclaim:** the numerical margins below are not yet Arb-certified and therefore are not yet a theorem-level NP-GAP PASS. + +--- + +## 0. Purpose + +The previous prolate audit reduces the finite-window NULLPOL Weil form to a compact weighted prolate defect. + +For a fixed `a>0`, let + +```math +\mathcal N_a +=\{F\in PW_a:F(i/2)=F(-i/2)=0\}, +``` + +and let `tau_a` be the canonical centered finite-window multiplier. + +For any `c>0` define + +```math +\boxed{ +D_{a,c} +:= +P_{\mathcal N_a} +M_{(c-\tau_a)_+} +P_{\mathcal N_a}. +} +``` + +Since `(c-tau_a)_+` has compact support, `D_{a,c}` is positive trace class. + +Pointwise + +```math +\tau_a(z) +\ge +c-(c-\tau_a(z))_+, +``` + +hence for `F in N_a` + +```math +\boxed{ +Q_W(F) +\ge +c\|F\|^2 +-\langle F,D_{a,c}F\rangle. +} +``` + +Therefore + +```math +\boxed{ +\|D_{a,c}\|0 +\ \text{for all }0\ne F\in\mathcal N_a. +} +``` + +The point of this audit is to make `||D||0\text{ on }\mathcal N_a\setminus\{0\}. +} +``` + +This is useful because a rigorous certificate needs only: + +1. an **upper interval bound** for the scalar trace integral; +2. rigorous **lower interval bounds** for finitely many Ritz eigenvalues `theta_2,...,theta_m`. + +No upper eigenvalue bound, no full-space Galerkin convergence theorem, and no estimate of the unresolved infinite Ritz tail are required. + +--- + +# 3. Parity splitting reduces NULLPOL to one shorting condition per sector + +The multiplier `tau_a` is even. Hence `D_{a,c}` commutes with parity and decomposes as + +```math +D_{a,c}=D_{a,c}^{even}\oplus D_{a,c}^{odd}. +``` + +For an even Paley--Wiener function, + +```math +F(-i/2)=F(i/2), +``` + +so the two NULLPOL conditions reduce to the single condition + +```math +F(i/2)=0. +``` + +For an odd function, + +```math +F(-i/2)=-F(i/2), +``` + +and again NULLPOL is one scalar condition. + +Thus the global rank-2 shorting is exactly + +```text +one rank-1 shorting in the even sector ++ +one rank-1 shorting in the odd sector. +``` + +The trace-minus-Ritz certificate can and should therefore be applied separately in the two parity sectors. + +--- + +# 4. `a=1/2` diagnostics + +For + +```math +a=1/2 +``` + +the canonical finite-window multiplier is + +```math +\tau_{1/2}(z) += +\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right) +-\log\pi +-\sqrt2\log2\cos(z\log2). +``` + +Numerical Nyström diagnostics using the **exact shorted reproducing kernel** give for the pure negative block `D_{1/2,0}` approximately + +```text +even leading eigenvalue 0.2258375288... +odd leading eigenvalue 0.2059078829... +``` + +and rapid spectral falloff after the first mode in each parity. + +A more useful shifted defect is `D_{a,c}`. + +### Even sector + +Near + +```text +c = 1.675 +``` + +the diagnostic top eigenvalue is + +```text +||D_even|| ≈ 1.665877817 +``` + +so + +```text +||D_even||/c ≈ 0.994553921. +``` + +The direct margin is only about `9.1e-3`, so a rigorous upper norm enclosure must be reasonably sharp. + +However the trace-minus-Ritz certificate is favorable: diagnostic Ritz data indicate that using approximately + +```text +m = 12 +``` + +already gives + +```text +tr(D_even) - sum_{j=2}^{12} theta_j +≈ 1.66903 +< 1.675, +``` + +with margin about + +```text +5.9e-3. +``` + +### Odd sector + +Near + +```text +c = 1.25 +``` + +the diagnostic top eigenvalue is + +```text +||D_odd|| ≈ 1.115100777, +``` + +so the margin is large. + +Already roughly + +```text +m = 5 +``` + +Ritz dimensions are diagnostically enough for the trace-minus-Ritz upper certificate. + +### Firewall + +All numbers in this section are floating/Nyström diagnostics only. They motivate the finite certificate dimensions; they are not accepted as proof inputs. + +--- + +# 5. Why this is stronger than a standard Ritz PASS + +A conventional finite Ritz calculation can only show that some finite-dimensional restriction is positive; it does not control the missing infinite-dimensional directions. + +The present certificate reverses the useful inequality: + +- Ritz eigenvalues of a positive compact operator are **lower bounds** for the corresponding exact eigenvalues; +- subtracting those lower bounds from an exact trace gives an **upper bound** for the dangerous top eigenvalue. + +Thus the uncomputed infinite tail helps rather than hurts: it is positive and is already included in the trace. + +This is the crucial certification advantage. + +--- + +# 6. Recommended rigorous implementation + +For each parity separately: + +1. choose a rational/interval value of `c` near the diagnostic optimum; +2. enclose all roots of `tau_{1/2}(z)=c` that delimit the compact support of `(c-tau)_+`; +3. certify the trace integral with Arb; +4. freeze an explicit finite Ritz family (e.g. shorted kernel sections or low-order orthogonalized polynomial/prolate trial functions); +5. interval-certify its Gram and weighted-operator matrices; +6. obtain rigorous lower bounds for `theta_2,...,theta_m` by interval Cholesky/Sturm/generalized-eigenvalue bracketing; +7. verify + +```math +tr(D)-\sum_{j=2}^{m}\theta_j Date: Sun, 13 Sep 2026 17:52:56 +0200 Subject: [PATCH 17/55] cert: add Arb checker for NP-PROLATE-1 at a=1/2 --- scripts/check_np_prolate_1_arb.py | 432 ++++++++++++++++++++++++++++++ 1 file changed, 432 insertions(+) create mode 100644 scripts/check_np_prolate_1_arb.py diff --git a/scripts/check_np_prolate_1_arb.py b/scripts/check_np_prolate_1_arb.py new file mode 100644 index 00000000..b73ab985 --- /dev/null +++ b/scripts/check_np_prolate_1_arb.py @@ -0,0 +1,432 @@ +# -*- coding: utf-8 -*- +"""Rigorous NP-PROLATE-1 certificate at a=1/2. + +Proves, separately in even/odd parity, a sufficient bound for positivity of the +NULLPOL-compressed Weil form using the positive trace-class defect + + D_c = P_N (c - tau)_+ P_N. + +The proof target is + + lambda_max(D_c) <= T_full - tr(R_inner) + U < c, + +where + * T_full is an Arb upper bound for tr(D_c), + * R_inner is a finite Ritz compression of an operator D_inner <= D_c, + * U is certified by Cholesky from U G - A_inner > 0. + +No floating-point number is used in a proof decision. Decimal constants below +are exact rational decimal endpoints/nodes. Root brackets are not assumed to +contain unique roots: the complement is interval-verified to have the declared +sign, while every bracket is booked entirely into an explicit trace error. + +Scope: a=1/2 only. No RH/Object-X/all-window claim. +""" + +import sys +from decimal import Decimal, getcontext +from flint import ctx, arb, acb + +ctx.prec = 512 +getcontext().prec = 50 + +PI = arb.pi() +A = arb(1) / 2 +IUNIT = acb(0, 1) +LOGPI = PI.log() +LOG2 = arb(2).log() +SQRT2 = arb(2).sqrt() +PRIMEAMP = SQRT2 * LOG2 +LAM = acb(0, arb(1) / 2) + +ABS_TOL = arb(2) ** (-220) +REL_TOL = arb(2) ** (-220) + +# Diagnostic roots from an independent high-precision search. Each is expanded +# to a rigorous exact decimal bracket of half-width ROOT_EPS. The proof does +# not trust the diagnostic root itself: verify_partition() proves the sign on +# the entire complement of these brackets. +ROOT_EPS = Decimal("0.0000001") +TAIL_R = Decimal("128") + +DATA = { + "even": { + "sign": +1, + "c": "1.7", + "U": "1.693", + "roots": [ + "13.2588803604", + "14.2510858535", "21.1449699109", + "24.4124889332", "29.6782656938", + "33.9745980005", "38.3639912138", + "43.4030948831", "47.1181745799", + "52.7742198106", "55.9064719698", + "62.1208362097", "64.7083657344", + "71.4665404010", "73.5052148605", + "80.8440711318", "82.2666480154", + "90.4044236771", "90.8429390474", + ], + "nodes": [ + "7.372", "13.217", "19.532", "26.176", "33.988", "38.350", + "45.053", "52.784", "55.897", "63.842", "71.473", "73.499", + "82.262", "90.406", + ], + }, + "odd": { + "sign": -1, + "c": "1.4", + "U": "1.27", + "roots": [ + "12.5039896611", + "15.0442686334", "20.7035885648", + "24.8936386200", "29.2563104515", + "34.4436084540", "37.9224685383", + "43.9064611818", "46.6313259144", + "53.3542742933", "55.3376948147", + "62.8775698696", "63.9599471282", + ], + "nodes": [ + "9.578", "16.368", "24.907", "29.243", "35.609", "43.915", + "46.623", "54.457", "62.881", + ], + }, +} + + +def qarb(s): + """Exact decimal -> Arb point ball.""" + return arb(str(s)) + + +def acb_conj(z): + return z.conjugate() + + +def pw_kernel(z, w): + """Paley-Wiener kernel K_a(z,w), entire via sinc.""" + z, w = acb(z), acb(w) + d = z - acb_conj(w) + return acb(A / PI) * (acb(A) * d).sinc() + + +def pw_kernel_no_conj(z, eta): + """Analytic continuation in a real-variable slot eta. + + For real eta this equals K_a(z, eta). Unlike pw_kernel(z, eta), eta is not + conjugated; this is useful inside acb.integral where eta is the analytic + integration variable. + """ + z, eta = acb(z), acb(eta) + d = z - eta + return acb(A / PI) * (acb(A) * d).sinc() + + +def parity_kernel(z, w, sgn): + return pw_kernel(z, w) + sgn * pw_kernel(z, -acb(w)) + + +def parity_kernel_lam_real(z, sgn): + """Analytic z-extension of K_parity(lambda,z) for real z.""" + z = acb(z) + return pw_kernel_no_conj(LAM, z) + sgn * pw_kernel_no_conj(LAM, -z) + + +def parity_denom(sgn): + d = parity_kernel(LAM, LAM, sgn).real + if not (d > 0): + raise RuntimeError(f"parity evaluation denominator not certified >0: {d}") + return d + + +def np_kernel_section(z, x, sgn, den): + """Shorted parity kernel K_NP^sgn(z,x), x real fixed.""" + z, x = acb(z), acb(x) + base = parity_kernel(z, x, sgn) + corr = parity_kernel(z, LAM, sgn) * parity_kernel(LAM, x, sgn) / acb(den) + return base - corr + + +def np_kernel_diag_analytic(z, sgn, den): + """Analytic extension of K_NP^sgn(z,z) from the real axis.""" + z = acb(z) + # K(z,z)=a/pi and K(z,-z)=a/pi*sinc(2az) for real z. + base = acb(A / PI) * (1 + sgn * (2 * acb(A) * z).sinc()) + left = parity_kernel(z, LAM, sgn) + right = parity_kernel_lam_real(z, sgn) + return base - left * right / acb(den) + + +def tau_analytic(z): + """Analytic real-axis extension of tau_{1/2}.""" + z = acb(z) + zp = acb(arb(1) / 4) + IUNIT * z / 2 + zm = acb(arb(1) / 4) - IUNIT * z / 2 + psi_sym = (zp.digamma() + zm.digamma()) / 2 + return psi_sym - acb(LOGPI) - acb(PRIMEAMP) * (acb(LOG2) * z).cos() + + +def tau_real_ball(zball): + return tau_analytic(acb(zball)).real + + +def dball(lo, hi): + """Exact Decimal interval [lo,hi] as an Arb ball.""" + mid = (lo + hi) / 2 + rad = (hi - lo) / 2 + return arb(f"{mid} +/- {rad}") + + +def root_brackets(root_strings): + out = [] + for rs in root_strings: + r = Decimal(rs) + out.append((r - ROOT_EPS, r + ROOT_EPS)) + return out + + +def declared_segments(brackets): + """Complement segments on [0,TAIL_R], with alternating below/above sign. + + tau(0)c on exact decimal interval. + + Adaptive interval subdivision is used purely for proof enclosure sharpness. + """ + z = dball(lo, hi) + tv = tau_real_ball(z) + gap = c - tv if below else tv - c + if gap > 0: + return 1 + if depth >= 36: + raise RuntimeError( + f"sign verification unresolved at [{lo},{hi}], below={below}, gap={gap}" + ) + mid = (lo + hi) / 2 + return ( + verify_sign_recursive(lo, mid, c, below, depth + 1) + + verify_sign_recursive(mid, hi, c, below, depth + 1) + ) + + +def verify_partition(brackets, c): + leaves = 0 + for lo, hi, below in declared_segments(brackets): + leaves += verify_sign_recursive(lo, hi, c, below) + + # Tail firewall. Re psi(1/4+i y) is increasing in |y| termwise in its + # convergent real series. The prime cosine term is bounded below by + # -sqrt(2)log2. Thus tau(z)>=this constant for z>=TAIL_R. + R = qarb(TAIL_R) + psiR = acb(arb(1) / 4, R / 2).digamma().real + tail_lb = psiR - LOGPI - PRIMEAMP + if not (tail_lb > c): + raise RuntimeError(f"tail lower bound not > c: {tail_lb} <= {c}") + return leaves, tail_lb + + +def below_inner_intervals(brackets): + return [(lo, hi) for lo, hi, below in declared_segments(brackets) if below] + + +def cint(func, lo, hi): + if not lo < hi: + return arb(0) + val = acb.integral( + lambda z, analytic: func(z), + acb(qarb(lo)), acb(qarb(hi)), + abs_tol=ABS_TOL, rel_tol=REL_TOL, + eval_limit=10**7, depth_limit=500, + ) + # The integrals are real by construction. Any residual imaginary enclosure + # is harmless; only the real enclosure is used. + return val.real + + +def weight(z, c): + return acb(c) - tau_analytic(z) + + +def trace_inner(intervals, c, sgn, den): + total = arb(0) + for lo, hi in intervals: + total += cint( + lambda z: weight(z, c) * np_kernel_diag_analytic(z, sgn, den), + lo, hi, + ) + return total + + +def root_edge_trace_upper(brackets, c): + """Upper bound all omitted root-bracket contributions. + + For a=1/2, each positive-half parity kernel before shorting has diagonal + <= 2a/pi = 1/pi, and orthogonal shorting only decreases the diagonal. + """ + total = arb(0) + for lo, hi in brackets: + z = dball(lo, hi) + w = c - tau_real_ball(z) + wu = w.upper() + if wu > 0: + total += qarb(hi - lo) * wu / PI + return total + + +def build_gram(nodes, sgn, den): + xs = [qarb(Decimal(x)) for x in nodes] + n = len(xs) + G = [[arb(0) for _ in range(n)] for __ in range(n)] + for i in range(n): + for j in range(i, n): + v = np_kernel_section(acb(xs[i]), acb(xs[j]), sgn, den).real + G[i][j] = G[j][i] = v + return xs, G + + +def build_A(xs, intervals, c, sgn, den): + n = len(xs) + M = [[arb(0) for _ in range(n)] for __ in range(n)] + for i in range(n): + for j in range(i, n): + total = arb(0) + xi, xj = xs[i], xs[j] + for lo, hi in intervals: + total += cint( + lambda z, xi=xi, xj=xj: ( + weight(z, c) + * np_kernel_section(z, acb(xi), sgn, den) + * np_kernel_section(z, acb(xj), sgn, den) + ), + lo, hi, + ) + M[i][j] = M[j][i] = total + return M + + +def cholesky_certified(M): + n = len(M) + L = [[arb(0) for _ in range(n)] for __ in range(n)] + pivots = [] + for i in range(n): + for j in range(i + 1): + s = M[i][j] + for k in range(j): + s -= L[i][k] * L[j][k] + if i == j: + if not (s > 0): + return False, pivots, i, L + pivots.append(s) + L[i][i] = s.sqrt() + else: + L[i][j] = s / L[j][j] + return True, pivots, None, L + + +def solve_spd_from_cholesky(L, B): + """Solve (L L^T) X = B rigorously with Arb list matrices.""" + n = len(L) + m = len(B[0]) + Y = [[arb(0) for _ in range(m)] for __ in range(n)] + for j in range(m): + for i in range(n): + s = B[i][j] + for k in range(i): + s -= L[i][k] * Y[k][j] + Y[i][j] = s / L[i][i] + X = [[arb(0) for _ in range(m)] for __ in range(n)] + for j in range(m): + for ii in range(n): + i = n - 1 - ii + s = Y[i][j] + for k in range(i + 1, n): + s -= L[k][i] * X[k][j] + X[i][j] = s / L[i][i] + return X + + +def matrix_sub_scaled(G, Aop, U): + n = len(G) + return [[U * G[i][j] - Aop[i][j] for j in range(n)] for i in range(n)] + + +def trace_matrix(M): + return sum((M[i][i] for i in range(len(M))), arb(0)) + + +def run_sector(name): + d = DATA[name] + sgn = d["sign"] + c = qarb(d["c"]) + U = qarb(d["U"]) + brackets = root_brackets(d["roots"]) + intervals = below_inner_intervals(brackets) + den = parity_denom(sgn) + + print(f"=== NP-PROLATE-1 {name.upper()} ===") + print(f"prec={ctx.prec} a=1/2 c={c.str(20)} U={U.str(20)}") + print(f"root brackets={len(brackets)} Ritz dim={len(d['nodes'])}") + + leaves, tail_lb = verify_partition(brackets, c) + print(f"SIGN PARTITION ZERTIFIZIERT: leaves={leaves}, tail_lb={tail_lb.str(30)}") + + Tin = trace_inner(intervals, c, sgn, den) + Eroot = root_edge_trace_upper(brackets, c) + Tfull = Tin + Eroot + print(f"trace_inner = {Tin.str(40)}") + print(f"root_edge_upper = {Eroot.str(40)}") + print(f"T_full_upper ball = {Tfull.str(40)}") + + xs, G = build_gram(d["nodes"], sgn, den) + okG, pivG, failG, LG = cholesky_certified(G) + if not okG: + raise RuntimeError(f"Ritz Gram Cholesky FAIL at pivot {failG}") + print(f"GRAM > 0 ZERTIFIZIERT; min pivot ball={min(pivG, key=lambda x: x.lower()).str(30)}") + + Aop = build_A(xs, intervals, c, sgn, den) + + # Certify theta_max(R_inner) < U from U G - A > 0. + H = matrix_sub_scaled(G, Aop, U) + okH, pivH, failH, _ = cholesky_certified(H) + if not okH: + raise RuntimeError(f"U G - A Cholesky FAIL at pivot {failH}") + print(f"RITZ TOP < U ZERTIFIZIERT; min pivot ball={min(pivH, key=lambda x: x.lower()).str(30)}") + + # Rigorous Ritz trace tr(G^{-1} A). + X = solve_spd_from_cholesky(LG, Aop) + trR = trace_matrix(X) + print(f"Ritz trace ball = {trR.str(40)}") + + cert = Tfull - trR + U + gap = c - cert + print(f"lambda_max(D) <= T-trR+U = {cert.str(40)}") + print(f"CERTIFICATE GAP c-(T-trR+U) = {gap.str(40)}") + if not (gap > 0): + raise RuntimeError(f"NP-PROLATE-1 {name}: certificate gap not rigorously positive") + + print(f"NP-PROLATE-1 {name.upper()} PASS ZERTIFIZIERT") + return gap + + +if __name__ == "__main__": + which = sys.argv[1].lower() if len(sys.argv) > 1 else "all" + if which not in ("even", "odd", "all"): + raise SystemExit("usage: check_np_prolate_1_arb.py [even|odd|all]") + sectors = ["even", "odd"] if which == "all" else [which] + for s in sectors: + run_sector(s) + print("ALL REQUESTED NP-PROLATE-1 SECTORS PASS ZERTIFIZIERT") From 6b5956e69dfcb8124e8e31083613fd89c5f35fb3 Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Sun, 13 Sep 2026 17:53:04 +0200 Subject: [PATCH 18/55] ci: add NP-PROLATE-1 Arb certificate workflow --- .github/workflows/np-prolate-1-arb.yml | 37 ++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 .github/workflows/np-prolate-1-arb.yml diff --git a/.github/workflows/np-prolate-1-arb.yml b/.github/workflows/np-prolate-1-arb.yml new file mode 100644 index 00000000..e86ad5ac --- /dev/null +++ b/.github/workflows/np-prolate-1-arb.yml @@ -0,0 +1,37 @@ +name: NP-PROLATE-1 Arb certificate +on: + pull_request: + workflow_dispatch: +permissions: + contents: read +jobs: + np-prolate-1: + strategy: + fail-fast: false + matrix: + sector: [even, odd] + runs-on: ubuntu-latest + timeout-minutes: 60 + steps: + - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2 + with: + ref: ${{ github.event.pull_request.head.sha || github.sha }} + persist-credentials: false + - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + with: + python-version: '3.13' + - name: Install exact numerical dependency + run: python -m pip install python-flint==0.9.0 + - name: Run NP-PROLATE-1 exact-head certificate + run: | + set -euo pipefail + git rev-parse HEAD + git hash-object scripts/check_np_prolate_1_arb.py + python --version + python scripts/check_np_prolate_1_arb.py "${{ matrix.sector }}" | tee "np_prolate_1_${{ matrix.sector }}.log" + grep -q "NP-PROLATE-1 ${{ matrix.sector == 'even' && 'EVEN' || 'ODD' }} PASS ZERTIFIZIERT" "np_prolate_1_${{ matrix.sector }}.log" + grep -q "ALL REQUESTED NP-PROLATE-1 SECTORS PASS ZERTIFIZIERT" "np_prolate_1_${{ matrix.sector }}.log" + - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4 + with: + name: np-prolate-1-${{ matrix.sector }} + path: np_prolate_1_${{ matrix.sector }}.log From 524bc5f08b822eeae751196eb9f8acb989bd1122 Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Tue, 15 Sep 2026 18:36:03 +0200 Subject: [PATCH 19/55] audit: hard-audit errata and prolate barrier --- ...T_ERRATA_AND_PROLATE_BARRIER_2026-09-15.md | 370 ++++++++++++++++++ 1 file changed, 370 insertions(+) create mode 100644 audits/P11_HARD_AUDIT_ERRATA_AND_PROLATE_BARRIER_2026-09-15.md diff --git a/audits/P11_HARD_AUDIT_ERRATA_AND_PROLATE_BARRIER_2026-09-15.md b/audits/P11_HARD_AUDIT_ERRATA_AND_PROLATE_BARRIER_2026-09-15.md new file mode 100644 index 00000000..f5122da2 --- /dev/null +++ b/audits/P11_HARD_AUDIT_ERRATA_AND_PROLATE_BARRIER_2026-09-15.md @@ -0,0 +1,370 @@ +# P11 Hard Audit — Errata, parity-normalization check, and prolate barrier + +**Datum:** 15. September 2026 +**Branch:** `research/critical-half-green-tree-bridge-2026-09-13` +**Rolle:** destruktiver Gegencheck der Critical-half/Prolate-Front. +**Registry:** unverändert. +**Nonclaim:** kein neuer RH-/Object-X-/Publikationsclaim. + +--- + +## 0. Kurzurteil + +Der harte Gegencheck zerstört die Kernreduktionen nicht, korrigiert aber zwei wichtige Punkte: + +1. Die im Prolate-Audit als exakt bezeichnete Orbitkettenlaenge + +```math +\lfloor L/t\rfloor+1 +``` + +ist an den diskreten Stellen `L/t in N` um eins zu gross. Die exakte wesentliche Maximalkettenlaenge ist + +```math +\boxed{N(t)=\lceil L/t\rceil.} +``` + +Die daraus im alten Audit gezogene Lower-Frame-Schranke bleibt konservativ gueltig, war an diesen Stellen aber nicht scharf und darf dort nicht als exakt bezeichnet werden. + +2. Der zunaechst vermutete Faktor-2-Fehler im even/odd-Arb-Checker ist **kein Zertifikatsfehler**. Der Checker benutzt auf der positiven Frequenzhalbachse absichtlich den verdoppelten Paritaetskernel. Halbgeradenfaktor und Kernskalierung kompensieren sich exakt sowohl in der Spur als auch im generalisierten Ritz-Paar `(A,G)`. + +Der wichtigere strategische Befund ist negativ: + +> Die aktuelle gewichtete-Prolate-Zertifizierung ist als feste-Fenster-Methode sauber, erbt aber fuer grosse Fenster die doppelt-exponentielle Frequenzbarriere des Prime-Combs. Sie ist daher ein guter Regressionstest der Architektur, aber fuer sich allein kein plausibler globaler RH-Mechanismus. + +Status: + +```text +Critical-half Range/Green theorem survives ✓[M] +P11 sampled OU/tree Gram identity survives ✓[M] +finite Gamma/Poisson/scattering identities survives ✓[M] +rank-2 NULLPOL Paley-Wiener shorting survives ✓[M] +trace-minus-Ritz lemma survives ✓[M] +old orbit-chain exactness claim corrected +suspected parity factor-2 checker bug withdrawn +fixed-window weighted-prolate reduction survives ✓[M]_part +weighted-prolate as scalable all-window RH mechanism strongly disfavored +all-window NP-GAP / Object X / RH ?[O] +``` + +--- + +# 1. Exact correction of the translation-orbit chain formula + +Let `I` be an open interval of length `L>0` and + +```math +A_t=P_I(T_t+T_{-t})P_I, +\qquad t>0. +``` + +Decompose `I` modulo the translation lattice `t Z`. For almost every residue class the fibre is a finite path. Its essential maximal number of vertices is + +```math +\boxed{ +N(t)=\left\lceil\frac{L}{t}\right\rceil. +} +``` + +Indeed, if + +```math +L/t=m+r, +\qquad m\in\mathbb N_0, +\qquad 0=L`: then `ceil(L/t)=1` and the right side is zero. + +Since + +```math +K_t^*K_t=2I-A_t, +``` + +the exact support-only lower bound is + +```math +\boxed{ +\|K_t v\|_2^2 +\ge +\left( +2-2\cos\frac{\pi}{\lceil L/t\rceil+1} +\right)\|v\|_2^2. +} +``` + +The old floor-based formula used a weakly larger `N` at the exceptional ratios and therefore produced a weakly smaller lower bound. Hence the old inequality remains safe; only the exactness/sharpness claim is corrected. + +--- + +# 2. Parity normalization: the suspected factor-2 bug is not real + +For the full Paley--Wiener kernel + +```math +K_a(z,w)=\frac{\sin a(z-\bar w)}{\pi(z-\bar w)}, +``` + +the correctly normalized parity kernels are + +```math +\boxed{ +K_a^{\pm}(z,w) +=\frac12\bigl(K_a(z,w)\pm K_a(z,-w)\bigr). +} +``` + +The Arb checker defines instead + +```math +\widetilde K_a^{\pm}=K_a(z,w)\pm K_a(z,-w)=2K_a^{\pm} +``` + +and integrates only over `z>0`. + +For an even weight `w(z)` the full trace in the parity sector is + +```math +\operatorname{tr}D_\pm += +\int_{\mathbb R}w(z)K_{NP}^{\pm}(z,z)\,dz += +2\int_0^\infty w(z)K_{NP}^{\pm}(z,z)\,dz += +\int_0^\infty w(z)\widetilde K_{NP}^{\pm}(z,z)\,dz. +``` + +So the checker trace is exactly normalized. + +For a finite kernel-section Ritz space, let `(A,G)` be the true full-line form and Gram matrices for the normalized parity kernel. Using the doubled kernel and the positive half-line gives + +```math +\widetilde G=2G, +\qquad +\widetilde A=2A. +``` + +Hence + +```math +\widetilde G^{-1}\widetilde A=G^{-1}A, +``` + +and the generalized Ritz eigenvalues, the Ritz trace, and the positivity test + +```math +UG-A\succ0 +``` + +are unchanged up to the common positive factor `2`. + +Therefore the earlier suspicion "checker missing 1/2" is withdrawn. The implementation should nevertheless be documented explicitly as a **positive-half-line doubled-kernel convention**, because otherwise the normalization looks incorrect on inspection. + +--- + +# 3. Independent normalized diagnostic rerun at `a=1/2` + +The `a=1/2` multiplier is + +```math +\tau_{1/2}(z) += +\Re\psi\left(\frac14+\frac{iz}{2}\right) +-\log\pi +-\sqrt2\log2\cos(z\log2). +``` + +Recomputing with the *normalized* parity kernels and explicit factor `2` for the positive half-line reproduces the checker geometry. + +Using the current rationalized kernel-section node sets gives the following floating diagnostics: + +```text +even: c=1.7, U=1.693 + tr(D) ~ 4.69894069457 + top Ritz eigenvalue ~ 1.69060811940 + Ritz trace ~ 4.69523756358 + T - trR + U ~ 1.69670313099 + diagnostic margin ~ 0.00329686901 + +odd: c=1.4, U=1.27 + tr(D) ~ 2.72702973494 + top Ritz eigenvalue ~ 1.25079005295 + Ritz trace ~ 2.71472869855 + T - trR + U ~ 1.28230103640 + diagnostic margin ~ 0.11769896360 +``` + +These numbers are **diagnostic only**. In particular, the even margin is small enough that no theorem-level PASS is claimed until an Arb run encloses all root partitions, trace integrals, Ritz traces and Cholesky pivots. + +--- + +# 4. Why the weighted-prolate route does not scale naively + +For fixed `a`, write the finite prime comb + +```math +P_a(z) += +2\sum_{\log n\le2a} +\frac{\Lambda(n)}{\sqrt n}\cos(z\log n) +``` + +and its total mass + +```math +A_a += +2\sum_{\log n\le2a} +\frac{\Lambda(n)}{\sqrt n}. +``` + +The centered multiplier is + +```math +\tau_a(z) += +\Re\psi\left(\frac14+\frac{iz}{2}\right)-\log\pi-P_a(z). +``` + +At high frequency + +```math +\Re\psi\left(\frac14+\frac{iz}{2}\right)-\log\pi += +\log\frac{|z|}{2\pi}+O(z^{-2}). +``` + +The finite prime comb satisfies + +```math +|P_a(z)|\le A_a. +``` + +Moreover the phases can recur arbitrarily close to simultaneous alignment for the finitely many independent prime logarithms, so a uniform pointwise treatment cannot replace `A_a` by a substantially smaller universal constant. + +Therefore a crude but structurally unavoidable pointwise tail firewall for + +```math +(c-\tau_a)_+ +``` + +has scale + +```math +\boxed{ +T_a\gtrsim 2\pi\exp(A_a+c). +} +``` + +By the prime number theorem, with `X=e^{2a}`, + +```math +\sum_{n\le X}\frac{\Lambda(n)}{\sqrt n} +\sim2\sqrt X, +``` + +so + +```math +\boxed{A_a\sim4e^a.} +``` + +Consequently + +```math +\boxed{ +T_a +\approx +\exp\bigl((4+o(1))e^a\bigr), +} +``` + +doubly exponential in the window radius. + +This matches the barrier identified in the current compact-window literature for pointwise-envelope certificates. Thus the weighted-prolate defect is excellent for a fixed small window but, without an additional structural identity, inherits the same large-window time-band-limiting obstruction. + +--- + +# 5. Literature collision / novelty firewall + +The hard audit also strengthens the novelty firewall: + +- Connes--Consani already use prolate spheroidal functions, compressed scaling operators and Toeplitz methods in Weil positivity at the archimedean place. +- The current 2026 compact-window work proves unconditional positivity beyond the classical `log 2` range by a certified finite reduction and explicitly identifies the Landau--Widom/time-band-limiting barrier. +- The two moment conditions at exponents `+-1/2` occur explicitly in the operator-theoretic Weil-positivity literature. + +Therefore the following are **not** publication novelty claims of this project: + +```text +prolate/time-band limiting + Weil positivity +Paley-Wiener finite-window formulation +moment conditions at +-1/2 +Toeplitz/compression methods for local Weil positivity +finite certified matrix reductions for fixed windows +``` + +The project-specific pieces that remain worth auditing are narrower: + +```text +1. NULLPOL as the exact compact-support range of L_{1/2}; +2. the exact P11 prime-power ledger as a sampled critical-half OU/tree Gram; +3. the way that P11/tree, Green boundary charges and COMMON-JUMP incidence data + might descend to one forward positive dilation without using Weil positivity + as an input. +``` + +No novelty is asserted for these either until a dedicated literature audit is complete. + +--- + +# 6. Strategic consequence + +`NP-PROLATE-1` at `a=1/2` should be retained as a **regression / architecture consistency gate**, not promoted to the main global front. + +A successful Arb certificate would show that the Critical-half/NULLPOL reduction is numerically and analytically coherent on one nontrivial arithmetic window. But current literature already proves stronger fixed-window positivity, so such a certificate is not by itself mathematical progress toward RH. + +The main research question should therefore be sharpened to: + +```math +\boxed{ +\text{Can the P11 OU/tree + Green-boundary geometry produce a radius-consistent} +\atop +\text{positive dilation / Schur complement that avoids pointwise resolution of }\tau_a? +} +``` + +A candidate is only interesting if its positivity is **structural in `a`** and does not require resolving the doubly-exponential set of high-frequency prime-phase recurrences window by window. + +That is the next genuine Object-X gate. From b893bda96611951afd29f1907bf8c3f639e62299 Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Tue, 15 Sep 2026 18:48:15 +0200 Subject: [PATCH 20/55] audit: isolate NULLPOL prime discrepancy and OU root-trace bridge --- ...IME_DISCREPANCY_CANCELLATION_2026-09-15.md | 609 ++++++++++++++++++ 1 file changed, 609 insertions(+) create mode 100644 audits/P11_NULLPOL_PRIME_DISCREPANCY_CANCELLATION_2026-09-15.md diff --git a/audits/P11_NULLPOL_PRIME_DISCREPANCY_CANCELLATION_2026-09-15.md b/audits/P11_NULLPOL_PRIME_DISCREPANCY_CANCELLATION_2026-09-15.md new file mode 100644 index 00000000..3a443123 --- /dev/null +++ b/audits/P11_NULLPOL_PRIME_DISCREPANCY_CANCELLATION_2026-09-15.md @@ -0,0 +1,609 @@ +# P11 Audit — NULLPOL prime-discrepancy cancellation and OU root-trace bridge + +**Datum:** 15. September 2026 +**Branch:** `research/critical-half-green-tree-bridge-2026-09-13` +**Rolle:** theorem-level Umformung der NULLPOL-Weilform nach dem Hard Audit. +**Registry:** unverändert. +**Nonclaim:** kein Positivitäts-, Object-X-, RH- oder Publikationsneuheitsclaim. + +--- + +## 0. Kurzurteil + +Auf NULLPOL kann der exponentiell wachsende glatte Hauptterm der Prime-Power-Maßes **exakt** gegen den Grundmodus `mu_0=1/2` der Gamma-/Green-Schicht eliminiert werden. + +Definiere die lokal endliche Prime-Power-Maßstruktur + +```math +\nu_P +:= +\sum_{n=p^k\ge2} +\frac{\Lambda(n)}{\sqrt n}\,\delta_{\log n} +``` + +und ihre polbereinigte Diskrepanz + +```math +\boxed{ +\Delta +:= +\nu_P-e^{t/2}\,dt. +} +``` + +Weiter setze + +```math +h_1(t) +:= +h(t)-e^{-t/2} += +\frac{e^{-5t/2}}{1-e^{-2t}}. +``` + +Dann gilt fuer jede kompakt getragene NULLPOL-Testfunktion `v` exakt + +```math +\boxed{ +Q_W(v) += +\int_0^\infty h_1(t)\|K_tv\|_2^2dt +-(\kappa_*-4)\|v\|_2^2 +- +\int_0^\infty +\bigl(f_v(t)+f_v(-t)\bigr)\,d\Delta(t), +} +``` + +wobei + +```math +f_v=v*\widetilde v, +\qquad +K_t=T_{t/2}-T_{-t/2}. +``` + +Die Darstellung ist **fensterfrei**: fuer kompakt getragenes `v` ist der atomare Anteil automatisch lokal endlich. Der wachsende Fenster-Skalar + +```math +2\sum_{\log n\le2a}\Lambda(n)/\sqrt n +``` + +tritt nicht mehr auf. Die gesamte radiusabhaengige arithmetische Schwierigkeit sitzt stattdessen in der signierten Diskrepanz `Delta`. + +Zusaetzlich besitzt `Delta` eine exakte OU-/P11-Rootspurinterpretation. In der normierten OU-Familie mit Rootkorrelation `e^{-sigma t}` gilt fuer `sigma>1/4` + +```math +\boxed{ +\operatorname{tr}H_{P}^{(\sigma)} +- +\operatorname{tr}H_{0}^{(\sigma)} += +-\frac{\zeta'}{\zeta}\left(\frac12+2\sigma\right) +- +\frac1{2\sigma-1/2} += +\mathcal L\Delta(2\sigma). +} +``` + +Bei der P11-/Critical-half-Skala `sigma=1/2` ist dies + +```math +-\zeta'/\zeta(3/2)-2. +``` + +Das ist eine exakte Bruecke zwischen dem P11-Root und der neuen Diskrepanznormalform. Sie ist **noch keine positive Differenz- oder Schur-Komplement-Realisierung**. + +Status: + +```text +NULLPOL growing/decaying correlation identity ✓[M] +prime-main / Gamma-ground cancellation ✓[M] +window-free discrepancy normal form ✓[M] +Laplace transform of Delta ✓[M] +OU/P11 root-trace identity for Delta ✓[M] +polynomial cumulative Delta bound <=> RH-scale PNT error ✓[M] (standard equivalence route) +positive Schur/dilation realization of Delta ?[O] +full Object X / RH ?[O] +publication novelty ?[O] +``` + +--- + +# 1. Starting point: the additive explicit formula + +Use the same normalization as `P11_NP_COMMON_JUMP_GRAM_2026-09-13.md`. +For + +```math +f_v=v*\widetilde v, +\qquad +\widetilde v(x)=\overline{v(-x)}, +``` + +write + +```math +F_v(t):=f_v(t)+f_v(-t). +``` + +The explicit formula reads + +```math +\begin{aligned} +Q_W(v) +={}& +\int_{\mathbb R}f_v(x)(e^{x/2}+e^{-x/2})dx\\ +&- +\int_0^\infty F_v(t)\,d\nu_P(t)\\ +&-(\log4\pi+\gamma)f_v(0)\\ +&- +\int_0^\infty +\{F_v(t)-2e^{-t/2}f_v(0)\}h(t)dt, +\end{aligned} +``` + +where + +```math +h(t)=\frac{e^{-t/2}}{1-e^{-2t}}. +``` + +For compactly supported `v`, the `nu_P` integral is a finite sum. + +--- + +# 2. NULLPOL turns the growing exponential correlation into the decaying one + +Define + +```math +E_+(v)=\int e^{x/2}v(x)dx, +\qquad +E_-(v)=\int e^{-x/2}v(x)dx. +``` + +On NULLPOL, + +```math +E_+(v)=E_-(v)=0. +``` + +By Fubini, + +```math +\int_{\mathbb R}f_v(t)e^{t/2}dt +=E_+(v)\overline{E_-(v)}=0, +``` + +and similarly + +```math +\int_{\mathbb R}f_v(t)e^{-t/2}dt=0. +``` + +Splitting both identities at `t=0` and adding them gives + +```math +\int_0^\infty +(e^{t/2}+e^{-t/2})F_v(t)dt=0. +``` + +Hence + +```math +\boxed{ +\int_0^\infty e^{t/2}F_v(t)dt += +-\int_0^\infty e^{-t/2}F_v(t)dt. +} +``` + +This is exact and uses only NULLPOL. No PNT, RH or asymptotic prime information is used. + +Equivalently, in the correlation notation `C_v(t)=` one has + +```math +\boxed{ +\Re\int_0^\infty e^{t/2}C_v(t)dt += +-\Re\int_0^\infty e^{-t/2}C_v(t)dt. +} +``` + +The growing `e^{t/2}` mode is therefore conjugate, on NULLPOL, to the decaying Critical-half Green mode. + +--- + +# 3. Exact cancellation with the Gamma ground mode + +Split + +```math +h(t)=e^{-t/2}+h_1(t), +\qquad +h_1(t)=\frac{e^{-5t/2}}{1-e^{-2t}}. +``` + +Also write + +```math +\nu_P=\Delta+e^{t/2}dt. +``` + +The prime term becomes + +```math +-\int F_v\,d\nu_P += +-\int F_v\,d\Delta +- +\int_0^\infty e^{t/2}F_v(t)dt. +``` + +By the NULLPOL identity in Section 2, + +```math +-\int_0^\infty e^{t/2}F_v(t)dt += ++\int_0^\infty e^{-t/2}F_v(t)dt. +``` + +The `e^{-t/2}` piece of the archimedean integral is + +```math +-\int_0^\infty +\{F_v(t)-2e^{-t/2}f_v(0)\}e^{-t/2}dt += +-\int_0^\infty e^{-t/2}F_v(t)dt ++2f_v(0), +``` + +because `int_0^infty e^{-t}dt=1`. + +The two nonlocal correlation terms cancel exactly. + +Thus + +```math +Q_W(v) += +-\int F_v\,d\Delta ++(2-\log4\pi-\gamma)f_v(0) +- +\int_0^\infty +\{F_v(t)-2e^{-t/2}f_v(0)\}h_1(t)dt. +``` + +Using + +```math +F_v(t) +=2f_v(0)-\|K_tv\|_2^2 +``` + +gives + +```math +-\int +\{F_v-2e^{-t/2}f_v(0)\}h_1dt += +\int h_1(t)\|K_tv\|_2^2dt +-2f_v(0)\int h_1(t)(1-e^{-t/2})dt. +``` + +From the already proved identity + +```math +\kappa_* += +\log4\pi+\gamma ++2\int_0^\infty h(t)(1-e^{-t/2})dt +``` + +and + +```math +2\int_0^\infty e^{-t/2}(1-e^{-t/2})dt=2 +``` + +one gets + +```math +2\int_0^\infty h_1(t)(1-e^{-t/2})dt += +\kappa_*-(\log4\pi+\gamma)-2. +``` + +Therefore the scalar coefficient is + +```math +4-\kappa_*. +``` + +This proves + +```math +\boxed{ +Q_W(v) += +\int_0^\infty h_1(t)\|K_tv\|_2^2dt +-(\kappa_*-4)\|v\|_2^2 +- +\int_0^\infty F_v(t)\,d\Delta(t). +} +``` + +Numerically only as orientation, + +```math +\kappa_*-4 +=1.3721834192256655\ldots +``` + +No numerical value is needed in the proof. + +--- + +# 4. The arithmetic discrepancy and its Laplace transform + +For `Re s>1/2`, absolute convergence gives + +```math +\begin{aligned} +\mathcal L\Delta(s) +&:=\int_0^\infty e^{-st}\,d\Delta(t)\\ +&= +\sum_{n\ge2}\frac{\Lambda(n)}{\sqrt n}n^{-s} +- +\int_0^\infty e^{-(s-1/2)t}dt\\ +&= +-\frac{\zeta'}{\zeta}\left(s+\frac12\right) +- +\frac1{s-1/2}. +\end{aligned} +``` + +Hence + +```math +\boxed{ +\mathcal L\Delta(s) += +-\frac{\zeta'}{\zeta}\left(s+\frac12\right) +- +\frac1{s-1/2}. +} +``` + +The continuous compensator removes exactly the pole at `s+1/2=1` from the Euler logarithmic derivative. + +The cumulative discrepancy is + +```math +\boxed{ +D(T) +:=\Delta([0,T]) += +\sum_{n\le e^T}\frac{\Lambda(n)}{\sqrt n} +-2(e^{T/2}-1). +} +``` + +This is the weighted Chebyshev discrepancy in logarithmic coordinates. + +--- + +# 5. Firewall: polynomial control of D is already RH-scale information + +Let + +```math +S(X)=\sum_{n\le X}\frac{\Lambda(n)}{\sqrt n}. +``` + +Then `D(log X)=S(X)-2(sqrt(X)-1)`. + +If for some fixed `B` + +```math +D(T)=O(T^B), +``` + +then + +```math +S(X)=2(\sqrt X-1)+O((\log X)^B). +``` + +Stieltjes partial summation in the reverse direction gives + +```math +\psi(X) +=\sqrt X\,S(X) +-\frac12\int_1^X S(t)t^{-1/2}dt, +``` + +hence + +```math +\boxed{ +\psi(X)=X+O(\sqrt X(\log X)^B). +} +``` + +Such a bound excludes nontrivial zeros with real part `>1/2`; by the functional equation it is RH-scale information. + +Conversely the standard RH bound + +```math +\psi(X)=X+O(\sqrt X\log^2X) +``` + +and partial summation imply + +```math +D(T)=O(T^3) +``` + +(up to harmless lower-end constants). + +Thus the new normal form has not made the hard arithmetic disappear: it has isolated it cleanly in `Delta`. Any easy claim that `D(T)` has polynomial growth would essentially be an RH proof and must be treated accordingly. + +--- + +# 6. Exact OU/P11 root-trace bridge + +Use the normalized OU family from the Critical-half rigidity audit: + +```math +\langle\Phi^{(\sigma)}_x,\Phi^{(\sigma)}_y\rangle +=e^{-\sigma d(x,y)}, +\qquad \sigma>0. +``` + +At a prime-power node `t_n=log n`, the weighted feature has root coordinate + +```math +\sqrt{w_n}\,e^{-\sigma t_n}, +\qquad +w_n=\frac{\Lambda(n)}{\sqrt n}. +``` + +Therefore the trace of the root projection over the prime-power channel basis is, for `sigma>1/4`, + +```math +\begin{aligned} +\operatorname{tr}H_P^{(\sigma)} +&= +\sum_n w_n e^{-2\sigma t_n}\\ +&= +\sum_n\Lambda(n)n^{-(1/2+2\sigma)}\\ +&= +-\frac{\zeta'}{\zeta}\left(\frac12+2\sigma\right). +\end{aligned} +``` + +Now put on a continuous reference ray the compensator measure + +```math +d\lambda_0(t)=e^{t/2}dt. +``` + +The same OU root coordinate has squared continuous mass + +```math +\begin{aligned} +\operatorname{tr}H_0^{(\sigma)} +&= +\int_0^\infty e^{t/2}e^{-2\sigma t}dt\\ +&= +\frac1{2\sigma-1/2}. +\end{aligned} +``` + +Consequently + +```math +\boxed{ +\operatorname{tr}H_P^{(\sigma)} +- +\operatorname{tr}H_0^{(\sigma)} += +\mathcal L\Delta(2\sigma). +} +``` + +At the Critical-half/P11 value `sigma=1/2`, + +```math +\boxed{ +\operatorname{tr}H_P^{(1/2)} +- +\operatorname{tr}H_0^{(1/2)} += +-\zeta'/\zeta(3/2)-2. +} +``` + +The P11 exponent `3/4` is visible here at the feature level: + +```math +\sqrt{w_n}\,e^{-t_n/2} +=\sqrt{\Lambda(n)}\,n^{-3/4}. +``` + +For `n=p^k` this is precisely + +```math +\sqrt{\log p}\,p^{-3k/4}, +``` + +the P11 hub/root amplitude. + +Thus the P11 common root is an exact discrete OU sampling of the same pole-subtracted prime-vs-continuum trace family that appears in the discrepancy normal form. + +--- + +# 7. What this does and does not prove + +What is now exact: + +```text +Prime measure nu_P +minus pole compensator e^{t/2}dt += arithmetic discrepancy Delta. + +NULLPOL converts the compensator correlation into the decaying e^{-t/2} +Green correlation. + +That Green correlation cancels exactly the mu_0=1/2 Gamma ground mode. + +The P11 root trace, compared against the same continuous compensator root, +recovers the Laplace transform of Delta. +``` + +This is a genuine structural bridge between three previously separate project objects: + +```text +NULLPOL Green exterior cancellation +Gamma ground mode +P11 OU/tree root. +``` + +However the decisive positivity step is still absent. In particular: + +```math +\operatorname{tr}H_P^{(\sigma)} +- +\operatorname{tr}H_0^{(\sigma)} +``` + +is a **difference** of positive traces. No positive block matrix, contraction, Schur complement or shorting has yet been constructed whose residual quadratic form is the full `Delta` term. + +A trace identity must not be promoted to an operator identity. + +--- + +# 8. Next gate + +The sharpened Object-X question is now: + +```math +\boxed{ +\text{Can the signed discrepancy pairing } +\int F_v\,d\Delta +\text{ be obtained as a forward Schur complement / compression} +\atop +\text{of a joint discrete-prime + continuous critical-half OU geometry?} +} +``` + +Required firewall: + +1. the joint positive parent must be defined before using Weil positivity; +2. the continuous component must be the canonical compensator `e^{t/2}dt`, not fitted from `Delta`; +3. the construction must reproduce more than the scalar root trace — ideally the full autocorrelation pairing; +4. failure is acceptable and should become a class no-go; +5. no claim that this route is new in the literature until a dedicated audit is complete. From 69bfe2e585a9fa5ca87a85c5ec98faa8a20e856d Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Tue, 15 Sep 2026 18:50:32 +0200 Subject: [PATCH 21/55] audit: rule out primewise P11 innovation shorting --- ...ISE_INNOVATION_SHORTING_NOGO_2026-09-15.md | 375 ++++++++++++++++++ 1 file changed, 375 insertions(+) create mode 100644 audits/P11_PRIMEWISE_INNOVATION_SHORTING_NOGO_2026-09-15.md diff --git a/audits/P11_PRIMEWISE_INNOVATION_SHORTING_NOGO_2026-09-15.md b/audits/P11_PRIMEWISE_INNOVATION_SHORTING_NOGO_2026-09-15.md new file mode 100644 index 00000000..7c5aae9a --- /dev/null +++ b/audits/P11_PRIMEWISE_INNOVATION_SHORTING_NOGO_2026-09-15.md @@ -0,0 +1,375 @@ +# P11 Audit — Primewise innovation-shorting no-go on the physical jump range + +**Datum:** 15. September 2026 +**Branch:** `research/critical-half-green-tree-bridge-2026-09-13` +**Rolle:** enger Klassen-No-Go fuer den direkten P11 -> COMMON-JUMP Abstieg. +**Registry:** unveraendert. +**Nonclaim:** kein No-Go gegen gekoppelte Root-/Gamma-/Fenster-/Maskenkonstruktionen. + +--- + +## 0. Kurzurteil + +Der naheliegende Versuch, die diagonale COMMON-JUMP-Primegeometrie direkt als kontraktives Shorting der P11-AR(1)-Innovationsgeometrie zu erhalten, scheitert bereits auf **einem einzelnen Primast** und sogar nach Einschraenkung auf die tatsaechlich von Translationen erzeugten Kanalsequenzen. + +Fuer + +```math +q=p^{-1/2}\in(0,1) +``` + +sei + +```math +(T_qX)_m +=\sqrt{1-q^2}\sum_{k\ge m}q^{k-m}X_k, +``` + +so dass + +```math +T_q^*T_q=R_q-uu^*, +\qquad +R_q(j,k)=q^{|j-k|}, +\qquad +u_k=q^k. +``` + +Die COMMON-JUMP-Kanaele eines einzelnen Fouriermodus mit Phase + +```math +\theta=z\log p +``` + +haben, nach Herausziehen des gemeinsamen Faktors `sqrt(log p)`, die Form + +```math +\boxed{ +X_k(\theta) +=q^{k/2}\,2\sin\frac{k\theta}{2}. +} +``` + +Definiere + +```math +\mathcal R_q(\theta) +:= +\frac{\|T_qX(\theta)\|_{\ell^2}^2} +{\|X(\theta)\|_{\ell^2}^2} +``` + +fuer `theta` mit `X(theta) != 0`. + +Dann gilt fuer jedes `01, +\qquad +\mathcal R_q(\pi)<1. +} +``` + +Damit expandiert `T_q` einige physikalische Jump-Richtungen und kontrahiert andere. Folglich existiert weder in der Richtung + +```text +COMMON-JUMP bare channel -> P11 innovation +``` + +noch in der Rueckrichtung ein primeweiser kontraktiver Identifikator, der auf dem gesamten translationsgenerierten Kanalraum einfach `T_q` bzw. `T_q^{-1}` realisiert. + +Status: + +```text +physical translation-channel parametrization ✓[M] +low-frequency expansion of T_q ✓[M] +pi-frequency contraction of T_q ✓[M] +primewise contraction/shorting route ×[M] +coupled Root+Gamma+mask route ?[O] +``` + +--- + +# 1. Physical channel range + +For the prime `p`, put + +```math +h=\log p, +\qquad +q=e^{-h/2}=p^{-1/2}. +``` + +The common-jump channel at prime power `p^k` is + +```math +K_{kh}=T_{kh/2}-T_{-kh/2}. +``` + +On a Fourier mode of frequency `z`, its scalar multiplier is + +```math +2i\sin\frac{kzh}{2}. +``` + +The Weil weight is + +```math +w_{p,k}=(\log p)q^k. +``` + +After discarding the harmless common factors `sqrt(log p)` and `i`, the weighted channel sequence is therefore exactly + +```math +\boxed{ +X_k(\theta)=2q^{k/2}\sin(k\theta/2), +\qquad +\theta=zh. +} +``` + +Thus this no-go is not tested on arbitrary `ell^2`: it is tested on the actual one-parameter physical channel curve generated by the translation representation. + +--- + +# 2. Low-frequency limit + +As `theta -> 0`, + +```math +X_k(\theta) +=k\theta q^{k/2}+O(\theta^3k^3q^{k/2}). +``` + +Hence the limiting ratio is the ratio for + +```math +x_k=kq^{k/2}. +``` + +Write + +```math +r=\sqrt q\in(0,1), +\qquad +a=qr=r^3. +``` + +For `x_k=kr^k`, the tail transform is + +```math +\begin{aligned} +(T_qx)_m +&=\sqrt{1-q^2}\sum_{k\ge m}q^{k-m}kr^k\\ +&=\sqrt{1-q^2}\,r^m +\left( +\frac{m}{1-r^3} ++ +\frac{r^3}{(1-r^3)^2} +\right). +\end{aligned} +``` + +Using + +```math +\sum_{m\ge1}q^m=\frac q{1-q}, +\quad +\sum_{m\ge1}mq^m=\frac q{(1-q)^2}, +\quad +\sum_{m\ge1}m^2q^m=\frac{q(1+q)}{(1-q)^3}, +``` + +one obtains after simplification + +```math +\boxed{ +\lim_{\theta\to0}\mathcal R_q(\theta) += +\frac{(1+r) +\left(r^8+2r^7+4r^6+6r^5+8r^4+6r^3+4r^2+2r+1\right)} +{(1-r)(r^2+r+1)^4}. +} +``` + +Subtracting `1` gives the manifestly positive expression + +```math +\boxed{ +\lim_{\theta\to0}\mathcal R_q(\theta)-1 += +\frac{r^3 +\left( +2r^6+6r^5+12r^4+16r^3+17r^2+11r+4 +\right)} +{(1-r)(r^2+r+1)^4} +>0. +} +``` + +Thus the P11 innovation map strictly **expands** sufficiently low-frequency physical jump directions. + +--- + +# 3. The phase `theta=pi` + +At `theta=pi`, + +```math +X_{2m}=0, +\qquad +X_{2m+1}=2(-1)^m q^{m+1/2}. +``` + +The bare diagonal norm is + +```math +\boxed{ +\|X(\pi)\|^2 +=\frac{4q}{1-q^2}. +} +``` + +Since + +```math +T_q^*T_q=R_q-uu^*, +``` + +the AR(1) part is + +```math +\langle X,R_qX\rangle += +\frac{4q(1-q^3)}{(1-q^2)(1+q^3)}, +``` + +while the root component is + +```math +|\langle u,X\rangle|^2 += +\frac{4q^3}{(1+q^3)^2}. +``` + +Therefore + +```math +\boxed{ +\mathcal R_q(\pi) += +\frac{(1-q)(1+q^4)} +{(1+q)(1-q+q^2)^2}. +} +``` + +Moreover + +```math +\boxed{ +1-\mathcal R_q(\pi) += +\frac{q^2(2q^3-2q^2+q+1)} +{(1+q)(1-q+q^2)^2} +>0. +} +``` + +Indeed + +```math +2q^3-2q^2+q+1 +=1+q-2q^2(1-q)>0 +``` + +for `0 Date: Tue, 15 Sep 2026 18:53:28 +0200 Subject: [PATCH 22/55] audit: identify P11 masks as stopped OU filtration --- ...PATIAL_STOPPED_OU_FILTRATION_2026-09-15.md | 444 ++++++++++++++++++ 1 file changed, 444 insertions(+) create mode 100644 audits/P11_SPATIAL_STOPPED_OU_FILTRATION_2026-09-15.md diff --git a/audits/P11_SPATIAL_STOPPED_OU_FILTRATION_2026-09-15.md b/audits/P11_SPATIAL_STOPPED_OU_FILTRATION_2026-09-15.md new file mode 100644 index 00000000..195d8f57 --- /dev/null +++ b/audits/P11_SPATIAL_STOPPED_OU_FILTRATION_2026-09-15.md @@ -0,0 +1,444 @@ +# P11 Audit — Spatial masks as a stopped OU filtration + +**Datum:** 15. September 2026 +**Branch:** `research/critical-half-green-tree-bridge-2026-09-13` +**Rolle:** theorem-level Reinterpretation der bereits vorhandenen P11-Fenstermasken. +**Registry:** unveraendert. +**Nonclaim:** keine Weil-Identitaet, kein Object-X-/RH-Abschluss, keine Publikationsneuheit. + +--- + +## 0. Kurzurteil + +Die P11-Fenstermasken sind nicht bloss technische Cutoffs. Sie implementieren punktweise eine **gestoppte AR(1)/OU-Filtration**, deren sichtbare Tiefe exakt durch den Abstand zum Fensterrand bestimmt wird. + +Fuer das Fenster `(-R,R)` und eine Primzahl `p` mit + +```math +h_p=\log p, +\qquad +q_p=p^{-1/2}, +``` + +ist der vorhandene P11-Sektor `a>=0` auf + +```math +\boxed{ +\Omega_{p,a,R} += +\left\{x:\ |x|\le R-\frac{(a+1)h_p}{2}\right\} +} +``` + +getragen. Definiere die Randtiefe + +```math +d_R(x)=R-|x| +``` + +und fuer fast jedes `x` + +```math +\boxed{ +m_p(x)=\left\lfloor\frac{2d_R(x)}{h_p}\right\rfloor.} +``` + +Dann sind am Punkt `x` genau die Innovationslagen + +```text +a=0,...,m_p(x)-1 +``` + +aktiv. + +Addiert man den P11-Hub und diese aktiven Restlagen, so ist die lokale same-prime Kanalkovarianz + +```math +\boxed{ +C_{jk}^{(p,m)} +=(\log p)p^{-3(j+k)/4}p^{\min(j,k,m)}. +} +``` + +Nach Weil-Diagonalnormalisierung ergibt sich + +```math +\boxed{ +R_{q}^{(m)}(j,k) +=q^{j+k-2\min(j,k,m)}. +} +``` + +Dies ist exakt die Kovarianz eines stationaeren AR(1)-Prozesses, bei dem nur Root und Innovationen bis Tiefe `m` sichtbar sind. Fuer `j,k>m` sind die spaeteren Zustaende auf ihre bedingten Erwartungen aus Ebene `m` reduziert. + +Die Radius-/Tiefenentwicklung ist positiv Rang eins: + +```math +\boxed{ +R_q^{(m+1)}-R_q^{(m)} +=d_{m+1}d_{m+1}^*\succeq0, +} +``` + +mit + +```math +(d_{m+1})_j +=\sqrt{1-q^2}\,q^{j-m-1}\mathbf 1_{j\ge m+1}. +``` + +Damit besitzt P11 bereits intern eine radiuskonsistente positive Filtration: beim Wachsen der sichtbaren Randtiefe wird jeweils genau eine neue OU-Innovation freigegeben. + +Status: + +```text +mask = boundary-depth threshold ✓[M] +local capped AR(1) covariance ✓[M] +stopped-OU / conditional-expectation interpretation ✓[M] +rank-one positive depth increments ✓[M] +P11 masks as discrete sections of common overlap cone ✓[M] +P11 stopped filtration = Weil/Object X not claimed +``` + +--- + +# 1. Existing P11 mask and the boundary depth + +The finite-window P11 rest sector is, in the existing implementation/convention, + +```math +\Phi_{p,a,R} += +P_{\Omega_{p,a,R}} +\sum_{k\ge a+1}p^{-3k/4}K_{p,k}P_R, +``` + +up to the already documented scalar sector factors, with + +```math +K_{p,k}=K_{k\log p}. +``` + +For `R=1`, the committed checker implements + +```text +omega = 1 - (a+1) log(p)/2, +``` + +and retains exactly positions with `|x|<=omega`. The general P11 mask is therefore + +```math +\Omega_{p,a,R} += +\left(-R+\frac{(a+1)h_p}{2}, + R-\frac{(a+1)h_p}{2}\right) +``` + +up to irrelevant endpoint conventions in `L^2`. + +Equivalently, + +```math +x\in\Omega_{p,a,R} +\iff +(a+1)\frac{h_p}{2}\le d_R(x). +``` + +Hence the number of active innovation layers at `x` is almost everywhere + +```math +m_p(x)=\left\lfloor\frac{2d_R(x)}{h_p}\right\rfloor. +``` + +At the discrete equality surfaces the choice of closed/open endpoint does not affect the `L^2` form. + +--- + +# 2. Local channel coefficient after summing active sectors + +Fix one prime `p`, one spatial point `x`, and write + +```math +m=m_p(x). +``` + +The P11 hub contributes the primitive channel coefficient + +```math +(\log p)p^{-3(j+k)/4}. +``` + +A rest sector `a` contributes to the pair `(j,k)` precisely when + +```text +a+1 <= j, +a+1 <= k, +a < m, +``` + +with multiplicity factor + +```math +(p-1)p^a. +``` + +Therefore the total local coefficient is + +```math +\begin{aligned} +C_{jk}^{(p,m)} +&=(\log p)p^{-3(j+k)/4} +\left[ +1+ +\sum_{a=0}^{\min(j,k,m)-1}(p-1)p^a +\right]\\ +&=(\log p)p^{-3(j+k)/4} + p^{\min(j,k,m)}. +\end{aligned} +``` + +This proves + +```math +\boxed{ +C_{jk}^{(p,m)} +=(\log p)p^{-3(j+k)/4}p^{\min(j,k,m)}. +} +``` + +When `m>=min(j,k)` one recovers the windowless P11 ledger exactly. + +--- + +# 3. Weil-normalized stopped covariance + +Recall + +```math +w_{p,k}=(\log p)p^{-k/2}. +``` + +Thus + +```math +\sqrt{w_{p,j}w_{p,k}} +=(\log p)p^{-(j+k)/4}. +``` + +Dividing the local coefficient by the Weil weights gives + +```math +\begin{aligned} +R_q^{(m)}(j,k) +&= +\frac{C_{jk}^{(p,m)}}{\sqrt{w_{p,j}w_{p,k}}}\\ +&= +p^{\min(j,k,m)-(j+k)/2}\\ +&=q^{j+k-2\min(j,k,m)}. +\end{aligned} +``` + +Hence + +```math +\boxed{ +R_q^{(m)}(j,k) +=q^{j+k-2\min(j,k,m)}. +} +``` + +For `min(j,k)<=m` this is `q^{|j-k|}`. If both indices lie beyond the stopping depth, + +```math +R_q^{(m)}(j,k) +=q^{j-m}q^{k-m}. +``` + +--- + +# 4. Exact stopped-OU realization + +Let + +```math +Z_0,Z_1,Z_2,... +``` + +be orthonormal coordinates. Define the AR(1) state + +```math +X_j +=q^jZ_0 ++\sqrt{1-q^2}\sum_{r=1}^j q^{j-r}Z_r. +``` + +Then + +```math +\langle X_j,X_k\rangle=q^{|j-k|}. +``` + +Define the stopped state at depth `m` + +```math +\boxed{ +X_j^{(m)} +=q^jZ_0 ++\sqrt{1-q^2} +\sum_{r=1}^{\min(j,m)}q^{j-r}Z_r. +} +``` + +For `j>m`, this is exactly the conditional expectation of the full state given the filtration generated by `Z_0,...,Z_m`. + +Direct telescoping gives + +```math +\begin{aligned} +\langle X_j^{(m)},X_k^{(m)}\rangle +&= +q^{j+k} ++(1-q^2) +\sum_{r=1}^{\min(j,k,m)}q^{j+k-2r}\\ +&= +q^{j+k-2\min(j,k,m)}. +\end{aligned} +``` + +Therefore + +```math +\boxed{ +\langle X_j^{(m)},X_k^{(m)}\rangle +=R_q^{(m)}(j,k). +} +``` + +So the spatial P11 mask implements a literal stopped OU filtration, not merely an analogy. + +--- + +# 5. Positive rank-one radius increments + +Increasing the visible depth from `m` to `m+1` adds exactly the new innovation coordinate `Z_{m+1}`. Thus + +```math +R_q^{(m+1)}(j,k)-R_q^{(m)}(j,k) +=(1-q^2) +q^{j-m-1}q^{k-m-1} +\mathbf 1_{j,k\ge m+1}. +``` + +Set + +```math +(d_{m+1})_j +=\sqrt{1-q^2}\,q^{j-m-1}\mathbf1_{j\ge m+1}. +``` + +Then + +```math +\boxed{ +R_q^{(m+1)}-R_q^{(m)} +=d_{m+1}d_{m+1}^*\succeq0. +} +``` + +This is the exact channel-index Hamiltonian increment of the P11 boundary-depth flow. + +--- + +# 6. The common overlap cone + +The mask condition can be written + +```math +(a+1)h_p\le2d_R(x). +``` + +Introduce the geometric cone + +```math +\boxed{ +\mathcal C_R += +\{(x,t): |x| Date: Tue, 15 Sep 2026 18:58:55 +0200 Subject: [PATCH 23/55] audit: universal stopped OU kernel and critical-half precision duality --- ...IVERSAL_STOPPED_OU_PRECISION_2026-09-15.md | 420 ++++++++++++++++++ 1 file changed, 420 insertions(+) create mode 100644 audits/P11_UNIVERSAL_STOPPED_OU_PRECISION_2026-09-15.md diff --git a/audits/P11_UNIVERSAL_STOPPED_OU_PRECISION_2026-09-15.md b/audits/P11_UNIVERSAL_STOPPED_OU_PRECISION_2026-09-15.md new file mode 100644 index 00000000..dde58ed7 --- /dev/null +++ b/audits/P11_UNIVERSAL_STOPPED_OU_PRECISION_2026-09-15.md @@ -0,0 +1,420 @@ +# P11 Audit — Universal stopped OU kernel and critical-half precision duality + +**Datum:** 15. September 2026 +**Branch:** `research/critical-half-green-tree-bridge-2026-09-13` +**Rolle:** theorem-level Verdichtung der gestoppten P11-Filtration. +**Registry:** unveraendert. +**Nonclaim:** kein Object-X-/Weil-/RH-Abschluss; Whitening allein ist kein Fortschritt. + +--- + +## 0. Kurzurteil + +Die gestoppte P11-Kovarianz ist die exakte Gitterabtastung eines **universellen**, primzahlunabhaengigen Critical-half-OU-Kerns + +```math +\boxed{ +G_L(s,t) += +\exp\left(-\frac{s+t}{2}+\min(s,t,L)\right), +\qquad s,t,L\ge0. +} +``` + +Seine Entwicklung in der Stopptiefe `L` ist positiv Rang eins: + +```math +\boxed{ +\partial_LG_L(s,t) += +\mathbf1_{L<\min(s,t)} + e^{-(s-L)/2}e^{-(t-L)/2}. +} +``` + +P11 entsteht exakt durch + +```math +s=j\log p, +\qquad +t=k\log p, +\qquad +L=m\log p. +``` + +Raeumlich ist die Stopptiefe + +```math +L=2(R-|x|). +``` + +Damit ist die P11-Fensterentwicklung eine diskrete Abtastung eines kontinuierlichen positiven Hamiltonianflusses. + +Zusaetzlich ist der inverse Kovarianz-/Praezisionsoperator des ungestoppten Kerns erneut + +```math +-\partial_t^2+1/4. +``` + +Dieselbe Critical-half-Masse `1/2` wirkt daher in zwei Variablen: + +```text +source variable x: NULLPOL = Range(-d_x^2+1/4), +channel depth t: OU covariance precision = -d_t^2+1/4. +``` + +Der diskrete P11-Innovationsoperator ist die exponentielle Gitterversion des zugehoerigen first-order Faktors. + +Status: + +```text +universal stopped kernel G_L ✓[M] +rank-one positive L-flow ✓[M] +P11 exact lattice sampling ✓[M] +critical-half precision in channel variable ✓[M] +discrete-to-continuous first-order precision bridge ✓[M] +precision metric as Object X not claimed +``` + +--- + +# 1. Feature realization of the stopped kernel + +Let `e_0` be a root vector and let `L^2(0,L)` be the innovation line. Define + +```math +\boxed{ +\Phi_t^{[L]} += +e^{-t/2}e_0 +\oplus +\left[ +\mathbf1_{[0,\min(t,L)]}(u)e^{-(t-u)/2} +\right]. +} +``` + +Then + +```math +\begin{aligned} +\langle\Phi_s^{[L]},\Phi_t^{[L]}\rangle +&=e^{-(s+t)/2} ++\int_0^{\min(s,t,L)}e^{-(s-u)/2}e^{-(t-u)/2}du\\ +&=e^{-(s+t)/2+\min(s,t,L)}. +\end{aligned} +``` + +Thus + +```math +\boxed{ +\langle\Phi_s^{[L]},\Phi_t^{[L]}\rangle=G_L(s,t). +} +``` + +For `L>=min(s,t)`, + +```math +G_L(s,t)=e^{-|s-t|/2}, +``` + +the full critical-half OU/Green kernel. + +For `s,t>L`, + +```math +G_L(s,t)=e^{-(s-L)/2}e^{-(t-L)/2}, +``` + +which is exactly the covariance of the conditional expectations of the future states given the stopped state at depth `L`. + +--- + +# 2. Positive Hamiltonian flow in L + +From the feature formula, + +```math +G_{L_2}-G_{L_1} += +\int_{L_1}^{L_2} +\left[e^{-(s-u)/2}\mathbf1_{uL_1`. Hence + +```math +\boxed{ +G_{L_2}-G_{L_1}\succeq0. +} +``` + +Differentiating away from the null boundary surfaces gives + +```math +\boxed{ +\partial_LG_L +=g_Lg_L^*, +\qquad + g_L(s)=e^{-(s-L)/2}\mathbf1_{s>L}. +} +``` + +Thus the continuous depth evolution is rank-one positive at every `L`. + +This is the continuous counterpart of the discrete P11 identity + +```math +R_q^{(m+1)}-R_q^{(m)}=d_{m+1}d_{m+1}^*. +``` + +--- + +# 3. Exact P11 sampling + +Fix `p`, put + +```math +h=\log p, +\qquad +q=e^{-h/2}=p^{-1/2}. +``` + +At lattice nodes + +```math +s=jh, +\qquad +t=kh, +\qquad +L=mh, +``` + +one gets + +```math +\begin{aligned} +G_{mh}(jh,kh) +&= +\exp\left( +-\frac{(j+k)h}{2}+h\min(j,k,m) +\right)\\ +&=q^{j+k-2\min(j,k,m)}\\ +&=R_q^{(m)}(j,k). +\end{aligned} +``` + +Therefore + +```math +\boxed{ +R_q^{(m)}(j,k)=G_{m\log p}(j\log p,k\log p). +} +``` + +The finite-window P11 prime branch is not merely analogous to a stopped OU process: it is its exact logarithmic lattice sample. + +--- + +# 4. Spatial time parameter + +From the P11 masks, + +```math +m_p(x)=\left\lfloor\frac{2(R-|x|)}{\log p}\right\rfloor. +``` + +Hence the sampled continuous stopping depth is + +```math +m_p(x)\log p +\le +2(R-|x|) +< +(m_p(x)+1)\log p. +``` + +Thus the universal continuous depth parameter is canonically + +```math +\boxed{L_R(x)=2(R-|x|).} +``` + +The same inequality `t precision -> diagonal norm +``` + +would be vacuous if used only as a change of metric. + +The present observation is potentially useful only because the precision is **local and canonical**: + +```text +continuous: -d_t^2+1/4 with a fixed Robin root condition; +discrete: nearest-neighbor AR(1) innovation difference; +spatial: stopping time L_R(x)=2(R-|x|). +``` + +A genuine Object-X step would have to show that these local precision and boundary terms reproduce the Weil/prime-discrepancy coupling with no fitted coefficients and survive the existing Prime-2 calibration witness. + +--- + +# 8. Failed scalar-root repair + +A diagnostic on the existing Prime-2 witness shows that applying the local discrete precision to the **masked** P11 Rest output moves the mixed pairing much closer to the Weil target, but not onto it: + +```math +\text{masked-precision pairing} +=-\frac{7\sqrt2}{16}\log2, +``` + +whereas + +```math +\text{Weil target} +=-\frac{8\sqrt2}{16}\log2. +``` + +For that one witness, adding `1/4` of the Hub pairing would fill the gap exactly. This must **not** be promoted: on other source directions the precision defect is not proportional to the Hub. + +The abstract reason is already visible at fixed stopping depth `m`. The stopped inverse-tail reconstruction compresses the exterior channel tail to one geometric boundary amplitude, so the difference from the full diagonal tail contains an operator of rank larger than one. A scalar Root correction cannot repair it on all channel data. + +Thus the exact `1/4` witness calibration is recorded only as a coincidence/firewall, not as a candidate theorem. + +--- + +# 9. Sharpened next gate + +The surviving nontrivial possibility is a genuinely local **boundary-tail system** on the overlap cone, not a scalar Hub patch: + +```math +\boxed{ +\mathcal C_R +=\{(x,t):0 Date: Tue, 15 Sep 2026 19:00:23 +0200 Subject: [PATCH 24/55] audit: encode prime discrepancy as stopped-OU Hamiltonian defect --- ...HAMILTONIAN_DISCREPANCY_FLOW_2026-09-15.md | 361 ++++++++++++++++++ 1 file changed, 361 insertions(+) create mode 100644 audits/P11_HAMILTONIAN_DISCREPANCY_FLOW_2026-09-15.md diff --git a/audits/P11_HAMILTONIAN_DISCREPANCY_FLOW_2026-09-15.md b/audits/P11_HAMILTONIAN_DISCREPANCY_FLOW_2026-09-15.md new file mode 100644 index 00000000..fbc574f5 --- /dev/null +++ b/audits/P11_HAMILTONIAN_DISCREPANCY_FLOW_2026-09-15.md @@ -0,0 +1,361 @@ +# P11 Audit — Prime discrepancy as a stopped-OU Hamiltonian defect + +**Datum:** 15. September 2026 +**Branch:** `research/critical-half-green-tree-bridge-2026-09-13` +**Rolle:** theorem-level dynamische Form der im NULLPOL-Diskrepanz-Audit isolierten arithmetischen Maßdifferenz. +**Registry:** unveraendert. +**Nonclaim:** kein Vorzeichen-, Positivitaets-, Object-X- oder RH-Beweis. + +--- + +## 0. Kurzurteil + +Die signierte Prime-Diskrepanz + +```math +\Delta += +\nu_P-e^{t/2}dt, +\qquad +\nu_P += +\sum_{n=p^k}\frac{\Lambda(n)}{\sqrt n}\delta_{\log n}, +``` + +ist nicht nur am OU-Root sichtbar. Sie wird **vollstaendig** durch die Differenz der positiven Hamiltonian-Dichten zweier gestoppter Critical-half-OU-Flows kodiert. + +Der universelle gestoppte Kernel + +```math +G_L(s,t) +=e^{-(s+t)/2+\min(s,t,L)} +``` + +hat den Rang-1-Hamiltonianvektor + +```math +\boxed{ +g_L(t) +=e^{-(t-L)/2}\mathbf1_{t\ge L}. +} +``` + +Definiere + +```math +\boxed{ +H_P(L) +:=\|g_L\|_{L^2(\nu_P)}^2 += +\int_{[L,\infty)}e^{-(t-L)}d\nu_P(t), +} +``` + +und fuer den kanonischen Pol-Compensator + +```math +\boxed{ +H_0(L) +:=\|g_L\|_{L^2(e^{t/2}dt)}^2 += +2e^{L/2}. +} +``` + +Dann + +```math +\boxed{ +H_\Delta(L) +:=H_P(L)-H_0(L) += +\int_{[L,\infty)}e^{-(t-L)}d\Delta(t). +} +``` + +und im Stieltjes-/Distributionssinn + +```math +\boxed{ +d\Delta(L) +=H_\Delta(L)dL-dH_\Delta(L). +} +``` + +Somit bestimmt der Hamiltonian-Defekt `H_Delta` die gesamte Prime-Diskrepanz exakt. + +Bei `L=0` ergibt sich der P11-Roottrace-Wert + +```math +H_\Delta(0) +=-\zeta'/\zeta(3/2)-2. +``` + +Status: + +```text +prime Hamiltonian H_P >= 0 ✓[M] +continuum compensator Hamiltonian H_0 > 0 ✓[M] +H_Delta = exponential tail transform of Delta ✓[M] +Delta = H_Delta dL - dH_Delta ✓[M] +L=0 recovers P11/OU root-trace discrepancy ✓[M] +fixed sign / domination H_P <= H_0 or converse ×[M] (diagnostically false; no theorem needed for route) +positive coupling of the two Hamiltonians ?[O] +``` + +--- + +# 1. Hamiltonian vector of the stopped kernel + +From + +```math +G_L(s,t) +=e^{-(s+t)/2} ++\int_0^L +\mathbf1_{u\le s,t} + e^{-(s-u)/2}e^{-(t-u)/2}du, +``` + +one has, away from the null boundary surfaces, + +```math +\partial_LG_L(s,t) += +\mathbf1_{L=0`. + +For the continuous compensator, + +```math +\begin{aligned} +H_0(L) +&= +\int_L^\infty + e^{-(t-L)}e^{t/2}dt\\ +&= +e^L\int_L^\infty e^{-t/2}dt\\ +&=2e^{L/2}. +\end{aligned} +``` + +Both Hamiltonians are pointwise positive. + +Their difference is + +```math +\boxed{ +H_\Delta(L) +=H_P(L)-H_0(L) += +\int_{[L,\infty)}e^{-(t-L)}d\Delta(t). +} +``` + +--- + +# 3. Inversion: H_Delta determines Delta exactly + +Let generally + +```math +H(L)=\int_{[L,\infty)}e^{-(t-L)}d\mu(t). +``` + +Between atoms, if `dmu=rho(L)dL`, differentiation gives + +```math +H'(L)=H(L)-\rho(L). +``` + +At an atom of mass `a` at `L_0`, increasing the lower endpoint through `L_0` removes exactly that atom, so + +```math +H(L_0+)-H(L_0-)=-a. +``` + +Both facts are summarized by the Stieltjes identity + +```math +\boxed{ +d\mu(L)=H(L)dL-dH(L). +} +``` + +Applying this to the signed measure `Delta` gives + +```math +\boxed{ +d\Delta(L)=H_\Delta(L)dL-dH_\Delta(L). +} +``` + +Thus no arithmetic information is lost by replacing `Delta` with its stopped-OU Hamiltonian defect. + +--- + +# 4. Root value and the P11 trace bridge + +At `L=0`, + +```math +\begin{aligned} +H_P(0) +&=\sum_n\frac{\Lambda(n)}{n^{3/2}} +=-\frac{\zeta'}{\zeta}(3/2),\\ +H_0(0)&=2. +\end{aligned} +``` + +Hence + +```math +\boxed{ +H_\Delta(0) +=-\frac{\zeta'}{\zeta}(3/2)-2. +} +``` + +This is exactly the `sigma=1/2` root-trace discrepancy from `P11_NULLPOL_PRIME_DISCREPANCY_CANCELLATION_2026-09-15.md`. + +The previous scalar root identity is therefore merely the `L=0` endpoint of a complete Hamiltonian flow. + +--- + +# 5. Spatial identification with the P11 boundary depth + +The P11 masks use the physical depth + +```math +L_R(x)=2(R-|x|). +``` + +Thus the same variable `L` simultaneously parametrizes + +```text +1. the positive stopped-OU innovation flow; +2. the P11 visible branch depth; +3. the two-sided COMMON-JUMP overlap cone; +4. the exponentially smoothed prime-vs-pole discrepancy H_Delta(L). +``` + +This is an exact common coordinate, not a fitted scaling. + +--- + +# 6. No easy sign theorem + +It would be tempting to hope for a pointwise comparison + +```math +H_P(L)\le H_0(L) +``` + +or the reverse. That would turn the Hamiltonian defect into a signed positive/negative flow. + +Direct numerical evaluation of the absolutely convergent expression for `H_P` shows sign changes of + +```math +H_\Delta(L)=H_P(L)-H_0(L) +``` + +already at modest `L`; therefore no such global fixed-sign route should be pursued. + +This numerical observation is used only to kill the proposed easy strategy; no theorem-level arithmetic statement is inferred from it. + +--- + +# 7. RH firewall + +The cumulative discrepancy + +```math +D(T)=\Delta([0,T]) +``` + +satisfies, by integrating + +```math +d\Delta=H_\Delta dL-dH_\Delta, +``` + +the relation + +```math +D(T) += +H_\Delta(0)-H_\Delta(T) ++\int_0^T H_\Delta(L)dL +``` + +(up to the harmless endpoint convention at atoms). + +Consequently any polynomial bound + +```math +H_\Delta(L)=O(L^B) +``` + +would imply a polynomial bound for `D(T)` and hence the RH-scale weighted prime-number-theorem error identified in the preceding discrepancy audit. + +Thus proving simple polynomial control of the Hamiltonian defect is already essentially as hard as RH; the dynamical reformulation isolates the difficulty but does not trivialize it. + +--- + +# 8. Sharpened Object-X gate + +The arithmetic obstruction can now be stated dynamically: + +```math +\boxed{ +\text{two positive OU Hamiltonians }H_P,H_0 +\text{ have a sign-changing difference }H_\Delta +\text{ that encodes all of }\Delta. +} +``` + +The remaining useful question is not whether one Hamiltonian dominates the other pointwise. It is whether a **larger conservative/positive boundary system** can couple them so that their signed Hamiltonian defect appears as a Schur boundary term while the total parent energy stays positive. + +Any such construction must: + +1. be defined from the prime lattice, continuous compensator and critical-half OU kernel before invoking Weil positivity; +2. reproduce the full `L`-flow, not only the root value `L=0`; +3. include the higher-rank boundary-tail structure ruled out by the scalar-Hub and primewise-contraction no-gos; +4. survive the exact Prime-2 mixed-pair calibration. From 692e30fd481736414426537f301f70fd3955ebfe Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Tue, 15 Sep 2026 19:06:40 +0200 Subject: [PATCH 25/55] audit: derive boundary-tail shorting and universal prime-lattice sampling --- ...RTING_AND_UNIVERSAL_SAMPLING_2026-09-15.md | 447 ++++++++++++++++++ 1 file changed, 447 insertions(+) create mode 100644 audits/P11_BOUNDARY_TAIL_SHORTING_AND_UNIVERSAL_SAMPLING_2026-09-15.md diff --git a/audits/P11_BOUNDARY_TAIL_SHORTING_AND_UNIVERSAL_SAMPLING_2026-09-15.md b/audits/P11_BOUNDARY_TAIL_SHORTING_AND_UNIVERSAL_SAMPLING_2026-09-15.md new file mode 100644 index 00000000..b4a33181 --- /dev/null +++ b/audits/P11_BOUNDARY_TAIL_SHORTING_AND_UNIVERSAL_SAMPLING_2026-09-15.md @@ -0,0 +1,447 @@ +# P11 Audit — Boundary-tail shorting and universal prime-lattice sampling + +**Datum:** 15. September 2026 +**Branch:** `research/critical-half-green-tree-bridge-2026-09-13` +**Rolle:** theorem-level Randzustandsidentitaet fuer die gestoppte OU/P11-Praezision. +**Registry:** unveraendert. +**Nonclaim:** kein Object-X-/Weil-/RH-Abschluss; keine Publikationsneuheit. + +--- + +## 0. Kurzurteil + +Die endliche Praezisionsform eines gestoppten P11-AR(1)-Astes rekonstruiert **alle inneren nackten Weil-Jump-Kanaele exakt** und komprimiert den gesamten unsichtbaren Aussentail in einen einzigen kontraktiven exponentiellen Randzustand. + +Diskret, fuer `q in (0,1)` und + +```math +Y_m=\sqrt{1-q^2}\sum_{k\ge m}q^{k-m}X_k, +``` + +gilt fuer die sichtbaren Zustaende `Y_1,...,Y_m` + +```math +\boxed{ +\mathfrak p_m(Y) += +\sum_{r=1}^{m-1} +\frac{\|Y_r-qY_{r+1}\|^2}{1-q^2} ++\|Y_m\|^2 += +\sum_{r=1}`, define + +```math +\boxed{ +Y_m +=(T_qX)_m +=\sqrt{1-q^2}\sum_{k\ge m}q^{k-m}X_k. +} +``` + +Then + +```math +Y_m-qY_{m+1} +=\sqrt{1-q^2}X_m, +``` + +so the correct inverse orientation is + +```math +\boxed{ +X_m +=\frac{Y_m-qY_{m+1}}{\sqrt{1-q^2}}. +} +``` + +This orientation matters at a finite stopping boundary. + +--- + +# 2. Natural finite precision and the boundary state + +The covariance of the visible vector `(Y_1,...,Y_m)` is the finite Kac--Murdock--Szego matrix + +```math +R_q^{[m]}=(q^{|j-k|})_{1<=j,k<=m}. +``` + +Its inverse quadratic form is + +```math +\boxed{ +\mathfrak p_m(Y) += +\sum_{r=1}^{m-1} +\frac{\|Y_r-qY_{r+1}\|^2}{1-q^2} ++\|Y_m\|^2. +} +``` + +Indeed, expansion gives the standard tridiagonal inverse with endpoint diagonal `1/(1-q^2)` and interior diagonal `(1+q^2)/(1-q^2)`. + +Using the inverse tail relation, + +```math +\boxed{ +\mathfrak p_m(Y) += +\sum_{r=1}^{m-1}\|X_r\|^2+\|Y_m\|^2. +} +``` + +Thus every visible interior bare channel is recovered exactly. Only the unobserved tail `X_m,X_{m+1},...` is replaced by one boundary state `Y_m`. + +--- + +# 3. Boundary compression is contractive + +The coefficient vector of the boundary tail is + +```math +b_m(k) +=\sqrt{1-q^2}\,q^{k-m}\mathbf1_{k>=m}. +``` + +It has exact norm + +```math +\sum_{k>=m}|b_m(k)|^2 +=(1-q^2)\sum_{r>=0}q^{2r}=1. +``` + +Therefore Cauchy--Schwarz gives + +```math +\boxed{ +\|Y_m\|^2 +\le +\sum_{k>=m}\|X_k\|^2. +} +``` + +Equivalently the missing exterior energy + +```math +\boxed{ +\mathcal D_m(X) +:= +\sum_{k>=m}\|X_k\|^2-\|Y_m\|^2 +\ge0 +} +``` + +is exactly the norm of the component of the tail orthogonal to the normalized exponential boundary mode `b_m`. + +This is the finite-dimensional/marginal Schur-shortening mechanism underlying the stopped AR(1) covariance. + +--- + +# 4. Continuous tail transform + +Let `X in L^2((0,infty);H)` and define + +```math +\boxed{ +Y(u)=\int_u^\infty e^{-(t-u)/2}X(t)dt. +} +``` + +Then in the weak sense + +```math +Y'(u) +=-X(u)+\frac12Y(u), +``` + +hence + +```math +\boxed{ +X(u)=\left(\frac12-\partial_u\right)Y(u). +} +``` + +The covariance kernel of the transform of white input is + +```math +\int_{\max(s,t)}^\infty + e^{-(u-s)/2}e^{-(u-t)/2}du +=e^{-|s-t|/2}. +``` + +Thus this is the same full Critical-half OU kernel. + +--- + +# 5. Continuous stopped precision and boundary shorting + +The inverse-covariance form of `e^{-|s-t|/2}` restricted to `[0,L]` is + +```math +\int_0^L +\left(\|Y'\|^2+\frac14\|Y\|^2\right)du ++\frac12\|Y(0)\|^2 ++\frac12\|Y(L)\|^2. +``` + +Integration by parts rewrites it as + +```math +\boxed{ +\mathfrak p_L(Y) += +\int_0^L +\left\|Y'(u)-\frac12Y(u)\right\|^2du ++\|Y(L)\|^2. +} +``` + +Using `X=(1/2-partial)Y`, + +```math +\boxed{ +\mathfrak p_L(Y) += +\int_0^L\|X(u)\|^2du+\|Y(L)\|^2. +} +``` + +The continuous boundary mode is + +```math +g_L(t)=e^{-(t-L)/2}\mathbf1_{t>=L} +``` + +with + +```math +\|g_L\|_{L^2(dt)}^2=\int_L^\infty e^{-(t-L)}dt=1. +``` + +Hence + +```math +\boxed{ +\|Y(L)\|^2 +\le +\int_L^\infty\|X(t)\|^2dt +} +``` + +and the exterior defect is the positive orthogonal-complement energy. + +--- + +# 6. Exact discrete/continuous boundary correspondence + +For a lattice step `h>0`, put + +```math +q=e^{-h/2}. +``` + +The discrete boundary coefficients are + +```math +\sqrt{1-e^{-h}}\,e^{-(k-m)h/2}. +``` + +Their `ell^2` norm is exactly one. The continuous boundary coefficient is + +```math +e^{-(t-L)/2}\mathbf1_{t>=L}, +``` + +whose `L^2` norm is exactly one. + +Thus the discrete P11 boundary state and the continuous Critical-half boundary state are normalized versions of the same exponential tail mode in their respective counting/Lebesgue geometries. + +--- + +# 7. Universal Weil-Jump field sampled by every prime + +For `p` set + +```math +h_p=\log p, +\qquad +q_p=e^{-h_p/2}. +``` + +The Weil weight is + +```math +w_{p,k} +=(\log p)p^{-k/2} +=h_p e^{-kh_p/2}. +``` + +Define + +```math +\boxed{ +X_v(t)=e^{-t/4}K_tv. +} +``` + +Then + +```math +\begin{aligned} +\sqrt{w_{p,k}}K_{kh_p}v +&=\sqrt{h_p}\,e^{-kh_p/4}K_{kh_p}v\\ +&=\boxed{\sqrt{h_p}\,X_v(kh_p)}. +\end{aligned} +``` + +Hence all prime branches sample one and the same continuous channel field; only their logarithmic lattice spacing differs. + +Applying the P11 tail transform gives + +```math +\boxed{ +Y_{p,m} += +\sqrt{1-e^{-h_p}} +\sum_{k>=m} + e^{-(k-m)h_p/2}\sqrt{h_p}\,X_v(kh_p). +} +``` + +This is the exact normalized exponential tail quadrature used by the P11 branch. + +--- + +# 8. Prime measure as a weighted logarithmic lattice comb + +Define the logarithmic prime-power counting measure + +```math +\boxed{ +d\mathcal N_P(t) += +\sum_{p}\sum_{k>=1}(\log p)\,\delta_{k\log p}(dt). +} +``` + +Then + +```math +\boxed{ +d\nu_P(t)=e^{-t/2}d\mathcal N_P(t).} +``` + +Since the pole compensator is `e^{t/2}dt`, the discrepancy is + +```math +\boxed{ +d\Delta(t) +=e^{-t/2}\left(d\mathcal N_P(t)-e^t dt\right).} +``` + +Thus `Delta` is exactly the weighted discrepancy between the union of logarithmic prime lattices and its smooth exponential main density. + +This formulation does not make the discrepancy easy: polynomial control is already RH-scale, as recorded in the preceding audit. Its value is geometric: the same depth coordinate `t` carries + +```text +- the universal jump field X_v(t), +- every P11 prime lattice, +- the stopped OU boundary mode, +- and the pole-subtracted prime-lattice counting discrepancy. +``` + +--- + +# 9. Next gate + +The remaining nontrivial construction problem can now be stated without P11-specific index notation: + +```math +\boxed{ +\text{Given one continuous field }X_v(t)\text{ on the overlap cone,} +\atop +\text{couple its prime-lattice stopped boundary quadratures and the continuous} +\text{Critical-half boundary state in a forward positive system whose} +\text{nonlocal boundary transfer reproduces the }\Delta\text{ pairing.} +} +``` + +The signed measure itself cannot be a local positive energy density. Any success must occur through a boundary/transfer/spectral-shift mechanism and must pass the exact Prime-2 mixed-pair witness. From 3cb662c0faf7783ec665badb68439511be8f64d2 Mon Sep 17 00:00:00 2001 From: Waschtl904 Date: Tue, 15 Sep 2026 19:10:48 +0200 Subject: [PATCH 26/55] audit: derive critical-half finite-part discrepancy transfer --- ...AL_HALF_FINITE_PART_TRANSFER_2026-09-15.md | 503 ++++++++++++++++++ 1 file changed, 503 insertions(+) create mode 100644 audits/P11_CRITICAL_HALF_FINITE_PART_TRANSFER_2026-09-15.md diff --git a/audits/P11_CRITICAL_HALF_FINITE_PART_TRANSFER_2026-09-15.md b/audits/P11_CRITICAL_HALF_FINITE_PART_TRANSFER_2026-09-15.md new file mode 100644 index 00000000..b9fa96ab --- /dev/null +++ b/audits/P11_CRITICAL_HALF_FINITE_PART_TRANSFER_2026-09-15.md @@ -0,0 +1,503 @@ +# P11 Audit — Critical-half finite-part discrepancy transfer + +**Datum:** 15. September 2026 +**Branch:** `research/critical-half-green-tree-bridge-2026-09-13` +**Rolle:** theorem-level Abel-/Finite-Part-Transferform der Prime-Diskrepanz. +**Registry:** unveraendert. +**Nonclaim:** kein Positivitaets-, Object-X-, RH- oder Publikationsneuheitsclaim. + +--- + +## 0. Kurzurteil + +Die im vorherigen Audit eingefuehrte signierte Prime-Diskrepanz + +```math +\Delta += +\sum_{n=p^k}\frac{\Lambda(n)}{\sqrt n}\delta_{\log n} +-e^{t/2}dt +``` + +besitzt neben dem absolut konvergenten OU-Hamiltonian-Tail mit Rate `1` einen kanonischen **kritischen Halb-Raten-Tail**. Prime- und Continuum-Anteil divergieren bei dieser Rate einzeln, aber ihre Abel-Differenz besitzt fuer jedes feste `L>=0` eine explizite endliche Grenze. + +Definiere fuer `epsilon>0` + +```math +J_{\Delta,\varepsilon}(L) += +\int_{[L,\infty)} + e^{-(1/2+\varepsilon)(t-L)}d\Delta(t). +``` + +Dann existiert + +```math +\boxed{ +J_\Delta(L) +:=\lim_{\varepsilon\downarrow0}J_{\Delta,\varepsilon}(L) +} +``` + +und + +```math +\boxed{ +J_\Delta(L) +=e^{L/2} +\left( +L-\gamma- +\sum_{\log n0` define + +```math +J_{\Delta,\varepsilon}(L) += +\int_{[L,\infty)} + e^{-(1/2+\varepsilon)(t-L)}d\Delta(t). +``` + +Both terms are absolutely convergent. The prime part is + +```math +\begin{aligned} +J_{P,\varepsilon}(L) +&= +\sum_{\log n\ge L} +\frac{\Lambda(n)}{\sqrt n} + e^{-(1/2+\varepsilon)(\log n-L)}\\ +&= +e^{(1/2+\varepsilon)L} +\sum_{\log n\ge L} +\frac{\Lambda(n)}{n^{1+\varepsilon}}. +\end{aligned} +``` + +The continuous compensator is + +```math +\begin{aligned} +J_{0,\varepsilon}(L) +&= +\int_L^\infty + e^{-(1/2+\varepsilon)(t-L)}e^{t/2}dt\\ +&= +\frac{e^{L/2}}{\varepsilon}. +\end{aligned} +``` + +Hence + +```math +J_{\Delta,\varepsilon} +=J_{P,\varepsilon}-J_{0,\varepsilon}. +``` + +--- + +# 2. Closed finite-part formula + +For `epsilon>0`, + +```math +\sum_{n\ge2}\frac{\Lambda(n)}{n^{1+\varepsilon}} +=-\frac{\zeta'}{\zeta}(1+\varepsilon). +``` + +The Laurent expansion of zeta at `1` gives + +```math +-\frac{\zeta'}{\zeta}(1+\varepsilon) +=\frac1\varepsilon-\gamma+O(\varepsilon). +``` + +Therefore, writing + +```math +S_<(L) +:= +\sum_{\log n1` and the standard Laurent expansion of zeta at `s=1`. + +At `L=0`, the finite sum is empty, so + +```math +\boxed{J_\Delta(0)=-\gamma.} +``` + +--- + +# 3. Jumps and the continuous drift + +Between prime-power locations, `S_<(L)` is constant. Therefore + +```math +J_\Delta'(L) +=\frac12J_\Delta(L)+e^{L/2}. +``` + +Thus + +```math +\frac12J_\Delta(L)-J_\Delta'(L) +=-e^{L/2}, +``` + +which is exactly the absolutely continuous density of `Delta`. + +At an atom `L_0=log n`, crossing `L_0` from below to above inserts `Lambda(n)/n` into `S_<`. Consequently + +```math +J_\Delta(L_0+)-J_\Delta(L_0-) +=-e^{L_0/2}\frac{\Lambda(n)}{n} +=-\frac{\Lambda(n)}{\sqrt n}. +``` + +Therefore `-dJ_Delta` contains the positive atom of `Delta`. Both statements combine into + +```math +\boxed{ +d\Delta +=\frac12J_\Delta dL-dJ_\Delta. +} +``` + +--- + +# 4. Stieltjes integration by parts + +Let `v` be smooth and compactly supported and put + +```math +F_v(L)=f_v(L)+f_v(-L), +\qquad +f_v=v*\widetilde v. +``` + +Then `F_v` is compactly supported on the positive half-line and + +```math +F_v(0)=2\|v\|_2^2. +``` + +Using the inversion identity, + +```math +\begin{aligned} +-\int F_v\,d\Delta +&=-\frac12\int F_vJ_\Delta dL ++\int F_v\,dJ_\Delta. +\end{aligned} +``` + +Stieltjes integration by parts gives + +```math +\int F_v\,dJ_\Delta +=-F_v(0)J_\Delta(0) +-\int J_\Delta F_v' dL. +``` + +Since `J_Delta(0)=-gamma`, + +```math +\boxed{ +-\int F_v\,d\Delta += +2\gamma\|v\|_2^2 +- +\int_0^\infty +J_\Delta(L) +\left(F_v'(L)+\frac12F_v(L)\right)dL. +} +``` + +--- + +# 5. Midpoint-coordinate transfer identity + +With the convention + +```math +f_v(L) +=\int v(x+L/2)\overline{v(x-L/2)}dx, +``` + +differentiate: + +```math +\begin{aligned} +f_v'(L) +&=\frac12\int v'(x+L/2)\overline{v(x-L/2)}dx\\ +&\quad- +\frac12\int v(x+L/2)\overline{v'(x-L/2)}dx. +\end{aligned} +``` + +Integration by parts in `x` turns the second integral into minus the first. Hence + +```math +\boxed{ +f_v'(L) +=\int v'(x+L/2)\overline{v(x-L/2)}dx. +} +``` + +Since `F_v=2 Re f_v`, + +```math +\boxed{ +F_v'(L)+\frac12F_v(L) += +2\operatorname{Re}\int +\left(\partial_x+\frac12\right)v(x+L/2) +\overline{v(x-L/2)}dx. +} +``` + +For `supp(v) subset (-R,R)`, the integrand is automatically supported in + +```math +\mathcal C_R +=\{(x,L):0