The Riemann $Ξ$-function from primitive Markovian cycles II: Strip rigidity and divisor identification

Technische Samenvatting: De Riemann $\Xi$-functie uit Primitieve Markoviaanse Cycli II: Strip-Rigiditeit en Divisorenidentificatie

Probleemstelling
Dit artikel behandelt een fundamenteel vergelijkingsprobleem in de analytische gethalleori: het vaststellen van de equivalentie tussen twee afzonderlijke analytische constructies die voortkomen uit één enkele primitieve dynamische structuur. Specifiek streeft het naar het vergelijken van de klassieke Riemann $\Xi$-functie, voortvloeiend uit de Archimedeïsche voltooiing van een schaal-limiet trace-kernel, tegen een canonieke familie van reële-gehele spectrale determinanten ($P_N$) afgeleid van de cycle-Laplacian van eindige reversibele Markov-ketens. De centrale uitdaging is om aan te tonen dat deze twee objecten dezelfde nul-divisor (oftewel, dezelfde nulpunten) delen op horizontale strips in het complexe vlak, tot een rigide, nul-vrije normalisatie. Deze vergelijking is voorwaardelijk op specifieke holomorphiciteit en rand-niet-verdwijningshypothesen, die worden geponeerd als te worden geverifieerd in een aanstaande derde deel van de trilogie.

Methodologie
Het artikel maakt gebruik van een "strip-rigiditeit"-benadering, waarbij gebruik wordt gemaakt van complexe analyse op horizontale strips om de Laplace-zijde spectrale factorisatie te koppelen aan de Mellin-zijde zeta-functie. De methodologie verloopt via drie primaire stadia:

1. Primitieve Dynamische Oorsprong: De analyse begint bij de schaal-limiet van eindige, reversibele, naburige Markov-dynamica op discrete cycli ($\mathbb{Z}/N\mathbb{Z}$). Dit levert een gerenormaliseerde trace-kernel op met een expliciete theta-reeksrepresentatie. Cruciaal is dat deze constructie puur probabilistisch en analytisch is op dit stadium, onafhankelijk van gethallekundige inputs zoals functionele vergelijkingen of Mellin-transformaties.
2. Duale Analytische Outputs: Uit deze enkele kernel worden twee verschillende analytische objecten gegenereerd:
   • Laplace-zijde: Een bilaterale Laplace-transformat $B_{\Phi^*}(s)$ van een gecentreerde kernel, die een Schoenberg–Edrei–Karlin factorisatie toelaat in een nul-vrije gehele functie $E(s)$ en een reëel-gehele functie $\Psi(s)$ (de referentiefamilie $P_N$) met enkel reële nulpunten.
   • Mellin-zijde: Een Archimedeïsch-voltooide kernel $\tilde{K}_{\text{arch}}$, waarvan de Mellin-transformat wordt geïdentificeerd met de klassieke Riemann $\Xi$-functie ($\Xi(2z)$).
3. Strip-Vergelijking en Rigiditeit: Het kernmechanisme bestaat uit het vergelijken van deze twee functies op overlappende strips.
   • Links-Strip Continuatie: Het artikel breidt het domein van de Laplace-transformat $B_{\Phi^*}$ uit naar een linker strip ($-1/2 < \Re(s) < 1/4$) met behulp van modulaire splitsing en de exacte getwiste symmetrie van de gecentreerde kernel.
   • Rand-Identiteit: Er wordt een precieze identiteit vastgesteld op de randlijn $\Re(s) = -1/2$, die de gecontinueerde Laplace-transformat direct koppelt aan de Mellin-transformat van de Archimedeïsche kernel (en daarmee aan $\Xi$).
   • Naad-Ratio Analyse: Een genormaliseerde "naad-ratio" $R(w)$ wordt gedefinieerd, die $\Xi(2w)$ koppelt aan de referentie-polynoom $P_N(w)$. Onder Hypothese 1.1 (spectrale koppeling/rand-scheiding op rechthoeken) en Hypothese 1.2 (kwantitatieve sector-controle), wordt een rigiditeitslemma toegepast. Dit lemma, geworteld in de stelling van Rouché en de Nevanlinna/Hardy-ruimte theorie, dwingt de naad-ratio tot een "strip-unit" (een holomorfe, nul-vrije functie van begrensde type).

