🔢 mathematics

The exceptional set of Goldbach problem and Linnik's constant

Cet article établit que le nombre d'entiers pairs jusqu'à $X$ qui ne peuvent pas être exprimés comme la somme de deux nombres premiers est borné par $O(X^{7/10})$ et prouve simultanément que le plus petit nombre premier dans une progression arithmétique modulo $q$ est borné par $O(q^5)$ , en utilisant une méthode unifiée pour les deux résultats.

Auteurs originaux : Genheng Zhao

Publié 2026-01-26

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Genheng Zhao

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

La Vision Globale : Une Pièce Manquante du Puzzle

Imaginez un puzzle géant appelé la Conjecture de Goldbach. La règle du puzzle est simple : « Prenez n'importe quel nombre pair supérieur à 2 (comme 4, 6, 100, 1 000 000), et vous devriez être capable de le construire en additionnant exactement deux nombres premiers. » (Les nombres premiers sont des nombres comme 2, 3, 5, 7, 11 qui ne peuvent être divisés par rien d'autre).

Les mathématiciens essaient de résoudre ce puzzle depuis des siècles. Ils sont presque certains qu'il est vrai, mais ils ne peuvent pas encore le prouver pour chaque nombre sans exception.

Alors, au lieu d'essayer de le prouver pour tout le monde, ils se demandent : « Combien de personnes ne respectent pas les règles ? »
Dans cet article, l'auteur compte les « fauteurs de troubles ». Ce sont les nombres pairs qui ne peuvent pas être formés par l'addition de deux nombres premiers. Appelons ce groupe l'Ensemble Exceptionnel (les « pommes pourries »).

L'objectif de cet article est de prouver que ce groupe de « pommes pourries » est en réalité très petit. Plus précisément, l'auteur prouve que si vous examinez tous les nombres pairs jusqu'à un nombre immense $X$ , le nombre de « pommes pourries » est approximativement inférieur à $X^{0,7}$ . (Pour comparaison, si les fauteurs de troubles étaient aussi courants que les nombres eux-mêmes, le compte serait de $X^1$ . S'ils étaient aussi rares que les carrés, ce serait $X^{0,5}$ . Ce résultat place les pommes pourries entre les deux, mais beaucoup plus proche du côté « rare »).

L'Outil : Le « Détective de Primes » (Fonctions L)

Comment compter ces nombres manquants ? On ne peut pas simplement les vérifier un par un ; il y en a trop. Au lieu de cela, les mathématiciens utilisent un outil sophistiqué appelé fonctions L.

Voyez une fonction L comme un détecteur de métaux ultra-sensible pour les nombres premiers.

Quand le détecteur de métaux fonctionne parfaitement, il émet un bip sonore pour chaque nombre premier.
Cependant, parfois, le détecteur peut avoir des « bugs ». Il peut manquer un nombre premier ou donner un faux signal. En mathématiques, ces bugs sont appelés des Zéros.

Le travail de l'auteur consiste à analyser ces bugs. S'il y a trop de bugs dans une zone spécifique, cela signifie qu'il y a beaucoup de « pommes pourries » (des exceptions à la règle de Goldbach). Si les bugs sont rares, les « pommes pourries » sont rares.

La Stratégie : Capturer les Bugs

L'article est essentiellement un jeu de « Tape la Taupe » à enjeux élevés avec ces bugs mathématiques. L'auteur utilise une version raffinée d'une méthode développée par un mathématicien nommé Pintz.

Voici l'analogie :
Imaginez que les bugs (les Zéros) sont des taupes surgissant dans un jardin.

L'Ancienne Méthode : Les mathématiciens précédents pouvaient prouver que les taupes étaient relativement rares, mais ils devaient laisser un peu d'espace dans le jardin où les taupes pouvaient se cacher.
La Nouvelle Méthode : Zhao affine le « coup de marteau » (le calcul mathématique). Il resserre les règles sur l'endroit où les taupes peuvent se cacher. Il prouve que même si une taupe surgit, elle ne peut pas être trop proche du centre du jardin sans provoquer une contradiction.

En réduisant l'espace où ces « bugs » sont autorisés à exister, l'auteur force le nombre de « pommes pourries » (les exceptions à Goldbach) à diminuer considérablement.

Le Second Succès : Le « Premier Premier Rapide » (Constante de Linnik)

L'article s'attaque également à un problème lié appelé la Constante de Linnik.

Imaginez une rangée de boîtes aux lettres numérotées 1, 2, 3... jusqu'à $q$ . Vous voulez trouver la première boîte aux lettres qui contient une « Lettre Première ».

