New large value estimates for Dirichlet polynomials

1. Problématique et Contexte

L'article s'attaque au problème fondamental de l'estimation de la fréquence des grandes valeurs des polynômes de Dirichlet. Soit $D(t) = \sum_{N < n \le 2N} b_n n^{it}$ un polynôme de Dirichlet de longueur $N$ avec des coefficients bornés $|b_n| \le 1$. Le problème consiste à borner le nombre $R$ de points $t_r$ dans un intervalle $[0, T]$ (séparés par une distance d'au moins 1) tels que $|D(t_r)| \ge V$.

Ce problème est central en théorie analytique des nombres, car les bornes sur ces grandes valeurs se traduisent directement par des estimations sur la densité des zéros de la fonction zêta de Riemann $\zeta(s)$ et sur la distribution des nombres premiers dans les intervalles courts.

État de l'art avant ce travail :
Les bornes classiques proviennent du théorème de la valeur moyenne (Mean Value Theorem) et de l'estimation de Montgomery-Halász-Huxley. Pour la valeur critique $V \approx N^{3/4}$ (qui correspond à la situation limite pour de nombreuses applications), les méthodes précédentes donnaient une borne de l'ordre de $R \lesssim N^{1/2} + T N^{-1/2}$. Guth et Maynard identifient que l'amélioration de cette borne dans la plage $N^{7/10} \lesssim V \lesssim N^{3/4}$ est la clé pour progresser sur des problèmes ouverts.

2. Méthodologie et Approche Nouvelle

L'approche de Guth et Maynard repose sur une combinaison innovante d'outils d'analyse harmonique, de théorie spectrale des matrices et d'analyse additive.

A. Reformulation Spectrale

Les auteurs considèrent la matrice $M_W$ de taille $|W| \times N$ dont les entrées sont $M_{t,n} = w(n/N)n^{it}$ (avec un lissage $w$). La condition $|D(t)| \ge V$ sur l'ensemble $W$ permet de relier le cardinal de $W$ à la plus grande valeur singulière $s_1(M_W)$ de cette matrice.
L'objectif est de borner $s_1(M_W)$ en utilisant la trace des puissances de la matrice $M_W M_W^*$. Ils se concentrent sur la puissance 3 ($r=3$), car les puissances supérieures sont difficiles à estimer avec précision.

B. Analyse de la Trace Cubique et Cancellation

En développant la trace $\text{tr}((M_W M_W^*)^3)$, on obtient une somme triple sur les points $t_1, t_2, t_3 \in W$ et les indices $n_1, n_2, n_3$.

• L'observation clé : Au lieu d'utiliser la méthode de la phase stationnaire (qui lie les variables $t_i$ de manière complexe), les auteurs appliquent la formule de Poisson sans simplifier les intégrales de Fourier immédiatement. Cela permet de séparer les variables $t_1, t_2, t_3$.
• Fonction $R(v)$ : Ils introduisent la fonction $R(v) = \sum_{t \in W} |v|^{it}$. L'intégrale résultante montre une forte cancellation sauf si une relation linéaire spécifique entre les fréquences est satisfaite (de type $m_1 v_1 + m_2 v_2 + m_3 \approx 0$).

C. Gestion de l'Énergie Additive

La difficulté réside dans le comportement de la fonction $R(v)$. Les auteurs distinguent deux cas basés sur l'énergie additive $E(W)$ de l'ensemble $W$ (nombre de quadruplets $(t_1, t_2, t_3, t_4)$ tels que $t_1+t_2 \approx t_3+t_4$) :

1. Cas de faible énergie : Si $E(W)$ est petit, la fonction $R(v)$ présente une cancellation de type "racine carrée" ($|R(v)| \approx |W|^{1/2}$). Les auteurs utilisent des inégalités de Hölder et des estimations de moments ($L^2$ et $L^4$) pour obtenir une borne supérieure.
2. Cas de haute énergie : Si $E(W)$ est grand, cela implique une structure additive forte (comme des progressions arithmétiques). Ils utilisent ici un théorème de Heath-Brown sur les différences d'ensembles pour borner $E(W)$ en fonction de $|W|$ et $N$.

