New properties of the $\varphi$-representation of integers

Cet article établit de nouvelles propriétés de la représentation $\varphi$ des entiers, prouvant notamment une conjecture de Kimberling de 2012 à l'aide du prouveur de théorèmes Walnut et de l'assistant ChatGPT 5.

L'essentiel

🌟 Le Secret du Nombre d'Or : Une Nouvelle Façon de Compter

Imaginez que vous avez une boîte à outils magique pour construire n'importe quel nombre entier (1, 2, 3, 100, etc.). Habituellement, nous utilisons les chiffres 0 à 9 et les puissances de 10 (comme $10^2$,$10^1$,$10^0$) pour écrire nos nombres. C'est ce qu'on appelle le système décimal.

Mais dans ce papier, les auteurs (Jeffrey Shallit et Ingrid Vukusic) nous parlent d'un système beaucoup plus étrange et fascinant, basé sur le nombre d'Or (noté $\phi$ ou "phi"). C'est ce nombre mystérieux qui apparaît dans les coquillages, les tournesols et l'art (environ 1,618).

1. Le Système "Phi" : Construire avec des Briques Dorées

Au lieu de multiplier par 10, ici, on multiplie par $\phi$.

• Dans notre système normal : $12 = 1 \times 10 + 2 \times 1$.
• Dans le système "Phi" : On peut écrire n'importe quel nombre entier comme une somme de puissances de $\phi$ (comme $\phi^3$, $\phi^{-2}$, etc.), mais avec une règle stricte : on ne peut jamais utiliser deux puissances qui se suivent.

C'est un peu comme si vous deviez construire une tour avec des briques de tailles spécifiques, mais vous ne pouviez jamais mettre deux briques de tailles consécutives l'une sur l'autre. Chaque nombre entier a une seule et unique façon d'être construit ainsi. C'est ce qu'on appelle la représentation $\phi$.

2. Le Mystère des Miroirs (La Conjecture de Kimberling)

Les chercheurs se sont intéressés à un groupe spécial de nombres, qu'ils appellent le "Set S".
Imaginez que votre nombre est écrit avec des puissances de $\phi$. Par exemple, le nombre 25 peut s'écrire comme :
$$25 = \phi^6 + \phi^4 + \phi^{-4} + \phi^{-6}$$

Regardez bien les exposants (les petits chiffres en haut) : 6, 4, -4, -6.
C'est un miroir ! Si vous avez un 6, vous avez un -6. Si vous avez un 4, vous avez un -4. C'est ce qu'on appelle "antipalindromique".

En 2012, un mathématicien nommé Clark Kimberling a fait une prédiction (une conjecture) :

"Si un nombre a cette propriété de miroir, alors si on double tous les exposants, le résultat sera toujours un nombre entier."

Vérifions avec 25 :

• On double les exposants : $6 \to 12$,$4 \to 8$,$-4 \to -8$,$-6 \to -12$.
• On calcule : $\phi^{12} + \phi^8 + \phi^{-8} + \phi^{-12}$.
• Résultat : C'est bien un nombre entier (54).

Le résultat du papier : Les auteurs ont prouvé que Kimberling avait raison ! Tous les nombres qui ont ce "miroir" parfait sont exactement ceux qui restent des entiers quand on double leurs exposants. C'est comme découvrir que seuls les châteaux de cartes parfaitement symétriques peuvent survivre à un tremblement de terre.

3. Les Outils Magiques : Walnut et ChatGPT

Comment ont-ils prouvé cela ? Ils n'ont pas seulement utilisé du papier et un crayon. Ils ont utilisé deux assistants très puissants :

1. Walnut : Imaginez un robot super-intelligent spécialisé dans la logique. Vous lui donnez une règle (comme "trouve tous les nombres qui sont des miroirs") et il construit automatiquement une machine (un automate) qui vérifie si cette règle est vraie pour des milliards de nombres. C'est comme demander à un détective de vérifier chaque pièce d'un puzzle géant en une seconde.
2. ChatGPT 5 : Pour une partie de la preuve, ils ont demandé de l'aide à une intelligence artificielle générative. C'est comme avoir un collègue mathématicien très rapide qui vous aide à trouver une idée de preuve que vous n'aviez pas vue.

