🔢 mathematics

If a machine did it, it is probably transcendental (even $p$ -adically)

Cet article établit que les nombres $p$ -adiques dont les fractions continues sont générées par des mots généralisés automatiques, périodiques ou palindromiques sont soit algébriques de degré au plus 2, soit transcendants, étendant ainsi des résultats clés du cadre réel au contexte $p$ -adique.

Auteurs originaux : Laura Capuano, Sara Checcoli, Marzio Mula, Lea Terracini

Publié 2026-07-14

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Laura Capuano, Sara Checcoli, Marzio Mula, Lea Terracini

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 possédez une machine magique qui prend un nombre et le décompose en une longue chaîne infinie de symboles, comme un code secret. Dans le monde des nombres réels (ceux que nous utilisons pour mesurer des parts de pizza), les mathématiciens savent depuis longtemps que si ce code suit un motif simple et répétitif, le nombre est généralement « spécial » (comme la racine carrée de 2). Mais si le code est désordonné et chaotique, le nombre est probablement « transcendant » — un mot sophistiqué pour désigner un nombre si sauvage et complexe qu'il ne peut être décrit par aucune équation algébrique simple.

Imaginez maintenant un autre type de système de nombres appelé nombres p-adiques. Voyez-les comme des nombres qui vivent dans un univers étrange et inversé où la « taille » d'un nombre dépend de sa divisibilité par un nombre premier spécifique (comme 3, 5 ou 7) plutôt que de son apparence sur une règle. Dans cet univers, les règles pour décomposer les nombres en codes (appelés fractions continues) sont beaucoup plus floues. Il n'existe pas une seule façon de le faire ; il en existe une infinité, et pendant longtemps, personne ne savait si la règle « code simple = nombre spécial » s'appliquait également ici.

La Grande Découverte
Dans cet article, Laura Capuano et son équipe ont construit un pont entre le monde désordonné des codes p-adiques et le monde strict de l'algèbre. Ils ont posé une question simple : « Si une machine génère un nombre p-adique en utilisant un code qui possède un motif structuré spécifique (comme des blocs répétitifs ou des sections en miroir), ce nombre est-il soit un nombre "quadratique" simple, soit un nombre "transcendant" sauvage ? »

