A Fibonacci theorem for Collatz trajectories via modular graph structure

Résumé Technique : Un théorème de Fibonacci pour les trajectoires de Collatz via une structure de graphe modulaire

Énoncé du Problème
L'article traite de la dynamique de l'application de Collatz accélérée $T(n)$, définie par $n/2$ si $n$ est pair et $(3n+1)/2$ si $n$ est impair. Bien que la conjecture de Collatz postule que tous les entiers positifs atteignent finalement le cycle $1 \leftrightarrow 2$, aucune preuve n'existe. L'article se concentre sur une propriété structurelle spécifique des trajectoires : la fréquence à laquelle les entiers impairs évitent la classe de résidu $4 \pmod 6$ lors de leurs itérations initiales. Plus précisément, il étudie le décompte des entiers impairs $n \in \{1, \dots, 2^m\}$ dont les orbites sous $T$ ne visitent pas le sommet $4$ dans le graphe modulaire durant les étapes $2, \dots, m$.

Méthodologie
L'auteur emploie un cadre de codage duel, analysant la dynamique de Collatz simultanément à travers des prismes binaires et modulaires, reliés par des bijections spécifiques et des symétries structurelles.

1. Codage Binaire et Résidu Correctif :
   L'article utilise le codage de parité $C_m(n) = (c_1, \dots, c_m)$, où $c_i = T^{i-1}(n) \pmod 2$. Un outil algébrique clé est le « résidu correctif » $R(C_m(n))$, défini tel que $T^m(n) = (3^s n + R)/2^m$, où $s$ est le poids de Hamming du codage. L'article établit que $R$ dépend uniquement du codage binaire, permettant ainsi de mener l'analyse de $T^m(n)$ entièrement au niveau des chaînes binaires sans référence à la valeur entière spécifique de $n$.

2. Codage Modulaire et Construction de Graphe :
   La dynamique est également encodée modulo 6 via un graphe orienté $G$ avec des sommets $\{0, 1, 2, 3, 4, 5\}$. Les transitions sont déterminées par la parité de l'itérat actuel. L'auteur construit une bijection $\Psi_m: \{1, \dots, 6 \cdot 2^m\} \to \mathcal{P}_m(G)$, qui associe des entiers à des chemins orientés de longueur $m$ dans $G$. Cette bijection partage des propriétés structurelles (bijectivité, périodicité et antisymétrie) avec le codage binaire $\Phi_m$.

3. Théorie Spectrale des Graphes :
   L'analyse se concentre sur le sous-graphe $G' = G[\{1, 2, 4, 5\}]$, qui est la composante fortement connexe absorbante unique pour les orbites d'entiers impairs (après l'étape 2). L'article étudie les propriétés spectrales de $G'$ et de ses sous-graphes obtenus en supprimant des sommets spécifiques. Le mécanisme central repose sur le gap spectral entre le sous-graphe effectif complet $G'$ et le sous-graphe $H_4$ (obtenu en supprimant le sommet 4).

Contributions Clés et Résultats

• Décompte Exact de Fibonacci (Théorème 4.7) :
  Le résultat principal est un décompte exact d'entiers impairs évitant un résidu spécifique. Pour chaque $m \ge 1$, exactement $F(m+1)$ entiers impairs dans $\{1, \dots, 2^m\}$ ont des orbites qui évitent la classe de résidu $4 \pmod 6$ durant les étapes $2, \dots, m$. Ici, $F(m+1)$ est le $(m+1)$-ième nombre de Fibonacci. Ce décompte est dérivé du rayon spectral du sous-graphe évitant $H_4$, dont le rayon spectral est le nombre d'or $\phi = (1+\sqrt{5})/2$.

• Taux de Décroissance Exponentielle (Corollaire 4.9) :
  La proportion de ces entiers décroît exponentiellement au taux $(\phi/2)^m$. Ce taux est précisément le rapport entre le rayon spectral du sous-graphe évitant $\rho(H_4) = \phi$ et le rayon spectral du sous-graphe effectif complet $\rho(G') = 2$.

• Théorème du Chemin Modulaire (Théorème 4.1) :
  L'article caractérise l'action du déplacement $+2^m$ sur les codages modulaires. Il prouve que pour un entier $n$, les niveaux de chemin modulaire $i$ sont préservés sous ce déplacement si et seulement si $2^{i-1} \nmid n$. Si $2^{i-1} \mid n$, le chemin se décale de $+2$ ou $+4 \pmod 6$ selon la parité de $m+i$. Cette rigidité implique que les cycles de longueur $m$ dans des progressions arithmétiques de différence $2^m$ sont séparés par au moins $6 \cdot 2^m$.

• Indispensabilité des Sommets et Hiérarchie Spectrale (Théorème 4.15) :
  L'article démontre qu'aucun sommet dans le sous-graphe effectif $G'$ n'est dispensable. La suppression de n'importe quel sommet $v \in \{1, 2, 4, 5\}$ réduit strictement le rayon spectral en dessous de 2. Les rayons spectraux résultants forment une hiérarchie stricte :
  $$\rho(H_2) = 1 < \rho(H_5) = \sqrt{2} < \rho(H_4) = \rho(H_1) = \phi < \rho(G') = 2$$
  Cette hiérarchie régit les taux de décroissance exponentielle des trajectoires évitant chaque sommet respectif.

• Contraintes sur les Cycles Positifs (Corollaires 4.17 & 4.19) :
  Sur la base de la hiérarchie spectrale, l'article prouve que tout cycle positif de $T$ doit visiter la classe de résidu $2 \pmod 6$. De plus, en utilisant les identités de conservation de flux au sein de $G'$, il est démontré que le sommet 2 doit rendre compte de plus de $18\%$ ($> m(1-\log_3 2)/2$) des étapes de tout cycle positif de longueur $m$.

Signification et Revendications
L'article prétend fournir une explication structurelle de l'apparition des nombres de Fibonacci dans les trajectoires de Collatz, distincte des énumérations combinatoires de permutations précédentes. La connexion provient d'un argument spectral sur le graphe modulaire, où le nombre d'or apparaît comme la valeur propre de Perron-Frobenius du sous-graphe évitant.

L'auteur souligne que le décompte de Fibonacci est exact et inconditionnel, et non une approximation, porté par le gap spectral $\phi/2 < 1$. Le travail introduit une nouvelle bijection modulaire $\Psi_m$ et ses propriétés structurelles, qui ne sont pas présentes dans la littérature antérieure. Bien que l'article ne résolve pas la conjecture de Collatz, il établit des contraintes rigoureuses sur la distribution des résidus dans les cycles hypothétiques, prouvant spécifiquement que le résidu 2 est inévitable et doit constituer une part significative de la longueur de tout cycle. L'article conclut en identifiant des questions ouvertes concernant l'effectivité de ces bornes (bornant la première occurrence du résidu 4) et si tous les sommets de $G'$ sont visités par des cycles non triviaux.