mersenneforum.org News from sub-project Deep Sieving
 Register FAQ Search Today's Posts Mark Forums Read

 2013-09-06, 20:19 #1 Batalov     "Serge" Mar 2008 Phi(4,2^7658614+1)/2 22×2,477 Posts News from sub-project Deep Sieving This one doesn't divide. Statistically speaking, additional O(p) primes are needed.
2013-09-06, 20:59   #2
aketilander

"Åke Tilander"
Apr 2011
Sandviken, Sweden

2·283 Posts

Quote:
 Originally Posted by Batalov This one doesn't divide. Statistically speaking, additional O(p) primes are needed.
"Also can be written as 507568*(2^1398269-1)+1"

Congratulations to the prime! Which is also first MMp factor prime on the list of top 5000! :-)

Last fiddled with by aketilander on 2013-09-06 at 21:01

 2013-09-06, 21:08 #3 Batalov     "Serge" Mar 2008 Phi(4,2^7658614+1)/2 26B416 Posts It certainly is not an MMp factor, though. (This has been checked.)
2013-09-06, 21:54   #4
Mini-Geek
Account Deleted

"Tim Sorbera"
Aug 2006
San Antonio, TX USA

427810 Posts

Quote:
 Originally Posted by Batalov It certainly is not an MMp factor, though. (This has been checked.)
Is there a more accurate term for such a find? An "MMp factor-candidate prime", perhaps?

2013-09-07, 05:07   #5
aketilander

"Åke Tilander"
Apr 2011
Sandviken, Sweden

2·283 Posts

Quote:
 Originally Posted by Batalov It certainly is not an MMp factor, though. (This has been checked.)
Oh I know, but I couldn't come up with a better term, I was thinking

MMp factorish prime
MMp factor class prime
MMp possible factor prime

etc.

but none was really good so I simply choose the simplest. It would be good though if we all could agree on a common way of labeling these primes. Maybe we could first collect a number of possibilities and then conduct a vote? Many kind of primes seem to be labeled after the one who "discovered" them or made the significant mathematical analysis ot them, Riesel, Mersenne etc., others seem to have their name from a significant mathematical property like factorial, home etc

Last fiddled with by aketilander on 2013-09-07 at 05:20

 2013-09-07, 07:06 #6 aketilander     "Åke Tilander" Apr 2011 Sandviken, Sweden 2·283 Posts One other thing Batalov: Have you tested all other possible smaller K:s (< 507568) for M1398269 or was this just a storke of luck?
 2013-09-07, 07:45 #7 Batalov     "Serge" Mar 2008 Phi(4,2^7658614+1)/2 22×2,477 Posts I haven't checked all possible k's. I did however check all k values that could produce MMp-divisors, i.e. k $\eq$ 0, 5, 8, 9 (mod 12). That is roughly half of them. I did not check k $\eq$ 2, 3, 6, 11 (mod 12).
2013-09-07, 09:22   #8
aketilander

"Åke Tilander"
Apr 2011
Sandviken, Sweden

2·283 Posts

Quote:
 Originally Posted by Batalov I haven't checked all possible k's. I did however check all k values that could produce MMp-divisors, i.e. k $\eq$ 0, 5, 8, 9 (mod 12). That is roughly half of them. I did not check k $\eq$ 2, 3, 6, 11 (mod 12).
That is impressive! You must have put a lot of force into that!

2013-09-07, 09:23   #9
ET_
Banned

"Luigi"
Aug 2002
Team Italia

29·167 Posts
News from sub-project Deep Sieving

Quote:
 Originally Posted by Batalov It certainly is not an MMp factor, though. (This has been checked.)
Should I assume that you are testing/trial-factoring above k=500,000 set up by Tony Forbes, then?

I have recorded all possible k for MM34 and MM35 up to k=500,000 thanks to Tony: I may clear some of them and extend the table limit if you still have your logs...

Luigi

Last fiddled with by ET_ on 2013-09-07 at 09:26

2013-09-07, 18:47   #10
Batalov

"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

22·2,477 Posts

Quote:
 Originally Posted by ET_ ...Tony did his sieving work for MM34 and MM35 up to 20G for k<500,000, so we just double-checked his work for k < 1,000.
I scanned the whole thread and found this note.
I sieved to >20G for k<2,000,000. In just a few hours, on one CPU. It is straightforward with Pari: for each prime q, k0 = Mod((q-1)/2,q) / (Mod(2,q)^p-1), then eliminate all k = k0 + mq from an array of k's. For sufficiently large q, this is not even a loop, but only k0 or nothing at all.

In other words, I don't quite understand why you are so stuck on sieving:
1. Sieving alone is pointless without tests.
2. One should sieve only as long as sieving is faster than actually testing.

I ran LLR for MM35 "divisor pool" (still running, approaching k~1,400,000). This was the only prime so far. This approximately matches the expectation: probability of being prime is O(1/p), and on top of that the probability of dividing MMp would be O(1/k) (unsure)? So, for large p, even finding a prime was relatively lucky, let alone a divisor of MMp.

I also have sieve files for MM34, 36 and 37, but the 36/37 tests are five times slower, and a divisor of MM34 would soon be flushed out of Top-5000, so I concentrated on attacking MM35.

 2013-09-07, 19:08 #11 Batalov     "Serge" Mar 2008 Phi(4,2^7658614+1)/2 22×2,477 Posts Here's the Pari interactive sieving script. It can be stopped periodically, the sieve array saved, and then the sieving can be continued. Code: `# gp -p 2000000 #sieve limit: M=2000000; #the P in MMp: P=1398269; allocatemem(800000000) K=vector(M); forprime(p=5,M, k=Mod((p-1)/2,p)/(Mod(2,p)^P-1);forstep(i=lift(k)+1,M,p,K[i]=1)); p=M; while(p=nextprime(p+1), if((i=lift(Mod((p-1)/2,p)/(Mod(2,p)^P-1)))

 Similar Threads Thread Thread Starter Forum Replies Last Post ET_ Operazione Doppi Mersennes 22 2016-07-28 11:23 diep Math 5 2012-10-05 17:44 NBtarheel_33 Hardware 17 2009-05-04 15:52 MercPrime Software 22 2009-01-13 20:10 lavalamp Open Projects 53 2008-12-01 03:59

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

Wed Aug 17 11:29:16 UTC 2022 up 41 days, 6:16, 1 user, load averages: 1.20, 1.37, 1.36