Simulation of the Collatz 3x+1 function by Turing machines

Pascal Michel

DOI: https://doi.org/10.48550/arXiv.1409.7322

2014-09-26

Abstract:We give new Turing machines that simulate the iteration of the Collatz 3x+1 function. First, a never halting Turing machine with 3 states and 4 symbols, improving the known 3x5 and 4x4 Turing machines. Second, Turing machines that halt on the final loop, in the classes 3x10, 4x6, 5x4, and 13x2.

Logic

What problem does this paper attempt to address?

On the Structure and the Behavior of Collatz 3n + 1 Sequences

Mike Winkler

DOI: https://doi.org/10.48550/arXiv.1412.0519

2021-10-07

Abstract:It is shown that every Collatz sequence $C(s)$ consists only of same structured finite subsequences $C^h(s)$ for $s\equiv9\ (mod\ 12)$ or $C^t(s)$ for $s\equiv3,7\ (mod\ 12)$. For starting numbers of specific residue classes ($mod\ 12\cdot2^h$) or ($mod\ 12\cdot2^{t+1}$) the finite subsequences have the same length $h,t$. It is conjectured that for each $h,t\geq2$ the number of all admissible residue classes is given exactly by the Fibonacci sequence. This has been proved for $2\leq h,t\leq50$. Collatz's conjecture is equivalent to the conjecture that for each $s\in\mathbb{N},s>1$, there exists $k\in\mathbb{N}$ such that $T^k(s)<s$. The least $k\in\mathbb{N}$ such that $T^k(s)<s$ is called the stopping time of $s$, which we will denote by $\sigma(s)$. It is shown that Collatz's conjecture is true, if every starting number $s\equiv3,7\ (mod\ 12)$ have finite stopping time. We denote $\tau(s)$ as the number of $C^t(s)$ until $\sigma(s)$ is reached for a starting number $s\equiv3,7\ (mod\ 12)$. Starting numbers of specific residue classes ($mod\ 3\cdot2^{\sigma(s)}$) have the same stopping times $\sigma(s)$ and $\tau(s)$. By using $\tau(s)$ it is shown that almost all $s\equiv3,7\ (mod\ 12)$ have finite stopping time and statistically two out of three $s\equiv3,7\ (mod\ 12)$ have $\tau(s)=1$. Further it is shown what consequences it entails, if a $C(s)$ grows to infinity.

General Mathematics
On the Collatz Problem

Roupam Ghosh

DOI: https://doi.org/10.48550/arXiv.0804.3716

2008-04-23

Abstract:Taking a new approach towards analyzing the Collatz Problem, or, 3x+1 conjecture. Introducing some new functions, the Collatz-2 and Collatz-3 sequences, as well as deducing results related to Collatz-2 and Collatz-3 sequences.

General Mathematics
Additive Collatz Trajectories

Aalok Thakkar,Mrunmay Jagadale

DOI: https://doi.org/10.48550/arXiv.1611.03919

2016-11-12