Le Problème : Jusqu'où devez-vous descendre dans la rangée avant d'être certain de trouver un nombre premier ?
La Constante ( $L$ ) : Les mathématiciens ont un nombre $L$ qui dit : « Vous trouverez certainement un nombre premier à la boîte aux lettres numéro $q^L$ . »

Pendant longtemps, la meilleure valeur connue pour $L$ était 5,2. Cela signifiait que vous pourriez devoir vérifier jusqu'à $q^{5,2}$ boîtes aux lettres.

La Percée : En utilisant la même logique de « détecteur de métaux » raffinée, l'auteur montre que vous n'avez besoin de vérifier que jusqu'à $q^5$ .
La Métaphore : C'est comme réduire la zone de recherche pour une clé perdue. Auparavant, vous deviez chercher dans tout un pâté de maisons ( $q^{5,2}$ ). Maintenant, l'auteur prouve que vous n'avez besoin de chercher que dans un seul carré de rue ( $q^5$ ). C'est un changement numérique minime, mais dans le monde des nombres premiers, c'est un bond de géant.

Résumé des Résultats

Exceptions de Goldbach : L'auteur prouve que le nombre de nombres pairs qui échouent à la règle de Goldbach est très faible (spécifiquement, borné par $X^{0,7}$ ). C'est une limite plus serrée et meilleure que ce qui était connu auparavant.
Constante de Linnik : L'auteur améliore la garantie pour trouver le premier nombre premier dans une séquence, abaissant l'exposant de 5,2 à 5.

Pourquoi cela importe (sans exagération)

L'article ne prétend pas résoudre la Conjecture de Goldbach (nous ne savons toujours pas si chaque nombre pair fonctionne). Il ne prétend pas non plus aider directement la cryptographie ou la sécurité informatique.

Il s'agit plutôt d'une victoire de mathématiques pures. Cela montre que nos « détecteurs de métaux » pour les nombres premiers deviennent plus précis. En resserrant les règles mathématiques, l'auteur a réduit la « marge de manœuvre » pour les exceptions et amélioré notre compréhension de la distribution des nombres premiers. C'est comme un géomètre qui affine une carte : le territoire n'a pas changé, mais notre mesure de celui-ci est désormais plus précise.

Résumé Technique : L'ensemble exceptionnel du problème de Goldbach et la constante de Linnik

Énoncé du Problème
Le papier traite de deux problèmes fondamentaux de la théorie analytique des nombres : la taille de l'ensemble exceptionnel de la conjecture de Goldbach et la valeur de la constante de Linnik.

L'ensemble exceptionnel de Goldbach : Soit $E(X)$ le nombre d'entiers pairs $m \le X$ qui ne peuvent pas être exprimés comme la somme de deux nombres premiers impairs. L'objectif est d'établir une borne supérieure forte pour $E(X)$ .
La constante de Linnik : Soit $P(q)$ le plus petit nombre premier dans une progression arithmétique $\{a, a+q, a+2q, \dots\}$ où $(a,q)=1$ . L'objectif est de déterminer la plus petite constante admissible $L$ telle que $P(q) = O(q^L)$ .

Historiquement, les bornes pour $E(X)$ ont évolué de résultats conditionnels sous l'hypothèse de Riemann généralisée vers des bornes inconditionnelles impliquant le zéro de Siegel. La percée de Montgomery et Vaughan a établi que $E(X) = O(X^{1-\delta})$ pour un certain $\delta > 0$ , un résultat profondément lié à la méthode de Linnik pour borner $P(q) = O(q^L)$ . Avant ce travail, les valeurs admissibles connues étaient $\delta = 0,28$ (Pintz) et $L = 5,2$ (Xylouris).

Méthodologie
Le papier emploie un raffinement de la méthode de Pintz, qui repose sur la distribution des zéros des fonctions $L$ de Dirichlet près de la droite $\sigma = 1$ . Le cœur de l'argument consiste à analyser les zéros $\varrho = \beta + i\gamma$ dans la région critique $\sigma \in [1 - H(\log q)^{-1}, 1]$ et $|t| \le H$ .

La méthodologie procède à travers les étapes techniques suivantes :

