Professional Documents
Culture Documents
COLLATZ CONJECTURE
By Hariharan Seshadri
GENERALIZATION OF COLLATZ CONJECTURE
Abstract
The Collatz problem, also known as the 3𝑥 + 1 problem, states that every positive
integer approaches one on iterating the Collatz function [1], defined as: -
1
𝑥 𝑖𝑓 𝑥 𝑖𝑠 𝑒𝑣𝑒𝑛
𝑓(𝑥) = { 2
3𝑥 + 1 𝑖𝑓 𝑥 𝑖𝑠 𝑜𝑑𝑑
Many attempts have been undertaken to generalize the Collatz function. One
important result in this is ‘The Undecidability of the Generalized Collatz Problem’,[2]
which states that there is no generalization that can decide whether an arbitrary
Collatz-like function (𝑎𝑥 + 𝑏: 𝑎, 𝑏 ∈ 𝑄) converges to one or not.
The objective of this paper is to establish a generalized Collatz function that would
not be affected by the undecidability result. This is done by defining the Collatz
function differently.
Generalization
The Collatz Conjecture states that every positive integer approaches one on iterating
the Collatz function. The problem of generalization comes when we try to look for
a function that approaches one all the time. However, if we look for a generalization
that approaches some number that is related to the generalization itself, then we can
find a fruitful generalization that does not suffer the undecidability.
In order to generalize the Collatz problem, let us consider a new function, 𝑔(𝑥),
defined as follows: -
1
𝑥 𝑖𝑓 𝑥 𝑖𝑠 𝑒𝑣𝑒𝑛 (𝑤ℎ𝑒𝑟𝑒 𝑎, 𝑏 ∈ 𝑁)
𝑔(𝑥) = { 2
𝑎𝑥 + 𝑏 𝑖𝑓 𝑥 𝑖𝑠 𝑜𝑑𝑑
With this, the Collatz conjecture can be modified into – every positive integer
approaches the constant term 𝑏 on iterating the 𝑔(𝑥) function. Clearly, the Collatz
Conjecture is a subset of this statement.
Since not all values of 𝑎 and 𝑏 satisfy this statement, we need to find a specific form
or relation between 𝑎 and 𝑏 such that the above statement is obeyed. For this, 20
values of 𝑎 and 𝑏 each (i.e., all combinations between 𝑎 = 1 𝑡𝑜 20 and 𝑏 = 1 𝑡𝑜 20)
were tested with 20 values of 𝑥 and computationally tested, and the following result
was obtained: -
1
GENERALIZATION OF COLLATZ CONJECTURE
a b
1 1
2 2
3 1
3 3
3 9
4 4
6 2
6 6
6 18
8 8
12 4
12 12
16 16
Table: 𝑎 and 𝑏 values that reach 𝑏 on iterating the 𝑔(𝑥) function
From the above values and all values of this kind, we observe the following
behaviour: -
1. All accepted expressions are of the form, 2𝑎 3𝑏 𝑥 + 2𝑚 3𝑛 , where 𝑎, 𝑏, 𝑚, 𝑛 ∈ 𝑊.
2. Both 𝑎 and 𝑏 values are of the same parity with one divisible by the other.
3. The difference of co-prime forms of 𝑎 and 𝑏 is divisible by 2.
4. If a Collatz-like expression, 𝑎𝑥 + 𝑏, reaches 𝑏 after finite cycles of iterations,
then (2𝑛 𝑎)𝑥 + (2𝑛 )𝑏 where 𝑛 ∈ 𝑁, also reaches 𝑏 after finite cycles of iterations.
With these conditions in mind, the following flowchart can be constructed to decide
whether a given expression, 𝑎𝑥 + 𝑏, iterates to 𝑏 or not.
2
GENERALIZATION OF COLLATZ CONJECTURE
START
Given expression is of
the form 2𝑎 3𝑏 𝑥 + 2𝑚 3𝑛 , False REJECTED
where 𝑎, 𝑏, 𝑚, 𝑛 ∈ 𝑊
True
3
GENERALIZATION OF COLLATZ CONJECTURE
Co-prime form of
True False
expression is
𝑘
3 𝑥 + 1, 𝑘 ∈ {0,1}
ACCEPTED REJECTED
REJECTED
True 𝑎 𝑏 𝑚 𝑛 False
2 3 =2 3
5
GENERALIZATION OF COLLATZ CONJECTURE
References
1. “Collatz Problem”, http://mathworld.wolfram.com/CollatzProblem.html
*********************************