🔢 mathematics

Factorial Calculi and the Canonical Stirling Defect of the Prime Bhargava Factorial

Cet article construit une fonction entière canonique sans zéro $\Gamma_{\mathbb{P}}^{\mathrm{cyc}}$ qui interpole la factorielle de Bhargava première via une normalisation cyclotomique et par orbite, établissant sa loi de réflexion, dérivant une formule de Stirling non lissée avec un terme d'erreur local aux nombres premiers précis, et prouvant un asymptotique conditionnel pour la somme des carrés de ce terme d'erreur.

Auteurs originaux : Brian Diaz

Publié 2026-07-27

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Brian Diaz

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 essayiez de compter le nombre de façons d'organiser un jeu de cartes. Pour un jeu standard, vous multipliez $1 \times 2 \times 3 \dots$ jusqu'à 52. C'est le célèbre « factoriel », un outil mathématique qui nous aide à compter les combinaisons, à prédire les probabilités et à comprendre la croissance des choses. Mais que se passerait-il si vous n'aviez pas un jeu standard ? Et si votre jeu était composé uniquement de nombres premiers — ces nombres entiers spéciaux comme 2, 3, 5, 7, 11 qui ne peuvent pas être décomposés davantage ? Les mathématiciens se demandent depuis longtemps : si nous construisons un « factoriel premier » en utilisant uniquement ces nombres spéciaux, suit-il les mêmes règles lisses et prévisibles que le factoriel standard ?

Cette question appartient au monde de la théorie des nombres, une branche des mathématiques qui étudie les motifs cachés des entiers. Pour y répondre, nous avons besoin de deux outils principaux. Premièrement, la fonction Gamma, qui est comme un « super-factoriel » permettant de calculer des factoriels pour des nombres qui ne sont pas des nombres entiers (comme 3,5 !), transformant un escalier dentelé d'entiers en une courbe lisse et fluide. Deuxièmement, la formule de Stirling, un raccourci célèbre qui nous indique l'ampleur d'un factoriel à mesure que les nombres deviennent énormes, transformant un problème de multiplication massif en une simple équation impliquant des logarithmes et des racines carrées. Le grand mystère est le suivant : lorsque nous remplaçons les nombres par des nombres premiers, cette courbe lisse existe-t-elle toujours, et le raccourci fonctionne-t-il encore ?

Dans cet article, le mathématicien Brian Diaz s'attaque à ce puzzle en construisant un tout nouveau « factoriel premier » en partant de zéro. Il ne se contente pas de deviner la réponse ; il construit une machine mathématique rigoureuse appelée « calcul factoriel » qui traite les nombres premiers comme les couches d'un gâteau. Il démontre que si chaque couche individuelle de nombres premiers se comporte de manière désordonnée et dentelée, lorsqu'on les empile toutes ensemble, elles forment un tout lisse et prévisible. Il invente ensuite une « Fonction Gamma Première » spéciale qui sert de courbe lissée pour ces factoriels premiers.

La conclusion principale de l'article est que cette nouvelle Fonction Gamma Première est réelle, unique et suit une belle règle de symétrie : si vous multipliez la fonction en un nombre $z$ par la fonction en $1-z$ , vous obtenez toujours 1. C'est une « loi de réflexion » similaire à celle que suit la fonction Gamma standard, prouvant que le monde des nombres premiers possède son propre ordre élégant. Cependant, l'article révèle aussi un rebondissement. Bien que la fonction soit parfaitement lisse, la différence entre le factoriel premier réel et le raccourci prédit (appelé le « défaut de Stirling ») ne disparaît pas ; elle ondule. L'article prouve que ces ondulations sont des fluctuations arithmétiques réelles et non lissées, et non de simples erreurs de calcul.

Diaz calcule précisément l'ampleur de ces ondulations en moyenne. Il trouve que si l'on regarde le carré de ces fluctuations jusqu'à un nombre $X$ , le total croît approximativement comme $X^{1,5} \log X$ . C'est un résultat précis et conditionnel. L'article prouve que si une hypothèse spécifique et difficile concernant le comportement des nombres premiers (une « borne de racine carrée » sur une somme de caractères complexes) est vraie, alors ce taux de croissance est exact. Si cette hypothèse est fausse, le taux de croissance pourrait être différent. L'article ne prétend pas avoir prouvé l'hypothèse elle-même ; il isole plutôt toute l'incertitude du problème dans cette seule conjecture mathématique bien définie. Ainsi, la structure du factoriel premier est prouvée comme étant belle et unique, mais la taille exacte de ses fluctuations finales attend qu'une dernière pièce du puzzle vienne s'emboîter.

