mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > XYYXF Project

Reply
 
Thread Tools
Old 2019-07-28, 11:20   #276
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

23·3·7·17 Posts
Default

I've made some changes/approvements in the Wiki for Leyland primes/PRPs:

The latest PRP can be found here
- added a history entry to give the post# with date
- the "date found" from FactorDB
- not yet Leyland# filled

There's also a "Proved" history entry possible: see here
- "Prove date" and "Program" from FactorDB
- History date from forum post with link

There're also different categories for proven primes and PRP. Because of sorting by digits, the smallest unproven number can be found as first entry here = Leyland prime P 3147 214 = 7334 digits.
This can help to identify and prove smaller PRPs for others.
In the table view the numbers which marked "proven" but no proof is available in FactorDB are marked.

Further there's a page which creates a CSV format to copy/paste for further use.

I'm now going to insert more/all known Leyland numbers in the wiki with data I've found:
- proven dates/names from the other thread (most from RichD) and found dates from here
- dates from old primes from Leyland page as "When reserved"/"When completed".
kar_bon is offline   Reply With Quote
Old 2019-07-30, 16:43   #277
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

1011001010002 Posts
Default

I don't know if this was shown somewhere but found nothing, so here's the current distribution of known Leyland primes/PRP's for x<40000 and y<25000:
Attached Thumbnails
Click image for larger version

Name:	Leyland.jpg
Views:	77
Size:	110.7 KB
ID:	20813  
kar_bon is offline   Reply With Quote
Old 2019-07-31, 11:05   #278
pxp
 
pxp's Avatar
 
Sep 2010
Weston, Ontario

2668 Posts
Default

I recognize those 100000-digit numbers on the right. :) I played in Mathematica with a similar graph last night with the idea of superimposing curves of 60000-, 80000-, and 100000-digit x^y+y^x but I couldn't even figure out how to generate those curves. :/
pxp is offline   Reply With Quote
Old 2019-07-31, 17:53   #279
pxp
 
pxp's Avatar
 
Sep 2010
Weston, Ontario

2×7×13 Posts
Default

Quote:
Originally Posted by pxp View Post
I played in Mathematica with a similar graph last night with the idea of superimposing curves of 60000-, 80000-, and 100000-digit x^y+y^x but I couldn't even figure out how to generate those curves.
I finally kludged something together (ContourPlot was the Mathematica function that I was missing). I'm not sure if the waves on the end of the <60000> curve are real or an artifact.
Attached Thumbnails
Click image for larger version

Name:	LeylandPrimes.png
Views:	80
Size:	106.7 KB
ID:	20825  
pxp is offline   Reply With Quote
Old 2019-07-31, 18:06   #280
xilman
Bamboozled!
 
xilman's Avatar
 
"π’‰Ίπ’ŒŒπ’‡·π’†·π’€­"
May 2003
Down not across

22×23×113 Posts
Default

Quote:
Originally Posted by pxp View Post
I finally kludged something together (ContourPlot was the Mathematica function that I was missing). I'm not sure if the waves on the end of the <60000> curve are real or an artifact.
An interesting plot. I think the waves are very likely an artefact.

Above about, say, 8000,the distribution of the points looks to me very much like a uniformly random sample of the triangle. Presumably it is not, or the distribution would look random at the lower regions as well.

It may be interesting to apply a scaling to the Y values, such that the populated area becomes square and then to investigate the hypothesis that the (x,y) co-ordinates are drawn independently from a uniform random distribution. If the likelihood is significantly different try to discover a distribution which better matches the observations.

Any takers? I'm not sure my statistics ability is (yet) up to the task.

(added in edit: Henry,this seems like an area where you have some expertise.)

Last fiddled with by xilman on 2019-07-31 at 18:11
xilman is online now   Reply With Quote
Old 2019-07-31, 23:44   #281
pxp
 
pxp's Avatar
 
Sep 2010
Weston, Ontario

101101102 Posts
Default

Quote:
Originally Posted by xilman View Post
I think the waves are very likely an artefact...
Indeed. I've fixed that, fixed the aspect ratio to make the x=y line bisect the axes, made the points smaller, and added two greenish curves to indicate the interval that I am currently exploring (I should be done in ten days).
Attached Thumbnails
Click image for larger version

Name:	LeylandPrimesPlot.png
Views:	73
Size:	46.8 KB
ID:	20829  
pxp is offline   Reply With Quote
Old 2019-08-10, 11:57   #282
pxp
 
pxp's Avatar
 
Sep 2010
Weston, Ontario

2×7×13 Posts
Default

Quote:
Originally Posted by pxp View Post
That makes L(32907,92) #1296.
I have examined all Leyland numbers in the nine gaps between L(32907,92) <64623>, #1296, and L(29934,157) <65733> and found 22 new primes. That makes L(29934,157) #1327.
pxp is offline   Reply With Quote
Old 2019-08-10, 16:03   #283
pxp
 
pxp's Avatar
 
Sep 2010
Weston, Ontario

18210 Posts
Default A look ahead

I have written a blog article regarding my ambitious Leyland-prime search schedule for the next two years.
pxp is offline   Reply With Quote
Old 2019-08-23, 17:10   #284
NorbSchneider
 
NorbSchneider's Avatar
 
"Norbert"
Jul 2014
Budapest

1428 Posts
Default

Another new PRP:
7257^17528+17528^7257, 67672 digits.
NorbSchneider is offline   Reply With Quote
Old 2019-08-27, 22:18   #285
pxp
 
pxp's Avatar
 
Sep 2010
Weston, Ontario

2×7×13 Posts
Default

Quote:
Originally Posted by pxp View Post
That makes L(29934,157) #1327.
I have examined all Leyland numbers in the gap between L(29934,157) <65733>, #1327, and L(40182,47) <67189> and found 20 new primes. That makes L(40182,47) #1348 and advances the index to L(31870,131), #1354.
pxp is offline   Reply With Quote
Old 2019-09-18, 08:52   #286
NorbSchneider
 
NorbSchneider's Avatar
 
"Norbert"
Jul 2014
Budapest

9810 Posts
Default

Another new PRP:
12511^17556+17556^12511, 71933 digits.
NorbSchneider is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Leyland Primes: ECPP proofs Batalov XYYXF Project 16 2019-08-04 00:32
Mersenne Primes p which are in a set of twin primes is finite? carpetpool Miscellaneous Math 3 2017-08-10 13:47
Distribution of Mersenne primes before and after couples of primes found emily Math 34 2017-07-16 18:44
On Leyland Primes davar55 Puzzles 9 2016-03-15 20:55
possible primes (real primes & poss.prime products) troels munkner Miscellaneous Math 4 2006-06-02 08:35

All times are UTC. The time now is 17:14.

Thu Dec 3 17:14:52 UTC 2020 up 13:26, 1 user, load averages: 2.40, 1.85, 1.68

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, 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.