# Quantifying the degree of average contraction of Collatz orbits

## Abstract

We here elaborate on a quantitative argument to support the validity of the Collatz conjecture, also known as the \((3x+1)\) or Syracuse conjecture. The analysis is structured as follows. First, three distinct fixed points are found for the third iterate of the Collatz map, which hence organise in a period 3 orbit of the original map. These are 1, 2 and 4, the elements which define the unique attracting cycle, as hypothesised by Collatz. To carry out the calculation we write the positive integers in modulo 8 (*mod8*), obtain a closed analytical form for the associated map and determine the transitions that yield contracting or expanding iterates in the original, infinite-dimensional, space of positive integers. Then, we consider a Markov chain which runs on the reduced space of *mod8* congruence classes of integers. The transition probabilities of the Markov chain are computed from the deterministic map, by employing a measure that is invariant for the map itself. Working in this setting, we demonstrate that the stationary distribution sampled by the stochastic system induces a contracting behaviour for the orbits of the deterministic map on the original space of the positive integers. Sampling the equilibrium distribution on the congruence classes *mod*\(8^m\) for any *m*, which amounts to arbitrarily reducing the degree of imposed coarse graining, returns an identical conclusion.

### Keywords

Collatz conjecture Number theory Markov process Ergodic dynamical systems## 1 Introduction

*n*. If

*n*is even, divide it by 2 to get

*n*/ 2. If n is odd, multiply it by 3 and add 1 to obtain \(3n + 1\). In formulae:

*n*[2].

In this paper, we provide a novel argument to support the validity of the Collatz conjecture. To anticipate our findings, we shall demonstrate that the third iterate \(T^{\circ 3}\) of the Collatz map admits three fixed points, 1, 2 and 4. These latter elements define the, supposedly unique, attracting cycle conjectured by Collatz. The third iterate map is naturally defined on the *mod8* congruence classes of positive integers. We thus quantify the factor of relative compression or expansion, as follows the application of \(T^{\circ 3}\), on each of the eight congruence classes obtained under the *mod8* operation. In the second part of the paper, we show that orbits are on average bound to asymptotically shrink in size so heading towards the deputed equilibrium. We will further enhance the resolution of the measure by reducing to an arbitrary extent the degree of imposed coarse graining, i.e. working on the the congruence classes *mod*\(8^m\) for any chosen *m*. Working in this generalised setting, we will prove that the average Collatz dynamics is contracting, for *m* large as sought, namely shrinking the congruence classes arbitrarily close to the singletons corresponding to each integer.

Markov processes based on congruence classes invariant under application of *T* have been previously considered in [3, 4] and revisited by Lagarias in his comprehensive survey on the \((3x+1)\) problem [1]. It is however the combined usage of (i) the third iterate map \(T^{\circ 3}\), (ii) the representation of numbers in *mod8*, (iii) the idea of employing a Markov chain constructed from \(T^{\circ 3}\) via a suitably defined measure, that allows us to draw a rigorous bound for the contraction factor, which is not just heuristically guessed.

We will begin by defining the third iterate of the Collatz map hereby named \(S=T^{\circ 3}\).

We will determine the action of

*S*on integers expressed in*mod*8. We will obtain class-dependent, \(\mathscr {B}(i,8) \, (i=0,\ldots ,7)\), expansion/contraction factors that exemplify the action of*S*, see Eq. (3). Working in this setting we will also show that 1, 2, 4 are the only fixed points of the deterministic map*S*. The subsequent analysis is targeted to showing that the trajectories of*S*are bound to converge on average to one of the above fixed points.To this end we first introduce a finite states Markov chain which runs on the eight congruence classes \(\mathscr {B}(i,8) \, (i=0,\ldots ,7)\). The transition probabilities are given by Eq. (8) and have been obtained using the

*S*-invariant measure \(\mu _{inv}\) on the classes \(\mathscr {B}(j,8^m)\), \(m\ge 1\) and \(j=0,\ldots ,8^m-1\).The measure \(\mu _{inv}\) is defined by Eq. (12) (or equivalently Eq. (14)). The invariance of the measure under

*S*is proved in Theorem 1.Since the transition probabilities are computed from the