Leur réponse est un oui retentissant. Ils ont prouvé que si le code suit ces motifs spécifiques (qu'ils appellent « propriété ♠ » et « propriété ♣ »), le nombre résultant ne peut pas être un nombre algébrique complexe de degré 3 ou supérieur. C'est une situation de tout ou rien : le nombre est soit simple (de degré 2 ou moins), soit transcendant. Il n'y a pas de juste milieu.

Ce qu'ils ont écarté
L'article argumente explicitement contre l'idée que l'on puisse trouver des nombres algébriques « complexes » (ceux qui nécessitent des équations compliquées pour être résolus) cachés à l'intérieur de ces codes structurés.

L'argument de l'« intersection improbable » : Les auteurs expliquent que les codes structurés sont rares, comme trouver une phrase spécifique dans une bibliothèque de tout un corpus de charabia. Les nombres algébriques de degré élevé sont également rares. L'article suggère qu'il est hautement improbable que ces deux groupes rares se rencontrent, à moins que le code ne soit extrêmement simple (fini ou parfaitement répétitif).
La limite de la « machine » : Ils montrent que même si vous utilisez une machine (un automate à états finis) pour générer le code, ou si le code a une « faible complexité » (signifiant qu'il ne possède pas trop de motifs différents), vous ne trouverez toujours pas ces nombres algébriques de degré élevé et délicats. Si le code est suffisamment structuré pour être intéressant, le nombre qu'il produit est soit trop simple, soit trop sauvage pour être ce type de nombre algébrique spécifique du « milieu ».

À quel point en sont-ils sûrs ?
Les auteurs n'ont pas seulement deviné ou effectué des simulations ; ils l'ont prouvé.

Ils ont utilisé un outil mathématique puissant appelé le Théorème des Sous-espaces (une version p-adique d'un célèbre théorème de Schmidt). Considérez ce théorème comme un détecteur ultra-sensible capable de déterminer si un nombre est approximé « trop bien » par des fractions simples.
Ils ont montré que si le code possède la bonne structure, le nombre est approximé si parfaitement par une séquence de nombres plus simples qu'il doit être soit quadratique, soit transcendant.
Leur preuve est valable pour n'importe quelle fonction de partie entière p-adique (la règle que la machine utilise pour choisir le symbole suivant dans le code), à condition que les symboles ne soient pas trop petits dans un sens p-adique spécifique. Ils ont même donné des formules exactes pour déterminer la taille nécessaire de ces symboles (impliquant des constantes comme $p^k$ ) pour que la preuve fonctionne.

La métaphore de la « Machine »
Imaginez le nombre p-adique comme une chanson.

Si la chanson est une boucle simple et répétitive, c'est un nombre « quadratique ».
Si la chanson est de la pure chaos, c'est un nombre « transcendant ».
L'article prouve que vous ne pouvez pas avoir une chanson qui est une mélodie complexe et non répétitive (comme une improvisation de jazz qui suit une règle stricte) et qui soit tout de même un nombre algébrique de « juste milieu ». Si la mélodie suit les règles de « structure » spécifiques trouvées par les auteurs, la chanson s'effondre soit en une boucle simple, soit en un chaos total.

Pourquoi cela importe
Avant cela, nous ne connaissions cette règle que pour les nombres réels. Dans le monde p-adique, les choses étaient désordonnées car il existe de nombreuses façons de construire la « fonction de partie entière » (le livre de règles de la machine). Cet article affirme : « Peu importe le livre de règles que vous choisissez ; tant que le code possède ces motifs spécifiques, le résultat est le même. » Il étend un résultat célèbre de Bugeaud du monde réel au monde p-adique, comblant ainsi une lacune dans notre compréhension de la manière dont les nombres et les motifs interagissent dans ces étranges univers mathématiques.

En bref : Si une machine construit un nombre p-adique avec un code structuré, répétitif ou en miroir, ce nombre est soit simple, soit transcendant. Il n'y a pas de nombre algébrique « intermédiaire » caché là-dedans.

Résumé technique : « Si une machine l'a fait, c'est probablement transcendant (même p-adiquement) »

Énoncé du problème
Le papier étudie la nature algébrique des nombres $p$ -adiques dont les développements en fractions continues correspondent à des classes spécifiques de mots. Alors que les fractions continues dans le cadre réel ( $\mathbb{R}$ ) fournissent un pont bien établi entre la structure combinatoire des mots et les propriétés algébriques des nombres (par exemple, le théorème de Lagrange reliant les mots périodiques aux irrationnels quadratiques), le cadre $p$ -adique ( $\mathbb{Q}_p$ ) présente des défis structurels importants.

La question centrale abordée est de savoir si des familles de mots « structurés » (généralisations des mots périodiques, automatiques ou palindromiques) correspondent à des nombres algébriques de degré supérieur à 2 dans $\mathbb{Q}_p$ . Dans le cas réel, les résultats de Bugeaud et Adamczewski-Bugeaud suggèrent que de tels mots structurés produisent généralement des nombres transcendants, les seules exceptions algébriques étant les quadratiques (périodiques) ou les rationnels (finis). Les auteurs visent à établir un résultat analogue pour les nombres $p$ -adiques, en surmontant l'absence d'une fonction partie entière canonique et l'absence d'un analogue complet du théorème de Lagrange en $p$ -adique.

Méthodologie
Les auteurs adaptent la stratégie utilisée par Bugeaud dans le cadre réel, en utilisant le théorème de la sous-espace $p$ -adique (plus précisément la version de Schlickewei) comme outil principal. La méthodologie procède comme suit :

Classes de mots : L'étude se concentre sur deux généralisations des mots périodiques définies par Bugeaud :
- Mots $\spadesuit$ : Mots contenant des préfixes de la forme $W_n U_n V_n U_n$ (blocs répétés).
- Mots $\clubsuit$ : Mots contenant des préfixes de la forme $W_n U_n V_n \tilde{U}_n$ (blocs palindromiques, où $\tilde{U}_n$ est l'inversion de $U_n$ ).
  Ces classes incluent les mots automatiques et les mots de faible complexité.
Stratégie d'approximation : L'idée centrale est d'exploiter la structure répétitive ou palindromique du mot pour construire une séquence de nombres approximants ( $\alpha_n$ ) qui sont soit quadratiques, soit rationnels.
- Pour les mots $\spadesuit$ , les auteurs construisent des $\alpha_n$ avec des fractions continues périodiques.
- Pour les mots $\clubsuit$ , les auteurs construisent des $\alpha_n$ avec des fractions continues palindromiques.
  Parce que le nombre original $\alpha$ et les approximants $\alpha_n$ partagent un long préfixe commun dans leurs développements en fractions continues, ils sont extrêmement proches dans la métrique $p$ -adique.
Application du théorème de la sous-espace : Les auteurs définissent des formes linéaires spécifiques impliquant $\alpha$ et les continuants ( $A_n, B_n$ ) de la fraction continue. Ils démontrent que si $\alpha$ était algébrique de degré $\ge 3$ , la qualité d'approximation fournie par les mots structurés violerait les bornes imposées par le théorème de la sous-espace $p$ -adique. Cela conduit à une contradiction, impliquant que $\alpha$ ne peut pas être de degré 3 ou supérieur.
Gestion des spécificités $p$ -adiques : Une partie importante du travail technique consiste à gérer la nature non canonique des fonctions parties entières $p$ -adiques ( $s: \mathbb{Q}_p \to \mathbb{Z}[1/p]$ ). Les auteurs imposent des conditions modérées sur les quotients partiels (spécifiquement des bornes sur leurs normes $p$ -adiques et euclidiennes) pour assurer la convergence et l'applicabilité du théorème de la sous-espace.

Contributions principales et résultats
La principale contribution du papier est le Théorème 1.4 (et ses versions explicites, Théorèmes 4.1 et 4.3), qui stipule :

Soit $p$ un nombre premier impair et $s$ une fonction partie entière $p$ -adique. Si $\alpha = [0, a_1, a_2, \dots]_s$ est un nombre $p$ -adique dont le mot associé satisfait la condition $\spadesuit$ ou $\clubsuit$ (avec des bornes spécifiques sur la croissance des continuants et la taille des quotients partiels), alors $\alpha$ est soit rationnel, soit quadratique, soit transcendant.

Résultats spécifiques :

Généralisation des résultats réels : Cela fournit un analogue $p$ -adique du Théorème 1.3 de Bugeaud pour les nombres réels, étendant la philosophie des « intersections improbables » au cadre non archimédien.
Corollaire 1.5 : Le résultat s'applique aux algorithmes classiques de fractions continues $p$ -adiques de Ruban et Browkin, à condition que les quotients partiels satisfassent des bornes inférieures spécifiques sur leurs valeurs absolues $p$ -adiques (par exemple, $|a_n|_p \ge p^4$ pour la fonction de Ruban avec répétitions).
Corollaire 1.6 : Le résultat s'applique aux séquences automatiques sur alphabets finis (spécifiquement $\{n/p, m/p\}$ ), montrant que pour un $p$ suffisamment grand, les nombres $p$ -adiques résultants sont soit rationnels, soit quadratiques, soit transcendants.
Raffinement des conditions : Les auteurs fournissent des constantes explicites ( $C_\infty, C_p, k$ ) dans les Théorèmes 4.1 et 4.3 qui définissent les seuils précis pour les quotients partiels requis pour garantir la transcendance.

Signification et affirmations
Les auteurs affirment que ce travail résout la Question 1.1 (savoir si des mots structurés peuvent correspondre à des nombres algébriques de degré $>2$ ) par la négative pour une large classe de mots dans le cadre $p$ -adique.

Surmonter les difficultés structurelles : Le papier souligne que le cas $p$ -adique est plus complexe que le cas réel en raison des choix infinis de fonctions parties entières et de l'absence d'un théorème de Lagrange universel. Les résultats des auteurs sont significatifs car ils tiennent pour n'importe quelle fonction partie entière $p$ -adique satisfaisant des conditions de bornage modérées, plutôt que d'être restreints à des constructions spécifiques.
Pont entre les domaines : Ce travail renforce le lien profond entre la combinatoire des mots et la théorie des nombres, démontrant que le « fossé » entre les mots périodiques (degré algébrique 2) et les mots généraux (transcendants) persiste dans le domaine $p$ -adique, même sans les propriétés canoniques de la partie entière réelle.
Modestie : Les auteurs notent que bien que leurs résultats couvrent les mots $\spadesuit$ et $\clubsuit$ (qui incluent les mots automatiques), la question de savoir si tous les mots de faible complexité produisent des nombres transcendants reste ouverte en général, car un analogue direct du Théorème 2.1 (reliant la faible complexité à $\spadesuit$ ) pour les mots $\clubsuit$ n'est pas encore établi.

En résumé, le papier établit que les « machines » (automates à états finis générant des mots automatiques) produisant des fractions continues $p$ -adiques structurées produisent généralement des nombres transcendants, les seules exceptions algébriques étant ceux de degré au plus 2.

Articles similaires