mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > Conjectures 'R Us

Closed Thread
 
Thread Tools
Old 2007-01-09, 06:07   #78
Citrix
 
Citrix's Avatar
 
Jun 2003

158210 Posts
Default

I am not sure why you are stuck, it is quite easy to prove that every base will has infinite number of covering sets.

Consider this suppose you have base b. (Sierpinski first)

Then you factorize b^2+1, b^4+1,...b^(2^n)+1
Now all the above will provide atleast one factor. If all of them are prime then there is no covering set. But atleast one number in this sequence will be composite and will have 2 factors which will generate a covering set.

Similarly the Riesel case can also be solved.
Also more covering sets can be generated using other powers like b^3+1, b^9+1...
Citrix is offline  
Old 2007-01-09, 07:39   #79
ValerieVonck
 
ValerieVonck's Avatar
 
Mar 2004
Belgium

84110 Posts
Default

Hi everyone!

Am I doing something wrong?
I tested 22*22^n+1 till n=145407 and sieved it to 514M and I am still getting no prime(s)?
In NewPGen I did choose: k*b^n+1 with k fixed??

Is this ok?

Thx
ValerieVonck is offline  
Old 2007-01-09, 09:05   #80
robert44444uk
 
robert44444uk's Avatar
 
Jun 2003
Oxford, UK

29·67 Posts
Default

Quote:
Originally Posted by Citrix View Post
I am not sure why you are stuck, it is quite easy to prove that every base will has infinite number of covering sets.

Consider this suppose you have base b. (Sierpinski first)

Then you factorize b^2+1, b^4+1,...b^(2^n)+1
Now all the above will provide atleast one factor. If all of them are prime then there is no covering set. But atleast one number in this sequence will be composite and will have 2 factors which will generate a covering set.

Similarly the Riesel case can also be solved.
Also more covering sets can be generated using other powers like b^3+1, b^9+1...
The problem comes with b=2^n-1, as the factorisation of b^n-1 does not guarantee a new factor. For example b=2^4-1=15, 15^1-1=14=7*2, 15^2-1=2^5*7 so no new prime factor. If all other values of n^2 for that b only produce 1 new prime factor, then no covering set is there as 1/4+1/8+1/16....<1.

What we have proved that, for all other b, there is a covering set with a repeat of no greater than 12.

Of course, we do not expect that, even in the isolated cases above, that there is no covering set, we have not proved it yet. I have checked up to b=2^24-1 and have found covering sets for them all.
robert44444uk is offline  
Old 2007-01-09, 09:09   #81
robert44444uk
 
robert44444uk's Avatar
 
Jun 2003
Oxford, UK

36278 Posts
Default

Quote:
Originally Posted by CedricVonck View Post
Hi everyone!

Am I doing something wrong?
I tested 22*22^n+1 till n=145407 and sieved it to 514M and I am still getting no prime(s)?
In NewPGen I did choose: k*b^n+1 with k fixed??

Is this ok?

Thx
Hi, Cedric. You might want to check Axn1's post. We are not really expecting to find a prime for this value. You might want to take over from where he left off, or look at another base and k.
robert44444uk is offline  
Old 2007-01-09, 09:43   #82
robert44444uk
 
robert44444uk's Avatar
 
Jun 2003
Oxford, UK

29·67 Posts
Default Base 24

Base 24 is slightly more complex

Sierpinski 77554 [5,7,79,601]

Riesel 135249 [5,7,79,601]

There is an chance that lower sierpinskis and riesels exist, but remote.

Almost all of the values need to be checked as trivial solutions are only one in every 23.

Last fiddled with by robert44444uk on 2007-01-09 at 09:44
robert44444uk is offline  
Old 2007-01-09, 09:51   #83
ValerieVonck
 
ValerieVonck's Avatar
 
Mar 2004
Belgium

292 Posts
Default

Ok unreserving
Base 22
n = 22
n = 484

Reserving:


1343*16^n-1
ValerieVonck is offline  
Old 2007-01-09, 21:50   #84
michaf
 
michaf's Avatar
 
Jan 2005

479 Posts
Default

Quote:
Originally Posted by CedricVonck View Post
Ok unreserving
Base 22
n = 22
n = 484
How far have you checked for primes, Cedric?
michaf is offline  
Old 2007-01-09, 21:55   #85
michaf
 
michaf's Avatar
 
Jan 2005

7378 Posts
Default

In the meantime, I have found primes:

472*23^2379-1
154*23^2898+1
124*23^3118+1
328*23^5001-1
230*23^6228-1
464*23^7548-1
122*23^14049+1
314*23^17268-1
394*23^20169-1
michaf is offline  
Old 2007-01-10, 09:47   #86
Citrix
 
Citrix's Avatar
 
Jun 2003

2×7×113 Posts
Default

There is an error on the base 16 Riesel candidates I posted previously. The list is wrong. I will have to do redo the work.... The sierpinski candidates should be ok.
Citrix is offline  
Old 2007-01-10, 09:53   #87
robert44444uk
 
robert44444uk's Avatar
 
Jun 2003
Oxford, UK

29·67 Posts
Default Base 25

Hi guys, the mailman has arrived, with a new goody.

25 has a lot of trivial k, as 24 has prime factors 2 and 3.

Annoyingly many of the best candidates for Sierpinskis and Riesels are trivial, and the best I can manage are:

Sierpinski 262638 [7,13,31,601]

Riesel 346802 [7,13,31,601]

Anyone taking this one forward needs to make sure to elimiate the trivials first before prime checking. 4 in every 6k are trivial.

As always, where these candidates are relatively large number there is a chance that some other primes provide cover with a lower k.

Last fiddled with by robert44444uk on 2007-01-10 at 10:20
robert44444uk is offline  
Old 2007-01-10, 14:17   #88
ValerieVonck
 
ValerieVonck's Avatar
 
Mar 2004
Belgium

84110 Posts
Default

Ok relaasing 1343*16^n-1.

LLR seemed to test this number as a 1343*2^n-1.
ValerieVonck is offline  
Closed Thread



Similar Threads
Thread Thread Starter Forum Replies Last Post
Very Prime Riesel and Sierpinski k robert44444uk Open Projects 587 2016-11-13 15:26
Riesel/Sierp #'s for bases 3, 7, and 15 Siemelink Conjectures 'R Us 105 2009-09-04 06:40
Sierpinski/Riesel Base 10 rogue Conjectures 'R Us 11 2007-12-17 05:08
Sierpinski / Riesel - Base 23 michaf Conjectures 'R Us 2 2007-12-17 05:04
Sierpinski / Riesel - Base 22 michaf Conjectures 'R Us 49 2007-12-17 05:03

All times are UTC. The time now is 09:10.


Tue Jul 27 09:10:02 UTC 2021 up 4 days, 3:39, 0 users, load averages: 1.38, 1.50, 1.53

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.