Résumé Technique : Calculs Factoriels et le Défaut de Stirling Canonique de la Factorielle de Bhargava Primaire

1. Énoncé du Problème et Motivation

Le papier traite de la continuation analytique et du comportement asymptotique de la factorielle de Bhargava primaire, notée $(n+1)!_P$ . Alors que la fonction gamma d'Euler classique $\Gamma(z)$ est caractérisée de manière unique parmi les solutions de la récurrence $\Gamma(z+1)=z\Gamma(z)$ par le théorème de Bohr–Mollerup (positivité et log-convexité), aucun principe de convexité directe de ce type n'existe pour les factorielles arithmétiques définies sur des sous-ensembles d'entiers.

Le problème spécifique consiste à construire une fonction gamma entière « canonique » $\Gamma_P(z)$ qui interpole la factorielle de Bhargava primaire, satisfait sa récurrence exacte et possède une expansion de Stirling bien définie. Une difficulté centrale est que la relation de récurrence seule admet un « torsor » de solutions entières (différant par des fonctions entières 1-périodiques). Le papier cherche un principe de normalisation pour sélectionner un représentant unique, analogue à la manière dont Bohr–Mollerup sélectionne la fonction gamma classique, et pour analyser la précision des fluctuations arithmétiques de cette sélection.

2. Méthodologie et Cadre de Travail

Le papier développe un cadre en trois parties :

