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

Sintesi Tecnica: La funzione $\Xi$ di Riemann dai cicli Markoviani primitivi II: Rigidità della striscia e identificazione del divisore

Enunciato del Problema
Questo articolo affronta un problema fondamentale di confronto nella teoria analitica dei numeri: stabilire l'equivalenza tra due distinte costruzioni analitiche derivate da un singolo framework dinamico primitivo. Nello specifico, mira a confrontare la classica funzione $\Xi$ di Riemann, derivante dal completamento archimedeo di un nucleo di traccia di limite di scala, contro una famiglia canonica di determinanti spettrali real-interi ($P_N$) derivati dal Laplaciano di ciclo di catene di Markov finite reversibili. La sfida centrale consiste nel dimostrare che questi due oggetti condividano lo stesso divisore di zeri (ovvero gli stessi zeri) su strisce orizzontali nel piano complesso, salvo una normalizzazione rigida e priva di zeri. Questo confronto è condizionato da specifiche ipotesi di olomorfia e di non annullamento al bordo, che si pone l'obiettivo di verificare in un terzo articolo della trilogia.

Metodologia
L'articolo impiega un approccio di "rigidità della striscia" (strip rigidity), utilizzando l'analisi complessa su strisce orizzontali per collegare la fattorizzazione spettrale sul lato di Laplace con la funzione zeta sul lato di Mellin. La metodologia procede attraverso tre stadi primari:

1. Origine Dinamica Primitiva: L'analisi inizia con il limite di scala di dinamiche di Markov vicini-vicini, finite e reversibili, su cicli discreti ($\mathbb{Z}/N\mathbb{Z}$). Ciò produce un nucleo di traccia rinormalizzato con una rappresentazione esplicita tramite serie theta. Crucialmente, questa costruzione è puramente probabilistica e analitica in questa fase, indipendente da input della teoria dei numeri come equazioni funzionali o trasformate di Mellin.
2. Output Analitici Duali: Da questo singolo nucleo vengono generati due distinti oggetti analitici:
   • Lato Laplace: Una trasformata di Laplace bilaterale $B_{\Phi^*}(s)$ di un nucleo centrato, che ammette una fattorizzazione Schoenberg–Edrei–Karlin in una funzione intera priva di zeri $E(s)$ e una funzione real-intera $\Psi(s)$ (la famiglia di riferimento $P_N$) con soli zeri reali.
   • Lato Mellin: Un nucleo completato archimedeeamente $\tilde{K}_{\text{arch}}$, la cui trasformata di Mellin è identificata con la classica funzione $\Xi$ di Riemann ($\Xi(2z)$).
3. Confronto tra Strisce e Rigidità: Il meccanismo centrale consiste nel confrontare queste due funzioni su strisce di sovrapposenza.
   • Continuazione nella Striscia Sinistra: L'articolo estende il dominio della trasformata di Laplace $B_{\Phi^*}$ a una striscia sinistra ($-1/2 < \Re(s) < 1/4$) utilizzando la scissione modulare e la simmetria distorta esatta del nucleo centrato.
   • Identità al Bordo: Viene stabilita un'identità precisa sulla linea di bordo $\Re(s) = -1/2$, collegando direttamente la trasformata di Laplace continuata alla trasformata di Mellin del nucleo archimedeo (e quindi a $\Xi$).
   • Analisi del Rapporto di Seam: Un "rapporto di seam" (seam ratio) normalizzato $R(w)$ viene definito, collegando $\Xi(2w)$ al polinomio di riferimento $P_N(w)$. Sotto l'Ipotesi 1.1 (accoppiamento spettrale/separazione al bordo su rettangoli) e l'Ipotesi 1.2 (controllo settoriale quantitativo), viene applicato un lemma di rigidità. Questo lemma, radicato nella teoria di Rouché e negli spazi di Nevanlinna/Hardy, forza il rapporto di seam a essere un "elemento di striscia" (strip-unit), ovvero una funzione olomorfa, priva di zeri e di tipo limitato.

