mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Factoring (https://www.mersenneforum.org/forumdisplay.php?f=19)

 ThomRuley 2021-12-13 01:11

I thought of a random question today about the process of sieving of odd perfect numbers. As I have understood the process, we take prime numbers less than an arbitrary limit and generate sigma chains based on powers of those prime numbers. It occurred to me that we can't possibly check the sigma chains on ALL the primes less than the limit, so I now have two questions:

1. Since we can't check them all, how do we know that we've eliminated all possible OPNs below 10^2000 or whatever other limit we have chosen?
2. How do we pick the right prime numbers to start the sigma chains?

 henryzz 2021-12-13 12:31

[QUOTE=ThomRuley;595065]I thought of a random question today about the process of sieving of odd perfect numbers. As I have understood the process, we take prime numbers less than an arbitrary limit and generate sigma chains based on powers of those prime numbers. It occurred to me that we can't possibly check the sigma chains on ALL the primes less than the limit, so I now have two questions:

1. Since we can't check them all, how do we know that we've eliminated all possible OPNs below 10^2000 or whatever other limit we have chosen?
2. How do we pick the right prime numbers to start the sigma chains?[/QUOTE]

This is explained in the end game section of [url]http://www.lirmm.fr/~ochem/opn/[/url] and also in [url]https://maths-people.anu.edu.au/~brent/pd/rpb116.pdf[/url]

Some of the larger numbers are included because it shortens the proof. For example excluding 5 without first considering 3 effectively requires excluding 3 as 5^1+1 is 6=2*3 so it is better to do this first. There may be others worth adding for this purpose. I am currently experimenting to see if there are any small primes that can be excluded easily that would shorten future sections of the proof. Unfortunately this is a nontrivial problem as so much effort has been expanded on the standard set of primes.

 All times are UTC. The time now is 01:11.