🔢 mathematics

Determinants of modular Collatz graphs and variants

Cet article détermine les déterminants des graphes de Collatz modulaires et du graphe de permutation amusic de Conway modulaire tout en décrivant les propriétés de théorie des nombres associées.

Auteurs originaux : Achilleas Karras, Benne de Weger

Publié 2026-01-23

📖 7 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Achilleas Karras, Benne de Weger

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

La vue d'ensemble : Un jeu de chaises musicales avec des nombres

Imaginez un immense jeu de chaises musicales, mais au lieu de personnes, nous avons des nombres, et au lieu de la musique, nous avons un ensemble de règles strictes pour les déplacer.

Les auteurs de cet article étudient deux célèbres jeux de nombres :

Le Jeu de Collatz : Si un nombre est pair, divisez-le par 2. S'il est impair, multipliez-le par 3 et ajoutez 1. (Le célèbre problème « 3n + 1 »).
Le Jeu Amusical de Conway : Un ensemble de règles légèrement différent impliquant la division par 2, 4 ou 3 selon la forme du nombre.

Habituellement, les mathématiciens demandent : « Si je continue à jouer à ce jeu, le nombre finira-t-il par rester bloqué dans une boucle ou s'envolera-t-il vers l'infini ? » C'est la célèbre Conjecture de Collatz, que personne n'a encore résolue.

Cet article ne cherche pas à résoudre ce mystère. Au lieu de cela, les auteurs posent une question différente : « Que se passe-t-il si nous jouons à ce jeu à l'intérieur d'une petite pièce fermée avec un nombre fixe de sièges (disons $N$ sièges) ? »

La « Pièce » (Arithmétique modulaire)

Imaginez que vous avez une horloge avec $N$ heures. Lorsque vous ajoutez ou multipliez des nombres, si vous dépassez la dernière heure, vous revenez au début. C'est ce qu'on appelle « travailler modulo $N$ ».

Les auteurs ont construit une carte (un graphe) montrant comment chaque nombre dans cette pièce se déplace vers un autre nombre selon les règles du jeu.

La Carte : Chaque nombre est un point. Une flèche pointe d'un point vers le nombre suivant qu'il devient.
La Matrice : Ils ont transformé cette carte en un immense tableur (une matrice) où ils ont inscrit des 1, des 2 ou des 0 pour montrer comment les nombres sont connectés.

Le Mystère : Le « Déterminant »

En mathématiques, chaque tableur possède un nombre spécial unique qui lui est attaché, appelé déterminant. Vous pouvez considérer ce déterminant comme une « empreinte digitale » ou un « score » pour l'ensemble de la carte.

Le Problème : Lorsque les auteurs ont calculé ce score pour différentes tailles de pièces ( $N$ ), les résultats semblaient chaotiques. Parfois, le score était zéro. Parfois, c'était un nombre minuscule. Parfois, pour des tailles de pièces très spécifiques, le score était un nombre gigantesque (comme $2^{100\,000}$ ).
L'Analogie : Imaginez que vous lancez un dé. La plupart du temps, vous obtenez un 1, 2, 3, 4, 5 ou 6. Mais occasionnellement, vous lancez un dé et il explose en une montagne de pièces d'or. Les auteurs voulaient savoir : Pourquoi la montagne d'or n'apparaît-elle que certains jours ?

La Découverte : Le Secret des « Cycles »

Les auteurs ont découvert que le « score » (le déterminant) dépend entièrement de la manière dont les nombres se déplacent en boucles (cycles).

Le Détective de Boucles : Ils ont réalisé que les nombres dans la pièce ne se déplacent pas de manière aléatoire ; ils se retrouvent piégés dans des boucles. Par exemple, 1 peut aller vers 2, 2 vers 4, et 4 de retour vers 1. C'est une boucle de longueur 3.
La Règle Pair ou Impair : Ils ont découvert une règle simple :
- Si les boucles dans la pièce ont des longueurs paires, le score est Zéro. La carte est « cassée » ou « plate ».
- Si les boucles sont de longueur impaire, le score est Non-Zéro.
La Taille du Score : Quand le score n'est pas zéro, sa taille dépend du nombre de boucles et de leur longueur.
- Le « score » est essentiellement une puissance de 2 (comme $2^1, 2^2, 2^{100}$ ).
- L'exposant (la puissance) est calculé en additionnant les longueurs de toutes les boucles d'une manière très spécifique.

Le « Pourquoi » du Chaos :
La raison pour laquelle les scores semblaient « erratiques » auparavant est que la longueur de ces boucles change de manière imprévisible lorsque vous changez la taille de la pièce ( $N$ ).

