Read this in other languages: Français
-
Logarithmic Drift Potential:
$\Delta V(x) = \ln(3)\chi_{\text{odd}}(x) - \ln(2) \implies \mathbb{E}[\Delta V] = \ln(\sqrt{3}/2) < 0$ . - 2-Adic Haar Measure: $\int_{\mathbb{Z}2} v_2(3x+1) , d\nu = \sum{k=1}^\infty \frac{k}{2^k} = 2$.
-
Formal Verification: Machine-checked in Lean 4 / Mathlib without external axioms (
test_lean/CollatzDeterministic.lean).
- [2023-10-27] : Initialisation du dépôt.
- [2026-08-28] : Enrichissement de la Tentative 01 - fibration_adelique_syracuse (Versions FR & EN). Résolution du Lemme 53. Statut : En cours.