*S*-invariant measure, it is possible to draw conclusion on the iterates of*S*(namely its restriction in*mod*8) by iterating forward the Markov process. This observation follows from a straightforward application of the Chapman–Kolmogorov equation, as discussed in Proposition 4. The explicit form of the stochastic matrix \(Q^*\) that characterises the introduced Markov chain is given in Proposition 5. The stochastic chain does not account for the specificity of 1, 2, 4, the equilibria of*S*. It will hence allow us to elaborate on the out-of-equilibrium dynamics of*S*, prior (possible) convergence to the asymptotic Collatz equilibrium.The stationary distribution of the Markov chain is computed and given by formula (29). Recall that by iterating forward the Markov chain one can inspect the equilibrium dynamics of

*S*, in its*mod*8 representation, see Proposition 4.By using the expansion/contraction factors associated to each of the classes \(\mathscr {B}(i,8) (i=0,\ldots ,7)\) one can show that the deterministic trajectories are on average contracting. This is substantiated by formula (30).

The analysis is generalised by working on the congruence classes

*mod*\(8^m\), for any*m*. By operating in this setting, we will proof that the average Collatz dynamics is contracting, for arbitrarily large*m*, i.e. shrinking the size of the congruence classes as sought. Remarkably, the estimated upper bound for the contraction factor is shown to be independent on*m*.

## 2 From the deterministic map to a stochastic framework

The aim of this section is to introduce the tools used to derive our conclusion, through three intermediate steps, that we here outline for convenience. In Sect. 2.1 we will define and analyse the third iterate of the deterministic Collatz map. Then, in Sects. 2.2, 2.3 and 2.4 we will introduce a finite states Markov process, whose transition probabilities come from the aforementioned third iterate map. To construct the Markov chain we employ an invariant measure of the deterministic map. In Sect. 3 we will study the stationary distribution of the proposed Markov chain and infer robust constraints for the Collatz (deterministic) dynamics. In particular, Collatz orbits are on average contracting. Finally, we will expand on previous results by reformulating the dynamics on the *mod*\(8^m\) classes, \(\forall m\), and prove the average Collatz dynamics to be contracting at any level of imposed coarse graining.

### 2.1 The third iterate of the Collatz map

*mod8*representation of the natural numbers, a choice that makes it possible to cast the sought map in a rather compact form. In practical terms, this amounts to organise the visited numbers in eight different congruence classes, \(\mathscr {B}(i,8)\) for \(i\in \{0,\ldots , 7\}\), each containing the positive integers that yield the same remainder, after performing an Euclidean division by 8. Mathematically, the \(\mathscr {B}(i,8)\) class is defined as:

*S*the third iterate of the Collatz map, namely \(S:=T^{\circ 3}\). The following Proposition makes explicit the action of

*S*on a generic positive integer

*n*. The outcome depends on the specific

*mod8*class,

*n*belongs to.

### Proposition 1

*n*be any positive integer belonging to \(\mathscr {B}(i,8)\) for some \(i\in \{0,\ldots ,7\}\), then the third iterate map

*S*is explicitly given by

One can easily prove that the fixed points of *S* are 1, 2 and 4 corresponding to the 3-cycle \(\{1,2,4\}\) of the original Collatz map. This is achieved by solving the fixed point equation \(S(n)=n\) in the interval of interest \(n \ge 1\). It can be straightforwardly proved that *no additional fixed points exist* for the map *S*(*n*).

*S*is thus in the form of a generalised Collatz map [3]. In the following we will need the explicit value of \(x_i=S(i)={(m_i i+r_i)}/{8}\) for \(i=0,\ldots ,7\), that is

### 2.2 A finite states Markov process

*S*(

*n*), provided one works with a suitable probability space \((\mathbb {N},\mu _{inv})\), for some S-

*invariant measure*\(\mu _{inv}\), that we will introduce hereafter. More precisely, for any given pair of classes \(\mathscr {B}(i,8)\)\((i=0,\ldots ,7)\) and \(\mathscr {B}(j,8)\)\((j=0,\ldots ,7)\) the probability

^{1}\(q^*_{ij}\) of being initially in \(\mathscr {B}(i,8)\) and then land in \(\mathscr {B}(j,8)\), that is the conditional probability \(P[S(x)\in \mathscr {B}(j,8)| x\in \mathscr {B}(i,8)]\), is given by:

### Remark 1

*a*,

*b*and

*n*, the equation

*b*(that is

*b*can be divided by

*d*), in this case the number of distinct solutions is given by