Contributi Chiave e Risultati

• Teorema 1.6 (Panoramica del Teorema Principale): L'articolo stabilisce che, sotto le assunzioni vigenti, il nucleo di traccia di limite di scala produce sia una fattorizzazione Schoenberg–Edrei–Karlin con un divisore di zeri reali, sia un completamento archimedeo identificato con $\Xi(2z)$. Crucialmente, fornisce l'apparato analitico (continuazione e identità al bordo) per collocare questi due oggetti in un contesto di striscia comune.
• Teorema 1.7 (Teorema Condizionale dell'Elemento di Striscia): Questo è il risultato principale dell'articolo. Esso afferma che, se le Ipotesi 1.1 e 1.2 sono soddisfatte, il rapporto di seam normalizzato $\tilde{R}_N(w)$ è olomorfo e privo di zeri sulla striscia $S_\eta$. Di conseguenza, $\Xi(2w)$ e la famiglia di riferimento $P_N(w)$ condividono esattamente lo stesso divisore di zeri su tale striscia.
• Rigidità Analitica: L'articolo introduce un meccanismo di "forzatura dell'elemento di striscia" (strip-unit forcing). Dimostrando che la differenza tra le due funzioni è piccola rispetto alla funzione di riferimento sul bordo di rettangoli in espansione (Ipotesi 1.1), e che l'argomento del rapporto è controllato (Ipotesi 1.2), l'articolo prova che le funzioni devono avere identici conteggi di zeri nell'interno.
• Separazione Logica: Il lavoro separa rigorosamente la costruzione probabilistica del nucleo dall'identificazione della teoria dei numeri. La derivazione della fattorizzazione real-intera non dipende dalle proprietà di $\Xi$, e l'identificazione della trasformata di Mellin non dipende dalla fattorizzazione spettrale, garantendo che l'argomento non sia circolare.

Significato e Rivendicazioni
L'articolo rivendica di fornire lo "step mancante di identificazione del divisore" dal lavoro precedente (Articolo I). La sua importanza risiede nel:

1. Framework Unificante: Dimostra che la funzione $\Xi$ di Riemann e un determinante spettrale di un semplice processo di Markov sono analiticamente legati tramite una normalizzazione rigida.
2. Identificazione del Divisore: Dimostra che, condizionatamente alla verifica delle stime al bordo, gli zeri non banali della funzione zeta di Riemann (codificati in $\Xi$) devono coincidere con gli zeri reali del determinante spettrale del ciclo $P_N$. Poiché $P_N$ possiede solo zeri reali per auto-ammissibilità, ciò suggerisce un percorso per dimostrare l'Ipotesi di Riemann (ovvero che tutti gli zeri non banali giaccano sulla linea critica) forzando gli zeri di $\Xi$ a essere reali nella variabile trasformata.
3. Rigore Metodologico: L'articolo enfatizza un approccio "sottoposto a stress test", verificando esplicitamente i tassi di decadimento, le condizioni di simmetria e l'assenza di poli spurii per garantire la validità degli scambi analitici.

Limitazioni e Dipendenze
L'articolo dichiara esplicitamente che la sua conclusione principale (identificazione del divisore) è condizionata. Essa dipende da:

• Ipotesi 1.1: L'esistenza di un elemento olomorfo privo di zeri $U_{\eta,N}$ che soddisfi una stretta disuguaglianza di separazione al bordo su rettangoli $R_T$.
• Ipotesi 1.2: Controllo settoriale quantitativo sull'argomento del rapporto di seam normalizzato sul bordo di tali rettangoli.
  L'articolo nota che la verifica di queste ipotesi, inclusa la scelta del regime ammissibile della dimensione del ciclo $N(T)$, è differita all'Articolo III. Senza la verifica di queste condizioni al bordo, l'identificazione del divisore rimane un risultato condizionato.