Transcendence of $p$-adic continued fractions and a quantitative $p$-adic Roth theorem

Cet article améliore les résultats de transcendance pour les fractions continues $p$-adiques en démontrant que les fractions palindromiques et quasi-périodiques convergent vers des nombres transcendants ou des irrationnels quadratiques sans restriction sur la norme $p$-adique, tout en fournissant une version quantitative du théorème de Ridout et en étudiant la croissance des dénominateurs des convergents de nombres algébriques.

L'essentiel

🌌 Le Voyage dans le Pays des Nombres $p$-adiques : Une Chasse aux Nombres Magiques

Imaginez que les mathématiques sont une immense bibliothèque. Dans cette bibliothèque, il y a deux grandes catégories de livres (ou de nombres) :

1. Les nombres "rationnels" et "algébriques" : Ce sont les livres bien rangés, prévisibles, comme des recettes de cuisine ou des équations simples. On peut les décrire avec des règles claires.
2. Les nombres "transcendants" : Ce sont les livres chaotiques, infinis et imprévisibles. Ils ne suivent aucune règle simple. C'est comme essayer de deviner la prochaine note d'une mélodie qui n'a jamais été jouée.

Les auteurs de ce papier, Anne Kalitzin et Nadir Murru, sont des détectives qui cherchent à savoir si un nombre mystérieux qu'ils ont trouvé appartient à la catégorie "prévisible" ou "chaotique".

1. La Carte au Trésor : Les Fractions Continues

Pour explorer ces nombres, les mathématiciens utilisent une carte spéciale appelée fraction continue. C'est comme décomposer un nombre en une suite infinie d'indices (des "briques").

• Dans le monde réel (nos nombres habituels), on connaît bien ces cartes.
• Mais ici, les auteurs voyagent dans un univers parallèle appelé $\mathbb{Q}_p$ (les nombres $p$-adiques). C'est un monde où les règles de la distance sont inversées : plus un nombre est divisible par un nombre premier $p$, plus il est "proche" de zéro ! C'est un peu comme si, dans ce monde, un million était plus proche de zéro que le chiffre 1.

2. Le Mystère des Miroirs (Les Palindromes)

L'un des grands défis de ce papier est de comprendre les palindromes.

• Imaginez une suite de chiffres qui se lit pareil dans les deux sens, comme "12321".
• Les auteurs se demandent : Si ma carte (ma fraction continue) commence par des miroirs de plus en plus longs (des palindromes géants), est-ce que je vais tomber sur un nombre prévisible ou un nombre chaotique ?

Dans le passé, les détectives devaient vérifier que les "briques" de la carte ne soient pas trop grosses ou trop petites pour faire leur travail. C'était comme dire : "On ne peut trouver le trésor que si les pierres sont de la taille d'un caillou".

La grande innovation de ce papier :
Les auteurs disent : "Oubliez la taille des pierres !"
Ils prouvent que peu importe la taille des briques (même si elles sont énormes ou minuscules), tant que la structure du miroir (le palindrome) est assez longue, le résultat est garanti : le nombre est soit un "prévisible" (un nombre quadratique), soit un "chaotique" (transcendant). Ils ont supprimé les restrictions arbitraires qui gênaient les chercheurs précédents.

3. Le Rituel Répétitif (Quasi-périodicité)

Ensuite, ils étudient les suites qui se répètent de manière un peu bizarre (quasi-périodiques). C'est comme une musique qui répète un refrain, mais en allongeant le refrain à chaque fois.

• Ils montrent que si ces répétitions deviennent de plus en plus longues et complexes, le nombre ne peut pas être "prévisible". Il doit être transcendant.
• Ils utilisent une règle mathématique très puissante (le théorème de Roth, version $p$-adique) qui dit essentiellement : "Si un nombre est trop bien approximé par des fractions simples, alors ce nombre est forcément un nombre transcendant."

4. Le Nouveau Radar (Le Théorème Quantitatif)

C'est la partie la plus technique, mais aussi la plus importante.
Pour prouver leurs théories, les auteurs avaient besoin d'un outil de mesure très précis. Ils ont dû construire un nouveau radar (une version quantitative du théorème de Ridout).

• L'analogie : Imaginez que vous essayez de compter combien de fois un intrus peut s'approcher d'un château fort sans être attrapé. Les anciens radars disaient juste : "Il y a un nombre fini d'intrus".
• Le nouveau radar : Les auteurs disent : "Non seulement il y a un nombre fini, mais voici exactement combien il y en a, et voici à quelle vitesse ils doivent s'éloigner."
• Ils ont créé une formule précise qui limite le nombre de fois où un nombre algébrique peut être "trop bien" approché par des fractions dans ce monde $p$-adique. C'est comme avoir un compteur de vitesse ultra-précis pour les intrus.

5. La Croissance des Dénominateurs

Enfin, ils regardent la "taille" des dénominateurs (les nombres en bas des fractions) qui apparaissent dans ces cartes.

