- Guth et Maynard ont, pour la première fois, nettement amélioré la borne supérieure classique de 1940 d’Ingham concernant les zéros de la fonction zêta de Riemann
- On définit 𝑁(σ,𝑇) comme le nombre de zéros de la fonction zêta de Riemann dont la partie réelle est au moins σ et dont la partie imaginaire a une valeur absolue au plus égale à 𝑇
- L’hypothèse de Riemann affirme que 𝑁(σ,𝑇) vaut 0 pour σ>1/2, mais on ne peut pas le démontrer de manière inconditionnelle
- À la place, on peut démontrer des estimations de densité des zéros, c’est-à-dire des bornes supérieures non triviales pour 𝑁(σ,𝑇)
- σ=3/4 est une valeur clé, et Ingham a obtenu en 1940 la borne 𝑁(3/4,𝑇)≪𝑇^(3/5+𝑜(1))
- Pendant les 80 années suivantes, la seule amélioration de cette borne s’est limitée à de légères retouches du terme d’erreur 𝑜(1)
- Cela a longtemps constitué une contrainte pour de nombreux résultats en théorie analytique des nombres (par ex. obtenir un bon théorème des nombres premiers dans presque tous les intervalles courts de la forme [𝑥,𝑥+𝑥^θ] imposait θ>2/3)
Les avancées de Guth et Maynard
- Ils améliorent la borne d’Ingham de 3/5=0.6 à 13/25=0.52
- Cela entraîne des améliorations correspondantes dans de nombreuses parties de la théorie analytique des nombres (par ex. la plage où l’on peut démontrer le théorème des nombres premiers dans presque tous les intervalles courts passe de θ>2/3 à θ>12/25)
- L’argument a principalement un caractère d’analyse de Fourier
- La première étape est standard et sera familière à de nombreux spécialistes de théorie analytique des nombres ayant tenté d’attaquer l’hypothèse de Riemann
- Mais ils effectuent de nombreuses manipulations ingénieuses et inattendues (par ex. ils contrôlent une matrice de phase clé en la portant à la puissance 6, et ne simplifient pas une intégrale de Fourier complexe à l’aide de la phase stationnaire)
Contexte
- L’hypothèse de Riemann est l’un des problèmes ouverts les plus célèbres de la théorie analytique des nombres
- La fonction zêta de Riemann est une fonction profondément liée aux nombres premiers, et comprendre la distribution de ses zéros est essentiel
- Les séries de Dirichlet forment une famille de fonctions qui généralisent la fonction zêta de Riemann
L’avis de GN⁺
- Hypothèse de Riemann : l’hypothèse de Riemann est l’un des problèmes ouverts les plus importants des mathématiques, et les recherches qui y sont liées suscitent toujours un grand intérêt.
- Théorie analytique des nombres : cette recherche constitue une avancée importante pour résoudre plusieurs problèmes de théorie analytique des nombres.
- Approche technique : l’approche originale, qui exploite l’analyse de Fourier et les propriétés particulières des séries de Dirichlet, se distingue.
- Impact pratique : elle pourrait apporter une aide concrète à la résolution de problèmes liés à la distribution des nombres premiers.
- Des recherches supplémentaires sont nécessaires : il ne s’agit pas encore d’une résolution complète, donc des recherches et des vérifications supplémentaires restent nécessaires.
1 commentaires
Avis Hacker News
Visualisation de la fonction zêta : présentation d’un outil de visualisation de la fonction zêta créé en JavaScript, qui peut être agrandi à l’infini et dont les paramètres peuvent être ajustés. Cela peut aider à comprendre pourquoi l’hypothèse a de fortes chances d’être vraie.
James Maynard sur Numberphile : comme James Maynard apparaît souvent sur Numberphile, c’est une recommandation si vous voulez aborder facilement les mathématiques de l’un des auteurs de cet article.
Série vidéo d’introduction à l’hypothèse de Riemann : recommandation d’une série de vidéos d’introduction à l’hypothèse de Riemann, accessible même aux personnes ayant un diplôme STEM. Ces vidéos ont permis de comprendre même les parties complexes.
Résumé de Terence Tao : imaginer Terence Tao mentionnant sa propre tentative tout en résumant l’affirmation de quelqu’un d’autre. Il s’agit d’un argument fondé sur l’analyse de Fourier.
Preuve proposée en 2018 : découverte d’un bon document d’introduction sur l’importance potentielle d’une preuve proposée en 2018.
Sens de l’hypothèse de Riemann : compréhension de l’hypothèse de Riemann comme l’énoncé selon lequel tous les zéros de la fonction zêta se trouvent sur une ligne du plan complexe. C’est, du point de vue de l’ingénierie, une preuve suffisamment « bonne ».
Je ne comprends pas, mais ça me réjouit : ne pas comprendre le contenu, mais éprouver de la joie en voyant l’enthousiasme des gens.
Demande d’un ELI5 : demande d’une explication simple pour les personnes qui ne sont pas mathématiciennes.
Théorèmes qui dépendent de RH : question sur les avis concernant une logique intermédiaire qui exclut RH, et explication des raisons pour lesquelles les constructivistes la rejettent.
Bon timing : être en train d’écouter The Humans de Matt Haig, où l’histoire commence après que quelqu’un a prouvé l’hypothèse de Riemann.