🔢 mathematics

Four-digit Kaprekar dynamics in odd bases

Cet article établit que dans toute base impaire supérieure à trois, la routine de Kaprekar à quatre chiffres présente une structure rigide où toutes les orbites non constantes entrent rapidement dans une région triangulaire spécifique et se comportent comme un doublement projectif, fournissant ainsi une classification finie complète de tous les cycles terminaux, de leurs longueurs et de leurs nombres.

Auteurs originaux : Evan Chen, Ken Ono, Richard E. Schwartz, Dinesh S. Thakur

Publié 2026-06-19

📖 6 min de lecture🧠 Analyse approfondie

CC0 1.0

Auteurs originaux : Evan Chen, Ken Ono, Richard E. Schwartz, Dinesh S. Thakur

Article original placé dans le domaine public sous CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 à nombres magiques. Vous y introduisez un nombre à quatre chiffres, et elle exécute un tour très spécifique et répétitif :

Trier : Elle réorganise les chiffres du plus grand au plus petit.
Inverser : Elle réorganise les mêmes chiffres du plus petit au plus grand.
Soustraire : Elle soustrait le deuxième nombre du premier.
Répéter : Elle prend le résultat et recommence tout le processus.

Dans notre monde quotidien (Base 10), si vous commencez avec presque n'importe quel nombre à quatre chiffres, la machine finit par recracher le nombre 6174 et continue ensuite de recracher 6174 indéfiniment. C'est comme un aimant qui attire tout vers un point unique.

Mais que se passe-t-il si nous changeons les règles du jeu ? Et si nous ne comptions pas en dizaines, mais en septaines, en onces ou dans n'importe quel autre système de base « impair » ? Cet article, écrit par une équipe de mathématiciens (incluant des noms célèbres comme Ken Ono), explore précisément cela. Ils ont découvert que si le comportement dans d'autres bases est plus complexe qu'en Base 10, il suit un schéma étonnamment rigide et magnifique.

Voici l'histoire de leur découverte, expliquée simplement.

Le langage secret des différences

Les auteurs ont réalisé que regarder les nombres réels (comme 5100 ou 9650) revient à essayer de comprendre une tempête en regardant les gouttes de pluie individuelles. C'est trop désordonné. Au lieu de cela, ils ont décidé de regarder la distance entre les nombres.

Imaginez que vos quatre chiffres soient debout en ligne.

La Différence Extérieure est l'écart entre la personne la plus grande et la plus petite.
La Différence Intérieure est l'écart entre les deux personnes du milieu.

La magie de cet article est que tout l'avenir de la machine dépend uniquement de ces deux écarts. Une fois que vous connaissez les deux écarts, vous n'avez plus besoin de connaître les chiffres d'origine. Le comportement de la machine est entièrement déterminé par la façon dont ces deux écarts changent.

La phase de « Mise en jambes »

Lorsque vous lancez la machine pour la première fois, les écarts peuvent être bizarres. Parfois ils sont nuls, parfois ils sont pairs, parfois ils sont égaux. Les auteurs ont prouvé que, peu importe ce par quoi vous commencez, la machine est très efficace pour nettoyer ce désordre.

En trois étapes (au maximum), la machine force les écarts à entrer dans une zone spéciale et ordonnée. Dans cette zone :

Les écarts ne sont jamais nuls.
Les écarts ne sont jamais égaux.
Les écarts sont toujours des nombres « impairs ».

Voyez cela comme une piste de danse chaotique. Au début, les gens se cognent, se tiennent en cercles et bougent de manière aléatoire. Mais après trois chansons, tout le monde a trouvé sa place parfaite dans une ligne nette et ordonnée. Une fois qu'ils sont dans cette ligne, la danse devient incroyablement prévisible.

La danse du « Doublement »

Une fois que la machine est dans cette zone ordonnée, les auteurs ont trouvé un code caché. Ils ont réalisé que si l'on traduit les écarts dans un langage « projectif » spécial (une façon de regarder les nombres où le positif et le négatif sont traités de la même manière), la machine cesse de faire des soustractions et des tris.

Au lieu de cela, elle se contente de doubler les nombres.

Imaginez que vous ayez une paire de nombres, disons 3 et 2.