D. Transformation Affine et Équidistribution

Pour le cas intermédiaire où l'énergie est élevée mais pas maximale, ils développent une nouvelle estimation sur la distribution des sommes de transformations affines d'une fonction (Proposition 9.1). Ils démontrent qu'un ensemble "rare" ne peut pas être invariant sous un grand nombre de transformations affines, ce qui permet d'obtenir une cancellation supplémentaire dans les sommes.

3. Résultats Principaux

Théorème 1.1 (Estimation des grandes valeurs)

Pour un polynôme de Dirichlet de longueur $N$ et une valeur $V$, le nombre $R$ de points séparés où $|D(t)| \ge V$ satisfait :
$$R \ll T^{o(1)} \left( N^2 V^{-2} + N^{18/5} V^{-4} + T N^{12/5} V^{-4} \right)$$
Amélioration : Cette borne est strictement meilleure que les bornes précédentes (de Montgomery-Halász-Huxley) dans la plage critique $N^{7/10+\epsilon} < V < N^{8/10-\epsilon}$, et particulièrement pour $V \approx N^{3/4}$. Pour ce cas critique, la borne passe de $N^{1/2} + T N^{-1/2}$ à environ $N^{3/5} + T N^{-3/5}$.

Théorème 1.2 (Estimation de densité des zéros)

En appliquant le Théorème 1.1 aux polynômes de Dirichlet utilisés pour détecter les zéros de $\zeta(s)$, ils obtiennent une nouvelle borne pour le nombre de zéros $N(\sigma, T)$ dans la bande $\Re(s) \ge \sigma$ :
$$N(\sigma, T) \le T^{\frac{30(1-\sigma)}{13} + o(1)}$$
Ceci améliore l'exposant précédent de Huxley ($12/5 = 2.4$) vers $30/13 \approx 2.307$.

Corollaires sur les Nombres Premiers

Ces améliorations se traduisent par des résultats plus précis sur la distribution des nombres premiers dans les intervalles courts $[x, x+y]$ :

• Corollaire 1.3 : Pour presque tout $x$, on a l'asymptotique $\pi(x+y) - \pi(x) \sim y/\log x$ pour des intervalles de longueur $y \ge x^{17/30 + \epsilon}$. L'exposant $17/30 \approx 0.566$ améliore l'ancien record de Huxley ($7/12 \approx 0.583$).
• Corollaire 1.4 : Pour "presque tous" les $x$ (au sens de la mesure), l'asymptotique tient pour $y \ge X^{2/15 + \epsilon} \approx X^{0.133}$, améliorant l'exposant $1/6 \approx 0.166$.

4. Signification et Impact

1. Progression sur la Conjecture de Montgomery : Bien que la conjecture complète (que $R \ll T^{o(1)} N^{2-2\sigma}$) ne soit pas prouvée, ce travail constitue la première amélioration substantielle de la borne classique dans la région critique $V \approx N^{3/4}$ depuis des décennies.
2. Limites des méthodes actuelles : Les auteurs montrent que leurs méthodes sont essentiellement optimales pour les ensembles aléatoires, suggérant que toute amélioration future nécessiterait de nouvelles idées structurelles profondes sur les zéros de $\zeta(s)$.
3. Applications immédiates : L'amélioration de l'exposant de densité de zéros a des répercussions directes sur la précision des formules explicites en théorie des nombres, permettant de réduire la taille minimale des intervalles dans lesquels on peut garantir la présence de nombres premiers.

En résumé, Guth et Maynard ont réussi à contourner les limitations des méthodes classiques de "grandes valeurs" en exploitant subtilement la structure additive des ensembles de points où le polynôme est grand, combinant analyse spectrale et théorie additive pour repousser les frontières de la théorie analytique des nombres.