🔢 mathematics

Sign changes of the Liouville function in arithmetic progressions

Cet article démontre que pour tout nombre premier $q$ suffisamment grand et toute classe résiduelle $a$ première avec $q$ , la fonction de Liouville $\lambda$ prend les deux valeurs $+1$ et $-1$ au sein de la progression arithmétique $a \pmod{q}$ pour les entiers jusqu'à $q^{5/2 + \varepsilon}$ .

Auteurs originaux : Kevin Ford, Maksym Radziwiłł

Publié 2026-05-06

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Kevin Ford, Maksym Radziwiłł

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous organisez une file infinie et massive de casiers numérotés, commençant à 1 et s'étendant à l'infini. Chaque casier contient un code secret : soit un +1, soit un -1. Ce code est déterminé par une règle spéciale appelée la fonction de Liouville (appelons-la « L'Interrupteur »).

La règle de L'Interrupteur est simple mais astucieuse :

Si un nombre est composé d'un nombre pair de blocs de construction premiers (comme $6 = 2 \times 3$ , qui a 2 blocs), le code est +1.
Si un nombre est composé d'un nombre impair de blocs de construction premiers (comme $12 = 2 \times 2 \times 3$ , qui a 3 blocs), le code est -1.

Habituellement, ces codes basculent de manière aléatoire au fur et à mesure que vous avancez dans la file. Parfois, vous voyez un +1, puis un -1, puis un +1. C'est comme un lancer de pièce.

La Grande Question

Les mathématiciens s'intéressent depuis longtemps à une manière spécifique d'examiner ces casiers : les Progressions Arithmétiques.

Imaginez que vous ne regardiez que les casiers espacés d'une distance spécifique, disons tous les 7 casiers (7, 14, 21, 28...). Ou tous les 100 casiers. La question est : Jusqu'où devez-vous marcher le long de cette ligne spécifique avant d'être assuré de voir à la fois un +1 et un -1 ?

Si vous vous arrêtez trop tôt, vous pourriez avoir de la chance et trouver uniquement des +1 (ou uniquement des -1) par hasard. Les auteurs de cet article voulaient trouver la « distance sûre » — le point où il devient mathématiquement impossible de continuer à ne voir qu'un seul signe.

Les Tentatives Précédentes

Le Problème des Nombres Premiers : Un mathématicien célèbre, Dirichlet, a prouvé que si vous regardez une ligne spécifique (comme tous les 7 nombres), vous finirez par trouver un nombre premier. Mais quelle est la taille de ce premier nombre premier ?
La Barrière de la « Racine Carrée » : Pendant longtemps, les mathématiciens pensaient que la réponse était liée au carré de l'espacement. Si vous sautez par $q$ , vous pourriez devoir aller jusqu'à $q^2$ pour trouver ce que vous cherchez.
Le Détenteur du Record : Un mathématicien nommé Linnik a prouvé que vous n'avez pas besoin d'aller aussi loin. Il a montré qu'il existe une constante $L$ telle que vous n'avez besoin d'aller que jusqu'à $q^L$ . Au fil des ans, les gens ont essayé de rendre $L$ plus petit. Le meilleur record actuel est $L=5$ , ce qui signifie que vous devez aller jusqu'à $q^5$ .

Ce Que Fait Cet Article

Kevin Ford et Maksym Radziwiłł ont abordé une version légèrement différente de ce problème. Au lieu de chercher des nombres premiers, ils cherchent des changements de signe dans L'Interrupteur (la fonction de Liouville).

Ils ont prouvé un nouveau résultat, plus fort :
Si vous choisissez n'importe quel espacement $q$ (un nombre premier), et que vous examinez les casiers jusqu'à une distance d'environ $q^{2.5}$ (c'est-à-dire $q$ élevé à la puissance 2,5), vous êtes assuré de trouver à la fois un +1 et un -1.

C'est une énorme amélioration par rapport à l'ancien record des « nombres premiers » de $q^5$ . Ils ont considérablement réduit la distance requise.

