🔢 mathematics

Recurrence Structures, Finite State Decomposition, and Statistical Bias in Collatz Path Sequences

Cet article décompose la conjecture de Collatz en un système fini d'états récurrents modulo 9, démontrant que la convergence se réduit aux entiers congrus à 3 modulo 4 et révélant une forte biais statistique où la forme $9n+8$ domine les terminaisons.

Auteurs originaux : Sawon Pratiher

Publié 2026-03-31

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Sawon Pratiher

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 êtes un explorateur face à une montagne mystérieuse appelée Conjecture de Collatz. Depuis 1937, les mathématiciens essaient de trouver un chemin sûr pour descendre de n'importe quel sommet de cette montagne jusqu'au camp de base (le nombre 1). La règle du jeu est simple : si votre nombre est pair, vous descendez de moitié ; s'il est impair, vous faites un grand bond en avant (multipliez par 3 et ajoutez 1), puis vous descendez de moitié.

Le problème ? Personne n'a encore prouvé que vous ne pouvez jamais vous perdre dans un labyrinthe infini ou faire un tour de manège sans fin.

Dans ce papier, l'auteur, Sawon Pratiher, ne tente pas de grimper la montagne directement. Au lieu de cela, il construit une carte routière ultra-détaillée et un système de métro automatique pour comprendre comment les voyageurs (les nombres) se déplacent.

Voici les grandes idées de son voyage, expliquées simplement :

1. Le Filtre Magique : On ne s'occupe que des "Têtus"

L'auteur commence par une astuce géniale. Il dit : « Oubliez la moitié des nombres ! »

Si un nombre est de la forme $4k+1$ , $4k+2$ ou $4k+4$ , il tombe rapidement vers le bas comme une feuille morte. C'est facile.
Le vrai problème, c'est la classe des nombres de la forme $4k+3$ (comme 3, 7, 11, 15...). Ce sont les "têtus" qui résistent et qui peuvent parfois monter un peu avant de redescendre.
La conclusion : Si on arrive à prouver que ces "têtus" finissent toujours par atteindre le camp de base, alors tout le monde y arrive. On a réduit le problème à une seule équipe de joueurs.

2. Les Six Couleurs du Métro (Les Formes Récurrentes)

Une fois qu'on se concentre sur ces nombres "têtus", l'auteur découvre qu'ils ne sont pas du tout désordonnés. Ils suivent un schéma très précis basé sur les restes de la division par 9.

Imaginez que tous les nombres possibles sont divisés en six gares de métro, chacune ayant une couleur différente (appelées a, b, c, d, e, f).

Chaque nombre voyageant sur cette route passe inévitablement par l'une de ces six gares.
L'auteur a prouvé que les puissances de 2 (les nombres qui mènent directement à 1, comme 2, 4, 8, 16...) sont réparties de manière très régulière entre ces gares. C'est comme si les trains de 2, 4, 8, 16... tournaient en boucle dans un ordre fixe de 6 stations.

3. La Machine à États (Le Métro Automatique)

L'auteur a construit une machine à états finis (un peu comme un distributeur de tickets intelligent).

Les états : Ce sont les 6 gares (a à f).
Les règles : Selon si le nombre actuel est pair ou impair, la machine vous envoie d'une gare à l'autre.
- Parfois, vous restez dans la même gare mais votre "ticket" (le nombre) change.
- Parfois, vous passez à la gare suivante.
L'auteur a écrit les règles exactes de ce métro. C'est un système de "si... alors..." mathématique qui décrit exactement comment un nombre voyage.

4. La Grande Découverte : Le Biais Statistique (Le Train de la Gare A)

