Preprint
Article

This version is not peer-reviewed.

The Collatz Conjecture “The Non-Existence of Divergent Orbits Through an Analysis of the Codification of Linear Diophantine Dynamical Systems”

Submitted:

15 April 2026

Posted:

15 April 2026

You are already at the latest version

Abstract
We define the function $Col: \mathbb{N} \to \mathbb{N}$ as the Collatz function, given by \(3n + 1\) if \(n\) is odd and \(\displaystyle\frac{n}{2}\) if \(n\) is even. The conjecture postulates that for any positive integer, at some point, its iteration will reach 1, or equivalently, every orbit will fall into the periodic cycle $\{4, 2, 1\}$. Two conditions would invalidate the conjecture: The existence of a divergent orbit or the presence of another cycle. We can study the dynamics of the orbits through the density of even terms in their orbit. If all points' accumulation density exceeds the value of \(\displaystyle\frac{\ln(3)}{\ln(2)}\) then the orbit is bounded. The main result of this work is to show that there are no natural numbers such that the accumulation points of the pair density are less than \(\displaystyle\frac{\ln(3)}{\ln(2)}\). In other words, there are no divergent orbits.
Keywords: 
;  
Contents
 
1       Collatz’s Conjecture 1
1.1      Main Idea of This Work.................................................................................................................................................. 1
1.2      Notations and Conventions............................................................................................................................................... 1
1.3      Organization of the Paper............................................................................................................................................... 1
 
2       Background 1
2.1      Metric Space............................................................................................................................................................ 1
2.2      Limit Superior (lim sup) and Limit Inferior (lim inf) of a Sequence:.................................................................................................... 1
2.3      Number Theory........................................................................................................................................................... 1
2.4      The Baker–Wüstholz Theorem on Linear Forms in Logarithms (Rational Case)............................................................................................. 1
2.5       The Ring of 2-Adic Integers Z2......................................................................................................................................... 1
2.6      Dynamical System........................................................................................................................................................ 1
 
3       Set Generate by θ and ψq 1
3.1      Summary of Propositions in the Section.................................................................................................................................. 1
3.2      Set Generate by θ and ψq.............................................................................................................................................. 1
 
4       Stability and Instability of Integer Set 1
4.1      Summary of Propositions in the Section.................................................................................................................................. 1
4.2      Stability and Instability of Integer Set................................................................................................................................ 1
 
5       Coding of the Orbits 1
5.1      Summary of Propositions in the Section.................................................................................................................................. 1
5.2      Coding of the Orbits.................................................................................................................................................... 1
5.3      Extension of the Collatz function on Q.................................................................................................................................. 1
 
6       The G0, G∞ and G1 Sets 1
6.1      Summary of Propositions in the Section.................................................................................................................................. 1
6.2      The G0, G∞, and G1 Sets............................................................................................................................................... 1
 
7       Extension of the Collatz Function to Z2 1
7.1      Summary of Propositions in the Section.................................................................................................................................. 1
7.2      Extension of the Collatz Function to Z2................................................................................................................................. 1
7.3      Topological Conjugation................................................................................................................................................. 1
7.4      Periodic Points Analysis................................................................................................................................................ 1
 
8       Real Function π1 and π2 Function 1
8.1      Summary of Propositions in the Section.................................................................................................................................. 1
8.2      The π1 and π2 Functions............................................................................................................................................... 1
8.3      Definitions............................................................................................................................................................. 1
8.4      Characterization of G0 and G∞......................................................................................................................................... 1
 
9       The Sigma Function 1
9.1      Summary of Propositions in the Section.................................................................................................................................. 1
9.2      The Sigma Function...................................................................................................................................................... 1
9.3      Properties of the Sigma Function........................................................................................................................................ 1
9.4      The Sigma Function Modulo a............................................................................................................................................. 1
9.5      Extension of the Sigma Function to Qodd................................................................................................................................. 1
9.6      Properties of the Extension of the Sigma Function....................................................................................................................... 1
9.7      Coding of Sigma Function................................................................................................................................................ 1
 
10       Coding of Set G∞ 1
10.1      Summary of Propositions in the Section.................................................................................................................................. 1
10.2      π1(G∞) as Complete Metric Space...................................................................................................................................... 1
10.3      Topological Conjugation................................................................................................................................................. 1
 
11       The G1 Is Positive Unstable 1
11.1      Summary of Propositions in the Section.................................................................................................................................. 1
11.2      The Fix Function........................................................................................................................................................ 1
11.3      Minimality.............................................................................................................................................................. 1
11.4      G1 Is Unstable.......................................................................................................................................................... 1
 
12       The Problem of Divergence 1
12.1      Summary of Propositions in the Section.................................................................................................................................. 1
12.2      The Problem of Divergence............................................................................................................................................... 1
 
13       Conclusion 1
 
References 1

1. Collatz’s Conjecture

The Collatz conjecture, also known as the 3 n + 1 conjecture, is an unsolved problem in number theory proposed by the German mathematician Lothar Collatz in 1937. Despite its seemingly simple formulation, it has challenged mathematicians for decades due to the extreme difficulty of proving its validity or finding a counterexample.
The formal formulation of the conjecture is as follows:
Let Col : N N be defined by:
Col ( n ) = 3 n + 1 if n is odd n 2 if n is even ,
Then, for all n N , there exists k N such that:
Col k ( n ) = 1 .
An equivalent formulation of the conjecture argues that starting from any positive integer, the sequence will eventually reach the cycle { 4 , 2 , 1 } . Two scenarios could invalidate the conjecture: the existence of a cycle strictly different from { 4 , 2 , 1 } , or the existence of a divergent orbit (an orbit that grows toward infinity). To date, no evidence has been found for either of these exceptions; however, no rigorous proof has completely ruled them out. In 2019, Terence Tao [16] presented a major breakthrough demonstrating that almost all orbits attain almost bounded values (falling very close to the { 4 , 2 , 1 } cycle).
Example 1. 
27 82 41 124 62 31 94 47 142 71 214 107 322 161 484 242 121 364 182 91 274 137 412 206 103 310 155 466 233 700 350 175 526 263 790 395 1186 593 1780 890 445 1336 668 334 167 502 251 754 377 1132 566 283 850 425 1276 638 319 958 479 1438 719 2158 1079 3238 1619 4858 2429 7288 3644 1822 911 2734 1367 4102 2051 6154 3077 9232 4616 2308 1154 577 1732 866 433 1300 650 325 976 488 244 122 61 184 92 46 23 70 35 106 53 160 80 40 20 10 5 16 8 4 2 1
Example 2. 
871 2614 1307 3922 1961 5884 2942 1471 4414 2207 6622 3311 9934 4967 14902 7451 22354 11177 33532 16766 8383 25150 12575 37726 18863 56590 28295 84886 42443 127330 63665 190996 95498 47749 143248 71624 35812 17906 8953 26860 13430 6715 20146 10073 30220 15110 7555 22666 11333 34000 17000 8500 4250 2125 6376 3188 1594 797 2392 1196 598 299 898 449 1348 674 337 1012 506 253 760 380 190 95 286 143 430 215 646 323 970 485 1456 728 364 182 91 274 137 412 206 103 310 155 466 233 700 350 175 526 263 790 395 1186 593 1780 890 445 1336 668 334 167 502 251 754 377 1132 566 283 850 425 1276 638 319 958 479 1438 719 2158 1079 3238 1619 4858 2429 7288 3644 1822 911 2734 1367 4102 2051 6154 3077 9232 4616 2308 1154 577 1732 866 433 1300 650 325 976 488 244 122 61 184 92 46 23 70 35 106 53 160 80 40 20 10 5 16 8 4 2 1

1.1. Main Idea of This Work

The primary contribution of this work is not simply a proof concerning the Collatz Conjecture, but the development of a comprehensive mathematical framework: the Theory of Infinite Systems of Linear Diophantine Equations. For decades, the Collatz problem has resisted traditional approaches because its discrete dynamics are highly chaotic. To conquer this, our central premise establishes that the existence of divergent orbits must be translated into a rigid algebraic structure. Specifically, a divergent orbit can only exist if there is a simultaneous natural solution to an endlessly growing, infinitely constrained system of linear Diophantine equations.
To navigate and eventually break this infinite system, the majority of this paper is dedicated to building the necessary theoretical machinery from the ground up. We do this in three fundamental steps:
1. Construction of the Diophantine System: We associate to each natural number a unique binary sequence ξ that represents the parity of its iterations. Every finite truncation of this sequence generates a specific affine linear transformation, which in turn defines a linear Diophantine equation. A divergent orbit would require a single natural number to perfectly satisfy this endless sequence of equations.
2. The Sigma Function ( σ a ) as the Analytical Engine: A critical challenge in this infinite system is tracking the ever-shifting constants generated by the affine transformations. To solve this, we introduce the Sigma function ( σ a ). Far from being a mere auxiliary calculation, the Sigma function is the core algebraic tool of our theory. It exactly parametrizes and tracks the minimal non-negative solutions ( ρ 0 ) of these Diophantine equations across infinite iterations, allowing us to measure the precise "friction" between multiplications and divisions.
3. Topological Classification and the Critical Threshold: To evaluate whether a simultaneous solution can exist, the sequence is encoded by assigning 0 if the iteration is even, and 10 if it is odd. We define the density function as the ratio a k + 1 k , where a k is the total number of 0’s up to the k-th occurrence of the digit 1.
The critical threshold ln ( 3 ) ln ( 2 ) arises naturally from the geometric growth of the Collatz operations. An odd step multiplies the value by roughly 3, while an even step divides it by 2. After k odd steps and a k even steps, the global magnitude of the orbit is scaled by a factor of approximately 3 k 2 a k . Setting this overall growth factor to 1 to find the state of equilibrium yields 3 k = 2 a k . By taking the natural logarithm, we obtain the precise ratio a k k = ln ( 3 ) ln ( 2 ) . Thus, this constant represents the exact arithmetic break-even point between the expansion and contraction of the orbit.
Using this threshold, our theory classifies all infinite sequences into three distinct sets:
  • G 0 : The set of sequences ξ where lim inf k a k + 1 k > ln ( 3 ) ln ( 2 ) . Here, divisions by 2 strictly dominate. We prove that any integer whose coding falls into G 0 must inevitably have a bounded orbit.
  • G : The set of sequences ξ where lim sup k a k + 1 k < ln ( 3 ) ln ( 2 ) . Here, multiplications by 3 dominate. We prove that no natural number can exist in G , because the “real-valued” limits of such sequences strictly map to negative integers or rationals.
  • G 1 : The exact boundary where lim l a k l + 1 k l = ln ( 3 ) ln ( 2 ) . This is the critical equilibrium threshold. By bridging our Diophantine theory with bounds from transcendental number theory, we demonstrate that this delicate balance is positively unstable. It cannot contain the coding of any natural number without the orbit exploding in a mathematically contradictory way.
Once this theoretical framework is fully established, the resolution of the Collatz divergence problem emerges as a natural, unavoidable consequence. Formally, we establish the following foundational results:
1.
There is no n N whose coding satisfies lim sup n a n + 1 n ln ( 3 ) ln ( 2 ) .
2.
The coding of n N belongs to G 0 if and only if its orbit is bounded.
We leverage this machinery to demonstrate the main theorem of this work:
Theorem 12: There are no divergent orbits for the Collatz function on the natural numbers.
The core idea of the final proof is by contradiction: Suppose there exists an n N whose orbit is divergent. Then, necessarily, its coding cannot belong to G 0 . This means there must exist a subsequence of its density function whose limit is less than or equal to ln ( 3 ) ln ( 2 ) . Moreover, the density function cannot have accumulation points strictly greater than ln ( 3 ) ln ( 2 ) , because otherwise, there would exist a sub-orbit of n that is bounded (a consequence of Corollary 2).
Trapped by these restrictions, all accumulation points of the density function must be strictly less than or equal to ln ( 3 ) ln ( 2 ) . However, our established theory proves that G contains no natural numbers, and the equilibrium in G 1 is positively unstable. Hence, the encoding of a divergent natural number has absolutely no valid mathematical space to exist within the topology of Z 2 , making divergent orbits an impossibility.

1.2. Notations and Conventions

In this work, we denote the set of positive integers as N , the set of non-negative integers as N 0 , the greatest common divisor of a and b as ( a , b ) , and the least common multiple of a and b as [ a , b ] .
We use the following symbology to refer to an arbitrary composition of functions:
i = 1 n f i ( x ) = f n f n 1 f 2 f 1 .

1.3. Organization of the Paper

Due to the multidisciplinary nature of the mathematical tools employed, this work is structurally divided into three distinct parts. This division guides the reader from discrete arithmetic to continuous topological analysis, culminating in the resolution of the conjecture’s main problems.

Part I: Elementary Theory of Infinite Systems of Diophantine Equations (Chapters 1–5)

This first part establishes the discrete and algebraic framework of the problem, transforming dynamic orbits into coded sequences and systems of linear equations.
Main Definitions:
  • Binary Coding of the Orbits ( ξ ): The rule that translates the trajectory of a number into a symbolic sequence, assigning 0 for even steps and 10 for odd steps.
  • Local Affine Transformations ( S k ): The representation of each finite truncation of the coded sequence as a linear affine map of the form S ( x ) = 3 b x + N 2 a .
  • Stability of Integer Sets: The discrete criteria defining how the set of valid integer solutions evolves and is restricted as more iterations are added to the system.
Main Results:
  • Diophantine Equivalence: It is demonstrated that the existence of any Collatz orbit is strictly equivalent to the existence of a simultaneous integer solution for an infinite system of Diophantine equations of the form 2 a y 3 b x = N .
  • We prove that by composing the affine functions, the sets of integer solutions are strictly nested within each other ( E ( S H ) E ( H ) ).
Chapters Overview:
  • Chapter 1 & 2 (Collatz’s Conjecture & Background): Introduce the 3 n + 1 problem, the scenarios that would invalidate the conjecture, and the fundamental mathematical tools (metric spaces, p-adic analysis, Diophantine equations).
  • Chapter 3 (Set Generated by θ and ψ q ): Models the Collatz operations as affine transformations and formalizes the integer sets generated by their truncations.
  • Chapter 4 (Stability and Instability of Integer Sets): Establishes the algebraic rules governing the bounds of the integer solution sets.
  • Chapter 5 (Coding of the Orbits): Details the symbolic binary assignment and explores the extension of the Collatz function over the odd rationals ( Q o d d ).

Part II: Analytic Theory of Infinite Systems of Diophantine Equations (Chapters 6–11)

Here, the research takes a qualitative leap: the discrete problem is translated into the calculus of limits, 2-adic topology, and linear forms in logarithms.
Main Definitions:
  • Parity Density Function: The asymptotic ratio a k + 1 k , which measures the proportion between divisions by 2 and multiplications by 3.
  • The Topological Sets ( G 0 , G , G 1 ): The partition of all possible codings based on the critical threshold ln ( 3 ) ln ( 2 ) . G 0 represents division-dominated orbits, G multiplication-dominated ones, and G 1 the perfect equilibrium.
  • The 2-adic Space ( Z 2 ) and π Functions: The extension of the domain to treat infinite sequences as convergent real series.
  • The Sigma Function ( σ a ): A fundamental auxiliary function introduced to trace the evolution of the constants in the Diophantine system.
Main Results:
  • Exact Parameterization (Theorem 6): It is proved that the iterations of the Sigma Function exactly construct the minimal non-negative solution ( ρ 0 ) of any generated Diophantine equation.
  • Invariance of G : We demonstrate topologically that any sequence dominated by multiplications by 3 corresponds strictly to negative integers or rational numbers, never to a natural number.
  • The Positive Instability of G 1 : By invoking the Baker-Wüstholz Theorem (bounds for linear forms in logarithms), we prove that the delicate equilibrium at the threshold ln ( 3 ) ln ( 2 ) is positively unstable. The transcendental bound forces an infinite accumulation of binary carries, destroying the possibility of an integer solution.
Chapters Overview:
  • Chapter 6 (The G 0 , G and G 1 Sets): Divides the total space of coding sequences based on their asymptotic density limits.
  • Chapter 7 & 8 ( Z 2 Extension & Real Functions π 1 , π 2 ): Translates the system’s domain to the 2-adic integers and constructs weight functions to map topological evolution to real values.
  • Chapter 9 (The Sigma Function): Introduces the main algebraic tool used to find minimal solutions for the affine mappings.
  • Chapter 10 (Coding of Set G ): Topologically proves that natural numbers cannot exhibit multiplication-dominated behavior.
  • Chapter 11 (The Set G 1 is Unstable): The climax of the analytic theory, where transcendental number theory is applied to break the critical threshold.

Part III: The Proof of the Non-Existence of Divergent Orbits (Chapter 12)

The resolution section of the paper. All the analytic machinery developed in Parts I and II is directly applied to prove that divergent trajectories are mathematically impossible.
Main Definitions:
  • Divergent Orbits: Trajectories generated by the Collatz function over the natural numbers that escape to infinity, i.e., lim k Col k ( n ) = .
Main Results:
  • Non-Existence of Divergent Orbits (Main Theorem): We formally conclude that, since the codings of natural numbers cannot belong to G or G 1 (as proven by the topological and transcendental bounds of Part II), every natural number strictly belongs to the set G 0 . This mathematically guarantees that the density of divisions by 2 eventually strictly dominates the multiplications by 3, implying that every orbit is bounded and no divergent orbits can exist.
Chapters Overview:
  • Chapter 12 (The Problem of Divergence): Consolidates the theorems from the analytic theory to definitively prove that no natural number can have a divergent trajectory, successfully ruling out this major scenario for the Collatz Conjecture.

2. Background

2.1. Metric Space

A metric space is a set X equipped with a function d : X × X R , called a metric, that satisfies the following properties for all x , y , z X :
  • Non-negativity: d ( x , y ) 0 , and d ( x , y ) = 0 if and only if x = y .
  • Symmetry: d ( x , y ) = d ( y , x ) .
  • Triangle inequality: d ( x , z ) d ( x , y ) + d ( y , z ) .
The function d ( x , y ) measures the "distance" between any two points x and y in the set X. The pair ( X , d ) is called a metric space.
Examples of Metrics:
  • Euclidean Metric (on R n ):
    d ( x , y ) = i = 1 n ( x i y i ) 2
    This metric defines the usual distance between two points x = ( x 1 , x 2 , , x n ) and y = ( y 1 , y 2 , , y n ) in Euclidean space R n .
  • Discrete Metric:
    d ( x , y ) = 0 if x = y , 1 if x y .
    In this metric, the distance between two distinct points is always 1, and the distance from any point to itself is 0.
  • Taxicab Metric (or Manhattan Metric, on R n ):
    d ( x , y ) = i = 1 n | x i y i |
    This metric measures the distance between two points x and y as the sum of the absolute differences of their coordinates. It corresponds to the distance a taxi would drive on a grid of city streets.
  • p-adic Metric (on Q ):
    d p ( x , y ) = p o r d p ( x y )
    Here, p is a fixed prime number, and o r d p ( x y ) denotes the p-adic valuation of x y , which
    o r d p ( x ) = the highest power p which divides x if x Z o r d p ( a ) o r d p ( b ) if x = a b Q
    This metric measures the distance between two rational numbers based on their divisibility by p. The p-adic metric induces a non-Archimedean topology, meaning that the "triangle inequality" is strengthened to d p ( x , z ) max { d p ( x , y ) , d p ( y , z ) } .
A complete metric space is a metric space in which every Cauchy sequence converges to a point within the space. Formally, a metric space ( X , d ) is called complete if, for every sequence { x n } X that is Cauchy (i.e., for any ε > 0 , there exists N N such that for all n , m N , d ( x n , x m ) < ε ), there exists a point x X such that:
lim n x n = x .
In other words, all Cauchy sequences in X must have a limit in X.
Examples:
  • The Real Numbers R with the Euclidean Metric: The set of real numbers R with the usual Euclidean metric d ( x , y ) = | x y | is a complete metric space. This is because every Cauchy sequence of real numbers converges to a real number.
  • The Rational Numbers Q with the Euclidean Metric: The set of rational numbers Q with the Euclidean metric is not complete. For example, the sequence defined by x 0 = 1 and x n + 1 = x n + 2 x n 2 that approximate 2 is Cauchy in Q but does not converge to a rational number (since 2 Q ).
  • The p-adic Numbers Q p : The set of p-adic numbers Q p , equipped with the p-adic metric d p ( x , y ) = x y 2 = p o r d p ( x y ) , is a complete metric space. Every Cauchy sequence in Q p converges to a p-adic number within Q p .

2.2. Limit Superior (lim sup) and Limit Inferior (lim inf) of a Sequence:

Given a sequence { x n } n N of real numbers and X n = { x n , x n + 1 , } . Let us consider the following subsequences of { x n } n N given by
a n = inf X n b n = sup X n
we have that the sequence { a n } is monotonically increasing and { b n } is monotonically decreasing, that is:
a 1 a 2 a n b n b 2 b 1
Therefore there are limits
a = lim n a n = sup n a n = sup n ( inf X n ) b = lim n b n = inf n b n = inf n ( sup X n )
We will write a = lim inf n x n and b = lim sup n x n and we will call Limit Inferior and Limit Superior respectively.
Limit Superior (lim sup) and Limit Inferior (lim inf) of a Sequence of Sets: Let { A n } n = 1 be a sequence of sets in a space X. The limit superior and limit inferior of the sequence of sets are defined as follows:
1.
Set Sequence limit superior ( lim sup n A n ):
lim sup n A n = n = 1 m = n A m
2.
Set Sequence limit inferior ( lim inf n A n ):
lim inf n A n = n = 1 m = n A m
3.
Limit of a Sequence of Sets If lim sup n A n = lim inf n A n , then the sequence { A n } converges, and its limit is denoted as:
lim n A n = lim inf n A n = lim sup n A n
Particular Case: Monotone Sequences of SetsNon-Decreasing Sequence ( A 1 A 2 A 3 ): If A n is a non-decreasing sequence (i.e., A n A n + 1 for all n), then:
lim inf n A n = lim sup n A n = n = 1 A n
In this case, the limit of the sequence is simply the union of all the sets in the sequence. Non-Increasing Sequence ( A 1 A 2 A 3 ): If A n is a non-increasing sequence (i.e., A n A n + 1 for all n), then:
lim inf n A n = lim sup n A n = n = 1 A n
In this case, the limit of the sequence is simply the intersection of all the sets in the sequence.

2.3. Number Theory

A linear Diophantine equation is an equation of the form
a x + b y = c ,
where a , b , c Z . Such an equation has integer solutions if and only if the greatest common divisor d = ( a , b ) : = gcd ( a , b ) divides c. When solutions exist, they form an infinite family given by:
x = x 0 + b d t , y = y 0 a d t for all t Z ,
where ( x 0 , y 0 ) is a particular solution.
The Carmichael function  λ ( n ) is defined for each integer n 1 as the smallest positive integer m such that
a m = 1 ( mod n )
for every integer a with gcd ( a , n ) = 1 . That is, λ ( n ) is the exponent of the multiplicative group of units modulo n.
Some properties of λ ( n ) include:
  • If n is a power of an odd prime, say n = p k with p odd and k 1 , then λ ( n ) = ( p 1 ) p k 1 .
  • If n = 2 k , then:
    λ ( 2 k ) = 1 if k = 1 , 2 if k = 2 , 2 k 2 if k 3 .
  • If n has the prime power decomposition n = p 1 k 1 p 2 k 2 p r k r , then:
    λ ( n ) = λ ( p 1 k 1 ) , λ ( p 2 k 2 ) , , λ ( p r k r ) : = lcm λ ( p 1 k 1 ) , λ ( p 2 k 2 ) , , λ ( p r k r ) .

2.4. The Baker–Wüstholz Theorem on Linear Forms in Logarithms (Rational Case)

In this subsection we present a simplified and completely elementary version of the main theorem of Baker and Wüstholz (1993), restricted exclusively to the case where the numbers α i are rational, distinct from zero and one. In this way, any reference to algebraic number fields of degree greater than 1 is avoided.
Let α be a nonzero rational number, written in irreducible form as α = p / q with p Z , q N and gcd ( | p | , q ) = 1 . The logarithmic height of α is defined by
h ( α ) = ln max ( | p | , q ) .
The associated modified height is
h ( α ) = max | ln α | , 1 ,
Theorem 1:
(Baker–Wüstholz, 1993 – rational version). Let α 1 , , α n be rational numbers, none zero or one. Consider the linear form
L ( z 1 , , z n ) = b 1 z 1 + + b n z n
with integer coefficients b i Z , not all zero. If
A = L ( log α 1 , , log α n ) 0
and | b j | > e then
log | A | > C ( n , 1 ) h ( α 1 ) h ( α n ) ln ( B ) ,
where
C ( n , 1 ) = 18 ( n + 1 ) ! n n + 1 32 n + 2 log ( 2 n )
and
B = max j | b j | .
Particular case: A = a ln 2 b ln 3 with a , b Z not both zero and | a | , | b | > e . Take n = 2 , α 1 = 2 , α 2 = 3 and the linear form L ( z 1 , z 2 ) = a z 1 b z 2 . Let B = max ( | a | , | b | ) .
Then:
1.
C ( 2 , 1 ) 1.25594 × 10 9
2.
h ( 2 ) = 1 (since ln 2 0.693 < 1 )
3.
h ( 3 ) = ln 3 1.0986
Then
ln | a ln 2 b ln 3 | > 1.3798 × 10 9 · log B ,
or equivalently
| a ln 2 b ln 3 | > B 1.3798 × 10 9 .

2.5. The Ring of 2-Adic Integers Z 2

To establish a rigorous algebraic foundation for the subsequent analysis, we must introduce the ring of 2-adic integers and its topological properties. This provides the necessary framework to study sequences and limits within a context where the standard Euclidean metric is replaced by one based on divisibility by 2.
Definition 1 
(2-adic Valuation and Norm). For any non-zero rational number x Q , we can uniquely write it in the form x = 2 ν p q , where p , q , and ν are integers, and both p and q are odd. We define the2-adic valuationas O r d 2 ( x ) = ν . Conventionally, we set O r d 2 ( 0 ) = .
The2-adic normis defined as:
| | x | | 2 = 2 O r d 2 ( x ) if x 0 0 if x = 0
This norm induces an ultrametric given by d 2 ( x , y ) = | | x y | | 2 .
Definition 2 
(2-adic Integers). The ring of 2-adic integers, denoted as Z 2 , is the metric completion of the set of integers Z with respect to the norm | | · | | 2 . Every element α Z 2 admits a unique canonical representation as an infinite power series:
α = i = 0 a i 2 i where a i { 0 , 1 }
The sequence of coefficients { a i } i = 0 is known as the 2-adic expansion of α.
Lemma 1. 
A rational number r = p q (in simplest form) belongs to Z 2 if and only if its denominator q is odd.
Proof. 
Let r = p q Q with gcd ( p , q ) = 1 . The rational number r belongs to Z 2 if and only if | | r | | 2 1 , which is equivalent to O r d 2 ( r ) 0 . By definition, O r d 2 ( r ) = O r d 2 ( p ) O r d 2 ( q ) . Since p and q are coprime, they cannot both be even. If q is even, then O r d 2 ( q ) > 0 and O r d 2 ( p ) = 0 , leading to O r d 2 ( r ) < 0 , meaning r Z 2 . If q is odd, then O r d 2 ( q ) = 0 , so O r d 2 ( r ) = O r d 2 ( p ) 0 , and thus r Z 2 . □
The following theorem is fundamental for characterizing rational numbers within the 2-adic framework.
Theorem 2:
(Eventually Periodic Expansion of Rationals). Let α Z 2 . The 2-adic expansion of α is eventually periodic if and only if α is a rational number.
Proof. 
Suppose the 2-adic expansion of α is eventually periodic. Then, we can write α = A + 2 k B , where A Z is the pre-periodic integer part (of length k) and B is the strictly periodic part with period T. We can express B as an infinite geometric series:
B = P j = 0 ( 2 T ) j = P 1 2 T
where P is the integer formed by the periodic block of bits. Since P and 1 2 T are integers, B is a rational number. Because A and 2 k are also integers, we conclude that α = A + 2 k B Q .
Let α = p q Q Z 2 . By Lemma 1, we know q must be odd. Without loss of generality, suppose q > 0 . By Euler’s Theorem, since gcd ( q , 2 ) = 1 , there exists an integer T 1 such that 2 T 1 ( mod q ) . Therefore, 2 T 1 = q · m for some integer m. Thus, we can rewrite the fraction as:
α = p q = p · m q · m = p m 1 2 T
By applying classical long division, the term p m generates a sequence of remainders that must necessarily repeat because the divisor 1 2 T is constant. This induces a sequence of coefficients in the power series expansion of 2 that is eventually periodic, with a period dividing T. □
An important geometric consequence arises when considering the sign of rational numbers within their 2-adic expansion.
Lemma 2 
(2-adic Expansion of Negative Numbers). Let α Q Z 2 . If α < 0 (in the sense of the standard metric in R ), then the 2-adic expansion of α contains an infinite number of non-zero coefficients (infinite ’1’ bits). In particular, if α is a negative integer, its expansion possesses an infinite, uninterrupted tail of ones.
Proof. 
For the case of a negative integer, consider α = 1 . In Z 2 , we can evaluate the sum of the infinite geometric series:
S = i = 0 2 i = 1 + 2 + 4 + 8 +
Multiplying by 2, we obtain 2 S = i = 1 2 i = S 1 . Solving for S under 2-adic arithmetic yields S = 1 . Hence, the canonical representation of 1 is 11111 2 . Any other negative integer n can be expressed using two’s complement arithmetic, which guarantees that the most significant digits will all be ’1’ from a certain point onward.
For the general case of a negative rational fraction α = p / q (with p , q > 0 and q odd), we know from Theorem 2 that its expansion is eventually periodic. Assume for the sake of contradiction that the expansion contains only a finite number of ones. This would imply that after some index N, all coefficients are 0. However, if a 2-adic expansion ends in an infinite tail of zeros, the infinite series i = 0 a i 2 i is structurally just a finite sum of positive powers of 2. In R , a finite sum of non-negative terms must be a non-negative integer. This strictly defines a positive integer or zero, which contradicts the initial premise that α < 0 . Therefore, the periodic part of the expansion of any negative rational must contain at least one ’1’ bit, thereby ensuring that the overall expansion possesses infinitely many ’1’ bits. □
Lemma 3 
(Purely Periodic Expansion of Rationals). Let α Q Z 2 . The 2-adic expansion of α is purely periodic (meaning it possesses no pre-periodic block) if and only if 1 α 0 . In particular, it is non-trivially purely periodic if and only if α ( 1 , 0 ) .
Proof. 
Suppose the 2-adic expansion of α is purely periodic with a period of length T 1 . We can express α as a direct infinite geometric series:
α = P j = 0 ( 2 T ) j = P 1 2 T
where P is the integer value formed by the periodic block of T bits. The maximum possible value for a T-bit integer occurs when all its bits are ’1’, yielding P max = i = 0 T 1 2 i = 2 T 1 . Since 0 P 2 T 1 , we can bound α as follows:
1 = 2 T 1 1 2 T P 1 2 T 0 1 2 T = 0
Excluding the trivial constant sequences where P = 0 (yielding α = 0 ) and P = 2 T 1 (yielding α = 1 ), any strictly non-trivial purely periodic sequence maps to a rational number α ( 1 , 0 ) .
Conversely, let α ( 1 , 0 ) be a rational number in Z 2 . By Lemma 1, α = p q with 0 < p < q and q odd. By Euler’s Theorem, since gcd ( q , 2 ) = 1 , there exists an integer T 1 such that q divides 2 T 1 , meaning 2 T 1 = q · m for some integer m > 0 . We can rewrite α as:
α = p · m q · m = p m 2 T 1 = p m 1 2 T
Since 0 < p < q , multiplying the inequality by m yields 0 < p m < q m = 2 T 1 . Let P = p m . Because 0 < P < 2 T 1 , P can be exactly represented as a positive T-bit binary integer. Expanding the fraction back into a geometric series yields:
α = P 1 2 T = P j = 0 ( 2 T ) j = P + P · 2 T + P · 2 2 T +
This explicitly constructs a purely periodic 2-adic expansion for α without any pre-periodic terms, completing the proof. □

2.6. Dynamical System

A discrete dynamical system is a model of the evolution of a state over discrete time steps. Formally, it consists of a set X (called the state space) and a function f : X X that describes how the state evolves from one time step to the next. The system is described by the equation:
x n + 1 = f ( x n )
where x n X represents the state of the system at the n-th time step. The evolution of the system is typically studied by iterating the function, f starting from an initial state x 0 . The sequence { x n } , where x n + 1 = f ( x n ) , is called the orbit or trajectory of the initial state x 0 .
Topologically Conjugate Dynamical Systems: Two discrete dynamical systems ( X , f ) and ( Y , g ) are said to be topologically conjugate if there exists a homeomorphism h : X Y such that the following diagram commutes:
X r f d h X d h Y r g Y
In other words, the systems ( X , f ) and ( Y , g ) are topologically conjugate if there is a bijective function h : X Y such that:
  • h is a homeomorphism, meaning h is continuous, bijective, and its inverse h 1 is also continuous.
  • The following relation holds:
    h f = g h .
