Siegel zeros and small gaps between zeros of the Riemann zeta function

Resumo Técnico: Zeros de Siegel e Pequenos Intervalos entre Zeros da Função Zeta de Riemann

Enunciado do Problema
O artigo aborda a distribuição vertical dos zeros não triviais da função zeta de Riemann, $\zeta(s)$. Especificamente, investiga a existência de "pequenos intervalos" (gaps) entre ordenadas consecutivas $\gamma_n$ e $\gamma_{n+1}$. A distribuição é normalizada pelo espaçamento médio $2\pi/\log \gamma_n$. Os autores definem a quantidade $\mu = \liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) / (2\pi/\log \gamma_n)$.

Uma conjectura de longa data postula que $\mu = 0$. Embora a Hipótese de Riemann (RH) seja assumida, o problema não é o melhor limite inferior incondicional conhecido para $\mu$; em vez disso, o artigo foca no limite superior. Antes deste trabalho, o melhor resultado sobre RH era $\mu < 0,50895$ (Inoue). Havia um sentimento predominante de que o valor $1/2$ representa uma barreira natural para $\mu$ devido à potencial existência de zeros de Siegel (zeros reais excepcionais de funções $L$ de Dirichlet). Trabalhos anteriores de Heath-Brown e Conrey–Iwaniec sugeriram que, se os zeros de Siegel existissem, eles poderiam impor uma rigidez nos zeros da zeta, impedindo que intervalos menores que $1/2$ ocorressem com frequência (a "Hipótese Alternativa").

Metodologia
Os autores empregam o método de Montgomery–Odlyzko, que compara dois integrais ponderados para detectar pequenos intervalos. A inovação central reside na escolha da função "ressonador" $R(t)$ e no comprimento do polinômio de Dirichlet associado.

1. Polinômios de Dirichlet Longos: Aplicações tradicionais do método de Montgomery–Odlyzko são limitadas a polinômios de Dirichlet "curtos" (comprimento $L \ll T$) para evitar termos off-diagonais intratáveis envolvendo correlações aditivas de coeficientes. Este artigo rompe essa barreira ao utilizar polinômios de Dirichlet longos com comprimento $L \approx T^{17/14}$.
2. Construção do Ressonador: O ressonador é escolhido como $R(t) = \sum_{n \le L} \chi(n)G(n)n^{-1/2-it}$, onde $\chi$ é um caráter de Dirichlet quadrático primitivo associado a um zero de Siegel. Os coeficientes envolvem um peso suave $G(n)$ e o caráter $\chi$.
3. Tratamento de Termos Off-Diagonal: O principal desafio técnico é estimar as correlações off-diagonais $\sum \chi(m)\chi(km+r)$ e $\sum \Lambda(k)\chi(km+r)$. Os autores desenvolvem um novo esquema para lidar com essas correlações com termos de erro de economia de potência, dividindo a análise em três regimes baseados no tamanho da variável prima $k$:
   • $k$ pequeno: Tratado via limites em somas de correlação usando o Lema 4 (uma extensão do trabalho de Heath-Brown).
   • $k$ intermediário: Abordado usando estimativas de segundo momento para somas de caracteres deslocadas (Cauchy–Schwarz combinado com técnicas do problema do divisor aditivo).
   • $k$ grande: Resolvido através da separação de variáveis em $\chi(km+r)$ via inversão de Fourier (somas de Jacobi generalizadas) e aplicação de estimativas de densidade de zeros para funções $L$ de Dirichlet (especificamente a estimativa de Chen–Gupta–Li) para limitar a soma sobre os caracteres.

Principais Resultados
O artigo estabelece o seguinte teorema principal sob a assunção da Hipótese de Riemann:

Teorema 1: Assuma RH e que exista uma sequência excepcional de zeros de Siegel com qualidade $E = \inf_j E_j$ suficientemente grande. Então:
$$\mu < 0,4733$$
Especificamente, os autores mostram que $\liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) \frac{\log \gamma_n}{2\pi} < 0,4733$.

Corolário 2: Sob as mesmas assunções, uma distribuição assintótica onde os intervalos normalizados são restritos ao conjunto $\frac{1}{2}\mathbb{Z}_{\ge 1} + o(1)$ não pode existir. Isso refuta uma forma forte da "Hipótese Alternativa" que postula que os zeros de Siegel forçam todos os intervalos a serem meio-inteiros.

Significância e Alegações
Os autores afirmam que seu resultado é surpreendente porque demonstra que os zeros de Siegel não atuam como uma barreira para provar $\mu < 1/2$; em vez disso, a existência de tais zeros pode ser usada para provar a existência de intervalos menores que $1/2$.

• Refutação de Fortes Hipóteses Alternativas: O resultado refuta a ideia de que os zeros de Siegel implicam uma distribuição rígida onde quase todos os intervalos são $\ge 1/2$. Em vez disso, mostra que, se os zeros de Siegel existirem, deve haver um agrupamento de zeros com intervalos normalizados estritamente menores que $0,4733$.
• Inovação Metodológica: O artigo destaca que a limitação do método de Montgomery–Odlyzko para $\mu < 0,508$ deveu-se à restrição a polinômios curtos. Ao gerenciar com sucesso os termos off-diagonais de polinômios longos (comprimento $T^{17/14}$) usando os zeros de Siegel para estruturar os coeficientes, os autores contornam essa barreira computacional.
• Nuance Técnica: Os autores esclarecem que seu resultado não contradiz Heath-Brown ou Conrey–Iwaniec. Aqueles trabalhos estabeleceram que os zeros de Siegel implicam poucos intervalos menores que $1/2$ (um resultado de proporcionalidade quantitativa). Este artigo estabelece a existência de pelo menos um intervalo menor que $0,4733$ (um resultado de liminf) sem alegar uma proporção positiva de tais intervalos.

O artigo conclui que, embora os zeros de Siegel continuem sendo uma barreira para estabelecer uma proporção positiva de pequenos intervalos (devido à necessidade de momentos superiores que restringem ainda mais o comprimento do polinômio), eles não são uma barreira para estabelecer a existência de intervalos abaixo de $1/2$. Os autores observam que novos refinamentos na escolha de coeficientes ou nas estimativas de densidade de zeros (por exemplo, a Hipótese de Densidade) poderiam potencialmente reduzir o limite, talvez para $\mu < 0,467$, mas o presente trabalho foca no mecanismo de usar os zeros de Siegel para romper a barreira de $1/2$.