Title: An elementary proof of the Syracuse conjecture

Abstract: Syracuse conjecture stated that all positive integer sequences ${(T_n)}_{n\geq0}$ defined by $T_{n+1}=\frac{T_n}{2}$ if $T_n$ is even and $T_{n+1}=\frac{3*T_n+1}{2}$ if $T_n$ is odd, finishes always by taking successively the value 1 and 2. A formal proof of the conjecture is lacking so far in spite of various approaches to the problem. In this paper, we establish an elementary proof, based on two complementary approaches: The first is an arithmetic formulation which allows identifying Syracuse sequences to perturbations of rational powers sequences and, equivalently, to modifications of Sturmian words associated to them. The second is a visualization of Syracuse sequences as binary cellular automata, which when expressed in gray code, leads to the appearance of a tree structure with coalescing branches. We prove that the modification of the Sturmian words provoked by Syracuse sequences imposes the fusion of all the branches and this establishes the famous conjecture.
Keywords: Collatz problem, 3x+1 problem, Sturmian words, Cellular automata, Gray code.