*d*.

We are now in a position to prove the following result:

### Proposition 2

Let \(j=0,\ldots , 7\), then \(S^{-1}\mathscr {B}(j,8)\) is the union of disjoint congruence classes *mod64*, \(\mathscr {B}(l_j,64)\), where the indexes \(l_j\) depend on the *mod8* congruence class *j*.

### Proof

Let \(n\in \mathscr {B}(l,64)\) for some \(l=0,\ldots ,63\), that is it exists \(k\in \mathbb {N}\cup \{0\}\) such that \(n=l+64k\). Let \(l\equiv i\)*mod8*, namely \(l=i+8h\) for some \(i=0,\ldots ,7\) and \(h=0,\ldots ,7\).

*S*(

*n*) using Eq. (4):

*mod8*, that is

In conclusion we showed that \(S^{-1}\mathscr {B}(0,8)\) is the union of \(\mathscr {B}(0,64)\cup \mathscr {B}(10,64)\cup \mathscr {B}(42,64)\cup \mathscr {B}(20,64)\cup \mathscr {B}(52,64)\) and \(\mathscr {B}(3,64)\cup \mathscr {B}(19,64)\cup \mathscr {B}(35,64)\cup \mathscr {B}(51,64)\cup \mathscr {B}(21,64)\cup \mathscr {B}(53,64)\). The first set is composed by 5 classes corresponding to even *l* while the latter group is made by 6 classes with odd *l*.

Let us now consider \(j=1\). For \(i=0\) there is only one solution \(h=1\) and thus \(l=8\). For \(i=1\) there are two solutions, since \(j-1\) is even. These are \(h=0,4\), hence \(l=1,33\). For \(i=6\) two solutions are found because \(j-5\) can be divided by 2. These are \(h=2,6\), yielding \(l=22,54\). For the remaining cases \(i=2,3,4,5,7\) no solutions are possible. Summing up, \(S^{-1}\mathscr {B}(1,8)\) is the union of three classes with even *l*, \(\mathscr {B}(22,64)\cup \mathscr {B}(54,64)\cup \mathscr {B}(8,64)\), and two classes with odd *l*, \(\mathscr {B} (1,64)\cup \mathscr {B}(33,64)\).

The remaining cases can be handled similarly and are not discussed here in details.

To go one step further and explicitly compute the transition probabilities given by Proposition 2 we introduce a S-*invariant (probability) measure*. As we will clarify in the following the measure is invariant under *S* on the family of generalised congruence classes \(B(j,8^m)\).

### 2.3 A S-invariant probability measure

For any fixed integer \(m\ge 1\) we introduce a partition of \(\mathbb {N}\) into disjoint congruence classes, \(\mathscr {B}(i,8^m)\), \(i\in \{0,\ldots , 8^m-1\}\) and we will use them to define a (1-parameter family of) invariant measures \(\mu ^{(m)}_{inv}\). As we will clarify hereafter the introduced measure depends on the index *m*, which identifies the class of pertinence.

*n*be a positive integer and assume it belongs to \(\mathscr {B}(i,8^m)\) for some

*i*. Hence, \(n=i+k\,8^m\) for some integer \(k\ge 0\) and \(i\in \{0,\ldots , 8^m-1\}\). Then there exists a unique string \(s_0,\ldots ,s_{m-1}\in \{0,\ldots ,7\}\) such that \(i=s_{m-1}8^{m-1}+\cdots +s_18+s_0\). Based on the above we define the measure \(\mu ^{(m)}_{inv}\) of the integer

*n*to be:

^{2}while the second factor quantifies the probability that \(s_1,\ldots ,s_{m-1}\) take any of the symbolic entries \(\{0,\ldots ,7\}\) in the expression for

*i*. These latter probabilities are assumed identical (i.e. equal 1 / 8) for all symbols.

### Remark 2

One can prove that the above introduced measure is invariant under *S* for all sets made by any finite intersection and union of the congruence classes defined above. This is established in the following Theorem.

### Theorem 1

The proof of the above theorem relies on the following Proposition.

### Proposition 3

*l*even and \(A^{(m)}_o(j)\) is the union of disjoint classes \(\mathscr {B}(l,8^{m+1})\) with

*l*odd. Moreover if

*j*is even then \(A^{(m)}_e(j)\) contains five elements and \(A^{(m)}_o(j)\) six elements, while if