Si la taille de la pièce $N$ est un nombre premier où le chiffre 3 (dans le jeu de Collatz) met beaucoup de temps à revenir au départ, les boucles sont longues et le score est petit.
Si la taille de la pièce $N$ est un nombre premier où le chiffre 3 revient au départ très rapidement, les boucles sont courtes et le score explose en un nombre massif.

La Formule « Magique »

Les auteurs ont écrit une formule qui prédit parfaitement le score.

Étape 1 : Vérifier la taille de la pièce $N$ .
Étape 2 : Regarder les « boucles » que forment les nombres.
Étape 3 : Si une boucle est « paire » (dans un sens mathématique spécifique), le score est 0.
Étape 4 : Si toutes les boucles sont « impaires », le score est $2^{\text{quelque chose}}$ . Le « quelque chose » est le nombre total de boucles que vous pouvez trouver.

Ils ont également appliqué cette même logique au jeu de Conway, trouvant un motif similaire, bien que les mathématiques soient légèrement plus complexes car le jeu de Conway utilise trois règles différentes au lieu de deux.

Ce que cela signifie (et ce que cela ne signifie pas)

Ce que cela FAIT :

Cela explique pourquoi les « scores » de ces graphes semblent si aléatoires. Ils ne sont pas aléatoires ; ils sont strictement déterminés par les boucles cachées à l'intérieur du système numérique.
Cela fournit un moyen de calculer ces nombres massifs instantanément sans effectuer des milliards de calculs.
Cela généralise les règles à d'autres types de jeux numériques (comme $pn + q$).

Ce que cela NE FAIT PAS :

Les auteurs déclarent explicitement que cela ne résout pas la Conjecture de Collatz. Savoir le score de la « pièce » ne nous dit pas ce qui se passe lorsque la pièce est infiniment grande (ce qui est le véritable problème de Collatz).
Cela ne prédit pas les événements futurs et n'a pas d'applications médicales. Il s'agit d'une découverte purement mathématique sur la structure des nombres.

Analogie de Synthèse

Imaginez que vous êtes un guide touristique dans une ville de $N$ rues. Vous avez une règle : « Tournez à gauche si le numéro de la rue est pair, tournez à droite s'il est impair. »

Parfois, si vous suivez les règles, vous restez coincé dans un petit cercle.
Parfois, vous restez coincé dans un énorme cercle.
Les auteurs ont découvert que si vous comptez combien de cercles existent et quelle est leur taille, vous pouvez calculer un « Score de la Ville ».
Si la ville possède des cercles de « taille paire », le score est zéro (la ville est ennuyeuse).
Si tous les cercles sont de « taille impaire », le score est un nombre énorme, et la taille de ce nombre vous indique exactement combien il y a de cercles.

Ils ont trouvé le code secret pour calculer ce score pour n'importe quelle taille de ville, expliquant les fluctuations sauvages qu'ils ont observées dans leurs données.

Résumé Technique : Déterminants des Graphes de Collatz Modulaires et Variantes

Énoncé du Problème
L'article étudie les propriétés structurelles de graphes orientés finis représentant l'action de la fonction Collatz $3n+1$ et de la fonction de permutation « amusicale » de Conway sur les classes de congruence d'entiers modulo $N$ . Plus précisément, les auteurs se concentrent sur les matrices d'adjacence de ces graphes modulaires, notées $C_N$ pour le cas de Collatz et $M_N$ pour le cas de Conway. Bien que les graphes présentent une structure régulière (par exemple, des degrés sortants spécifiques), leurs déterminants affichent un comportement apparemment erratique à mesure que le module $N$ varie. L'objectif principal est de dériver des formules explicites pour ces déterminants et d'expliquer les modèles observés en utilisant les propriétés de la théorie des nombres, spécifiquement les ordres multiplicatifs modulo les diviseurs de $N$ .

Méthodologie
Les auteurs emploient une combinaison de calcul expérimental, de théorie des graphes et de théorie algébrique des nombres.

