We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > General Mathematics

Title: An elementary proof of the Syracuse conjecture

Authors: Hassan Douzi
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.
Subjects: General Mathematics (math.GM)
Cite as: arXiv:2205.12724 [math.GM]
  (or arXiv:2205.12724v1 [math.GM] for this version)

Submission history

From: Hassan Douzi [view email]
[v1] Mon, 23 May 2022 12:32:53 GMT (2071kb)

Link back to: arXiv, form interface, contact.