Étape 1 : Doublez-les $\rightarrow$ 6 et 4.
Étape 2 : Doublez-les à nouveau $\rightarrow$ 12 et 8.
Étape 3 : Doublez-les encore une fois $\rightarrow$ 24 et 16.

Dans le monde de cette machine, le « doublement » fonctionne comme une horloge. Si vous continuez à doubler, les nombres finissent par boucler et revenir à leur point de départ. Cela crée un cycle.

L'article prouve que le processus complexe et désordonné de tri et de soustraction des chiffres n'est en fait qu'un déguisement sophistiqué pour ce simple jeu de « doublement ».

Quelle est la durée du cycle ?

Parce que la machine ne fait que doubler les nombres, la longueur du cycle (le nombre d'étapes pour revenir au début) dépend entièrement de la base que vous utilisez.

La Limite : Le cycle le plus long ne peut jamais être plus long que la moitié de la base moins un. Par exemple, en Base 11, le cycle le plus long est de 5 étapes. En Base 17, il est au plus de 8 étapes.
La Règle des Nombres Premiers : La machine n'atteint cette longueur maximale que si la base est un nombre premier (comme 7, 11, 13, 17) et que le nombre 2 possède une propriété spéciale dans cette base. C'est comme un verrou et une clé : la base doit être un nombre premier, et la « clé » (le nombre 2) doit prendre exactement le bon nombre d'étapes pour tourner le verrou.

Si la base est un nombre composé (comme 9 ou 15), le cycle est toujours plus court que le maximum possible.

La connexion avec l'IA

L'un des aspects les plus uniques de cet article est la manière dont il a été écrit. Les auteurs mentionnent que les idées centrales ont d'abord été proposées par deux des co-auteurs, mais qu'ils ont utilisé un outil d'IA appelé AxiomProver pour aider à rédiger la preuve mathématique formelle.

Voyez l'IA comme un éditeur très strict. Les auteurs humains ont écrit l'histoire et les idées principales, et l'IA a vérifié chaque étape logique pour s'assurer qu'il n'y avait pas d'erreurs, traduisant les mathématiques dans un langage informatique (Lean) qu'une machine peut vérifier. Cet article est un cas d'étude sur la façon dont les humains et l'IA peuvent travailler ensemble pour résoudre de profonds mystères mathématiques.

Résumé

En bref, cet article prend un tour de magie numérique (la routine de Kaprekar) et en révèle le squelette caché.

Début désordonné : Le processus commence de manière chaotique.
Nettoyage rapide : Il se stabilise dans un motif stable en trois étapes.
Noyau simple : Une fois stable, le processus n'est qu'un « doublement » de nombres dans un monde mathématique spécial.
Fin prévisible : Cela signifie que nous pouvons désormais calculer exactement la durée des cycles et combien il en existe pour n'importe quelle base impaire, simplement en observant les propriétés du nombre 2 dans cette base.

Cela transforme un « tour de magie » en une danse élégante et prévisible, régie par des règles d'arithmétique simples.

Résumé Technique : Dynamique de Kaprekar à quatre chiffres dans les bases impaires

Énoncé du Problème
L'article étudie la dynamique de la routine de Kaprekar appliquée aux chaînes de quatre chiffres dans les bases impaires $B > 3$ . La routine consiste à prendre un nombre de quatre chiffres, à disposer ses chiffres par ordre décroissant et croissant, puis à soustraire le plus petit du plus grand, et à itérer le processus. Si le cas en base 10 est célèbre pour sa convergence vers le point fixe 6174, le comportement dans les bases générales est plus complexe, impliquant souvent plusieurs cycles terminaux plutôt qu'un seul attracteur. Les auteurs visent à fournir une description complète et explicite des cycles terminaux (attracteurs) et de leurs longueurs pour toutes les bases impaires $B > 3$ .

Méthodologie
Les auteurs réduisent la dynamique des chiffres à quatre chiffres à un système plus simple basé sur les différences entre les chiffres triés.

Coordonnées de Différence : Pour une chaîne triée $a_1 \ge a_2 \ge a_3 \ge a_4$ , les auteurs définissent deux variables clés : la différence extérieure $d_1 = a_1 - a_4$ et la différence intérieure $d_2 = a_2 - a_3$ . Ils démontrent que l'état suivant dans la routine de Kaprekar dépend uniquement de la paire $(d_1, d_2)$ , réduisant ainsi l'espace d'états de chaînes de chiffres à un réseau entier bidimensionnel $X_B$ .
Analyse Pré-périodique : Les auteurs prouvent que pour toute base impaire $B > 3$ , toute orbite entre dans une « région impaire stable » spécifique $T_B$ (où $d_1 > d_2 > 0$ et les deux sont impairs) en au plus trois itérations.
Transformation Projective : Dans la région stable $T_B$ , les auteurs introduisent un changement de variables en coordonnées projectives : $r = (d_1 + d_2)/2$ et $s = (d_1 - d_2)/2$ . Ils projettent ces paires vers des sous-ensembles non ordonnés de deux éléments des classes de résidus projectives modulo $B$ , notés $\binom{P_B}{2}$ , où $P_B = ((\mathbb{Z}/B\mathbb{Z}) \setminus \{0\}) / \{\pm 1\}$ .
Conjugaison au Doublement : Le résultat technique central est de prouver que, sous cette transformation, la fonction de Kaprekar restreinte à $T_B$ est conjuguée à la fonction de « doublement projectif » : $\{[r], [s]\} \mapsto \{[2r], [2s]\}$ . Cela transforme le problème de soustraction de chiffres en un problème de l'ordre multiplicatif de 2 dans le groupe des unités modulo $B$ (modulo le signe).

Contributions Clés et Résultats

Classification Structurelle (Théorème 1.1) : L'article établit que la dynamique de Kaprekar dans les bases impaires est régie par le doublement projectif après une période pré-périodique bornée. Cela fournit une description finie et explicite du comportement du système.
Bornes de Longueur de Cycle (Corollaire 1.2) : La longueur maximale de tout cycle terminal, $c_{\max}(B)$ , est bornée par $(B-1)/2$ . L'article prouve que l'égalité $c_{\max}(B) = (B-1)/2$ est vérifiée si et seulement si $B$ est un nombre premier $p \ge 7$ et que le plus petit entier positif $m$ satisfaisant $2^m \equiv \pm 1 \pmod p$ est exactement $m = (p-1)/2$ .
Comptage de Cycles (Théorème 4.4) : Les auteurs dérivent une formule explicite pour le nombre de cycles terminaux de longueur donnée $L$ . Cette formule dépend de l'ordre projectif de 2 modulo les diviseurs de $B$ et implique des termes combinatoires tenant compte des paires de cycles et des points antipodaux.
Spécificités des Bases Premières (Corollaire 1.3) : Pour les bases premières où la longueur de cycle maximale est atteinte, le nombre de tels cycles maximaux est donné par $\lfloor (c_{\max}(B) - 1)/2 \rfloor$ .
Vérification Formelle : Les résultats ont d'abord été formulés par Schwartz et Thakur, puis formalisés dans Lean/mathlib en utilisant le système assisté par IA AxiomProver, fournissant une preuve vérifiée par machine des affirmations structurelles et arithmétiques.

Signification et Revendications
L'article affirme révéler une « structure rigide » sous-jacente à la routine de Kaprekar dans les bases impaires, démystifiant le processus en montrant qu'il est régi par une arithmétique modulaire simple (doublement projectif) plutôt que par des interactions complexes entre les chiffres.

Simplification : Les auteurs soulignent que la réduction au doublement projectif offre une « voie transparente » pour comprendre les longueurs et les comptes de cycles, qui étaient auparavant étudiés via des méthodes plus complexes de sous-groupes/cosets ou des analyses de bases spécifiques.
Complétude : Contrairement aux travaux précédents qui pouvaient se concentrer sur les points fixes ou des bases spécifiques, cet article fournit une classification unifiée et complète pour toutes les bases impaires $B > 3$ à quatre chiffres.
Modestie : Les auteurs positionnent ce travail comme un « modèle de faible dimension » qui rend la dynamique explicite pour le cas à quatre chiffres. Ils reconnaissent que leurs résultats complètent des théories plus larges (telles que celles de Yamagami, Matsui, Kay et Downes-Ward) mais ne prétendent pas résoudre le problème généralisé pour des longueurs de chiffres arbitraires ou des bases paires, notant que le cas des bases paires est « plus complexe ».

L'article conclut que le comportement de la routine de Kaprekar n'est pas un « tour de magie numérique » mais une conséquence directe de l'ordre de 2 modulo la base, les signes étant ignorés.