• Ils prouvent que pour les nombres "prévisibles" (algébriques), ces dénominateurs ne peuvent pas grandir trop vite.
• Si vous voyez une carte où les dénominateurs explosent en grandeur d'une manière spécifique, vous savez immédiatement que vous avez affaire à un nombre "chaotique" (transcendant).

En Résumé : Pourquoi est-ce important ?

Ce papier est une avancée majeure car il simplifie et généralise la chasse aux nombres transcendants dans le monde $p$-adique.

1. Plus de restrictions : On n'a plus besoin de vérifier la taille des nombres pour savoir s'ils sont transcendants. La structure (les miroirs, les répétitions) suffit.
2. Un outil plus puissant : Ils ont créé un nouveau "radar" mathématique qui permet de compter et de mesurer avec une précision inédite.
3. Une meilleure compréhension : Cela nous aide à mieux distinguer l'ordre du chaos dans les mathématiques, même dans des univers parallèles comme les nombres $p$-adiques.

C'est comme si les auteurs avaient trouvé une clé universelle pour ouvrir la porte des nombres transcendants, sans avoir besoin de vérifier la température ou la météo à l'extérieur ! 🔑✨

Résumé technique

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des nombres, plus précisément dans l'étude de la transcendance des nombres $p$-adiques via leurs développements en fractions continues.

• Contexte : Dans le cadre réel, des critères de transcendance sont bien établis (notamment grâce aux théorèmes de Roth et de Schmidt). Par exemple, si les quotients partiels d'une fraction continue sont non bornés et croissent suffisamment vite, ou si la fraction est quasi-périodique avec certaines propriétés de symétrie (palindromes), le nombre est souvent transcendant.
• Défi $p$-adique : L'extension de ces résultats au corps des nombres $p$-adiques ($\mathbb{Q}_p$) est complexe car il n'existe pas de définition canonique de la partie entière ($\lfloor \cdot \rfloor$) en $p$-adique. Deux définitions principales existent : celles de Ruban et de Browkin.
• Limites des travaux antérieurs : Des résultats précédents (notamment dans [10, 15]) ont établi la transcendance ou l'irrationalité quadratique pour des fractions continues $p$-adiques palindromes ou quasi-périodiques, mais sous des contraintes fortes sur la norme $p$-adique des quotients partiels (par exemple, $|b_i|_p \ge p^4$) ou sur la croissance des dénominateurs.
• Objectif de l'article :
  1. Éliminer les restrictions sur la norme $p$-adique des quotients partiels pour les fractions continues palindromes et quasi-périodiques.
  2. Établir une version quantitative du théorème de Ridout (l'analogue $p$-adique du théorème de Roth), qui manquait dans une forme utilisable pour ces problèmes.
  3. Étudier la croissance des dénominateurs des réduites pour les nombres algébriques en $\mathbb{Q}_p$.

---

2. Méthodologie

Les auteurs utilisent une combinaison d'outils d'approximation diophantienne et de propriétés spécifiques des fractions continues $p$-adiques.

A. Outils d'Approximation Diophantienne

• Théorème de Roth $p$-adique (Ridout) : Utilisé pour borner le nombre de bonnes approximations rationnelles d'un nombre algébrique.
• Théorème du Sous-espace (Schlickewei) : Utilisé dans sa version $p$-adique pour traiter les formes linéaires.
• Nouvelle contribution méthodologique : Les auteurs déduisent une version quantitative du théorème de Ridout. Ils adaptent la preuve originale de Ridout pour obtenir une borne explicite sur le nombre de solutions d'une inégalité diophantienne $p$-adique, dépendant du degré de l'algébrique et de l'erreur d'approximation $\epsilon$.

B. Propriétés des Fractions Continues $p$-adiques

• Définitions : Utilisation simultanée des définitions de Ruban et Browkin.
• Identités classiques : Utilisation des relations de récurrence pour les numérateurs ($A_i$) et dénominateurs ($B_i$), ainsi que l'identité $A_i B_{i-1} - B_i A_{i-1} = (-1)^i$.
• Analyse des Palindromes : Pour les fractions commençant par des palindromes arbitrairement longs, les auteurs exploitent la symétrie de la matrice de transformation pour montrer que $A_n = B_{n-1}$ pour une infinité d'indices $n$. Cela permet de construire des approximations de $\alpha^2$ à partir de $\alpha$.

C. Analyse de la Croissance

• Lemme de croissance : Démonstration d'une borne inférieure sur la croissance des dénominateurs $|B_n|_p$ (liée au nombre d'or).
• Contre-exemple par l'absurde : Pour les nombres algébriques de degré $\ge 3$, les auteurs montrent que la croissance des dénominateurs imposée par la structure quasi-périodique contredit la version quantitative du théorème de Roth.

---

3. Résultats Clés et Contributions

