Improving on the Brun-Titchmarsh Theorem

Résumé technique : Amélioration du théorème de Brun-Titchmarsh

Énoncé du problème
Le document traite de la borne supérieure du nombre de nombres premiers dans un intervalle de longueur $N$, spécifiquement la quantité $\pi(M+N) - \pi(M)$. L'objectif central est d'affiner le théorème classique de Brun-Titchmarsh, qui affirme que pour $N$ grand, ce compte est borné par $2N / \log N$. Bien qu'il soit connu que la constante 2 est optimale pour les méthodes de crible dans un contexte général (le « principe de parité »), les auteurs cherchent à quantifier le terme $o(1)$ plus précisément. Plus précisément, ils cherchent à établir une borne de la forme :
$$\pi(M+N) - \pi(M) \le \frac{2N}{\log N + c}$$
pour une constante $c$ spécifique et améliorée. Des travaux antérieurs par Montgomery & Vaughan ($c=5/6$) et d'autres avaient fourni diverses valeurs, mais les auteurs visent à augmenter cette constante.

Méthodologie
Les auteurs emploient un processus de criblage hybride qui combine des éléments du grand crible et du crible de Selberg, en utilisant un cadre qu'ils nomment « modèles locaux ». La méthodologie se déroule à travers plusieurs étapes distinctes :

1. Inégalités hilbertiennes et systèmes presque orthogonaux :
   Le papier commence par établir un système « presque orthogonal » généralisé dans un espace de Hilbert complexe. Cela étend le lemme de Selberg en introduisant un terme d'erreur bilinéaire impliquant des coefficients $\omega_{i,j}$. Ce raffinement permet une gestion plus détaillée des termes de reste du crible. Les auteurs dérivent une inégalité pondérée (Théorème 2.1) où les poids $\xi_i$ sont optimisés pour minimiser l'erreur, traitant spécifiquement le problème de la majoration d'une fonction en escalier par un polynôme.

2. Modèles locaux pour les nombres premiers :
   La séquence des nombres premiers dans un intervalle est approximée par les fonctions caractéristiques des entiers premiers avec un module $d$. Pour gérer la redondance inhérente à la séquence des modules (où le fait de connaître la coprimarité à $d$ implique la coprimarité à ses facteurs), les auteurs définissent un « système local » utilisant les sommes de Ramanujan $c_q(n)$. Ils construisent une base de fonctions $\phi^*_q$ qui sont « presque orthogonales » par rapport à un produit scalaire pondéré défini sur l'intervalle $[M+1, M+N]$.

3. Analyse des termes de reste :
   L'estimation centrale implique de borner le terme de reste $R$ provenant de la forme bilinéaire. Cela nécessite d'analyser la distribution des entiers premiers avec un module fixe $f$ (choisi comme $f=210$) au sein de sous-intervalles. Les auteurs introduisent les fonctions $\theta^+_f(u)$ et $\theta^-_f(u)$ pour borner l'écart de la distribution de ces entiers par rapport à leur densité attendue. Ces fonctions sont des fonctions en escalier qui doivent être majorées par un polynôme.

4. Approximation polynomiale et programmation linéaire :
   Un obstacle technique important est de trouver un polynôme $P(u)$ qui majore strictement la fonction en escalier $\theta^*_{210}(u)$ (dérivée de $\theta^+_f$ et $\theta^-_f$) tout en minimisant un fonctionnel linéaire spécifique $F(P)$. Les auteurs notent que les méthodes d'approximation standard (comme les polynômes de Bernstein) ont donné de médiocres résultats numériques. Au lieu de cela, ils utilisent la programmation linéaire (spécifiquement le package lpsolve) pour trouver un polynôme de degré 25.

• Le polynôme est contraint d'être supérieur à $\theta^*_{210}$ en 300 points spécifiques.
• Les coefficients sont restreints par une borne inférieure ($-1000$) pour gérer la non-compacité du domaine.
• Les auteurs reconnaissent des instabilités numériques et le fait que de nombreux coefficients atteignent la frontière artificielle, empêissant une preuve analytique pleinement rigoureuse de la validité globale du polynôme sans vérification numérique.

5. Optimisation finale :
   Le polynôme optimisé est utilisé pour borner le terme de reste dans l'inégalité du crible. En envoyant les paramètres auxiliaires vers l'infini et en optimisant le rapport $S^2/N$, les auteurs dérivent une borne inférieure pour la quantité $N/Z - \frac{1}{2}\log N$, ce qui se traduit directement par la constante $c$ dans le théorème final.

Contributions clés et résultats

• Théorème principal : Les auteurs prouvent qu'il existe un $N_0$ tel que pour tout $N \ge N_0$ et $M \ge 1$ :
  $$\pi(M+N) - \pi(M) \le \frac{2N}{\log N + 3.53}$$
  (Le calcul dans le texte donne $3.5372$, arrondi à $3.53$ dans le résumé).
• Technique de crible hybride : Le papier introduit une formulation spécifique du crible qui mélange le grand crible et le crible de Selberg, utilisant des « modèles locaux » pour traiter les termes de reste avec plus de précision que les applications précédentes de ces méthodes.
• Optimisation numérique en théorie du crible : Le travail démontre la nécessité des méthodes numériques (programmation linéaire) pour résoudre les problèmes d'optimisation inhérents à la théorie moderne du crible, spécifiquement la majoration de fonctions en escalier par des polynômes.

Signification et limites
Le papier affirme que la constante $3.53$ représente une amélioration par rapport aux bornes précédentes (telles que $c=2.81$ trouvées dans « lectures sur les cribles »). Cependant, les auteurs sont explicites quant aux limites de leur résultat :

• Dépendance numérique : Le résultat repose fortement sur des calculs numériques, particulièrement l'étape de programmation linéaire. Les auteurs notent qu'ils n'ont pas pu trouver d'expression en forme close pour le polynôme majorant et que la solution impliquait des coefficients atteignant des frontières artificielles, ce qui introduit une instabilité numérique.
• Optimalité : Les auteurs déclarent qu'ils ne sont « pas en position d'affirmer que notre résultat est le meilleur possible », même dans les limites de leur propre méthode. L'amélioration est obtenue grâce à un choix spécifique de poids et une optimisation numérique du polynôme, plutôt que par une percée théorique fondamentale du principe de parité lui-même.
• Portée : L'amélioration est spécifique à la constante dans le dénominateur de la borne de Brun-Titchmarsh pour de grands $N$. La méthode ne prétend pas résoudre le problème de la parité ou fournir des formules asymptotiques, mais vise à resserrer la borne supérieure du compte des nombres premiers dans de courts intervalles.

En résumé, le papier fournit une amélioration rigoureuse, bien qu'assistée numériquement, de la constante de Brun-Titchmarsh en affinant l'analyse de l'erreur dans un cadre de crible hybride, tout en reconnaissant que la précision de son résultat est limitée par la stabilité numérique de l'approximation polynomiale utilisée.