Improving on the Brun-Titchmarsh Theorem

Resumo Técnico: Melhoria no Teorema de Brun-Titchmarsh

Enunciado do Problema
O artigo aborda o limite superior para o número de primos em um intervalo de comprimento $N$, especificamente a quantidade $\pi(M+N) - \pi(M)$. O objetivo central é refinar o clássico Teorema de Brun-Titchmarsh, que afirma que, para $N$ grande, essa contagem é limitada por $2N / \log N$. Embora se saiba que a constante 2 é ótima para métodos de crivo em um contexto geral (o "princípio da paridade"), os autores visam quantificar o termo $o(1)$ de forma mais precisa. Especificamente, buscam estabelecer um limite da forma:
$$\pi(M+N) - \pi(M) \le \frac{2N}{\log N + c}$$
para uma constante $c$ específica e melhorada. Trabalhos anteriores, como os de Montgomery & Vaughan ($c=5/6$) e outros, haviam fornecido vários valores, mas os autores visam elevar essa constante.

Metodologia
Os autores empregam um processo de crivo híbrido que combina elementos do crivo de grande escala (large sieve) e do crivo de Selberg, utilizando uma estrutura que denominam "modelos locais". A metodologia procede através de várias etapas distintas:

1. Desigualdades Hilbertianas e Sistemas Quase Ortogonais:
   O artigo começa estabelecendo um sistema "quase ortogonal" generalizado em um espaço de Hilbert complexo. Isso estende o lema de Selberg ao introduzir um termo de erro bilinear envolvendo coeficientes $\omega_{i,j}$. Este refinamento permite um tratamento mais detalhado dos termos de resto no crivo. Os autores derivam uma desigualdade ponderada (Teorema 2.1) onde os pesos $\xi_i$ são otimizados para minimizar o erro, abordando especificamente o problema de majorizar uma função degrau por um polinômio.

2. Modelos Locais para Primos:
   A sequência de primos em um intervalo é aproximada usando funções características de inteiros coprimos a um módulo $d$. Para lidar com a redundância inerente à sequência de módulos (onde saber a coprimaridade a $d$ implica a coprimaridade aos seus fatores), os autores definem um "sistema local" usando somas de Ramanujan $c_q(n)$. Eles constroem uma base de funções $\phi^*_q$ que são "quase ortogonais" em relação a um produto interno ponderado definido no intervalo $[M+1, M+N]$.

3. Análise de Termos de Resto:
   A estimativa central envolve o limite do termo de resto $R$ proveniente da forma bilinear. Isso requer a análise da distribuição de inteiros coprimos a um módulo fixo $f$ (escolhido como $f=210$) dentro de subintervalos. Os autores introduzem as funções $\theta^+_f(u)$ e $\theta^-_f(u)$ para limitar o desvio da contagem de tais inteiros em relação à sua densidade esperada. Estas funções são funções degrau que devem ser limitadas superiormente por um polinômio.

4. Aproximação Polinomial e Programação Linear:
   Um obstáculo técnico significativo é encontrar um polinômio $P(u)$ que majorize estritamente a função degrau $\theta^*_{210}(u)$ (derivada de $\theta^+_f$ e $\theta^-_f$) enquanto minimiza um funcional linear específico $F(P)$. Os autores observam que métodos de aproximação padrão (como polinômios de Bernstein) produziram resultados numéricos insatisfatórios. Em vez disso, utilizam programação linear (especificamente o pacote lpsolve) para encontrar um polinômio de grau 25.

   • O polinômio é constrangido a ser maior que $\theta^*_{210}$ em 300 pontos específicos.
   • Os coeficientes são restritos a um limite inferior ($-1000$) para gerenciar a não-compacidade do domínio.
   • Os autores reconhecem instabilidades numéricas e o fato de que muitos coeficientes atingem a fronteira artificial, impedindo uma prova analítica totalmente rigorosa da validade global do polinômio sem verificação numérica.

5. Otimização Final:
   O polinômio otimizado é usado para limitar o termo de erro na desigualdade do crivo. Ao enviar os parâmetros auxiliares para o infinito e otimizar a razão $S^2/N$, os autores derivam um limite inferior para a quantidade $N/Z - \frac{1}{2}\log N$, o que se traduz diretamente na constante $c$ no teorema final.

Principais Contribuições e Resultados

• Teorema Principal: Os autores provam que existe um $N_0$ tal que para todo $N \ge N_0$ e $M \ge 1$:
  $$\pi(M+N) - \pi(M) \le \frac{2N}{\log N + 3.53}$$
  (O cálculo no texto resulta em $3.5372$, arredondado para $3.53$ no resumo).
• Técnica de Crivo Híbrido: O artigo introduz uma formulação específica do crivo que mistura o crivo de grande escala e o crivo de Selberg, utilizando "modelos locais" para lidar com os termos de resto com maior precisão do que aplicações anteriores desses métodos.
• Otimização Numérica em Teoria de Crivos: O trabalho demonstra a necessidade de métodos numéricos (programação linear) para resolver os problemas de otimização inerentes à teoria de crivos moderna, especificamente a majoração de funções degrau por polinômios.

Significância e Limitações
O artigo afirma que a constante $3.53$ representa uma melhoria sobre limites anteriores (como $c=2.81$ encontrado em "lectures on sieves"). No entanto, os autores são explícitos quanto às limitações de seu resultado:

• Dependência Numérica: O resultado depende fortemente de computações numéricas, particularmente o passo de programação linear. Os autores observam que não conseguiram encontrar uma expressão de forma fechada para o polinômio majorante e que a solução envolveu coeficientes atingindo fronteiras artificiais, o que introduz instabilidade numérica.
• Otimalidade: Os autores afirmam que "não estão em posição de assegurar que nosso resultado seja o melhor possível", mesmo dentro dos limites de seu próprio método. A melhoria é alcançada através de uma escolha específica de pesos e uma otimização numérica do polinômio, e não através de um avanço teórico fundamental no próprio princípio da paridade.
• Escopo: A melhoria é específica para a constante no denominador do limite de Brun-Titchmarsh para $N$ grande. O método não pretende resolver o problema da paridade ou fornecer fórmulas assintóticas, mas sim estreitar o limite superior para a contagem de primos em intervalos curtos.

Em resumo, o artigo fornece uma melhoria rigorosa, embora assistida numericamente, da constante de Brun-Titchmarsh ao refinar a análise de erro em uma estrutura de crivo híbrido, reconhecendo que a precisão do resultado é limitada pela estabilidade numérica da aproximação polinomial utilizada.