This means that the dynamics of f on X and g on Y are the same up to a change of coordinates given by h. The systems ( X , f ) and ( Y , g ) have the same qualitative behavior, such as the structure of orbits and periodic points, despite potentially differing in their specific representations.
Properties of Topological Conjugation with Respect to Orbits and Periodic Points:
  • Preservation of Orbits: If f : X X and g : Y Y are two topologically conjugate dynamical systems, with a homeomorphism h : X Y such that h f = g h , then h preserves the orbits of points. Specifically, for any point x X , the orbit of x under f is mapped to the orbit of h ( x ) under g by h. Mathematically, this means:
    h ( f n ( x ) ) = g n ( h ( x ) ) for all n 0 .
  • Preservation of Periodic Points: If x X is a periodic point of f with period p, then h ( x ) Y is a periodic point of g with the same period p. Specifically, if f p ( x ) = x , then:
    g p ( h ( x ) ) = h ( f p ( x ) ) = h ( x ) .
    Conversely, if y Y is a periodic point of g with period p, then h 1 ( y ) X is a periodic point of f with the same period p.
Part I: Elementary Theory of Infinite Systems of Diophantine Equations

3. Set Generate by θ and ψ q

In this section, we delve into functions generated by the composition of two real linear functions, θ and ψ q , focusing on their properties over integers. We define the set θ , ψ q , representing compositions of these functions, and examine their orbits and associated sets of integers. Before delving into their properties, we introduce the crucial concept of the integer set of a function. Denoted as E ( S ) , this set represents the integers generated by the orbit of the function S. We emphasize the one-to-one correspondence between functions of the same length and the partition of integers into sets based on this length. These results provide a solid foundation for a detailed understanding of the properties of these functions and their application in the study of iterative functions over rational numbers.

3.1. Summary of Propositions in the Section

1.
Definition 3: Introduces the set θ , ψ q , generated by two real linear functions θ and ψ q .
2.
Definition 4 : Defines the Integer set of a function.
3.
Lemma 4 Monotonicity of Integer Set Lemma.
4.
Proposition 1: Establishes a relation of Monotonicity in the entire sets concerning the composition of functions.
5.
Lemma 5 Establishes a characterization of the integer sets.
6.
Proposition 2 : Establishes a one-to-one correspondence between functions of the same length and integer sets of the same length, and Affirms that the integer sets of functions of the same length are disjoint.
7.
Theorem 3: Ensures that the integer sets are the disjoint union of the integer sets of functions in θ , ψ q with the same length.
8.
Proposition 3: Guarantees the existence of a unique sequence of elements for a function S θ , ψ q .

3.2. Set Generate by θ and ψ q

The Generated Spaces, denoted as θ , ψ q . These spaces arise from the iterative composition of functions, where the individual contributions of θ and ψ q combine to form an enriched dynamic structure.
Definition 3 
(Set Generated by θ and ψ q ).Let q Z and θ , ψ q : R R defined by θ ( x ) = x 2 and ψ q ( x ) = 3 x + q 2 , then we define the set θ , ψ q as:
S : R R ; S ( x ) = i = 1 n s i ( x ) , s i ( x ) = θ ( x ) , ψ q ( x ) for i 1 , s 0 = i d
We will call the number n length of S.
Let define The integer sets of a function, denoted by E ( S ) , represent the integer values that a specific function takes on its domain. Examining E ( S ) allows for the identification of patterns and regularities in the interaction of the function with integers, which is essential for understanding the structure of spaces generated by such functions.
Definition 4 
(Integer Set of a Function). Let S : R R a function, we called integer set of f or the integers of f the set:
E ( S ) = { n Z ; S ( n ) Z } .
and we called the k integer set of f the set
E k ( S ) = { n Z ; S ( n ) , S 2 ( n ) , , S k ( n ) Z } .
In the following Proposition we are going to see that integer sets have a monotonic behavior concerning the composition of linear functions, this property will be fundamental to studying E k ( S ) .
Lemma 4 
(Monotonicity of Integer Set Lemma). Let A , B , a , b Z such that ( A , 2 ) = ( B , 2 ) = 1 and α , β N . Let S ( x ) = A x + a 2 α and H ( x ) = B x + b 2 β , then E ( H S ) E ( S ) .
Proof. 
In fact, we have H S ( x ) = A B x + B a + 2 α b 2 α + β Since ( A B , 2 ) = 1 there are solutions. Let x 0 E ( H S ) then by definition A B x 0 + B a + 2 α b 2 α + β Z , then we have
A B x 0 + B a + 2 α b 2 α + β = B 2 β A x 0 + a 2 α + b 2 β Z B A x 0 + a 2 α + b Z
as ( B , 2 ) = 1 then we have
A x 0 + a 2 α Z
Proposition 
(Monotonicity of Integer Set). Let i = 1 n s i ( x ) θ , ψ q with s i { θ , ψ q } and L , M N . Then if n L M we have:
E i = 1 L s i ( x ) E i = 1 M s i ( x )
Proof. 
As the functions generated by θ , ψ q are linear of the form 3 b x + N 2 a with a , b . N N . The result follows inductively from Lemma 4. □
Example 3. 
Let S n ( x ) = θ 2 n ψ ( x ) θ , ψ . We will calculate the integer set of S n
2 2 n y 3 x = 1
we have that y = 1 and 2 n 1 3 N are solutions of the Diophantine Equation, then the integer set is:
E ( θ 2 n ψ ) = 2 n 1 3 + 2 2 n Z
Let m n then
E ( θ 2 m ψ ) E ( θ 2 n ψ )
indeed
3 2 m 1 3 + 1 2 n = 2 m n N
The following lemma states that u E k ( S ) if and only if u E ( S k ) .
Lemma 5 
(Containment in Integer Sets). Let { s i } 1 j { θ , ψ q } , then u E i = 1 j s i ( x ) if and only if i = 1 r s i ( u ) E i = r + 1 j s i ( x ) with r j . In particular if S { θ , ψ q } , then E k ( S ) = E ( S k ) .
Proof. 
Let u E i = 1 j s i ( x ) then by proposition 1 we have u E i = 1 r s i ( x ) with r < j , then i = 1 r s i ( u ) Z . On the other hand, we have i = r + 1 j s i i = 1 r s i ( u ) Z then i = 1 r s i ( u ) E i = r + 1 j s i ( x ) .
If i = 1 r s i ( x ) E i = r + 1 j s i ( x ) with r < j then i = 1 r s i ( u ) Z so
i = r + 1 j s i i = 1 r s i ( u ) = i = 1 j s i ( u ) Z
then u E i = 1 j s i ( x ) . □
In the following proposition, We will demonstrate that the integer sets associated with functions of the same length are disjoint. That is, if two integer sets share at least one element, then the functions must be the same.
Proposition 
(One-to-One Correspondence and Disjointedness). Let S , H θ , ψ q of length k with q odd number, if H S if and only if E ( H ) E ( S ) = .
Proof. 
Let S ( x ) = i = 1 j s i ( x ) and H ( x ) = i = 1 j h i ( x ) with s i , h i { θ ( x ) , ψ ( x ) } and let k 0 be the largest index such that s i ( x ) = h i ( x ) for all i < k 0
If k 0 = 1 This means that they have different first terms. Then E ( S ) E ( θ ) = 2 Z and E ( H ) E ( ψ q ) = 2 Z + 1 or, E ( H ) E ( θ ) = 2 Z and E ( S ) E ( ψ q ) = 2 Z + 1 in either case we have E ( H ) E ( S ) = .
Suppose that exist u E ( H ) E ( S ) by proposition 1 we have
u E i = 1 r s i ( x ) E i = 1 r h i ( x ) with r j .
Taken r = k 0
u E i = 1 k 0 s i ( x ) E i = 1 k 0 h i ( x ) .
and by lemma 5
i = 1 k 0 1 s i ( u ) = i = 1 k 0 1 h i ( u ) E s k 0 ( x ) E s k 0 ( x ) = 2 Z ( 2 Z + 1 ) =
which is a contradiction, On the other hand if E ( H ) E ( S ) = then S H otherwise we would have
E ( S ) = E ( H ) =
however, neither set can be empty □
As a consequence of the above proposition we have
Theorem 3:
(Partition of Integers). Let { S j } j N θ , ψ q with length k and q odd number, then
Z = S with length k E ( S )
i.e., the sets of integers are equal to the disjoint union of the integer sets of functions S of length k
Proof. 
it is evident that
S with length k E ( S ) Z
To prove the other contention we consider the q Collatz function defined by C o l q : Z Z given by
C o l q u = 3 u + q 2 if u odd u 2 if u even ,
let’s take an integer u and calculate its k-th orbit, this orbit can be written as compositions of functions in θ , ψ q , let’s call the resulting function S since all the values of the orbit are integers, we have by the lemma 5 we can conclude that u is in the entire set of the function S.
u E ( S ) S with length k E ( S ) .
As a consequence of the Theorem, we have that each element generated by the functions θ and ψ q can be generated by a single combination.
Proposition 
(Uniqueness of Basis Representation). Let S θ , ψ q with q odd number. Then there exists a unique sequence of k elements { s j } j = 1 k with s j { θ , ψ q } such that
S ( x ) = j = 1 k s j ( x )
Proof. 
Since S θ , ψ q , then there exists a sequence of k 0 elements { s j } j = 1 k 0 with s j { θ , ψ q } such that S ( x ) = j = 1 k 0 s j ( x ) . Suppose for absurdity, that there is another sequence but of l 0 elements { h j } j = 1 l 0 such that S ( x ) = j = 1 l 0 h j ( x ) . Let u E ( S ) , we have the following cases
1.
If k 0 > l 0 . We have
S ( x ) = j = 1 k 0 s j ( x ) = j = 1 l 0 h j ( x )
u E j = 1 k 0 s j ( x ) = E j = 1 l 0 h j ( x )
by Proposition 1 we have u E ( s 1 ) E ( h 1 ) , since s 1 , h 1 { θ , ψ q } and E ( θ ) E ( ψ q ) = then s 1 = h 1 . Since s 1 and h 1 are invertible functions, we have
j = 2 k 0 s j ( x ) = j = 2 l 0 h j ( x ) .
Following the same idea up to k 0 , we have
j = k 0 l 0 s j ( x ) = x
The latter is impossible since the slope of the resulting line is of the form 3 b 2 a with a , b N . The case k 0 < l 0 is completely analogous, therefore the case where k 0 and l 0 are different is not possible.
2.
If k 0 = l 0 . Since the sequences are different, there must exist some k < k 0 such that
j = 1 k s j ( x ) j = 1 k h j ( x )
then by Proposition 2 we have
E j = 1 k s j ( x ) E j = 1 k h j ( x ) =
However, this is a contradiction to the Proposition 1, because u E j = 1 k s j ( x ) E j = 1 k h j ( x ) for all k k 0 . Then both sequences must be identical.

4. Stability and Instability of Integer Set

In this section, we delve into the stability and instability of sequences associated with integer sets. We begin by defining functions ρ 0 and ρ 1 that map real functions to integers. We introduce the concepts of positive and negative stability for sequences { S j ( x ) } j = 1 . The Monotonicity of ρ 0 and ρ 1 is established through Proposition 1, demonstrating the non-decreasing of ρ 0 and the non-increasing of ρ 1 for a given sequence S j ( x ) . Further, the Proposition formally defines positive and negative stability, incorporating limits and intersections of sets. The ensuing Stability Limit Theorem (4) establishes the asymptotic behavior of the integer set of an iterative sequence.

4.1. Summary of Propositions in the Section

1.
Definition 5 : Definition of functions ρ 0 and ρ 1 .
2.
Proposition 4: Monotonicity of the functions ρ 0 and ρ 1 .
3.
Definition 6: Definition of positively (negatively) stable (unstable) sequences.
4.
Theorem 4: Establishes the asymptotic behavior of the integer set when we have a positively (negatively) stable (unstable) sequence.

4.2. Stability and Instability of Integer Set

We initiate this section by introducing functions that associate each integer set with its minimum positive integer value and maximum negative integer value. These values are determined by the solutions closest to zero for the variable x in the Diophantine equation 2 a y 3 b x = N . This equation is representative of the Diophantine equation linked to an element within the space generated by ψ and θ .
Definition 5 
( ρ 0 and ρ 1 functions.). Define the function ρ 0 , ρ 1 : { f : R R : f function } Z by
ρ 0 ( f ) = min { E ( f ) N }
and
ρ 1 ( f ) = max { E ( f ) N }
As a consequence of the Proposition 1. We have that the functions ρ 0 and ρ 1 are monotone.
Proposition 
(Monotonicity of ρ 0 and ρ 1 ). Let { S j ( x ) } j N θ , ψ q given by S j ( x ) = i = 1 j s i ( x ) then ρ 0 ( S j ( x ) ) is a non-decreasing function, and ρ 1 ( S j ( x ) ) it is a non-increasing function.
Proof. 
By the proposition 1 we have that
ρ 0 ( S j + 1 ) , ρ 1 ( S j + 1 ) E ( S j + 1 ) E ( S j )
then ρ 0 ( S j ) ρ 0 ( S j + 1 ) and ρ 1 ( S j ) ρ 1 ( S j + 1 ) . □
From the result of the proposition above, we are going to make a classification of the sequences S j = i = 1 j s i ( x ) according to the behavior of the functions ρ 0 and ρ 1 .
Definition 6 
(Stability of Sequences). Let { S j ( x ) } j = 1 sequence on θ , ψ q given by S j = i = 1 j s i ( x ) . We will say that { S j ( x ) } j = 1 is positively stable if lim j ρ 0 i = 1 j S k ( j ) < otherwise we will say that it is positively unstable. On the other hand, we will say that { S j ( x ) } j = 1 is negatively stable if lim j ρ 1 i = 1 j S k ( j ) > , otherwise, we will say that it is negatively unstable.
Now we will give the central theorem of this section, which establishes the asymptotic behavior of the integer sets of S j from the stability or stability of this.
Theorem 4:
(Stability Limit Theorem). Let { S j ( x ) } j = 1 θ , ψ q and
E + j = 1 k S j ( x ) = E j = 1 k S j ( x ) N
and
E j = 1 k S j ( x ) = E j = 1 k S j ( x ) N .
We have:
1.
if { S j ( x ) } j = 1 is positively stable then
lim k E + j = 1 k S j ( x ) = k = 1 E + j = 1 k S j ( x ) = lim k ρ 0 j = 1 k S j ( x )
2.
if { S j ( x ) } j = 1 is positively unstable, then
lim k E + j = 1 k S j ( x ) = k = 1 E + j = 1 k S j ( x ) =
analogously
1.
if { S j ( x ) } j = 1 is negatively stable then
lim k E j = 1 k S j ( x ) = k = 1 E j = 1 k S j ( x ) = lim k ρ 1 j = 1 k S j ( x )
2.
if { S j ( x ) } j = 1 is positively unstable, then
lim k E j = 1 k S j ( x ) = k = 1 E j = 1 k S j ( x ) =
Proof. 
: Let ρ 0 k = ρ 0 j = 1 k S j ( x ) and j = 1 k S j ( x ) = 3 B k x + N 2 A k with A k = numbers from θ to j = 1 k S j ( x ) and B k = numbers from ψ q to j = 1 k S j ( x ) . We have
E j = 1 k S j ( x ) = ρ 0 k + 2 A k N .
supposed that { S j ( x ) } j = 1 is stable, we will first prove that lim k E + j = 1 k S j ( x ) is non-empty. By Proposition 1 the sequence of sets E + j = 1 k S j ( x ) is a decreasing sequence of sets i.e. that the next set is a subset of the previous one, then the limit set corresponds to the intersection of all the sets of the sequence.
lim k E + j = 1 k S j ( x ) = k N E + j = 1 k S j ( x )
Now since ρ 0 k is a function of the natural ones in the natural ones and is convergent, it implies that this function reaches its limit in a finite amount of steps
ρ 0 k = c t s for all k > K
this implies
lim k ρ 0 k E + j = 1 k S j ( x ) for all k N
then the limit set is non-empty.
Now we will prove the limit set contains a single element. Suppose there exists another element u 0 that is contained in all positive integer sets, then there exists a non-negative integer t such that
u 0 = ρ 0 k + 2 A k t
without loss of generality, we can assume that ρ 0 k is constant. Solving the equation in terms of t, we have
t = u 0 ρ 0 k 2 A k
This solution is a fraction less than 1 for k large enough., which contradicts the fact that t is an integer.
Now let us take the unstable case. Suppose there exists an element u 0 in the limiting set i.e. an element that is contained in all non-negative integer sets, then there exists t a non-negative integer such that
u 0 = ρ 0 k + 2 A k t ρ 0 k
as ρ 0 k diverges and u 0 constant, then there exists a K such that ρ 0 k is greater than u 0 , then u 0 cannot belong to any integer set with k > K , which is a contradiction. Analogously for the other case. □
Example 4. 
S n ( x ) = θ 2 n ψ ( x ) is positively and negatively unstable. Indeed, by example 3, we have E ( θ 2 n ψ ( x ) ) = 2 n 1 3 + 2 2 n Z where ρ 0 ( θ 2 n ψ ( x ) ) = 2 n 1 3 as n then lim n E + ( θ 2 n ψ ( x ) ) = . On the other hand ρ 1 ( θ 2 n ψ ( x ) ) = 2 n 1 3 2 2 n .
Example 5. 
S n ( x ) = θ ψ x ) ) n is positively unstable and negatively stable. Let’s calculate the integer set E ( θ ψ x ) ) n ) , let’s observe that
θ ψ ( 1 ) = 3 ( 1 ) + 1 2 = 1
Then E θ ψ x ) ) n = 1 + 2 n Z then we have ρ 1 ( θ ψ x ) ) n ) = 1 and ρ 0 ( θ ψ x ) ) n ) = 2 n 1 as n

5. Coding of the Orbits

In this section, we will delve into the study of the coding of the orbits of the Collatz function. The main results of this section are the invariance of the coding between C o d q and C o d on the fractions with denominator q and the one-to-one identification of each element of Q o d d with its coding.

5.1. Summary of Propositions in the Section

1.
Definition 7: Coding maps and Σ 2 * the space of sequences 0 and 10.
2.
Proposition 5: General form of the elements generated by ψ and θ .
3.
Proposition 6: Fist Cod invariance: C o d ( S ) = C o d q ( S q ) .
4.
Definition 10: Definition of C o l q : Z Z .
5.
Definition 8: Extension of Collatz function on Q = Q o d d Q e v e n .
6.
Proposition 7: Extension of Collatz function on Q is well-defined.
7.
Proposition 8: C o l ( Q o d d ) Q o d d .
8.
Definition 9: Extension of the Collatz function on Q o d d .
9.
Proposition 9: C o l C o l q equivalence : if p q Q o d d then C o l k p q = 1 q C o l q k ( p ) .
10.
Proposition 10: Second Cod invariance: C o d k p q = C o d q k ( p ) .
11.
Proposition 11: p E ( S ) if and only if C o d q k ( p ) = C o d q ( S ) .
12.
Proposition 12 p E ( S ) if and only if C o d k p q = C o d q ( S ) .
13.
Proposition 13: C o d k p q = C o d k p q + 2 A k T q .
14.
Definition 11: The Coding set C o d k ( ξ ) .
15.
Proposition 15: Monotonicity of the Coding set C o d k + 1 ( ξ ) C o d k ( ξ ) .
16.
Proposition 16: Generating property: if p q , t r C o d k ( ξ ) then p q = t r + 2 A k T q r .
17.
Theorem 5: Uniqueness of the full coding Q o d d .

5.2. Coding of the Orbits

It is a common practice in dynamical systems to encode orbits based on specific criteria. In our case, we encode the orbits of the Collatz function according to the parity of their elements, assigning the value 1 when they are odd and 0 when they are even. Since our primary focus is on the Collatz function over Q odd , we modify this initial coding by assigning 10 when an element is odd, instead of just 1. We denote the space where these codings reside by Σ 2 * , as it is a subset of the sequence space consisting of 0s and 1s, usually denoted in dynamics by Σ 2 . Formally, we express this as
Definition 7 
(Coding of the Orbits). Let S θ , ψ q with length k. We define the following application C o d q : θ , ψ q { 0 , 10 } k defined by
C o d q j = 1 k s j ( x ) = { ξ j } j = 1 k with s j { θ , ψ q }
with
ξ j = 0 if s j ( x ) is θ ( x ) 10 if s j ( x ) is ψ q ( x )
To rigorously examine the properties of the coding, it is essential to establish a precise form for the elements generated by ψ and θ .
Proposition 
(General form of S). Let S θ , ψ q and Let { θ j } j = 1 k + 1 N 0 × N × × N and C o d q ( S ) = 0 θ 1 10 θ 2 0 θ k 10 θ k + 1 and let a j = i = 1 j θ i and N : Σ 2 * N defined as
N C o d q ( S ) = 3 k 1 2 a 1 + 3 k 2 2 a 2 + + 2 a k if k > 0 0 if k = 0
then
S ( x ) = 3 k x + q N ( C o d q ( S ) ) 2 a k + 1
Proof. 
We will prove by induction on k. For a k + 1 = 1 we have
1.
C o d q ( ψ q ( x ) ) = 10 , then, k = 1 , a 1 = 0 , a 2 = 1 and N = 3 0 2 0 = 1 then S ( x ) = 3 x + q 2 = ψ q ( x ) .
2.
C o d q ( θ ( x ) ) = 0 , then, k = 0 , a 1 = 1 and N = 0 then S ( x ) = 3 0 x + 0 q 2 = x 2 = θ ( x ) .
Suppose the statement is true up to k, let S H θ , ψ q of length a k + 1 with H of length a k .
Claim 1: C o d q ( ψ q H ) = C o d q ( H ) 10 . We have:
1.
a k + 2 ( C o d q ( H ) 10 ) = a k + 1 + 1 and a j ( C o d q ( H ) 10 ) = a j ( C o d q ( H ) ) for j k + 1 .
2.
N ( C o d q ( H ) 10 ) = 3 k + 1 2 a 1 + 3 k 2 a 2 + + 3 1 2 a k + 2 a k + 1
On the other hand, we have:
ψ q 3 k x + q N ( C o d q ( H ) ) 2 a k + 1 = 3 k + 1 x + q 3 N ( C o d q ( H ) ) + q 2 a k + 1 2 a k + 1 + 1 = 3 k + 1 x + q 3 ( 3 k 1 2 a 1 + 3 k 2 2 a 2 + + 2 a k ) + q 2 a k + 1 2 a k + 1 + 1 = 3 k + 1 x + q ( 3 k 2 a 1 + 3 k 1 2 a 2 + + 3 1 2 a k + 2 a k + 1 ) 2 a k + 1 + 1 = 3 k + 1 x + q N ( C o d q ( H ) 10 ) 2 a k + 2
where we observe that the values coincide with those calculated.
Claim 2: C o d q ( θ H ) = C o d q ( H ) 0 . We have
1.
a k + 2 ( C o d q ( H ) 0 ) = a k ( C o d q ( H ) ) + 1 .
2.
N ( C o d q ( H ) 0 ) = 3 k 1 2 a 1 + 3 k 2 2 a 2 + + 2 a k = N ( C o d q ( H ) ) .
On the other hand, we have
θ 3 k x + q N ( C o d q ( H ) ) 2 a k + 1 = 3 k x + q N ( C o d q ( H ) 0 ) 2 a k + 2
where we observe that the values coincide with those calculated, then the statement is true. □
Now we will see the first property of the coding
Proposition 
(First Cod invariance). Let S θ , ψ given by S ( x ) = 3 b x + N 2 a and q odd number, we defined S q θ , ψ q given by S q ( x ) = 3 b x + q N 2 a . Then C o d ( S ) = C o d q ( S q ) .
Proof. 
Let q Z , since q is odd number then does not change the parity of the argument. To prove that they have the same coding, we have to prove that they have the same decomposition in principle, except that where there is ψ we have a ψ q . let us observe that q has commutative properties with θ and ψ .
1.
q θ ( x ) = q x 2 = θ ( q x ) .
2.
q ψ ( x ) = q 3 x + 1 2 = 3 ( q x ) + q 2 = ψ q ( q x )
As S θ , ψ then there exists s j { θ , ψ } such that
S ( x ) = j = 1 a s j ( x ) .
For convenience we will denote s j q { θ , ψ q } . Then we have
S q ( x ) = 3 b x + q N 2 a = q 3 b x q + N 2 a = q j = 1 a s j x q = j = 1 a s j q q x q = j = 1 a s j q x
We have that if s j is θ then s j q is still θ and if s j is ψ then s j q corresponds to ψ q . By Proposition 3 we have that the coding of S q has to be the same as that of S. □
Let us contemplate a generalization of the Collatz function applied to integers. In this variant, rather than adding 1, the function adds q Z , where q is an odd integer. Subsequently, we will establish the compatibility of this generalization with the extension of the Collatz function to Q o d d .

5.3. Extension of the Collatz function on Q

