Tail Criteria, No-Go Audits, and Apéry-Type Certificate Obstructions for the Irrationality of e+\pi

Énoncé du problème

L'article traite du problème ouvert de longue date concernant la preuve de l'irrationalité de la somme $e + \pi$. Bien que $e$ et $\pi$ soient individuellement connus pour être transcendants (via les théorèmes de Hermite et Lindemann), leur somme pourrait théoriquement être rationnelle. L'article ne tente pas de prouver directement que $e + \pi \notin \mathbb{Q}$. Au lieu de cela, il adopte une approche structurelle pour isoler les exigences arithmétiques spécifiques que tout mécanisme de preuve de type « Apéry » élémentaire devrait satisfaire. L'objectif est de définir un « théorème d'impossibilité borné » (bounded no-go theorem) qui délimite une zone interdite pour les mécanismes de preuve à faible complexité, clarifiant pourquoi les techniques d'approximation standard ne parviennent pas à produire un certificat d'irrationalité valide pour cette constante spécifique.

Méthodologie

L'article emploie une méthodologie en trois volets combinant des équivalences arithmétiques exactes, des identités intégrales et un audit computationnel :

1. Analyse des critères de queue (Tail Criteria) : L'auteur dérive des équivalences exactes entre l'hypothèse $e + \pi \in \mathbb{Q}$ et des comportements ultérieurs spécifiques dans les développements factoriels. Cela implique l'analyse de la « queue » de l'expansion factorial-Cantor de $\pi$ et des relations de récurrence des fonctions partie entière appliquées à $N!\pi$.
2. Cadre de certificat intégral mixte : L'article formule un cadre pour générer des formes linéaires entières $L_n = A_n(e + \pi) + B_n$ en utilisant une identité de type intégration par parties mixte. Cette identité combine la représentation intégrale de $e$ (via $\int P(x)e^x dx$) et de $\pi$ (via $\int \frac{1}{1+x^2} dx$) pour produire des formes où $A_n, B_n \in \mathbb{Z}$.
3. Audit de non-possibilité (No-Go Audit) : Le cœur de l'article est un « audit » de diverses familles de constructions à faible complexité (par exemple, approximations de Padé, approximations croisées, J-fractions, ansatz holomorphes et recherches de noyaux-réseaux). L'audit applique des filtres stricts :
   • Élimination des dénominateurs : S'assurer que la forme linéaire entière est véritablement petite après élimination des dénominateurs.
   • Réduction primitive : Supprimer les facteurs communs pour vérifier la forme primitive.
   • Audit de l'ombre de la fraction continue (CF-Shadow Auditing) : Vérifier si l'approximation rationnelle résultante n'est pas simplement un convergent ou un convergent intermédiaire de la fraction continue de $e + \pi$ (une « ombre de CF »), ce qui indiquerait que le mécanisme ne génère pas un nouveau certificat d'irrationalité mais redécouvre simplement des approximations classiques.

Contributions clés

1. Critères de queue exacts pour la rationalité
L'article prouve que si $e + \pi$ était rationnel, cela imposerait des comportements rigides et spécifiques dans l'arithmétique factorielle de $\pi$ :

• Récurrence de la partie entière : Si $e + \pi \in \mathbb{Q}$, alors pour un $N$ suffisamment grand, la séquence $A_N = \lceil N!\pi \rceil$ doit satisfaire la récurrence $A_{N+1} = (N+1)A_N - 1$.
• Digits de Factoriel-Cantor : Les digits factoriel-Cantor $d_N(\pi)$ doivent finalement être égaux à $N-2$.
• Critère de divisibilité : Une séquence spécifique $Q_N = \lfloor N!e \rfloor + \lceil N!\pi \rceil$ doit être éventuellement divisible par $N$.
  L'auteur souligne que bien qu'il s'agisse d'équivalences exactes, ce ne sont pas des obstructions finies ; prouver l'irrationalité nécessiterait de montrer que ces modèles échouent infiniment souvent, ce qui reste difficile.

