1. Introduction
We will use the following well-known fact: if, for the members of the Collatz sequence, zeros predominate in their binary representation, then these members will lead to a decrease in the subsequent members according to the Collatz rule. A striking example is when the initial number in the Collatz sequence is equal to . Let’s write the solution of the equation in the form and note that the smaller x, the more zeros in the corresponding binary representation for n. Developing this idea, we come to the following steps.
Analysis of the binary representation of simple cases of natural numbers.
Creation of a process for decomposing an arbitrary natural number into powers of two.
Analysis of the proximity of the process to binary decomposition at the completion of decomposition at each stage.
Calculation of the number of zeros in the binary decomposition of a natural number.
Estimation of the Collatz sequence members depending on the number of ones in the binary decomposition.
2. Results
This document reveals a comprehensive solution to the Collatz Conjecture, as first proposed in [1]. The Collatz Conjecture, a well-known unsolved problem in mathematics, questions whether iterative application of two basic arithmetic operations can invariably convert any positive integer into 1. It deals with integer sequences generated by the following rule: if a term is even, the subsequent term is half of it; if odd, the next term is the previous term tripled plus one. The conjecture posits that all such sequences culminate in 1, regardless of the initial positive integer.
Named after mathematician Lothar Collatz, who introduced the concept in 1937, this conjecture is also known as the 3n + 1 problem, the Ulam conjecture, Kakutani’s problem, the Thwaites conjecture, Hasse’s algorithm, or the Syracuse problem. The sequence is often termed the hailstone sequence due to its fluctuating nature, resembling the movement of hailstones.
Paul Erdős and Jeffrey Lagarias have commented on the complexity and mathematical depth of the Collatz Conjecture, highlighting its challenging nature.
Consider an operation applied to any positive integer:
This operation is mathematically defined as:
A sequence is formed by continuously applying this operation, starting with any positive integer, where each step’s result becomes the next input. The Collatz Conjecture asserts that this sequence will always reach 1 Recent substantial advancements in addressing the Collatz problem have been documented in works [2].
Now let’s move on to our research, which we will conduct according to the announced plan. For this, we will start with the following
Theorem 1.
Let
Then, for
and for
Proof.
Calculating for
Continuing the calculation for
, we get
□
Proof. Suppose
Using Theorem 1, we create a sequence
Assume
, and in such cases, we have
Repeating j times, we get
From Theorem 1 and the conditions of this theorem, we obtain
From the smallness of
and the last estimate,
Now let’s consider the question of the number of
elements. For this, we consider the general case where there are
and
. Let’s introduce the following notations:
Solving the last equation for
, we get
According to the condition
, we have
Denoting by
, we obtain
We come to evaluating the most important term:
The sum is defined by non-zero terms
:
By definition, each Collatz sequence corresponds to a set
, so by iterating over all possible sets, we iterate over all corresponding variants of the Collatz sequence.
Now, let’s consider all possible ways of reaching the maximum level
, due to the monotonicity of the sequence
, and for each variant, we will calculate
We are interested in the case
, considering
we get
□
Proof. Let’s introduce operators defined by the formulas
Consider all possible scenarios of the behavior of the Collatz sequence, which can be written in the following form:
We need to estimate each 2n-th term of the Collatz sequence based on the number of P, T, Z operators applied during n steps.
Let
have m ones in its binary representation, then we count the number of Z operator applications by the formula:
and count the number of P operator applications by the formula:
Since each application of Z is accompanied by operator P, and the number of P applications corresponds to the number of zeros in
, which equals n - m. According to the rules of Collatz, after n steps we have:
According to the last formula, we see that the growth of each term of the sequence depends on the number of ones in the binary representation. Next, we will show that a large number of ones at the 2n-th step leads to an increase in the number of zeros at the 3n-th step in the binary representation according to previous theorems, from which it follows that subsequent terms of the sequence decrease:
Repeating the reasoning of Theorem 2, we consider the equation
From the last equation, to apply the results of Theorem 2, we need
. To meet the last inequality, consider
Consider
we get
Choosing
if the inequalities
are true,
Choosing
if the inequalities
are true,
using
also satisfies the condition
.
Denoting
according to Theorem 2 we get
After
steps of applying the Collatz rules, we have
By definition of
, we get
Using
. □
Theorem 4.
Let
then for Collatz conjecture is true
Proof. Proof follows from theorem 1-3
3. Conclusions
Our assertion proves that after 3n steps, a sequence with an initial binary length of n arrives at a number strictly smaller than the initial one, from which the solution to the Collatz conjecture follows. This is because by applying this process n times, we are guaranteed to arrive at 1.
References
- O’Connor, J.J.; Robertson, E.F. (2006). "Lothar Collatz". St Andrews University School of Mathematics and Statistics, Scotland.
- Tao, Terence (2022). "Almost all orbits of the Collatz map attain almost bounded values". Forum of Mathematics, Pi. 10: e12. arXiv:1909.03562. ISSN 2050-5086. arXiv:1909.03562. [CrossRef]
|
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).