Le mécanisme de Guth–Maynard : grandes valeurs et énergie additiveEn une phrase : Guth et Maynard n’ont pas attaqué les zéros de front — ils ont prouvé un théorème sur la fréquence avec laquelle un polynôme de Dirichlet peut être grand, et l’astuce est de classer l’ensemble des points de grande valeur selon son énergie additive : le cas « structure » était connu depuis Heath-Brown, le cas « diffus » est l’invention de 2024 (méthode matricielle, puissance sixième, refus de la phase stationnaire). Le tout est résumé dans le schéma ci-joint.1. L’objet exact : le problème des grandes valeursOn prend une suite de coefficients |b_n| ≤ 1 et des points t_1 N^σ), et son énergie additiveE(W) = #{ (w₁,w₂,w₃,w₄) ∈ W⁴ : |w₁ + w₂ − w₃ − w₄| ≤ 1 }.C’est le paramètre qui décide de tout, car son ordre de grandeur s’étale sur un facteur |W| :TableauRégime de WOrdre de E(W)Ce que cela signifieGénérique / diffus (seules les relations diagonales)≈ R²les points n’ont presque aucune relation additive entre euxStructuré (W ⊂ progression arithmétique)≈ R³énormément de quadruplets en relation additiveLes méthodes antérieures ne marchaient que dans le second régime. La preuve se scinde donc en deux branches — et l’innovation est entièrement dans la seconde : « We introduce a new method that gives good bounds for Dirichlet polynomials on sets of small energy ». L’objectif affiché est de gagner dès que E(W) est strictement inférieur à |W|³.4. Cas « énergie élevée » : valeurs moyennes sur les ensembles de différencesQuand W est arithmétiquement structuré, on dispose de l’outil de Heath-Brown :Σ{r,s≤R} |Σ{n∼N} a_n n^{−i(t_r−t_s)}|² ≤ T^{o(1)}( R²N + RN² + R^{5/4}T^{1/2}N )(vrai pour N ∈ [T^{2/3}, T] en négligeant le dernier terme, et essentiellement optimal là, puisque la conjecture de grandes valeurs de Montgomery prévoit exactement T^{o(1)}(N+R)N). Les trois ingrédients de ce cas, tels que les expose le groupe d’étude de Warwick :Principe du majorant : |a_n| ≤ b_n permet de remplacer des coefficients compliqués par a_n = 1 ou n^{−1/2} — on ne perd rien au passage ;Sommation de Poisson + équation fonctionnelle : puisque ζ(s) = χ(s)ζ(1−s) avec |χ(1/2+it)| = 1, on a |Σ{n∼N} n^{−1/2−it}| ≈ |Σ{n∼t/2πN} n^{−1/2+it}| — le polynôme long N se raccourcit en T/(πN). C’est, mot pour mot, « the key idea that makes the proof work » ;Monotonie en N (la « white lie lemma » : les moyennes sur les polynômes longs sont plus grandes), qui permet de comparer A(T/πN) à A(N)^{1/2}.5. Cas « énergie faible » : la vraie nouveauté de 2024Quand W n’a pas d’énergie élevée, l’ensemble est arithmétiquement diffus, et les bornes d’orthogonalité classiques ne suffisent plus. C’est ici que Guth et Maynard frappent, avec trois manœuvres que Terence Tao a décrites comme « habiles et inattendues » :(i) La matrice des phases élevée à la puissance 6. Pour contrôler s₁(M), on étudie la trace de la sixième puissance (M*M)³. Le moment d’ordre 6 fait apparaître des sommes du typeΣ n₁^{i(t₁−t₂)} · n₂^{i(t₂−t₃)} · n₃^{i(t₃−t₁)},c’est-à-dire des produits d’entiers : les conditions de résonance deviennent multiplicatives (n₁n₂n₃ = m₁m₂m₃), contrôlées par des bornes de type fonction diviseur. On perd des exposants, mais on récupère de l’arithmétique que l’analyse de Fourier générale ne voit pas. C’est là que la forme très particulière du noyau — le logarithme, car log(nm) = log n + log m — devient décisive.(ii) Le refus de la phase stationnaire. Sur une intégrale de Fourier intervenant dans la preuve, l’estimation par phase stationnaire serait plus fine terme à terme, mais elle mélange les variables. Guth et Maynard renoncent volontairement à ces exposants pour conserver une forme factorisée, où t₁, t₂, t₃ restent séparés et où l’on peut exploiter des annulations simultanées. Facteur structurel > gain quantitatif.(iii) Le lemme de « rigidité affine ». Sur un ensemble de faible énergie, on démontre qu’un ensemble clairsemé ne peut pas être approximativement invariant sous un grand nombre d’applications affines de la forme u ↦ (m₁u + m₂)/m₃. Autrement dit : si trop de points t produisaient simultanément un polynôme grand, le jeu de relations multiplicatives entre entiers finirait par forcer l’ensemble à être structuré — contradiction. C’est cette dichotomie structure ou diffusion qui remplace la vieille barrière V = N^{3/4}.6. Ce que produit la nouvelle inégalitéTableauAuteurExposant de N(σ,T)CoïncidenceIngham (1940) — via la valeur moyenneGuth–Maynard (2024)30(1−σ)/13passe sous Huxley jusqu’à σ = 23/30 ≈ 0,767Conséquences immédiates, toutes dues à ce seul gain :densité des zéros affinée exactement là où les méthodes se rejoignaient, c’est-à-dire à σ = 3/4 ;premiers en intervalles courts : formule asymptotique pour des intervalles de longueur x^{17/30+o(1)} ;propagation à tout un pan de la théorie analytique des nombres (dont le théorème des nombres premiers en presque tous les intervalles courts, dont l’exposant passe de θ > 1/6 à θ > 2/15).Le papier a d’ailleurs beaucoup circulé avant publication : version 2 en avril 2026, puis Annals of Mathematics 203(2), 623–675 (2026). Les retombées sont déjà visibles — notes du groupe d’étude de Warwick sur le cas de forte énergie (février 2025), travaux sur les polynômes de Dirichlet avec caractères, nouvelles preuves simplifiées du « plus de 2/3 des zéros » postérieures au résultat d’Anthropic, et de nouveaux résultats sur les grandes valeurs en octobre 2026.7. Ce que le mécanisme ne fait pasRien dans cette machinerie ne s’approche de σ = 1/2. La méthode gagne uniquement dans une fenêtre autour de σ ≈ 3/4, elle consomme le fait que les phases sont « presque linéaires » à cette échelle, et elle s’effondrerait si l’on poussait V vers N^{1/2} : c’est précisément ce que prédirait la conjecture de grandes valeurs de Montgomery, toujours ouverte. Autrement dit, Guth–Maynard ont enfoncé le mur à l’endroit exact où il était le plus tendu — sans donner la moindre idée de comment le renverser.
Sources :
https://doi.org/10.48550/arXiv.2405.20552(texte integrale : https://arxiv.org/html/2405.20552v2) https://arxiv.org/html/2405.20552v2, https://doi.org/10.48550/arXiv.2607.04632, 10.4007/annals.2026.203.2.6, |