Réduction aux sommes de zéros : Suivant la réduction de Pintz, le problème est réduit à l'estimation de sommes sur les zéros des fonctions $L$ pour un seul modulo $q$ . Le papier définit un multi-ensemble de zéros $Z(\chi, H)$ et cherche à borner la somme des sommes pondérées au carré de ces zéros.
Sommes pondérées et transformées de Laplace : L'auteur utilise des fonctions tests spécifiques dérivées des travaux de Heath-Brown, impliquant spécifiquement la fonction $f_1(t)$ et sa transformée de Laplace $F_1(z)$ , ainsi qu'une fonction liée $F_2(z)$ . Celles-ci sont utilisées pour construire des inégalités impliquant les parties réelles de sommes sur les zéros.
Estimations de la densité des zéros : Le papier emploie une estimation de densité de zéros généralisée (attribuée à la généralisation par Pintz des travaux de Heath-Brown) qui compte tous les zéros dans une région spécifique plutôt que seulement ceux appartenant à des fonctions $L$ ayant au moins un zéro dans cette région. Cela permet d'éviter l'utilisation de fonctions sous-optimales trouvées dans les méthodes antérieures.
Analyse par cas : La preuve du théorème principal est divisée en plusieurs cas basés sur la magnitude de la plus petite partie réelle des zéros, notée $\lambda_{1,1} = \min \text{Re}(1-\varrho)$ . L'auteur utilise le Lemme 2.4 pour établir des bornes sur le nombre de zéros $N(\Lambda)$ dans des régions spécifiques selon la valeur de $\lambda_{1,1}$ .
Optimisation des paramètres : L'auteur introduit des paramètres $x, y, z, \Lambda, \lambda_0$ pour optimiser les bornes sur les sommes pondérées de la forme $\sum e^{-k \max\{\lambda_j, \Lambda\}}$ . En sélectionnant soigneusement ces paramètres et en utilisant le phénomène de Deuring-Heilbronn (qui limite le nombre de zéros exceptionnels), l'auteur dérive des inégalités plus serrées pour les sommes d'exponentielles des zéros.

Contributions Clés et Résultats
La contribution primaire du papier est l'amélioration des constantes admissibles pour l'ensemble exceptionnel de Goldbach et la constante de Linnik grâce à une analyse raffinée de la méthode de Pintz.

Théorème 1.1 (Ensemble exceptionnel de Goldbach) : Le papier prouve que $E(X) = O(X^{7/10})$ . Cela correspond à une valeur admissible de $\delta = 0,3$ dans la borne $E(X) = O(X^{1-\delta})$ . Cela améliore le meilleur résultat précédent de $\delta = 0,28$ .
- La preuve repose sur l'établissement du Théorème 1.2, qui montre que pour un ensemble de caractères satisfaisant certaines conditions, la somme des sommes pondérées au carré des zéros est strictement inférieure à 1 (spécifiquement $\le 1 - c_1$ ).
- L'amélioration est obtenue en réduisant l'exposant dans l'inégalité clé de $25/7$ (utilisé par Pintz) à $10/3$ . Cette réduction est attribuée à une estimation raffinée des sommes de type $\sum e^{-10/3 \max\{\lambda, \Lambda\}}$ et à une estimation plus précise des termes de différence.
Théorème 1.4 (Constante de Linnik) : Le papier démontre que $L = 5$ est une constante admissible pour le problème de Linnik, améliorant le record précédent de $L = 5,2$ .
- Ce résultat est dérivé du Théorème 1.3, qui établit une borne sur la somme des exponentielles des zéros ( $\sum e^{-5\lambda} \le 1 - c_1$ ).
- L'amélioration de $L = 5,2$ à $L = 5$ est explicitement attribuée à l'utilisation de l'estimation de densité de zéros généralisée de Pintz, qui compte tous les zéros dans la région plutôt que de compter seulement les fonctions $L$ possédant des zéros là. Cela permet d'éviter l'usage de fonctions moins optimales utilisées dans la méthode originale de Heath-Brown.

Signification
Le papier affirme que sa signification réside dans le « raffinement de la méthode de Pintz ». En optimisant les paramètres et les fonctions spécifiques utilisées pour estimer les sommes sur les zéros, l'auteur révèle le potentiel du cadre de Pintz pour repousser davantage les limites de ces constantes. L'amélioration de $\delta$ de $0,28 $à$ 0,3$ et de $L$ de $5,2 $à$ 5$ représente un resserrement quantitatif des bornes sur la distribution des nombres premiers dans les progressions arithmétiques et les exceptions à la conjecture de Goldbach. L'auteur note que les constantes implicites dans ces bornes sont ineffectives, une limitation standard des méthodes reposant sur l'exclusion des zéros de Siegel.