*j*is odd then \(A^{(m)}_e(j)\) contains three elements and \(A^{(m)}_o(j)\) two elements.

### Proof

Observe that Eq. (17) holds true for \(m=1\) by Proposition 2. Let us assume it is true for all \(k\le m-1\) and prove it for \(k=m\), namely we have to prove that \(S^{-1}\mathscr {B}(j,8^m)\) is the disjoint union of classes \(\mathscr {B}(l,8^{m+1})\) and more precisely \(\#A_e^{(m)}(j)=5\) if *j* is even and 3 if *j* is odd, while \(\#A_o^{(m)}(j)=6\) if *j* is even and 2 if *j* is odd.

*k*. Let \(l\equiv i\)

*mod8*, \(l=i+8h\), \(h=0,\ldots ,8^m-1\). From the definition (3) we can compute

*mod*\(8^m\), namely

Let us now determine \(j_1=0,\ldots , 8^{m-1}\) such that \(j \equiv j_1\) mod \(8^{m-1}\). Observing that \(j-x_i=j_1-x_i+q8^{m-1}\), for some integer *q*, we can conclude that \(d_i\) divides \(j-x_i\) if and only if it divides \(j_1-x_i\), hence using the induction hypothesis we can conclude that \(m_ih\equiv j-x_i\)*mod*\(8^m\) has solutions if and only if the same equation for \(m-1\) has solutions, and moreover they have the same number of solutions.

This implies that \(\#A_e^{(m+1)}(j)=\#A_e^{(m)}(j_1)\) and \(\#A_e^{(m+1)}(j)=\#A_e^{(m)}(j_1)\), because the mod \(8^{m-1}\) operation doesn’t change the parity of *j*. The claim is then proved using the results of Proposition 2.

We can now prove Theorem 1.

### Proof

*j*is even we get:

*j*is odd we get:

### Remark 3

Given a positive integer \(m^*\) and the measure \(\mu _{inv}^{(m^*)}\), all measures \(\mu _{inv}^{(m)}\), \(\forall m<m^*\) are push-forward measures of \(\mu _{inv}^{(m^*)}\): \(\mu _{inv}^{(m^*-1)}(\cdot )\! :=\! \mu _{inv}^{(m^*)} (S^{-1}(\cdot ))\). In fact \(\mu _{inv}^{(m^*-1)}(\mathscr {B}(i,8^{m^*-1})) \!=\! \mu _{inv}^{(m^*)} (S^{-1} \mathscr {B}(i,8^{m^*-1})) \!=\! \mu _{inv}^{(m^{*})} (\bigcup _j \mathscr {B}(j,8^{(m^{*})})) = \sum _j \mu _{inv}^{(m^*)} (\mathscr {B}(j,8^{m^*}))\) where the last sum extends over the classes \(8^{m^*}\) that constitute the image of \(\mathscr {B}(i,8^{m^*-1})\) via application of \(S^{-1} (\cdot )\). Based on Proposition 3 it readily follows that \(\mu _{inv}^{(m^*-1)}(\mathscr {B}(i,8^{m^*-1})) = \nu (i)/8^{m^*-1}\). The reasoning can be further iterated to all \(m<m^*\), so recovering the measure of the classes as introduced above.

### Remark 4

Writing the singleton set \(\{n\}\) as \(\bigcap _{m\ge m_0} \mathscr {B}(n,8^m)\), where \(m_0\) is the smallest integer such that \(n\le 8^{m_0}\), one gets \(\mu ^{(\infty )}_{inv}(n)=\lim _{m\rightarrow \infty }\nu (s_0)2^{-(k+1)}2^{-(m-1)}=0\). Integers are hence associated to a trivial (zero) measure. We thus have the invariance also in the limiting case \(m=\infty \), even if in a trivial form \(\mu ^{(\infty )}_{inv}(S^{-1}\{n\})=\mu ^{(\infty )}_{inv}(\{\text {a finite set of integers}\})=0\) which equals \(\mu ^{(\infty )}_{inv}(\{n\})=0\). Notice however that \(\mu ^{(\infty )}\) is not \(\sigma \)-additive, and so, strictly speaking, we cannot refer to it as to a measure

In the following we will be be interested in studying the orbit of the third iterate of the Collatz map, namely \(S^{\circ k}\) for \(k\in \mathbb {N}\). We aim in particular at characterising the quasi-stationary dynamics, i.e. the out of equilibrium dynamics of the system prior possible absorption to the equilibrium fixed point, as identified earlier. The transition probabilities \(q_{ij}^*\) given by (8) have been computed using *S*, i.e. the first iterate of the map. A natural question that arise is how these latter quantities relate to the transition probabilities of the stochastic process defined through \(S^{\circ k}\), for a generic \(k\in \mathbb {N}\). This is established in the following proposition.

### Proposition 4

### Proof

*k*steps, assuming that the system is in \(\mathscr {B}(i,8)\) after \(0\le h<k\) steps. Then

The consequences of the above Proposition are of paramount importance for the forthcoming discussion. In particular, it is possible to draw conclusion of the dynamics of *S* (and hence on its restriction in *mod*8) by iterating the Markov process defined by the transition probabilities \(q^*_{ij}\). We recall once again that we are here interested in shedding light onto the out-of-equilibrium dynamics of *S* before the deterministic trajectories reach their asymptotic attractor. As we shall see, by exploiting Proposition 4 it will be possible to deduce effective constraints that are to be matched by the deterministic application.

### 2.4 Computing the transition probabilities

We are now in a position to explicitly compute the transition probabilities \(q^*_{ij}\), formally given by Eq. (8). The latter transition probabilities define the entries of the transition matrix \(Q^*\) which is entirely specified by the following Proposition.

### Proposition 5

*i*and

*j*in \(\{0,\ldots ,7\}\), determine the probability to reach the target class

*j*, from class

*i*and read:

### Proof

## 3 Collatz orbits are on average contracting

Building on the above, we can now prove that, on average, Collatz orbits are bounded. We begin by computing the invariant (stationary) distribution \(\mathbf {P}_{stat}\) of the Markov process defined by the irreducible transition matrix \(Q^*\). The stationary distribution \(\mathbf {P}_{stat}\) represents a factual constraint that should be matched on average by stochastic trajectories. It will allow in turn to draw conclusions on the late time behaviour of the deterministic orbits (prior possible convergence to the Collatz cycle). We recall in fact that the transition probabilities of the Markov chain are computed by using a measure invariant (over the congruences classes of interest) under the deterministic map *S*. This allows us to study the asymptotic dynamics of the deterministic process via successive applications of the Markov chain (see Proposition 4).

### Proposition 6

The finite states Markov process defined by the transition matrix \(Q^*\) is irreducible and recurrent, hence ergodic.

### Proof

The claim follows by direct inspection of \((Q^*)^2\), the second iterate of \(Q^*\). In fact, \([(Q^*)^2]_{ij}\ge 1/16\) for all *i* and *j* in \(\{0,\ldots ,7\}\).

*S*(or equivalently, its restriction in

*mod*8) by virtue of the introduced Markov chain. This observation translates in a viable strategy to prove the average contracting property of the deterministic map

*S*. Roughly speaking when the map

*S*is acted on a positive integer belonging to class \(\mathscr {B}(0,8)\), it drives a contraction factor equal to 1 / 8. If

*S*is instead operated on natural numbers of the classes \(\mathscr {B}(j,8)\), \(j=1,2,4,5,6\), it results in a contraction of 3 / 4. At variance,

*S*(

*n*) produces an expansion with rate 9 / 2, for

*n*belonging to classes \(\mathscr {B}(3,8)\) and \(\mathscr {B}(7,8)\). Hence the obtained information on \(\mathbf {P}_{stat}\) allows to estimate the degree of contraction (or expansion) \(f_{Q^*}\) that trajectories should, on average, produce:

Carrying out the calculation yields \(f_{Q^*}= 3/4<1\), thus implying in turn that the average approach to the absorbing equilibrium is contracting. Observe that this latter contracting factor is here analytically determined, at variance with previous attempts that relied on heuristic reasoning. Notice that this preliminary estimate \(f_{Q^*}= 3/4\) has been obtained by just retaining the terms proportional to *n* in the definition of *S*(*n*), see Eq. (3), or, equivalently, working with a sufficiently large *n*. Accounting for the constant (*n* independent) contributions in (3) does not modify the conclusion that we have reached: the generic orbit is always contracting, as it is proved hereafter.

*S*on the classes \(\mathscr {B}(i,8)\). We are in particular interested in the contraction/expansion factors associated to each transition among classes. The following upper bounds can be obtained:

^{3}\(n_{min}=3\). With this choice, one gets:

*S*is therefore contracting and trajectories are on average attracted towards the three fixed points as identified above, namely the entries of the Collatz cycle \(\{1,2,4\}\).

*X*and transition matrix

*Q*. Assume the Markov chain to be irreducible and positive recurrent. Let \(\pi \) denote the unique invariant probability measure and consider a non-negative function \(f : X \mapsto \mathbb {R}\), summable with respect to \(\pi \). Then for a.e \(n_0 \in X\), we recall that

*S*are bound to contract and hence converge to the Collatz cycle. To this end let us assume the existence of an initial datum \(n_0 \in \mathbb {N}\) associated to a diverging Collatz orbit, \(n_k=S^{\circ k}(n_0)\), \(k\ge 0\). From definition (32) it obviously follows \(S(n)<c_i n\) for \(n\in \mathscr {B}(i,8)\) and thus

*diverging orbit*we have proved that, for a sufficiently large

*stopping time*[1]

*k*, one has:

The above results follow a dynamical constraint on the equilibrium of *S* as obtained by partitioning the integers in 8 congruence classes. The visiting frequency are in fact obtained by computing the stationary distribution of a Markov analogue of the deterministic dynamics which runs on a finite alphabet of 8 states. What is going to happen if the analysis is progressively refined to the smaller scales, by working on the classes \(\mathscr {B}(i,8^m)\), for any given choice of *m*? We shall adapt the Markov approach to account for this generalisation and prove that orbits are contracting, at any given degree resolution, i.e. when sampling the equilibrium on the equivalence classes \(\mathscr {B}(i,8^m)\) for *m* large as sought. Remarkably, the computed upper bound for the contraction factor is independent on *m* and equal to the value obtained in Eq. (33).

## 4 The Collatz dynamics is contracting at the finest scale

In this section we will prove that Collatz orbits are on average contracting when seen on the equivalence classes \(\mathscr {B}(i,8^m)\), \(i\in \{0,\ldots , 8^m-1\}\) for any \(m>1\). Moreover, the computed upper bound for the contracting factors is identical to that obtained above, when operating with classes \(\mathscr {B}(i,8)\), see Eq. (33), and thus independent of *m*.

*Q*(

*m*) the \(8^m \times 8^m\) matrix formed by the entries (37), for any given

*m*. We can then prove the following proposition:

### Proposition 7

*Q*(

*m*) are stochastic for all \(m\ge 1\). Moreover the unique stationary distribution \(\mathbf {P}_{stat}(m)\), solution of

### Proof

*Q*(

*m*) is stochastic). Let us start by computing

*l*even and \(A^{(m)}_o(j)\) is the union of disjoint classes \(\mathscr {B}(l,8^{m+1})\) with

*l*odd.

### Remark 5

As shown above, the Markov process characterised by the stochastic matrix *Q*(*m*) admits a unique stationary state, with all non trivial entries. Then it is immediate to show that it is also irreducible and recurrent. In fact for arbitrarily large *k*, all rows of \(Q(m)^k\) are identical to the stationary distribution \(\mathbf {P}_{stat}(m)\). Its components are therefore strictly positive.

We are now in a position to quantify the degree of contraction/expansion that characterises the deterministic dynamics, as seen on the classes \(\mathscr {B}(i,8^m)\), \(m\ge 1\) and \(i=0,\ldots ,8^m-1\). This enables us to generalise the above analysis, beyond the rather specific choice \(m=1\). To this end let us define \(i^{(m)}(n)=i\) if \(n\in \mathscr {B}(i,8^m)\), that is the indicator function of the classes \(\mathscr {B}(i,8^m)\). Observe that the contraction/expansion *S* is ultimately determined by \(i^{(1)}(n)\) (see Eq. (31)). To prove that contracting character of the map we proceed as above, and assume that the orbit stemming from \(n_0\) is diverging, hence by definition made by an infinite set of entries.

*mod*\(8^m\). In conclusion the map

*S*is on average contracting on the classes \(\mathscr {B}(i,8^m)\). As an additional, important remark, we notice that the upper bound for the average contracting factor as obtained when representing the dynamics of

*S*on the \(8^{m}\) equivalent classes is identical to that given by Eq. (33).

The remarkable conclusion is therefore that the third iterate of the Collatz map is always contracting, when seen on the equivalence classes \(\mathscr {B}(i,8^m)\), for *m* large as sought, and that the estimated bound for the contraction factor is independent on the classes index *m*. In other words, we can make the number of classes as large as wished (and consequently reduce their size so to approach the singletons with arbitrary accuracy), while still detecting a contracting deterministic dynamics, with a constant (independent on *m*.) bound for the rate of contraction. As previously remarked when the limit for *m* that goes to infinity is performed, the measure of the classes, and hence the singletons, converges to zero. Despite the fact the contracting factors stays constant for any, arbitrarily large *m*, it seems that we cannot rule out the existence of zero measure orbits that violate this constraint.

### Remark 6

In principle it would be tempting to consider a different measure that would become non trivial in the limit for *m* that diverges to infinity. This latter measure needs however to be invariant on *S*, which implies that it should asymptotically concentrate only on the Collatz integers 1, 2, 4, i.e. the supposed attractors for the deterministic dynamics. On the other hand, the invariance requirement at the coarse grained scale, necessitates dealing with a uniform (except for the weights 1 / 6 and 1 / 12) measure on the equivalence classes. This latter request cannot be reconciled with the need for a non uniform measure at integers level, making impossible the search for a modified measure that is both non trivial and invariant on the singletons.

## 5 Conclusions

In this paper we have provided an analytical argument to support the validity of the so called Collatz conjecture, a long standing problem in mathematics which dates back to 1937. The analysis builds on three main pillars. In short, we (i) introduced the (forward) third iterate of the Collatz map (so to reduce the analysis of the period 3 cycle to a search for a fixed point) and considered the equivalence classes of integer numbers modulo 8; (ii) defined a Markov chain (based on a suitable non trivial measure) which runs on a set of finite states and whose transition probabilities reflect the deterministic map; (iii) showed that orbits are on average contracting, as follows strict bound that combines the visiting frequencies, as derived in the framework of the aforementioned stochastic picture, and the contraction/expansion factors associated to each transition among classes. Notice that the conclusion reached holds for any level of imposed coarse graining, i.e. by computing the visiting frequencies on the partition in *mod*\(8^m\) classes, with *m* large as wished. Despite the measure introduced cannot be extended to weight individual singletons, we can proof that the Collatz dynamics is contracting on uniform partitions of the natural numbers in classes. These partitions can be refined to approximate singletons with suited accuracy, without eventually converging to them.

## Footnotes

- 1.
We shall hereafter label the rows and columns of \(Q^*\) with indexes running from 0 up to 7, rather than from 1 up to 8, as it is customarily done.

- 2.
Observe that formally \(k=k(m)\).

- 3.
In principle one could also consider the additional constraint on \(n_{min}\), imposed by the class of relative pertinence.

## Notes

### Acknowledgements

We would like to thank the numerous colleagues who interacted with us all along the various stages of the writing of this work. In particular we warmly thank Claudio Bonanno, Carlo Carminati, Jean-Charle Delvenne, Craig Alan Feinstein, Steffen Kionke, Shlomo Levental, Stefano Marmi, Vassilis Papanicolaou, François Stealens and Cédric Villani, for their insightful comments and remarks. The work of T.C. presents research results of the Belgian Network DYSCO (Dynamical Systems, Control, and Optimization), funded by the Interuniversity Attraction Poles Programme, initiated by the Belgian State, Science Policy Office.

### References

- 1.Lagarias, J.C.: The Ultimate Challenge: The 3x+1 Problem. American Mathematical Society, Providence, USA (2010)Google Scholar
- 2.Oliveira, T., Silva, E.: Maximum excursion and stopping time record holders for the 3x+1 problem: computational results. Math. Comput.
**68**(1), 371–384 (1999)Google Scholar - 3.Matthews, K.R., Watts, A.M.: A Markov approach to the generalised Syracuse algorithm. Acta Arith.
**45**, 29 (1985)Google Scholar - 4.Buttsworth, R.N., Matthews, K.R.: On some Markov matrices arising from the generalised Collatz mapping. Acta Arith.
**55**(1985)Google Scholar - 5.Cox, D.R., Miller, H.D.: The Theory of Stochastic Processes. CRC Press, Florida, USA (1977)Google Scholar