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

Resumo Técnico: A Função $\Xi$ de Riemann de Ciclos Markovianos Primitivos II: Rigidez de Faixa e Identificação de Divisores

Enunciado do Problema
Este artigo aborda um problema fundamental de comparação na teoria analítica dos números: estabelecer a equivalência entre duas construções analíticas distintas derivadas de um único arcabouço dinâmico primitivo. Especificamente, busca-se comparar a clássica função $\Xi$ de Riemann, oriunda da completude arquimediana de um núcleo de traço de limite de escala, contra uma família canônica de determinantes espectrais real-inteiros ($P_N$) derivados do Laplaciano de ciclos de cadeias de Markov reversíveis finitas. O desafio central é demonstrar que esses dois objetos compartilham o mesmo divisor de zeros (ou seja, os mesmos zeros) em faixas horizontais no plano complexo, até uma normalização rígida e livre de zeros. Esta comparação é condicional a hipóteses de holomorfia e não-anulação de fronteira, que se postula serem verificadas em um terceiro artigo da trilogia.

Metodologia
O artigo emprega uma abordagem de "rigidez de faixa" (strip rigidity), utilizando análise complexa em faixas horizontais para vincular a fatoração espectral do lado de Laplace à função zeta do lado de Mellin. A metodologia procede através de três estágios primários:

1. Origem Dinâmica Primitiva: A análise começa com o limite de escala de dinâmicas de Markov reversíveis, de vizinho mais próximo, em ciclos discretos ($\mathbb{Z}/N\mathbb{Z}$). Isso resulta em um núcleo de traço renormalizado com uma representação explícita de série theta. Crucialmente, esta construção é puramente probabilística e analítica nesta etapa, independente de entradas da teoria dos números como equações funcionais ou transformadas de Mellin.
2. Saídas Analíticas Duais: A partir deste mesmo núcleo, dois objetos analíticos distintos são gerados:
   • Lado de Laplace: Uma transformada de Laplace bilateral $B_{\Phi^*}(s)$ de um núcleo centrado, que admite uma fatoração Schoenberg–Edrei–Karl–in em uma função inteira livre de zeros $E(s)$ e uma função real-inteira $\Psi(s)$ (a família de referência $P_N$) com apenas zeros reais.
   • Lado de Mellin: Um núcleo arquimediano-completado $\tilde{K}_{\text{arch}}$, cuja transformada de Mellin é identificada com a função $\Xi$ de Riemann clássica ($\Xi(2z)$).
3. Comparação de Faixas e Rigidez: O mecanismo central envolve a comparação desses dois objetos em faixas de sobreposição.
   • Continuação para a Faixa à Esquerda: O artigo estende o domínio da transformada de Laplace $B_{\Phi^*}$ para uma faixa à esquerda ($-1/2 < \Re(s) < 1/4$) usando divisão modular e a simetria torcida exata do núcleo centrado.
   • Identidade de Fronteira: Uma identidade precisa é estabeleída na linha de fronteira $\Re(s) = -1/2$, vinculando a transformada de Laplace continuada diretamente à transformada de Mellin do núcleo arquimediano (e, portanto, a $\Xi$).
   • Análise da Razão de Costura (Seam Ratio): Uma "razão de costura" normalizada $R(w)$ é definida, ligando $\Xi(2w)$ ao polinômio de referência $P_N(w)$. Sob a Hipótese 1.1 (acoplamento espectral/separação de fronteira em retângulos) e a Hipótese 1.2 (controle de setor quantitativo), um lema de rigidez é aplicado. Este lema, fundamentado no teorema de Rouché e na teoria de espaços de Nevanlinna/Hardy, força a razão de costura a ser uma "unidade de faixa" (uma função holomorfa, livre de zeros e de tipo limitado).

Contribuições Principais e Resultados

• Teorema 1.6 (Visão Geral do Teorema Principal): O artigo estabelece que, sob as suposições vigentes, o núcleo de traço de limite de escala produz tanto uma fatoração Schoenberg–Edrei–Karl com um divisor de zeros reais quanto uma completude arquimediana identificada com $\Xi(2z)$. Crucialmente, fornece a maquinaria analítica (continuação e identidades de fronteira) para situar esses dois objetos em um cenário de faixa comum.
• Teorema 1.7 (Teorema da Unidade de Faixa Condicional): Este é o principal resultado do artigo. Ele afirma que, se as Hipóteses 1.1 e 1.2 forem válidas, a razão de costura normalizada $\tilde{R}_N(w)$ é holomorfa e livre de zeros na faixa $S_\eta$. Consequentemente, $\Xi(2w)$ e a família de referência $P_N(w)$ compartilham exatamente o mesmo divisor de zeros naquela faixa.
• Rigidez Analítica: O artigo introduz um mecanismo de "forçamento de unidade de faixa". Ao demonstrar que a diferença entre as duas funções é pequena em relação à função de referência na fronteira de retângulos em expansão (Hipótese 1.1), e que o argumento da razão é controlado (Hipótese 1.2), o artigo prova que as funções devem ter contagens de zeros idênticas no interior.
• Separação Lógica: O trabalho separa rigorosamente a construção probabilística do núcleo da identificação da teoria dos números. A derivação da fatoração real-inteira não depende das propriedades de $\Xi$, e a identificação da transformada de Mellin não depende da fatoração espectral, garantindo que o argumento não seja circular.

Significância e Alegações
O artigo alega fornecer o "passo de identificação de divisor faltante" do trabalho precedente (Artigo I). Sua significância reside em:

1. Arcabouço Unificado: Demonstra que a função $\Xi$ de Riemann e um determinante espectral de um processo de Markov simples estão analiticamente ligados via uma normalização rígida.
2. Identificação de Divisores: Prova que, condicionalmente à verificação de estimativas de fronteira, os zeros não triviais da função zeta de Riemann (codificados em $\Xi$) devem coincidir com os zeros reais do determinante espectral de ciclo $P_N$. Como $P_N$ possui apenas zeros reais por autoadjunção, isso sugere um caminho para provar a Hipótese de Riemann (que todos os zeros não triviais residem na linha crítica) ao forçar os zeros de $\Xi$ a serem reais na variável transformada.
3. Rigor Metodológico: O artigo enfatiza uma abordagem de "teste de estresse", verificando explicitamente taxas de decaimento, condições de simetria e a ausência de polos espúrios para garantir a validade das trocas analíticas.

Limitações e Dependências
O artigo declara explicitamente que sua conclusão principal (identificação de divisor) é condicional. Ela depende de:

• Hipótese 1.1: A existência de uma unidade holomorfa livre de zeros $U_{\eta,N}$ que satisfaz uma desigualdade de separação de fronteira estrita em retângulos $R_T$.
• Hipótese 1.2: Controle de setor quantitativo sobre o argumento da razão de costura normalizada na fronteira desses retângulos.
  O artigo observa que a verificação dessas hipóteses, incluindo a escolha do regime admissível para o tamanho do ciclo $N(T)$, é adiada para o Artigo III. Sem a verificação dessas condições de fronteira, a identificação do divisor permanece um resultado condicional.