As the concept of parity is a concept defined for integers, the Collatz function can be naturally extended to the set of integers. This concept is not trivially extended to the set of rational numbers, as there is no unique representation, We are going to consider a modification of extension on the rationals proposed by Lagaria in [10], Lagaria defined the Collatz function for fractions p q such that ( q , 2 ) = ( q , 3 ) = 1 . We will distinguish two subsets of Q . The set of rationals with odd denominators, denoted by Q o d d , and the set of rationals with even denominators such that the numerator and denominator are co-prime, denoted by Q e v e n . We will say that a rational number in Q odd is odd if the numerator is odd, and it is even if its numerator is even. In the case of Q even , since the denominator is already even and due to coprimality, all elements are odd. We are going to consider the following extension of the Collatz function.
Definition 8 
(Extension of the Collatz function). Let’s consider the following sets
Q o d d = p q Q , such that q is odd
and
Q e v e n = p q Q , such that q is even and ( p , q ) = 1 .
We defined the Collatz’s function by C o l : Q o d d Q e v e n Q o d d Q e v e n by
C o l p q = 3 p + q q if p odd p 2 q if p even ,
We are going to show that the extension of the Collatz function that we defined is well-defined on Q o d d .
Proposition 
(Well-Defined). The Collatz’s function on Q o d d is well-defined.
Proof. 
We are going to show that C o l is well-defined over Q o d d . Let p , q Z with q 0 and ( q , 2 ) = ( p , q ) = 1 . Let λ an odd number, then
C o l λ p λ q = 3 λ p + λ q λ q if λ p odd λ p 2 λ q if λ p even , = 3 p + q q if p odd p 2 q if p even , = C o l p q
Let’s observe that when we apply the Collatz function to p q Q odd with odd number, we always obtain a fraction with an even numerator, and when applied to Q even , we always obtain an odd number. This will be very important since in Section 5, we are going to define how to coding the orbits, assigning 1 if it is odd and 0 if it is even, in the case of Q even , we will have that all its elements have the same encoding which is 1111 unlike Q odd , where the codings will be generated by 10 and 0. For this reason we are going to work mainly on Q odd , let’s simplify the Collatz function a bit, as C o l : Q odd Q odd Q even given by
C o l p q = 3 p + q 2 q if p odd p 2 q if p even ,
Proposition 
(Invariance of Q o d d ). The Collatz function defined above satisfies that C o l ( Q odd ) Q odd
Proof. 
We will show that C o l does not change the parity of the numerator.
1.
if p is odd, we have 3 p + q = 2 r with r Z , then
3 p + q 2 q = 2 r 2 q = r q
Since q is odd, we have independent of the simplification r q Q o d d .
2.
if p = 2 r with r Z , we have
p 2 q = 2 r 2 q = r q
Since q is odd, we have independent of the simplification, we have r q Q o d d .
Considering the proposition above, we are going to define the Collatz function on Q o d d as
Definition 9 
(Extension of the Collatz function on Q o d d ). We define the Collatz Function on Q odd by C o l : Q odd Q odd
C o l p q = 3 p + q 2 q if p odd p 2 q if p even ,
Example 6. 
Let 5 7 Q o d d and 5 2 Q e v e n we have:
O 5 7 : 5 7 11 7 20 7 10 7 5 7
and
O 5 2 : 5 2 17 2 53 2 161 2 485 2 3 k 5 + ( 3 k 1 ) 2
We can observe that the extension of the conjecture on the set of rationals is false, since we have found a fraction with a divergent orbit, The first objective of the work is to show that there are no divergent orbits in Q o d d ..
We define the following generalization of the Collatz function.
Definition 10 
(The C o l q map).Let q Z , we define the q Collatz function defined by C o l q : Z Z given by
C o l q n = 3 n + q 2 if u odd n 2 if u even ,
Now, we will demonstrate the compatibility of this generalization
Proposition 
( C o l C o l q equivalence). Let p q Q o d d . Then for all integer numbers k 0 we have
C o l k p q = 1 q C o l q k ( p )
Proof. 
We let’s observe that
C o l p q = p q + 1 2 if p = 1 ( mod 2 ) p 2 q if p = 0 ( mod 2 ) = 1 q 3 p + q 2 if p = 1 ( mod 2 ) p 2 if p = 0 ( mod 2 ) = 1 q C o l q ( p )
Suppose first that ( q , 3 ) = 1 . This fraction is irreducible. Indeed, we have that ( 3 p + q , q ) = ( 3 p , q ) = 1 . Then the parity of the fraction depends only on the numerator since there is no possibility of simplification that changes the parity of the numerator, and we can continue with the iteration for all k since the irreducibility of the iterations only depends on the initial fraction is irreducible. Then we have
C o l k p q = 1 q C o l q k ( p )
Now to suppose that ( q , 3 ) 1 , for this case, the resulting fraction is not irreducible. However, as we are going to prove below, this does not change the parity of the orbits, so the formula would continue to be valid for this case. Suppose that, q = 3 l v with ( v , 2 ) = ( v , p ) = 1 and let C o l q k ( p ) = 3 b p + 3 l v N 2 a . We will divide this proof into two parts.
Case one b l : We are going to prove the statement by induction. To k = 1
1 3 l v C o l 3 l v ( p ) = 1 3 l v 3 p + 3 l v 2 = 3 p 3 l v + 1 2 = C o l p 3 l v
Now suppose that the statement is true for k, observe before continuing that the expressions 3 b p + 3 l v N 2 a and p + 3 l b v N 2 a have the same parity. Indeed,
3 b p + 3 l v N 2 a = 3 b p + 3 l b v N 2 a
if the expression on the left-hand side is even, if and only if p + 3 l b v N 2 a it is even. On the other hand, if the left side is odd, p + 3 l b v N 2 a must be odd and if p + 3 l b v N 2 a is odd, since the product of odd is odd, the left side is odd, so the expressions have the same parity.
1.
if 3 b p + 3 l v N 2 a it is odd. Expanding the left-hand side of the proposition,
1 3 l v C o l k + 1 ( p ) = 1 3 l v ψ 3 b p + 3 l v N 2 a = 1 3 l v 3 b + 1 p + 3 l + 1 v N + 2 a 3 l v 2 a + 1 = 1 3 l ( b + 1 ) v p + 3 l + 1 ( b + 1 ) v N + 2 a 3 l ( b + 1 ) v 2 a + 1 = 1 3 l ( b + 1 ) v p + 3 l b v N + 2 a 3 l ( b + 1 ) v 2 a + 1
developing the right-hand side of the proposition,
C o l k + 1 p 3 l v = C o l C o l k p 3 l v = C o l 1 3 l v 3 b p + 3 l v N 2 a = C o l 1 3 l b v p + 3 l b v N 2 a = 1 2 3 3 l b v p + 3 l b v N 2 a + 1 = 1 2 1 3 l ( b + 1 ) v p + 3 l b v N + 2 a 3 l ( b + 1 ) v 2 a = 1 3 l ( b + 1 ) v p + 3 l b v N + 2 a 3 l ( b + 1 ) v 2 a + 1
We conclude in this case that both parts are equal
2.
if 3 b p + 3 l v N 2 a it is even. Expanding the left-hand side of the proposition,
1 3 l v C o l k + 1 ( p ) = 1 3 l v θ 3 b p + 3 l v N 2 a = 1 3 l v 3 b p + 3 l v N 2 a + 1 = 1 3 l p v p + 3 l b v N 2 a + 1
developing the right-hand side of the proposition,
C o l k + 1 p 3 l v = C o l C o l k p 3 l v = C o l 1 3 l v 3 b p + 3 l v N 2 a = C o l 1 3 l b v p + 3 l b v N 2 a = 1 3 l b v p + 3 l b v N 2 a + 1
We conclude in this case that both parts are equal. Since in both cases it gave equality, we conclude that the proposition is true.
Case two b l : We are going to prove the statement by induction. To k = 1
1 3 v C o l 3 v ( p ) = 1 3 v 3 p + 3 v 2 = 3 p 3 + 1 2 = C o l p 3 v
Now suppose that the statement is true for k, observe before continuing that the expressions 3 b p + 3 l v N 2 a and 3 b l p + v N 2 a have the same parity. Indeed,
3 b p + 3 l v N 2 a = 3 l 3 b l p + v N 2 a
if the expression on the left-hand side is even, if and only if 3 b l p + v N 2 a it is even. On the other hand, if the left side is odd, 3 b l p + v N 2 a must be odd and if 3 b l p + v N 2 a is odd since the product of odd is odd, the left side is odd, so the expressions have the same parity.
1.
if 3 b p + 3 l v N 2 a it is odd. Expanding the left-hand side of the proposition,
1 3 l v C o l k + 1 ( p ) = 1 3 l v ψ 3 b p + 3 l v N 2 a = 1 3 l v 3 b + 1 p + 3 l + 1 v N + 2 a 3 l v 2 a + 1 = 3 b + 1 l p + 3 v N + 2 a v 2 a + 1 v
developing the right-hand side of the proposition,
C o l k + 1 p 3 l v = C o l C o l k p 3 l v = C o l 1 3 l v 3 b p + 3 l v N 2 a = C o l 3 b l p + v N 2 a v = 1 2 3 3 b l p + v N 2 a v + 1 = 3 b + 1 l p + 3 v N + 2 a v 2 a + 1 v
We conclude in this case that both parts are equal.
2.
if 3 b p + 3 l v N 2 a it is even. Expanding the left-hand side of the proposition,
1 3 l v C o l k + 1 ( p ) = 1 3 l v θ 3 b p + 3 l v N 2 a = 1 3 l v 3 b p + 3 l v N 2 a + 1 = 3 b l p + v N 2 a + 1 v
developing the right-hand side of the proposition,
C o l k + 1 p 3 l v = C o l C o l k p 3 l v = C o l 1 3 l v 3 b p + 3 l v N 2 a = C o l 3 b l p + v N 2 a v = 3 b l p + v N 2 a + 1 v
We conclude in this case that both parts are equal. Since in both cases it gave equality, we conclude that the proposition is true.
Other proof by induction:
Proof. 
We proceed by induction on k.
Base Case ( k = 0 ): By definition:
Col 0 p q = p q = 1 q · p = 1 q Col q 0 ( p ) .
Inductive Step ( k k + 1 ): Assume that for some k 0 :
Col k p q = 1 q Col q k ( p ) .
Let x k = Col q k ( p ) . We consider two cases based on the parity of x k :
Case 1: x k is odd, Using the inductive hypothesis:
Col k + 1 p q = Col Col k p q = Col x k q .
Since x k is odd and q is odd, x k q is odd in Q odd . Thus:
Col x k q = 3 x k q + 1 2 = 3 x k + q 2 q = 1 q 3 x k + q 2 = 1 q Col q k + 1 ( p ) .
Case 2: x k is even, since x k is even, x k q is even in Q odd . Thus:
Col x k q = x k q 2 = x k 2 q = 1 q x k 2 = 1 q Col q k + 1 ( p ) .
In both cases, we have Col k + 1 p q = 1 q Col q k + 1 ( p ) . By induction, the proposition holds for all k 0 . □
We will define a coding function for the Collatz q-functions and demonstrate that they produce the same coding as the fractions with denominator q.
We are going to consider the set of sequences 0 and 10 that we will denote by Σ 2 * and we formally define it as
Σ 2 * = { ξ j } j = 1 , ξ j { 0 , 10 }
this set can be seen as a subset of the set of sequences 0 and 1 where after the entry 1 enters 0. Let’s consider the following application: C o d k : Q o d d Σ 2 * defined by
C o d k p q = { ξ j } j = 1 k 0
with
ξ j = 10 if C o l j 1 p q is odd 0 if C o l j 1 p q is even
and
Proposition 
(Second Cod invariance). Let p q Q an irreducible fraction with ( q , 2 ) = 1 and C o d k : Z Σ 2 * defined by
C o d q k p = { ξ j } j = 1 k 0 , with ξ i { 10 , 0 }
with
ξ j = 10 if C o l q j 1 p = 1 ( mod 2 ) 0 if C o l q j 1 p = 0 ( mod 2 )
then we have
C o d k p q = C o d q k p
Proof. 
By proposition 9 we have
C o l k p q = 1 q C o l q k ( p )
Since q it is odd, then, we have coding of C o l k p q and C o l q k ( p ) must be the same. □
We will now establish the initial connection between sets of integers and coding. Specifically, we will demonstrate that all elements within the integer set S share the same coding.
Proposition 
(First characterization of E ( S ) ). Let p Z and S ( x ) θ , ψ q of length k with ( q , 2 ) = 1 , then
p E ( S ) if and only if C o d q k ( p ) = C o d q ( S )
Proof. 
Let p E ( S ) and S ( x ) = i = 1 k s i ( x ) θ , ψ q then by definition S ( p ) Z by Proposition 1 we have i = 1 l s i ( p ) Z with l k , then C o d ( S ) = C o d q k ( p ) .
Suppose that C o d q k ( p ) = C o d q ( S ) then { p , s 1 ( p ) , s 2 s 1 ( p ) , , i = 1 k 1 s i ( p ) , i = 1 k s i ( p ) = S ( p ) } Z k + 1 , then p E ( S ) . □
We show below the second connection between the integer sets and the encoding. Specifically, we demonstrate that all values p within the integer set S q indeed have the same coding as the corresponding fraction p q .
Proposition 
(second characterization of E ( S ) ). Let p Z and S q ( x ) θ , ψ q of length k with ( q , 2 ) = 1 , then we have:
p E ( S q ) if and only if C o d k p q = C o d q ( S q )
Proof. 
Let S q ( x ) θ , ψ q of length k such that C o d k ( p ) = C o d q ( S Q ) , for the proposition 9, we have
q C o l k p q = C o l q k ( p ) = S q ( p )
then C o d k p q = C o d q ( S q ) finally by the proposition 11, we have p E ( S q ) if and only if C o d k p q = C o d q ( S q ) . □
The following proposition demonstrates that for a given rational number, we can generate a family of rationals that share the same encoding. This suggests that there exist many rationals with the same k-th encoding
Example 7. 
Let’s consider the coding ξ = 10010100 , we want to find rational numbers p q such that C o d 5 p q = ξ , we have that the function S ( x ) θ , ψ with coding ξ is S ( x ) = 27 x + 29 32
1.
p = 1 , we have to calculate some solution of the entire set of S ( x ) = 27 x + 29 32 . We have x 0 = 25 , then O 5 25 = 25 , 38 , 19 , 29 , 44 , 22 then C o d 5 25 = ξ .
2.
p = 7 , we have to calculate some solution of the entire set of S 7 ( x ) = 27 x + 29 · 7 32 . We have x 0 = 15 , then O 5 15 7 = 15 7 , 26 7 , 13 7 , 23 7 , 38 7 , 19 7 then C o d 5 15 7 = ξ .
3.
p = 27 , we have to calculate some solution of the entire set of S 27 ( x ) = 27 x + 29 · 27 32 . We have that x 0 = 3 , then O 5 3 27 = 3 27 , 2 3 , 1 3 , 1 , 2 , 1 then we have that C o d 5 3 27 = ξ .
Proposition 
(Invariance property of Coding of rational). Let p q Q an irreducible fraction with ( q , 2 ) = 1 , A k = numbers from 0 to C o d k p q and T Z then
C o d k p q = C o d k p q + 2 A k T q
Proof. 
Let S ( x ) θ , ψ q such that C o d ( S ) = C o d q k ( p ) then S ( p ) = C o l q k ( p ) Z this implies
E ( S ) = p + 2 A k T C o d q k ( p + 2 A k T ) = C o d q k ( p )
then
C o l k p + 2 A k T q = C o l k p q + 2 A k T q = C o d k p q
As we have seen so far, we can characterize the entire set S from its encoding. Exploiting this property, we generalize the entire set S to encompass all fractions sharing the same encoding. We will call the k Coding set.
Definition 11 
(The k Coding set). Let { ξ j } j = 1 Σ 2 * , we define the k-th coding set of { ξ j } j = 1
C o d k { ξ j } j = 1 = p q Q o d d , C o d k p q = { ξ j } j = 1 k 0
The encoding set also exhibits the property of Monotonicity, similar to the integer set of S.
Proposition 14 
(Monotonicity of the Coding set). Let { ξ j } j = 1 Σ 2 * then
C o d k + 1 { ξ j } j = 1 C o d k { ξ j } j = 1 .
Proof. 
Let p q C o d k + 1 { ξ j } j = 1 by definition C o d k + 1 p q = { ξ j } j = 1 k + 1 0 then trivially we have C o d k p q = { ξ j } j = 1 k 0 , then p q C o d k { ξ j } j = 1 . □
Definition 12 
(The Coding set). Let { ξ j } j = 1 Σ 2 * , we define the Coding Set of { ξ j } j = 1
C o d { ξ j } j = 1 : = k N C o d k { ξ j } j = 1 .
Similarly, the behavior of the solutions of Diophantine equations, in which knowing a particular solution allows us to determine other solutions, is reflected in the coding set. This connection is illustrated in the following proposition.
Proposition 
(Generating property). Let { ξ j } j = 1 Σ 2 * , A k = numbers from 0 to { ξ j } j = 1 k and p q , t r C o d k { ξ j } j = 1 then exist T Z such that
p q = t r + 2 A k T q r
Proof. 
Let p q , t r C o d k { ξ j } j = 1 and S k ( x ) = 3 b x + N 2 A k θ , ψ such that C o d ( S k ) = { ξ j } j = 1 k , now consider S k q θ , ψ q and S k r θ , ψ r such that C o d q k ( S k q ) = C o d r k ( S k r ) = { ξ j } j = 1 k by proposition 12 we have S k q ( p ) , S k r ( t ) Z the latter is equivalent
3 b p + q N 2 A k , 3 b t + r N 2 A k Z
We are going to prove that p r and q t are elements of E ( S k q r ) with s r ( x ) = 3 b x + q r N 2 A k . Indeed,
3 b p r + q r N 2 A k = r 3 b p + q N 2 A k Z
and
3 b q t + q r N 2 A k = q 3 b t + r N 2 A k Z
then
p r = q t + 2 A k T with T Z p q = t r + 2 A k T q r with T Z
Now, we will present the main theorem of this section, establishing that the encoding of a rational number is unique.
Theorem 5:
(Uniqueness of the full coding on Q o d d ). Let { ξ j } j = 1 Σ 2 * . If it exists p q Q o d d such that C o d p q : = lim k C o d k p q = { ξ j } j = 1 then it is unique.
Proof. 
Let A k = numbers from 0 to { ξ j } j = 1 k . Suppose there is another element, t r Q o d d such than C o d t r = lim k C o d k p q = { ξ j } j = 1 by proposition 15 exist { T k } k N Z such that
t r = p q + 2 A k T r q with T Z and k N
Since p q t r then T k Z for all k N . So
r q t r p q = 2 A k T k then T k = r q t r p q A k 0 as k
which is a contradiction. □
Part II: Analytic Theory of Infinite Systems of Diophantine Equations

6. The G 0 , G and G 1 Sets

Let ξ Σ 2 * . Let b k the quantity of 1 of { ξ j } j = 1 k . Define the function 3 b k ( ξ ) 2 a k + 1 ( ξ ) . This function corresponds to the slope of the function S k such that C o d k ( S k ) = { ξ j } j = 1 k . Let us consider three subsets that will be relevant to study the non-existence of divergent orbits. G 1 , G and G 1 which correspond to the subset of the sequences such that 3 b k ( ξ ) 2 a k + 1 ( ξ ) converges to 0, and some real respectively.

6.1. Summary of Propositions in the Section

1.
Definition 13: Sets G 0 , G and G 1 .
2.
Lemma 6: Characterization of G 0 and G through accumulation points of 3 k 2 a k + .
3.
Proposition 16: Let ξ G 1 then exists M , m > 0 such that m < 3 k 2 a k + 1 < M .
4.
Lemma 7: Let 0 < ε < L 7 , then ε satisfies the following inequalities L + ε < 3 2 ( L ε ) and 3 2 θ k + 2 ( L + ε ) < L ε if θ k + 2 2 .
5.
Proposition 5: Let ξ G 1 , then 3 k 2 a k + 1 is not convergent.

6.2. The G 0 , G , and G 1 Sets

In this section, we classify the sequences in Σ 2 * based on the asymptotic behavior of their cumulative exponents. This classification allows us to partition the space into three distinct sets: G 0 , G , and G 1 . These sets will play a crucial role in determining the convergence properties of the associated dynamical systems.
Definition 13 
(The G 0 , G , and G 1 sets). Let ξ Σ 2 * be defined as ξ = 0 θ 1 j = 2 10 θ j with θ 1 0 and θ k > 0 for k > 1 . Alternatively, if ξ has a null tail, let ξ = 0 θ 1 j = 2 K 10 θ j j = K + 1 0 θ j with θ j = 1 for j > K . Let a n = j = 1 n θ j . We define the following subsets of Σ 2 * :
G 0 = ξ Σ 2 * : lim inf k a k + 1 k > ln ( 3 ) ln ( 2 ) or ξ has a Null Tail ,
G = ξ Σ 2 * : lim sup k a k + 1 k < ln ( 3 ) ln ( 2 ) or ξ has a Null Tail ,
and
G 1 = ξ Σ 2 * : There exists a subsequence { k j } j N such that lim j a k j + 1 k j = ln ( 3 ) ln ( 2 ) .
To illustrate these definitions, we present specific examples representing each category based on the growth rate of their exponents.
Example 8. 
1.
Let ξ 1 Σ 2 * such that a k = 3 k + ( 1 ) k . Since the limit of the ratio is 3, and 3 > ln 3 ln 2 1.58 , we have ξ 1 G 0 .
2.
Let ξ 2 Σ 2 * such that a k = k + ln ( k ) . Since the linear coefficient is 1, and 1 < 1.58 , we have ξ 2 G .
3.
Let ξ Σ 2 * such that a k = k ln ( 3 ) ln ( 2 ) . The ratio converges exactly to the critical threshold, so ξ G 1 .
The following result provides an equivalent characterization of the elements in G 0 and G in terms of the limit behavior of the sequence 3 k 2 a k + 1 . It is important to note that this characterization applies specifically to sequences without a null tail, as the null tail cases are included in the sets by definition due to their functional convergence properties.
Lemma 6. 
Let ξ Σ 2 * such that ξ does not have a null tail. Then:
1.
ξ G 0 if and only if lim k 3 k 2 a k + 1 = 0 .
2.
ξ G if and only if lim k 3 k 2 a k + 1 = .
Proof. 
1.
( ) Assume ξ G 0 and ξ is not a null tail. Then, by definition, lim inf k a k + 1 k > ln ( 3 ) ln ( 2 ) . There exist K , ε > 0 such that a k + 1 k > ln ( 3 ) ln ( 2 ) + ε for all k > K . Thus:
3 k 2 a k + 1 = 3 2 a k + 1 k k < 3 2 ln ( 3 ) ln ( 2 ) + ε k = 3 3 · 2 ε k = 2 k ε 0 as k .
( ) Conversely, suppose 3 k 2 a k + 1 0 . If we assume ξ G 0 , then lim inf k a k + 1 k < ln ( 3 ) ln ( 2 ) (since ξ is not a null tail). Let a k l + 1 k l be a subsequence converging to the liminf. There exist K , ε > 0 such that a k l + 1 k l < ln ( 3 ) ln ( 2 ) ε for l > K . Then:
3 k l 2 a k l + 1 > 3 2 ln ( 3 ) ln ( 2 ) ε k l = 2 k l ε as l ,
which contradicts the hypothesis that the limit is 0.
2.
The proof for G follows an analogous argument by reversing the inequalities.
Having characterized the asymptotic behavior of G 0 and G as tending to zero or infinity, we now turn our attention to the boundary set G 1 . Unlike the previous sets, sequences in G 1 maintain a delicate balance. The following proposition establishes that elements in this set exhibit a bounded behavior, staying strictly away from both zero and infinity along the subsequences that define their critical density.
Proposition 16 .
Let ξ G 1 and consider a subsequence { a k l } such that lim l a k l + 1 k l = ln 3 ln 2 . Then there exist M , m > 0 such that m < 3 k l 2 a k l + 1 < M on R .
Proof. 
Let ξ G 1 such that lim l a k l + 1 k l = ln ( 3 ) ln ( 2 ) . We aim to prove that there exist M , m > 0 satisfying m < 3 k l 2 a k l + 1 < M . Suppose, for the sake of contradiction, that such bounds do not exist. If there exists a subsequence such that 3 k l 2 a k l + 1 0 as l , then by the logic of Lemma 6, this would imply lim l a k l + 1 k l > ln ( 3 ) ln ( 2 ) , which contradicts the hypothesis. Conversely, if the sequence diverges to , it implies lim l a k l + 1 k l < ln ( 3 ) ln ( 2 ) , which again contradicts the definition of the subsequence in G 1 . Therefore, the sequence must be bounded. □
To rigorously demonstrate that this sequence oscillates rather than converging to a single value, we require a technical estimate regarding the algebraic steps of the iteration. The following lemma provides the necessary inequalities to show that the sequence cannot remain trapped within an arbitrarily small neighborhood of a limit point, due to the discrete nature of the multiplicative jumps.
Lemma 7. 
Let L > 0 and 0 < ε < L 7 . Then ε satisfies the following inequalities:
1.
L + ε < 3 2 ( L ε ) ,
2.
3 2 θ k + 2 ( L + ε ) < L ε provided that θ k + 2 2 .
Proof. 
We verify that any ε satisfying 0 < ε < L 7 holds for both inequalities.
1.
For the first inequality: L + ε < 3 2 ( L ε ) . Expanding and simplifying, we obtain ε < L 5 . Since ε < L 7 and L 7 < L 5 , this inequality is strictly satisfied.
2.
For the second inequality, we first establish the bound:
1 7 2 θ k + 2 3 3 + 2 θ k + 2
for θ k + 2 2 . Indeed, this is equivalent to 3 + 2 θ k + 2 7 ( 2 θ k + 2 3 ) , which simplifies to 24 6 · 2 θ k + 2 , or 4 2 θ k + 2 , which holds for all θ k + 2 2 .
Now, rearranging the target inequality 3 2 θ k + 2 ( L + ε ) < L ε , we require:
ε < L · 2 θ k + 2 3 3 + 2 θ k + 2 .
Since we chose ε < L 7 and we proved that 1 7 is the minimum value of the right-hand side (attained at θ k + 2 = 2 ), the condition holds for all θ k + 2 2 .
With the boundedness established and the jump inequalities in place, we can now state the main result regarding the dynamics of G 1 . Unlike G 0 and G , which exhibit definite asymptotic trends, the following proposition proves that the associated sequence for G 1 oscillates perpetually, failing to converge to any real number.
Proposition .
Let ξ G 1 . Then the sequence 3 k 2 a k + 1 k N does not converge in R .
Proof. 
Suppose, for the sake of contradiction, that the limit exists. Let ξ = 0 θ 1 i = 2 10 θ i (implying no null tail, as ξ G 1 ) such that lim k a k + 1 k = ln ( 3 ) ln ( 2 ) . Assume there exists L > 0 such that lim k 3 k 2 a k + 1 = L . Let 0 < ε < L 7 . By the definition of the limit, there exists K > 0 such that for all k > K , L ε < 3 k 2 a k + 1 < L + ε .
Consider the recursive relation:
3 k + 1 2 a k + 2 = 3 2 θ k + 2 · 3 k 2 a k + 1 .
Applying the bounds, we get:
3 2 θ k + 2 ( L ε ) < 3 k + 1 2 a k + 2 < 3 2 θ k + 1 ( L + ε ) .
Using Lemma 7, we analyze the next step based on the value of θ k + 2 :
1.
If θ k + 2 = 1 , Lemma 7 implies L + ε < 3 2 ( L ε ) . Thus, the term jumps above the upper bound L + ε .
2.
If θ k + 2 2 , Lemma 7 implies 3 2 θ k + 2 ( L + ε ) < L ε . Thus, the term drops below the lower bound L ε .
In either case, 3 k + 1 2 a k + 2 ( L ε , L + ε ) , which contradicts the assumption of convergence. Therefore, the sequence is not convergent. □

7. Extension of the Collatz Function to Z 2

In this section, we will study the extension of the Collatz function to the ring of 2-adic integers Z 2 , as proposed by Lagarias in [10]. Analogously to the real case, we will define the dyadic integer sets and the coding set. We will prove that given a coding sequence, there exists a unique dyadic integer with this coding. Furthermore, we will show that this extension is topologically conjugate to the shift function on Σ 2 * and we will use this result to prove that codings in G 1 correspond to unstable orbits.

7.1. Summary of Propositions in the Section

1.
Lemma 8: Equivalence between the parity of rational numbers and their dyadic representation.
2.
Definition 14: Extension of the Collatz function to the set of dyadic numbers, and definitions of the dyadic integer set and coding set.
3.
Proposition 18: Characterization of the dyadic integer set.
4.
Proposition 19: Establishes that the Coding set and the Dyadic Integer Set are equivalent.
5.
Proposition 20: Establishes that for any given coding, there exists a unique dyadic number with that coding.
6.
Theorem 6: The Collatz function on the set of dyadic numbers is topologically conjugate to the Shift map.
7.
Corollary 1: The periodic points of the Collatz function in Z 2 are dense.
8.
Proposition 21: The periodic sequences of G 0 correspond to positive periodic points of the Collatz function, and the periodic sequences of G correspond to negative periodic points.

7.2. Extension of the Collatz Function to Z 2

We begin by extending the Collatz function to the set Z 2 . In order for the extension to be compatible with the results obtained in the previous sections, we will first show that the parity of the elements of Q o d d is preserved in Z 2 .
Lemma 8. 
Let β = i = 0 δ i 2 i Z 2 be the dyadic representation of p q Q o d d . Then p is even if and only if δ 0 = 0 , and p is odd if and only if δ 0 = 1 .
Proof. 
Let p be an even number. We have:
p q = 2 k q = δ 0 + 2 M for any M Z 2 .
Thus, 2 k = q δ 0 + 2 M q , which implies q δ 0 = 2 ( k M q ) . Since q is an odd number (invertible in Z 2 ), δ 0 must be even, so δ 0 = 0 .
Conversely, let p be an odd number. We have:
p q = 2 k + 1 q = δ 0 + 2 M for any M Z 2 .
Thus, 2 k + 1 = q δ 0 + 2 M q . Since the left side is odd, q δ 0 must be odd. Since q is odd, δ 0 = 1 . □
With the parity well-defined, we can now consider the following extension of the Collatz function on Z 2 .
Definition 14. 
Let C o l : Z 2 Z 2 be given by:
C o l ( β ) = 3 β + 1 2 if β 1 ( mod 2 ) β 2 if β 0 ( mod 2 )
We define the k-coding of β as C o d k ( β ) = { η i } i = 1 k , where η i = 0 if C o l i 1 ( β ) 0 ( mod 2 ) and η i = 10 if C o l i 1 ( β ) 1 ( mod 2 ) .
Let ξ Σ 2 * . We define the k -Coding set of ξ as:
C o d k ( ξ ) = β Z 2 : C o d k ( β ) = { ξ i } i = 1 k
Let S θ , ψ . We define the dyadic integer set of S as:
D ( S ) = { β Z 2 : S ( β ) Z 2 }
Example 9. 
Let β = 0110 ¯ 11 Z 2 . The orbit is:
O ( 0110 ¯ 11 ) = { 0110 ¯ 11 , 0110 ¯ 1001 , 0011 ¯ 110 , 0011 ¯ 11 , 0110 ¯ 111 , }
Next, we will show the version in Z 2 of the results seen in previous Sections. The following Proposition characterizes the set of dyadic integers of S k θ , ψ analogously to the integer set case.
Proposition .
Let ξ = 0 θ 1 j = 2 10 θ j Σ 2 * and S k θ , ψ such that C o d ( S k ) = 0 θ 1 j = 2 k + 1 10 θ j . If β 0 D ( S k ) , then D ( S k ) = β 0 + 2 a k + 1 Z 2 .
Proof. 
Let β 0 D ( S k ) . First, we show β 0 + 2 a k + 1 Z 2 D ( S k ) . Indeed, let S k be defined by:
S k ( x ) = 3 k x + N k 2 a k + 1
Then for any α Z 2 :
S k ( β 0 + 2 a k + 1 α ) = 3 k ( β 0 + 2 a k + 1 α ) + N k 2 a k + 1 = 3 k β 0 + N k 2 a k + 1 + 3 k α Z 2
since S k ( β 0 ) Z 2 and 3 k α Z 2 .
Now we show D ( S k ) β 0 + 2 a k + 1 Z 2 . Let β D ( S k ) , so 3 k β + N k 0 ( mod 2 a k + 1 ) . Since β 0 satisfies the same congruence:
3 k β + N k ( 3 k β 0 + N k ) 0 ( mod 2 a k + 1 ) 3 k ( β β 0 ) 0 ( mod 2 a k + 1 )
Since 3 is invertible in Z 2 , we have β β 0 0 ( mod 2 a k + 1 ) . Therefore:
β β 0 = 2 a k + 1 α , with α Z 2 β = β 0 + 2 a k + 1 α .
The following proposition states that the dyadic integer set is exactly the coding set of S k .
Proposition .
Let ξ = 0 θ 1 j = 2 10 θ j Σ 2 * and S k θ , ψ such that C o d ( S k ) = 0 θ 1 j = 2 k + 1 10 θ j . Then D ( S k ) = C o d a k + 1 ( ξ ) .
Proof. 
Let β C o d a k + 1 ( ξ ) . By definition, we have C o d a k + 1 ( β ) = 0 θ 1 j = 2 k + 1 10 θ j . We can rewrite β as β = β k + 2 a k + 1 α k for any α k Z 2 , where β k = β ( mod 2 a k + 1 ) . We claim that β k C o d a k + 1 ( ξ ) . Indeed:
C o l l ( β ) = C o l l ( β k ) + 2 a k + 1 l α k with l a k + 1 .
The parity on the right side depends only on C o l l ( β k ) because 2 a k + 1 l is even for l < a k + 1 . Thus, β k must have the same a k + 1 -coding as β . By Proposition 11, we have β k E ( S k ) (viewed as a natural number). So S k ( β ) = S k ( β k ) + 3 k α k Z 2 , which implies β D ( S k ) .
Conversely, let β D ( S k ) and let β k = β ( mod 2 a k + 1 ) . Then β k D ( S k ) by Proposition 18. Since β k is a natural number and S k ( β k ) Z (the denominator divides the numerator), we have that β k E ( S k ) . By Proposition 11, we have that β k C o d a k + 1 ( ξ ) . Since β = β k + 2 a k + 1 α k for some α k Z 2 , applying the Collatz map l times with l a k + 1 , we get:
C o l l ( β ) = C o l l ( β k ) + 2 a k + 1 l α k .
Since the remainder term is always even for all l < a k + 1 , the parity of each iteration only depends on C o l l ( β k ) . Thus, β C o d a k + 1 ( ξ ) . □
In Theorem 5, we saw that given ξ Σ 2 * , if there exists a rational whose encoding is exactly ξ , then it is the only rational solution. However, we could not guarantee the existence of such a number. The following Proposition guarantees us that there exists a solution in the set of dyadic numbers.
Proposition .
Let ξ Σ 2 * . Then there exists a unique β Z 2 such that C o d ( β ) = ξ .
Proof. 
Let ξ = 0 θ 1 j = 2 10 θ j Σ 2 * . By Lemma 36, we have π 1 ( ξ ) Z 2 . Now we are going to prove that π 1 ( ξ ) is the solution.
Claim: π 1 ( ξ ) C o d a k + 1 ( ξ ) for all k N .
Indeed, let S k θ , ψ such that C o d ( S k ) = 0 θ 1 j = 2 k + 1 10 θ j . Then S k ( x ) = 3 k x + N k 2 a k + 1 . We know that S k ( π k 1 ( ξ ) ) = 0 for all k N . Then:
π 1 ( ξ ) = π k 1 ( ξ ) j = k + 1 2 a j 3 j
Applying S k :
S k ( π 1 ( ξ ) ) = S k ( π k 1 ( ξ ) ) 3 k 2 a k + 1 j = k + 1 2 a j 3 j = 0 j = k + 1 2 a j a k + 1 3 j k .
Since a j a k + 1 for j > k , the powers of 2 are non-negative integers. Also, 1 / 3 Z 2 . Thus, the infinite sum converges in Z 2 , so S k ( π 1 ( ξ ) ) Z 2 .
By Proposition 19, we have π 1 ( ξ ) C o d a k + 1 ( ξ ) for all k N . Since C o d k ( ξ ) C o d k 1 ( ξ ) , we have:
π 1 ( ξ ) = lim k π k 1 ( ξ ) k N C o d a k + 1 ( ξ ) = C o d ( ξ ) .
To prove uniqueness, suppose there exists another dyadic integer α such that it is also in C o d ( ξ ) . Then for all k N :
α , π 1 ( ξ ) C o d ( S k ) α π 1 ( ξ ) ( mod 2 a k + 1 ) .
Thus,
π 1 ( ξ ) α 2 < 2 a k + 1 0 as k .
Therefore, α = π 1 ( ξ ) . □
The existence of solutions to the equation C o d ( β ) = ξ in the dyadic numbers does not guarantee the existence of rational solutions. This will depend primarily on whether the dyadic solution can be represented as a rational number or, more generally, as a real number. Based on the nature of this solution, we can determine whether or not a rational solution exists.

7.3. Topological Conjugation

The Shift map ω on Σ 2 * is defined as the operation that removes the leading symbol of the sequence. The following theorem states that the Collatz function on Z 2 is dynamically equivalent to the Shift map on Σ 2 * and that the function π 1 acts as a homeomorphism between these two spaces. A similar result can be found in [10], where the Shift function is defined on Z 2 directly, rather than via symbolic coding.
Theorem 6:
( C o l is topologically conjugate to ω ). Let ω : Σ 2 * Σ 2 * be given by:
ω { ξ j } j = 1 = { ξ j + 2 } j = 1 if ξ 1 = 1 { ξ j + 1 } j = 1 if ξ 1 = 0
The map C o l is topologically conjugate to ω , meaning the following diagram is commutative:
&#x003A3;2* [swap]d-1 []r[name=a-b] &#x003A3;2* []d-1
Z2 [swap]r[name=c-d]Col Z2 [to path=(c-d) node[midway,scale=2] ⥁ (a-b)]
and π 1 is a homeomorphism.
Proof. 
We first prove that the diagram is commutative.
Let { ξ j } j = 1 = 10 θ 1 10 θ 2 = j = 1 10 θ j Σ 2 * with θ j N . Writing this way, we get an explicit form for the function a k = j = 1 k θ j . If a 1 = 0 (meaning the first block is trivial or structure starts differently), we have:
C o l ( π 1 ) j = 1 10 θ j = C o l k = 1 2 a k 3 k = 1 2 3 k = 1 2 a k 3 k + 1 = 1 2 k = 1 2 a k 3 k 1 + 1 = 1 2 2 a 1 k = 2 2 a k 3 k 1 + 1 = 1 2 1 k = 2 2 a k 3 k 1 + 1 ( sin ce a 1 = 0 2 a 1 = 1 ) = k = 2 2 a k 1 3 k 1 = k = 1 2 a k + 1 1 3 k .
On the other hand, applying ω :
π 1 ω j = 1 10 θ j = π 1 0 θ 1 1 j = 2 10 θ j = k = 1 2 a k + 1 1 3 k
where both parts are equal.
Now suppose that { ξ j } j = 1 = 0 θ 1 10 θ 2 1 = j = 1 0 θ j 1 Σ 2 * with θ j N and θ 1 > 0 . Then ξ 1 = 0 .
C o l ( π 1 ) j = 1 0 θ j 1 = C o l k = 1 2 a k 3 k = k = 1 2 a k 1 3 k
And for the shift:
( π 1 ) ω j = 1 0 θ j 1 = ( π 1 ) 0 θ 1 1 j = 1 0 θ j 1 = k = 1 2 a k 1 3 k
where again both parts are equal. Then we conclude that the diagram is commutative.
Bijectivity: Now we prove that π 1 is a bijection. Let C o d : Z 2 Σ 2 * be given by ξ j = 0 if C o l j 1 ( β ) 0 ( mod 2 ) and ξ j = 10 if C o l j 1 ( β ) 1 ( mod 2 ) .
1.
C o d ( π 1 ) = I d Σ 2 * : By Corollary 20, we have C o d ( π 1 ( ξ ) ) = ξ .
2.
π 1 C o d = I d Z 2 : Let β Z 2 and ξ = C o d ( β ) . Then β C o d k ( ξ ) for all k N . Also, π 1 ( ξ ) C o d k ( ξ ) for all k . Let A k be the number of zeros in C o d k ( ξ ) . There exists γ k Z 2 such that β = π 1 ( ξ ) + 2 A k γ k . Thus β π 1 ( ξ ) ( mod 2 A k ) . Since A k as k , we have β ( π 1 ( ξ ) ) 2 2 A k 0 . Thus β = π 1 ( C o d ( β ) ) .
Uniform Continuity: Let D : Σ 2 * × Σ 2 * [ 0 , ) be the symbolic metric defined by:
D ( ξ , η ) = j = 1 1 2 j Δ ( ξ j , η j ) , with ξ j , η j { 0 , 10 } ,
where Δ ( ξ j , η j ) = 1 if ξ j η j and 0 otherwise. The space ( Σ 2 * , D ) is a complete metric space where D ( ξ , η ) < 2 r if and only if ξ j = η j for all j < r .
  • π 1 is uniformly continuous: Let ε > 0 . Choose A N such that 2 A < ε . Let δ = 2 ( A + 2 ) . If D ( ξ , η ) < δ , then the first A + 1 blocks of ξ and η are identical. Let b A + 1 be the total length of these blocks. Then a k ( ξ ) = a k ( η ) for k b A + 1 . This implies that the partial sums match modulo 2 A + 1 .
    π 1 ( ξ ) π 1 ( η ) ( mod 2 A + 1 ) π 1 ( ξ ) π 1 ( η ) 2 2 ( A + 1 ) < ε .
  • C o d is uniformly continuous: Let ε > 0 . Choose A such that 2 A < ε . Let δ = 2 A . If α β 2 < δ , then α β ( mod 2 A ) . This implies their first A codings are identical, so C o d A ( α ) = C o d A ( β ) . Therefore, D ( C o d ( α ) , C o d ( β ) ) 2 A < ε .
