A Gaussian-Perron Prime-Side Defect and Local Profiles Near Critical-Line Zeros of the Riemann Zeta Function

Résumé technique : Un défaut côté nombres premiers de type Gauss-Perron et profils locaux près des zéros sur la ligne critique

Énoncé du problème
L'article traite de la géométrie locale des zéros non triviaux de la fonction zêta de Riemann, $\zeta(s)$, spécifiquement au voisinage d'un zéro sélectionné $\rho_0$. Alors que l'Hypothèse de Riemann (RH) et les propriétés de monotonie horizontale connexes concernent le comportement global de la dérivée logarithmique complétée $\xi'/\xi$, ce travail se concentre sur la construction d'un outil de diagnostic local. L'objectif est d'isoler la contribution d'un seul zéro du « nuage » des autres zéros et des contributions des puissances de nombres premiers à l'aide d'une force lissée du côté des nombres premiers. La question centrale est de savoir si une approximation de champ de nombres premiers lissée peut être construite de telle sorte que le défaut entre ce champ et la dérivée logarithmique réelle $\zeta'/\zeta$ révèle un profil local universel près d'un zéro sur la ligne critique, avec toutes les contributions non sélectionnées exponentiellement supprimées.

Méthodologie
L'auteur introduit un défaut de force de nombres premiers de type Gauss-Perron, noté $\Delta_{X,\alpha}(s)$, défini par :
$$\Delta_{X,\alpha}(s) = \left(\sigma - \frac{1}{2}\right) \text{Re}\left( P_{X,\alpha}(s) - \frac{\zeta'}{\zeta}(s) \right)$$
où $P_{X,\alpha}(s)$ est un champ de nombres premiers lissé par une gaussienne, construit via une intégrale de contour impliquant le noyau $H_{X,\alpha}(z) = X^z \exp(\alpha^2 Y z^2)$ avec $Y = \log X$.

La méthodologie procède par les étapes analytiques suivantes :

1. Représentation côté nombres premiers : Il est démontré que le champ lissé $P_{X,\alpha}(s)$ correspond à une somme pondérée sur les puissances de nombres premiers, où les poids sont donnés par la fonction d'erreur complémentaire, $WX,\alpha(n) = \frac{1}{2}\text{erfc}\left(\frac{\log n - \log X}{2\alpha\sqrt{Y}}\right)$. Cela fournit une coupure à décroissance rapide centrée sur $n=X$.
2. Décalage de contour et formule explicite : En décalant le contour de l'intégrale de représentation de $P_{X,\alpha}(s)$ de $\text{Re}(z) = c$ vers $\text{Re}(z) = -d$, l'auteur dérive une formule explicite pour le défaut. Cette formule décompose le défaut en contributions provenant de :
   • Des zéros non triviaux ($\rho$) dans la bande $-d < \text{Re}(\rho-s) < c$.
   • Le pôle en $s=1$.
   • Les zéros triviaux aux entiers pairs négatifs.
   • Un reste d'intégrale de contour décalé.
3. Mise à l'échelle locale : L'analyse est menée dans l'échelle locale logarithmique $s = \rho_0 + \lambda / \log X$, où $\rho_0$ est un zéro simple fixé et $\lambda = a + ib$ est un paramètre complexe.
4. Amortissement anisotrope : Un outil analytique clé est le fonctionnel d'amortissement gaussien $Q_\alpha(\rho'; \rho_0) = \text{Re}(\rho' - \rho_0) + \alpha^2 \text{Re}((\rho' - \rho_0)^2)$. Ce fonctionnel détermine le taux de décroissance exponentielle des contributions des zéros non sélectionnés. L'article établit que les déplacements verticaux par rapport à $\rho_0$ sont amortis, tandis que les déplacements horizontaux peuvent augmenter le poids, nécessitant des conditions géométriques spécifiques sur la distribution des zéros.

Contributions clés et résultats