4. D'autres Découvertes Étonnantes

Le papier ne s'arrête pas là. Ils ont découvert d'autres règles bizarres sur ces nombres :

• Pas de nombres "impairs" purs : Il n'existe aucun nombre entier dont la représentation $\phi$ est composée uniquement de puissances impaires (comme $\phi^3, \phi^1, \phi^{-1}$). C'est impossible, comme essayer de faire un nombre pair avec uniquement des nombres impairs.
• Le nombre impair unique : Ils ont trouvé quels nombres ont exactement une puissance impaire dans leur construction. Ils ont même créé un "code" (un automate) qui permet de les reconnaître instantanément, comme un scanner qui dirait "Oui, ce nombre a un seul secret impair".
• Deux impairs : Ils ont aussi classé les nombres qui ont exactement deux puissances impaires.

En Résumé

Ce papier est une aventure dans un monde où les nombres ne sont pas écrits avec des 0 et 1, mais avec le nombre d'Or. Les auteurs ont :

1. Résolu un mystère vieux de 12 ans (la conjecture de Kimberling) sur les nombres "miroirs".
2. Découvert quelles combinaisons de puissances sont possibles ou impossibles pour former des entiers.
3. Utilisé des robots mathématiques (Walnut) et l'IA pour vérifier leurs idées avec une précision absolue.

C'est la preuve que même dans les mathématiques les plus abstraites, il y a de la beauté, de la symétrie et des règles cachées qui attendent d'être découvertes, un peu comme chercher des motifs dans les pétales d'une fleur.

Résumé technique

Voici un résumé technique détaillé de l'article « New properties of the φ-representation of integers » de Jeffrey Shallit et Ingrid Vukusic, rédigé en français.

1. Problématique et Contexte

L'article se concentre sur les propriétés de la représentation en base $\phi$ (où $\phi = (1 + \sqrt{5})/2$ est le nombre d'or) des entiers naturels.

• Définition : Tout entier positif $x$ peut être représenté de manière unique comme une somme finie de puissances distinctes de $\phi$ (positives ou négatives) : $x = \sum e_i \phi^i$, avec $e_i \in \{0, 1\}$, sous la contrainte d'absence de deux puissances consécutives non nulles ($e_i e_{i-1} = 0$).
• Contexte : Cette représentation est un cas particulier du système de numération $\beta$ (numération $\beta$-adique). Les auteurs s'intéressent spécifiquement aux entiers dont la représentation présente des symétries particulières (anti-palindromie) ou des contraintes sur la parité des exposants.
• Conjecture de Kimberling (2012) : La question centrale abordée est la conjecture de Clark Kimberling concernant l'ensemble $S$ (séquence A178482 de l'OEIS). Kimberling a conjecturé qu'un entier $n$ appartient à $S$ (c'est-à-dire que sa représentation $\phi$ est anti-palindromique, c'est-à-dire que $t$ est un exposant si et seulement si $-t$ l'est) si et seulement si la somme obtenue en doublant tous les exposants de sa représentation $\phi$ est également un entier.

2. Méthodologie

Les auteurs adoptent une approche hybride combinant des preuves mathématiques classiques et des méthodes computationnelles avancées :

• Preuves Mathématiques Classiques : Utilisation de l'algèbre des nombres de la forme $a + b\sqrt{5}$, des propriétés des nombres de Fibonacci ($F_n$) et de Lucas ($L_n$), ainsi que de la conjugaison de Galois (remplacement de $\phi$ par son conjugué $\bar{\phi} = -1/\phi$).
• Théorème de Preuve Automatique (Walnut) : L'outil principal est Walnut, un prouveur de théorèmes pour les séquences automatiques et les énoncés du premier ordre.
  • Les auteurs utilisent la représentation de Zeckendorf (somme de nombres de Fibonacci non consécutifs) pour encoder les entiers.
  • Ils exploitent un automate fini à 39 états (nommé saka) qui vérifie si une chaîne binaire $x$ et une chaîne inversée $y^R$ forment la partie positive et négative de la représentation $\phi$ d'un entier $n$.
  • La méthode consiste à formuler les propriétés arithmétiques comme des formules logiques dans Walnut, qui génère ensuite des automates finis pour vérifier la validité des énoncés sur tous les entiers.