Abstract:Collatz Conjecture (also known as Ulam's conjecture and 3x+1 problem) concerns the behavior of the iterates of a particular function on natural numbers. A number of generalizations of the conjecture have been subjected to extensive study. This paper explores Additive Collatz Trajectories, a particular case of a generalization of Collatz conjecture and puts forward a sufficient and necessary condition for looping of Additive Collatz Trajectories, along with two minor results. An algorithm to compute the number of equivalence classes when natural numbers are quotiented by the limiting behavior of their corresponding trajectories is also proposed.

Number Theory
Problems in number theory from busy beaver competition

Pascal Michel

DOI: https://doi.org/10.2168/lmcs-11(4:10)2015

2015-12-14

Logical Methods in Computer Science

Abstract:<p>By introducing the busy beaver competition of Turing machines, in 1962, Radodefined noncomputable functions on positive integers. The study of thesefunctions and variants leads to many mathematical challenges. This articletakes up the following one: How can a small Turing machine manage to producevery big numbers? It provides the following answer: mostly by simulatingCollatz-like functions, that are generalizations of the famous 3x+1 function.These functions, like the 3x+1 function, lead to new unsolved problems innumber theory.</p>

computer science, theory & methods,logic
An Automated Approach to the Collatz Conjecture

Emre Yolcu,Scott Aaronson,Marijn J.H. Heule

DOI: https://doi.org/10.48550/arXiv.2105.14697

2023-01-01

Abstract:We explore the Collatz conjecture and its variants through the lens of termination of string rewriting. We construct a rewriting system that simulates the iterated application of the Collatz function on strings corresponding to mixed binary-ternary representations of positive integers. We prove that the termination of this rewriting system is equivalent to the Collatz conjecture. We also prove that a previously studied rewriting system that simulates the Collatz function using unary representations does not admit termination proofs via natural matrix interpretations, even when used in conjunction with dependency pairs. To show the feasibility of our approach in proving mathematically interesting statements, we implement a minimal termination prover that uses natural/arctic matrix interpretations and we find automated proofs of nontrivial weakenings of the Collatz conjecture. Although we do not succeed in proving the Collatz conjecture, we believe that the ideas here represent an interesting new approach.

Logic in Computer Science
A Collatz Conjecture Proof

Robert Hill Nichols Jr

DOI: https://doi.org/10.48550/arXiv.2112.07361

2021-12-12

Abstract:We represent the generalized Collatz function with the recursive ruler function r(2n) = r(n) + 1 and r(2n + 1) = 1. We generate even-only and odd-only Collatz subsequences that contain significantly fewer elements term by term, to 2 and 1, respectively, than are present in the original 3n + 1 and the Terras-modified Collatz sequences. We show that a nonlinear, coupled system of difference equations yields a complete acyclic (except for the trivial cycle) Collatz tree in odds not divisible by 3 with root vertex 1. We construct a complete Collatz tree with the axiom of choice and prove the Collatz conjecture.

General Mathematics
Variations on a Theme of Collatz

Mario Bruschi,Francesco Calogero

2023-03-14

Abstract:Consider the recursive relation generating a new positive integer $n_{\ell +1}$ from the positive integer $n_{\ell }$ according to the following simple rules: if the integer $n_{\ell }$ is odd, $n_{\ell +1}=3n_{\ell }+1$; if the integer $n_{\ell }$ is even, $n_{\ell +1}=n_{\ell }/2$. The so-called Collatz conjecture states that, starting from any positive integer $N$, the recursion characterized by the continued application of these rules ends up in the cycle $4,$ $2,1$. This conjecture is generally believed to be true (on the basis of extensive numerical checks), but it is as yet unproven. In this paper -- based on the assumption that the Collatz conjecture is indeed true -- we present a quite simple extension of it, which entails the possibility to divide all natural numbers into $3$ disjoint classes, to each of which we conjecture -- on the basis of (not very extensive) numerical checks -- $1/3$ of all natural numbers belong; or, somewhat equivalently, to $2$ disjoint classes, to which we conjecture that respectively $1/3$ and $2/3$ of all natural numbers belong.

General Mathematics
Integer patterns in Collatz sequences

Zenon B. Batang

DOI: https://doi.org/10.48550/arXiv.1907.07088

2019-07-17

Abstract:The Collatz conjecture asserts that repeatedly iterating $f(x) = (3x + 1)/2^{a(x)}$, where $a(x)$ is the highest exponent for which $2^{a(x)}$ exactly divides $3x+1$, always lead to $1$ for any odd positive integer $x$. Here, we present an arborescence graph constructed from iterations of $g(x) = (2^{e(x)}x - 1)/3$, which is the inverse of $f(x)$ and where $x \not \equiv [0]_3$ and $e(x)$ is any positive integer satisfying $2^{e(x)}x - 1 \equiv [0]_3$, with $[0]_3$ denoting $0\pmod{3}$. The integer patterns inferred from the resulting arborescence provide new insights into proving the validity of the conjecture.

General Mathematics
An optimal convergent Collatz algorithm

Juan Carlos Riano-Rojas

2024-07-20

Abstract:In this research, an optimal algorithm for the Collatz conjecture is presented. Properties such as the convergence of the algorithm and an equation that relates the algorithm to the classical Collatz conjecture are obtained. It is validated that the proposed theory is correct with several examples; as a sector of mathematicians believes that the Collatz conjecture fails in some power of $3$. The algorithm was applied to the first $600$ powers of $3$, where the convergence of the proposed algorithm was verified.

General Mathematics
On the Foundations of the Theory of a new Collatz Based Number System

Michael A. Idowu

DOI: https://doi.org/10.48550/arXiv.1503.04661

2015-03-18

Abstract:Set out here are some fundamental theories that may be regarded as newly discovered metamathematics of the odd integers in relation to the Collatz conjecture (also called the 3x+1 problem). Originally motivated by the requirement to invent a new optimised integer factorisation method, this foundational paper primarily focuses on the foundation, formalisation and presentation of a new theoretical framework (schema or blueprint) of a Collatz based number system. The proposed framework is based on metamathematical theories meticulously derived through iterative analyses and reverse engineering (i.e., by hand and mathematical computations) of many large subsets of integers. A collation of the fundamental results from these analytical attempts has led to the establishment of a completely deterministic model of a generalised Collatz based number system that is fundamentally and strangely associated with nonchaotic patterns. The proposed Collatz based number schema comprises of both visual and theoretical representations of many hidden patterns in Collatz sequences yet to be reported in literature. This novel theoretical approach may be viewed as a new method to contemporary Collatz conjecture research which may be connected to the proofs of many other mathematical theorems in number theory and discrete mathematics.

General Mathematics
A Randomized Version of the Collatz $3x + 1$ Problem

Aristides V. Doumas,Vassilis G. Papanicolaou

DOI: https://doi.org/10.48550/arXiv.1503.03658

2015-03-12

Abstract:We propose a stochastic version of the Collatz $3x + 1$ Problem.

Probability,Number Theory
An Alternative Computational Approach to the Collatz Conjecture

Kevin P. Thompson

DOI: https://doi.org/10.48550/arXiv.1101.2373

2011-07-22

Abstract:An alternative computational approach to the Collatz (3n+1) conjecture is presented that may be theoretically capable of confirming the conjecture.

Number Theory
A generalization of the Collatz problem and conjecture

M. Bruschi

DOI: https://doi.org/10.48550/arXiv.0810.5169

2008-10-29

Abstract:We introduce an infinite set of integer mappings that generalize the well-known Collatz-Ulam mapping and we conjecture that an infinite subset of these mappings feature the remarkable property of the Collatz conjecture, namely that they converge to unity irrespective of which positive integer is chosen initially.

Number Theory
The Collatz Network

Tobias Canavesi

DOI: https://doi.org/10.48550/arXiv.2105.04415

2021-05-05

Abstract:Considering all possible paths that a natural number can take following the rules of the algorithm proposed in the Collatz conjecture we construct a graph that can be interpreted as an infinite network that contemplates all possible paths within the conjecture. This allows us to understand why the minimal element of the Collatz orbit $x$ is equal to 1. Subsequently we define the extended Collatz conjecture equal to $o x+1$ when $x$ is odd and $x/2$ when $x$ is even with $o$ an odd number greater than $3$ and we show that there are infinite orbits in the extended Collatz conjecture that diverges. Finally, we find interesting theorems relating the Fibonacci sequence to prime numbers.

General Mathematics
A Brand new Approach to Collatz Conjecture

Robert Deloin

DOI: https://doi.org/10.47260/tma/1212

2022-02-03

Abstract:Abstract The aim of this paper is to propose a brand new approach on Collatz conjecture as well as a proof of it. The method is based on the fundamental theorem of arithmetics and on a definition of trajectories that implies a contradiction to the latter theorem when a divergence or looping of the algorithm is assumed. This contradiction proves Collatz conjecture. Mathematics Subject Classification: 11A51, 11Y05, 11Y11. Keywords: Conjecture, Collatz, Syracuse, 3n+1, Trajectory.
An Exploration Into the Collatz Conjecture with Changed Parameters

Shouvik Ahmed Antu,Raina Shrimali,Miranda Jones

2023-05-02

Abstract:Exploring the Collatz Conjecture and changing the expression from 3n + 1 to 5n + 1, we found patterns in different sets of numbers. Some numbers reduce to one (as stated in the Collatz Conjecture), some might escape to infinity, and some get stuck in repeating cycles. To further explore the patterns involved in Collatz-like expressions, we changed the expression to 3n+5 and found connections between 3n+1 and 3n+5.

Number Theory
An approximation of the Collatz map and a lower bound for the average total stopping time

Manuel Inselmann

2024-08-13

Abstract:Define the map $\mathsf{T}$ on the positive integers by $\mathsf{T}(m)=\frac{m}{2}$ if $m$ is even and by $\mathsf{T}(m)=\frac{3m+1}{2}$ if $m$ is odd. Results of Terras and Everett imply that, given any $\epsilon>0$, almost all $m\in\mathbb{Z}^+$ (in the sense of natural density) fulfill $(\frac{\sqrt{3}}{2})^km^{1-\epsilon}\leq \mathsf{T}^k(m)\leq (\frac{\sqrt{3}}{2})^km^{1+\epsilon}$ simultaneously for all $0\leq k\leq \alpha\log m$ with $\alpha=(\log 2)^{-1}\approx 1.443$. We extend this result to $\alpha=2(\log\frac{4}{3})^{-1}\approx 6.952$, which is the maximally possible value. Set $\mathsf{T}_{\min}(m):=\min_{n\in\mathbb{N}}\mathsf{T}^n(m)$. As an immediate consequence, one has $\mathsf{T}_{\min}(m)\leq\mathsf{T}^{\left\lfloor2(\log\frac{4}{3})^{-1}\log m\right\rfloor}(m)\leq m^{\epsilon}$ for almost all $m\in\mathbb{Z}^+$ for any given $\epsilon>0$. Previously, Korec has shown that $\mathsf{T}_{\min}(m)\leq m^\epsilon$ for almost all $m\in\mathbb{Z}^+$ if $\epsilon>\frac{\log3}{\log4}$, and recently Tao proved that $\mathsf{T}_{\min}(m)\leq f(m)$ for almost all $m\in\mathbb{Z}^+$ (in the sense of logarithmic density) for all functions $f$ diverging to $\infty$. Denote by $\tau(m)$ the minimal $n\in\mathbb{N}$ for which $\mathsf{T}^n(m)=1$ if there exists such an $n$ and set $\tau(m)=\infty$ otherwise. As another application, we show that $\liminf_{x\rightarrow\infty}\frac{1}{x\log x}\sum_{m=1}^{\lfloor x\rfloor}\tau(m)\geq 2(\log\frac{4}{3})^{-1}$, partially answering a question of Crandall and Shanks. Under the assumption that the Collatz Conjecture is true in the strong sense that $\tau(m)$ is in $O(\log m)$, we show that $\lim_{x\rightarrow\infty}\frac{1}{x\log x}\sum_{m=1}^{\lfloor x\rfloor}\tau(m)= 2(\log\frac{4}{3})^{-1}$.

Dynamical Systems,Combinatorics,Number Theory,Probability
The intricate labyrinth of Collatz sequences

Maya Mohsin Ahmed

DOI: https://doi.org/10.48550/arXiv.1602.01617

2016-02-04

Abstract:In a previous article, we reduced the unsolved problem of the convergence of Collatz sequences, to convergence of Collatz sequences of odd numbers, that are divisible by 3. In this article, we further reduce this set to odd numbers that are congruent to 21 mod 24. We also show that either the Collatz sequence of a given odd number or an equivalent Collatz sequence reverses to a multiple of 3. Moreover, we construct a network composed of Collatz sequences of all odd numbers.

Combinatorics
A Proof for the Collatz Conjecture

Lei Li

DOI: https://doi.org/10.48550/arXiv.2209.13541

2022-08-31

General Mathematics

Abstract:It is well known that the following Collatz Conjecture is one of the unsolved problems in mathematics. Collatz Conjecture: For any positive integer $n>1$, the following recursive algorithm will convergent to 1 by a finite number of steps. A) If $n$ is an even number then $n/2 \to n$, B) If $n$ is an odd number then $3n+1 \to n$. This paper proposes a proof for the Collatz Conjecture by the elementary mathematical induction.
Teaching the Computer how to Discover(!) and then Prove(!!) (all by Itself(!!!)) Analogs of Collatz's Notorious 3x+1 Conjecture

