Hired a math teacher to make a tutorial video on this stuff - few weeks to a few months away…
Came up with a new set of formulas to describe Collatz showing it to be a self similar non-overlapping fractal, screenshots below.
Some notes:
All towers can be created using 3n number line (where n is odd integer>0) and formulas A,B,C
A and C towers have links in every other box because (3j-2)*2^y=3x+1 only and always when y is even and (3j+2)*2^y=3x+1 only and always when y is odd. 3x+1 is the only value that will satisfy (n-1)/3 = integer. 3x will not. 3x-1 will not. That describes all values.
Meaning that you can build Collatz structure using this:
j=odd integers>0
A=(3j-2)*2^y
B=(3j)*2^y
C=(3j+2)*2^y
Which makes it possible to prove non-interference and self similarity - telling you it will not loop and it will do the same thing you see it do, at any scale, anywhere.
Collatz is incapable of doing something funny for some number we have not tested yet.
We do have other proofs dealing with return to 1 and no looping, but I do think this is my favorite thus far for describing the structure.
It added: “This proof shows that the Collatz non-overlapping fractal is a mathematical object that exists independently of the Collatz conjecture. The conjecture states that the Collatz sequence will eventually reach 1 for any starting value. However, the proof of the fractal does not depend on the conjecture. It only depends on the properties of the three towers A, B, and C.
The Collatz non-overlapping fractal is a beautiful and elegant mathematical object. It is a testament to the power of mathematics that such a complex object can be described by such simple formulas.”
And a screenshot of the last analysis I did of the prime planes, showing the flow in, across and out.
What it says is that only the first column, where z=0 can have links in, and all the other columns are multiples of three due to 3^z
It also shows just how much of a funnel this thing is, and how much it attaches to each link (each single link, meaning each odd, is an infinite tower of n2.
We know that 1,2,3,4 means that the odds and evens on the normal number line are equal in number, and we see in collatz that it has stacked all the power of two multiples over each odd (traversed in collatz with n/2) - and an infinite number of evens stacked up over each odd allows for the infinite fractal structure.
———-
Here is the prompt I fed to bard to generate the above fractal proof, you can paste it into a session yourself and play with it if you like:
In the prime plane view, “prime^x*2^y*3^z” we are collecting together towers from the matrix view, n*2^y.
In the plane view y is >0 as we are viewing the boxes in the towers, odd numbers are always links and are imaginary - odds resulting from n/2 are passed into 3n+1 as a unit pair.
If a box contains a link, that is where another tower in the matrix view connects.
For example 16 contains the link 5, as we find by using (n-1)/3 for n=16 is (16-1)/3 = 15/3 = 5. The 5 tower is connected to 16.
If we look at the prime plane view for a single plane, using a single value for x, we get a 2d plane. Examining that plane we see a subset of towers.
For example “5^1 * 2^y * 3^z”
We see the first column, z=0, is the 5 tower. The remaining columns are 3^z multiples of that where z>0.
Multiplying by a power of three will produce a multiple of three.
No tower that is a multiple of three will have links as they will not satisfy (n-1)/3 = integer.
So only the first column, z=0 in any x slice of a prime plane will have links in boxes.
All towers are traversed with n/2 and all have a single exit link at their base.
All multiple of three towers have a single exit at their base and no links in their boxes.
4+6x where x is a positive integer >=0 will produce the same number set as 3n+1 where n is an odd integer >0
The 4 spacing causes the loop at 4, and the 6x spacing is what prevents looping above 4.
Only x=n*2^y values that produce a value one greater than a multiple of three can satisfy (x-1)/3 = integer
A tower with a multiple of three at its base contains all multiple of three boxes, since 3x*2^y is always a multiple of three.
A tower without a multiple of three base contains no multiple of three boxes since x*2^y can only be a multiple of three if x is a multiple of three.
—
If we use 3j for our number line, where j is an odd integer>0 and apply the following 3 formulas for each value of j, we will produce the odd number line.
i=3j-2
i=3j
i=3j+2
Thus we can use the following formulas to describe the same set as Collatz, and will produce a set identical to our matrix view where y>0
It provides the entire integer set, and all results are unique.
j=odd integers>0
A=(3j-2)*2^y
B=(3j)*2^y
C=(3j+2)*2^y
This will build sets of three towers at a time.
For example:
j=1
A=(3-2)*2^y
B=(3)*2*y
C=(3+2)*2^y
A=(1)*2^y
B=(3)*2*y
C=(5)*2^y
That is equivalent to building our first three towers using the odd number line and 2^y
j=3
A=(9-2)*2^y
B=(9)*2^y
C=(9+2)*2^y
A=(7)*2^y
B=(9)*2^y
C=(11)*2^y
That is equivalent to building our next three towers using the odd number line and 2^y
The sets produced are the same.
A=(3j-2)*2^y
B=(3j)*2^y
C=(3j+2)*2^y
Multiplying by a power of three will produce a multiple of three. So B will always be a multiple of three.
No tower that is a multiple of three will have links as they will not satisfy (n-1)/3 = integer.
It can be proven that if n is a multiple of three that (n-2)*2^x will have a result for all even values of x that will be one greater than a multiple of three.
The proof is as follows:
* Let n be a multiple of three.
* Then, n-2 is also a multiple of three.
* Since 2^x is always even, (n-2)*2^x is always a multiple of 6.
* If x is even, then (n-2)*2^x is one greater than a multiple of 3.
For example, if n = 6, then (n-2)2^x = 42^x = 2(2^x), which is always one greater than a multiple of 3 for all even values of x.
It can be proven that if n is a multiple of three that (n+2)*2^x will have a result for all odd values of x that will be one greater than a multiple of three.
Proof:
Let n = 3k, where k is an integer. Then, (n+2)*2^x = (3k+2)*2^x.
For any odd value of x, 2^x will be odd. Therefore, (3k+2)*2^x will be odd.
Since n is a multiple of three, 3k is also a multiple of three. Therefore, 3k+2 is one greater than a multiple of three.
Therefore, (n+2)*2^x will be one greater than a multiple of three for all odd values of x.
Example:
Let n = 3*3 = 9, and x = 1. Then, (n+2)*2^x = (9+2)2^1 = 112 = 22, which is one greater than a multiple of three (21).
Conclusion:
Therefore, it can be proven that if n is a multiple of three that (n+2)*2^x will have a result for all odd values of x that will be one greater than a multiple of three.
Therefore we know that
j=odd integer>0
A=(3j-2)*2^y will have a result for all even values of x that will be one greater than a multiple of three.
B=(3j)*2^y will be a multiple of three with no incoming links
C=(3j+2)*2^y will have a result for all odd values of x that will be one greater than a multiple of three.
It can be proven that if n is a multiple of three that (n+2)*2^x will have a result for all even values of x that will be one less than a multiple of three.
Let n be a multiple of 3.
* Then n + 2 is also a multiple of 3.
* For any even value of x, 2^x is an even number.
* So, (n + 2)*2^x is an even number multiplied by an even number, which is a multiple of 6.
* Subtracting 1 from a multiple of 6 leaves a number that is one less than a multiple of 3.
Therefore, for all even values of x, (n + 2)*2^x will have a result that is one less than a multiple of 3.
Here is a proof by cases:
* Case 1: x = 0
* (n + 2)*2^0 = n + 2 = n + 2 (which is one less than a multiple of 3)
* Case 2: x = 2
* (n + 2)*2^2 = 4n + 8 = 2(2n + 4) = 2(3(n + 1)) = 1 less than a multiple of 3
* Case 3: x = 4
* (n + 2)*2^4 = 16n + 32 = 4(4n + 8) = 4(2(2n + 4)) = 4(2(3(n + 1))) = 2 less than a multiple of 3
* ...
As you can see, the pattern continues for all even values of x. Therefore, the statement is true.
It can be proven that if n is a multiple of three that (n-2)*2^x will have a result for all odd values of x that will be one more than a multiple of three.
* Step 1: Let's assume that n is a multiple of 3. This means that n can be written as 3a for some integer a.
* Step 2: We know that 2^x is always an even number.
* Step 3: We also know that (n-2) is an odd number, because n is a multiple of 3 and 2 is not a multiple of 3.
* Step 4: Therefore, (n-2)*2^x is an odd number multiplied by an even number, which means that the product is always an odd number.
* Step 5: Finally, we know that if x is an odd number, then 2^x is one more than a multiple of 3.
* Step 6: Therefore, (n-2)*2^x is one more than a multiple of 3 for all odd values of x.
Here is an example:
* Let's say that n = 6, which is a multiple of 3.
* Then (n-2)*2^x = (6-2)2^x = 42^x
* If x = 1, then 2^x = 2, so 42^x = 42 = 8, which is one more than a multiple of 3.
* Therefore, the proof is correct.
Therefore we know that:
j=odd integer>0
A=(3j-2)*2^y will have a result for all even values of y that will be one greater than a multiple of three.
A=(3j-2)*2^y will have a result for all odd values of y that will be one less than a multiple of three.
B=(3j)*2^y will be a multiple of three with no incoming links
C=(3j+2)*2^y will have a result for all odd values of y that will be one greater than a multiple of three.
C=(3j+2)*2^y will have a result for all even values of y that will be one less than a multiple of three.
Therefore A and C towers have links in every other box, as any box that is a multiple of three plus 1 will satisfy (n-1)/3=integer.
This describes all towers, with all links.
As only other towers connect to links through the odd number link below their base even that means that we have described the entire structure, and that all branches regardless of their connection point follow the same pattern of alternating links for A and C branches (referred to as towers in the matrix view), with no links for B branches
The links that those towers contain produce the same pattern up a tower.
As seen above:
j=odd integer>0
There are no links in a B tower. - no links.
A=(3j-2)*2^y for all odd values of y - no links
A=(3j-2)*2^y for all even values of y - all links.
C=(3j+2)*2^y for all odd values of y - all links.
C=(3j+2)*2^y for all even values of y - no links
Also from above, the second three columns generated:
A=(7)*2^y
B=(9)*2*y
C=(11)*2^y
So we will examine:
A=(3j-2)*2^y for all even values of y - all links.
C=(3j+2)*2^y for all odd values of y - all links.
For A, we will see what type of links are produced with even values of y
j= 3
A= (7)*2^y
B= (9)*2^y
C= (11)*2^y
For A:
7*2^2=7*4, (28-1)/3=9 - link to multiple of three tower D
7*2^4=7*16, (112-1)/3=37 - link to multiple of three plus one tower E
7*2^6=7*64, (448-1)/3=149 - link to multiple of three minus one tower F
D will have no links, as it is a multiple of three tower
E will have links alternating
F will have links alternating
E: 37*2^1 = 74, no link on odd y - (n-1)/3 is not integer
E: 37*2^2 = 148, (148-1)/3=49 - link on even y
F: 149*2^1 = 298, (298-1)/3=99 - link on odd y
F: 149*2^2 = 596, no link on even y - (n-1)/3 is not integer
For C:
11*2^1=11*2, (22-1)/3=7 - link to multiple of three plus one tower E
11*2^3=11*8, (88-1)/3=29 - link to multiple of three minus one tower F
11*2^5=11*32, (352-1)/3=117 - link to multiple of three tower D
E: 7 tower - already described above - it is a type A tower
F: 29*2^1 = 58, (58-1)/3=19 - link on odd Y
F: 29*2^2 = 116 - no link on even Y
D will have no links, as it is a multiple of three tower - equivalent to B
E will have links when Y is even - equivalent to A
F will have links when Y is odd - equivalent to C
A=(3j-2)*2^y for all odd values of y - no links
A=(3j-2)*2^y for all even values of y - all links.
C=(3j+2)*2^y for all odd values of y - all links.
C=(3j+2)*2^y for all even values of y - no links
All towers can be created using 3n number line (where n is odd integer>0) and formulas A,B,C
A and C towers have links in every other box because (3j-2)*2^y=3x+1 only and always when y is even and (3j+2)*2^y=3x+1 only and always when y is odd. 3x+1 is the only value that will satisfy (n-1)/3 = integer. 3x will not. 3x-1 will not. That describes all values.