• Assistance par IA : L'article mentionne l'utilisation de ChatGPT 5 pour aider à la rédaction d'une preuve classique (Théorème 8, partie a), illustrant une nouvelle tendance dans la recherche mathématique.

3. Contributions et Résultats Clés

A. Preuve de la Conjecture de Kimberling

Les auteurs prouvent le Théorème 5, confirmant la conjecture de Kimberling.

• Lemme 2 & 3 : Ils établissent que pour un entier $x$, sa représentation $\phi$ est anti-palindromique si et seulement si tous les exposants sont pairs.
• Démonstration : Si $n \in S$, sa représentation est anti-palindromique avec des exposants pairs. En doublant les exposants, on obtient une nouvelle somme qui reste anti-palindromique avec des exposants pairs, garantissant que le résultat est un entier. La réciproque est également prouvée.

B. Structure des Exposants dans les Représentations Canoniques

Les auteurs caractérisent la structure des exposants dans la partie négative des représentations canoniques (Théorème 8) :

• La partie négative d'une représentation canonique d'un entier $n \ge 2$ correspond toujours à une chaîne binaire sans deux 1 consécutifs, se terminant par 1, et dont la longueur est toujours paire.
• Ils prouvent qu'il n'existe aucun entier dont la représentation $\phi$ ne contiendrait que des exposants impairs.
• Cependant, il existe une infinité d'entiers dont tous les exposants sont impairs, à l'exception du plus petit exposant (qui est pair).

C. Caractérisation par le Nombre d'Exposants de Parité Spécifique

L'article classe les entiers selon le nombre d'exposants pairs ou impairs dans leur représentation $\phi$ :

1. Exactement un exposant pair (Théorème 9) :

   • Ces entiers sont acceptés par un automate déterministe fini (DFA) spécifique (Figure 3).
   • Propriété arithmétique : $n$ appartient à cet ensemble si et seulement si $n-1$ est la somme de nombres de Lucas d'indices impairs distincts ($L_{2i+1}$).
   • L'exposant pair est nécessairement le plus petit exposant.

2. Exactement un exposant impair (Théorème 10) :

   • Ces entiers sont acceptés par un autre DFA (Figure 4).
   • Propriété arithmétique : $n$ appartient à cet ensemble si et seulement si $n-2$ est la somme de nombres de Lucas d'indices pairs distincts ($L_{2i}$ avec $i \ge 2$).
   • L'exposant impair est toujours égal à 1.

3. Exactement deux exposants impairs (Théorème 11) :

   • Les auteurs montrent que si un entier a exactement deux exposants impairs, ces exposants sont soit $\{3, 1\}$, soit de la forme $\{2i+1, 1-2i\}$ pour un entier $i \ge 1$.
   • Chaque combinaison possible est réalisable par au moins un entier.

4. Signification et Impact

• Rigueur Formelle : L'article démontre la puissance des outils de preuve automatique (comme Walnut) pour résoudre des conjectures complexes en théorie des nombres, en particulier celles impliquant des structures de représentations non standard (comme la base $\phi$).
• Nouveaux Liens Arithmétiques : Il établit des liens profonds et inattendus entre la parité des exposants dans la base $\phi$ et les sommes de nombres de Lucas. Ces résultats enrichissent la compréhension de la structure de l'anneau $\mathbb{Z}[\phi]$.
• Méthodologique : L'utilisation conjointe de preuves traditionnelles, de preuves assistées par ordinateur et d'IA (ChatGPT) pour la rédaction de preuves marque une évolution dans la pratique de la recherche mathématique contemporaine.
• Résolution de Conjectures : La résolution de la conjecture de Kimberling (2012) comble un vide dans la littérature sur les séquences d'entiers liées à la base $\phi$.

En résumé, cet article fournit une cartographie complète des propriétés de symétrie et de parité des exposants dans les représentations entières en base $\phi$, validant des conjectures ouvertes et ouvrant la voie à de nouvelles investigations sur les systèmes de numération non standards.