Analyse Expérimentale : Des calculs initiaux de $\det(C_N)$ pour des nombres premiers $N \le 300\,000$ ont révélé que les déterminants non nuls sont des puissances de 2 (avec un signe), apparaissant souvent de grande valeur lorsque $N$ est un diviseur de $3^k - 1$ .
Décomposition de Graphe : Les graphes modulaires sont analysés comme des unions d'arêtes induites par des permutations spécifiques. Pour la fonction Collatz, les arêtes correspondent aux permutations $\pi_2(n) \equiv 2^{-1}n$ et $\pi_3(n) \equiv 2^{-1}(3n+1)$ .
Analyse des Cycles de Permutation : L'outil théorique central est la décomposition de la permutation composée $\rho_0 = \pi_3 \pi_2^{-1}$ en cycles disjoints. Les auteurs utilisent un théorème général concernant le déterminant de la matrice d'adjacence d'un graphe formé par deux permutations, reliant le déterminant à la structure cyclique de leur composition.
Analyse Spectrale : Une approche de preuve alternative consiste à transformer la matrice d'adjacence sous la forme $I + X$ , où $X$ est une matrice de permutation. Le spectre de $X$ est déterminé par les longueurs de cycle de la permutation sous-jacente, permettant de calculer le déterminant comme un produit de valeurs propres.
Généralisation : Les méthodes sont étendues à la fonction généralisée $pn+q$ et à la permutation à trois règles de Conway, en utilisant les transformées de Fourier discrètes et les propriétés des symboles de Jacobi pour déterminer les signes et les structures cycliques.

Contributions Clés et Résultats

Graphes de Collatz ( $C_N$ ) :
- Modules Pairs : Il est prouvé que pour $N$ pair, $\det(C_N) = 0$ . Le rang de la matrice est $N/2$ et le polynôme caractéristique satisfait $P_N(x) = x^{N/2} P_{N/2}(x)$ .
- Modules Impairs : Pour $N$ impair, le déterminant est non nul si et seulement si l'ordre multiplicatif de 3 modulo chaque diviseur premier de $N$ est impair.
- Formule Explicite : Soit $N = 3^h N_0$ où $3 \nmid N_0$ . Définissons $K_N = \sum_{d|N_0} \frac{\phi(d)}{\text{ord}_d(3)}$ . Alors :
  $\det(C_N) = \begin{cases} 0 & \text{si } \exists p|N_0 \text{ tel que } \text{ord}_p(3) \text{ est pair} \\ 2^{K_N} & \text{si } \forall p|N_0, \text{ord}_p(3) \text{ est impair et } N \equiv \pm 1 \pmod 8 \\ -2^{K_N} & \text{si } \forall p|N_0, \text{ord}_p(3) \text{ est impair et } N \equiv \pm 3 \pmod 8 \end{cases}$
- Cette formule explique le comportement « erratique » : de grands déterminants surviennent lorsque $N$ divise $3^k-1$ pour de petits $k$ , rendant les ordres multiplicatifs petits et $K_N$ grand.
- Connectivité Forte : Les graphes de Collatz modulaires sont prouvés être fortement connexes pour tout $N$ .
Permutation Amusicale de Conway ( $M_N$ ) :
- Le graphe est défini par trois règles basées sur $n \pmod 4$ .
- Pair / Divisible par 3 : $\det(M_N) = 0$ si $N$ est pair ou divisible par 3.
- Formule Explicite : Pour $N$ premier avec 6, soit $k_d = \text{ord}_d(2)$ . Définissons $K_N = \sum_{d|N, d>1} \frac{\phi(d)}{k_d}$ . Alors :
  $\det(M_N) = \begin{cases} 0 & \text{si } \exists p|N \text{ tel que } \text{ord}_p(2) \text{ est pair} \\ 3 \cdot 2^{K_N} & \text{si } \forall p|N, \text{ord}_p(2) \text{ est impair et } N \equiv \pm 1, \pm 5 \pmod{24} \\ -3 \cdot 2^{K_N} & \text{si } \forall p|N, \text{ord}_p(2) \text{ est impair et } N \equiv \pm 7, \pm 11 \pmod{24} \end{cases}$
- Connectivité Forte : Les graphes de Conway modulaires sont également prouvés être fortement connexes.
Généralisations :
- Les résultats sont généralisés à la fonction $pn+q$ (pour $p, q$ impairs et premiers avec $N$ ), montrant que le déterminant dépend de l'ordre multiplicatif de $p$ modulo les diviseurs de $N$ , et est indépendant de $q$ (à condition que $\gcd(N, q)=1$ ).

Signification et Limites
Les auteurs affirment que leurs résultats fournissent une explication complète du comportement observé des déterminants des graphes modulaires de Collatz et de Conway, liant les valeurs numériques erratiques directement aux ordres multiplicatifs des paramètres définissants (3 pour Collatz, 2 pour Conway) modulo les diviseurs du module.

Cependant, l'article note explicitement une limite concernant le contexte plus large de la conjecture de Collatz. Les auteurs déclarent : « Nous pensons que nos résultats présentent un certain intérêt, cependant, nous ne voyons pas comment ils pourraient aider à prouver la conjecture de Collatz, ou à prouver des énoncés similaires concernant la permutation amusicale de Conway. » Le travail est présenté comme une caractérisation structurelle et de théorie des nombres des graphes modulaires plutôt que comme une étape vers la résolution de la dynamique infinie des fonctions originales.