More than two thirds of the zeta zeros are simple and on the critical line

Resumo Técnico: "Mais de Dois Terços dos Zeros da Função Zeta de Riemann São Simples e Estão na Linha Crítica"

Enunciado do Problema
O artigo aborda a distribuição dos zeros não triviais da função zeta de Riemann, $\zeta(s)$. Especificamente, busca limites inferiores incondicionais para duas quantidades conforme $T \to \infty$:

1. A proporção de zeros que residem na linha crítica ($\text{Re}(s) = 1/2$) que são simples (multiplicidade 1).
2. A proporção de zeros distintos (contando a multiplicidade como 1, independentemente da ordem) que residem na linha crítica.

Antes deste trabalho, os recordes incondicionais eram $5/12$ ($\approx 0,4167$) para zeros simples na linha e $0,6603$ para zeros distintos. Sob a Hipótese de Riemann (RH), Montgomery (1973) deduziu que pelo menos $2/3$ dos zeros são simples na linha, e trabalhos subsequentes melhoraram os limites de zeros distintos. O desafio tem sido remover a dependência da RH, que historicamente era necessária para garantir a positividade do "lado dos zeros" da fórmula explícita de Weil ao somar sobre ordenadas reais.

Metodologia
A prova constrói uma aproximação de dimensão finita da fórmula explícita de Weil e aplica desigualdades de posto-traço (rank-trace) algébricas lineares para contornar a necessidade da RH.

1. A Fórmula Explícita de Weil e Formas Hermitianas:
   Os autores utilizam a fórmula explícita de Weil para definir uma forma hermitiana $W(f, g) = \sum_\rho m_\rho \hat{f}(\gamma_\rho) \overline{\hat{g}(\gamma_\rho)}$ sobre funções de teste. A positividade desta forma em todas as funções de suporte compacto é equivalente à RH.
   Em vez de assumir a positividade, os autores restringem esta forma a uma família específica de funções de teste moduladas de dimensão $d \approx N(T, 2T)$ (uma "janela" $\psi$) espaçadas sobre o intervalo $[T, 2T]$. Isso resulta em uma matriz real simétrica $\tilde{G}$ de ordem $d \times d$.

2. Decomposição de Matriz (O Lado dos Zeros):
   A matriz $\tilde{G}$ é decomposta em $\tilde{G} = P + Q + E$, onde:

• $P$ representa as contribuições dos zeros na linha crítica.
• $Q$ representa as contribuições de pares fora da linha $\{\rho, 1-\bar{\rho}\}$.
• $E$ é um termo de cauda com norma de traço pequena.

Crucialmente, os autores analisam o posto (rank) e o índice positivo (número de autovalores positivos) desses componentes:

• Cada zero simples na linha contribui com posto 1 para $P$.
• Cada par fora da linha contribui com um bloco de assinatura $(1, 1)$ para $Q$, o que significa que contribui com 1 para o índice positivo $n_+(Q)$, mas 0 para o posto da parte "na linha".
• Esta visão estrutural, atribuída a Bombieri, permite aos autores limitar o número de pares fora da linha usando o índice positivo de $Q$.

3. Desigualdade Posto-Traço (A Inovação Central):
   O artigo introduz uma desigualdade algébrica linear específica (Lema 3.2) para matrizes hermitianas $P_1 \succeq 0$ e $Q'$:
   $$\text{rank}(P_1) \ge 2\text{tr}(P_1) + 4\text{tr}(Q') - 4n_+(Q') - \|P_1 + Q'\|_{HS}^2$$
   Ao definir $P_1$ como a parte de $P$ correspondente aos zeros simples na linha e $Q'$ como o restante, os autores derivam um limite inferior para o número de zeros simples na linha ($N_s^0$) puramente em termos do traço e da norma de Frobenius de $\tilde{G}$ e da contagem de pares fora da linha. Isso substitui a necessidade clássica de positividade termo a termo (que falha fora da linha) por um limite de "posto-traço".