Comment Ils Ont Fait (L'Histoire de Détective)

Les auteurs ont utilisé une stratégie ingénieuse de « preuve par l'absurde ». Voici l'analogie de leur logique :

Le Cauchemar Hypothétique : Ils ont commencé par supposer le contraire de ce qu'ils voulaient prouver. Ils ont dit : « Imaginez un monde où, sur une très longue distance (jusqu'à $q^{2.5}$ ), chaque nombre de notre ligne spécifique (par exemple, les nombres qui sont 3 modulo 7) a le MÊME signe. Disons qu'ils sont tous +1. »
L'Effet d'Onde : Ils ont montré que si ce cauchemar « tous +1 » était vrai, il forcerait l'univers entier des nombres à se comporter d'une manière très rigide et contre-nature.
- Cela signifierait que l'Interrupteur n'est pas du tout aléatoire ; il devrait suivre un motif strict et répétitif (périodicité) qui imite une forme mathématique spécifique appelée « symbole de Legendre ».
- Essentiellement, le hasard des nombres devrait disparaître pour devenir une danse parfaite et prévisible.
Le Piège : Ils ont ensuite montré que cette « danse parfaite » est impossible.
- Le Premier Piège : Si le motif était d'une certaine manière, le nombre de nombres premiers serait totalement faux (trop peu).
- Le Deuxième Piège : Si le motif était de l'autre manière, cela violerait une loi mathématique célèbre (le théorème de Siegel) sur la façon dont ces nombres se distribuent.
La Conclusion : Puisque l'hypothèse « tous +1 » (ou « tous -1 ») conduit à une contradiction mathématique, l'hypothèse doit être fausse. Par conséquent, les signes doivent changer dans cette distance.

Une Note sur la « Magie »

L'article mentionne un hic. Bien qu'ils aient prouvé que la distance est d'environ $q^{2.5}$ , leur preuve repose sur un outil mathématique (le théorème de Siegel) qui est comme une « boîte noire ». Il nous dit que le résultat est vrai, mais il ne nous donne pas un nombre spécifique pour déterminer à quel point $q$ doit être « grand » avant que cette règle ne s'applique. C'est comme savoir qu'un pont est sûr, mais ne pas savoir exactement combien de voitures il peut supporter jusqu'à ce que vous le construisiez.

Résumé

En termes simples : les auteurs ont prouvé que si vous examinez une séquence spécifique de nombres espacés par un nombre premier $q$ , vous n'avez pas besoin de marcher très loin (seulement jusqu'à $q^{2.5}$ ) pour voir l'« interrupteur » basculer de positif à négatif. Si vous ne voyiez pas de basculement d'ici là, toute la structure des mathématiques s'effondrerait.

Résumé technique : Changements de signe de la fonction de Liouville dans les progressions arithmétiques

Énoncé du problème
L'article traite d'un analogue multiplicative du théorème de Linnik concernant le plus petit nombre premier dans une progression arithmétique. Alors que le théorème de Linnik garantit l'existence d'un nombre premier $p \equiv a \pmod q$ avec $p \ll q^L$ (actuellement $L=5$ ), ce travail étudie la distribution de la fonction de Liouville $\lambda(n)$ au sein des progressions arithmétiques. Plus précisément, les auteurs se demandent : pour un module premier $q$ et une classe résiduelle réduite $a \pmod q$ , quelle doit être la taille de $N$ pour garantir l'existence d'entiers $n, m \le N$ tels que $n \equiv m \equiv a \pmod q$ , mais avec $\lambda(n) = -1$ et $\lambda(m) = +1$ ? Autrement dit, à quelle échelle la fonction de Liouville change-t-elle nécessairement de signe au sein d'une progression arithmétique fixe ?

Méthodologie
La démonstration procède par l'absurde. Les auteurs supposent que pour un nombre premier $q$ suffisamment grand, la fonction de Liouville conserve un signe constant $\kappa \in \{-1, +1\}$ pour tout $n \equiv a \pmod q$ avec $n \le q^{5/2+\varepsilon}$ . L'argument est structuré en trois phases principales :