Partie I : La Catégorie des Calculs Factoriels.
Les auteurs formalisent une catégorie, FactCalc, où les objets sont des séquences de données factorielles positives $F = (F_n)$ . Chaque donnée définit un espace de Hilbert pondéré de séries de puissances et un opérateur de dérivation généralisé. La factorielle de Bhargava primaire est réalisée non pas comme une séquence unique, mais comme la complétion monoïdale symétrique filtrée de couches de valuation « atomiques ».
- Couches Atomiques : Pour chaque nombre premier $p$ et entier $j \ge 0$ , une couche $\lambda = (p,j)$ contribue par un facteur de pas périodique.
- Complétion : La factorielle complétée $(n+1)!_P$ est la limite de produits finis de ces couches. Le papier prouve que si les systèmes de couches finies présentent une croissance exponentielle, le système complété présente une croissance factorielle, nécessitant un passage des fonctions analytiques basées sur le disque aux fonctions entières.
Partie II : Torsors de Levi-Lift Gamma et Sélection de Stirling par Orbite.
Les auteurs analysent l'ambiguïté dans l'extension d'une factorielle discrète à une fonction entière.
- Structure de Torsor : L'ensemble des levées entières de la récurrence logarithmique forme un torsor sous le groupe des fonctions entières 1-périodiques normalisées.
- Principe de Normalisation : Au lieu de la log-convexité, le papier introduit une normalisation de Stirling par orbite. Ce principe exige que le « défaut transverse » (l'écart par rapport à un modèle de comparaison, moyenné sur les orbites de translation) disparaisse asymptotiquement.
- Construction : En utilisant la quadrature cyclotomique symétrique, les auteurs construisent un symbole de récurrence entier spécifique $L^{cyc}_P$ et une levée distinguée $H^{cyc}_P$ . Cette levée est montrée comme étant l'unique élément du torsor satisfaisant la condition de Stirling par orbite par rapport au modèle de comparaison $M_P(z) = \log \Gamma(z) + C_P(z-1)$ , où $C_P = \sum_p \frac{\log p}{(p-1)^2}$ .
- Propriétés : La fonction résultante $\Gamma^{cyc}_P(z) = \exp(H^{cyc}_P(z))$ est sans zéro, entière, satisfait la récurrence et obéit à une loi de réflexion de type Euler : $\Gamma^{cyc}_P(z)\Gamma^{cyc}_P(1-z) = 1$ .
Partie III : Analyse des Fluctuations Non-Lissées.
Le papier analyse le second moment du « défaut de Stirling » $R_P(n) = \log(n+1)!_P - \log n! - C_P n$ .
- Décomposition : Le défaut est décomposé en un terme diagonal géométrique et des termes de covariance hors-diagonaux.
- Réduction : En utilisant l'identité de Vaughan, la sommation de Poisson et la descente de conducteur, les auteurs réduisent le problème de la variance à un « moment de Vaughan subcritique centré ».
- Conditionnalité : Toutes les composantes structurelles (la fonction gamma, la loi de réflexion, la constante diagonale) sont prouvées inconditionnellement. La variance asymptotique finale dépend d'une conjecture spécifique concernant l'annulation d'une somme de caractères centrée.

3. Contributions Clés et Résultats

Réalisation Catégorique : La factorielle de Bhargava primaire est rigoureusement définie comme la limite projective bornée de calculs de valuation atomiques, établissant un cadre de « calcul factoriel » qui généralise le calcul différentiel classique.
Fonction Gamma Canonique : La construction de $\Gamma^{cyc}_P$ $Γ_{P}^{cy c}$ , la première fonction gamma entière canonique pour la factorielle de Bhargava primaire. Elle satisfait :
- $\Gamma^{cyc}_P(m) = m!_P$ pour les entiers $m \ge 1$ .
- La loi de réflexion $\Gamma^{cyc}_P(z)\Gamma^{cyc}_P(1-z) = 1$ .
- La valeur médiane $\Gamma^{cyc}_P(1/2) = 1$ .
Expansion de Stirling Non-Lissée : Le papier dérive une formule de Stirling exacte et non-lissée pour la factorielle primaire :
$\log(n+1)!_P = n \log n + (C_P - 1)n + \frac{1}{2}\log(2\pi n) + R_P(n) + O(1/n)$
où $R_P(n)$ est un écart arithmétique explicite avec une expansion locale de type premier absolument convergente.
Asymptotique de la Variance : Le papier prouve que le second moment du défaut se comporte comme :
$\sum_{n \le X} R_P(n)^2 \sim -\frac{4}{3}\zeta\left(-\frac{1}{2}\right) X^{3/2} \log X$
Ce résultat est conditionnel à la Conjecture 1.6 (Moment de Vaughan Centré Subcritique), qui affirme une borne de racine carrée pour une somme de caractères centrée impliquant des poids de Möbius tronqués et de nombres premiers.
Non-Existence d'Intégrales Positives : Le papier démontre qu'aucune représentation Euler–Mellin positive n'existe pour $\Gamma^{cyc}_P$ ou son inverse, car la séquence échoue aux conditions de positivité de Hankel. Cela motive une conjecture pour une représentation signée, distributionnelle ou de contour.

4. Signification et Revendications

Le papier revendique fournir une théorie structurelle et analytique complète de la factorielle de Bhargava primaire, répondant à des questions spécifiques (Questions 31 et 33) posées par Bhargava dans son travail de 2000.

Unification Structurelle : Il unifie les factorielles arithmétiques, les exponentielles généralisées et les fonctions gamma au sein d'un cadre catégorique unique de « calculs factoriels », distinguant la conjugaison polynomiale formelle de la bornitude analytique.
Théorie de la Normalisation : Il établit la rigidité de Stirling par orbite comme le corollaire correct du théorème de Bohr–Mollerup pour les récurrences arithmétiques, sélectionnant une continuation analytique unique sans recourir à la convexité.
Précision des Fluctuations : Il isole la source d'incertitude de la variance de la factorielle primaire. Le papier affirme que « la construction catégorique, la continuation canonique, la loi de réflexion et l'expansion de Stirling sont inconditionnelles », tandis que la conditionnalité de l'asymptotique de la variance est « isolée dans une estimation spectrale unique ».
Arithmétique vs Analytique : Le travail souligne que le « comportement de Stirling » de la factorielle primaire est un phénomène de complétion ; il n'est pas visible dans les systèmes de couches finies mais émerge uniquement après le produit infini des couches de valuation.

En résumé, le papier construit une fonction entière distinguée $\Gamma^{cyc}_P$ qui sert de fonction gamma canonique pour la factorielle de Bhargava primaire, prouve ses équations fonctionnelles fondamentales, et dérive la variance asymptotique précise de son terme d'erreur arithmétique, sous réserve d'une conjecture étroite et spécifique de la théorie analytique des nombres.

Articles similaires