Oscillation of partial sums of the Möbius function and zeros of Riemann's zeta function

Dans le vaste paysage des mathématiques, il existe une question unique qui hante les chercheurs depuis près de deux siècles : comment les nombres premiers sont-ils distribués ? Les nombres premiers sont les briques élémentaires de l'arithmétique, les atomes indivisibles à partir desquels tous les autres nombres entiers sont construits. Bien qu'ils semblent apparaître de manière aléatoire, les mathématiciens soupçonnent depuis longtemps un ordre caché sous le chaos. Cet ordre est encodé dans un objet mathématique complexe connu sous le nom de fonction zêta de Riemann. Le comportement de cette fonction, plus précisément l'emplacement de ses « zéros » — les points où la valeur de la fonction tombe à zéro — dicte le rythme des nombres premiers. Si ces zéros se situent sur une ligne spécifique, les nombres premiers suivent un motif prévisible ; s'ils s'en écartent, le motif devient erratique. Pendant plus de cent ans, le lien entre ces zéros et les erreurs dans nos prédictions des nombres premiers a été un mystère central, alimentant certains des travaux les plus profonds de la théorie des nombres.

Un article récent du mathématicien János Pintz s'attaque à un aspect spécifique et difficile de ce mystère : le comportement des sommes partielles de la fonction de Möbius. Pour comprendre cela, imaginez un décompte continu où vous ajoutez ou soustrayez un pour chaque nombre en fonction de ses facteurs premiers. Ce décompte, connu sous le nom de fonction de Mertens, est un baromètre sensible de la distribution des nombres premiers. Pendant des décennies, les mathématiciens ont tenté de prédire jusqu'à quel point ce décompte peut osciller vers le haut ou vers le bas. Une conjecture célèbre suggérait autrefois que le décompte ne dépasserait jamais la racine carrée du nombre en cours de comptage, mais cela a été prouvé faux dans les années 1980. La question qui restait n'était pas seulement la taille de ces oscillations, mais leur relation précise avec les zéros de la fonction zêta. L'amplitude moyenne de ces oscillations correspond-elle à l'amplitude de la plus grande oscillation individuelle ? Et les deux correspondent-ils au maximum théorique prédit par les zéros ?

Le travail de Pintz fournit une réponse définitive à ces questions, établissant un lien rigoureux entre le comportement erratique de la fonction de Möbius et la géométrie des zéros de la fonction zêta. L'article prouve que l'amplitude moyenne des oscillations de la fonction de Möbius et l'amplitude maximale de ces oscillations sont, à long terme, asymptotiquement équivalentes dans leur ordre logarithmique. Plus important encore, l'auteur démontre que ces deux valeurs sont déterminées avec une grande précision par une fonction réelle dérivée de la distribution des zéros de la fonction zêta. En termes plus simples, l'article montre que le « bruit » des nombres premiers n'est pas un chaos aléatoire, mais qu'il est étroitement contrôlé par la position du zéro le plus dominant. Cette découverte unifie deux manières différentes de mesurer l'erreur dans les prédictions des nombres premiers — l'erreur moyenne et l'erreur dans le pire des cas — en montrant qu'elles croissent au même rythme et sont régies par la même force sous-jacente.

La recherche s'appuie sur un siècle d'efforts, affinant des résultats antérieurs qui n'avaient établi que des connexions lâches ou travaillaient sous des hypothèses strictes. Des travaux précédents avaient montré que si les zéros de la fonction zêta restaient dans une certaine région, l'erreur dans le comptage des nombres premiers restait faible. Cependant, la question inverse — savoir si la taille de l'erreur nous indique exactement où se trouvent les zéros — était beaucoup plus difficile à résoudre. L'article de Pintz aborde cela en montrant que les taux de croissance des erreurs moyenne et maximale sont asymptotiquement équivalents aux taux de croissance prédits par les zéros. En développant de nouvelles techniques pour traiter les singularités mathématiques qui surviennent lors du travail avec l'inverse de la fonction zêta, l'auteur a pu prouver que la relation est une équivalence asymptotique précise en termes d'ordre logarithmique, ce qui signifie que le rapport de leurs logarithmes approche 1. L'article confirme que la valeur maximale que la fonction de Möbius atteint dans un intervalle donné et la valeur moyenne qu'elle maintient sur ce même intervalle partagent le même taux de croissance logarithmique. Cela signifie qu'en examinant des nombres de plus en plus grands, la différence entre le comportement typique et le comportement extrême s'amenuise dans un sens logarithmique, même si les valeurs elles-mêmes ne deviennent pas identiques.

Une partie cruciale de cette réussite implique de traiter le cas où les zéros pourraient se trouver très près de la ligne critique qui sépare l'ordre du chaos. L'article traite le scénario où les zéros sont aussi à droite que possible sans briser les lois mathématiques connues. Dans ce cas difficile, l'auteur prouve que les valeurs moyennes et maximales convergent toujours vers la même prédiction dérivée des zéros. Ce résultat est significatif car il élimine le besoin de régions abstraites et complexes d'« espace sans zéro » pour faire ces prédictions. Au lieu de cela, l'article montre que l'on peut simplement regarder la somme des contributions de tous les zéros pour comprendre le comportement de la fonction. L'auteur établit que la somme de ces contributions, la contribution maximale individuelle et les valeurs réelles observées de la fonction croissent toutes au même rythme.

L'article clarifie également la relation entre la fonction de Möbius et le terme d'erreur du théorème des nombres premiers, qui compte le nombre de nombres premiers jusqu'à un certain point. Bien qu'il s'agisse de deux objets mathématiques différents, Pintz montre que leurs comportements oscillatoires sont presque identiques. La déviation maximale et la déviation moyenne pour l'erreur de comptage des nombres premiers et la somme de Möbius sont toutes deux montrées comme étant régies par la même fonction des zéros de la fonction zêta. Cela implique une unité structurelle profonde dans la manière dont les nombres premiers et leurs fonctions associées fluctuent. Le travail ne repose pas sur des hypothèses non prouvées comme l'Hypothèse de Riemann elle-même ; il reste vrai quel que soit l'endroit où se trouvent les zéros, pourvu qu'ils soient dans les limites connues. Les résultats sont prouvés mathématiquement, et non simulés ou suggérés, offrant une base solide pour comprendre les limites de la distribution des nombres premiers.

En fin de compte, cet article résout une ambiguïté de longue date sur la nature de ces oscillations mathématiques. Il confirme que le scénario du « pire cas » pour la distribution des nombres premiers n'est pas significativement pire que le scénario « moyen » lorsqu'on l'examine à travers le prisme de la croissance logarithmique. Les deux sont dictés par la même géométrie sous-jacente de la fonction zêta. Ce travail sert de puissante confirmation que les fluctuations apparemment aléatoires des nombres premiers sont, en fait, un phénomène hautement structuré, étroitement lié à l'emplacement des zéros de la fonction zêta de Riemann. En prouvant que les ordres de grandeur moyen et maximal coïncident dans leur croissance logarithmique, l'article fournit une carte plus claire et plus précise du terrain où vivent les nombres premiers, montant que les extrêmes et le quotidien sont les deux faces d'une même pièce.