Collatz Conjecture - Bouncing Ideas

prdgi
Messages
2
Reaction score
0
Hey, this is my first post, so... Hello everybody!

I've been looking into the Collatz conjecture, and like most mathematically minded people, been completely absorbed by it. I'm looking to bounce some ideas off other people, kind of a peer review of a couple things if you will.

I'll be the first to state that I'm nowhere near qualified, or intelligent, enough to call myself an expert, so feel free to correct me and tell me this was worked out a hundred years ago, I'd appreciate it.

I'm looking for a way to avoid checking every number up to n when looking for an exception to the Collatz Conjecture.

If every positive integer can be expressed as odd * 2n such that prime numbers are p * 20 and powers of 2 are 1 * 2n and branches of the Collatz Tree begin with an odd positive integer followed by that odd positive integer multiplied by 2n where n is the number of steps to get back to the odd positive integer, would it be safe to assume that for each odd positive integer present in the Collatz Tree every even positive integer of the form odd * 2n would be present?

If this assumption is safe to make, we can instantly avoid the checking of every even positive integer, a 50% reduction in amount of numbers requiring checking.

Also, for every branch of the Collatz Tree, a new branch is created wherever [(odd * 2n) - 1] % 3 == 0. With this in mind, if 3 is a factor of odd, then 3 is also a factor of odd * 2n and as such [(odd * 2n) - 1] % 3 == 2. Therefore, for any branch where 3 is a factor of the base odd positive integer, no sub-branch can ever be created.

If no sub-branch can ever be present, any odd positive integer divisible by 3 cannot possibly be reliant on any prior representation of itself in the Collatz Tree in order for itself to be represented in the Collatz Tree and thus cannot be part of the main sequence of an exception loop. Therefore, we can avoid checking odd positive integers that are divisible by 3. This can further reduce the numbers that require testing by 33%.

These 2 reductions leave us with testing 33% of numbers - something that can increase our search times greatly.

I hope I have explained myself well enough, it is one of my weaknesses.

What do you guys think?
 
Physics news on Phys.org
Only got time to quickly look at your assumption paragraph beginning

"If every +ve integer can be expressed as odd * 2^n..."

But I can see straight away that you are not considering odd numbers at all in your tree branches as (any number odd or even) * (power of 2) = even.

You do consider the primes above but that is all you have. Prime numbers and even numbers.

I looked at the Collatz conjecture many times a few years ago and I came up with what I thought was a repetition of Mersenne primes (as remainders) in the branches. I'll have a look at my notes and get back to this thread. May take a few days.

kdbnlin.
 
Last edited:
kdbnlin78 said:
But I can see straight away that you are not considering odd numbers at all in your tree branches as (any number odd or even) * (power of 2) = even.

kdbnlin.

Hey thankyou for your reply. I too have little time - about 3 minutes before I leave to work.

Every odd number can be expressed the same way that a prime number can be expressed. That is, odd * 20 because 20 evaluates to 1. Therefore odd numbers are expressed as odd * 1, or more simply, odd.

prdgi
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...

Similar threads

Back
Top