4. O Lado dos Primos (Avaliação Incondicional):
   O traço $\text{tr}(\tilde{G})$ e a norma de Frobenius ao quadrado $\|\tilde{G}\|_{HS}^2$ são avaliados usando o "lado dos primos" da fórmula de Weil.

• Mostra-se que $\text{tr}(\tilde{G})$ é assintoticamente $N(T, 2T)$.
• $\|\tilde{G}\|_{HS}^2$ é avaliado como um valor médio de um polinômio de Dirichlet. Isso depende da desigualdade de Montgomery–Vaughan e de limites sobre somas de $\Lambda(n)^2$.
• O resultado é $\|\tilde{G}\|_{HS}^2 = (R(\psi) + o(1))N(T, 2T)$, onde $R(\psi)$ é uma constante dependente da função janela. Para a janela indicadora, $R(\psi_0) = 4/3$.

Principais Contribuições e Resultados
O artigo estabelece os seguintes resultados incondicionais para o intervalo $(T, 2T)$:

• Teorema A(i): Pelo menos $2/3$ (especificamente $2/3 - o(1)$) dos zeros não triviais são simples e residem na linha crítica.
  • Usando a janela de Montgomery–Taylor, esta constante melhora para $0,6725$.
• Teorema A(ii): Pelo menos $5/6$ (especificamente $5/6 - o(1)$) dos zeros não triviais são distintos e residem na linha crítica.
  • Usando a janela de Montgomery–Taylor, esta constante melhora para $0,8362$.
• Teorema B: Estes resultados estendem-se verbatim para funções $L$ de Dirichlet primitivas $L(s, \chi)$.

A prova não utiliza suavizadores (mollifiers), estimativas de densidade de zeros ou regiões de zero livre. Ela baseia-se na fórmula explícita, na estimativa de Stirling, nas estimativas de Chebyshev–Mertens e na desigualdade de Montgomery–Vaughan.

Significância e Alegações

• Tornar a Dedução de Montgomery Incondicional: O artigo afirma tornar incondicional a dedução de Montgomery de 1973 sobre a proporção de $2/3$. Classicamente, a RH era necessária para interpretar a soma do lado dos zeros como uma soma positiva sobre ordenadas reais. Aqui, os autores substituem essa positividade por uma desigualdade de posto-traço aplicada a uma compressão finita da forma de Weil.
• Otimalidade do Método: Os autores argumentam que o limite de $2/3$ é o limite para este método específico. Eles demonstram que a desigualdade usada é aguda dado apenas o traço, a norma de Frobenius e a estrutura de blocos da matriz. Melhorar o limite além de $2/3$ usando este método específico de "posto-traço" exigiria informações de correlação de pares além do suporte de Fourier 1 (ou seja, conhecimento de momentos superiores do lado dos primos), o que atualmente não está disponível incondicionalmente.
• Verificação Formal: O argumento matemático foi descoberto e escrito por uma IA (Claude), verificado por autores humanos e verificado formalmente em Lean 4. A formalização confirma que a prova depende apenas de axiomas padrão.
• Limitações: O artigo declara explicitamente o que os resultados não são. São apenas limites inferiores; os zeros restantes não são provados como estando fora da linha, apenas não são capturados por este certificado específico. O método é insensível a zeros fora da linha de ordem $o(N)$ e seria válido mesmo para funções onde a Hipótese de Riemann é falsa (por exemplo, funções zeta de Davenport–Heilbronn), desde que os dados aritméticos se mantenham.

Em resumo, o artigo fornece uma prova rigorosa e incondicional de que uma maioria significativa ($>66\%$) dos zeros da zeta são simples e estão na linha crítica, alcançando um limite que coincide com o resultado condicional clássico de Montgomery através de uma aplicação inovadora de restrições de posto algébrico à fórmula explícita.