2. L'identité du noyau mixte
Un outil mathématique central introduit est une identité intégrale mixte pour tout polynôme entier $P(x)$ :
$$\int_0^1 \left( P(x)e^x + \frac{4A(P)}{1+x^2} \right) dx = A(P)(e + \pi) - S_P(0)$$
où $A(P) = \sum (-1)^j P^{(j)}(1)$ et $S_P(0) = \sum (-1)^j P^{(j)}(0)$. Cela fournit un moyen systématique de générer des formes linéaires entières en $e + \pi$. Le défi identifié est de rendre l'intégrale petite analytiquement sans que les coefficients arithmétiques (dénominateurs) ne croissent trop vite pour préserver la « petitesse » requise pour une preuve d'irrationalité.

3. Le cadre d'audit de non-possibilité (No-Go Audit)
L'article définit un filtre de « non-possibilité » rigoureux. Un mécanisme est écarté en tant que générateur de certificat de type Apéry si :

• Ses formes linéaires entières ne tendent pas vers zéro après élimination des dénominateurs et réduction primitive.
• Ses meilleurs résultats se réduisent à des « ombres de CF » (approximations classiques de fractions continues) sans former une famille de progression de degré non-CF.

Résultats

L'audit computationnel a testé plusieurs familles de faible complexité :

• Approximations de Padé mixtes : Ont fourni une proximité analytique mais ont échoué à produire de petites formes linéaires entières après élimination des dénominateurs.
• Approximations croisées : La synchronisation des approximations séparées pour $e$ et $\pi$ a échoué à produire l'annulation de l'erreur nécessaire à la même échelle.
• Familles holomorphes et de type Rodrigues : Bien qu'elles puissent réduire les résidus analytiques locaux, les formes résultantes soit ne tendaient pas vers zéro, soit étaient dominées par des facteurs communs et des ombres de CF.
• Recherche de Noyau-Réseau (Kernel-Lattice Search) : C'était la recherche la plus sensible. Sur 145 candidats bruts, 133 ont été classés comme records primitifs.
  • Dominance des ombres de CF : Les meilleurs signaux (résidus les plus bas) étaient presque exclusivement des « ombres de CF ». Par exemple, un candidat de degré 14 a produit une forme $245223(e+\pi) - 1436976$, qui se réduit à $9(27247(e+\pi) - 159664)$. Le rapport $159664/27247$ a été vérifié comme étant un convergent de la fraction continue de $e + \pi$.
  • Échec des familles non-CF : Les meilleurs candidats « non-CF » ne formaient pas une famille stable et améliorée à mesure que le degré du polynôme augmentait. La taille du dénominateur augmentait, mais la précision du résidu ne s'améliorait pas de manière monotone.

Conclusion de l'audit : Au sein des familles de faible complexité testées, aucun mécanisme de type Apéry non circulaire n'a été trouvé. Le mode de défaillance commun est que la petitesse analytique ne se traduit pas par une petitesse arithmétique une fois les dénominateurs et les coefficients pris en compte.

Signification et affirmations

L'article affirme explicitement qu'il ne s'agit pas d'un théorème d'impossibilité universel. Il ne prouve pas que $e + \pi$ est irrationnel, ni qu'aucune preuve n'existe.

Sa signification réside plutôt dans :

1. Clarification structurelle : Il isole les exigences arithmétiques précises (formes linéaires entières tendant vers zéro) qui distinguent une véritable preuve d'irrationalité d'une simple approximation rationnelle.
2. Définition de la « Zone Interdite » : Il établit un « théorème d'impossibilité borné » pour un univers spécifié de stratégies à faible complexité. Il démontre que pour ces stratégies, la compétition entre l'annulation analytique et la croissance arithmétique (élimination des dénominateurs, réduction primitive) détruit le potentiel d'un certificat.
3. Outil de diagnostic : L'audit de l'ombre de la CF est présenté comme un filtre nécessaire pour les tentatives futures. Tout nouveau mécanisme doit survivre à la réduction primitive et prouver qu'il ne s'agit pas simplement d'un reconditionnement des approximations classiques de fractions continues.

L'article conclut qu'une preuve réussie de $e + \pi \notin \mathbb{Q}$ par des moyens de type Apéry doit coupler des coefficients entiers, un résidu non nul et une estimation du résidu tendant vers zéro d'une manière qui survit à un filtrage arithmétique fort — un couplage que les familles de faible complexité testées n'ont pas réussi à atteindre.