Therefore, π 1 is a homeomorphism and C o l is topologically conjugate to ω . □

7.4. Periodic Points Analysis

As a first consequence of the topological conjugation established in the previous theorem, we can determine the structure of the periodic points of the Collatz function. Since the periodic points of the shift map are well-understood, we can transfer this property to Z 2 .
Corollary 1. 
Let Per ( ω ) be the set of periodic points of ω. Then we have π 1 ( Per ( ω ) ) ¯ = Z 2 . In other words, the periodic points of the Collatz function are dense in Z 2 .
Proof. 
This is a direct consequence of the continuity of the homeomorphism π 1 and the fact that the periodic sequences of the Shift function are dense in the symbolic space Σ 2 * . □
While the density tells us about the distribution of these points, it does not distinguish between their arithmetic properties. The topological conjugation implies that π 1 ( ξ ) is a periodic point in Z 2 if and only if ξ is a periodic sequence. The following proposition establishes a crucial link between the asymptotic growth sets ( G 0 , G ) and the sign of the rational number represented by these periodic points.
Proposition .
Let ξ Σ 2 * be a periodic sequence and let π 1 ( ξ ) Q Z 2 be its corresponding rational number. Then:
1.
If ξ G 0 , then π 1 ( ξ ) is a positive rational number.
2.
If ξ G , then π 1 ( ξ ) is a negative rational number.
Proof. 
Let ξ = 10 θ 2 10 θ 3 10 θ K 10 θ K + 1 10 θ 2 10 θ 3 = j = 2 10 θ j Σ 2 * with θ K + 2 = θ 2 , i.e., periodic of period K . Considering that θ 1 = 0 , we have a k = j = 1 k θ j . Let us first show that a r K + l = r a K + 1 + a l with l K for all r N :
a r K + l = j = 1 r K + l θ j = ( θ 2 + θ 3 + + θ K + 1 ) + ( θ K + 2 + θ K + 3 + + θ 2 K + 1 ) + + ( θ r K + 2 + θ r K + 3 + + θ r K + l ) = ( θ 2 + θ 3 + + θ K + 1 ) + ( θ 2 + θ 3 + + θ K + 1 ) + + ( θ 2 + θ 3 + + θ l ) = r a K + 1 + a l .
We are going to show that π 1 ( ξ ) is rational.
π 1 ( ξ ) = j = 1 2 a j 3 j = 1 3 + 2 a 2 3 2 + + 2 a K 3 K 2 a K + 1 3 K + 1 + 2 a K + 2 3 K + 2 + + 2 a 2 K 3 2 K 2 a r K + 1 3 r K + 1 + 2 a r K + 2 3 r K + 2 + + 2 a ( r + 1 ) K 3 ( r + 1 ) K = 1 3 + 2 a 2 3 2 + + 2 a K 3 K 2 a K + 1 3 K + 1 + 2 a K + 1 + a 2 3 K + 2 + + 2 a K + 1 + a K 3 2 K 2 r a K + 1 3 r K + 1 + 2 r a K + 1 + a 2 3 r K + 2 + + 2 r a K + 1 + a K 3 ( r + 1 ) K = 1 3 + 2 a 2 3 2 + + 2 a K 3 K 2 a K + 1 3 K 1 3 + 2 a 2 3 2 + + 2 a K 3 K 2 a K + 1 3 K r 1 3 + 2 a 2 3 2 + + 2 a K 3 K = 1 3 + 2 a 2 3 2 + + 2 a K 3 K r = 0 2 a K + 1 3 K r = 1 3 + 2 a 2 3 2 + + 2 a K 3 K 1 1 2 a K + 1 3 K = 1 1 2 a K + 1 3 K ( π K 1 ( ξ ) ) = 3 K 1 + 2 a 2 · 3 K 2 + + 2 a K 2 a K + 1 3 K Q ,
which corresponds to a rational number.
For the case ξ = 0 θ 1 j = 2 10 θ j with θ 1 > 0 , we take η = j = 1 10 θ j (where the periodic part starts immediately). We have that η is purely periodic, so:
π 1 ( η ) = j = 1 2 a j ( η ) 3 j = 3 K 1 + 2 a 2 ( η ) · 3 K 2 + + 2 a K ( η ) 2 a K + 1 ( η ) 3 K .
Then:
π 1 ( ξ ) = π 1 ( 0 θ 1 η ) = 2 θ 1 1 3 + j = 2 2 a j ( η ) 3 j = 2 θ 1 1 3 + 2 a 2 ( η ) 3 2 + + 2 a K ( η ) 3 K 1 1 2 a K + 1 ( η ) 3 K = 2 a 1 ( ξ ) 3 + 2 a 2 ( ξ ) 3 2 + + 2 a K ( ξ ) 3 K 1 1 2 ( a K + 1 a 1 ) ( ξ ) 3 K Q
where its sign depends on the denominator 1 2 a K + 1 a 1 3 K .
1.
If ξ G 0 , then 3 K 2 a K + 1 a 1 < 1 . So 1 < 2 a K + 1 a 1 3 K . The denominator is negative. Thus, π 1 ( ξ ) = ( Positive ) × 1 Negative = Positive .
2.
If ξ G , then 3 K 2 a K + 1 a 1 > 1 . So 1 > 2 a K + 1 a 1 3 K . The denominator is positive. Thus, π 1 ( ξ ) = ( Positive ) × 1 Positive = Negative .

8. Real Function π 1 and π 2 Function

Let’s define a new function π 1 defined on π 1 : Σ 2 * [ 0 , ] given by j = 1 2 a j 3 j , unlike π 1 : Σ 2 * Q 2 case ξ does not have a null tail and j = 1 K 2 a j 3 j when it has a null tail with index J. It is not always convergent. Does this mean that when it is divergent, then there is no solution to the encoding problem? The answer is no, for example if we take the encoding 100100100 . . . which corresponds to the encoding of 1, however the function π 1 ( ξ ) is divergent. As we will show in the next section, when it is convergent, it is in fact the only solution to the encoding problem. In addition to the real function π 1 , we will define the function π 2 which unlike π 1 which is a series, this is a function on the natural numbers to the rational numbers. We will show that the function π 1 : Σ 2 * [ 0 , ] is convergent if and only if ξ G and that the function π 2 is bounded if and only if ξ G 0 .

8.1. Summary of Propositions in the Section

1.
Definition 15: We will give the definition of the functions π 1 and π 2 .
2.
Proposition 22 Characterization of G 0 and G through functions π 1 and π 2 .
(a)
ξ G if and only if π 1 ( ξ ) < .
(b)
ξ G 0 if and only if π 2 ( ξ ) ( k ) is bounded.
3.
Lemma 9: Let lim inf k a k + 1 k = λ ( 0 , ] . Then exist T > 0 such that if T < k j we have a k + 1 a j k j λ .
4.
Lemma 10: Let k , j N , if k > j then, we have a k + 1 a j k j 1 .
5.
Corollary 2: Let ξ Σ 2 * . If exist a sub-sequence such that lim j a k l + 1 ( ξ ) k l > ln ( 3 ) ln ( 2 ) . Then exist Ω > 0 such that π 2 ( ξ ) ( k l ) < Ω .

8.2. The π 1 and π 2 Functions

In this section, we define the auxiliary functions π 1 and π 2 , which play a fundamental role in characterizing the asymptotic behavior of the sequences. These functions map symbolic sequences to real numbers and sequences of rational numbers, respectively.

8.3. Definitions

Definition 15 
(The π 1 and π 2 functions). Let ξ Σ 2 * be a sequence without a null tail, given by ξ = 0 θ 1 j = 2 10 θ j , with θ 1 0 and θ k > 0 for k > 1 . Let a k = j = 1 k θ j .
We define the function N k : Σ 2 * N 0 by:
N k ( { ξ j } j = 1 ) = 3 k 1 2 a 1 + 3 k 2 2 a 2 + + 2 a k if k > 1 0 if k = 1
We define π k 1 : Σ 2 * Q by:
π k 1 ( ξ ) = N k ( ξ ) 3 k = j = 1 k 2 a j 3 j
The π 1 -function, π 1 : Σ 2 * R { } , is defined as the limit:
π 1 ( ξ ) = lim k N k ( ξ ) 3 k = j = 1 2 a j 3 j
The π 2 -function, π 2 : Σ 2 * { f : N Q } , maps a sequence ξ to a function of k , defined by:
π 2 ( ξ ) ( k ) = N k ( ξ ) 2 a k + 1 ( ξ ) = 3 k 2 a k + 1 π k 1 ( ξ ) = 3 k 2 a k + 1 j = 1 k 2 a j 3 j
Null Tail Case:Let ξ Σ 2 * be a sequence with a null tail starting at index K 0 , given by ξ = 0 θ 1 j = 2 K 10 θ j j = K + 1 0 , with θ 1 0 and θ j > 0 for j > 1 . We define π k 1 , π 1 : Σ 2 * R { } as:
π k 1 ( ξ ) = j = 1 k 2 a j 3 j if k < K π k 1 ( ξ ) = π 1 ( ξ ) = j = 1 K 1 2 a j 3 j if k K
And π 2 is defined by:
π 2 ( ξ ) ( k ) = 3 k 2 a k + 1 j = 1 k 2 a j 3 j if k < K π 2 ( ξ ) ( K + k ) = N K ( ξ ) 2 a K + k = 3 K 2 a K + k π K 1 ( ξ ) = 3 K 1 2 a K + k j = 1 K 1 2 a j 3 j for k 0
We illustrate these definitions with the following examples, which highlight the different convergence behaviors.
Example 10.
We provide examples of the functions π 1 and π 2 for various sequences:
1.
Let ξ 0 = 00101001000000 . This is a null tail sequence.
(a)
π 1 ( ξ 0 ) = 2 2 3 + 2 3 9 + 2 5 27 .
(b)
For k 4 , π 2 ( ξ 0 ) ( k ) = 27 2 k + 2 2 2 3 + 2 3 9 + 2 5 27 . Thus, lim k π 2 ( ξ 0 ) ( k ) = 0 .
2.
Let ξ 1 = 100100100 = j = 1 100 Σ 2 * . Here θ j = 2 for all j .
(a)
π 1 ( ξ 1 ) = j = 1 2 2 ( j 1 ) 3 j = 1 3 j = 1 2 2 j 3 j = 1 3 j = 1 4 3 j = .
(b)
π 2 ( ξ 1 ) ( k ) = 3 k 2 2 k j = 1 k 2 2 ( j 1 ) 3 j = 3 k 1 2 2 k j = 1 k 1 2 2 j 3 j
= 3 k 1 2 2 k 2 2 k 3 k 1 4 3 1 = 1 3 4 k .
3.
Let ξ 2 = 10101010 = j = 1 10 Σ 2 * . Here θ j = 1 .
(a)
π 1 ( ξ 2 ) = j = 1 2 j 1 3 j = 1 3 j = 1 2 3 j = 1 .
(b)
π 2 ( ξ 2 ) ( k ) = 3 k 2 k j = 1 k 2 j 1 3 j = 3 k 1 2 k 2 k 3 k 1 2 3 1 = 3 2 k 1 .
4.
Let ξ 3 be a sequence such that a k = k ( k + 1 ) 2 . Then 2 a j 3 j , so π 1 ( ξ 3 ) = . However, for π 2 :
π 2 ( ξ 3 ) ( k ) = 3 k 2 k ( k + 1 ) 2 j = 1 k 2 j ( j + 1 ) 2 1 3 j < 1 .
5.
Let ξ 4 = 101000101000 .
(a)
π 1 ( ξ 4 ) = 1 3 + 2 3 2 + 2 4 3 3 j = 0 2 4 3 2 j .
(b)
π 2 ( ξ 4 ) ( 1 ) = 1 2 , π 2 ( ξ 4 ) ( 2 ) = 5 2 4 ,
π 2 ( ξ 4 ) ( 2 k + 1 ) = 3 2 k + 1 2 4 k + 1 1 3 + 2 3 2 + 2 4 3 3 j = 1 k 1 2 4 3 2 j
and π 2 ( ξ 4 ) ( 2 k ) = 3 2 k 2 4 ( k + 1 ) 1 3 + 2 3 2 + 2 4 3 3 j = 1 k 2 2 4 3 2 j + 2 4 k + 1 3 2 k

8.4. Characterization of G 0 and G

To characterize the sets G 0 and G , we need some technical results relating the growth of the exponents a k to the behavior of the ratio a k + 1 a j k j .
Lemma 9. 
Let lim inf k a k + 1 k = λ ( 0 , ] . Then there exists T > 0 such that for any length d > T , the average slope of the exponents is bounded below by λ :
inf k j = d a k + 1 a j k j λ ϵ .
Specifically, there exists T > 0 such that if k j > T , we have a k + 1 a j k j λ .
Proof. 
Let d = k j . By the definition of the limit inferior of the average density:
lim inf ( k j ) a k + 1 a j k j = lim inf d a d + 1 d = λ .
for any ϵ > 0 , there exists T N such that for all d > T :
a d + 1 d > λ ϵ .
for sufficiently long segments k j > T , the average density of exponents respects the global lower limit. Thus, we can assert a k + 1 a j k j λ locally for large enough separation. □
Lemma 10. 
Let k , j N . If k > j , then we have:
a k + 1 a j k j 1 .
Proof. 
Let ξ Σ 2 * . Writing explicitly, we have ξ = 0 θ 1 i = 2 10 θ i with θ 1 0 and θ i 1 for i > 1 . We can write a k = i = 1 k θ i . Suppose k > j . Since the minimum value that θ i can take for i 2 is 1, we have:
a k + 1 a j k j = i = j + 1 k + 1 θ i k j 1 · ( k + 1 j ) k j > k j k j = 1 .
The following proposition provides a complete characterization of the sets G 0 and G based on the behavior of π 1 and π 2 .
Proposition 
(Characterization of the G 0 and G sets). Let ξ Σ 2 * π 1 : Σ 2 * R and π 2 : Σ 2 * { f : N Q } . Then
1.
ξ G if and only if π 1 ( ξ ) < .
2.
ξ G 0 if and only if π 2 ( ξ ) ( k ) is bounded.
Proof. 
Proof of the first statement. Is obvious for the case of null tails with index J, since we have π 1 it is automatically finite, and as we see in the examples π 2 would be of the form 3 k 0 2 k A 0 when k which implies that π 2 is finite. So we are going to assume that ξ has no tail null.
Suppose that ξ G , then by Lemma 6 we have lim sup j a j j lim sup j a j + 1 j < ln ( 3 ) ln ( 2 ) , so, there exists J , ε > 0 such that for all j > J we have that a j j < ln ( 3 ) ln ( 2 ) ε
j = 1 2 a j 3 j = j = 1 J 2 a j 3 j + j = J + 1 2 a j 3 j = j = 1 J 2 a j 3 j + j = J + 1 2 a j j 3 j < j = 1 J 2 a j 3 j + j = J + 1 2 ln ( 3 ) ln ( 2 ) ε 3 j = j = 1 J 2 a j 3 j + j = J + 1 2 ε j = j = 1 J 2 a j 3 j + 2 ε ( J + 1 ) 1 2 ε <
Let’s suppose j = 1 2 a j 3 j < , then
j = 1 2 a j 3 j = 1 3 j = 1 2 a j 3 j 1 = 1 3 j = 0 2 a j + 1 3 j
so lim j 2 a j + 1 3 j = 0 then ξ G .
□ of the first statement.
Proof of the second statement. Suppose π 2 ( ξ ) ( j ) is bounded, we will prove that 3 k 2 a k + 1 ( ξ ) converges to 0. Suppose 3 k 2 a k + 1 ( ξ ) > ε > 0 for k > K for any K N . Then we have
π 2 ( ξ ) ( k ) = N k 2 a k + 1 = 3 k 2 a k + 1 j = 1 k 2 a j 3 j
We have that the sum on the right is divergent.
3 k 2 a k + 1 j = 1 k 2 a j 3 j > ε j = 1 k 2 a j 3 j =
which generates a contradiction to the fact that π 2 { ξ } ( k ) is bounded.
To demonstrate the other implication, let us consider the following lemmas:
Lemma 11.
Let lim inf k a k + 1 k = λ ( 0 , ] . Then exist T > 0 such that if T < k j we have
a k + 1 a j k j λ .
Proof.
Let lim inf k a k + 1 k = λ ( 0 , ] and d = k j , then we have
lim inf ( k j ) a k + 1 a j k j = lim inf d a j + d + 1 a j d = lim inf d a d + 1 d = λ
On the other hand, by definition of lower limit, we have
lim inf ( k j ) a k + 1 a j k j = lim t inf ( k j ) > t a k + 1 a j k j
Then exist T > 0 such that if T < k j we have
a k + 1 a j k j inf ( k j ) > T a k + 1 a j k j = λ
Lemma 12 
Let k , j N , if k > j then, we have a k + 1 a j k j 1 .
Proof.
Let ξ Σ 2 * writing explicitly, we have ξ = 0 θ 1 i = 2 10 θ i with θ 1 0 and θ i > 0 for i > 1 , then we can write:
a k = i = 1 k θ i
Suppose k > j . Since the minimum value that θ can take is 1, we have
a k + 1 a j k j = i = j k + 1 θ i k j k + 1 j k j > k j k j = 1
By Claim 3 and 4 we have, exist T , ε N such that if k T > j we have
a k + 1 a j k j > ln ( 3 ) ln ( 2 ) + ε
Then by claim 5, Let k > T so
3 k 2 a k + 1 j = 1 k 2 a j 3 j = j = 1 k 2 a j a k + 1 3 j k = j = 1 k 3 2 a k + 1 a j k j k j = j = 1 k T 3 2 a k + 1 a j k j k j + j = k T + 1 k 3 2 a k + 1 a j k j k j < j = 1 k T 3 2 ln ( 3 ) ln ( 2 ) + ε k j + j = k T + 1 k 3 2 k j < j = 1 k 3 2 ln ( 3 ) ln ( 2 ) + ε k j + j = k T + 1 k 3 2 k j < 1 2 ε k j = 1 k 2 ε j + 3 2 k j = k T + 1 k 2 3 j = 1 2 ε k 2 ε 2 ε ( k + 1 ) 1 2 ε + 3 2 k 2 3 k + 1 2 3 k T + 1 2 3 1 < 2 ε 2 ε k 2 ε 1 2 ε + 2 3 3 2 T 1 2 3 1 2 ε 2 ε 1 + 3 3 2 T 1 2 3
Let M = 2 ε 2 ε 1 + 3 3 2 T 1 2 3 > 0 . Then we have 3 k 2 a k + 1 j = 1 k 2 a j 3 j < M . Then we conclude that π 2 is bounded.
□ of the second statement.
Corollary 2. 
Let ξ Σ 2 * . Suppose that there exists a sub-sequence such that lim j a k l + 1 ( ξ ) k l > ln ( 3 ) ln ( 2 ) . Then there exists M > 0 such that π 2 ( ξ ) ( k l ) < M for all l N .
Proof. 
Let j < k l then
lim k l j a k l + 1 a j k l j = lim k l 1 a k l + 1 a 0 k l 1 = lim l a k l + 1 k l > ln ( 3 ) ln ( 2 )
then exist T , ε > 0 such that if k l j > T we have
a k l + 1 a j k l j > ln ( 3 ) ln ( 2 ) + ε
Using the lemma 12 we have
π 2 ( ξ ) ( k l ) = 3 k l 2 a k l + 1 j = 1 k l 2 a j 3 j = j = 1 k l 2 a j a k l + 1 3 j k l = j = 1 k l 3 2 a k l + 1 a j k l j k l j = j = 1 k l T 3 2 a k l + 1 a j k l j k l j + j = k l T + 1 k l 3 2 a k l + 1 a j k l j k l j < j = 1 k l T 3 2 ln ( 3 ) ln ( 2 ) + ε k l j + j = k l J + 1 k l 3 2 k l j < j = 1 k l 3 2 ln ( 3 ) ln ( 2 ) + ε k l j + j = k l J + 1 k l 3 2 k l j < 1 2 ε k l j = 1 k l 2 ε j + 3 2 k l j = k l J + 1 k l 2 3 j = 1 2 ε k l 2 ε 2 ε ( k l + 1 ) 1 2 ε + 3 2 k l 2 3 k l + 1 2 3 k l J + 1 2 3 1 2 ε 2 ε 1 + 3 3 2 J 1 2 3 = M
Therefore π 2 ( ξ ) ( k l ) < M

9. The Sigma Function

In this section, we immerse ourselves in the study of Diophantine equations of the form 2 k y a x = n , where a , k , n are integers. Solving these equations in the domain of integers x and y is a problem in number theory. Usually, these types of Diophantine equations are solved using Euclid’s algorithm or some similar technique, even by trial and error. However, these techniques begin to have a high degree of complexity for very large values. This mainly complicates when we want to study the behavior of the minimum positive values since in this case, we are interested in asymptotic solutions. We introduce the sigma function, symbolized as σ a ( n ) to address this challenge. This function, whose detailed analysis will constitute the core of our research, plays a fundamental role in the quest for specific solutions to the aforementioned Diophantine equations. Particularly noteworthy is the sigma function’s remarkable property of delivering solutions that are closest to zero in the context of these equations.

9.1. Summary of Propositions in the Section

1.
Definition 16: Definition of the sigma function.
2.
Theorem 7: Establish that σ a k ( n ) and 1 a ( 2 k σ a k ( n ) n ) are solutions of the Diophantine equation 2 k y a x = n . Additionally, 1 a ( 2 k σ a k ( n ) n ) is the minimum non-negative integer value.
3.
Corollary 3: Establishes that the minimum value grows based on the number of times the sigma function takes odd values.
4.
Corollary 4: σ a k ( n ) σ a k ( n ) = a
5.
Corollary5: Let n Z , then σ a ( n ) = n 2 a and σ 1 a ( n ) = n 2 a
6.
Proposition 23: Establishes inequalities that estimate the values of the sigma function
7.
Proposition 24: It establishes the periods for the periodic points.
8.
Proposition 25: Establish algebraic properties of additivity, dependent on the parity of the addends
9.
Proposition 26 Let a , n , p , q N with a odd number. We have
σ a n ( p + q ) = σ a n ( p ) + σ a n ( q ) a δ with δ { 0 , 1 }
10.
Lemma 13 Let a N odd number, then σ a k ( a K ) = a σ k ( K )
11.
Proposition 27: Let a N odd number and n , m Z such that m = n ( mod a ) , then σ a k ( m ) = σ a k ( n ) ( mod a )
12.
Corollary 6: Let 0 < n < 3 b with ( n , 3 b ) = 1 then n is a periodic point of periodic Ord 3 b ( 2 ) = 2 · 3 b 1 for σ 3 b . In particular, if a = 3 b and ( u , 3 ) = 1 then u is periodic point of periodic Ord 3 b ( 2 ) = 3 b 1 2 . Let γ = 3 b 1 then
σ 3 γ 2 γ ( u ) = u
13.
Proposition 28: Let b , n N such that n < 3 b and ( n , 3 b ) = 1 , γ = 3 b 1 then σ 3 γ a ( n ) + σ 3 γ a + γ ( n ) = 3 γ
14.
Corollary 7: Let b , n N such that n < 3 b and ( n , 3 b ) = 1 , γ = 3 b 1 then σ 3 γ γ ( n ) = 3 γ n .
15.
Proposition 29: We consider the function sigma as a function of Z / a Z in Z / a Z , then it is a group additive automorphism. i.e.
σ a k ( m + n ) = σ a k ( m ) + σ a k ( n ) ( mod a )
16.
Proposition 30 Establish that the sigma function is homogeneous modulo a .
17.
Definition 19: Extension of the sigma function on Q o d d
18.
Lemma 14: The extension of the sigma function to Q o d d is well-defined.
19.
Definition 20: Characteristic Function
20.
Lemma 15: Establishes an invariance in the coding of the orbits of the sigma function.
21.
Proposition 31: Establishes homogeneity properties of the extension of the sigma function.
22.
Proposition 46 Let r Q o d d , then σ n ( r ) is periodic if and only if r [ 0 , 1 ] .
23.
Proposition 33 Algebraic properties of the Extension of the Sigma function.
24.
Proposition 34: Let a , n , p , q , P , Q N with a , P , Q odd number. We have
σ a n p P + q Q = σ a n p P + σ a n q Q a Δ with Δ { 0 , 1 }
25.
Definition : Definition of dyadic numbers.
26.
Proposition : Characterization of the dyadic representation of rational numbers.
27.
Definition 21: Definition of Cod-Sigma function.
28.
Lemma 16: Invariant coding lemma for Cod-Sigma function.
29.
Corollary 8: Let r 1 , r 2 Z . Then C o d σ 3 b a ( r 1 + r 2 ) = C o d σ 3 b a ( r 1 ) + C o d σ 3 b a ( r 2 ) ( mod 2 ) a
30.
Proposition 35 C o d σ 3 b : Z Z 2 is linear.
31.
Lemma 17: Rational equivalence of the Cod-Sigma function.
32.
Definition 22: we will say that { ξ j } j = 1 Σ 2 * has a null tail of index J if J > 0 the smallest index such that j > J we have ξ j = 0 .
33.
Proposition 36: π 1 ( ξ ) Z 2 and C o d σ ( π 1 ( ξ ) ) = π 1 ( ξ ) Z 2 .
34.
Lemma 18: Let S k θ , ψ q with C o d ( S k ) = 0 θ 1 10 θ 2 10 θ k 10 θ k + 1 . Then ρ 0 ( S k ) = C o d σ a k + 1 q N k 3 k
35.
Proposition 37 Let { S k } k N θ , ψ q such that ξ = C o d { S k } k N . Then ρ 0 ( S k ) = C o d σ A k q π 1 ( ξ ) , where A k is the quantity of 0 of C o d ( S k ) .
36.
Corollary 9 Let { S k } k N θ , ψ q such that ξ = C o d { S k } k N . Then ρ 1 ( S k ) = C o d σ 1 A k q π 1 ( ξ ) , where A k is the quantity of 0 of C o d ( S k ) .

9.2. The Sigma Function

We introduce the Sigma function, a discrete dynamical system analogous to the Collatz function. The primary distinction lies in the arithmetic operation: while Collatz involves multiplication by 3, the Sigma function relies on parity-dependent adjustments without this multiplier, specifically tailored to analyze divisibility by 2 relative to a parameter a.
Definition 16 
(The Sigma function). Let x , a Z such that ( a , 2 ) = 1 . We define the sigma function σ a : Z Z
σ a ( x ) = x + a 2 if x = 1 ( mod 2 ) x 2 if x = 0 ( mod 2 )
In the following theorem, we explore solutions to the Diophantine equation 2 k y a x = n , where a, k, and n are integers. This equation arises frequently in number theory, particularly in the study of Diophantine equations. We’ll demonstrate that the sigma function provides particular solutions for y, shedding light on the behavior of solutions in both positive and negative domains. Additionally, we’ll establish formulas for the smallest non-negative solution ρ 0 and the largest non-positive solution ρ 1 for the variable x, offering valuable insights into the structure of solutions to this equation.
Theorem 7:
(Theorem on Diophantine Solutions). Let a , k N with ( a , 2 ) = 1 and n Z . Consider the Diophantine Equation 2 k y a x = n . Then a particular solution for y is given by
σ a k ( n ) and σ a k ( n ) .
where σ a k ( n ) = σ a σ a ( n ) k t i m e s and σ a k ( n ) = σ a σ a ( n ) k t i m e s . Furthermore. Let ρ 0 be the smallest non-negative solution for x, then
ρ 0 = 1 a ( 2 k σ a k ( n ) n )
let ρ 1 be the largest non-positive solution for x if then
ρ 1 = 1 a ( 2 k σ a k ( n ) n )
Proof. 
We can write the sigma function as
σ ± a ( n ) = n ± a δ ( n ) 2 where δ ( n ) = 1 if n = 1 ( mod 2 ) 0 if n = 0 ( mod 2 )
Since the sigma function is defined on the set of integers in the integers, we have that its k-th composition is also an integer value: Let δ j = δ ( σ a j ( n ) ) then
σ a k ( n ) = n + δ 0 2 + a δ k 2 = n + a L 2 k Z where L = j = 1 k 1 δ j 2 j
and let ε j = δ ( σ a j ( n ) ) then
σ a k ( n ) = n a ε 0 2 a ε k 1 2 = n a U 2 k Z where U = j = 1 k 1 ε j 2 j
replacing the k-th iteration sigma function σ a in the equation 2 k y a x = n and solving for x 0 , we have
x 0 = 1 a ( 2 k σ a k ( n ) n ) = L Z
and replacing the k-th iteration sigma function σ a in the equation 2 k y a x = n and solving for x 0 , we have
x 0 = 1 a ( 2 k σ a k ( n ) n ) = U Z
For the positive case, we have that 0 L = j = 1 k 1 δ j 2 j 2 k 1 , then due to the uniqueness of solutions in [ 0 , 2 k ) Z , L corresponds to the non-negative minimum value and for the negative case we have 0 U j = 1 k 1 ε j 2 j ( 2 k 1 ) , again due to uniqueness of solutions in ( 2 k , 0 ] Z , we have that U is the maximum non-positive solution. □
Example 11. 
Let us consider the following Diophantine equation 16 y 7 x = 45 then
σ 7 4 ( 45 ) = 5 and 1 7 ( 16 · 5 45 ) = 5
are solutions of the equation.
We will demonstrate that this minimum value increases every time σ a k ( n ) is an odd number. This result is crucial for understanding how the parity of the sigma function influences the structure of non-negative solutions of the associated Diophantine equation.
Corollary 3 
(Monotonicity relation). Let a N such that ( a , 2 ) = 1 and S a ( x ) = a x + n 2 k and ρ 0 ( S a ) the minimum non-negative value of S a ( x ) . Then ρ 0 ( S a ) increases every time σ a k ( n ) is an odd number. In particular ρ 0 ( S a ) = j = 1 k 1 δ j 2 j with δ j = 0 if σ a j 1 ( n ) is even and δ j ( n ) = 1 if σ a j 1 is odd.
Proof. 
Let S a ( x ) = a x + n 2 k and δ j = δ ( σ a j ( n ) ) then by Theorem 7 we have
σ a k ( n ) = 1 2 k n + a j = 1 k 1 δ j 2 j
then S a 1 ( σ a k ( n ) ) = ρ 0 ( S a ) = j = 1 k 1 δ j 2 j . So, we have that every time δ j = 1 , the minimum positive integer value increases, and this only happens when σ a j 1 ( n ) is odd. □
In the following corollary, we explore the relationship between the sigma functions σ a k ( n ) and σ a k ( n ) in the context of the Diophantine equation 2 k y a x = n .
Corollary 4 
(Relation between σ a k ( n ) and σ a k ( n ) ). Let a , k N and n Z . Consider the Diophantine Equation, 2 k y a x = n , then
σ a k ( n ) σ a k ( n ) = a
Proof. 
By definition, we have that ρ 0 is the nearest non-negative solution to 0, and ρ 1 is the nearest non-positive solution to 0, which means that ρ 0 and ρ 1 are consecutive solutions. Therefore, ρ 0 2 k = ρ 1 . then we have
2 k = ρ 0 ( S ) ρ 1 ( S ) = 1 a 2 k σ a k ( n ) n 1 a 2 k σ a k ( n ) n = 1 a 2 k σ a k ( n ) 1 a 2 k σ a k ( n )
Therefore σ a k ( n ) σ a k ( n ) = a
Corollary 5. 
Let n Z , then σ a ( n ) = n 2 a and σ 1 a ( n ) = n 2 a
Proof. 
Let f : R R given by f ( x ) = x + n 2 a . The integer set of f is determined by equation x + n = 0 ( mod 2 ) a , then ρ 0 ( f ) = n + 2 a n 2 a then
f ( ρ 0 ) = σ a ( n ) so f ( ρ 0 ) = n + 2 a n 2 a + n 2 a = n 2 a = σ a ( n )
On the other hand by Corollary 4
σ 1 a ( n ) = σ a ( n ) 1 = n 2 a 1 = n 2 a
In the following proposition, we examine the inequalities and estimations for the sigma function σ a k ( n ) and σ a k ( n ) , where n is an integer. We show that the sigma function lies in the interval n 2 k , n 2 k + a for σ a k ( n ) , and in the interval n 2 k a , n for σ a k ( n ) . These inequalities are fundamental to understand the range of values the sigma function can take in the context of the considered Diophantine equations.
Proposition 
(Inequality and estimation of the sigma function). Let a , k N and n Z . Then,
n 2 k σ a k ( n ) < n 2 k + a and n 2 k a < σ a k ( n ) n 2 k
Proof. 
For σ a k ( n ) we have two possible extreme paths, either we always get even or we always get odd, for the first case we would always have division by 2
n 2 k σ a k ( n )
for the second we would have
σ a k ( n ) n + a ( 1 + 2 + + 2 k 1 ) 2 k = n 2 k + a 1 + 2 + + 2 k 1 2 k = n 2 k + a 2 k 1 2 k < n 2 k + a
For σ a k ( n ) , regardless of the cases, we always get a less stringent value to the initial value. If it is always even, we will have that it is always divided by 2, now in the case that it is always odd we have
σ a k ( n ) n a ( 1 + 2 + + 2 k 1 ) 2 k = n 2 k a 1 + 2 + + 2 k 1 2 k > n 2 k a
and clearly, we have
n 2 k > n 2 k a