C'est ici que ça devient fascinant. L'auteur a fait tourner des millions de simulations (jusqu'à 100 millions de nombres !) pour voir où les gens finissent par arriver.

Le résultat est surprenant et montre que le hasard n'est pas le maître ici :

97,6 % des voyages finissent par atterrir dans la Gare A (la forme mathématique $9n + 8$ ) avant de toucher le camp de base.
Seulement 2,4 % finissent dans la Gare C.
Les autres gares (B, D, E, F) sont presque vides pour les arrivées finales.

L'analogie : Imaginez que vous lancez des milliers de balles dans un labyrinthe. Si c'était du pur hasard, elles devraient se répartir équitablement dans 6 sorties. Mais ici, c'est comme si 97 balles sur 100 sortaient toujours par la même porte, comme si un aimant invisible les attirait toutes vers la Gare A. Cela prouve que le système de Collatz a une structure cachée et déterministe, et n'est pas aussi chaotique qu'on le pensait.

5. Pourquoi est-ce important ?

Ce papier ne résout pas encore totalement le mystère (il ne prouve pas encore que tout le monde arrive à 1), mais il change la donne :

Il transforme un problème infini et flou en un système fini et précis (les 6 gares).
Il montre que le "hasard" apparent est en fait une danse chorégraphiée très stricte.
Il propose de nouvelles questions : Pourquoi la Gare A est-elle si populaire ? Peut-on trouver une formule magique pour prédire exactement qui ira où ?

En résumé :
L'auteur nous dit : « Ne regardez plus la montagne comme un chaos. Regardez-la comme un métro avec 6 lignes. Presque tous les passagers finissent par prendre le train de la ligne A. Si on comprend pourquoi la ligne A est si puissante, on comprendra peut-être enfin pourquoi tout le monde finit par arriver à 1. »

C'est une nouvelle clé pour ouvrir la porte de l'un des plus grands mystères des mathématiques.

1. Problématique

L'article aborde la conjecture de Collatz (problème $3n+1$ ), qui postule que pour tout entier naturel $n$ , l'itération de la fonction $C(n)$ (diviser par 2 si pair, $3n+1$ si impair) finit par atteindre 1. Malgré des vérifications computationnelles massives et des résultats partiels (comme ceux de Tao sur la densité logarithmique), une preuve générale fait défaut.

L'auteur propose une approche structurelle plutôt que probabiliste directe. L'objectif est de décomposer le problème en un système fini de récurrences interconnectées et d'analyser les propriétés statistiques des trajectoires, en se concentrant sur la classe d'entiers la plus résistante à la descente.

2. Méthodologie

La méthodologie repose sur trois piliers principaux :

Réduction Modulo 4 : L'auteur partitionne les entiers naturels en quatre classes de résidus modulo 4 ( $A, B, C, D$ ). Il démontre que les classes $A$ ( $1 \pmod 4$ ), $B$ ( $2 \pmod 4$ ) et $D$ ( $0 \pmod 4$ ) descendent systématiquement vers des entiers plus petits après un nombre fixe d'opérations. Par conséquent, la conjecture se réduit à l'étude de la classe $C$ ( $n \equiv 3 \pmod 4$ ), où la trajectoire peut augmenter.
Décomposition en Formes Récurrentes (Modulo 9) : Pour la classe $C$ , l'auteur identifie six « formes récurrentes » basées sur les résidus modulo 9 : $9n+8, 9n+4, 9n+2, 9n+1, 9n+5, 9n+7$ . Il prouve que ces six formes partitionnent l'ensemble des puissances de 2 (qui sont les points d'arrêt potentiels) et qu'elles sont complètes pour les puissances de 2.
Modélisation par Machine à États Finis (FSM) : Les transitions entre ces six formes sous l'action des opérations de Collatz sont modélisées par une machine à états finis déterministe. Chaque état correspond à une forme récurrente, et les transitions sont définies par des fonctions couplées dépendant de la parité du paramètre $n$ de la forme.

3. Contributions Clés et Résultats

A. Réduction et Complétude

Théorème de réduction : La conjecture de Collatz est équivalente à la convergence de tous les entiers de la classe $C$ vers une puissance de 2.
Théorème de complétude (Théorème 4.3) : Les six formes récurrentes (résidus $\{1, 2, 4, 5, 7, 8\} \pmod 9$ ) couvrent exactement l'ensemble des puissances de 2. Ces puissances cyclent à travers ces formes avec une période de 6.

B. Système d'Équations Fonctionnelles

L'auteur construit un système d'équations fonctionnelles couplées (Théorème 6.1) qui décrit l'évolution des paramètres $n$ au sein de la FSM.
Équivalence avec la carte de Syracuse : La dynamique de la FSM est équivalente à la carte de Syracuse (qui accélère l'itération en sautant les divisions par 2 successives). La transition $a \to a$ (pour un paramètre impair) correspond spécifiquement à l'application de la carte de Syracuse.

Biais Statistique et Non-Randomness

Analyse numérique : Sur les $10^8$ $1 0^{8}$ premiers entiers, l'auteur observe un biais statistique massif dans la distribution des formes d'arrêt.
- La forme $a$ ( $9n+8$ ) domine avec une fréquence d'environ 97,6 %.
- La forme $c$ ( $9n+2$ ) représente environ 2,4 %.
- Les formes $b, d, f$ ont des fréquences de terminaison qui tendent vers zéro (de l'ordre de $O(1/N)$ ), car elles correspondent à des puissances de 2 très spécifiques et rares dans la distribution des trajectoires.
Conjecture 10.4 : Les fréquences asymptotiques convergent vers $\alpha \approx 0,9762$ pour la forme $a$ et $1-\alpha$ pour la forme $c$ .
Signification : Ce biais contredit l'hypothèse nulle d'un comportement aléatoire (où l'on s'attendrait à une répartition uniforme de $1/6$ ). Cela démontre que la dynamique de Collatz possède une structure déterministe profonde et non aléatoire.

C. Caractérisations en Forme Close

Pour trois des six formes ( $b, d, f$ ), l'auteur fournit des caractérisations exactes des puissances de 2 qui y mènent (Théorème 8.1). Par exemple, la forme $d$ ( $9n+1$ ) ne contient que les puissances de 2 de la forme $2^{6j}$ .

4. Signification et Implications

Cadre Structuré : L'article transforme le problème de Collatz en un problème de « propriété de couverture » sur un système fini d'équations de congruence. Si l'on peut prouver que le système d'équations (16)-(21) couvre tous les entiers initiaux, la conjecture est prouvée.
Contraintes sur les Cycles : L'analyse des ratios d'expansion (Théorème 7.1 et Proposition 7.3) montre que la plupart des transitions sont contractives. Cela impose des contraintes strictes sur la longueur et la structure des cycles non triviaux potentiels, suggérant que leur existence est hautement improbable.
Nouvelles Voies de Recherche : L'article ouvre plusieurs pistes, notamment la recherche d'une fonction de Lyapunov pour la FSM, la caractérisation des ensembles de terminaison pour les formes $a$ et $c$ , et l'expression du biais asymptotique $\alpha$ sous forme close (potentiellement liée à $\log 2$ et $\log 3$ ).

Conclusion

Sawon Pratiher propose une décomposition rigoureuse du problème de Collatz en un système de machines à états finis. En isolant la classe critique $n \equiv 3 \pmod 4$ et en révélant un biais statistique écrasant en faveur d'une seule forme récurrente, l'article met en lumière la nature hautement structurée et non aléatoire de la dynamique de Collatz. Bien que la conjecture ne soit pas prouvée, ce cadre offre un outil puissant pour reformuler le problème en termes de systèmes d'équations fonctionnelles et de propriétés de couverture modulaire.