Belangrijkste Bijdragen en Resultaten

• Theorem 1.6 (Overzicht Hoofdtheorema): Het artikel stelt vast dat, onder de geldende aannames, de schaal-limiet trace-kernel zowel een Schoenberg–Edrei–Karlin factorisatie met een reëel-nul divisor als een Archimedeïsche voltooiing oplevert die geïdentificeerd wordt met $\Xi(2z)$. Cruciaal is dat het de analytische machinerie (continuatie en rand-identiteiten) biedt om deze twee objecten in een gemeenschappelijke strip-setting te plaatsen.
• Theorem 1.7 (Conditionele Strip-Unit Theorem): Dit is het primaire resultaat van het artikel. Het stelt dat, indien Hypothesen 1.1 en 1.2 standhouden, de genormaliseerde naad-ratio $\tilde{R}_N(w)$ holomorf en nul-vrij is op de strip $S_\eta$. Bij consequentie delen $\Xi(2w)$ en de referentiefamilie $P_N(w)$ exact dezelfde nul-divisor op die strip.
• Analytische Rigiditeit: Het artikel introduceert een "strip-unit forcing"-mechanisme. Door aan te tonen dat het verschil tussen de twee functies klein is ten opzichte van de referentiefunctie op de rand van expanderende rechthoeken (Hypothese 1.1), en dat het argument van de ratio gecontroleerd is (Hypothese 1.2), bewijst het artikel dat de functies identieke nul-aantallen hebben in het binnenste.
• Logische Separatie: Het werk scheidt de probabilistische constructie van de kernel rigoureus van de gethallekundige identificatie. De afleiding van de reëel-gehele factorisatie rust niet op de eigenschappen van $\Xi$, en de identificatie van de Mellin-transformat rust niet op de spectrale factorisatie, wat circulariteit voorkomt.

Significantie en Claims
Het artikel claimt de "ontbrekende divisor-identificatiestap" te leveren van het voorafgaande werk (Paper I). De significantie ligt in:

1. Verenigend Kader: Het toont aan dat de Riemann $\Xi$-functie en een spectrale determinant van een eenvoudig Markov-proces analytisch verbonden zijn via een rigide normalisatie.
2. Divisor-Identificatie: Het bewijst dat, voorwaardelijk op de verificatie van rand-schattingen, de niet-triviale nulpunten van de Riemann zeta-functie (gecodeerd in $\Xi$) moeten samenvallen met de reële nulpunten van de cycle spectrale determinant $P_N$. Aangezien $P_N$ enkel reële nulpunten heeft door zelf-adjectiviteit, suggereert dit een pad naar het bewijzen van de Riemann-hypothese (dat alle niet-triviale nulpunten op de kritieke lijn liggen) door de nulpunten van $\Xi$ te dwingen reëel te zijn in de getransformeerde variabele.
3. Methodologische Rigor: Het artikel benadrukt een "stress-geteste" aanpak, waarbij het expliciet de verval-snelheden, symmetrie-condities en de afwezigheid van spook-polen verifieert om de geldigheid van de analytische uitwisselingen te waarborgen.

Beperkingen en Afhankelijkheden
Het artikel stelt expliciet dat de belangrijkste conclusie (divisor-identificatie) voorwaardelijk is. Het is afhankelijk van:

• Hypothese 1.1: Het bestaan van een nul-vrije holomorfe unit $U_{\eta,N}$ die een strikte rand-scheidingsongelijkheid op rechthoeken $R_T$ bevredigt.
• Hypothese 1.2: Kwantitatieve sector-controle op het argument van de genormaliseerde naad-ratio op de rand van deze rechthoeken.
  Het artikel merkt op dat de verificatie van deze hypotheses, inclus\ de keuze van het toelaatbare regime voor de cycle-grootte $N(T)$, wordt uitgesteld naar Paper III. Zonder de verificatie van deze randvoorwaarden blijft de divisor-identificatie een voorwaardelijk resultaat.