9.3. Properties of the Sigma Function

In this section, we investigate the algebraic and dynamical properties of the sigma function. As previously mentioned, the following proposition establishes that for values strictly between 0 and a, the sigma function exhibits periodic behavior. The period of these orbits is intimately related to the multiplicative order of 2 modulo the divisors of a. To formalize this relationship, we first recall the necessary number-theoretic definitions.
Definition 17.
Let a and n be integers with gcd ( a , n ) = 1 . Themultiplicative orderof a modulo n, denoted Ord n ( a ) , is the smallest positive integer k such that
a k = 1 ( mod n ) .
The following are fundamental properties of the multiplicative order:
1.
Divides any exponent satisfying the congruence:If a m = 1 ( mod n ) , then Ord n ( a ) m .
2.
Divides φ ( n ) :By Euler’s theorem, Ord n ( a ) φ ( n ) , where ϕ is Euler’s totient function.
3.
Order modulo a composite number:If n = n 1 n 2 n k with gcd ( n i , n j ) = 1 for i j , then
Ord n ( a ) = lcm Ord n 1 ( a ) , Ord n 2 ( a ) , , Ord n k ( a ) .
4.
Primitive roots:If Ord n ( a ) = φ ( n ) , then a is called a primitive root modulo n. These exist only for n = 2 , 4 , p α , or 2 p α , where p is an odd prime.
Definition 18. 
TheCarmichael function, denoted by λ ( a ) , is defined as the smallest positive integer k such that
n k = 1 ( mod a )
for all integers n satisfying gcd ( a , n ) = 1 . That is, λ ( a ) is the exponent of the multiplicative group ( Z / n Z ) × . The Carmichael function can be calculated with the following formula
λ a = φ a if a is prime [ φ ( p 1 α 1 ) , , φ ( p r α r ) ] if a = i = 1 r p i α i with p i prime and α i N
The following proposition describes the dynamics of the Sigma function; basically, all integers end up in some cycle between 1 and a.
Proposition 
(Periodicity of periodic orbits). Let a N The sigma function σ a has the following properties,
1.
The only fixed points are a and 0.
2.
Let u N such that u < a then, its orbit by is periodic with period Ord a / ( a , u ) ( 2 ) is less than
λ a ( a , u ) = φ a ( a , u ) if a ( a , u ) is prime [ φ ( p 1 α 1 ) , , φ ( p r α r ) ] if a ( a , u ) = i = 1 r p i α i with p i prime and α i N
where φ is the Euler’s totient function.
In particular, all points terminate in some periodic orbit (including periodic points) between 0 and a. When a = 3 b and u are co-prime with 3, then the period of the orbit of u is Ord 3 r ( 2 ) = 3 b 1 2 .
Proof. 
we have
1.
Let σ a ( u ) = u , if u is odd, then u + a 2 = u which implies u = a . If u is even, we have, u 2 = u which implies u = 0 .
2.
Let u N such that u < a and σ a k ( u ) = u , so
u + a L 2 k = u for any L = j = 1 k 1 δ j 2 j where δ j { 0 , 1 }
Then
u + a L = 2 k u a L = ( 2 k 1 ) u ( 2 k 1 ) u = 0 ( mod a )
suppose that ( u , a ) = 1 , this implies that u is an invertible ( mod a ) then, the equation is equivalent
2 k = 1 ( mod a )
Let k 0 = λ ( a ) , then
( 2 k 0 1 ) u = 0 ( mod a ) ( 2 k 0 1 ) u = L 0 a for any L 0 N
( 2 k 0 1 ) = L 0 a u
as a u > 1 then ( 2 k 0 1 ) > L 0 , which is the necessary and sufficient condition for L 0 to admit decomposition in base 2 up to the power k 0 1 which implies that there exist δ j { 0 , 1 } such that L 0 = j = 1 k 0 1 δ j 2 j .
Now suppose that ( u , a ) = d > 1 , then we divide a L = ( 2 k 1 ) u by, d
a d L = ( 2 k 1 ) u d where a d , a d = 1
then the development is completely analogous to the first case.
In particular, when a = 3 b and u are co-prime with 3, then the period of the orbit of u is Ord 3 r ( 2 ) = 3 b 1 2 .
Let us observe that for the equation σ a k ( u ) = u to have a solution it is necessary and sufficient that u < a since the function is monotonically decreasing for u > a .
Example 12. 
For a = 7 , let n N such that ( n , 7 ) = 1 . Then the smallest solution to the equation 2 k = 1 ( mod 7 ) is k = 3 , so any n coprime to 7 has period 3. For example, we have O ( 5 ) = { 5 , 6 , 3 } and O ( 4 ) = { 4 , 2 , 1 } .
For a = 15 , the smallest k such that 2 k = 1 ( mod 15 ) is k = 4 . Since 15 = 3 · 5 , we compute the order of 2 modulo 3 and 5:
- Ord 3 ( 2 ) = 2 because 2 2 = 1 ( mod 3 ) ,
- Ord 5 ( 2 ) = 4 because 2 4 = 1 ( mod 5 ) .
Then, Ord 15 ( 2 ) = lcm ( 2 , 4 ) = 4 . So any n coprime to 7 has period 4. For example, we have O ( 1 ) = { 1 , 8 , 4 , 2 } and O ( 7 ) = { 7 , 11 , 13 , 14 } . On the other hand for 3 we have Ord 15 / ( 15 , 3 ) ( 2 ) = Ord 5 = 4 , then 3 have periodic 4, indeed O ( 3 ) = { 3 , 9 , 12 , 6 } and for 5 we have Ord 15 / ( 15 , 5 ) ( 2 ) = Ord 3 = 2 , then 5 have periodic 2, indeed O ( 5 ) = { 5 , 10 } .
Proposition 25 .
Let a Z odd number and σ a : Z Z , then we have
1.
if n , m are even numbers, then σ a ( n + m ) = σ a ( n ) + σ a ( m ) .
2.
if n is an even number and m is an odd number, then σ a ( n + m ) = σ a ( n ) + σ a ( m ) .
3.
if n , m are odd numbers, then σ a ( n + m ) = σ a ( n ) + σ a ( m ) a .
Proof. 
Let m . n Z , then we have
1.
If m , n are even, we have
σ a ( m + n ) = m + n 2 = m 2 + n 2 = σ a ( m ) + σ a ( n )
2.
If m is even and n is odd, we have
σ a ( m + n ) = m + n + a 2 = m 2 + n + a 2 = σ a ( m ) + σ a ( n )
3.
If m , n are odd, we have
σ a ( m + n ) = m + n 2 = m 2 + n 2 + a a = m + a 2 + n + a 2 a = σ a ( m ) + σ a ( n ) a .
Proposition .
Let a , n , p , q N with a odd number. We have
σ a n ( p + q ) = σ a n ( p ) + σ a n ( q ) a δ with δ { 0 , 1 }
Proof. 
Let us prove by induction that
σ a n ( p + q ) = σ a n ( p ) + σ a n ( q ) a δ with δ { 0 , 1 }
For the case n = 1 , we have, by the proposition, that if at least one of the summands is even, then we have linearity. However, in the case where both summands are odd, we obtain linearity minus a. Therefore,
σ a ( p + q ) = σ a ( p ) + σ a ( q ) a δ with δ { 0 , 1 }
Now suppose that the proposition holds for n = k , that is,
σ a k ( p + q ) = σ a k ( p ) + σ a k ( q ) a δ
Then for n = k + 1 , we have
σ a k + 1 ( p + q ) = σ σ a k ( p + q ) = σ σ a k ( p ) + σ a k ( q ) a δ
Suppose that σ a k ( p ) and σ a k ( q ) are even, then:
= σ a k + 1 ( p ) + σ a k + 1 ( q ) + σ a ( a δ ) = σ a k + 1 ( p ) + σ a k + 1 ( q )
Now suppose that σ a k ( p ) is even and σ a k ( q ) is odd, then
= σ a k + 1 ( p ) + σ ( σ a k ( q ) a δ ) = σ a k + 1 ( p ) + σ a k + 1 ( q ) + σ a ( a δ ) a = σ a k + 1 ( p ) + σ a k + 1 ( q ) a
Finally, suppose that both σ a k ( p ) and σ a k ( q ) are odd, then
= σ a k + 1 ( p ) + σ a ( σ a k ( q ) a δ )
Since σ a k ( q ) a δ is even, then
= σ a k + 1 ( p ) + σ a k + 1 ( q ) + σ ( a δ ) a = σ a k + 1 ( p ) + σ a k + 1 ( q ) a
Therefore, we have that for all n N ,
σ a n ( p + q ) = σ a n ( p ) + σ a n ( q ) a δ with δ { 0 , 1 }

9.4. The Sigma Function Modulo a

In this section, we address the linearity of the sigma function modulo a. Proposition 25 establishes the addition rules for the sigma function under different parity conditions of the involved numbers. We will see in Corollary 29 that the sigma function modulo a acts as an automorphism of Z / a Z . Furthermore, Proposition 30 establishes a relationship between σ a k ( m ) and σ a k ( 1 ) .
This next corollary states that the sigma function, seen as a function on the set Z / a Z taking values in Z / a Z , preserves the group structure under modular addition.
Lemma 13. 
Let a N be an odd number. Then σ a k ( a K ) = a σ 1 k ( K ) , where σ 1 denotes the sigma function with parameter 1 (the ceiling function).
Proof. 
By induction. For k = 1 , we have:
σ a ( a K ) = a K + a δ ( a K ) 2
Since a is an odd number, the parity of a K depends only on K (i.e., δ ( a K ) = δ ( K ) ). Therefore:
a K + a δ ( a K ) 2 = a K + a δ ( K ) 2 = a K + δ ( K ) 2 = a σ 1 ( K )
Suppose the proposition is true for k. Then:
σ a k + 1 ( K ) = σ a ( σ a k ( a K ) ) = σ a ( a σ 1 k ( K ) ) ( by inductive hypothesis ) = a σ 1 k ( K ) + a δ ( a σ 1 k ( K ) ) 2 = a σ 1 k ( K ) + δ ( σ 1 k ( K ) ) 2 = a σ 1 ( σ 1 k ( K ) ) = a σ 1 k + 1 ( K )
Now we show that the function σ a k : Z / a Z Z / a Z is well-defined for all k N .
Proposition 27 .
Let a N be an odd number and n , m Z such that m n ( mod a ) . Then σ a k ( m ) σ a k ( n ) ( mod a ) .
Proof. 
Let n , m Z such that m n ( mod a ) . Then there exists K Z such that m = n + a K . By the quasi-linearity property, we have:
σ a k ( m ) = σ a k ( n + a K ) = σ a k ( n ) + σ a k ( a K ) a Δ
where Δ is an integer correction term arising from the sum of parities. By Lemma 13, we have σ a k ( a K ) = a σ 1 k ( K ) . Thus:
σ a k ( m ) = σ a k ( n ) + a σ 1 k ( K ) a Δ σ a k ( n ) ( mod a )
Corollary 6. 
Let 0 < n < 3 b with ( n , 3 b ) = 1 . Then n is a periodic point with period Ord 3 b ( 2 ) = 2 · 3 b 1 for σ 3 b . In particular, if a = 3 b and ( u , 3 ) = 1 , then u is a periodic point with period Ord 3 b ( 2 ) = 2 · 3 b 1 . Let γ = 3 b 1 , then:
σ 3 b 2 γ ( u ) = u
Proof. 
We know that the number of elements in ( Z / 3 b Z ) × is ϕ ( 3 b ) = 2 · 3 b 1 . Moreover, this is a cyclic multiplicative group since 2 is a primitive root modulo 3 b . This means that every element of the multiplicative group ( Z / 3 b Z ) × is congruent to some power of 2. Therefore, there exists a unique η N with η 2 · 3 b 1 such that:
n 2 η ( mod 3 b )
Since σ 3 b ( x ) x · 2 1 ( mod 3 b ) , iterating k times corresponds to multiplying by 2 k . Thus, by Proposition 27, for any k:
σ 3 b k ( n ) n · 2 k 2 η k ( mod 3 b )
The condition for the orbit to return to n is 2 η k 2 η ( mod 3 b ) , which implies 2 k 1 ( mod 3 b ) . The smallest positive k satisfying this is the order of 2 modulo 3 b , which is 2 · 3 b 1 . □
An interesting particular situation arises when we consider pairs of numbers whose sum equals a. In this case, the behavior of the Sigma function exhibits a remarkable symmetry that contrasts with the general subadditive behavior previously discussed. Specifically, if two numbers add up to a, the sum of the values obtained by iterating the Sigma function on each number individually remains constant and equal to a through all iterations.
Indeed, let m , n N such that m + n = a . Since a is an odd number, it follows that either m or n is even, but not both. By Proposition 25, the Sigma function is linear whenever at least one of the arguments is even. Furthermore, Proposition 24 asserts that a itself is a fixed point of the Sigma function. Therefore, applying the function σ a iteratively k times, we obtain the identity:
σ a k ( m ) + σ a k ( n ) = a .
This observation reveals the existence of a family of pairs whose images under the Sigma function remain connected through an additive identity. Moreover, in the specific case where a = 3 b , we can characterize these pairs more explicitly, as they share the same cyclic orbit under iteration.
Proposition 28 .
Let b , n N such that n < 3 b and ( n , 3 b ) = 1 . Let γ = 3 b 1 . Then:
σ 3 b γ ( n ) + σ 3 b γ + 2 γ ( n ) = 3 b
(Note: Since the period is 2 γ , this simplifies to σ 3 b γ ( n ) + n = 3 b ).
Proof. 
Let n be coprime to and less than 3 b . Consider the equation for k:
n + σ 3 b k ( n ) = 3 b
Let T k ( n ) = j = 0 k 1 δ j 2 j and σ 3 b k ( n ) = n + 3 b T k 2 k . Then the equation n + σ 3 b k ( n ) = 3 b implies modulo 3 b :
n + n 2 k 0 ( mod 3 b ) n ( 1 + 2 k ) 0 ( mod 3 b )
Since ( n , 3 b ) = 1 , we can divide by n:
2 k 1 ( mod 3 b )
We know that the order of 2 is 2 γ = 2 · 3 b 1 . The solution to 2 k 1 occurs at half the period, so k = γ = 3 b 1 .
Now we verify that this k yields a valid integer solution (i.e., that the numerator does not "overflow" the necessary bounds improperly). We require T γ 2 γ 1 . Indeed:
T γ = 2 γ ( 3 b n ) n 3 b = 2 γ n 2 γ + 1 3 b
Claim: 2 3 b 1 + 1 3 b 1 for all b N .
Let f ( x ) = 2 3 x 1 + 1 3 x . We have:
1.
f ( 1 ) = 2 1 + 1 3 = 1 and f ( 2 ) = 2 3 + 1 9 = 1 .
2.
The derivative f ( x ) > 0 for x > 1.6 . Thus, the function is monotonically increasing for integers b 2 .
Therefore, the term 2 γ + 1 3 b is a positive integer greater than or equal to 1. Consequently, T γ < 2 γ , ensuring the existence of the binary coefficients. Thus, n + σ 3 b γ ( n ) = 3 b . □
As a consequence of the above Proposition, we have:
Corollary 7. 
Let b , n N such that n < 3 b and ( n , 3 b ) = 1 . Let γ = 3 b 1 . Then:
σ 3 b γ ( n ) = 3 b n
Proof. 
By Proposition 24 (periodicity) and Proposition 28:
σ 3 b γ ( n ) + n = 3 b σ 3 b γ ( n ) = 3 b n
We have seen that the function σ a is, in general, a subadditive function where the error is a multiple of a. Therefore, the function σ a is linear in Z / a Z .
Proposition 
(Linearity modulo a). Consider the sigma function as a map from Z / a Z to Z / a Z . It is a group additive automorphism, i.e.,
σ a k ( m + n ) σ a k ( m ) + σ a k ( n ) ( mod a )
Proof. 
From the quasi-linearity proposition, we know that σ a ( m + n ) = σ a ( m ) + σ a ( n ) a δ , where δ { 0 , 1 } . Taking modulo a, the term a δ vanishes, yielding the result. □
This proposition establishes the concept of homogeneity modulo a for the sigma function. It relates the value of σ a k ( m ) to m σ a k ( 1 ) under modular arithmetic.
Proposition 30 
(Homogeneity mod a). Let a , k , m N such that ( a , 2 ) = 1 . Then:
σ a k ( m ) m σ a k ( 1 ) ( mod a )
Proof. 
Using Proposition 29:
σ a k ( m ) = σ a k ( 1 + + 1 m times ) j = 1 m σ a k ( 1 ) m σ a k ( 1 ) ( mod a )

9.5. Extension of the Sigma Function to Q o d d

We now extend the domain of the sigma function to the set of rational numbers with odd denominators.
Definition 19 
( Q o d d -extension of the sigma function). Let u v , x y Q o d d with u an odd integer. We define the sigma function σ u / v : Q o d d Q o d d as:
σ u v x y = 1 2 x y + u v if x 1 ( mod 2 ) , x 2 y if x 0 ( mod 2 ) .
We provide a numerical interpretation of this extension. Recall that in the integer case, the sigma function generates the smallest non-negative solution to the Diophantine equation 2 k y a x = n via the relation a x + n 2 k = σ a k ( n ) . We can generalize this logic to fractions with odd denominators. Specifically, the extension satisfies the following relation for some r Z :
y u r + v x 2 k = v y σ u v k x y
Dividing by v y , this is equivalent to:
u v r + x y 2 k = σ u v k x y
In other words, the extension of the sigma function yields the fraction that solves the equation:
u v r + x y = 2 k t , with r Z and t Q o d d .
Lemma 14. 
The extension of the sigma function to Q o d d is well-defined.
Proof. 
Let Q odd = { p / q Q p Z , q Z , ( q , 2 ) = 1 } . Let the parameter of the sigma function be a = u / v , where u , v Z are both odd integers. The extended sigma function σ a : Q odd Q odd is defined for an input x / y Q odd (where y is odd) as:
σ a x y = 1 2 x y + u v if x is odd , x 2 y if x is even .
We must verify two conditions:
1.
The value is independent of the representative fraction for x / y and a = u / v .
2.
The image σ a ( x / y ) remains in Q odd .
1. Independence of Representation: Let x / y Q odd and a = u / v (with u , v odd). Consider alternative representations x / y = ( x k 1 ) / ( y k 1 ) and a = u / v = ( u k 2 ) / ( v k 2 ) , where k 1 , k 2 are odd integers.
Since k 1 is odd, x k 1 shares the same parity as x. Similarly, since k 2 is odd and u is odd, u k 2 is odd. The denominators y k 1 and v k 2 remain odd. Let a = ( u k 2 ) / ( v k 2 ) .
Case 1: x is odd. Then x k 1 is also odd.
σ a x k 1 y k 1 = 1 2 x k 1 y k 1 + u k 2 v k 2 = 1 2 x y + u v = σ a x y .
Case 2: x is even. Then x k 1 is also even.
σ a x k 1 y k 1 = ( x k 1 ) / ( y k 1 ) 2 = x k 1 2 y k 1 = x 2 y = σ a x y .
Thus, the definition is independent of the representation.
2. Closure in Q o d d : Let a = u / v (with u , v odd) and x / y Q odd (with y odd).
Case 1: x is odd.
σ a x y = 1 2 x y + u v = x v + u y 2 v y .
Since x , y , u , v are all odd:
  • x v and u y are products of odd integers, hence odd.
  • Their sum x v + u y is even. Let x v + u y = 2 K for some K Z .
  • The denominator v y is odd.
Substituting back:
σ a x y = 2 K 2 v y = K v y .
Since v y is odd, the result is in Q odd .
Case 2: x is even. Let x = 2 x for some x Z .
σ a x y = x 2 y = 2 x 2 y = x y .
Since y is odd, the result is in Q odd .
We conclude that σ a is well-defined. □

9.6. Properties of the Extension of the Sigma Function

The introduction of the sigma function extended to odd rationals is crucial for understanding its behavior in a broader domain. This extension, defined on the set Q o d d , allows us to explore the algebraic and arithmetic properties of the sigma function in a more general context. In this section, we delve into this extension and explore its implications, focusing on how the sigma function modifies its behavior when applied to fractions with odd denominators. Additionally, we present an important lemma that establishes an invariant relationship between the characteristic function δ and the sigma function, providing a deeper understanding of how the sigma function preserves certain properties under different transformations.
Definition 20 
(Characteristic Function). We define the characteristic function δ : Q o d d { 0 , 1 } given by
δ p q = 1 if p = 1 ( mod 2 ) 0 if p = 0 ( mod 2 )
The Invariant Coding Lemma, stated in Lemma 15, establishes a fundamental relationship between the characteristic function δ and the sigma function under certain conditions. Specifically, it asserts that for co-prime integers u and v, with u being odd, the characteristic function δ remains invariant under iterations of the sigma function. This means that the parity of the output of σ u j ( v ) is the same as the parity of σ 1 j v u for all non-negative integers j. Furthermore, if v is odd, the lemma demonstrates that the parity of σ u j ( v ) is identical to the parity of σ u v j ( 1 ) for all non-negative integers j.
Lemma 15
(Invariant Characteristic Function Lemma). Let u , v Z with u not null, such that ( u , 2 ) = 1 then
1.
δ σ u j ( v ) = δ σ 1 j v u for j 0 .
2.
if v is odd then δ ( σ u j ( v ) ) = δ σ u v j ( 1 ) for j 0 .
Proof. 
We have, first statement: Let σ u k ( v ) = v + u T k u ( v ) 2 a where T k u ( v ) = j = 1 k 1 δ ( σ u j ( v ) ) 2 j and σ 1 j v u = v u + T k 1 v u 2 a where T k 1 v u = j = 1 k 1 δ σ 1 j v u 2 j . We will prove by induction that δ σ u j ( v ) = δ σ 1 j v u For j = 0 , Since if v is odd (or even) then v u is odd (or even) then
δ σ u 0 ( v ) = δ v = δ v u = δ σ 1 0 v u .
Suppose δ σ u j ( v ) = δ σ 1 j v u for j k , then T k u ( v ) = T k 1 v u , then we have
σ u k ( v ) = v + u T k u ( v ) 2 a = v + u T k 1 v u 2 a = u v u + T k 1 v u 2 a = u σ 1 k v u
Since u is odd, we have that σ u k ( v ) and σ 1 k v u have the same parity, then δ σ u k + 1 ( v ) = δ σ 1 k + 1 v u
Second statement Let σ u k ( v ) = v + u T k u ( v ) 2 a where T k u ( v ) = j = 1 k 1 δ ( σ u j ( v ) ) 2 j and σ u v j 1 = 1 + T k u v 1 2 a where T k u v 1 = j = 1 k 1 δ σ u v j 1 2 j . We will prove by induction that δ σ u j ( v ) = δ σ u v j 1
For j = 0 , Since v is odd
δ σ u 0 ( v ) = δ v = δ 1 = δ σ u v 0 1 .
Suppose δ σ u j ( v ) = δ σ u v j 1 for j k , then T k u ( v ) = T k u v 1 , then we have
σ u k ( v ) = v + u T k u ( v ) 2 a = v + u T k u v 1 2 a = v 1 + u v T k u v 1 2 a = v σ u v k 1
Since v is odd, we have that σ u k ( v ) and σ u v k 1 have the same parity, then
δ σ u k + 1 ( v ) = δ σ u v k + 1 1
In the following proposition, we demonstrate homogeneity properties that leave the coding of the orbits of the sigma function invariant.
Proposition 
(homogeneity). Let u , v Z with u not null, such that ( u , 2 ) = ( v , 2 ) = 1 then we have
1.
σ u k ( v ) = u σ 1 k v u .
2.
σ u k ( v ) = v σ u v k ( 1 ) .
Proof. 
We have First statement: Let σ u k ( v ) = v + u T k u ( v ) 2 a where T k u ( v ) = j = 1 k 1 δ ( σ u j ( v ) ) 2 j and σ 1 j v u = v u + T k 1 v u 2 a where T k 1 v u = j = 1 k 1 δ σ 1 j v u 2 j . Then we have
σ u k ( v ) = v + u T k u ( v ) 2 a = v + u T k 1 v u 2 a = u v u + T k 1 v u 2 a = u σ 1 k v u
Second statement: Let σ u k ( v ) = v + u T k u ( v ) 2 a where T k u ( v ) = j = 1 k 1 δ ( σ u j ( v ) ) 2 j and σ u v j 1 = 1 + T k u v 1 2 a where T k u v 1 = j = 1 k 1 δ σ u v j 1 2 j . Then we have
σ u k ( v ) = v + u T k u ( v ) 2 a = v + u T k u v 1 2 a = v 1 + T k u v 1 2 a = v σ u v k 1
Having extended the Sigma function to the set of odd rationals, Q o d d , it is natural to investigate whether the properties previously established in the integer setting still hold in this broader context.
Proposition .
Let r Q o d d , then σ n ( r ) is periodic if and only if r [ 0 , 1 ] .
Proof. 
Let r = p q [ 0 , 1 ] . Then
σ n p q = 1 q σ q n ( p )
Since p q , we have that σ q n ( p ) is periodic, and therefore σ n p q is periodic.
On the other hand, if σ n p q is periodic, then there exists a K > 0 such that σ K p q = p q .
Suppose that p q [ 0 , 1 ] . Then
σ p q < p q
since if p is even we average p q with 0, and if p is odd we average p q with 1. In either case, we always obtain a value smaller than the initial one. Therefore, the only way for p q to be periodic is if it is within the interval [ 0 , 1 ] . □
Despite the presence of denominators, the recursive structure of σ a A ensures that the behavior observed in the integer case persists, with the additive corrections involving a A appearing under similar conditions. The essential mechanism driving the quasi-linearity of the function, namely the cancellation of terms when one summand is even, extends directly to the rational setting, while the parity considerations remain encoded in the numerators.
Proposition 
(Algebraic properties of the Extension of the Sigma function). Let a Q o d d with odd numerator and σ a : Q o d d Q o d d , satisfies the following identities
1.
if n q , m p are even fractions, then σ a n q + m p = σ a n q + σ a m p .
2.
if n q is an even fraction and m p is an odd fraction, then σ a n q + m p = σ a n q 6.2 + σ a m p .
3.
if n q , m p are odd fractions, then σ a n q + m p = σ a n q + σ a m p a .
Proof. 
Let’s proved first for a = 1 . Let n q , m p Q o d d and let β : Z × Z { 0 , 1 } given by β n , m = 0 if n or m is even fraction and β n , m = 1 if n and m are odd fraction.
p q σ n q + m p = p q σ n q + m p = p q σ n p + m q p q = σ p q p q n p + m q p q = σ p q n p + m q = σ p q n p + σ p q m q p q β ( n , m ) = p q σ n p p q + p q σ m q p q p q β ( n , m ) = p q σ n q + p q σ m p p q β ( n , m )
Dividing everything by p q , we have
σ n q + m p = σ n q + σ m p β ( n , m )
Now let a an odd fraction with odd numerator, then we have 1 a is odd fraction, then multiplying by 1 a does not change the parity of n q or m q . Then we have
σ 1 a n q + 1 a m p = σ 1 a n q + σ 1 a m p β ( n , m ) multiplying by a a σ 1 a n q + 1 a m p = a σ 1 a n q + a σ 1 a m p a β ( n , m ) σ a n q + m p = σ a n q + σ a m p a β ( n , m )
Proposition .
Let a , n , p , q , P , Q N with a , P , Q odd number. We have
σ a n p P + q Q = σ a n p P + σ a n q Q a Δ with Δ { 0 , 1 }
Proof. 
Let a , n , p , q , P , Q N with a , P , Q odd number. We have
σ a n p P + q Q = P Q P Q σ a n p P + q Q = P Q P Q σ a n p Q + q P P Q = 1 P Q σ a P Q n p Q + q P
By Proposition 26:
= 1 P Q σ a P Q n p Q + σ a P Q n q P a P Q Δ with Δ { 0 , 1 }
= 1 P Q Q σ a P n p + P σ a Q n q a P Q Δ = σ a n p P + σ a n q Q a Δ

9.7. Coding of Sigma Function

