User:Frostburn/Collatz scales

The Collatz conjecture states that a certain sequence always reaches one regardless of the starting value.

We can formulate the Collatz iteration musically as follows:

Start with a seed interval [math]\displaystyle{ s_0 = \frac{p_0}{q_0} }[/math] such that [math]\displaystyle{ 1 \le s_0 < 2 }[/math] and apply the following recursion:

[math]\displaystyle{ s_{n+1} = \frac{p_{n+1}}{q_{n+1}} = \frac{1 + 3 p_n}{q_n}\ \mathrm{red}\ 2 }[/math]

where [math]\displaystyle{ \frac{p_n}{q_n} }[/math] is in reduced form (no common factors) and [math]\displaystyle{ x\ \mathrm{red}\ 2 }[/math] denotes octave reduction i.e. repeated division or multiplication by 2 until [math]\displaystyle{ 1 \le x < 2 }[/math].

We call the set [math]\displaystyle{ \left\{ s_n | n \in \mathbb{N} \right\} \cup \left\{ 2 \right\} }[/math] the Collatz scale of [math]\displaystyle{ s_0 }[/math].

Conjecture

All Collatz scales are finite.

Evidence

Seed [math]\displaystyle{ \frac{7}{4} }[/math]:

! collatz7.scl
!
Collatz scale of 7/4
6
!
17/16
5/4
11/8
13/8
7/4
2/1

Seed [math]\displaystyle{ \frac{10}{7} }[/math]:

! collatz10_7.scl
!
Collatz scale of 10/7
10
!
35/32
31/28
5/4
71/56
10/7
23/16
53/32
47/28
107/56
2/1

Seed [math]\displaystyle{ \frac{13}{11} }[/math]:

! collatz13_11.scl
!
Collatz scale of 13/11
7
!
23/22
13/11
53/44
61/44
35/22
20/11
2/1