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 diff --git a/00-uebersicht/HARD_AUDIT_SURVIVOR_STATE.md b/00-uebersicht/HARD_AUDIT_SURVIVOR_STATE.md new file mode 100644 index 00000000..8bb05083 --- /dev/null +++ b/00-uebersicht/HARD_AUDIT_SURVIVOR_STATE.md @@ -0,0 +1,370 @@ +# Objekt X — Hard-Audit Survivor State + +**Stand:** 16. September 2026 +**Rolle:** kanonische Einstiegsebene fuer den Forschungsstand dieses Astes. +**Branch:** `research/critical-half-green-tree-bridge-2026-09-13` +**PR:** #116 +**Registry:** unveraendert. +**Nonclaim:** kein RH-Beweis, kein Object-X-Abschluss, kein Publikationsneuheitsclaim. + +> Diese Datei ist Navigation, kein neuer Beweis. Bei Konflikten gilt der verlinkte Primaeraudit im dort ausgewiesenen Scope. + +--- + +## 0. Ein-Satz-Stand + +Nach destruktivem Gegencheck bleibt als einzige ernsthafte Object-X-Front: + +```text +relative cancellation first, Critical-half output second +``` + +Prime- und Continuum-Zustaende muessen zuerst auf der sicheren Root-Skala `Lambda(n)/n` relativ gekoppelt werden; eine getrennte diagonale Anhebung auf die Weil-Skala `Lambda(n)/sqrt(n)` ist unbeschraenkt und ausgeschlossen. Ein erfolgreicher Kandidat muss die relative Ausloeschung intern vollziehen und erst den endlichen relativen Boundary-Output durch den Critical-half-Port fuehren. + +--- + +# 1. Was nach dem Hard Audit steht + +## S1 — NULLPOL = Critical-half Green-Range `✓[M]` + +```math +C_c^\infty(-a,a)\cap\ker M(0)\cap\ker M(1) += +(-\partial_x^2+1/4)C_c^\infty(-a,a). +``` + +Green-Kern: + +```math +G_{1/2}(x,y)=e^{-|x-y|/2}. +``` + +Die zwei Mellinbedingungen loeschen exakt die beiden aeusseren Green-Schwanzladungen. + +Primaerquelle: `audits/P11_CRITICAL_HALF_GREEN_TREE_BRIDGE_2026-09-13.md`. + +## S2 — P11 Prime-Power-Ledger = sampled Critical-half OU/AR(1) `✓[M]` + +Nach Weil-Diagonalnormalisierung: + +```math +R_q(j,k)=q^{|j-k|},\qquad q=p^{-1/2}. +``` + +Hub + Innovationen ergeben den stationaeren AR(1)-Kern. Dies ist eine Aussage ueber den Kanalindex-Ledger, nicht automatisch ueber den vollen raeumlichen P11-Operator. + +Primaerquelle: `audits/P11_CRITICAL_HALF_GREEN_TREE_BRIDGE_2026-09-13.md`. + +## S3 — P11-Masken = stopped OU filtration `✓[M]` + +Mit + +```math +L_R(x)=2(R-|x|),\qquad +m_p(x)=\lfloor L_R(x)/\log p\rfloor +``` + +ist die lokale normalisierte Kovarianz + +```math +R_q^{(m)}(j,k)=q^{j+k-2\min(j,k,m)}. +``` + +Jedes Tiefeninkrement ist positiv Rang eins. + +Universeller Kernel: + +```math +G_L(s,t)=\exp(-(s+t)/2+\min(s,t,L)). +``` + +P11 ist dessen logarithmische Gitterabtastung. + +Primaerquellen: `audits/P11_SPATIAL_STOPPED_OU_FILTRATION_2026-09-15.md`, `audits/P11_UNIVERSAL_STOPPED_OU_PRECISION_2026-09-15.md`. + +## S4 — Boundary-tail shorting `✓[M]` + +Diskret: + +```math +Y_m=\sqrt{1-q^2}\sum_{k\ge m}q^{k-m}X_k +``` + +und + +```math +\sum_{r=1}^{m-1}\frac{\|Y_r-qY_{r+1}\|^2}{1-q^2}+\|Y_m\|^2 += +\sum_{r0`: + +```math +0\preceq A_h\preceq A_0. +``` + +Auf Transferniveau existiert daher ein kanonischer lokaler Schur-Faktor + +```math +b_h=\Phi_h b_0, +\qquad \|\Phi_h\|_{H^\infty(\Re s>0)}\le1. +``` + +Lokale Prime-/Euler-Zellen sind somit passive Kontraktionen der Gamma-Grundzelle. Der globale Engpass liegt nicht mehr lokal pro Primzahl, sondern in der Skalenkopplung. + +Primaerquelle: `audits/P11_EULER_CELL_DOMINATED_BY_GAMMA_GROUND_2026-09-16.md`. + +## S11 — Root-Trace-Bilanz `✓[M]` + +P11-Rootmasse bis Tiefe `L`: + +```math +M_P(L)=\sum_{\log n=0` konvergiert der relative Zelltransfer absolut: + +```math +\gamma-\int_0^\gamma e^{-sL}dL ++ +\sum_j\left[a_je^{-sh_j}-\int_{I_j}e^{-sL}dL\right]. +``` + +Primaerquellen: `audits/P11_ROOT_MASS_MONOTONE_TRANSPORT_2026-09-16.md`, `audits/P11_ROOT_TRANSPORT_SAFE_TRANSFER_AND_CRITICAL_LIFT_FIREWALL_2026-09-16.md`. + +## S13 — Plain Critical-half lift of root storage is impossible `×[M]` + +Der Schritt + +```math +a_j=\Lambda(n_j)/n_j +\mapsto +e^{h_j/2}a_j=\Lambda(n_j)/\sqrt{n_j} +``` + +ist auf dem Root-Storage eine unbeschraenkte exponentielle Multiplikation. Fuer jedes nichtverschwindende kompakt getragene `v` gilt fuer grosse `t` + +```math +\|K_tv\|^2=2\|v\|^2, +``` + +sodass die getrennte Critical-half-Verstaerkung des Prime- bzw. Continuum-Tails divergiert. Auch endlich viele Source-Ableitungen beheben dies nicht. + +Folge: + +```text +prime/continuum cancellation MUST occur before critical amplification. +``` + +Primaerquelle: `audits/P11_ROOT_TRANSPORT_SAFE_TRANSFER_AND_CRITICAL_LIFT_FIREWALL_2026-09-16.md`. + +--- + +# 2. Was NICHT als Neuheit behauptet wird + +Nicht neu beanspruchen: + +- RH als Positive-Real/Herglotz-Kriterium fuer `xi'/xi`; +- Lagarias-Positivitaet; +- Zeta-bezogene Kontroll-/Transfer-Systeme allgemein; +- Eulerprodukt, Poisson-, OU-/AR(1)-, Green-, de-Branges-, Paley-Wiener-, Toeplitz-, Prolate-Theorie an sich; +- passive/KYP-Realisierungen an sich; +- klassische PNT-Fehlerabschaetzungen. + +Der moegliche projektspezifische Wert kann nur in der konkreten konstruktiven Glueung der bereits vorhandenen P11-/stopped-OU-/Root-Transport-/Gamma-Komponenten liegen. + +--- + +# 3. Aktueller harter Gate + +```text +RELATIVE-COLLIGATION / CANCEL-FIRST +``` + +Gesucht ist eine coefficient-free positive bzw. konservative `2x2`-relative Kolligation auf den Transportzellen `I_j`, die + +1. diskrete Prime-Power-Rootzustande und positive Continuum-Zellen koppelt; +2. deren divergent kritische Anteile intern ausloescht, solange sie noch auf der sicheren `Lambda(n)/n`-Skala liegen; +3. nur den endlichen relativen Boundary-State nach aussen gibt; +4. erst diesen Output durch den Critical-half-Port hebt; +5. die bereits fixierten lokalen Schur-Zellen `Phi_h` und Gamma-Filter benutzt; +6. keine Koeffizienten nach Sicht auf die Weilform oder Zeta-Nullen fitten darf; +7. zuerst den exakten `R=1` Prime-2 mixed witness reproduzieren muss. + +PASS: erstmals ein substantieller vorwaerts konstruierter Object-X-Mechanismus. + +FAIL: die gesamte verbliebene stopped-OU / relative-storage Architekturklasse wird geschlossen; die Survivor-Identitaeten bleiben als eigenstaendige Mathematik erhalten. + +Naechster Einstieg: `00-uebersicht/NEXT_GATE.md`. diff --git a/00-uebersicht/NEXT_GATE.md b/00-uebersicht/NEXT_GATE.md new file mode 100644 index 00000000..41eee201 --- /dev/null +++ b/00-uebersicht/NEXT_GATE.md @@ -0,0 +1,288 @@ +# Objekt X — NEXT GATE + +**Stand:** 16. September 2026 +**Gate-ID:** `RELATIVE-COLLIGATION / CANCEL-FIRST` +**Status:** `?[O]` +**Branch:** `research/critical-half-green-tree-bridge-2026-09-13` +**PR:** #116 +**Memory-layer parent:** `b3a74a7497d9c92c4dcb289d72a395b341deb727` +**Canonical memory-layer commit:** see the Git commit that contains this file; do not replace by a floating branch assumption. + +> Dies ist die einzige aktuelle Hauptfront dieses Forschungsastes. Keine neue Proxy-Suche, kein weiterer Methodenwechsel und keine Wiedereroeffnung gesperrter Klassen, solange dieser Gate nicht PASS oder FAIL erhalten hat. + +--- + +## 0. Ziel in einem Satz + +Konstruiere **vorwaerts**, coefficient-free und ohne Weil-Positivitaet/RH als Input eine positive bzw. konservative relative Kolligation, die Prime- und Continuum-Rootzustaende zuerst auf der sicheren `Lambda(n)/n`-Skala intern ausloescht und erst den endlichen relativen Boundary-Output durch den Critical-half-Port auf die Weil-Skala hebt. + +Leitregel: + +```text +RELATIVE CANCELLATION FIRST. +CRITICAL-HALF OUTPUT SECOND. +``` + +--- + +# 1. Fest vorgegebene Daten — nicht fitten + +## 1.1 Lokale Euler-/Gamma-Zellen + +Fuer `h>0`, `q=e^{-h/2}`: + +```math +A_h +=\sum_{k\ge1}h e^{-kh/2}K_{kh}^*K_{kh}, +``` + +```math +A_0 +=\int_0^\infty e^{-t/2}K_t^*K_tdt +=4D^2(D^2+1/4)^{-1}. +``` + +Bereits bewiesen: + +```math +0\preceq A_h\preceq A_0. +``` + +Daher existiert ein kanonischer lokaler Schur-Faktor + +```math +b_h=\Phi_h b_0, +\qquad \|\Phi_h\|_{H^\infty(\Re s>0)}\le1. +``` + +Diese lokale Metrik ist fix. + +## 1.2 Prime-Root-Massen + +Prime-Power-Tiefen und sichere Root-Masse: + +```math +h_j=\log n_j, +\qquad +a_j=\frac{\Lambda(n_j)}{n_j}. +``` + +## 1.3 Monotone Transportzellen + +```math +s_0=\gamma, +\qquad +s_j=\gamma+\sum_{i\le j}a_i, +``` + +```math +I_0=[0,\gamma), +\qquad +I_j=[s_{j-1},s_j), +\qquad |I_j|=a_j. +``` + +Der Transport `a_j delta_{h_j} -> 1_{I_j}(L)dL` ist fix und positiv. + +Bereits bewiesen: + +```math +\sum_j a_j\sup_{L\in I_j}|L-h_j|<\infty. +``` + +## 1.4 Relative Root-Transferfunktion + +Fuer `Re s>=0` konvergiert direkt und absolut: + +```math +\gamma-\int_0^\gamma e^{-sL}dL ++ +\sum_j\left[ + a_je^{-sh_j}-\int_{I_j}e^{-sL}dL +\right]. +``` + +Dies ist die sichere, bereits konstruierte relative Stufe. + +## 1.5 Critical-half Port + +Der endliche relative Output ist mit + +```math +J_\Delta(L) +=e^{L/2}\left(L-\gamma-\sum_{\log n Kandidatenklasse ueberlebt und wird auf weitere Witnesses/radii erweitert; +- exakt getrennt -> Class No-Go dokumentieren; +- Ausdruck nicht wohldefiniert/unbeschraenkt -> Functional-analytic No-Go dokumentieren. + +--- + +# 6. Governance + +- PR #116 bleibt Draft. +- Keine Registry-Promotion durch einen einzelnen lokalen PASS. +- Jede neue Identitaet bekommt Primaeraudit + Scope + Nonclaim. +- Jeder No-Go wird in `WHAT_NOT_TO_REOPEN.md` aufgenommen. +- `RESEARCH_STATE.yaml` muss bei Frontverschiebung aktualisiert werden. +- `HARD_AUDIT_SURVIVOR_STATE.md` bleibt die menschliche kanonische Einstiegsebene. + +--- + +# 7. Erfolgskriterium fuer den naechsten Agenten + +Ein neuer Agent soll nach Lesen dieser Datei **nicht** fragen: „Welche Methode probieren wir als Naechstes?“ + +Er soll genau eine Frage bearbeiten: + +```text +Can the canonical equal-mass Prime/continuum transport cells support a +positive 2x2 relative colligation which cancels before the Critical-half lift +and reproduces the exact R=1 Prime-2 mixed Weil pairing without fitted data? +``` + +Alles andere ist vorerst Nebenfront. diff --git a/00-uebersicht/RESEARCH_STATE.yaml b/00-uebersicht/RESEARCH_STATE.yaml new file mode 100644 index 00000000..55c5c31a --- /dev/null +++ b/00-uebersicht/RESEARCH_STATE.yaml @@ -0,0 +1,167 @@ +version: 1 +updated: 2026-09-16 +branch: research/critical-half-green-tree-bridge-2026-09-13 +pr: 116 +registry_unchanged: true +nonclaims: + - no_rh_proof + - no_object_x_completion + - no_registry_promotion + - no_publication_novelty_claim + +status_codes: + proven: "theorem-level exact identity/result in stated scope" + partial: "substantive exact reduction/bridge but not closure of the target gate" + nogo: "architecture/class excluded in stated scope" + open: "unproved current research gate" + diagnostic: "numerical or heuristic only" + +canonical_entrypoints: + human: 00-uebersicht/HARD_AUDIT_SURVIVOR_STATE.md + machine: 00-uebersicht/RESEARCH_STATE.yaml + closed_routes: 00-uebersicht/WHAT_NOT_TO_REOPEN.md + next_gate: 00-uebersicht/NEXT_GATE.md + detailed_survivor_ledger: audits/P11_HARD_AUDIT_SURVIVOR_LEDGER_2026-09-15.md + +claims: + - id: S1_NULLPOL_GREEN_RANGE + status: proven + statement: "NULLPOL on compact smooth windows equals Range(-d^2+1/4); Mellin constraints are zero exterior Green charge." + proof: audits/P11_CRITICAL_HALF_GREEN_TREE_BRIDGE_2026-09-13.md + dependencies: [] + + - id: S2_P11_AR1_LEDGER + status: proven + statement: "The windowless P11 prime-power channel ledger is the sampled Critical-half OU/AR(1) Gram with q=p^-1/2." + proof: audits/P11_CRITICAL_HALF_GREEN_TREE_BRIDGE_2026-09-13.md + firewall: "channel-index ledger only; not automatically the full spatial P11 operator" + dependencies: [] + + - id: S3_STOPPED_OU_FILTRATION + status: proven + statement: "P11 spatial masks implement a stopped OU filtration with L_R(x)=2(R-|x|) and positive rank-one depth increments." + proof: audits/P11_SPATIAL_STOPPED_OU_FILTRATION_2026-09-15.md + dependencies: [S2_P11_AR1_LEDGER] + + - id: S4_UNIVERSAL_STOPPED_KERNEL + status: proven + statement: "G_L(s,t)=exp(-(s+t)/2+min(s,t,L)) is the universal stopped Critical-half OU kernel sampled by P11." + proof: audits/P11_UNIVERSAL_STOPPED_OU_PRECISION_2026-09-15.md + dependencies: [S3_STOPPED_OU_FILTRATION] + + - id: S5_BOUNDARY_TAIL_SHORTING + status: proven + statement: "Stopped OU precision reconstructs all visible bare channels exactly and compresses the exterior tail to one normalized exponential boundary mode with positive discarded complement." + proof: audits/P11_BOUNDARY_TAIL_SHORTING_AND_UNIVERSAL_SAMPLING_2026-09-15.md + dependencies: [S4_UNIVERSAL_STOPPED_KERNEL] + + - id: S6_UNIVERSAL_JUMP_FIELD + status: proven + statement: "X_v(t)=e^-t/4 K_t v is sampled by every weighted prime channel: sqrt(w_p,k)K_klogp v=sqrt(log p) X_v(k log p)." + proof: audits/P11_BOUNDARY_TAIL_SHORTING_AND_UNIVERSAL_SAMPLING_2026-09-15.md + dependencies: [] + + - id: S7_PRIME_DISCREPANCY_CANCELLATION + status: proven + statement: "On NULLPOL the smooth prime main density cancels the Gamma ground mode; arithmetic remainder is Delta=sum Lambda(n)/sqrt(n) delta_log n - e^(t/2)dt." + proof: audits/P11_NULLPOL_PRIME_DISCREPANCY_CANCELLATION_2026-09-15.md + dependencies: [S1_NULLPOL_GREEN_RANGE] + + - id: S8_CRITICAL_FINITE_PART_TRANSFER + status: proven + statement: "J_Delta(L)=e^(L/2)(L-gamma-sum_{log n0, 0 <= A_h <= A_0 where A_h is the complete Euler/AR(1) cell and A_0 the Gamma ground operator; equivalently b_h=Phi_h b_0 with Phi_h Schur." + proof: audits/P11_EULER_CELL_DOMINATED_BY_GAMMA_GROUND_2026-09-16.md + dependencies: [S10_EULER_AR1_RESOLVENT] + consequence: "local prime-cell storage solved; global scale coupling remains" + + - id: S12_ROOT_TRACE_BALANCE + status: proven + statement: "e^-L/2 J_Delta(L)=M_R(L)+M_Gamma0(L)-M_P(L)-gamma, with M_P(L)=sum_{log n Diese Datei schliesst nur die angegebenen Klassen im angegebenen Scope. Sie ist kein universelles Object-X-No-Go. + +--- + +## 1. Pointwise scattering positivity — GESPERRT `×[M]` + +Nicht erneut versuchen: + +```math +\tau_a(z)=|B_a(z)|^2 +``` + +oder irgendeine Architektur, deren Positivitaet punktweise `tau_a(z)>=0` auf der ganzen reellen Achse verlangt. + +Grund: + +```math +\tau_a(0)<0, +\qquad +\tau_a(z)\to+\infty. +``` + +Primaerquelle: `audits/P11_SCATTERING_POINTWISE_POSITIVITY_NOGO_2026-09-13.md`. + +Erlaubt bleibt: nichtlokale Paley-Wiener-/Boundary-/Storage-Kompression. + +--- + +## 2. Direkte primeweise P11 -> COMMON-JUMP Kontraktion — GESPERRT `×[M]` + +Nicht erneut versuchen, den P11-Innovationstail pro Primzahl direkt kontraktiv oder reverse-kontraktiv mit den nackten Jump-Kanaelen zu identifizieren. + +Auf dem tatsaechlichen translation-generated Kanalbereich expandiert der P11-Tail niedrige Frequenzen und kontrahiert andere Richtungen. Es existiert keine einheitliche Ordnung in einer der beiden Richtungen. + +Primaerquelle: `audits/P11_PRIMEWISE_INNOVATION_SHORTING_NOGO_2026-09-15.md`. + +Erlaubt bleibt: covariance/precision duality und relative global coupling. + +--- + +## 3. Scalar Hub repair — GESPERRT `×[M]` + +Nicht erneut versuchen, den gestoppten Taildefekt nur durch einen skalar gewichteten Root-/Hub-Term zu reparieren. + +Nach Stopp bleibt ein hoeher-/unendlich-rangiger Exterior-Defekt; ein Rang-1-Rootterm kann diesen universell nicht korrigieren. + +Primaerquelle: `audits/P11_PRIMEWISE_INNOVATION_SHORTING_NOGO_2026-09-15.md`. + +--- + +## 4. Common-depth OU embedding + ordinary orthogonal shorting — GESPERRT `×[M]` + +Nicht Prime- und Riemann-R-Continuum-Zellen nur als Vektoren im selben `L^2(dt)` einbetten und anschliessend den Continuum-Block orthogonal herausschurten. + +Die Continuum-Zellen sind bereits total im gemeinsamen Tiefenraum; das Shorting entfernt die diskrete arithmetische Seite vollstaendig. + +Primaerquelle: `audits/P11_COMMON_DEPTH_SHORTING_TOTALITY_NOGO_2026-09-15.md`. + +Erlaubt bleibt: Kopplungen, die die Skalenvariable `h`, Overlap-Cone-Inzidenz oder relative Boundary-Daten erhalten. + +--- + +## 5. Ordinary passive cascade of normalized Euler cells — GESPERRT `×[M]` + +Nicht die lokalen Schur-Zellen einfach ueber alle Primzahlen als gewoehnliche passive Kaskade multiplizieren. + +Fuer festes reelles `s>0` kollabiert das Produkt auf null; der Cayley-Transfer wird trivial und verliert die Arithmetik. + +Primaerquelle: `audits/P11_PASSIVE_EULER_CASCADE_COLLAPSE_NOGO_2026-09-15.md`. + +Erlaubt bleibt: relative diskret/continuum Renormierung innerhalb eines groesseren konservativen Systems. + +--- + +## 6. Local positive finite-part Hamiltonian by common scalar subtraction — GESPERRT `×[M]` + +Nicht Prime- und Continuum-Hamiltonians lokal positiv addieren und danach nur einen gemeinsamen divergenten Skalar abziehen, um einen endlichen positiven kritischen Hamiltonian zu erhalten. + +Der renormierte Eigenwert enthaelt `J_Delta(L)` und ist bereits bei `L=0` negativ: + +```math +J_\Delta(0)=-\gamma<0. +``` + +Primaerquelle: `audits/P11_CRITICAL_RATE_LOCAL_RENORMALIZATION_NOGO_2026-09-15.md`. + +Erlaubt bleibt: relative Rand-/Transfer-/Spektralverschiebung in einem unrenormiert positiven Elternsystem. + +--- + +## 7. Static higher-Gamma frame repair — GESPERRT `×[M]` + +Nicht argumentieren: + +```text +P11 behaelt den OU-Grundmodus; +hoehere Gamma-Moden sind dicht; +also kontrollieren sie den verlorenen Tail uniform. +``` + +Die hoeheren Gamma-Exponentialmoden sind zwar total/dicht im passenden Tailkomplement, besitzen aber keine radiusuniforme untere Frame-Schranke. Nach aussen verschobene Einheitsvektoren haben verschwindende Gamma-Koeffizienten. + +Primaerquelle: `audits/P11_GAMMA_TAIL_FRAME_NOGO_2026-09-15.md`. + +--- + +## 8. Separate Critical-half amplification of Prime and Continuum — GESPERRT `×[M]` + +Dies ist die wichtigste aktuelle Firewall. + +Nicht zuerst den diskreten Root-Storage und den Continuum-Root-Storage getrennt von + +```math +\Lambda(n)/n +``` + +auf + +```math +\Lambda(n)/\sqrt n +``` + +anheben und erst danach subtrahieren. + +Die notwendige Energieverstarkung ist `e^{L/2}` und auf dem plain Root-Storage unbeschraenkt. Fuer nichtverschwindende kompakte Sources wird der grosse-Tail nach der kritischen Verstarkung konstant statt integrierbar. + +Primaerquelle: `audits/P11_ROOT_TRANSPORT_SAFE_TRANSFER_AND_CRITICAL_LIFT_FIREWALL_2026-09-16.md`. + +Verbindliche Folgerung: + +```text +CANCEL FIRST, CRITICAL-LIFT SECOND. +``` + +--- + +## 9. Fixed-window prolate as all-window strategy — DEMOTED + +Die shorted Paley-Wiener-/Prolate-Reduktion und das Trace-minus-Ritz-Lemma bleiben korrekt und nuetzlich als fixed-window Zertifikationswerkzeug. + +Nicht mehr als skalierbare globale Hauptstrategie behandeln: die relevante time-band-limiting Region waechst extrem stark mit dem Fenster und reproduziert eine bekannte lokale-Zertifikationsbarriere. + +Primaerquellen: + +- `audits/P11_NP_GAP_PROLATE_COMPRESSION_2026-09-13.md` +- `audits/P11_NP_PROLATE_TRACE_RITZ_CERTIFICATE_2026-09-13.md` +- `audits/P11_HARD_AUDIT_ERRATA_AND_PROLATE_BARRIER_2026-09-15.md` + +--- + +## 10. Old orbit-chain exact formula — KORRIGIERT + +Nicht mehr schreiben + +```math +N(t)=\lfloor L/t\rfloor+1 +``` + +als exakte wesentliche maximale Kettenlaenge an ganzzahligen Verhaeltnissen `L/t`. + +Korrekt ist die wesentliche maximale Kettenlaenge + +```math +N(t)=\lceil L/t\rceil +``` + +mit der ueblichen Randmengen-Firewall. Die alte daraus abgeleitete Lower-Bound war konservativ, aber die Exaktheitsbehauptung war falsch. + +Primaerquelle: `audits/P11_HARD_AUDIT_ERRATA_AND_PROLATE_BARRIER_2026-09-15.md`. + +--- + +## 11. Zeugen-Koinzidenzen nicht verallgemeinern + +Nicht erneut aus einer einzigen Prime-2-Kalibration freie universelle Koeffizienten ableiten. Insbesondere die gefundene `1/4`-Hub-Korrektur am einzelnen Zeugen war eine Koinzidenz und scheitert als Operatorgesetz. + +Regel: + +```text +kein freier Koeffizient darf nach Sicht auf den Prime-2 witness angepasst werden. +``` + +--- + +## 12. Bekannte Theorie nicht als Projektneuheit verkaufen + +Nicht als Neuheit beanspruchen: + +- `xi'/xi` als Positive-Real/Herglotz RH-Kriterium; +- Lagarias-Positivitaet; +- Zeta-Transfer-/Kontrolltheorie allgemein; +- Eulerprodukt als Determinanten-/Resolventensprache; +- OU/AR(1), Green-, Poisson-, de-Branges-, Paley-Wiener-, Toeplitz-, Prolate- oder KYP-Theorie an sich; +- klassische PNT-Fehlerabschaetzungen. + +Der moegliche Projektbeitrag kann nur in einer neuen, korrekt auditierten Glueung der konkreten P11-/Overlap-Cone-/Root-Transport-/Gamma-Komponenten liegen. + +--- + +# Reopen-Protokoll + +Eine gesperrte Klasse darf nur reaktiviert werden, wenn eine neue Konstruktion schriftlich beantwortet: + +1. Welcher konkrete No-Go oben wird umgangen? +2. Welche neue Hypothese/Struktur war dort nicht enthalten? +3. Warum ist es nicht nur eine Umparametrisierung derselben gescheiterten Klasse? +4. Welcher vorab festgelegte destruktive Test kann die neue Variante falsifizieren? + +Ohne diese vier Punkte: **nicht reopen**. diff --git a/CURRENT-FRONT.md b/CURRENT-FRONT.md index 4647dadf..f356cbee 100644 --- a/CURRENT-FRONT.md +++ b/CURRENT-FRONT.md @@ -1,218 +1,442 @@ -# CURRENT FRONT — Objekt X / NULLPOL-COMMON → NP-GAP +# CURRENT FRONT — Objekt X / CRITICAL-HALF SCATTERING → 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). +> **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 +\mathcal X_av= +\left([t\mapsto K_tv], +[\sqrt{w_n}K_{\log n}v]_{\log n\le2a}\right) +``` + +gilt fuer jedes `a>0` ```math -E_-(v)=M(v)(0),\qquad E_+(v)=M(v)(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, +``` + +wobei + +```math +\Gamma_a +=2\sum_{\log n\le2a}\frac{\Lambda(n)}{\sqrt n} ++\kappa_*, +\qquad +\kappa_*=\log\pi-\psi(1/4). ``` Auf ```math -\mathscr D_{NP}=\ker M(0)\cap\ker M(1) +\mathscr D_{NP} +=\ker M(0)\cap\ker M(1) +``` + +verschwindet der Polblock und + +```math +\boxed{Q_W|_{NP}=\mathcal X_a^*\mathcal X_a-\Gamma_aI.} ``` -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. +Die Familie aller Fenster ist global RH-aequivalent; fixed-`a` wird nicht als RH-aequivalent behauptet. -## 2. Der gemeinsame Prime-/archimedische Kanal `✓[M]` +--- -Setze für `t>0` +## 2. Ein einziger Critical-half Quellenoperator `✓[M]` + +Setze ```math -\boxed{K_t:=T_{t/2}-T_{-t/2}.} +\boxed{ +L_{1/2}:=-\partial_x^2+\frac14. +} ``` -Dann +Sein Green-Kern auf `R` ist ```math -K_t^*K_t=2I-T_t-T_{-t}. +\boxed{G_{1/2}(x,y)=e^{-|x-y|/2}.} ``` -Die archimedische positive Dichte ist +Fuer jedes `a>0` gilt exakt ```math \boxed{ -h(t)=\frac{e^{-t/2}}{1-e^{-2t}} -=\frac{e^{t/2}}{e^t-e^{-t}}>0. +C_c^\infty(-a,a)\cap\ker M(0)\cap\ker M(1) +=L_{1/2}C_c^\infty(-a,a). } ``` -Die Prime-Power-Gewichte sind +Die Nullpolbedingungen sind genau die Bedingungen, welche die beiden exponentiellen Aussenschwaenze des Green-Inversen vernichten. Damit wird NP-GAP durch ```math -w_n=\frac{\Lambda(n)}{\sqrt n}. +v=L_{1/2}u, +\qquad u\in C_c^\infty(-a,a) ``` -Für `supp(v),supp(w) subset [-a,a]` sei +zu einer momentfreien Coercivity-Frage. + +--- + +## 3. Pole = orientierter Außen-Transfer desselben Green-Kerns `✓[M]` + +Definiere ```math -\mathcal P_a=\{n=p^k:\log n\le2a\}. +E_+(f)=\int e^{x/2}f(x)dx, +\qquad +E_-(f)=\int e^{-x/2}f(x)dx. ``` -Definiere die positive gemischte Maßstruktur +Sind die Traeger getrennt und liegt `f` links von `g`, dann ```math \boxed{ -\mu_a=h(t)dt+\sum_{n\in\mathcal P_a}w_n\delta_{\log n}. +\langle f,G_{1/2}g\rangle +=E_+(f)\overline{E_-(g)}. } ``` -**Archimedes = kontinuierlicher Teil, Primzahlpotenzen = atomarer Teil desselben `K_t`-Features.** +In umgekehrter Orientierung: -## 3. Positive Featureabbildung `✓[M]` +```math +\boxed{ +\langle f,G_{1/2}g\rangle +=E_-(f)\overline{E_+(g)}. +} +``` -Ein natürlicher Hilbert-Zielraum ist +Dies sind exakt die beiden Off-Diagonal-Amplituden des bisherigen Pole-pairings ```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\mathcal Ef,P\mathcal Eg\rangle. ``` -Setze +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 +x_{p,k}=k\log p +``` + +gibt es explizite Einheitsfeatures `Phi` mit ```math \boxed{ -\mathcal X_av= -\left( -[t\mapsto K_tv], -[\sqrt{w_n}K_{\log n}v]_{n\in\mathcal P_a} -\right). +\langle\Phi_\alpha,\Phi_\beta\rangle +=e^{-d(\alpha,\beta)/2}. } ``` -Dann +Auf demselben Primast: + +```math +p^{-|j-k|/2} +=e^{-\frac12|j-k|\log p}, +``` + +also exakt der aus P11 bekannte AR(1)-Kern. Nach Weil-Gewichtung + +```math +\Psi_{p,k}=\sqrt{(\log p)p^{-k/2}}\,\Phi_{p,k\log p} +``` + +reproduziert der Gram den gesamten fensterlosen P11-Hub+Rest-Kanalindex-Ledger, inklusive cross-prime Root-Korrelation. + +Die bereits bekannte Faktorisierung + +```math +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-Operatorgeometrie bleiben notwendig. + +--- + +## 5. Critical-half rigidity `✓[M]` + +In der normierten OU-Familie + +```math +\langle\Phi^{(\sigma)}_\alpha, +\Phi^{(\sigma)}_\beta\rangle=e^{-\sigma d(\alpha,\beta)} +``` + +hat die gewichtete Prime-Rootamplitude den Exponenten + +```math +\beta(\sigma)=\frac14+\sigma. +``` + +P11 erzwingt unabhaengig `beta=3/4`; daher + +```math +\boxed{\sigma=1/2.} +``` + +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. + +--- + +## 6. Gamma-Schicht = positive Resolventenleiter desselben Grundoperators `✓[M]` + +Aus + +```math +h(t)=\sum_{m\ge0}e^{-\mu_mt}, +\qquad +\mu_m=2m+\frac12 +``` + +folgt ```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. +\Phi_\infty(D) +=\sum_{m\ge0} +\frac{2}{\mu_m}D^2(D^2+\mu_m^2)^{-1}. +} +``` + +Der Grundmodus ist + +```math +\mu_0=1/2, +\qquad +D^2+\mu_0^2=L_{1/2}. +``` + +Nach dem Source-Lift `v=L_{1/2}u` wird dieser Grundmodus rein lokal: + +```math +\boxed{ +4\|u''\|_2^2+\|u'\|_2^2. } ``` -Diese Form ist vorwärts konstruiert und positiv; keine Weil-Positivität und keine RH-Annahme gehen ein. +Der einfache Schur-Test der Resolventenleiter liefert ausserdem einen vorwaerts bewiesenen kleinen NP-GAP-Bereich `00`**, gilt exakt +```math +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). +``` + +Der komplette zentrierte Weil-Beitrag des `p`-Power-Turms ist daher ```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, +-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]. } ``` -mit +`P_q^D` ist exakt das Toeplitz-Symbol des P11-AR(1)-Kerns `q^{|j-k|}`. + +Die unendliche Potenzergänzung ist auf einem kompakten Fenster formexakt: fuer `k log p>2a` 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=\begin{pmatrix}0&1\\1&0\end{pmatrix}. +P_y^{\mathbb H}(x)=\frac1\pi\frac{y}{x^2+y^2} ``` -Auf Nullpol: +gilt ```math \boxed{ -Q_W(v,w) -= -\langle\mathcal X_av,\mathcal X_aw\rangle -- -\Gamma_a\langle v,w\rangle. +A_m(z)-\frac2{\mu_m} +=-2\pi P_{\mu_m}^{\mathbb H}(z). } ``` -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. +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 +S_p(z) += +\frac{1-p^{-1/2}e^{iz\log p}} + {1-p^{-1/2}e^{-iz\log p}}, +``` + +und archimedisch -## 6. Fourier-Gegencheck +```math +S_\infty(z) += +\pi^{-iz} +\frac{\Gamma(1/4+iz/2)} + {\Gamma(1/4-iz/2)}. +``` -Die positive Featureform hat Symbol +Fuer reelles `z` sind alle diese Faktoren unitär. Es gilt exakt ```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 +-i\overline{S_p}S_p' +=(\log p) +\left[1-P_{p^{-1/2}}^{\mathbb D}(z\log p)\right], ``` -für reelles `z`. Nach Abzug von `Gamma_a` erhält man exakt den nichtpolaren Suzuki-/Weil-Multiplikator. +```math +-i\overline{S_\infty}S_\infty' += +\operatorname{Re}\psi\left(\frac14+\frac{iz}{2}\right)-\log\pi. +``` -## 7. Cutoff-Gauge jetzt geometrisiert `✓[M]` +Fuer -Für `00` und jede glatte Nullpol-Testfunktion mit Träger in `[-a,a]`. +fuer jedes `a>0` und jedes Nullpol-`v` in `[-a,a]`. -Äquivalent: +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. ``` -**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. +### Bevorzugter naechster Gate -## 9. Strategische Statusänderung +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 -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] +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. +``` + +Keine rueckwaerts aus fertiger Weil-Positivitaet definierte Dilation ist zulaessig. Ein enger Klassen-No-Go zaehlt ebenfalls als Fortschritt. + +--- + +## 13. Status / Firewalls + +```text +COMMON-JUMP exact all-a normal form ✓[M] +NULLPOL = Range(L_{1/2}) ✓[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 NULLPOL frame/spectral gap ?[O] +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 +- `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. diff --git a/OFFENE_PROBLEME.md b/OFFENE_PROBLEME.md index b7793a23..b2541779 100644 --- a/OFFENE_PROBLEME.md +++ b/OFFENE_PROBLEME.md @@ -1,69 +1,223 @@ -# Offene Probleme — COMMON-JUMP / 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), [Roadmap](00-uebersicht/FORSCHUNGS_ROADMAP_AKTUELL.md), [DAG](00-uebersicht/DAG.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` ist nicht mehr als separater Generatorblock offen. Zusammen mit dem logarithmischen archimedischen Anteil wird er vom kontinuierlichen positiven Kanal +Die exakte COMMON-JUMP-Normalform ist ```math -K_t=T_{t/2}-T_{-t/2}, +Q_W(v,w) +=\langle Ev,PEw\rangle ++\langle X_av,X_aw\rangle +-\Gamma_a\langle v,w\rangle, +``` + +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.} +``` + +### `[CRIT-HALF-RANGE]` — `✓[M]` + +```math +L_{1/2}=-\partial_x^2+1/4, \qquad -h(t)dt=\frac{e^{-t/2}}{1-e^{-2t}}dt +L_{1/2}^{-1}(x,y)=e^{-|x-y|/2}, +``` + +und fuer jedes Fenster + +```math +\boxed{ +C_c^\infty(-a,a)\cap\ker M(0)\cap\ker M(1) +=L_{1/2}C_c^\infty(-a,a). +} ``` -erzeugt. +NULLPOL ist exakt die support-erhaltende Range dieses Operators. + +### `[CRIT-HALF-POLE]` — `✓[M]` -### `[NP-COMMON]` — `✓[M]` +Auf getrennten Traegern faktorisiert derselbe Green-Kern in die beiden Pole-Randladungen: + +```math +\langle f,G_{1/2}g\rangle +=E_+(f)\overline{E_-(g)} +``` -Archimedischer Ort und Primzahlpotenzen liegen in derselben positiven Hilbert-Geometrie: +oder in umgekehrter Orientierung ```math -\mu_a=h(t)dt+ -\sum_{\log n\le2a}\frac{\Lambda(n)}{\sqrt n}\delta_{\log n}. +\langle f,G_{1/2}g\rangle +=E_-(f)\overline{E_+(g)}. ``` -Die Featureform ist `X_a^*X_a>=0`. +Die OX-GEN-A-Pole-Amplituden sind somit Außen-Transferdaten desselben Critical-half-Propagators. -### `[NP-SCALAR-GAUGE]` — `✓[M]` +### `[CRIT-HALF-TREE]` und `[CRIT-HALF-RIGIDITY]` — `✓[M]` + +Der P11-AR(1)-Kern ```math -\Gamma_a -=2\sum_{\log n\le2a}\frac{\Lambda(n)}{\sqrt n} -+\log\pi-\psi(1/4). +p^{-|j-k|/2} ``` -Neue Außen-Prime-Atome erhöhen `X_a^*X_a` und `Gamma_a I` exakt gleich. Gaugeinvariant ist die zentrierte Paarung +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 -X_a^*X_a-\Gamma_aI. +sigma=1/2, ``` -### `[COMMON-JUMP-NORMAL-FORM]` — `✓[M]` +dieselbe Skala wie NULLPOL und der Gamma-Grundmodus. + +### `[NP-GAP-LIFT]` — `✓[M]` -Für alle `a>0`: +Jedes Nullpol-`v` ist eindeutig ```math -Q_W(v,w) -=\langle Ev,PEw\rangle -+\langle X_av,X_aw\rangle --\Gamma_a\langle v,w\rangle. +v=L_{1/2}u, +\qquad +u\in C_c^\infty(-a,a). ``` -Auf Nullpol: +Damit ist NP-GAP eine momentfreie Coercivity-Frage. + +### `[GAMMA-RESOLVENT]` — `✓[M]` ```math -\boxed{Q_W|_{NP}=X_a^*X_a-\Gamma_aI.} +\Phi_\infty(D) +=\sum_{m\ge0}\frac2{\mu_m}D^2(D^2+\mu_m^2)^{-1}, +\qquad +\mu_m=2m+1/2. +``` + +Der Grundmodus ist exakt `L_{1/2}`. Ein direkter Schur-Test liefert als Mechanismus-Zertifikat NP-GAP fuer `00`. -### `[NP-GAP-A]` support-erhaltende Momentfaktorisierung +Fuer die Familie aller Fenster ist dies die verbleibende RH-aequivalente Lower-Frame-/Spektralgap-Frage. -Nutze die Nullpolbedingungen als +## `[NP-GAP-A]` Source-lift coercivity — Default analytischer Angriff + +Nutze ```math -\widehat v(i/2)=\widehat v(-i/2)=0 +v=L_{1/2}u ``` -und untersuche die Faktorisierung +vollstaendig aus: + +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-SCATTER]` positive conservative scattering dilation — neuer bevorzugter Struktur-Gate + +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 -v=Q_0u, -\qquad -Q_0=-d^2/dx^2+1/4, +-iS_a^*S_a' ``` -mit gleichem kompaktem Trägerscope. +liefert. + +Zulaessige Ausgangsdaten: + +```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. +``` -Ziel: echte coercivity von `X_a^*X_a` auf `Ran Q_0`, oder ein enger No-Go gegen diese Methode. +Nicht zulaessig ist eine Dilation, die aus fertiger Weil-Positivitaet oder aus dem gewuenschten Bound rueckwaerts definiert wird. -### `[NP-GAP-B]` Fourier-/Paley-Wiener +## `[NP-SCATTER-NOGO]` naive positivity classes eliminieren -Arbeite mit +Vor einem globalen Konstruktionsversuch sollen enge No-Go-Klassen geprueft werden: -```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)). -``` +- 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. -Die Schwierigkeit ist nicht `Phi_a>=0`, sondern die scharfe Untergrenze auf Funktionen mit den komplexen Nullbedingungen `z=±i/2`. +Ein theorem-level No-Go gegen eine solche Klasse ist echter Fortschritt. -### `[NP-GAP-C]` nonlocal Poincare / frame mechanism +## `[NP-HARDY/DB]` Hardy-/Blaschke-/de-Branges-Route nur vorwaerts -Teste nur vorab definierte, nichtzirkuläre Mechanismen: +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. -- 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. +Firewall: keine bekannte RH-aequivalente de-Branges-Bedingung einfach umbenennen und als Fortschritt ausgeben. --- -## Danach +## Kanonische Architektur nach diesem Durchlauf ```text -NP-GAP - | - 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 für alle `a` wäre daher bereits RH. Hier ist besondere Zirkularitätskontrolle 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; -- 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 +- `-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; +- NP-GAP, full Object X oder RH seien bewiesen. diff --git a/audits/P11_AR1_TO_GAMMA_GRAPH_NORM_RATE_2026-09-15.md b/audits/P11_AR1_TO_GAMMA_GRAPH_NORM_RATE_2026-09-15.md new file mode 100644 index 00000000..24fd2e6a --- /dev/null +++ b/audits/P11_AR1_TO_GAMMA_GRAPH_NORM_RATE_2026-09-15.md @@ -0,0 +1,119 @@ +# P11 Audit — Graph-norm rate for the AR(1)-to-Gamma cell limit + +**Datum:** 15. September 2026 + +## Result + +For `mu>0`, + +```math +A_{h,\mu} +=h\sum_{k\ge1}e^{-\mu kh}K_{kh}^*K_{kh}, +``` + +and + +```math +A_{0,\mu} +=\int_0^\infty e^{-\mu t}K_t^*K_tdt +=\frac2\mu D^2(D^2+\mu^2)^{-1}. +``` + +Although + +```math +\|A_{h,\mu}-A_{0,\mu}\|=2/\mu +``` + +for every `h>0`, one has the quantitative graph-norm estimate + +```math +\boxed{ +\|(A_{h,\mu}-A_{0,\mu})(1+D^2)^{-1/2}\| +\le\left(4+\frac2\mu\right)h. +} +``` + +In particular, for the Critical-half ground mode `mu=1/2`, + +```math +\boxed{ +\|(A_{h,1/2}-A_{0,1/2})(1+D^2)^{-1/2}\| +\le8h. +} +``` + +Thus the failure of bare `L^2` norm convergence is purely a high-frequency aliasing obstruction; after paying one derivative, the discrete-to-archimedean cell transition is operator-norm continuous with linear rate. + +**Status:** `✓[M]`. + +--- + +## Proof + +At Fourier frequency `z`, define + +```math +f_z(t)=2e^{-\mu t}(1-\cos zt). +``` + +Then the multipliers are + +```math +a_{h,\mu}(z)=h\sum_{k\ge1}f_z(kh), +\qquad +a_{0,\mu}(z)=\int_0^\infty f_z(t)dt. +``` + +For an absolutely continuous function with `f_z(0)=0`, the right-Riemann-sum error satisfies + +```math +\left|h\sum_{k\ge1}f_z(kh)-\int_0^\infty f_z(t)dt\right| +\le h\int_0^\infty|f_z'(t)|dt. +``` + +Indeed, on each interval `((k-1)h,kh]`, integrate + +```math +|f_z(kh)-f_z(t)| +\le\int_t^{kh}|f_z'(u)|du +``` + +and sum. + +Now + +```math +f_z'(t) +=-2\mu e^{-\mu t}(1-\cos zt) ++2z e^{-\mu t}\sin zt, +``` + +so + +```math +\int_0^\infty|f_z'(t)|dt +\le4+\frac{2|z|}{\mu}. +``` + +Hence + +```math +\frac{|a_{h,\mu}(z)-a_{0,\mu}(z)|} +{\sqrt{1+z^2}} +\le h\left( +\frac4{\sqrt{1+z^2}} ++\frac{2|z|}{\mu\sqrt{1+z^2}} +\right) +\le h\left(4+\frac2\mu\right). +``` + +Taking the essential supremum proves the claim. + +--- + +## Interpretation + +The strong-but-not-norm cell limit and the earlier Strong-Terminal behavior have the same geometry: raw `L^2` permits arbitrarily high-frequency vectors tuned to the lattice aliasing, whereas every fixed smooth source pays a derivative and sees a stable limit. + +This estimate does not prove any Weil positivity. It only hardens the finite-place/archimedean gluing topology and shows that the archimedean boundary is quantitatively accessible in natural graph norms. diff --git a/audits/P11_ARCHIMEDEAN_AS_STRONG_H0_CELL_LIMIT_2026-09-15.md b/audits/P11_ARCHIMEDEAN_AS_STRONG_H0_CELL_LIMIT_2026-09-15.md new file mode 100644 index 00000000..580d20e5 --- /dev/null +++ b/audits/P11_ARCHIMEDEAN_AS_STRONG_H0_CELL_LIMIT_2026-09-15.md @@ -0,0 +1,198 @@ +# P11 Audit — Archimedean ground as the strong h=0 cell limit + +**Datum:** 15. September 2026 + +## 0. Result + +For `h>0`, put `q=e^{-h/2}` and + +```math +A_h:=B_h^*B_h +=\sum_{k\ge1}h e^{-kh/2}K_{kh}^*K_{kh}. +``` + +Then + +```math +\boxed{ +A_h\xrightarrow[h\downarrow0]{\rm strong} +A_0:=\int_0^\infty e^{-t/2}K_t^*K_tdt +=4D^2(D^2+1/4)^{-1}. +} +``` + +Thus `A_0` is exactly the Gamma ground mode. + +However the convergence is maximally non-uniform: + +```math +\boxed{\|A_h-A_0\|=4\quad\text{for every }h>0.} +``` + +So the archimedean ground is a genuine strong boundary point of the same Euler/AR(1) cell family, but never an operator-norm limit. + +**Status:** `✓[M]`. + +--- + +## 1. Multipliers + +Let `z` denote Fourier frequency. Since + +```math +A_h=\sum_{k\ge1}h q^kK_{kh}^*K_{kh}, +``` + +its multiplier is + +```math +\boxed{ +a_h(z) +=h\left[ +\frac{1+q}{1-q}-P_q(zh) +\right], +} +``` + +where + +```math +P_q(\theta)=\frac{1-q^2}{1-2q\cos\theta+q^2} +``` + +is the disk Poisson kernel. + +For fixed `z`, Taylor expansion at `h=0` gives + +```math +P_{e^{-h/2}}(zh) +=\frac1{h(z^2+1/4)}+O(1), +``` + +and + +```math +h\frac{1+q}{1-q}=4+O(h^2). +``` + +Hence + +```math +\boxed{ +a_h(z)\to +4-\frac1{z^2+1/4} +=\frac{4z^2}{z^2+1/4} +=:a_0(z).} +``` + +This is exactly the multiplier of the `mu_0=1/2` Gamma resolvent mode. + +--- + +## 2. Uniform domination and strong convergence + +The Poisson kernel satisfies + +```math +\frac{1-q}{1+q}\le P_q(\theta)\le\frac{1+q}{1-q}. +``` + +Therefore + +```math +0\le a_h(z) +\le h\left[ +\frac{1+q}{1-q}-\frac{1-q}{1+q} +\right] +=\frac{4hq}{1-q^2} +=\frac{2h}{\sinh(h/2)}<4. +``` + +Also `0<=a_0(z)<4`. Pointwise convergence plus bounded dominated convergence yields + +```math +\|(A_h-A_0)v\|_2\to0 +``` + +for every `v in L^2(R)`. + +--- + +## 3. Exact norm failure by aliasing + +At every alias frequency + +```math +z_n=\frac{2\pi n}{h}, +``` + +one has `P_q(z_nh)=(1+q)/(1-q)`, hence + +```math +a_h(z_n)=0. +``` + +But + +```math +a_0(z_n)\to4 +\qquad(n\to\infty). +``` + +Thus + +```math +\|A_h-A_0\|\ge4. +``` + +The uniform bounds `0<=a_h,a_0<=4` give the reverse inequality, so + +```math +\boxed{\|A_h-A_0\|=4.} +``` + +This is an exact sampling-aliasing obstruction, not a numerical effect. + +--- + +## 4. Centered cells and the archimedean place + +The centered cell uses + +```math +c(h)=\frac{h e^{-h/2}}{1-e^{-h/2}}\to2, +``` + +so for every fixed source + +```math +C_v(h)=\langle v,A_hv\rangle-2c(h)\|v\|^2 +``` + +has the strong boundary value + +```math +\boxed{ +C_v(0) +=\langle v,A_0v\rangle-4\|v\|^2. +} +``` + +On NULLPOL the complete Weil form can therefore be written + +```math +\boxed{ +Q_W(v) +=C_v(0)+\sum_pC_v(\log p) ++E_{Gamma,>=1}(v) +-(\kappa_*-4)\|v\|^2. +} +``` + +The scale set `h=0` together with `h=log p` thus treats the Gamma ground and finite prime places as one strong cell family. + +--- + +## 5. Interpretation firewall + +This is not an adelic proof and not an Object-X completion. The lack of norm continuity is essential: high-frequency aliasing prevents any uniform cell-limit argument. Any global construction must therefore use a strong/source-local topology or an additional smoothing/storage mechanism. 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. diff --git a/audits/P11_BULK_TRACE_GATE_CURRENT_2026-09-15.md b/audits/P11_BULK_TRACE_GATE_CURRENT_2026-09-15.md new file mode 100644 index 00000000..9849039b --- /dev/null +++ b/audits/P11_BULK_TRACE_GATE_CURRENT_2026-09-15.md @@ -0,0 +1,167 @@ +# P11 / Object X — Bulk–Trace gate after Euler-cell hard audit + +**Datum:** 15. September 2026 +**Registry:** unveraendert. +**Nonclaim:** kein RH-/Object-X-Beweis, keine Publikationsneuheit. + +## 0. Current front + +The surviving local geometry is now fixed. + +Define + +```math +X_v(t)=e^{-t/4}K_tv, +\qquad +\rho(h)=R'(e^h)e^h +=\sum_{j\ge1}\frac{h^{j-1}}{j!\zeta(j+1)}. +``` + +For `m>=0`, `k>=1`, define the bulk field + +```math +\boxed{ +(\mathcal G_m v)(h,k) +=e^{-mkh}\sqrt{\frac{h}{e^{kh}-1}}X_v(kh). +} +``` + +Then the Gamma mode `mu_m=2m+1/2` is exactly + +```math +\boxed{ +\|\mathcal G_m v\|^2_{L^2(\rho(h)dh;\ell^2_k;L^2_x)} +=\int_0^\infty e^{-\mu_m t}\|K_tv\|^2dt. +} +``` + +At a prime scale `h=log p`, the ground bulk satisfies + +```math +\boxed{ +(p^k-1)\|\mathcal G_0v(\log p,k)\|^2 +=\frac{\log p}{p^{k/2}}\|K_{k\log p}v\|^2. +} +``` + +Hence: + +```text +Gamma positive layer = continuum bulk norm; +Prime positive layer = weighted atomic trace of the same ground bulk field. +``` + +The P11 multiplicity `p^k-1` is exactly the trace multiplicity. + +This is the current exact common geometry. + +--- + +## 1. Equivalent OU interpretation + +For each prime, the P11 Hub+Rest form is the covariance/state norm of the AR(1) tail state, while the positive p-power Weil tower is the inverse-covariance/precision norm of that same state. + +At `h->0`, the discrete precision cells converge strongly to the archimedean Gamma resolvent modes. For mode `mu`, + +```math +A_{h,\mu}=h\sum_{k\ge1}e^{-\mu kh}K_{kh}^*K_{kh} +\to +\frac2\mu D^2(D^2+\mu^2)^{-1}. +``` + +The convergence is never `L^2` operator-norm convergence because of aliasing, but after one source derivative it has the explicit graph-norm rate + +```math +\|(A_{h,\mu}-A_{0,\mu})(1+D^2)^{-1/2}\| +\le(4+2/\mu)h. +``` + +Thus the correct gluing topology is strong/source-local, with quantitative graph-norm stability on smooth sources. + +--- + +## 2. What the Riemann-R continuum supplies + +The cell base density is the derivative of the classical Riemann R function. It satisfies + +```math +\int_0^\infty\rho(h)\sum_{k\ge1}h\delta_{kh}(dt)dh +=(e^t-1)dt. +``` + +Disintegrating the left side over `t=kh` gives the probability weights + +```math +\boxed{ +\lambda_k(t) +=\frac{t\rho(t/k)}{k^2(e^t-1)}, +\qquad \sum_{k\ge1}\lambda_k(t)=1. +} +``` + +Thus the smooth archimedean background has a canonical exponent-fibre decomposition; a genuine prime power `p^r` selects one specific exponent coordinate `r`. + +However ordinary orthogonal shorting against this continuum is not the answer: +- collapsing `(h,k)` to depth `t` makes the continuum total and kills the arithmetic; +- pointwise exponent-fibre shorting reduces the exact Prime-2 mixed calibration and therefore fails if the Gamma baseline is left unchanged. + +--- + +## 3. Exact local cell and archimedean boundary + +For every `h>0`, + +```math +B_h +=\sqrt{\frac{h q(1+q)}{1-q}} +(T_h-I)(I-qT_h)^{-1}, +\qquad q=e^{-h/2}, +``` + +compresses the complete logarithmic tower: + +```math +B_h^*B_h +=\sum_{k\ge1}h e^{-kh/2}K_{kh}^*K_{kh}. +``` + +At `h=log p` this is the full p-power positive Weil tower. At `h=0` its strong boundary is the Gamma ground operator + +```math +4D^2(D^2+1/4)^{-1}. +``` + +The actual prime scales do not approach zero (`log p>=log2`); the `h->0` statement is a boundary theorem for the continuous generalized cell family, not a limit of actual finite places. + +--- + +## 4. Closed natural couplings + +The following coefficient-free classes have now failed: + +```text +root-only Prime/continuum coupling FAIL +ordinary common-depth OU Gram shorting FAIL (continuum totality) +pointwise exponent-fibre shorting with fixed Gamma FAIL (Prime-2 calibration) +orthogonal sum of local passive cells insufficient +ordinary passive cascade of normalized Euler cells FAIL (limit collapses to zero) +ordinary positive Sobolev regularity in scale h not supplied by current energy; + high-frequency cell oscillation is too expensive +``` + +The last line is an architectural warning rather than a closed theorem class: any future scale-space norm must be derived explicitly and tested against high-frequency modulation before it is accepted. + +--- + +## 5. Single remaining gate + +The missing object is now a **relative scale-storage structure** which: + +1. lives before the quotient `(h,k)->t=kh` so the base/factorization label is not lost; +2. couples atomic scales `h=log p` to the Riemann-R bulk `rho(h)dh`; +3. preserves the full exact Prime-2 mixed correction; +4. uses the already fixed local OU covariance/precision metrics, not fitted coefficients; +5. provides only the amount of scale regularity supported by the existing Gamma/P11 energy; +6. remains compatible with the strong, non-norm-continuous `h->0` archimedean boundary. + +A successful construction would turn the prime layer into a genuine boundary/trace term of the positive Gamma/P11 bulk. Failure of every natural relative-storage kernel derived from the overlap cone would close this branch as an Object-X architecture while preserving the local identities as independent mathematics. diff --git a/audits/P11_CAUSAL_TRANSFER_POLES_AND_RH_2026-09-15.md b/audits/P11_CAUSAL_TRANSFER_POLES_AND_RH_2026-09-15.md new file mode 100644 index 00000000..6376f1af --- /dev/null +++ b/audits/P11_CAUSAL_TRANSFER_POLES_AND_RH_2026-09-15.md @@ -0,0 +1,352 @@ +# P11 Audit — Causal transfer poles and the RH boundary + +**Datum:** 15. September 2026 +**Branch:** `research/critical-half-green-tree-bridge-2026-09-13` +**Rolle:** theorem-level Spektral-/Systeminterpretation des Volterra-Kerns `J_Delta`. +**Registry:** unveraendert. +**Nonclaim:** dies ist eine RH-aequivalente Reformulierung, kein RH-Beweis und kein Neuheitsclaim. + +--- + +## 0. Kurzurteil + +Der im Critical-half-Finite-Part-Audit abgeleitete kausale Kern + +```math +J_\Delta(L) +=e^{L/2} +\left( +L-\gamma- +\sum_{\log n1/2` die Laplacetransformierte + +```math +\boxed{ +\widehat J_\Delta(s) += +\frac{ +\displaystyle +\frac{d}{ds}\log\left((s-\tfrac12)\zeta(s+\tfrac12)\right) +-\gamma +}{s-\tfrac12}. +} +``` + +Der scheinbare Punkt `s=1/2` ist entfernbar. Die nichttrivialen Pole der meromorphen Fortsetzung liegen genau bei + +```math +\boxed{s=\rho-\frac12} +``` + +mit `rho` einer nichttrivialen Nullstelle von zeta, unter Beibehaltung der Multiplizitaet. + +Daher + +```math +\boxed{ +RH +\iff +\widehat J_\Delta^{\rm mer}(s) +\text{ hat keine Pole in }\Re s>0. +} +``` + +Unter RH gilt sogar der Standardweg + +```math +J_\Delta(L)=O(L^2) +``` + +und damit existiert die echte Laplacetransformierte fuer jedes `Re s>0`. Umgekehrt wuerde eine vorwaerts konstruierte passive/stabile Realisierung des arithmetischen Volterra-Transfers auf der offenen rechten Halbebene die unerwuenschten Pole ausschliessen und damit RH liefern. + +Das ist die praezise Systembedeutung des aktuellen Object-X-Gates: + +```text +constructive positivity/passivity -> no unstable transfer poles -> RH. +``` + +Status: + +```text +Laplace-transform formula ✓[M] +removability at s=1/2 ✓[M] +nontrivial poles = shifted zeta zeros ✓[M] +RH <=> no poles in open right half-plane ✓[M] +RH => polynomial J_Delta via standard PNT error ✓[M] (standard consequence) +passive positive realization of V_J ?[O] +``` + +--- + +# 1. Laplace transform from the Stieltjes inversion + +For `Re s>1/2`, the unconditional growth of `J_Delta` is harmless and + +```math +\widehat J_\Delta(s) +:=\int_0^\infty e^{-sL}J_\Delta(L)dL +``` + +converges. + +The discrepancy transform is + +```math +\mathcal L\Delta(s) +=-\frac{\zeta'}{\zeta}(s+1/2) +-\frac1{s-1/2}. +``` + +The Stieltjes identity is + +```math +d\Delta +=\frac12J_\Delta dL-dJ_\Delta. +``` + +Taking the Laplace transform gives + +```math +\begin{aligned} +\mathcal L\Delta(s) +&=\frac12\widehat J_\Delta(s) +-\int_0^\infty e^{-sL}dJ_\Delta(L)\\ +&=\frac12\widehat J_\Delta(s) ++J_\Delta(0)-s\widehat J_\Delta(s)\\ +&=J_\Delta(0)-(s-\tfrac12)\widehat J_\Delta(s). +\end{aligned} +``` + +Since + +```math +J_\Delta(0)=-\gamma, +``` + +we obtain + +```math +\boxed{ +\widehat J_\Delta(s) +=\frac{-\gamma-\mathcal L\Delta(s)}{s-1/2}. +} +``` + +Substitution yields + +```math +\boxed{ +\widehat J_\Delta(s) += +\frac{ +-\gamma ++\zeta'/\zeta(s+1/2) ++1/(s-1/2) +}{s-1/2}. +} +``` + +--- + +# 2. Relative determinant notation + +Define the pole-removed relative factor + +```math +\boxed{ +\mathcal D_{\rm rel}(s) +=(s-\tfrac12)\zeta(s+\tfrac12). +} +``` + +Then + +```math +\frac{\mathcal D_{\rm rel}'(s)}{\mathcal D_{\rm rel}(s)} += +\frac1{s-1/2} ++\frac{\zeta'}{\zeta}(s+1/2). +``` + +Hence + +```math +\boxed{ +\widehat J_\Delta(s) += +\frac{ +\mathcal D_{\rm rel}'(s)/\mathcal D_{\rm rel}(s)-\gamma +}{s-1/2}. +} +``` + +At `s=1/2`, the Laurent expansion + +```math +\zeta(1+\varepsilon) +=\frac1\varepsilon+\gamma+O(\varepsilon) +``` + +shows + +```math +\mathcal D_{\rm rel}(1/2+\varepsilon) +=1+\gamma\varepsilon+O(\varepsilon^2). +``` + +Thus + +```math +\mathcal D_{\rm rel}'/\mathcal D_{\rm rel}-\gamma +=O(s-1/2), +``` + +so the apparent singularity of `Jhat` at `s=1/2` is removable. + +--- + +# 3. Pole set + +Away from `s=1/2`, poles of + +```math +\mathcal D_{\rm rel}'/\mathcal D_{\rm rel} +``` + +occur exactly at zeros and poles of `D_rel`. + +The zeta pole at `1` has been removed by the factor `(s-1/2)`. The trivial zeta zeros produce poles only at + +```math +s=-2m-\frac12, +\qquad m>=1, +``` + +strictly in the left half-plane. + +Every nontrivial zero `rho` gives a pole at + +```math +\boxed{s=rho-1/2.} +``` + +Its residue equals the zero multiplicity; division by `s-1/2` does not remove such a pole because no nontrivial zero is `rho=1`. + +--- + +# 4. RH equivalence + +All nontrivial zeta zeros lie in the critical strip + +```math +00 +``` + +if and only if zeta has no zero with + +```math +Re rho>1/2. +``` + +By the functional equation / symmetry of nontrivial zeros under + +```math +rho -> 1-rho, +``` + +absence of zeros to the right of `1/2` is equivalent to every nontrivial zero lying on `Re rho=1/2`. + +Hence + +```math +\boxed{ +RH +\iff +\widehat J_\Delta^{mer} +\text{ is pole-free in the open right half-plane}. +} +``` + +--- + +# 5. Actual Laplace convergence under RH + +The classical RH consequence + +```math +\psi(x)=x+O(\sqrt x\log^2x) +``` + +implies by partial summation + +```math +\sum_{n0`, not merely by meromorphic continuation. + +No converse growth theorem is needed for the pole-set equivalence in Section 4. + +--- + +# 6. System-theoretic meaning and firewall + +A causal passive or conservative transfer function produced by a well-posed positive state-space realization is analytic in its open stability half-plane. Therefore a **forward**, noncircular passive realization of the already-derived kernel `J_Delta` on `Re s>0` would force the pole-free property above and hence RH. + +This explains why the missing positive realization is exactly as hard as it should be. + +However it is forbidden to argue backwards: + +```text +RH-equivalent analytic function +-> invoke a generic realization theorem +-> call the resulting storage space Object X. +``` + +Such a realization would merely encode the desired analyticity as an assumption. + +The admissible Object-X task remains: + +```text +construct the passive/conservative state space directly from +- the P11 stopped OU filtration, +- the continuous pole compensator, +- the higher Gamma filter bank, +- and the overlap-cone boundary geometry, +without assuming pole-freeness or Weil positivity. +``` + +--- + +# 7. Strategic endpoint + +The research front can now be stated in one sentence: + +```math +\boxed{ +\text{Can the concrete stopped-OU/Gamma geometry furnish a positive storage} +\atop +\text{realization of the causal arithmetic kernel }J_\Delta +\text{ whose transfer is automatically analytic for }Re s>0? +} +``` + +A PASS would imply RH. A natural-class FAIL would be a meaningful Object-X no-go. diff --git a/audits/P11_CAUSAL_VOLterra_PASSIVITY_NORMAL_FORM_2026-09-15.md b/audits/P11_CAUSAL_VOLterra_PASSIVITY_NORMAL_FORM_2026-09-15.md new file mode 100644 index 00000000..c87fd51f --- /dev/null +++ b/audits/P11_CAUSAL_VOLterra_PASSIVITY_NORMAL_FORM_2026-09-15.md @@ -0,0 +1,374 @@ +# P11 Audit — Causal Volterra / passivity normal form + +**Datum:** 15. September 2026 +**Branch:** `research/critical-half-green-tree-bridge-2026-09-13` +**Rolle:** theorem-level Operatorverdichtung des Critical-half-Finite-Part-Transfers. +**Registry:** unveraendert. +**Nonclaim:** kein Passivitaetsbeweis, kein Object-X-/RH-Abschluss, keine Publikationsneuheit. + +--- + +## 0. Kurzurteil + +Der pole-subtrahierte Prime-Diskrepanzoperator besitzt eine exakte **kausale Volterra-Faktorisierung** mit dem festen Critical-half-Port + +```math +D_+=\partial_x+\frac12. +``` + +Definiere den kausalen Volterra-Operator + +```math +\boxed{ +(V_Jv)(x) +=\int_{-\infty}^{x}J_\Delta(x-y)v(y)dy, +} +``` + +wobei + +```math +J_\Delta(L) +=e^{L/2} +\left(L-\gamma-\sum_{\log n=1` besitzt zugleich eine kausale stabile Filterbankrealisierung. Fuer + +```math +\mu_m=2m+\frac12, +\qquad +y_m=(\partial_x+\mu_m)^{-1}v, +``` + +gilt + +```math +\boxed{ +\int_0^\infty e^{-\mu_m t}\|K_tv\|_2^2dt +=\frac{2}{\mu_m}\|y_m'\|_2^2. +} +``` + +Damit wird die NULLPOL-Weilform zu + +```math +\boxed{ +Q_W(v) += +\sum_{m=1}^\infty\frac{2}{\mu_m}\|y_m'\|_2^2 +-c_*\|v\|_2^2 +-2\operatorname{Re}\langle D_+v,V_Jv\rangle, +} +``` + +mit + +```math +c_* +=\log(8\pi)+\frac\pi2-4-\gamma +=0.2177520894\ldots>0. +``` + +Dies ist eine radiusunabhaengige **Dissipation-minus-feedback**-Normalform. Der verbleibende Object-X-Gate kann daher als Passivitaets-/Storage-Problem eines kausalen Systems formuliert werden. + +Status: + +```text +Volterra factorization of C_Delta ✓[M] +fixed critical-half port D_+ ✓[M] +causal higher-Gamma filter bank ✓[M] +causal dissipation-feedback normal form ✓[M] +positive storage / bounded-real certificate ?[O] +RH / Object X ?[O] +``` + +--- + +# 1. One-sided kernel as a distribution + +Let + +```math +j_+(t)=\mathbf1_{t\ge0}J_\Delta(t). +``` + +On `(0,infty)` the previous audit proved + +```math +d\Delta +=\frac12J_\Delta(t)dt-dJ_\Delta(t). +``` + +As a distribution on the whole line, differentiating the Heaviside extension adds the root atom: + +```math +dj_+ +=\mathbf1_{t>0}dJ_\Delta+J_\Delta(0)\delta_0. +``` + +Since + +```math +J_\Delta(0)=-\gamma, +``` + +we get + +```math +\boxed{ +\left(\frac12-\partial_t\right)j_+ +=d\Delta+\gamma\delta_0. +} +``` + +Here `dDelta` is understood on the positive half-line and extended by zero to negative `t`. + +--- + +# 2. Volterra operator factorization + +Convolution by `j_+` is exactly + +```math +(V_Jv)(x) +=\int_{-\infty}^xJ_\Delta(x-y)v(y)dy. +``` + +Applying + +```math +D_-=-\partial_x+\frac12 +``` + +to the output gives convolution by + +```math +\left(\frac12-\partial_t\right)j_+ +=d\Delta+\gamma\delta_0. +``` + +Hence `D_-V_J` has the positive-half discrepancy kernel plus `gamma I`. Its adjoint `V_J^*D_+` supplies the reflected negative-half kernel plus the second `gamma I`. + +Therefore + +```math +\boxed{ +D_-V_J+V_J^*D_+ +=\mathcal C_\Delta+2\gamma I. +} +``` + +In quadratic-form language, + +```math +\boxed{ +2\operatorname{Re}\langle D_+v,V_Jv\rangle +=2\gamma\|v\|_2^2 ++\int_0^\infty F_v(t)d\Delta(t). +} +``` + +This is equivalent to the midpoint-coordinate transfer identity of the preceding audit but makes causality explicit. + +--- + +# 3. Causal realization of one higher Gamma mode + +For `mu>0` let + +```math +y=(\partial_x+\mu)^{-1}v, +``` + +i.e. the stable causal first-order state satisfying + +```math +y'+\mu y=v. +``` + +On the Fourier line, + +```math +\widehat{y'}(z) +=\frac{iz}{\mu+iz}\widehat v(z). +``` + +Thus + +```math +\frac{2}{\mu}\|y'\|_2^2 +``` + +has multiplier + +```math +\frac{2}{\mu}\frac{z^2}{z^2+\mu^2}. +``` + +But directly + +```math +\int_0^\infty e^{-\mu t}\|K_tv\|_2^2dt +``` + +has the same multiplier because + +```math +2\int_0^\infty e^{-\mu t}(1-\cos zt)dt +=\frac{2z^2}{\mu(z^2+\mu^2)}. +``` + +Therefore + +```math +\boxed{ +\int_0^\infty e^{-\mu t}\|K_tv\|_2^2dt +=\frac{2}{\mu}\|y'\|_2^2. +} +``` + +--- + +# 4. Higher-Gamma filter bank + +The post-ground Gamma density is + +```math +h_1(t) +=\sum_{m=1}^\infty e^{-\mu_m t}, +\qquad +\mu_m=2m+\frac12. +``` + +By monotone convergence of the positive mode energies, + +```math +\boxed{ +\int_0^\infty h_1(t)\|K_tv\|_2^2dt +=\sum_{m=1}^\infty\frac{2}{\mu_m}\|y_m'\|_2^2, +} +``` + +where + +```math +y_m=(\partial_x+\mu_m)^{-1}v. +``` + +Thus the entire positive remainder after removing the Gamma ground mode is a parallel bank of stable first-order causal dissipative channels. + +--- + +# 5. Causal NULLPOL normal form + +The Critical-half finite-part audit gave + +```math +Q_W(v) += +\int h_1(t)\|K_tv\|^2dt +-c_*\|v\|^2 +-2\operatorname{Re}\langle D_+v,V_Jv\rangle. +``` + +Substituting the filter-bank realization gives + +```math +\boxed{ +Q_W(v) += +\sum_{m=1}^\infty\frac{2}{\mu_m}\|y_m'\|_2^2 +-c_*\|v\|_2^2 +-2\operatorname{Re}\langle D_+v,V_Jv\rangle. +} +``` + +Every operator in this formula is now radius-independent. Compact support enters only through the input `v`; no prime cutoff or frequency truncation is present. + +--- + +# 6. Passivity interpretation and firewall + +The form has the schematic structure + +```math +Q_W += +\text{positive causal dissipation} +- +\text{fixed scalar leakage} +- +\text{Hermitian arithmetic feedback}. +``` + +This suggests a bounded-real/KYP-type question: can one construct a positive storage state `S(v)` from the stopped OU boundary-tail geometry so that + +```text +positive Gamma dissipation + storage drop +>= arithmetic feedback + scalar leakage? +``` + +Such a theorem would be genuinely forward if the storage is fixed by the already-derived OU/overlap-cone system and not selected from the desired Weil inequality. + +However no such storage certificate is currently known. Simply applying a generic realization theorem to a transfer function already defined from `Q_W` would be circular and is forbidden as an Object-X claim. + +--- + +# 7. Why the route is different from fixed-window prolate + +The prolate formulation encodes the arithmetic obstruction through a sign-changing Fourier multiplier whose dangerous frequency region grows doubly exponentially with the support radius under pointwise tail control. + +The Volterra formulation instead uses one fixed causal kernel `J_Delta` on the half-line and restricts it automatically to the source support. There is no radius-dependent prime cutoff in the operator definition. + +This does **not** prove that the Volterra route is easier; polynomial control of `J_Delta` is itself RH-scale. It does, however, remove the artificial pointwise-frequency-resolution barrier and exposes a different structural gate: causal passivity/storage rather than multiplier positivity. + +--- + +# 8. Next gate + +The next destructive task is to search for a **canonical storage functional** generated by the stopped OU boundary state + +```math +Y(L)=\int_L^\infty e^{-(t-L)/2}X(t)dt +``` + +and the higher-Gamma filter states `y_m`, and test it first on the exact `R=1` Prime-2 mixed witness. + +PASS criterion: + +```text +a coefficient-free positive block/storage identity reproduces the exact +Volterra cross term and scalar c_*. +``` + +FAIL criterion: + +```text +the natural OU storage class cannot reach the Prime-2 mixed calibration; +record the class no-go and do not fit free constants. +``` diff --git a/audits/P11_COMMON_DEPTH_SHORTING_TOTALITY_NOGO_2026-09-15.md b/audits/P11_COMMON_DEPTH_SHORTING_TOTALITY_NOGO_2026-09-15.md new file mode 100644 index 00000000..22f9b5af --- /dev/null +++ b/audits/P11_COMMON_DEPTH_SHORTING_TOTALITY_NOGO_2026-09-15.md @@ -0,0 +1,54 @@ +# P11 Audit — Common-depth OU shorting totality no-go + +**Datum:** 15. September 2026 + +## Result + +For `h>0`, `k>=1`, define the normalized OU innovation cell + +```math +\eta_{h,k}(t) +=\frac{\mathbf 1_{((k-1)h,kh]}(t)e^{-(kh-t)/2}} +{\sqrt{1-e^{-h}}}. +``` + +For fixed `h`, the family in `k` is orthonormal in `L^2(R_+,dt)`. Hence the most direct nonorthogonal discrete/continuum coupling is to place all prime cells and all Riemann-R continuum cells in this common depth space and use their ordinary Gram overlaps. + +This architecture collapses: the continuum family is already total in the common depth space. + +Indeed its `k=1` vectors are + +```math +\eta_{h,1}(t)=c(h)e^{t/2}\mathbf 1_{(0,h]}(t), +\qquad c(h)\ne0. +``` + +Because the Riemann-R density `rho(h)` is strictly positive for every `h>0`, all these vectors occur in the continuum support. Their linear span is dense in `L^2(R_+)`: differences of the weighted initial-interval indicators generate weighted compactly supported step functions, and those are dense. + +Therefore every discrete prime cell `eta_(log p,k)` lies in the closed span of the continuum cells. Orthogonal shorting of the joint Gram against the full continuum block removes the discrete side completely. + +In geometric Schur-complement notation, + +```math +\boxed{A_P-B A_C^{-1}B^*=0} +``` + +where this is understood as the shorted operator / projection onto the orthogonal complement of the closed continuum feature span (not as a claim that an unbounded literal matrix inverse exists). + +## Consequence + +```text +common depth embedding + ordinary Gram overlap + orthogonal shorting ×[M] +``` + +The common OU depth geometry is too complete to retain arithmetic information. A nontrivial relative storage mechanism must preserve additional structure not visible in the depth vector alone, for example: + +```text +- the scale/base variable h itself, +- the physical overlap-cone x-incidence, +- or a relative/renormalized boundary form. +``` + +This does not invalidate the exact discrete/continuous precision identities. It only excludes the simplest canonical Schur complement on the shared `L^2(dt)` innovation space. + +No RH/Object-X claim. 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. diff --git a/audits/P11_CONTINUOUS_EULER_PRODUCT_AND_CRITICAL_ALLPASS_2026-09-15.md b/audits/P11_CONTINUOUS_EULER_PRODUCT_AND_CRITICAL_ALLPASS_2026-09-15.md new file mode 100644 index 00000000..9275ebca --- /dev/null +++ b/audits/P11_CONTINUOUS_EULER_PRODUCT_AND_CRITICAL_ALLPASS_2026-09-15.md @@ -0,0 +1,208 @@ +# P11 Audit — Continuous Euler product and Critical-half allpass + +**Datum:** 15. September 2026 +**Branch:** `research/critical-half-green-tree-bridge-2026-09-13` +**Registry:** unveraendert. +**Nonclaim:** kein RH-/Object-X-Beweis; keine Publikationsneuheit behauptet. + +## 0. Result + +Let + +```math +\rho(h)=\sum_{m\ge1}\frac{h^{m-1}}{m!\zeta(m+1)} +=\frac{d}{dh}R(e^h), +``` + +where `R` is the classical Riemann prime-counting approximation (Gram series). The previous audit proved + +```math +\int_0^\infty\rho(h) +\sum_{k\ge1}h e^{-kh/2}\delta_{kh}(dt)\,dh +=(e^{t/2}-e^{-t/2})dt. +``` + +Taking the shifted Laplace transform gives, for `Re S>1`, + +```math +\boxed{ +\int_0^\infty \rho(h)\frac{h}{e^{Sh}-1}\,dh +=\frac1{S(S-1)}. +} +``` + +Define the positive continuous Euler product by + +```math +\boxed{ +Z_0(S) +:= +\exp\left( +\int_0^\infty\rho(h) +\log\frac1{1-e^{-Sh}}\,dh +\right), +\qquad \Re S>1. +} +``` + +Then + +```math +\boxed{Z_0(S)=\frac{S}{S-1}.} +``` + +Consequently, after the critical shift `S=1/2+s`, + +```math +\boxed{ +Z_0(1/2+s)^{-1} +=\frac{s-1/2}{s+1/2}. +} +``` + +This is the elementary right-half-plane Blaschke/allpass factor of the Critical-half first-order state. + +Status: + +```text +continuous Euler product identity ✓[M] +critical-half inverse allpass ✓[M] +positive Riemann-R cell background ✓[M] +relative discrete/continuous determinant view ✓[M]_part +positive global cross-prime storage ?[O] +``` + +--- + +## 1. Laplace transform of the positive cell continuum + +For the cell + +```math +\nu_h(dt)=\sum_{k\ge1}h e^{-kh/2}\delta_{kh}(dt), +``` + +and shifted parameter `s=S-1/2`, + +```math +\int e^{-s t}d\nu_h(t) +=\sum_{k\ge1}h e^{-S k h} +=\frac{h}{e^{Sh}-1}. +``` + +The continuum-cell identity therefore gives + +```math +\int_0^\infty \rho(h)\frac{h}{e^{Sh}-1}dh +=\int_0^\infty e^{-s t}(e^{t/2}-e^{-t/2})dt. +``` + +Since `s=S-1/2`, the right side is + +```math +\frac1{S-1}-\frac1S +=\frac1{S(S-1)}. +``` + +All integrands on the cell side are positive for real `S>1`; complex extension follows by absolute convergence on `Re S>1`. + +--- + +## 2. Integration to the continuous Euler product + +For `Re S>1`, differentiation under the integral gives + +```math +\frac{d}{dS}\log Z_0(S) +=-\int_0^\infty\rho(h)\frac{h}{e^{Sh}-1}dh +=-\frac1{S(S-1)}. +``` + +But + +```math +\frac{d}{dS}\log\frac{S}{S-1} +=-\frac1{S(S-1)}. +``` + +Both logarithms tend to zero as real `S -> +infinity`; hence + +```math +Z_0(S)=S/(S-1). +``` + +Near `h=0`, `rho(h)` is bounded and the logarithmic singularity in the integrand is integrable. For large `h`, the Gram/Riemann-R density has the expected exponential scale, while `Re S>1` supplies exponential decay; the differentiated identity also supplies a direct convergence control. + +--- + +## 3. Relative Euler determinant + +For `Re S>1`, the ordinary Euler product is + +```math +\zeta(S)=\prod_p(1-e^{-S\log p})^{-1}. +``` + +Thus + +```math +\boxed{ +\frac{\zeta(S)}{Z_0(S)} +=\frac{S-1}{S}\zeta(S). +} +``` + +This can be read as a relative discrete-versus-continuum Euler product: + +```text +discrete base spacings: h=log p +continuous background: rho(h) dh = d R(e^h) +local cell factor: (1-e^{-S h})^{-1}. +``` + +The completed xi function can consequently be written + +```math +\boxed{ +\xi(S) +=\frac12 S^2\pi^{-S/2}\Gamma(S/2) +\frac{\zeta(S)}{Z_0(S)}. +} +``` + +This is only an exact reorganization of classical factors, not a new xi formula. + +--- + +## 4. Critical-half allpass + +Put `S=1/2+s`. Then + +```math +Z_0(1/2+s)^{-1} +=\frac{s-1/2}{s+1/2}. +``` + +For `Re s>0`, + +```math +|s-1/2|<|s+1/2|, +``` + +so the factor is Schur; for `s=i omega` its modulus is one. It is therefore the canonical one-pole lossless/allpass transfer associated with the Critical-half first-order state. + +This gives a positive-system meaning to the smooth pole compensator: division by the full positive Riemann-R continuum Euler background collapses to one lossless Critical-half boundary scatterer. + +--- + +## 5. Firewall + +This does not make the discrete prime Euler product a Schur function on the whole shifted right half-plane. A normalized local cell + +```math +F_h(s)=\frac{1-e^{-h/2}}{1-e^{-(s+1/2)h}} +``` + +is Schur for `Re s>0`, but the infinite orthogonal product over prime spacings carries a divergent normalization and its natural Euler/log-derivative realization is only directly convergent in the classical half-plane `Re s>1/2` (equivalently `Re S>1`). + +Hence a direct orthogonal sum/product of local passive cells cannot supply the needed all-right-half-plane Object-X realization. A nontrivial cross-prime / discrete-continuum coupling remains necessary. 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=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