• Profil exact du zéro sélectionné : L'article dérive une formule exacte pour la contribution d'un seul zéro sélectionné $\rho_0$.

  • Cas de la ligne critique ($\rho_0 = 1/2 + i\gamma_0$) : Sous l'hypothèse que $\rho_0$ est simple et sur la ligne critique, la contribution du zéro sélectionné converge vers un profil borné universel :
    $$L_{\rho_0, X, \alpha}(s) \sim -a \text{Re}\left(\frac{e^{-\lambda}}{\lambda}\right)$$
    où $a = \text{Re}(\lambda)$. Ce profil est indépendant du paramètre de lissage $\alpha$ dans l'ordre dominant.
  • Cas hors ligne ($\beta_0 \neq 1/2$) : Pour un zéro hypothétique hors de la ligne critique, la contribution passe à l'échelle linéairement avec $\log X$, soit $O(\log X)$. Cela fournit une distinction théorique entre les zéros critiques et hors-critiques au sein de ce cadre de défaut.

• Théorème de localisation : Le résultat principal (Théorème 7.6) établit que, sous l'Hypothèse de Riemann et sous certaines conditions d'amortissement, le défaut complet $\Delta_{X,\alpha}(s)$ près d'un zéro sur la ligne critique est dominé par le profil du zéro sélectionné, le reste non local (contributions des autres zéros, du pôle et du contour) étant exponentiellement petit ($O(e^{-cY})$).

  • Conditions : Le théorème nécessite une « condition d'amortissement du pôle » (une borne inférieure sur $\alpha$ par rapport à $\gamma_0$) et une « régularité de contour » (bornes sur $\zeta'/\zeta$ sur la droite décalée).
  • Implication de la RH : En supposant la RH, la condition d'espacement des zéros est automatiquement satisfaite car tous les zéros non triviaux se situent sur la droite $\text{Re}(s)=1/2$, garantissant que $Q_\alpha < 0$ pour tout $\rho' \neq \rho_0$.

• Vérification numérique : La section 8 fournit un contrôle numérique direct du défaut côté nombres premiers à l'aide d'une somme tronquée de puissances de nombres premiers. Pour le premier zéro non trivial, le défaut calculé correspond au profil théorique du zéro sélectionné pour un $X$ fini avec une grande précision (écart maximal $\approx 3,4 \times 10^{-10}$), validant la dérivation analytique dans un régime calculable.

Signification et revendications
L'article affirme fournir un diagnostic local de la géométrie des zéros associé à la fonction zêta de Riemann. Contrairement aux travaux précédents qui étudient la monotonie globale de $|\xi|$ ou de $\text{Re}(\xi'/\xi)$, ce travail isole le comportement local de la « force horizontale » près d'un zéro spécifique.

La signification réside dans :

1. Découplage : Séparer avec succès la contribution d'un seul zéro de la somme globale des zéros et des nombres premiers en utilisant un noyau de type Gauss-Perron.
2. Universalité : Démontrer que le profil local près d'un zéro sur la ligne critique est universel (indépendant de $\alpha$ et de la hauteur spécifique du zéro, pourvu qu'il soit simple).
3. Potentiel de diagnostic : Le cadre suggère que le défaut $\Delta_{X,\alpha}$ pourrait servir d'outil pour détecter les écarts par rapport à la ligne critique (les zéros hors ligne présenteraient une croissance linéaire en $\log X$ plutôt qu'un profil borné), sous réserve de pouvoir contrôler le reste non local.

Les auteurs restent modestes quant aux applications, déclarant que l'analyse est « locale et de type défaut » et focalisée sur le comportement asymptotique du défaut dans le cadre de la RH. Ce travail ne propose pas de nouveaux algorithmes pour calculer les zéros ou prouver l'Hypothèse de Riemann ; il construit plutôt un cadre théorique pour analyser la structure locale des zéros de la fonction zêta s'ils existent.