Doron Zeilberger

DOI: https://doi.org/10.48550/arXiv.0903.4050

2009-03-24

Abstract:Paul Erdos claimed that mathematics is not yet ready to settle the 3x+1 conjecture. I agree, but very soon it will be! With the exponential growth of computer-generated mathematics, we (or rather our silicon brethrern) would have a shot at it. Of course, not by number crunching, but by symbol crunching and automatic deduction. In the present article, I taught my computer how to use the brilliant ideas of four human beings (Amal Amleh, Ed Grove, Candy Kent, and Gerry Ladas) to prove two-dimensional analogs of this notorious conjecture. Once programmed (using my Maple package LADAS) it reproduced their ten theorems, and generated 134 new ones, complete with proofs. All by itself! I believe that the proof of the original 3x+1 conjecture would be in the same vein, but one would need a couple of extra human ideas, and better computers.

Combinatorics,Dynamical Systems

Simulation of the Collatz 3x+1 function by Turing machines

On the Structure and the Behavior of Collatz 3n + 1 Sequences

On the Collatz Problem

Additive Collatz Trajectories

Problems in number theory from busy beaver competition

An Automated Approach to the Collatz Conjecture

A Collatz Conjecture Proof

Variations on a Theme of Collatz

Integer patterns in Collatz sequences

An optimal convergent Collatz algorithm

On the Foundations of the Theory of a new Collatz Based Number System

A Randomized Version of the Collatz $3x + 1$ Problem

An Alternative Computational Approach to the Collatz Conjecture

A generalization of the Collatz problem and conjecture

The Collatz Network

A Brand new Approach to Collatz Conjecture

An Exploration Into the Collatz Conjecture with Changed Parameters

An approximation of the Collatz map and a lower bound for the average total stopping time

The intricate labyrinth of Collatz sequences

A Proof for the Collatz Conjecture

Teaching the Computer how to Discover(!) and then Prove(!!) (all by Itself(!!!)) Analogs of Collatz's Notorious 3x+1 Conjecture