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

Resumen Técnico: La función $\Xi$ de Riemann desde ciclos de Markov primitivos II: Rigidez de la franja e identificación del divisor

Planteamiento del problema
Este artículo aborda un problema de comparación fundamental en la teoría analítica de números: establecer la equivalencia entre dos construcciones analíticas distintas derivadas de un único marco dinámico primitivo. Específicamente, busca comparar la clásica función $\Xi$ de Riemann, que surge de la completación arquimediana de un núcleo de traza de límite de escala, frente a una familia canónica de determinantes espectrales reales-enteros ($P_N$) derivados del Laplaciano de ciclos de cadenas de Markov reversibles finitas. El desafío central es demostrar que estos dos objetos comparten el mismo divisor de ceros (es decir, los mismos ceros) en franjas horizontales en el plano complejo, salvo por una normalización rígida y libre de ceros. Esta comparación es condicional a ciertas hipótesis de holomorfía y de no anulación en la frontera, las cuales se postula que serán verificadas en un tercer artículo de la trilogía.

Metodología
El artículo emplea un enfoque de "rigidez de la franja", utilizando el análisis complejo en franjas horizontales para vincular la factorización espectral del lado de Laplace con la función zeta del lado de Mellin. La metodología procede a través de tres etapas primarias:

1. Origen Dinámico Primitivo: El análisis comienza con el límite de escala de la dinámica de Markov de vecinos más cercanos, reversibles y finitos sobre ciclos discretos ($\mathbb{Z}/N\mathbb{Z}$). Esto produce un núcleo de traza renormalizado con una representación explícita de serie theta. Crucialmente, esta construcción es puramente probabilística y analítica en esta etapa, independiente de entradas de la teoría de números como ecuaciones funcionales o transformadas de Mellin.
2. Salidas Analíticas Duales: De este único núcleo, se generan dos objetos analíticos distintos:
   • Lado de Laplace: Una transformada de Laplace bilateral $B_{\Phi^*}(s)$ de un núcleo centrado, que admite una factorización de Schoenberg–Edrei–Karlin en una función entera libre de ceros $E(s)$ y una función real-entera $\Psi(s)$ (la familia de referencia $P_N$) con ceros únicamente reales.
   • Lado de Mellin: Un núcleo completado arquimedianamente $\tilde{K}_{\text{arch}}$, cuya transformada de Mellin se identifica con la función $\Xi$ de Riemann clásica ($\Xi(2z)$).
3. Comparación de Franjas y Rigidez: El mecanismo central consiste en comparar estas dos funciones en franjas de traslape.
   • Continuación a la Franja Izquierda: El artículo extiende el dominio de la transformada de Laplace $B_{\Phi^*}$ a una franja izquierda ($-1/2 < \Re(s) < 1/4$) utilizando la división modular y la simetría retorcida exacta del núcleo centrado.
   • Identidad de Frontera: Se establece una identidad precisa en la línea de frontera $\Re(s) = -1/2$, vinculando la transformada de Laplace continuada directamente con la transformada de Mellin del núcleo arquimediano (y, por ende, con $\Xi$).
   • Análisis de la Razón de Costura: Se define una "razón de costura" normalizada $R(w)$, que vincula $\Xi(2w)$ con el polinomio de referencia $P_N(w)$. Bajo la Hipótesis 1.1 (acoplamiento espectral/separación de frontera en rectángulos) y la Hipótesis 1.2 (control de sector cuantitativo), se aplica un lema de rigidez. Este lema, basado en el teorema de Rouché y la teoría de espacios de Nevanlinna/Hardy, fuerza a la razón de costura a ser una "unidad de franja" (una función holomorfa, libre de ceros y de tipo acotado).

Contribuciones Clave y Resultados

• Teorema 1.6 (Visión General del Teorema Principal): El artículo establece que, bajo supuestos constantes, el núcleo de traza de límite de escala produce tanto una factorización de Schoenberg–Edrei–Karlin con un divisor de ceros reales como una completación arquimediana identificada con $\Xi(2z)$. Crucialmente, proporciona la maquinaria analítica (continuación e identidades de frontera) para situar estos dos objetos en un entorno de franja común.
• Teorema 1.7 (Teorema de la Unidad de Franja Condicional): Este es el resultado principal del artículo. Establece que, si las Hipótesis 1.1 y 1.2 se cumplen, la razón de costura normalizada $\tilde{R}_N(w)$ es holomorfa y libre de ceros en la franja $S_\eta$. En consecuencia, $\Xi(2w)$ y la familia de referencia $P_N(w)$ comparten exactamente el mismo divisor de ceros en esa franja.
• Rigidez Analítica: El artículo introduce un mecanismo de "forzado de unidad de franja". Al demostrar que la diferencia entre las dos funciones es pequeña en relación con la función de referencia en la frontera de rectángulos en expansión (Hipótesis 1.1), y que el argumento de la razón está controlado (Hipótesis 1.2), el artículo prueba que las funciones deben tener recuentos de ceros idénticos en el interior.
• Separación Lógica: El trabajo separa rigurosamente la construcción probabilística del núcleo de la identificación de la teoría de números. La derivación de la factorización real-entera no depende de las propiedades de $\Xi$, y la identificación de la transformada de Mellin no depende de la factorización espectral, asegurando que el argumento no sea circular.

Significado y Reivindicaciones
El artículo afirma proporcionar el "paso de identificación de divisor faltante" del trabajo precedente (Artículo I). Su importancia radica en:

1. Marco Unificado: Demuestra que la función $\Xi$ de Riemann y un determinante espectral de un proceso de Markov simple están analíticamente vinculados mediante una normalización rígida.
2. Identificación del Divisor: Prueba que, condicionalmente a la verificación de las estimaciones de frontera, los ceros no triviales de la función zeta de Riemann (codificados en $\Xi$) deben coincidir con los ceros reales del determinante espectral del ciclo $P_N$. Dado que $P_N$ tiene solo ceros reales por autoadjunticidad, esto sugiere una vía para probar la Hipótesis de Riemann (que todos los ceros no triviales yacen en la línea crítica) al forzar que los ceros de $\Xi$ sean reales en la variable transformada.
3. Rigor Metodológico: El artículo enfatiza un enfoque de "prueba de estrés", verificando explícitamente las tasas de decaimiento, las condiciones de simetría y la ausencia de polos espurios para asegurar la validez de los intercambios analíticos.

Limitaciones y Dependencias
El artículo establece explícitamente que su conclusión principal (identificación del divisor) es condicional. Depende de:

• Hipótesis 1.1: La existencia de una unidad holomorfa libre de ceros $U_{\eta,N}$ que satisfaga una desigualdad estricta de separación de frontera en los rectángulos $R_T$.
• Hipótesis 1.2: Control de sector cuantitativo sobre el argumento de la razón de costura normalizada en la frontera de estos rectángulos.
  El artículo señala que la verificación de estas hipótesis, incluyendo la elección del régimen admisible para el tamaño del ciclo $N(T)$, se difiere al Artículo III. Sin la verificación de estas condiciones de frontera, la identificación del divisor sigue siendo un resultado condicional.