Périodicité et équilibre via des arguments combinatoires :
En utilisant le Lemme 7, les auteurs montrent que si $\lambda(n)$ est constant sur une progression jusqu'à $N \ge q^{2+\varepsilon}$ , alors $\lambda(n)$ doit être $q$ -périodique pour $n \le N/q$ (spécifiquement $\lambda(n+q) = \lambda(n)$ pour $(n,q)=1$ ). De plus, cette hypothèse force la somme de $\lambda(n)$ sur les résidus réduits modulo $q$ à être exactement nulle. Cette étape repose sur la théorie des ensembles combinatoire (Lemme 6, une application du principe des tiroirs) pour montrer que si les comptes des valeurs $+1$ et $-1$ dans un intervalle de longueur $q$ étaient déséquilibrés, on pourrait construire des produits d'entiers dans la progression qui violeraient l'hypothèse de signe constant.
Approximation par un caractère de Dirichlet :
En supposant que les conditions de périodicité et de somme nulle sont satisfaites, le Lemme 8 utilise l'inégalité du grand crible et la sommation de Poisson pour démontrer que $\lambda(n)$ doit essentiellement coïncider avec un caractère de Dirichlet réel $\chi_q$ (le symbole de Legendre) multiplié par une constante $\kappa' \in \{-1, 1\}$ . Plus précisément, $\lambda(n) = \kappa' \chi_q(n)$ pour tout $n \le q$ , avec au plus $O(q^{1-\varepsilon/4})$ exceptions.
Élimination des deux cas :
La démonstration conclut en écartant les deux valeurs possibles pour $\kappa'$ :
- Cas $\kappa' = -1$ : Si $\lambda(n) \approx -\chi_q(n)$ , les auteurs analysent la distribution des nombres premiers $p \le q^{1/2}$ où $\chi_q(p) = \pm 1$ . En considérant les produits de tels nombres premiers, ils montrent que le nombre d'exceptions requis pour satisfaire l'hypothèse contredirait la densité connue des nombres premiers (via le théorème des nombres premiers).
- Cas $\kappa' = +1$ : Si $\lambda(n) \approx \chi_q(n)$ , les auteurs construisent une fonction multiplicative $g(n) = \sum_{d|n} \chi_q(d)$ . Ils montrent que sous cette hypothèse, $g(n)$ s'annule pour la plupart des entiers non carrés. Cependant, en utilisant le Lemme 5 (inversion de Mellin) et la borne inférieure de Siegel pour $L(1, \chi_q)$ (Lemme 3), ils déduisent une borne inférieure pour la somme $\sum g(n)W(n/q)$ qui contredit la borne supérieure dérivée de la propriété d'annulation.

Résultats clés
Le théorème principal (Théorème 1) établit que pour tout $\varepsilon > 0$ , et pour tout nombre premier $q$ suffisamment grand par rapport à $1/\varepsilon$ , et toute classe résiduelle $(a, q)=1$ , il existe des entiers $n, m \le q^{5/2+\varepsilon}$ tels que $n \equiv m \equiv a \pmod q$ avec $\lambda(n) = -1$ et $\lambda(m) = +1$ .

Portée et limites
Les auteurs présentent ce résultat comme une étape significative dans la compréhension des changements de signe des fonctions multiplicatives dans les progressions arithmétiques. La borne $q^{5/2+\varepsilon}$ améliore les résultats inconditionnels précédents pour les fonctions multiplicatives générales et correspond à la qualité des résultats précédemment connus uniquement sous l'hypothèse de Riemann généralisée (GRH) pour des cas spécifiques.

L'article note explicitement une limitation concernant l'effectivité du résultat : contrairement au théorème de Linnik, où l'exposant et les constantes implicites sont calculables de manière effective, l'argument ici repose sur le théorème de Siegel. Par conséquent, le seuil pour que $q$ soit « suffisamment grand » en termes de $1/\varepsilon$ est incalculable.

Les auteurs distinguent leur approche des travaux simultanés de Matomäki et Teräväinen [7], qui obtiennent une borne plus forte de $q^{2+\varepsilon}$ pour les fonctions multiplicatives réelles générales (inconditionnellement pour la fonction de Liouville). Les auteurs soulignent que leur argument est court et suit des lignes différentes, utilisant spécifiquement l'interplay entre le grand crible, la sommation de Poisson et les propriétés spécifiques de la fonction de Liouville pour dériver le seuil $q^{5/2}$ .