Having established the framework of p-adic numbers, specifically the 2-adic integers ( Z 2 ), we can now apply this structure to the dynamics of the sigma function. We associate a symbolic sequence to the orbit of any rational number in Q o d d .
Definition 21. 
Let p q Q o d d and let g Z be an odd number. We define the Coding of p q under σ as C o d σ g p q = j N 0 δ j Z 2 defined by
δ j = 1 if σ g j p q is odd 0 if σ g j p q is even
and the finite k-coding as C o d σ g k p q = 0000 δ k δ 0 .
This coding scheme possesses invariance properties that allow us to simplify the analysis of orbits by scaling the arguments.
Lemma 16 
(Invariant coding lemma). Let u , v Z with u non-zero, such that ( u , 2 ) = 1 . Then:
1.
C o d σ u j ( v ) = C o d σ j v u for j 0 .
2.
If v is odd, then C o d σ u j ( v ) = C o d σ u v j ( 1 ) for j 0 .
Proof. 
This is a reformulation of Lemma 15. □
This structural relationship leads to a surprising property: the coding function behaves linearly with respect to addition in Z 2 .
Corollary 8. 
Let r 1 , r 2 Z . Then
C o d σ 3 b a ( r 1 + r 2 ) = C o d σ 3 b a ( r 1 ) + C o d σ 3 b a ( r 2 ) ( mod 2 a ) .
Proof. 
Let r = r 1 + r 2 and let H : R R be given by H ( x ) = 3 b x + r 2 a . By Proposition 25, we have
3 b x + r 2 a = σ 3 b a ( r ) = σ 3 b a ( r 1 ) + σ 3 b a ( r 2 ) 3 b u with u Z
Then
ρ 0 = 2 a σ 3 b a ( r 1 ) r 1 3 b + 2 a σ 3 b a ( r 2 ) r 2 3 b 2 a u
On the other hand, we have that 2 a σ 3 b a ( r j ) r j 3 b = ρ 0 3 b x + r j 2 a , so 2 a σ 3 b a ( r 1 ) r 1 3 b ( base 2 ) = C o d σ ( r j ) . Thus,
C o d σ 3 b a ( r 1 + r 2 ) = C o d σ 3 b a ( r 1 ) + C o d σ 3 b a ( r 2 ) ( mod 2 a ) .
Extending the previous corollary to the infinite limit, we confirm the linearity of the coding function on the entire domain Z .
Proposition .
Let r 1 , r 2 Z . Then C o d σ 3 b : Z Z 2 is linear, i.e.,
C o d σ 3 b ( r 1 + r 2 ) = C o d σ 3 b ( r 1 ) + C o d σ 3 b ( r 2 ) Z 2 .
Proof. 
By Corollary 8, we have C o d σ 3 b n ( r 1 + r 2 ) = C o d σ 3 b n ( r 1 ) + C o d σ 3 b n ( r 2 ) ( mod 2 n ) for all n N , which is equivalent to
C o d σ 3 b n ( r 1 + r 2 ) C o d σ 3 b n ( r 1 ) + C o d σ 3 b n ( r 2 ) 2 < 2 n for all n N .
Therefore,
C o d σ 3 b ( r 1 + r 2 ) = C o d σ 3 b ( r 1 ) + C o d σ 3 b ( r 2 ) Z 2 .
To demonstrate the utility of this linearity, we calculate the codings for several distinct affine maps.
Example 13.
We now explore the specific form of the coding for powers of 3 and integer multiples, revealing a simple rational equivalence in Z 2 .
Lemma 17.
(Rational equivalence of the Cod-Sigma function). Let b N . Then we have
C o d σ 3 b = 1 3 b Z 2 .
Furthermore, let u N ; then
C o d σ 3 b ( u ) = u 3 b Z 2 .
Proof. 
Let u = γ b ¯ Z 2 with γ b = C o d σ 3 b 2 · 3 b 1 . Let u = x ; then multiplying by 2 2 · 3 b 1 we have u 0 0 2 · 3 b 1 = 2 2 · 3 b 1 x , and subtracting, we have
u u 0 0 2 · 3 b 1 = ( 2 2 · 3 b 1 1 ) x γ b = ( 2 2 · 3 b 1 1 ) x
On the other hand we have that γ b = 2 2 · 3 b 1 1 3 b , then
2 2 · 3 b 1 1 3 b = ( 2 2 · 3 b 1 1 ) then we have x = 1 3 b
Another way to prove it is:
u = n = 0 u n 2 n = n = 0 2 · 3 b 1 1 u n 2 n + n = 2 · 3 b 1 4 · 3 b 1 1 u n 2 n + n = 4 · 3 b 1 6 · 3 b 1 1 u n 2 n = C o d σ 3 b 2 · 3 b 1 + 2 2 · 3 b 1 C o d σ 3 b 2 · 3 b 1 + 2 2 · 3 b 1 2 C o d σ 3 b 2 · 3 b 1 + = C o d σ 3 b 2 · 3 b 1 n = 0 2 2 · 3 b 1 n = C o d σ 3 b 2 · 3 b 1 1 1 2 2 · 3 b 1 = 1 2 2 · 3 b 1 3 b 1 1 2 2 · 3 b 1 = 1 3 b
Now we demonstrate the second part. Let v N .
C o d σ 3 b k ( v ) = v 1 2 2 · 3 b 1 k 3 b = v 3 b + v 2 2 · 3 b 1 k 3 b
On the other hand,
C o d σ 3 b k ( v ) v 3 b 2 2 2 · 3 b 1 k 0 as k .
Therefore, C o d σ 3 b ( v ) = v 3 b . □
Before presenting the relationship between the coding and the π 1 function, we define the concept of a null tail, which corresponds to sequences that eventually become zero.
Definition 22 
(Null Tail). We say that { ξ j } j = 1 Σ 2 * has a null tail of index J if J > 0 is the smallest index such that for all j > J , we have ξ j = 0 .
Using this definition, we can link the partial sums π k 1 and the function π 1 directly to the coding σ in the context of Z 2 .
Proposition .
Let ξ = 0 θ 1 j = 2 10 θ j Σ 2 * with θ 1 0 and θ k > 0 for k > 1 and a n = j = 1 n θ j . We define π k 1 ( ξ ) = j = 1 k 2 a j 3 j . Let ξ Σ 2 * with null tail of index K given by ξ = 0 θ 1 j = 2 K 10 θ j j = K + 1 0 θ j with θ 1 0 , θ k > 0 for K k > 1 and θ j = 1 for j > K . We define π k 1 ( ξ ) = j = 1 k 2 a j 3 j if k < K and π k 1 ( ξ ) = j = 1 K 1 2 a j 3 j if k K . We define the π 1 function given by π 1 : Σ 2 * Z 2 and defined by π 1 ( ξ ) = j = 1 2 a j 3 j if ξ does not have a null tail and π 1 ( ξ ) = j = 1 K 1 2 a j 3 j if ξ has a null tail of index K. Then we have π 1 ( ξ ) , π k 1 ( ξ ) Z 2 and
C o d σ ( π 1 ( ξ ) ) = π 1 ( ξ ) Z 2 .
Proof. 
Without loss of generality, let’s assume that ξ does not have a null tail.
Claim 1: Let ξ Σ 2 * and k N ; then we have C o d σ π k 1 ( ξ ) = π k 1 ( ξ ) Z 2 .
Indeed, let k N and ξ Σ 2 * . By Lemma 16, Proposition 35, and Lemma 17, we have
C o d σ π k 1 ( ξ ) = C o d σ j = 1 k 2 a j 3 j = C o d σ 3 k j = 1 k 2 a j 3 k j = j = 1 k C o d σ 3 k 2 a j 3 k j = j = 1 k C o d σ 3 j 2 a j = j = 1 k 2 a j 3 j = π k 1 ( ξ )
Since 2 a j 3 j Z 2 , it follows that π k 1 ( ξ ) Z 2 .
Claim 2: lim k π k 1 ( ξ ) = π 1 ( ξ ) Z 2 .
Indeed, we have the following equivalence on Q 2 (Proposition 3.3, page 76 of [8]):
π 1 ( ξ ) = n = 1 2 a n 3 n Q 2 if and only if lim k 2 a k 3 k = 0 on Q 2 .
On the other hand,
2 a k 3 k 2 = C o d σ 3 b ( 2 a k ) 2 = C o d σ 3 b 0 a k 2 = 2 a k 0 sin ce a k is increasing .
Therefore π 1 ( ξ ) = n = 1 2 a n 3 n Q 2 . Furthermore, we have that π k 1 ( ξ ) is a Cauchy sequence on Z 2 . Indeed,
π k + 1 1 ( ξ ) π k 1 ( ξ ) 2 = 2 a k + 1 3 k + 1 2 = 2 a k + 1 0 as k
and by Proposition 2.10, page 59 of [8], we also have that Z 2 is a complete metric space; therefore, lim k π k 1 ( ξ ) = π 1 ( ξ ) Z 2 . □
Finally, we apply these results to find the minimum positive integer value ρ 0 for the affine maps, expressing it in terms of the coding.
Lemma 18. 
Let S k θ , ψ q with C o d ( S k ) = 0 θ 1 10 θ 2 10 θ k 10 θ k + 1 . Then ρ 0 ( S k ) = C o d σ a k + 1 q N k 3 k .
Proof. 
Let S k θ , ψ q . Then
ρ 0 ( S k ) = 2 a k + 1 3 k σ 3 k a k + 1 ( N k ) q N k 3 k = 2 a k + 1 3 k N k 2 a k + 1 + 3 k C o d σ a k + 1 q N k 3 k 2 a k + 1 q N k 3 k = C o d σ 3 k a k + 1 ( q N k ) = C o d σ a k + 1 q N k 3 k .
As a consequence of the next proposition, we have that if π 1 is a negative or non-integer number, the minimum value diverges, since we have that the dyadic representation of these numbers always has an infinite amount of numbers.
Proposition 37 .
Let { S k } k N θ , ψ q such that ξ = C o d { S k } k N . Then ρ 0 ( S k ) = C o d σ A k q π 1 ( ξ ) , where A k is the quantity of zeros of C o d ( S k ) .
Proof. 
Let us assume without loss of generality that ξ does not have a null tail. Let ξ = C o d ( { S k } k N = 0 θ 1 j = 2 10 θ j . Thus,
C o d σ q π 1 ( ξ ) C o d σ a k + 1 q N k 3 k 2 = q π 1 ( ξ ) q π k 1 ( ξ ) 2 2 a k + 1 , sin ce π k 1 ( ξ ) = π 1 ( ξ ) ( mod 2 a k + 1 ) .
Then C o d σ a k + 1 q N k 3 k = C o d σ q π 1 ( ξ ) ( mod 2 a k + 1 ) .
We can also express ρ 1 , derived from ρ 0 , using the coding with a shift.
Corollary 9. 
Let { S k } k N θ , ψ q such that ξ = C o d { S k } k N . Then ρ 1 ( S k ) = C o d σ 1 A k q π 1 ( ξ ) , where A k is the quantity of zeros of C o d ( S k ) .
Proof. 
Since ρ 0 ( S k ) ρ 1 ( S k ) = 2 A k , we have ρ 1 ( S k ) = ρ 0 ( S k ) 2 A k = C o d σ A k ( q π 1 ( ξ ) ) 2 A k = C o d σ 1 A k ( q π 1 ( ξ ) ) . □
The section concludes with examples illustrating the calculation of ρ 0 for various map families.
Example 14. 
1.
Let S a ( x ) = 3 x + 1 2 2 a . We have C o d σ 1 3 = 101010101 so ρ 0 ( S a ) = n = 0 a 2 2 n = 4 a + 1 1 3 .
2.
Let H a ( x ) = 9 x + 1 2 6 a . We have C o d σ 1 9 = 111000111000111 , so ρ 0 ( H 6 a ) = 7 n = 0 a 1 2 6 n = 64 a 1 9 .
3.
Let J k ( x ) = 3 k x + ( 4 k 3 k ) 4 k . Then
C o d σ 4 k 3 k 3 k = C o d σ 4 k 3 k + C o d σ 3 k 3 k = C o d σ 1 3 k 0 4 k + 1 ,
so ρ 0 ( J k ) = 1 .

10. Coding of Set G

Now we are going to prove that there is a complete metric on G . We will use this result to prove that if π 1 { ξ j } j = 1 Q o d d then C o d π 1 { ξ j } j = 1 = { ξ j } j = 1 and in the case that π 1 { ξ j } j = 1 R Q , then there is no rational r such that C o d r = { ξ j } j = 1 . We also show that the parity of the Collatz function on π 1 ( G ) depends solely on the first term. Building upon this insight, we extend the Collatz function to π 1 ( G ) and conclude the section by showing that the Collatz function is topologically conjugate to the Shift function in Σ 2 * . We will use this result to establish that the set of periodic orbits is dense.

10.1. Summary of Propositions in the Section

1.
Lemma 19: Established that when the function d ( π 1 ( ξ ) , π 1 ( η ) ) = j N 1 3 j | 2 a j ( ξ ) 2 a j ( η ) | 1 3 r then ξ and η share at least the first k 1 terms.
2.
Proposition 40: Establishes that ( π 1 ( G ) , d ) is a complete metric space.
3.
Corollary 10: Established that the k coding set is an open set.
4.
Theorem 8: Established that the full coding set is a singleton set or an empty set depending on whether π 1 ( ξ ) is rational or not.
5.
Proposition 39: π 1 : G π 1 ( G ) is continuous.
6.
Corollary 11: The π 1 : G π 1 ( G ) R is a continuous function with the usual metric of R .
7.
Theorem 8: Let { ξ j } j = 1 G , then if π 1 ( { ξ j } j = 1 ) it is rational, then the π 1 ( { ξ j } j = 1 ) = p q only rational that satisfies C o d p q = { ξ j } j = 1 , in particular π 1 ( { ξ j } j = 1 ) Q o d d . If π 1 ( { ξ j } j = 1 ) it is irrational, then there is no rational p q such that C o d p q = { ξ j } j = 1 .
8.
Proposition 40: It establishes that the parity of π 1 ( ξ ) depends only on the first term of the series.
9.
Definition 23: Defines an extension of the Collatz function on all π 1 ( G ) .
10.
Proposition 41: The Collatz functions are continuous.
11.
Proposition 42: The Collatz function on π 1 ( G ) is topological conjugacy to Shift map on Σ 2 *
12.
Corollary 12: It is stable that the periodic points of the Collatz function in ( π 1 ( G ) , d ) are dense.
13.
Proposition 43 : Let ξ G and π 1 : Σ 2 * Z 2 and π 1 : Σ 2 * π 1 ( G ) R , then if π 1 ( ξ ) = α Z 2 and π 1 ( ξ ) = β Q , then α = β .

10.2. π 1 ( G ) as Complete Metric Space

To ensure the coherent definition of a metric in π 1 ( G ) , we need to "complete" the missing terms of the series to enable the calculation of the difference | 2 a k ( ξ ) 2 a k ( η ) | for all k N , irrespective of whether ξ or η has a null tail. To accomplish this, we define that when the sequence of 1s in ξ ends, the function a k will take on the value . Hence, we have | 2 a k ( ξ ) 2 a k ( η ) | = | 2 2 a k ( η ) | = 2 a k ( η ) from the index of ξ . Let ξ Σ 2 * with null tail with index J. We will write a short description.
π 1 { ξ } j = 1 : = j = 1 J 1 2 a k 3 j + j = J + 1 2 3 j
In the following lemma, we are going to introduce a new function, which, as we will see later, corresponds to a metric in the space π 1 ( G ) . Additionally, we will present another result that we will examine more closely in this section and essentially indicates to us that, since the parity of π 1 ( ξ ) depends only on the first term, we can interpret this in the following way: If two sequences are arbitrarily close, then they share the first terms of their encoding. This is of great importance for understanding the behavior of the orbits of the Collatz function, since, if we consider the Euclidean metric in Q or that of the absolute value, we observe the phenomenon that even though two numbers are arbitrarily close, their dynamics are completely different. One may converge to a cycle in a few iterations, while the other may take a very long time.
Lemma 19 
(Convergence and Coincidence Lemma). Let ξ , η G , then
1.
j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) is well defined.
2.
j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) 1 3 r a j ( ξ ) = a j ( η ) for all j < r . In addition, we have to ξ j 1 = η j for all j < r .
Proof. 
Let ξ , η G , then we have
Claim Let, a , b N then | 2 a 2 b | < 2 max { a , b } . If a = b , then 0 < 2 a . Suppose that a > b then
| 2 a 2 b | = 2 a 1 1 2 a b < 2 a .
□ of the Claim.
Now we prove that it is well-defined, by Claim we have:
d j = 1 2 a j ( ξ ) 3 j , j = 1 2 a j ( η ) 3 j = j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) < j = 1 2 max { a j ( ξ ) , a j ( η ) } 3 j
as 2 a j ( ξ ) 3 j and 2 a j ( η ) 3 j converge to 0, then for n > N exist J N such that if j > J we have
2 a j ( ξ ) 3 j , 2 a j ( η ) 3 j < 1 n
Then for j > J we also have
2 max { a j ( ξ ) , a j ( η ) } 3 j < 1 n
Then we have that 2 max { a j ( ξ ) , a j ( η ) } 3 j also converges to 0. Then by Proposition 22 we have j = 1 2 max { a j ( ξ ) , a j ( η ) } 3 j < . To prove the statement, we will consider whether the sequences ξ and η in Σ 2 * have a null tail or not.
Let us first assume that the sequence does not have a null tail, then if we have
j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) 1 3 r
All terms less than r must be null. Suppose there exists some non-zero term between 1 and r 1 , then we have that
1 3 r 1 j = 1 r 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) 1 3 r Then r 1 r
which is absurd. Then we have that j = 1 r 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) = 0 . Which implies that
a j ( ξ ) = a j ( η ) for all j < r .
Now we will prove that the sequences coincide up to r.
ξ = 0 θ 1 1 i = 2 10 θ i 1 and η = 0 θ 1 2 i = 2 10 θ i 2
writing this way, we have to
a j ( ξ ) = i = 1 j θ i 1 and a j ( η ) = i = 1 j θ i 2
then
θ j 1 = a j ( ξ ) a j 1 ( ξ ) = a j ( η ) a j 1 ( η ) = θ j 2 for all 1 j < r
which means that ξ and η share the first ( r 1 ) 10 θ j blocks Now suppose that ξ has a null tail of index I + 1 and η has no tail null. Then we have
j = 1 I 1 3 j 2 a j ( ξ ) 2 a j ( η ) + j = I + 1 1 3 j 2 a j ( η ) 1 3 r
if r I then we have the previous case, then a j ( ξ ) = a j ( η ) for all j < r . Now if r > I we have
j = 1 I 1 3 j 2 a j ( ξ ) 2 a j ( η ) + j = I + 1 1 3 j 2 a j ( η ) 1 3 r j = 1 I 1 3 j 2 a j ( ξ ) 2 a j ( η ) + j = I + 1 r 1 1 3 j 2 a j ( η ) = 0
The latter makes sense if η also has a null tail of index I + 1 , then
ξ j = η j for all j N
In particular ξ j = η j for all j < r . Finally, suppose that ξ and η have a null tail of index I + 1 and L + 1 respectively, without loss of generality we can assume that I L . Then
j = 1 I 1 3 j 2 a j ( ξ ) 2 a j ( η ) + j = I + 1 L 1 3 j 2 a j ( η ) + j = L + 1 1 3 j 2 1 3 r
1.
If 1 r I then all terms with an index less than r are null and in particular we have a j ( ξ ) = a j ( η ) for j < r . and as we already saw in the proofs above, this implies that ξ j = η j for all j < r .
2.
If r I . Then j = I + 1 L 1 3 j 2 a j ( η ) = 0 we have that I = J therefore ξ = η . particular we have a j ( ξ ) = a j ( η ) for j < r .
Now we are going to show that the function we defined above is a complete metric on π 1 ( G ) .
Proposition 38 
(Metric space complete). Let d : π 1 ( G ) × π 1 ( G ) [ 0 , ) given by
d j = 1 2 a j ( ξ ) 3 j , j = 1 2 a j ( η ) 3 j = j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η )
Then ( π 1 ( G ) , d ) is a metric space complete.
Proof. 
Let’s prove that d is a metric through the axioms of metric:
1.
d ( π 1 ( ξ ) , π 1 ( η ) ) = 0 if and only if π 1 ( ξ ) = π 1 ( η ) for all π 1 ( ξ ) , π 1 ( η ) π 1 ( G ) : Trivially we have that if π 1 ( ξ ) = π 1 ( η ) , then
d j = 1 2 a j ( ξ ) 3 j , j = 1 2 a j ( ξ ) 3 j = j = 1 1 3 j 2 a j ( ξ ) 2 a j ( ξ ) = 0 .
Let π 1 ( ξ ) , π 1 ( η ) π 1 ( G ) such that
d j = 1 2 a j ( ξ ) 3 j , j = 1 2 a j ( η ) 3 j = j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) = 0
by lemma 19 we have
j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) 1 3 r a j ( ξ ) = a j ( η ) for j < r
In particular, for r we have ξ = η .
2.
d ( π 1 ( ξ ) , π 1 ( η ) ) = d ( π 1 ( η ) , π 1 ( ξ ) ) for all π 1 ( ξ ) , π 1 ( η ) π 1 ( G ) :
j = 1 k 1 3 j 2 a j ( ξ ) 2 a j ( η ) = j = 1 k 1 3 j 2 a j ( η ) 2 a j ( ξ )
then
j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) = j = 1 1 3 j 2 a j ( η ) 2 a j ( ξ )
3.
d ( π 1 ( ξ ) , π 1 ( η ) ) d ( π 1 ( ξ ) , π 1 ( κ ) ) + d ( π 1 ( κ ) , π 1 ( η ) ) for all, π 1 ( ξ ) , π 1 ( η ) , π 1 ( κ ) π 1 ( G )
j = 1 k 1 3 j 2 a j ( ξ ) 2 a j ( η ) j = 1 k 1 3 j 2 a j ( ξ ) 2 a j ( κ ) + j = 1 k 1 3 j 2 a j ( κ ) 2 a j ( η )
then
j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) j = 1 1 3 j 2 a j ( ξ ) 2 a j ( κ ) + j = 1 1 3 j 2 a j ( κ ) 2 a j ( η )
then ( π 1 ( G ) , d ) is a metric space. Now we are going to prove that it is a complete metric space. Let { { π 1 ( ξ j k ) } j = 1 } k = 1 be a Cauchy sequence on π 1 ( G ) then for any ε > 0 exist K > 0 such that
d ( { π 1 ( ξ j n ) } j = 1 , { π 1 ( ξ j m ) } j = 1 ) = j = 1 1 3 j 2 a j ( ξ n ) 2 a j ( ξ m ) < ε for all n , m > K
Let r > 0 such that j = 1 1 3 j 2 a j ( ξ n ) 2 a j ( ξ m ) < 1 3 r < ε by lemma 19 we have
ξ j n = ξ j m for all j < r
On the other hand let D : Σ 2 * × Σ 2 * [ 0 , ) the symbolic metric of two symbols given by
D ( ξ , η ) = j = 1 1 2 j Δ ( ξ j , η j )
with
Δ ( ξ j , η j ) = 1 if ξ j η j 0 if ξ j = η j
The space ( Σ 2 * , D ) is a complete metric space with the property that if two sequences are arbitrarily close if and only if their first terms are equal.
D ( ξ , η ) < 1 2 r if and only if ξ j = η j for all j < r .
then given a Cauchy sequence in π 1 ( G ) by the observation above we obtain a Cauchy sequence in Σ 2 * and the latter being complete there is a ξ Σ 2 * such that
ξ n ξ as n
We will now prove that ξ is in G and that the sequence π 1 ( ξ n ) converges to π 1 ( ξ ) .
1.
Let’s prove that G is complete. Let { ξ j } j N a Cauchy sequence on G and let lim j ξ j = ξ Σ 2 * . Let’s show that ξ G . Let R = a j + b j , then by definition we have exist N > 0 such that D ( ξ n , ξ m ) < 1 R for all m , n > N , so we have ξ m and ξ n have the first R terms equal, Suppose ξ has no null tail then b j = j and
lim j 3 j 2 a j + 1 = so ξ G
If ξ has a null tail, then by definition it is in G .
2.
Let’s prove that π 1 ( G ) is complete. Let π 1 ( ξ k ) a Cauchy sequence in π 1 ( G ) . Let r N , then exist N such that
d ( π 1 ( ξ n ) , π 1 ( ξ m ) ) < 1 3 r for all m , n > N
by Lemma 19 we have D ( ξ n , ξ m ) < 1 2 r for all m , n > N . In other words we have that { ξ j } is a Cauchy sequence in G . As we proved in point 1, we have that G is a complete metric subspace of Σ 2 * , so exist ξ G such that lim j ξ j = ξ . Let us now demonstrate that lim j π 1 ( ξ j ) = π 1 ( ξ )
d ( π 1 ( ξ j ) , π 1 ( ξ ) ) = k N 1 3 k 2 a k ( ξ j ) 2 a k ( ξ ) = k = 1 r 1 3 k 2 a k ( ξ j ) 2 a k ( ξ ) = 0 + k = j + 1 1 3 k 2 a k ( ξ j ) 2 a k ( ξ ) k = r + 1 1 3 k 2 max { a k ( ξ j ) , a k ( ξ ) } 0 as r
Therefore π 1 ( G ) it is a complete space.
then we can conclude that the metric space ( π 1 ( G ) , d ) is complete. □
With this metric, we have that the coding sets are open sets.
Corollary 10 
( C o d k is an open set). Let ξ G and k N . Then C o d k ( ξ ) is an open set on ( π 1 ( G ) , d )
Proof. 
Let ξ G and u π 1 ( G ) such that u C o d k ( ξ ) . Let us consider v in π 1 ( G ) such that d ( u , v ) < 1 3 k + 1 , by definition, exist μ , τ G such that π 1 ( μ ) = u and π 1 ( τ ) = v . By Lemma 19 have μ j = τ j for j k , then we have that v C o d k ( ξ ) . Therefore, then B u , 1 3 k + 1 i.e. the ball of radius 1 3 k + 1 and center u is a subset of C o d k ( ξ ) , therefore C o d k ( ξ ) is an open set. □
Proposition 39 .
π 1 : G π 1 ( G ) is continuous.
Proof. 
Let ξ G and { η j } l N a sequence on G such that D ( η j , ξ ) < 1 2 r , so a k ( η j ) = a k ( ξ ) for all j < r , then we have
d ( π 1 ( η j ) , π 1 ( ξ ) ) = k = r | 2 a k ( η j ) ) 2 a k ( η ) ) | 3 k 0 as r
Therefore d ( π 1 ( η j ) , π 1 ( ξ ) ) 0 as D ( η j , ξ ) 0 , that is to say that π 1 es □
Corollary 11. 
The π 1 : G π 1 ( G ) R is a continuous function with the usual metric of R .
Proof.Let ξ G a sequence { ξ j } on G such that ξ j ξ . By continuity of π 1 : G π 1 ( G ) we have
π 1 ( ξ j ) π 1 ( ξ ) = j N 2 a j ( ξ j ) 3 j j N 2 a j ( ξ ) 3 j j N 1 3 j 2 a j ( ξ j ) 2 a j ( ξ ) = d ( π 1 ( ξ j ) , π 1 ( ξ ) ) 0 as D ( ξ j , ξ ) 0
Theorem 8:
(Asymptotic Solutions Theorem). Let { ξ j } j = 1 G , then if π 1 ( { ξ j } j = 1 ) it is rational, then the π 1 ( { ξ j } j = 1 ) = p q only rational that satisfies C o d p q = { ξ j } j = 1 , in particular π 1 ( { ξ j } j = 1 ) Q o d d . If π 1 ( { ξ j } j = 1 ) it is irrational, then there is no rational p q such that C o d p q = { ξ j } j = 1 .
Proof. 
Let ξ G , We have by definition that π 1 ( ξ ) = lim k π k 1 ( ξ ) Q . First, we will prove that this limit also makes sense in ( π 1 ( G ) , d ) . We have:
Claim 1: d ( π k 1 ( ξ ) , π 1 ( ξ ) ) 0 as k .
Indeed, we have
d ( π k 1 ( ξ ) , π 1 ( ξ ) ) = j = 1 n 1 3 j | 2 a j ( ξ ) 2 a j ( ξ ) | 0 + j = k + 1 2 a j ( ξ ) 3 j = j = k + 1 2 a j ( ξ ) 3 j
By Proposition 22, we have j = k + 1 2 a j ( ξ ) 3 j 0 as k , then d ( π k 1 ( ξ ) , π 1 ( ξ ) ) 0 as k
We will now prove, using the completeness of ( π 1 ( G ) , d ) , that π 1 ( ξ ) π 1 ( G ) :
Claim 2: π 1 ( ξ ) π 1 ( G ) .
We can be rewritten,
π k 1 ( ξ ) = π 1 { ξ j } j = 1 k 000
let’s prove that π k 1 ( ξ ) is a Cauchy sequence in π 1 ( G ) . Let ε > 0 and n , m N with n < m , then
d ( π n 1 ( ξ ) , π m 1 ( ξ ) ) = j = 1 n 1 3 j | 2 a j ( ξ ) 2 a j ( ξ ) | 0 + j = n + 1 m 2 a j ( ξ ) 3 j = j = n + 1 m 2 a j ( ξ ) 3 j
Since ξ G we have by Proposition 22 π 1 ( ξ ) is convergent, then j = n + 1 m 2 a j ( ξ ) 3 j 0 as n , m . Therefore, exists N N such that n , m > N we have j = n + 1 m 2 a j ( ξ ) 3 j < ε . Then the sequence is Cauchy and since π 1 ( G ) is a complete metric space, we have that π 1 ( ξ ) = lim k π k 1 ( ξ ) π 1 ( G ) .
□ of the Claim.
Claim 3: Let ξ = 0 θ 1 10 θ 2 10 θ k + 1 Σ 2 * , then π k 1 ( ξ ) C o d a k + 1 ( ξ ) .
Indeed, let S k θ , ψ such that C o d ( S k ) = 0 θ 1 10 θ 2 10 θ k + 1 by Proposition 12 we have
S k ( π k 1 { ξ j } j = 1 = 3 k ( π k 1 { ξ j } j = 1 + N k 2 a k + 1 = 3 k N k 3 k + N k 2 a k + 1 = 0 .
In other hand, we have
3 k N k 3 k + N k 2 a k + 1 = 3 k ( N k ) + 3 k ( N k ) 3 k 2 a k + 1 = 1 3 k 3 k ( N k ) + 3 k ( N k ) 2 a k + 1 = 1 3 k S 3 k ( N k )
then N k E ( S 3 k ) , by Proposition 12 we have C o d 3 k ( S k 3 k ) = C o d ( S k ) . Therefore C o d a k + 1 N k 3 k = C o d a k + 1 ( π k 1 ( ξ ) ) = C o d 3 k ( S 3 k ) = C o d ( S k ) .
□ of the Claim.
Claim 4: π 1 ( ξ ) C o d k ( ξ ) for all k N .
Let L + 1 N , we have by Claim 1, exist K N such that if k > K > L + 1 so d ( π k 1 ( ξ ) , π 1 ( ξ ) ) < 1 3 L + 1 , By Lemma 19 we have to share the first L terms of the coding. On the other hand, by Claim 3, we have that π k 1 ( ξ ) C o d a k + 1 ( ξ ) and since we have a k + 1 > K > L + 1 , due to the Monotonicity of C o d , we have π k 1 ( ξ ) C o d L ( ξ ) . Therefore π 1 ( ξ ) C o d L ( ξ ) .
□ of the Claim.
Claim 5: π 1 ( ξ ) C o d ( ξ ) .
Since π 1 ( ξ ) C o d k ( ξ ) for all k N , we have to
π 1 ( ξ ) k N C o d k ( ξ ) = C o d ( ξ ) .
□ of the Claim.
Claim 6: C o d π 1 { ξ j } j = 1 = { ξ j } j = 1 .
We first show that π 1 ( ξ ) Q o d d . Let’s assume that π 1 { ξ j } j = 1 converges to a fraction with an even denominator; then its coding is 1111 . However, 1111 is not an element of Σ 2 * , which leads to a contradiction with claim 4. Then we have π 1 ( ξ ) Q o d d and, by Theorem 5, we have C o d π 1 { ξ j } j = 1 = { ξ j } j = 1 .
□ of the Claim.
For the next part of the proposition, we will leverage the results presented in Section 9. In this section, we introduce the Sigma function along with its main properties and applications in solving linear Diophantine equations. It serves as an alternative to classical methods for solving this type of equation.
Claim 7: If π 1 ( { ξ j } j = 1 ) it is irrational, then there is no rational then there is no rational p q such that c o d p q = { ξ j } j = 1 .
We will prove that there is no rational solution, By the theorem 4 we have that if there is another rational solution it must be a minimum positive integer value or a maximum negative integer value for S k ( x ) θ , ψ q such that C o d ( S k ) = { ξ j } j = 1 k + 1 = 0 θ 1 10 θ 2 0 θ k 10 θ k + 1 for unique q not null, by proposition 5 we have
S k ( x ) = 3 k x + q N k ( { ξ j } j = 1 ) 2 a k + 1
by Propositions 7 and 31 the minimum positive integer value is
ρ 0 ( S k ) = 1 3 k 2 a k + 1 σ 3 k a k + 1 ( q N k ) q N k = 2 a k + 1 σ a k + 1 ( q π k 1 ( { ξ j } j = 1 ) q π k 1 ( { ξ j } j = 1 ) = C o d σ a k + 1 ( q π k 1 ( { ξ j } j = 1 )
and the maximum negative integer value is
ρ 1 ( S k ) = 1 3 k 2 a k + 1 σ 3 k a k + 1 ( q N k ) q N k = 1 3 k 2 a k + 1 σ 3 k a k + 1 ( q N k ) q N k 2 a k + 1 = C o d σ a k + 1 ( q π k 1 ( { ξ j } j = 1 ) 2 a k + 1
On the other hand, by Proposition 37 we have that the coding of the
σ a k + 1 ( q π k 1 ( { ξ j } j = 1 ) = j = 1 a k + 1 1 δ j 2 j with δ j { 0 , 1 } .
Since π 1 ( { ξ j } j = 1 ) is irrational, then the dyadic expansion of q π 1 ( { ξ j } j = 1 ) will never have a tail of 0 or 1 for all q Z , so C o d σ a k ( q π k 1 ( { ξ j } j = 1 ) has an infinite number of non-zero digits for all q Z . In particular we have to ρ 0 ( S k ) . Now for ρ 1 ( S k ) , we have
ρ 1 ( S k ) = j = 1 a k + 1 1 δ j 2 j 2 a k + 1 = j = 1 a k + 1 1 δ j 2 j j = 1 a k + 1 1 2 j = j = 1 a k + 1 1 ( δ j 1 ) 2 j
for this sum to be finite it is necessary exist J > 0 such that δ j are all 1 for j > J , however as q π k 1 ( { ξ j } j = 1 ) is irrational for all q Z , then there are infinitely many terms of δ j that are null, then this sum is divergent.
Then if π k 1 ( { ξ j } j = 1 ) is irrational then there is no rational p q such that c o d p q = { ξ j } j = 1 .
□ of the Claim.
Example 15. 
1.
Let ξ 1 = 101010 Σ 2 * , then π 1 ( ξ ) = 1 (see Example 10). Therefore C o d ( 1 ) = 101010 .
2.
Let ξ 2 = 1010010100 Σ 2 * , then
π 1 ( ξ 2 ) = 1 3 + 2 3 2 + 2 3 3 3 + 2 4 3 4 + 2 6 3 5 + 2 7 3 6 + 2 9 3 7 + = 1 3 + 2 3 2 + 2 3 3 3 + 2 3 3 2 2 3 2 + 2 3 3 3 + 2 3 3 2 2 2 3 2 + 2 3 3 3 + = 1 3 + 2 3 2 + 2 3 3 3 j = 1 2 3 3 2 j = 1 3 + 2 3 2 + 2 3 3 3 1 1 2 3 3 2 = 5
Therefore C o d ( 5 ) = 1010010100
Proposition 40 
(Parity Preservation Proposition). Let { ξ j } j = 1 G such that π 1 ( { ξ j } j = 1 ) Q o d d , then
C o l π 1 ( { ξ j } j = 1 ) = 3 π 1 ( { ξ j } j = 1 ) + 1 2 if a 1 = 0 1 2 π 1 ( { ξ j } j = 1 ) if a 1 > 0
or equivalent if π 1 ( { ξ j } j = 1 ) = j = 1 2 a j 3 j then
C o l j = 1 2 a j 3 j = j = 1 2 a j + 1 3 j if a 1 = 0 j = 1 2 a j 1 3 j if a 1 > 0 or
Proof. 
Let’s prove that the parity of π 1 ( { ξ j } j = 1 ) only depends on the first term
π 1 ( { ξ j } j = 1 ) = 2 a 1 3 + j = 2 2 a j 3 j = 2 a 1 3 + 2 j = 2 2 a j 1 3 j
Claim: The series j = 2 2 a j 1 3 j cannot converge to a fraction with an even denominator.
Let us assume by contradiction that have j = 2 2 a j 1 3 j = p 2 q with ( q , p ) = ( p , 2 ) = 1 . Let { ξ j } j = 1 l 0 G such that π 1 { ξ j } j = 1 l 0 = 2 a 1 3 . Let η G given by η = { ξ j } j = l + 1 so π 1 ( η ) = π 1 { ξ j } j = l + 1 = j = 2 2 a j 1 3 j = p 2 q and since η are in G , this generates a contradiction to the Theorem 8.
Let j = 2 2 a j 1 3 j = p q with ( p , q ) = ( q , 2 ) = 1 . We have:
π 1 ( { ξ j } j = 1 ) = 2 a 1 3 + j = 2 2 a j 3 j = 2 a 1 3 + 2 j = 2 2 a j 1 3 j = 2 a 1 3 + 2 p q = 2 a 1 q + 6 p 3 q
if a 1 = 0 then 2 0 q + 6 p = q + 6 p is odd, since q is odd. Then π 1 ( { ξ j } j = 1 ) is odd, and if a 1 > 0 then 2 a 1 q + 6 p is even. Then π 1 ( { ξ j } j = 1 ) is even. In the case that a 1 = we have that ξ = 0 or equivalent ξ j = 0 for all j N 0 , so π 1 ( 0 ) = 0 , then C o l ( 0 ) = 0 2 = 0 . □
Definition 23 
(Extension Collatz functions on π 1 ( G ) ). We defined C o l : π 1 ( G ) π 1 ( G ) by
C o l π 1 ( { ξ j } j = 1 ) = 3 π 1 ( { ξ j } j = 1 ) + 1 2 if a 1 = 0 1 2 π 1 ( { ξ j } j = 1 ) if a 1 > 0
or equivalent if π 1 ( { ξ j } j = 1 ) = j = 1 2 a j 3 j then
C o l j = 1 2 a j 3 j = j = 1 2 a j + 1 1 3 j if a 1 = 0 j = 1 2 a j 1 3 j if a 1 > 0 or
The extension of the Collatz function on - π 1 ( G ) is continuous.
Proposition 
(Collatz function is continuous). C o l : π 1 ( G ) π 1 ( G ) is continuous.
Proof. 
Let us consider the metric induced in π 1 ( G ) by i d : π 1 ( G ) π 1 ( G ) , that is, d π 1 ( G ) ( u , v ) = d ( u , v ) on π 1 ( G ) , we will use the same notation for both metrics.
Let u π 1 ( G ) and { u j } j N sequence of π 1 ( G ) such that u j u . Let ξ , ξ j G such that C o d ( u ) = ξ and C o d ( ξ j ) = u j .
d ( u j , u ) = k N | 2 a k ( ξ j ) 2 a k ( ξ ) | 3 k 0 as j .
then if a 1 > 0 so
d ( C o l ( u j ) , C o l ( u ) ) = k N | 2 a k ( ξ j ) 1 2 a k ( ξ ) 1 | 3 k 0 as j .
and if a 0 = 1 , so
d ( C o l ( u j ) , C o l ( u ) ) = k N | 2 a k + 1 ( ξ j ) 1 2 a k + 1 ( ξ ) 1 | 3 k = | 2 a 1 ( ξ j ) 2 a 1 ( ξ ) | 3 = 0 + 3 2 k N | 2 a k + 1 ( ξ j ) 2 a k + 1 ( ξ ) | 3 k + 1 = 1 2 k N | 2 a k ( ξ j ) 2 a k ( ξ ) | 3 k 0 as j .
Therefore C o l is continuous. □

10.3. Topological Conjugation

In a dynamic system, there is a well-studied dynamics in the space of sequences of two symbols, known as the shift map. This map acts on the sequences by eliminating the first term. It is known that with the metric D, this map is continuous, and its periodic orbits form a dense set. In the following proposition, we will show that the extension of the Collatz function on π 1 ( G ) is, in fact, topologically conjugate to the dynamics of the Shift map.
Proposition .
Let us consider the following function ω : Σ 2 * Σ 2 * given by,
ω { ξ j } j = 1 = { ξ j + 2 } j = 1 if ξ 1 = 10 { ξ j + 1 } j = 1 if ξ 1 = 0
Then C o l and ω are Topologically Conjugacy.
Proof. 
We are going to prove that this diagram is commutative
G [ r ] ω [ d ] π 1 G [ d ] π 1 π 1 ( G ) [ r ] C o l π 1 ( G )
and that π 1 is a homeomorphism.
Claim 1: The diagram is commutative. Suppose that { ξ j } j = 1 = 0 θ 1 10 θ 2 10 θ 3 = 0 θ 1 j = 2 10 θ j G with θ j N . In this way, we get an explicit form for the function a k = j = 1 k θ j . If a 1 = 0 we have
C o l ( π 1 ) j = 2 10 θ j = C o l k = 2 2 a k ( { ξ j } j = 2 ) 3 k = 1 2 3 k = 2 2 a k ( { ξ j } j = 2 ) 3 k + 1 = 1 2 k = 3 2 a k ( { ξ j } j = 2 ) 3 k 1 + 1 = 1 2 1 k = 2 2 a k ( { ξ j } j = 2 ) 3 k 1 + 1 = k = 2 2 a k ( { ξ j } j = 2 ) 1 3 k 1 = k = 2 2 a k + 1 ( { ξ j } j = 1 ) 1 3 k
and
π 1 ω j = 2 10 θ j = π 1 0 θ 2 1 j = 3 10 θ j = k = 2 2 a k + 1 ( { ξ i } i = 2 ) 1 3 k
where both parts are equal. On the other hand. suppose that { ξ j } j = 1 = 0 θ 1 10 θ 2 1 = j = 1 0 θ j 1 G with θ j N and θ 1 > 0 . We have
C o l ( π 1 ) j = 1 0 θ j 1 = C o l k = 1 2 a k ( { ξ i } i = 1 ) 3 k = k = 1 2 a k ( { ξ i } i = 1 ) 1 3 k
and
( π 1 ) ω j = 1 0 θ j 1 = ( π 1 ) θ θ 1 1 j = 1 0 θ j 1 = k = 1 2 a k ( { ξ j } j = 1 ) 1 3 k
where again both parts are equal. Then we conclude that the diagram is commutative.
Claim 2: π 1 : G π 1 ( G ) with It is a bijective function. Let C o d : π 1 ( G ) G let us prove that C o d π 1 = I d G and π 1 C o d = I d π 1 ( G ) .
1.
C o d π 1 = I d G : Let ξ = ξ 1 ξ 2 ξ 3 G with ξ j { 0 , 10 } . Since the parity of j = 1 2 a j 3 j depends only on the first term, if ξ starts with 0 then a 1 > 0 , then j = 1 2 a j 3 j is even then the first term of its coding is 0, and if ξ starts with 1 then a 1 = 0 then j = 1 2 a j 3 j is odd then the first term of coding is 10. By applying the Collatz function, we obtain the same result as applying a translation of the terms of ξ . Indeed
(a)
if a 1 = 0
C o l j = 1 2 a j 3 j = j = 1 2 a j + 1 1 3 j = π 1 ( ξ 2 ξ 3 ) .
(b)
if a 1 > 0
C o l j = 1 2 a j 3 j = j = 1 2 a j 1 3 j = π 1 ( ξ 2 ξ 3 ) .
Then applying the function π 1 . Then we can repeat the same procedure and we recover ξ . Therefore
C o d ( π 1 ( ξ ) ) = ξ
2.
π 1 C o d = I d π 1 ( G ) : Let u π 1 ( G ) and ξ G such that π 1 ( ξ ) = u . On the other hand we have C o d ( π 1 ( ξ ) ) = C o d ( u ) and C o d ( π 1 ( ξ ) ) = ξ then C o d ( u ) = ξ , applying π 1 on both sides we have π 1 ( C o d ( u ) ) = π 1 ( ξ ) = u .
□ of the Claim.
Claim 3: π 1 : G π 1 ( G ) is continuous. Consequence of the Proposition 42.
□ of the Claim.
Claim 4: C o d : π 1 ( G ) G is continuous. Let u π 1 ( G ) and let ε > 0 . Take r N such that 1 2 r < ε . then by Lemma 19 we have
d ( u , v ) < 1 3 r C o d ( u ) j = C o d ( v ) j for all j < r D ( C o d ( u ) , C o d ( v ) ) < 1 2 r < ε
□ of the Claim.
Therefore, π 1 is a homeomorphism and therefore a topological conjugation. □
Corollary 12 
(The Periodic orbit of Collatz function). The set of periodic orbits of Collatz function is dense in π 1 ( G )
Proof. 
Direct consequence of the proposition 42 □
As a consequence of the uniqueness of solutions to the coding problem in Z 2 and in π 1 ( G ) , we have that the numeric value of the function π 1 : G Z 2 and π 1 : G π 1 ( G ) R coincide.
Proposition .
Let ξ G and π 1 : Σ 2 * Z 2 and π 1 : Σ 2 * π 1 ( G ) R , then if π 1 ( ξ ) = α Z 2 and π 1 ( ξ ) = β Q , then α = β .
Proof. 
By the Proposition we know that there exists a unique α Z 2 such that C o d ( α ) = ξ . On the other hand, we have that j N 2 a j 3 j = β R also satisfies C o d ( β ) = ξ . If β Q (with odd denominator), then β can be embedded in Z 2 , hence by uniqueness we have β = α . □

11. The G 1 Is Positive Unstable

Having successfully characterized the sets G 0 and G via the asymptotic behavior of the auxiliary functions π 1 and π 2 , we now direct our analysis to the critical set G 1 . The primary objective of this section is to prove that G 1 is positive instability and, fundamentally, to demonstrate that no rational number admits a coding sequence ξ belonging to this set.
To establish these results, we construct the proof through three analytical stages. First, we introduce the fix function, which maps a coding sequence to the fixed point of its associated affine transformation within θ , ψ . We demonstrate that the asymptotic behavior of fix ( ξ ) acts as a discriminator between the sets: unlike G 0 and G , the function is unbounded for ξ G 1 . Second, we establish a necessary condition for positive stability through the concept of minimality, proving that any positively stable system must be reducible to a minimal form. Finally, we connect these dynamical properties with the arithmetic structure of Q o d d by analyzing the stopping time T ( r ) and the 2-adic expansion of rational numbers. This synthesis reveals that the unbounded nature of the fix function in G 1 is incompatible with the arithmetic constraints of rational orbits, thereby confirming the instability of the set.

11.1. Summary of Propositions in the Section

1.
Definition 24: Definition of the fix function.
2.
Proposition 44: Establishes the asymptotic behavior of fix ( ξ ) for the sets G , G 0 , and G 1 .
3.
Definition 25: Definition of minimal and reducible to minimal affine maps S.
4.
Definition: Definition of minimal and reducible to minimal sequences of maps { S j } j N .
5.
Proposition 45: If { S j } j N is positively stable, then it is reducible to minimal.
6.
Lemma 20: Relates the stopping time T ( r ) to the exponents a j for minimal sequences.
7.
Proposition 46: Establishes the relationship between the stopping time T ( r ) and the non-periodic part of the 2-adic expansion of r .
8.
Proposition 47: Ensures that if integer approximations eventually fall into the minimal region ( 0 , 1 ) , the rational sequence will inevitably follow suit.
9.
Proposition 49: Let ξ G 1 . Then { S k } θ , ψ q associated with ξ is negatively unstable.
10.
Proposition 48: If { S j } j N is positively stable and the perturbation term decays sufficiently fast, then it is strictly minimal.
11.
Proposition 50: Proves that lim k 1 2 a k + 1 π k 1 ( ξ ) = 0 for ξ G 0 G 1 G .
12.
Lemma 21: Provides a strict lower bound for the exponential incremental quotient ( | e x 1 | > R 0 | x | ), crucial for applying transcendental bounds.
13.
Proposition 51: Proves that the normalized limit of the fix function is zero: lim k 1 2 a k + 1 fix k ( ξ ) = 0 .
14.
Proposition 52: Demonstrates that the topological proximity of periodic sequences forces their 2-adic non-periodic parts to be nested.
15.
Theorem 9: Main theorem establishing that for ξ G 1 , no rational number p / q exists such that C o d ( p / q ) = ξ , proving that G 1 is positive unstable.

11.2. The Fix Function

Definition 24. 
Let ξ Σ 2 * be a sequence without a null tail. We define the fix function, fix : Σ 2 * { f : N R } , by the mapping fix ( ξ ) : N R :
fix ( ξ ) ( k ) = 1 1 2 a k + 1 a 1 3 k j = 1 k 2 a j 3 j = 1 1 2 a k + 1 a 1 3 k π k 1 ( ξ ) .
This function associates with each sequence ξ the fixed point of the map S θ , ψ whose first k coding bits correspond to { ξ j } j = 1 k . The asymptotic behavior of this function allows us to distinguish between the sets G 0 , G , and G 1 , as shown in the following proposition.
Proposition 44 .
Let ξ Σ 2 * and π 1 : Σ 2 * R and π 2 , fix : Σ 2 * { f : N R } . Then we have:
1.
if ξ G then exist lim k fix ( ξ ) ( k ) and lim k fix ( ξ ) ( k ) = π 1 ( ξ ) .
2.
if ξ G 0 then fix ( ξ ) is bounded and if π 2 ( ξ ) ( k j ) is a subsequence convergent then lim j fix ( ξ ) ( k j ) = lim j π 2 ( ξ ) ( k j ) .
3.
if ξ G 1 then exist a subsequence of a k such that lim l | fix ( k l ) | = .
Proof. 
Let ξ Σ 2 * , then:
1.
If ξ G and let π 1 : Σ 2 * R by Proposition 22 we have
fix ( ξ ) ( k ) ( π k 1 ( ξ ) ) = 1 1 2 a k + 1 3 k π k 1 ( ξ ) + π k 1 ( ξ ) = | π k 1 ( ξ ) | 1 1 2 a k + 1 3 k 1 < Ω 1 1 2 a k + 1 3 k 1 0 as k , sin ce lim k 2 a k + 1 3 k = 0
then lim k fix ( ξ ) = lim k π k 1 ( ξ ) = π 1 ( ξ ) R
2.
If ξ G 0 then | π 2 ( ξ ) | < Ω . On the other hand, we have the following.
| fix ( ξ ) ( k ) π 2 ( ξ ) ( k ) | = 1 1 2 a k + 1 3 k π k 1 ( ξ ) 3 k 2 a k + 1 π k 1 ( ξ ) = 3 k 2 a k + 1 π k 1 ( ξ ) 2 a k + 1 3 k 1 2 a k + 1 3 k + 1 < Ω 2 a k + 1 3 k 1 2 a k + 1 3 k + 1 0 as k sin ce 2 a k + 1 3 k 1 2 a k + 1 3 k 1
Then if π 2 ( ξ ) ( k j ) is a convergent subsequence, then lim j π 2 ( ξ ) ( k j ) = lim j fix ( ξ ) ( k j ) . Now we will demonstrate that fix ( ξ ) is bounded. Let K > 0 such that | fix ( ξ ) ( k ) π 2 ( ξ ) ( k ) | < 1 then
| fix ( ξ ) ( k ) | < max k K { fix ( ξ ) ( k ) } + Ω + 1
3.
If ξ G 1 , then exist a subsequence of a k such that lim l a k l + 1 k l = ln 3 ln 2 so exist ε > 0 such that
1 1 2 a k l + 1 3 k l > ε
Suppose that exist a subsequence { a k l j } l N such that 1 1 2 a k l j + 1 3 k l j 0 as l , this is equivalent to 1 2 a k l j + 1 3 k l j as l so
lim l 2 a k l j + 1 3 k l j =
This contradicts Proposition 16 where it states that there exist M , m > 0 such that m < 3 k l 2 a k l + 1 < M for all l N .
Therefore, we have
| fix ( k l ) | = 1 1 2 a k l + 1 3 k l π k l 1 ( ξ ) > ε π k l 1 ( ξ )
Let us denote by γ k l = ε π k l 1 ( ξ ) , as π k l 1 ( ξ ) = j = 1 k l 2 a j 3 j , then we have that γ k l is monotonically increasing, on the other hand as ξ G , then by Proposition 22 we have that π k l 1 ( ξ ) as l

11.3. Minimality

With the analytical properties of fix ( ξ ) established, we now proceed to link these properties to the dynamical stability of the system. To do this, we need to introduce the concept of minimality for the affine maps involved.
Definition 25. 
Let S : R R be given by S ( x ) = q x + N 2 a . We say that S isminimalif:
0 < σ q a ( N ) < q
and we say that S isreducible to minimalif exist u < 2 a such that u = N ( mod 2 a ) :
0 < σ q a ( u ) < q
Example 16. 
Let S : R R given by S ( x ) = 3 x + 11 4 . This is not minimal and reducible to minimal, since σ 3 2 ( 11 ) = 5 3 and 11 = 3 ( mod 4 ) with σ 3 2 ( 3 ) = 3 3
Definition 26. 
Let { S j } j N θ , ψ . Then { S j } j N is minimal (or reducible to minimal) if there exists J > 0 such that S j is minimal (or reducible to minimal) for all j > J .
Example 17. 
Let S k : R R given by S k ( x ) = 3 k x + 3 k + 2 k 2 k . This is not minimal and reducible to minimal, since σ 3 k k ( 3 k + 2 k ) = 3 k + 1 3 and 3 k + 2 k = 3 k ( mod 2 k ) with σ 3 k k ( 3 k ) = 3 k 3 k
The importance of minimality lies in its relationship with positive stability. As the following proposition shows, if a sequence of functions constitutes a positively stable system, it must eventually exhibit this reducibility property. This provides a necessary condition for stability.
Proposition .
Let { S j } j N θ , ψ q . If { S j } j N is positively stable, then { S j } j N is reducible to minimal.
Proof. 
Suppose that { S j } j N is not reducible to minimal. This means there exists a subsequence of { S j } j N such that σ 3 j a j + 1 ( q N j ( mod 2 a j + 1 ) ) 3 j . Let u j = q N j ( mod 2 a j + 1 ) such that u j < 2 a j + 1 then q N j = u j + 2 a j + 1 v j with v j Z . Calculating the minimal value ρ 0 :
ρ 0 ( S j ) = 2 a j + 1 σ a j + 1 q N j 3 j q N j 3 j = 2 a j + 1 σ a j + 1 u j + 2 a j + 1 v j 3 j u j + 2 a j + 1 v j 3 j = 2 a j + 1 σ a j u j 3 j + σ a j + 1 2 a j + 1 v j 3 j u j + 2 a j + 1 v j 3 j = 2 a j + 1 σ a j + 1 u j 3 j + v j 3 j u j + 2 a j + 1 v j 3 j = 2 a j + 1 σ a j + 1 u j 3 j u j 3 j 2 a j + 1 u j 3 j > 2 a j + 1 2 a j + 1 3 j = 2 a j + 1 1 1 3 j as j .
Thus { S j } j N is positively unstable. □
To quantify the "distance" of an element from stability, we introduce the stopping time function T ( r ) . This function measures the number of iterations required for an orbit to enter the unit interval [ 0 , 1 ] .
Lemma 20. 
Let r Q o d d . Define T ( r ) = min { n N 0 : σ n ( r ) [ 0 , 1 ] } . If { S j } j N θ , ψ q with C o d ( S j + 1 ) = C o d ( S j ) ( mod 2 a j ) is Minimal, then there exists J > 0 such that T q N j 3 j a j for all j > J .
Proof. 
Since { S j } j N is Minimal, exists J > 0 such that { S j } j N is minimal. This implies:
σ a j N j 3 j < 1 for all j > J .
Thus, the orbit enters [ 0 , 1 ] within a j steps. □
This stopping time T ( r ) is not arbitrary; it is intimately related to the structure of the 2-adic expansion of r.
Proposition .
Let r Q o d d and let r = j = 0 J δ j 2 j + j = J + 1 δ j 2 j Z 2 be its 2-adic expansion, where the first sum corresponds to thenon-periodic partof r and the second sum corresponds to theperiodic partof r . Then T ( r ) 1 = J .
Proof. 
The proof relies on the fact that C o d σ ( r ) is periodic if and only if r [ 0 , 1 ] Q . Suppose C o d σ ( r ) is periodic:
C o d σ ( r ) = n k 1 n k 2 n 0 ¯ = ( n 0 + + n k 1 2 k 1 ) i = 0 ( 2 k ) i = 1 1 2 k ( n 0 + + n k 1 2 k 1 ) [ 1 , 0 ] Q .
Since C o d σ ( r ) = r , then implies r [ 0 , 1 ] Q . On the other hands, if r [ 0 , 1 ] Q , then σ j ( r ) is periodic, so C o d σ ( r ) is periodic. Thus, the non-periodic part of the 2-adic expansion of r corresponds exactly to the iterations required to enter the periodic region. Hence T ( r ) 1 = J . □
Having established the connection between the stopping time T ( r ) and the 2-adic expansion, we must now understand how sequences of rational approximations behave dynamically. The next proposition ensures that if the integer approximations eventually fall into the minimal region ( 0 , 1 ) , the rational sequence will inevitably follow suit.
Proposition .
Let { q k } be a sequence of rational numbers on Q o d d such that q k + 1 = q k ( mod 2 a k + 1 ) and lim k 1 2 a k + 1 q k = 0 . Let Q k Q o d d such that | Q k | < 2 a k + 1 and Q k = q k ( mod 2 a k + 1 ) . If exist K 0 > 0 such that 0 < σ a k + 1 ( Q k ) < 1 for all k > K 0 . Then there exists K > 0 such that 0 < σ a k + 1 ( q n ) < 1 for all k > K .
Proof. 
We have q n = Q n + 2 a k + 1 R k with R k Q o d d . Since lim k 1 2 a k + 1 q k = 0 , then
lim k 1 2 a k + 1 Q k + lim k R k = 0 then lim k R k = 0
Since 0 < σ a k + 1 ( Q k ) < 1 , exist δ , ε > 0 such that δ < σ a k + 1 ( Q k ) < 1 ε . Let η < min { δ , ε } , exist K > 0 such that η < R k < η for all k > K .
σ a k + 1 ( q k ) = σ a k + 1 ( Q k + 2 a k + 1 R k ) = σ a k + 1 ( Q k ) + R k ( δ η , 1 ε + η ) ( 0 , 1 )
Building on this convergence behavior, we can now tighten our necessary condition for stability. If the perturbation term decays sufficiently fast relative to the 2-adic denominator, a positively stable sequence is not just reducible to minimal, but is strictly minimal.
Proposition .
Let { S j } j N θ , ψ q . If { S j } j N is positively stable and lim j 1 2 a j + 1 N j = 0 , then { S j } j N is minimal.
Proof.Suppose that { S j } j N isnot minimal. This means there exists asubsequenceof { S j } j N such that σ 3 j a j ( q N j ) 3 j . Calculating the minimal value ρ 0 :
ρ 0 ( S j ) = 2 a j + 1 σ a j + 1 q N j 3 j q N j 3 j 2 a j + 1 q N j 3 j as j .
Thus { S j } j N ispositively unstable. □

11.4. G 1 Is Unstable

Before delving into the main challenge of this section proving the positive instability of G 1 we first address its negative stability. Establishing that sequences in G 1 are negatively unstable is relatively straightforward. It relies directly on the real-valued divergence of the partial sums π k 1 ( ξ ) and the elementary invariant properties of the Collatz map on negative integers.
In stark contrast, demonstrating that G 1 is positively unstable is significantly more complex. The positive case forces us to confront the delicate interaction between the real-valued explosion of the orbits and their 2-adic topological boundaries. To achieve this, we will later need to introduce several new dynamical concepts, such as the minimality of affine maps, stopping times, and transcendental bounds. We begin with the simpler negative case.
Proposition .
Let ξ G 1 . Then { S k } θ , ψ q associated with ξ is negatively unstable.
Proof. 
Assume for contradiction that the sequence { S k } is negatively stable. By definition, this implies that the maximal non-positive integer solution ρ 1 ( S k ) becomes constant for all sufficiently large k. That is, ρ 1 ( S k ) = p for some k > K , where p Z .
Consequently, its k-th Collatz iteration is exactly given by the evaluation of the S k ( p ) :
C o l k ( p ) = S k ( p ) = 3 k p + N k 2 a k + 1 = 3 k 2 a k + 1 p + π k 1 ( ξ )
We now analyze this orbit in the real numbers R . Since ξ G 1 , we established in Proposition 44 that the real sequence of partial sums diverges, meaning π k 1 ( ξ ) as k . Because p is a fixed negative integer constant, there exists an iteration index K * such that for all k > K :
p + π k 1 ( ξ ) > 0
Since the scaling factor 3 k 2 a k + 1 is strictly positive, it guarantees that:
C o l k ( p ) = S k ( p ) > 0 for all k > K
This implies that the Collatz orbit of the negative integer p eventually becomes strictly positive. However, it is a foundational property of the Collatz function on integers that the orbit of any strictly negative integer remains strictly negative forever. Specifically:
  • If q 1 is even, C o l ( q ) = q 2 1 2 C o l ( q ) 1 .
  • If q 1 is odd, C o l ( q ) = 3 q + 1 2 3 + 1 2 = 1 .
Therefore, C o l k ( p ) 1 for all k N , making it impossible for the orbit to cross into the positive reals. □
Note that this contradiction does not arise for sequences in G , because in that case π k 1 ( ξ ) converges to a finite real limit L. If p > L , the term p + π k 1 ( ξ ) remains negative indefinitely, allowing the orbit to stay in the negative domain.
Proving that G 1 is negatively unstable turned out to be, in retrospect, a rather friendly endeavor. It sufficed to observe an elementary property: the Collatz function itself acts as an insurmountable wall that traps negative integers, preventing them from crossing over into the positive reals.
The positive case, however, is an entirely different challenge. In the domain of natural numbers, we do not have such a convenient “barrier”; orbits can bounce, grow, and shrink freely. To prove that none of these orbits can stabilize at our critical threshold, we will need a much finer analytical scalpel.
This is where the machinery we have been preparing comes into play. We already have on the table the fix function (which reveals how the real magnitude explodes) and the concept of “minimality” for affine maps. What we will do next is make these pieces interact.
In the following results, we will connect this minimality with “stopping times,” which will allow us to measure exactly how long it takes for an orbit to enter a region of strict contraction. From there, we will see how these times rigidly dictate the size of the non-periodic part of the 2-adic expansion.
But to seal this proof and deal with the delicate logarithmic resonances that occur exactly at the critical threshold, we will invoke a profound result from transcendental number theory: the Baker-Wüstholz Theorem (1993) on linear forms in logarithms. This powerful tool will guarantee that the exponential perturbations do not decay fast enough to evade our analysis.
In the end, all these pieces will come together to prove something fascinating: the constant oscillation in G 1 , backed by the Baker-Wüstholz bounds, generates a relentless avalanche of binary carries. Because these carries cannot be absorbed by the periodic part of the expansion, they accumulate infinitely. This pressure inexorably forces any possible initial integer solution to explode towards infinity, thereby confirming, once and for all, the absolute positive instability of the system.
Proposition 50 .
Let ξ G 0 G 1 G and π 1 : Σ 2 * R . Then
lim k 1 2 a k + 1 π k 1 ( ξ ) = 0 .
Proof. 
First, suppose that ξ G . Then, by the Proposition 22, we have π 1 ( ξ ) < , hence
1 2 a k + 1 π k 1 ( ξ ) 0 · π 1 ( ξ ) = 0 as k .
Now suppose that ξ G 0 . Again, by the Proposition 22, there exists M > 0 such that
π k 2 ( ξ ) = 3 k 2 a k + 1 π k 1 ( ξ ) < M , so 1 2 a k + 1 π k 1 ( ξ ) < M 3 k 0 as k .
Suppose now that ξ G 1 . By definition there exists a subsequence lim k a k k = ln 3 ln 2 , then exist J , ε > 0 such that a k k ln 3 ln 2 + ε for all k > J , then
1 2 a k + 1 j = 1 k 2 a j 3 j = 1 2 a k + 1 j = 1 k 2 a j j 3 j = 1 2 a k + 1 j = 1 J 2 a j j 3 j + 1 2 a k + 1 j = J + 1 k 2 a j j 3 j 1 2 a k + 1 j = 1 J 2 a j j 3 j + 1 2 a k + 1 j = 1 k 2 ln 3 ln 2 + ε 3 j = 1 2 a k + 1 j = 1 J 2 a j j 3 j + 1 2 a k + 1 j = 1 k 2 ε j = 1 2 a k + 1 j = 1 J 2 a j j 3 j + 2 ε 2 a k + 1 1 2 ε k 1 2 ε 0 as k
To handle the critical case of G 1 in the subsequent analysis, we require a fine control over the exponential growth of the perturbations. The following technical lemma provides a strict lower bound for the exponential incremental quotient, which will be instrumental when applying transcendental number theory to our dynamical bounds.
Lemma 21. 
For any L > 0 , there exists a constant R 0 > 0 such that for all x satisfying 0 < | x | < L , the following inequality holds:
| e x 1 | > R 0 | x | .
Proof. 
Let L > 0 be fixed. We define the function f : [ L , L ] R as the continuous extension of the incremental quotient of the exponential function at the origin:
f ( x ) = e x 1 x , if x 0 , 1 , if x = 0 .
By the Taylor series expansion e x = 1 + x + x 2 2 + O ( x 3 ) , we have lim x 0 f ( x ) = 1 = f ( 0 ) , ensuring f is continuous on the compact interval [ L , L ] . Calculating the derivative for x 0 :
f ( x ) = x e x ( e x 1 ) x 2 = e x ( x 1 ) + 1 x 2 .
The function g ( x ) = e x ( x 1 ) + 1 satisfies g ( 0 ) = 0 and g ( x ) = x e x . Since g ( x ) < 0 for x < 0 and g ( x ) > 0 for x > 0 , g ( x ) has an absolute minimum at x = 0 . Thus, g ( x ) > 0 for all x 0 , implying f ( x ) > 0 . Therefore, f is strictly increasing on [ L , L ] .
The minimum value of f is attained at the lower bound x = L . Let: Since e x 1 and x always share the same sign, f ( x ) is always positive. Thus, f ( x ) > R 0 implies e x 1 x > R 0 , concluding the proof. □
With this exponential bound in hand, we can now tackle the normalized limit of the fix function. This is arguably one of the most delicate steps, as it requires the Baker-Wüstholz theorem to resolve the tight logarithmic resonances that occur precisely when sequences hover at the critical threshold of G 1 .
Proposition 51 .
Let ξ G 0 G 1 G and π 1 : Σ 2 * R . Then
lim k 1 2 a k + 1 fix k ( ξ ) = 0 .
Proof. 
Let us suppose that ξ G . Then, by Proposition 50, we have
lim k 1 2 a k + 1 π k 1 ( ξ ) = 0
and hence
lim k 1 2 a k + 1 fix k ( ξ ) = lim k 1 2 a k + 1 1 1 2 a k + 1 3 k π k 1 ( ξ )
= lim k 1 1 2 a k + 1 3 k = 1 lim k 1 2 a k + 1 π k 1 ( ξ ) = 0
Now suppose that ξ G 0 . Then, by Proposition 50, we have that
lim k 1 2 a k + 1 π k 1 ( ξ ) = 0 ,
and hence
lim k 1 2 a k + 1 fix k ( ξ ) = lim k 1 2 a k + 1 1 1 2 a k + 1 3 k π k 1 ( ξ )
= lim k 1 1 2 a k + 1 3 k = 0 lim k 1 2 a k + 1 π k 1 ( ξ ) = 0
Finally, suppose that ξ G 1 . As we know, in this case there are many accumulation points. Let us assume that 3 · 2 R is an accumulation point of the sequence 2 a k + 1 3 k . Then we take
a k = ln 3 ln 2 k + R + Q ( k ) N
with R R and Q ( k ) 0 for all k N , and such that
lim k Q ( k ) = 0 .
We express 2 a k as follows: as:
2 a k = 2 ln 3 ln 2 k · 2 R · 2 Q ( k ) = 3 k · 2 R · ϵ ( k )
where we define the multiplicative perturbation ϵ ( k ) = 2 Q ( k ) . Given that Q ( k ) 0 , it follows that lim k ϵ ( k ) = 1 .
then
π k 1 ( ξ ) = j = 1 k 2 a j 3 j = j = 1 k 3 j · 2 R · ϵ ( j ) 3 j = 2 R j = 1 k ϵ ( j )
The scale factor in the denominator of fix k ( ξ ) is:
2 a k + 1 3 k = 3 k + 1 · 2 R · ϵ ( k + 1 ) 3 k = 3 · 2 R · ϵ ( k + 1 )
Substituting these terms into the original definition of the normalized limit:
1 3 k + 1 · 2 R · ϵ ( k + 1 ) 1 1 3 · 2 R · ϵ ( k + 1 ) 2 R j = 1 k ϵ ( j )
Simplifying the constant 2 R and reorganizing the denominator:
j = 1 k ϵ ( j ) 3 k + 1 · ϵ ( k + 1 ) 3 · 2 R · ϵ ( k + 1 ) 1
Since lim k 1 k j = 1 k ϵ ( j ) = 1 , given δ > 0 there exists K > 0 such that j = 1 k ϵ ( j ) < k δ for all k > K . Therefore, for k > K we have:
j = 1 k ϵ ( j ) 3 k + 1 · ϵ ( k + 1 ) 3 · 2 R · ϵ ( k + 1 ) 1 < k δ 3 k + 1 · ϵ ( k + 1 ) 3 · 2 R · ϵ ( k + 1 ) 1 .
First suppose that 3 · 2 R 1 . Then lim k ϵ ( k + 1 ) 3 · 2 R · ϵ ( k + 1 ) 1 = 3 · 2 R 1 0 , and since lim k k 3 k = 0 , it follows that
k δ 3 k + 1 · ϵ ( k + 1 ) 3 · 2 R · ϵ ( k + 1 ) 1 0 as k ,
Now consider the case 3 · 2 R = 1 . In this situation,
1 2 a k + 1 fix k ( ξ ) < k δ 3 k + 1 · ϵ ( k + 1 ) ϵ ( k + 1 ) 1 .
Since ϵ ( k ) = 2 Q ( k ) and lim k Q ( k ) = 0 , for L > 0 exist k > k such that | Q ( k ) | < L then by Lemma 21, there exists W 0 > 0 such that
| ϵ ( k + 1 ) 1 | = | 2 Q ( k + 1 ) 1 | = | e Q ( k + 1 ) ln 2 1 | > W 0 | Q ( k + 1 ) |
for k sufficiently large.
We observe that
Q ( k ) ln 2 = a k ln 2 ( k 1 ) ln 3 ,
which defines a linear form in the logarithms of the algebraic numbers 2 and 3:
Λ k = a k ln 2 ( k 1 ) ln 3 .
Here Λ k = β 1 log α 1 + β 2 log α 2 with α 1 = 2 , α 2 = 3 , β 1 = a k Z + and β 2 = ( k 1 ) Z .
We apply the Baker-Wüstholz Theorem [3], Since a k , k 1 > e , existe C > 0 such that :
log | Λ k | > C ln { max { a k , k 1 } } ,
We have a k k for all k N , then log | Λ k | > C ln ( a k ) . Since a k = ln 3 ln 2 ( k 1 ) + Q ( k ) , exist c 0 , K > 0 such that a k > c 0 ( k 1 ) for k > K , then
log | Λ k | > C ln ( a k ) > C ln ( c 0 ( k 1 ) ) } ,
This is equivalent to | Λ k | > W 1 ( k 1 ) C , with W 1 = e C ln ( c 0 ) and therefore
| Q ( k ) | = | Λ k | ln 2 > W 1 ( k 1 ) C ln 2 .
Finally,
k δ 3 k + 1 · ϵ ( k + 1 ) · W 0 · Q ( k + 1 ) < k C + 1 δ ln 2 3 k + 1 · ϵ ( k + 1 ) · W 0 W 1 0 as k ,
since the numerator has polynomial growth while the denominator has exponential growth. We conclude that
lim k 1 2 a k + 1 fix k ( ξ ) = 0 .
Having tamed the real-valued asymptotic behavior of the fixed points, we must now translate these bounds back into the 2-adic realm. The next proposition bridges the gap, demonstrating that the topological proximity of periodic sequences forces their 2-adic non-periodic parts to be nested.
Proposition 52 .
Let ξ Σ 2 * and { S k } θ , ψ q such that C o d ( S k ) = { ξ j } j = 1 k and positively stable. Let { η k } k N Σ 2 * periodic such that D ( ξ , η k ) 1 2 a k + 1 ( ξ ) . Then exist K > 0 such that that all the non-periodic part of the 2-adic expansion of π 1 ( η k ) is contained in the non-periodic part of the 2-adic expansion of π k 1 ( ξ ) for all k > K .
Proof. 
We have that { S k } is positively stable, by Proposition 50 we have that
lim k 1 2 a k + 1 π k 1 ( ξ ) = 0
and by Proposition 48, we obtain that { S k } is minimal. Hence, there exists K 1 > 0 such that 0 < σ a k + 1 ( π k 1 ( ξ ) ) < 1 for k > K 1 .
Since lim k 1 2 a k + 1 π k 1 ( ξ ) = 0 we have exist K 2 > 0 such that | π k 1 ( ξ ) | < 2 a k + 1 for all k > K 2 . Let K 3 > 0 such that K 3 > max { K 1 , K 2 } , then π k 1 ( ξ ) = π 1 ( η k ) ( mod ( 2 a k + 1 ) ) with 0 < σ a k + 1 ( π k 1 ( ξ ) ) < 1 with | π k 1 ( ξ ) | < 2 a k + 1 for k > K 3 and by Proposition 51 we have that
lim k 1 2 a k + 1 π 1 ( η k ) = 0
Hence by Proposition 47, then exist K > 0 such that K > K 3 and 0 < σ a k + 1 ( π 1 ( η k ) ) < 1 for all k > K and by Lemma 20 we have T k = T k ( π 1 ( η k ) ) a k + 1 and by Proposition 46, we have that all the non-periodic part of the 2-adic expansion of π 1 ( η k ) is contained in the non-periodic part of the 2-adic expansion of π k 1 ( ξ ) . □
We are finally in a position to assemble the pieces. By juxtaposing the explosive real-valued growth of the fix function in G 1 with the rigid 2-adic nesting of its non-periodic expansions, we can force a profound arithmetic contradiction. This leads us to the culmination of this section: the proof that G 1 sequences cannot correspond to any rational orbit.
Theorem 9:
Let ξ G 1 , then not exist p q Q + such that C o d p q = ξ . In particular, ξ is positive unstable.
Proof. 
Let q > 0 and { S k } θ , ψ q such that C o d q ( S k ) = ξ G 1 . Assume for contradiction that { S k } is positively stable, so ρ 0 ( S k ) = p for any k > K . Then by uniqueness π 1 ( ξ ) = p Z 2 N .
We are going to consider two cases, the first case being if there exists η k G 0 periodic such that η k ξ in the topology of Σ 2 * and the second case being if there exists η k G periodic such that η k ξ in the topology of Σ 2 * . By the continuity of π 1 : Σ 2 * Z 2 , we have that π 1 ( η k ) = fix k ( η k ) = fix k ( ξ ) π 1 ( ξ ) in the 2-adic topology. This is equivalent to
π 1 ( η k ) = π 1 ( ξ ) = π k 1 ( ξ ) ( mod 2 a k + 1 ) for all k N .
Let π 1 ( η k ) = j = 0 T k 1 δ j k 2 j + j = T k δ j k 2 j , with j = 0 T k 1 δ j k 2 j representing the non-periodic part and j = T k δ j k 2 j representing the periodic part of the 2-adic expansion.
For the periodic part, assume the pattern repeats every L = L ( k ) bits. Let r be the integer value of this repeating pattern. We can factor out 2 T k and write the sum as a geometric series:
1 1 j = T k δ j k 2 j = 2 T k r + r 2 L + r 2 2 L +
= 2 T k · r n = 0 ( 2 L ) n
In the 2-adic metric, since | | 2 L | | 2 < 1 , the geometric series converges to 1 1 2 L :
1 1 = r · 2 T k 1 2 L
Substituting this back into the original expression, we obtain the rational form:
1 1 π 1 ( η k ) = j = 0 T k 1 δ j k 2 j r · 2 T k 2 L 1
Let us suppose that there exists some subsequence { η k } on G 0 such that η k ξ G 1 . Since ξ G 1 , we established in Proposition 44 that the real magnitude | π 1 ( η k ) | = | fix ( ξ ) ( k ) | diverges to infinity. Since π 1 ( η k ) are positive rational numbers, we have π 1 ( η k ) on R , this occurs if and only if
j = 0 T k 1 δ j k 2 j > r · 2 T k 2 L 1 and j = 0 T k 1 δ j k 2 j
Since π 1 ( η k ) = π 1 ( η k + 1 ) ( mod 2 a k + 1 ) , then the number of 1-bits of the non-periodic part of the 2-adic expansion of π 1 ( η k ) must tend to infinity as k and by Proposition 52, we have
ρ 0 ( S k ) = q j = 0 a k + 1 δ j k 2 j q j = 0 T k 1 δ j k 2 j .
which contradicts the positive stability of { S k } .
Let us suppose that there exists a subsequence η k G such that η k ξ as k , where ξ G 1 . Since η k G , it follows from Proposition 22 that π 1 ( η k ) = j = 1 2 a k 3 j R .
Suppose that there exists a sequence η k G such that π 1 ( η k ) Z , that is, in the case where f k = 0 . Under these conditions, we have that
N k = fix k ( ξ ) ( 2 a k + 1 3 k ) N .
Therefore, we obtain:
ρ 0 ( S k ) = 2 a k + 1 σ a k + 1 N k 3 k N k 3 k
= 2 a k + 1 σ a k + 1 fix k ( ξ ) ( 2 a k + 1 3 k ) 3 k fix k ( ξ ) ( 2 a k + 1 3 k ) 3 k
= 2 a k + 1 σ a k + 1 fix k ( ξ ) 2 a k + 1 3 k fix k ( ξ ) fix k ( ξ ) 2 a k + 1 3 k + fix k ( ξ )
= 2 a k + 1 σ a k + 1 fix k ( ξ ) 2 a k + 1 3 k + 2 a k + 1 σ a k + 1 fix k ( ξ ) fix k ( ξ ) 2 a k + 1 3 k + fix k ( ξ )
= fix k ( ξ ) 2 a k + 1 3 k + 2 a k + 1 σ a k + 1 fix k ( ξ ) fix k ( ξ ) 2 a k + 1 3 k + fix k ( ξ )
= 2 a k + 1 σ a k + 1 fix k ( ξ ) + fix k ( ξ )
Since fix k ( ξ ) Z we have σ a k + 1 fix k ( ξ ) = fix k ( ξ ) 2 a k + 1 . By Proposition 51 exist K > 0 such that fix k ( ξ ) 2 a k + 1 = 1 for all k > K we have
= 2 a k + 1 fix k ( ξ ) 2 a k + 1 fix k ( ξ ) = 2 a k + 1 fix k ( ξ ) as k sin ce fix k ( ξ ) 2 a k + 1
Suppose now that there exists a subsequence, such that π 1 ( η k j ) Z for all j N .
Let E k = π 1 ( η k ) = j = 0 κ j k 2 j represent the integer part, and let f k = frac ( π 1 ( η k ) ) = j = 0 ε j k 2 j ( 1 , 0 ) Q , then the 2-adic expansion is purely periodic. Thus, we have:
π 1 ( η k ) = E k + f k
Since π 1 ( η k + 1 ) π 1 ( η k ) 2 < 2 a k , their 2-adic expansions share the first a k terms. This implies that in each iteration we add new bits that remain fixed. Furthermore, because the sequence of linear functions associated with π 1 ( η k ) is minimal, the non-periodic part of π 1 ( η k ) is contained within the first a k terms of its 2-adic expansion.
Let W ( π 1 ( η k ) ) = j = 0 T k 1 δ j k be the sum of the digits of the non-periodic part. We will show that this function diverges, meaning the number of bits equal to 1 is infinite.
Since π 1 ( η k ) diverges in R for ξ G 1 , there exists a subsequence k i such that π 1 ( η k i ) is monotonically increasing toward infinity. For simplicity, we continue denoting this by k .
The first a k + 1 bits of each 2-adic expansion remain fixed in the next step; this is a consequence of convergence with respect to the 2-adic metric, thus, it suffices to show that at step k + 1 , the count of bits equal to 1 increases by at least one.
Let us first verify that at every iteration a new perturbation appears. Since π 1 ( η k + 1 ) π 1 ( η k ) 2 < 2 a k , then
E k + f k = E k + 1 + f k + 1 ( mod 2 a k ) .
Let E k + 1 0 , f k + 1 0 N such that E k + 1 0 , f k + 1 0 < 2 a k and E k + 1 0 = E k + 1 ( mod 2 a k ) and f k + 1 0 = f k + 1 ( mod 2 a k ) , then we have
E k + f k = E k + 1 0 + f k + 1 0 ( mod 2 a k )
So exist γ k + 1 Q o d d such that
E k + 1 + f k + 1 = E k + 1 0 + f k + 1 0 + 2 a k γ k + 1 .
Hence,
γ k + 1 = 1 2 a k E k + 1 E k + 1 0 + 1 2 a k f k + 1 f k + 1 0
We evaluate the fractional component:
1 2 a k f k + 1 f k + 1 0 = 1 2 a k j = 0 ε j ( k + 1 ) 2 j j = 0 a k 1 ε j ( k + 1 ) 2 j
= 1 2 a k j = a k ε j ( k + 1 ) 2 j = i = 0 ε ( i + a k ) ( k + 1 ) 2 i
Since f k + 1 is purely periodic, then its shifted sequence i = 0 ε ( i + a k ) ( k + 1 ) 2 i is also purely periodic. Hence we have that:
i = 0 ε ( i + a k ) ( k + 1 ) 2 i ( 1 , 0 ) Q
Now, we evaluate the integer component. Since π 1 ( η k ) in R , we have π 1 ( η k ) , meaning that E k + 1 = π 1 ( η k + 1 ) is a strictly negative integer. In Z 2 , the expansion of any negative integer is eventually periodic, ending in an infinite tail of 1s. Since E k + 1 0 = E k + 1 ( mod 2 a k ) consists exactly of the first a k bits of E k + 1 , we have:
1 2 a k E k + 1 E k + 1 0 = 1 2 a k j = 0 κ j ( k + 1 ) 2 j j = 0 a k 1 κ j ( k + 1 ) 2 j = i = 0 κ ( i + a k ) ( k + 1 ) 2 i
Because the original sequence of bits κ j ( k + 1 ) ends in an infinite tail of 1s, this shifted sequence also ends in an infinite tail of 1s. Thus, this shifted sum represents a strictly negative integer, meaning:
1 2 a k E k + 1 E k + 1 0 Z
Since γ k + 1 is the sum of a strictly negative integer and a fraction strictly between 1 and 0, it clearly follows that:
γ k + 1 ( 1 , 0 )
Therefore, γ k + 1 cannot be purely periodic, meaning it must be eventually periodic. This strictly implies the existence of a new perturbation (the growth of the non-periodic part).
In the worst-case scenario, a bit 1 carry is generated by this perturbation, creating a sequence of zeros. However, this carry cannot be infinite because the non-periodic part is finite and the carry does not enter the periodic part. By Proposition 34:
σ j ( E k + f k ) = σ j ( E k ) + σ j ( f k ) Δ with Δ { 0 , 1 }
Since σ j ( E k ) N , σ T k ( f k ) ( 0 , 1 ) and σ j ( E k + f k ) < 1 then
σ T k ( E k + f k ) = σ T k ( E k ) = 1 + σ T k ( f k ) 1 = σ T k ( f k )
This means that the T k -th term of E k + f k is equal to the T k -th term of f k . Therefore, if the carried 1 bit enters the periodic part, then it necessarily changes the first bit of the periodic part; we would then have that the periodic part begins after the T k -th term, which would be a contradiction, since T k marks the boundary between the periodic and the non-periodic part.
We conclude that:
W ( π 1 ( η k + 1 ) ) W ( π 1 ( η k ) ) + 1
This divergence implies that no natural number n can satisfy the coding for ξ G 1 , since
ρ 0 ( S k ) = q j = 0 a k δ j k 2 j q j = 0 T k 1 δ j k 2 j q W ( π 1 ( η k ) ) as k
Therefore p q = , which contradicts the assumption that ξ is positively stable. Then, since it is always possible to form some subsequence in G 0 or G that approximates any element in G 1 , we have that G 1 is positively unstable. □
Part III: The non-existence of divergent orbits through an analysis of the codification of linear Diophantine dynamical systems.

12. The Problem of Divergence

In this section, we address the fundamental aspects of divergence of the Collatz function. The primary focus is on the behavior of sequences and orbits, especially those with divergent slopes and their stability properties. The main results are summarized in the following key theorems:
1.
Theorem 10: This theorem states that all sequences S k with a divergent slope are positively unstable, defining the sufficient condition under which a sequence becomes unstable.
2.
Theorem 11: This theorem shows that all orbits with codings in G 0 are bounded.
3.
Theorem 12: This theorem concludes that all natural numbers have bounded orbits, implying the non-existence of divergent orbits for natural numbers.
First, we examine the conditions under which the slope of a function S k diverges, leading to instability. Next, we explore the boundedness of orbits coded within G 0 and G , providing proofs and corollaries to support these findings. Finally, we demonstrate the non-existence of divergent orbits for natural numbers.

12.1. Summary of Propositions in the Section

1.
Theorem 10: It is stated that all sequences S k with a divergent slope are positively unstable.
2.
Theorem 11: It is stated that all orbits with codings in G 0 are bounded.
3.
Corollary 2: If exist a sub-sequence such that lim j a k l + 1 ( ξ ) k l > ln ( 3 ) ln ( 2 ) . Then exist Ω > 0 such that π 2 ( ξ ) ( k l ) < Ω .
4.
Lemma 22 Let ξ Σ 2 * such that lim sup n a n n ln ( 3 ) ln ( 2 ) . Then not exist n N such that C o d ( n ) = ξ .
5.
Theorem 12: There are no divergent orbits for the Collatz function on natural numbers.
6.
Lemma 23: Let p q Q then C o d p q G 0 G . In particular, if there is J > 0 such that C o l q J ( p ) > 0 then C o d q ( p ) G 0 and if C o l q j ( p ) < 0 for all j N , then C o d q ( p ) G .
7.
Theorem 13: Consider the extension of Collatz’s function on Q , then all orbit fall into some cycle.

12.2. The Problem of Divergence

The following theorem shows that if the slope of the function S k diverges, then so does the minimum value, this is because the only value that satisfies the encoding of S k is negative.
Theorem 10:
(Positively unstable Theorem). Let { S j } j = 1 θ , ψ q such that 3 b j 2 a j + 1 , then S j ( x ) is positively unstable for all q Z .
Proof. 
Let ξ = C o d ( { S j } j = 1 ) . Since 3 b j 2 a j + 1 then ξ G by Proposition 22, 20 and 37 and Theorem 8. We have π 1 ( ξ ) = j = 1 2 a j 3 j R is the only value whose coding is ξ . On the other hand, regardless of rationality, this number is always negative. Therefore, the minimum value must necessarily be divergent. □
We are going to show a series of results referring to the bounds of the orbits of numbers whose coding is in G 0 and G .
Theorem 11:
(Bounded Orbit Theorem). Let n Z such that C o d q ( n ) G 0 then the orbit of n is bounded for all q N odd.
Proof. 
Let { S j } j N on θ , ψ q such that C o d q { S j } j N = C o d ( n ) . Without loss of generality we can assume that n is positive, because in the case that n is negative we have that
lim j C o l q a j + 1 ( n ) = lim j S a j + 1 ( n ) = lim j 3 j n + q N j 2 a j + 1 = lim j 3 j 2 a j + 1 n + lim j q π 2 ( C o d ( n ) ) ( j ) = lim j q π 2 ( C o d ( n ) ) ( j ) 0
then eventually its orbit will fall into a non-negative number.
If the coding of { S j } j N has a null tail, the result is trivial. Suppose { S j } j N has no null tail, then:
C o l q a j + 1 ( n ) = S a j + 1 ( n ) = 3 j n + q N j 2 a j + 1 = 3 j 2 a j + 1 n + q π 2 ( C o d ( n ) ) ( j )
Since 3 j 2 a j + 1 0 we have by Proposition 22 we have that q π 2 ( C o d ( n ) ) ( j ) is bounded and let M > 0 such that q π 2 ( C o d ( n ) ) ( j ) < M for all j N . On the other hand, since 3 j 2 a j + 1 0 we have 3 j 2 a j + 1 is bounded and let H > 0 such that 3 j 2 a j + 1 < H for all j N , then
3 j 2 a j + 1 n + q π 2 ( C o d ( n ) ) ( j ) < H n + M
Therefore C o l q j ( n ) < . □
Monks and Yazinski [14] also extend the results of Eliahou [6] (1993) and Lagarias [10] (1985) concerning the density of "odd" points in an orbit. Let b n ( x ) denote the number of ones in the first n digits of x Σ 2 * . If x Q o d d eventually enters an n-periodic orbit, then
ln ( 2 ) ln ( 3 + 1 / m ) lim n b n ( x ) n ln ( 2 ) ln ( 3 + 1 / M )
where m , M are the least and greatest cyclic elements in the eventual cycle. If x Q o d d diverges, then
ln ( 2 ) ln ( 3 ) lim inf n b n ( x ) n .
We will now show the main theorem of this work, where we finally show the non-existence of divergent orbits for every positive integer. We will show that the necessary and sufficient condition for an orbit to be divergent is
lim sup j a j + 1 j ln ( 3 ) ln ( 2 )
which implies that the only solution if it exists must be
< π 1 ( ξ ) 1 3 .
Lemma 22. 
Let ξ Σ 2 * such that lim sup j a j + 1 j ln ( 3 ) ln ( 2 ) . Then not exist n N such that C o d ( n ) = ξ .
Proof. 
Suppose that exist n N such that C o d ( n ) = ξ such that lim sup j a j + 1 j ln ( 3 ) ln ( 2 ) and let { S j } θ , ψ q such that C o d { S j } j = 1 = ξ . if C o d { S j } j = 1 G 1 by Theorem 9 we have ρ 0 { S j } j = 1 so n = which contradicts the hypothesis, so C o d { S j } j = 1 G . By Theorem 10 we have { S j } j = 1 is positively unstable. Therefore then not exist n N such that C o d ( n ) = ξ .
Theorem 12:
(Divergent Orbits Theorem). There are no divergent orbits for the Collatz function on natural numbers.
Proof. 
Let n N such that C o l j ( n ) as j and { S j } j = 1 θ , ψ such that C o d { S j } j = 1 = C o d ( n ) . We are going to prove that the necessary and sufficient condition for an orbit to be divergent is that the coding does not have a null tail and 3 j 2 a j + 1 as j .
If C o d { S j } j = 1 has a null tail, it means that from a certain iteration, the orbit of n must always be even, which implies that this orbit must be decreasing. This contradicts the fact that we have assumed that C o l j ( n ) .
We can assume that C o d { S j } j = 1 does not have a null tail
C o l a j ( n ) = 3 j n + N j 2 a j + 1 then 3 j 2 a j + 1 or π k 2 ( C o d { S j } j = 1 ) = N j 2 a j + 1
If 3 j 2 a j + 1 , then by Proposition 22, we have that C o d ( n ) G . Thus, we have that π 1 ( C o d ( n ) ) is the only real number that satisfies the coding, and π 1 ( C o d ( n ) ) n since π 1 ( C o d ( n ) ) < 0 , which contradicts the hypothesis that S j is positively stable, since ρ 0 ( S j ) as j .
If π k 2 ( C o d { S j } j = 1 ) , by Proposition 22 we have that C o d { S j } j = 1 G 0 then lim inf j a j + 1 j ln ( 3 ) ln ( 2 ) . Let’s show now in fact lim sup k a k + 1 k ln ( 3 ) ln ( 2 ) . Suppose that exist { j k } k N such that lim j a j k + 1 j k > ln ( 3 ) ln ( 2 ) + ε with ε > 0 , so using the estimated bound in the demonstration of the Lemma 2, we have
π 2 ( ξ ) ( j k ) < 2 ε 2 ε 1 + 3 3 2 T 1 2 3 = M
Since 3 j k 2 a j k + 1 0 as j . So max k 3 j k 2 a j k + 1 < then we have
C o l j k ( n ) = 3 j k 2 a j k + 1 n + N j k 2 j k + 1 < max k 3 j k 2 a j k + 1 n + M
Since C o l j ( n ) N for all j N , then exist K N such that C o l j k ( n ) = C o l j k + K ( n ) . So we have that the orbit of n must fall into a cycle, which implies that lim j 3 j 2 a j + 1 = 0 which implies that π 2 ( ξ ) ( j ) is bounded, which contradicts the hypothesis that C o l j ( n ) . Therefore lim sup j a j + 1 j ln ( 3 ) ln ( 2 ) . Therefore by Lemma 22 we have that cannot exist n N such that its orbit is divergent. □
Next we will present a more general result. Indeed, all rational ones have orbits that fall into some cycle.
Lemma 23. 
Let p q Q then C o d p q G 0 G . In particular, if there is J > 0 such that C o l q J ( p ) > 0 then C o d q ( p ) G 0 and if C o l q j ( p ) < 0 for all j N , then C o d q ( p ) G .
Proof. 
Let p q Q with q > 0 . If p > 0 then we can repeat the same argument from the proof of the Theorem 12 to show that C o d q ( p ) G 0 . Now if p < 0 . Suppose that C o d q ( p ) G 0 G . Additionally, let us assume that the orbit of p is always negative, since if there exists J > 0 such that C o l J ( p ) > 0 , then C o l j ( p ) > 0 for all j > J and we can repeat the argument of the Theorem 12 again using n = C o l J ( p ) . Then assuming that the orbit of p is always negative we have
C o l a j + 1 ( p ) = 3 j 2 a j + 1 p + N j 2 a j + 1 < 0 for all j N
so
N j 2 a j + 1 < 3 j 2 a j + 1 p so we have N j 3 j = π j 1 ( C o d q ( p ) ) < p sin ce p < 0
Since π j 1 is monotonous, then lim j π j 1 ( C o d q ( p ) ) R and by Proposition 22 we have that C o d q ( p ) G
Theorem 13:
Consider the extension of Collatz’s function on Q , then if p q Q o d d then all orbit fall into some cycle and if p q Q e v e n then the orbit is divergent.
Proof. 
By Lemma 23 we only have to analyses the cases where the coding is in G 0 or in G . Let p q Q with q > 0 . Suppose that C o d p q = ξ G and that ξ does not have a null tail, otherwise its orbit falls at point 0. On the other hand, p q = j N 2 a j 3 j . since ξ G exist ε > 0 such that lim sup k a k + 1 k < ln ( 3 ) ln ( 2 ) ε . Exist J > 0 such that a j + 1 a k j k < ln ( 3 ) ln ( 2 ) ε for all k > J . so
C o l a k + 1 π 1 ( ξ ) = C o l a k + 1 j N 2 a j 3 j = 3 k 2 a k + 1 j N 2 a j 3 j + N k 2 a k + 1 = 3 k 2 a k + 1 j = 1 k 2 a j 3 j 3 k 2 a k + 1 j = k + 1 2 a j 3 j + N k 2 a k + 1 = N k 2 a k + 1 3 k 2 a k + 1 j = k + 1 2 a j 3 j + N k 2 a k + 1 = 3 k 2 a k + 1 j = k + 1 2 a j 3 j = j = k + 1 2 a j a k + 1 3 j k = j = k + 1 2 a j a k + 1 j k 3 j k > j = k + 1 2 ln ( 3 ) ln ( 2 ) ε 3 j k = j = k + 1 2 ε ( j k ) = 2 ε k j = k + 1 2 ε j = 2 ε k 2 ε ( k + 1 ) 1 2 ε = 2 ε 1 2 ε
Let Ω = max 2 ε 1 2 ε , C o l a k + 1 π 1 ( ξ ) with k < J , so C o l a k + 1 p q > Ω for all k N . By Proposition 9 we have
C o l a k + 1 p q = 1 q C o l q a k + 1 p then C o l q a k + 1 p > q Ω sin ce q > 0
Since the orbits of π 1 ( ξ ) are always negative, we have to C o l q a k + 1 p < 0 . Since the sub-orbit of p is bounded, and C o l q is defined on the integers, we have to necessarily have the orbit fall into some cycle.
Now suppose that ξ G 0 , then by Theorem 11 we have the orbit is bounded, Without loss of generality we can assume that its orbit is positive, so its orbit must necessarily fall in some cycle. □
Corollary 13. 
Let ξ Σ 2 * . The element ξ is semi-periodic if and only if π 1 ( ξ ) Z 2 is rational.
Proof. 
If ξ is semi-periodic, then by the preceding Proposition 21, π 1 ( ξ ) Z 2 is rational.
Conversely, if π 1 ( ξ ) Z 2 is rational, then the orbit does not fall into any cycle, so the codification is semi-periodic. □

13. Conclusion

While the complete proof of the Collatz conjecture—specifically ruling out the existence of non-trivial periodic cycles—remains an open problem, this work successfully resolves two significant weak versions of the conjecture. First, we have rigorously proven the non-existence of divergent orbits for the natural numbers. Second, we have demonstrated that the extension of the Collatz function over the domain of rational numbers with odd denominators ( Q o d d ) always inevitably falls into a periodic cycle.
The overarching proof of the non-existence of divergent orbits relies on a conceptually simple argument by contradiction, grounded in the asymptotic parity density of the orbits. However, formally validating this intuition required the development of a comprehensive theoretical framework. A substantial portion of this paper is dedicated to building this machinery, which shifts the perspective from analyzing mere sequences of numbers to studying infinite sequences of linear Diophantine equations.
The most formidable challenge within this theory was proving that these sequences of Diophantine equations admit no natural solutions within the critical threshold set G 1 . The absolute crux of this demonstration was establishing the limit:
lim k 1 2 a k + 1 π 1 ( η k ) = 0
Without this specific convergence result, it would have been analytically impossible to leverage the real-valued divergence of π 1 ( η k ) to show that the number of ’1’ bits in the non-periodic part of the 2-adic expansion strictly and perpetually increases at each step. This infinite accumulation of binary carries is what ultimately forces the arithmetic contradiction.
To secure this limit and firmly bound the exponential perturbations at the G 1 threshold, we had to bridge discrete dynamics with transcendental number theory by invoking the Baker-Wüstholz Theorem. Without the precise bounds on linear forms in logarithms provided by this profound theorem, our framework would have fallen short; it would have merely established a logical equivalence to the divergent orbits conjecture, rather than a definitive proof of their non-existence.
Ultimately, this article highlights the deep and perhaps unexpected connections between symbolic dynamics, 2-adic topology, linear Diophantine systems, and transcendental number theory. We hope that the algebraic and topological tools developed here will not only provide a definitive answer to the problem of divergence in the Collatz function but also open new pathways for researching other discrete arithmetic dynamical systems.

References

  1. Andrei, S.; Kudlek, M.; Niculescu, R. S. Some results on the Collatz problem. Acta Inform. 2000, 31(2), 145–160. [Google Scholar] [CrossRef]
  2. Applegate, D.; Lagarias, J. Density bounds for the 3x+1 problem. I. Tree-search method. Math. Comput. 64 1995, 411–426. [Google Scholar] [CrossRef]
  3. Baker y, A.; Wüstholz, G. Logarithmic forms and group varieties . J. Reine Angew. Math. 1993, 442, 19–62. [Google Scholar]
  4. Bernstein, D. A non-iterative 2-adic statement of the 3N+1 conjecture. Proc. Am. Math. Soc. 1994, 121(1), 405–408. [Google Scholar] [CrossRef]
  5. Bernstein, D.; Lagarias, J. The 3x+1 conjugacy map. Can. J. Math. 1996, 48(5), 1154–1169. [Google Scholar] [CrossRef]
  6. Eliahou, S. The 3x+1 problem: New lower bounds on nontrivial cycle lengths. Discret. Math. 118 1993, 45–56. [Google Scholar] [CrossRef]
  7. Jeffrey, C. L. The ultimate challenge: The 3x+1 problem; American Mathematical Society, 2011. [Google Scholar]
  8. Katok, S. p-adic analysis compared with real.; American Mathematical Society, 2007. [Google Scholar]
  9. Lagarias, J. The 3x+1 problem and its generalizations. Am. Math. Mon. 92 1985, 1–23. [Google Scholar] [CrossRef]
  10. Lagarias, J. The set of rational cycles for the 3x+1 problem. Acta Arith. 56 1990, 33–53. [Google Scholar] [CrossRef]
  11. Matthews, K.; Watts, A. M. A generalization of Hasse’s generalization of the Syracuse algorithm. Acta Arith. 1984, 43(2), 167–175. [Google Scholar] [CrossRef]
  12. Müller, H. Das 3n+1-Problem. Mitteilungen Der Math. Ges. Hambg. 11 1991, 231–251. [Google Scholar]
  13. Müller, H. Über eine Klasse 2-adischer Funktionen im Zusammenhang mit dem 3x+1-Problem. Abh. Aus Dem Math. Semin. Der Univ. Hambg. 64 1994, 293–302. [Google Scholar] [CrossRef]
  14. Monks, K.; Monks, K. G.; Monks, K. M.; Monks, M. Strongly sufficient sets and the distribution of arithmetic sequences in the 3x+1 graph. Discret. Math. 2013, 313(4), 468–489. [Google Scholar] [CrossRef]
  15. Terras, R. A stopping time problem on the positive integers. Acta Arith. 30 1976, 241–252. [Google Scholar] [CrossRef]
  16. Tao, T. Almost all orbits of the Collatz map attain almost bounded values. In Forum of Mathematics, Pi, 10.; Cambridge University Press, 2022. [Google Scholar]
Figure 1. Geometric interpretation: Excluding Null Tails, sequences in G 0 have their counting function a k asymptotically above the line y = ln ( 3 ) ln ( 2 ) x . Sequences in G lie below this line. Sequences in G 1 oscillate around or tend towards the line.
Figure 1. Geometric interpretation: Excluding Null Tails, sequences in G 0 have their counting function a k asymptotically above the line y = ln ( 3 ) ln ( 2 ) x . Sequences in G lie below this line. Sequences in G 1 oscillate around or tend towards the line.
Preprints 208498 g001
Figure 2. Orbits of σ 27 for 0 < x 27 .
Figure 2. Orbits of σ 27 for 0 < x 27 .
Preprints 208498 g002
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.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.