The Syracuse Archipelago : Exact Lemmas, Island Obstructions, and the Limits of 2-adic Proof Strategies

Description (English) : This preprint establishes a conditional framework for the analysis of Collatz-type 2-adic iterations. We show that for iterative systems defined by $T_a : n \mapsto (an+1)/2^{v_2(an+1)}$ with odd $a$, the altitude function $V(n) = \log_2(n)$ is a Foster-Lyapunov function whose mean logarithmic drift per cycle is $\mu(a) = \log_2(a) - 2$. A universal critical threshold $a = 4$ follows: under an exponential mixing hypothesis for the 2-adic valuations, the system is positively recurrent (convergent) if $a < 4$ and transient (divergent) if $a > 4$. For the case $a = 3$ (the Syracuse / $3x+1$ problem), this implies conditional convergence to the trivial cycle $1 \to 4 \to 2 \to 1$. The work includes exact proofs of the valuation distribution lemmas, a formalization of the mixing hypothesis, numerical tests on $a=5$ systems (observed divergence), and an open research programme. The main theorem is **conditional**: it does not solve the Collatz conjecture unconditionally, but provides a rigorous framework reducible to a hypothesis of asymptotic decorrelation. Description (Français) : Ce preprint établit un cadre conditionnel pour l'analyse des applications 2-adiques de type Collatz. Nous montrons que pour les systèmes itératifs définis par $T_a : n \mapsto (an+1)/2^{v_2(an+1)}$ avec $a$ impair, la fonction altitude $V(n) = \log_2(n)$ constitue une fonction de Foster-Lyapunov dont la dérive logarithmique moyenne par cycle est $\mu(a) = \log_2(a) - 2$. Il en découle un seuil critique universel $a = 4$ : sous une hypothèse de mélange exponentiel des valuations 2-adiques, le système est positivement récurrent (convergent) si $a < 4$ et transient (divergent) si $a > 4$. Pour le cas $a = 3$ (problème de Syracuse / $3x+1$), cela implique la convergence conditionnelle vers le cycle trivial $1 \to 4 \to 2 \to 1$. Le travail inclut les preuves exactes des lemmes de distribution des valuations, une formalisation de l'hypothèse de mélange, des tests numériques sur les systèmes $a=5$ (divergence observée), et un programme de recherche ouvert. Le théorème principal est **conditionnel** : il ne résout pas la conjecture de Collatz inconditionnellement, mais en fournit un cadre rigoureux réductible à une hypothèse de décorrélation asymptotique. Edit v2 : Nous présentons une analyse structurée du problème de Syracuse (3x+1) dans le cadre 2-adique. Trois résultats inconditionnels sont établis : les lemmes exacts sur la distribution des valuations ν₂, le seuil critique a=4, et l'obstruction LTE pour les séquences pures. Nous introduisons le programme des îles (S={1,2}, S={1,2,3}) et montrons par exhaustion numérique que les trajectoires pauvres en valuations sont statistiquement étouffées. Le gap ℤ₂ → ℤ est identifié comme le point critique : les cycles fantômes de Pandey (2026) prouvent que toute preuve algébrique pure est insuffisante. Le cadre conditionnel de Foster-Lyapunov est resserré, et l'hypothèse minimale restante — une borne sur la covariance des valuations — est formalisée.