Résultat 1 : Transcendance des fractions palindromes sans restriction de norme

Théorème A : Soit $\alpha \in \mathbb{Q}_p$ avec un développement en fraction continue $[0, b_1, b_2, \dots]$ commençant par des palindromes arbitrairement longs.
Si la croissance des normes archimédiennes des réduites est contrôlée par :
$$\max(|A_i|_\infty^{1/i}, |B_i|_\infty^{1/i}) < p^{1/4} \quad \text{pour } i \gg 0$$
Alors $\alpha$ est soit transcendant, soit une irrationalité quadratique.

• Avancée majeure : Ce résultat supprime les conditions précédentes imposant $|b_i|_p \ge p^4$ (Ruban) ou $|b_i|_p \ge p^3$ (Browkin). La seule contrainte porte sur la croissance "archimédienne" des dénominateurs, ce qui est beaucoup plus faible.

Résultat 2 : Version Quantitative du Théorème de Roth $p$-adique

Théorème 8 et Corollaire 9 : Les auteurs établissent que pour un nombre algébrique $\alpha \in \mathbb{Q}_p$ de degré $n \ge 2$, le nombre de solutions entières $(A, B)$ de l'inégalité :
$$\left| \alpha - \frac{A}{B} \right|_p < \frac{1}{|B|_\infty^{2+\epsilon}}$$
avec $|B|_\infty \ge |A|_\infty$, est borné par une fonction exponentielle de $1/\epsilon$ :
$$N(\epsilon) < C_1 \epsilon^{-1} \log \hat{C} + \exp(C n^2 \epsilon^{-2})$$
où $\hat{C}$ dépend des coefficients du polynôme minimal de $\alpha$.

• Signification : Cette borne explicite est cruciale pour prouver les résultats de transcendance sur les fractions quasi-périodiques, car elle permet de quantifier le nombre d'indices "exceptionnels" où la croissance des dénominateurs pourrait être trop rapide.

Résultat 3 : Croissance des dénominateurs pour les nombres algébriques

Théorème 12 : Pour un nombre algébrique $\alpha \in \mathbb{Q}_p$, les dénominateurs $B_k$ de ses réduites ne peuvent pas croître trop vite. Plus précisément, sous certaines hypothèses techniques sur la valuation $p$-adique :
$$\log \log |B_k|_p < \frac{c(\alpha) k}{(\log k)^{1/2}}$$
Ce résultat est l'analogue $p$-adique d'un théorème célèbre de Davenport et Roth. Il implique que si une fraction continue a des dénominateurs qui croissent plus vite que cette borne, le nombre ne peut pas être algébrique.

Résultat 4 : Transcendance des fractions quasi-périodiques

Théorème 15 : Soit $\alpha = [0, b_1, b_2, \dots]$ une fraction continue $p$-adique quasi-périodique (définie par des blocs de répétition de longueur $\lambda_i$ et des périodes $k_i$).
Si :

1. $k_i < C n_i$ (les périodes sont bornées par rapport au début des blocs),
2. $\lim_{i \to \infty} \frac{\log \lambda_i (\log n_i)^{1/2}}{n_i} = \infty$ (les blocs de répétition sont très longs),
3. $|A_i|_\infty \le |B_i|_\infty$ pour $i$ grand,
   Alors $\alpha$ est transcendant ou quadratique.

• Avancée : Ce résultat généralise ceux de Baker et Maillet au cas $p$-adique avec des conditions de croissance beaucoup plus souples que les travaux précédents ([10, 15]).

---

4. Signification et Impact

1. Généralisation des critères de transcendance : En supprimant les restrictions sur la norme $p$-adique des quotients partiels, les auteurs élargissent considérablement la classe de nombres $p$-adiques pour lesquels on peut garantir la transcendance ou l'irrationalité quadratique. Cela rend les critères applicables à des séquences plus "naturelles" ou moins contraintes.
2. Outil théorique nouveau : La dérivation d'une version quantitative du théorème de Ridout comble un vide dans la littérature. Ce résultat est indépendant et peut être utilisé pour d'autres problèmes d'approximation diophantienne en $\mathbb{Q}_p$.
3. Unification des approches : Le papier traite de manière unifiée les définitions de Ruban et de Browkin, montrant que les phénomènes de transcendance liés à la structure des palindromes et de la quasi-périodicité sont robustes face au choix de la définition de la fraction continue.
4. Lien entre croissance et algébricité : L'établissement d'une borne précise sur la croissance des dénominateurs pour les nombres algébriques en $\mathbb{Q}_p$ fournit un critère puissant pour distinguer les nombres transcendants des nombres algébriques, en s'inspirant directement des résultats classiques réels (Davenport-Roth) mais adaptés aux spécificités ultramétriques.

En résumé, cet article représente une avancée significative dans la théorie des nombres $p$-adiques en affinant les outils d'approximation et en élargissant les frontières de la transcendance pour les fractions continues structurées.