mersenneforum.org y^x-x^y primes
 Register FAQ Search Today's Posts Mark Forums Read

2023-06-10, 02:36   #56
pxp

Sep 2010
Weston, Ontario

32×29 Posts

Quote:
 Originally Posted by Andrew Usher pxp: I see that you have a table of these primes now. As for the proven primes, my search just done the same way showed that the only larger ones are the six just above 10,000 digits (search complete to over 11,300 and also checked those with other discoverers larger than that). I hope your procedure at least checks only x,y coprime and of opposite parity - in fact, that is the simplest form of sieving here. As to completeness limits, for the first type Leylands one of the sticky threads in this forum gave 150,000 digits, which seems to be correct. For this, I am not sure as Schneider appears to search by size of y only.
Mathematica's PrimeQ isn't totally dumb. It starts with some divisibility tests using small primes. Still, Mathematica is no match for pfgw. That 150000-digits limit for Leyland-plus numbers is due to me. Starting from scratch in 2015 (using Mathematica, exactly as I am doing in my current Leyland-minus table), I switched to xyyxsieve and pfgw in mid-2020 and completed testing the ~687 million Leyland numbers less than 150000 digits the following year.

 2023-06-11, 02:05 #57 Andrew Usher   Dec 2022 10428 Posts Thanks for the clarification. We'll have to see where you want to go with this. As for primality proof, does anyone have the ability to automatically update a list whenever factordb changes a number from PRP to P? That would seem to be the main obstacle to using them for the purpose.
 2023-06-12, 10:38 #58 pxp     Sep 2010 Weston, Ontario 32·29 Posts Conjectures In 2018 I concocted this conjecture for the Leyland-plus numbers: For d > 11, 10^(d-1)+(d-1)^10 is the smallest (base ten) d-digit term. There are no known primes. Today I noted this similar conjecture for the Leyland-minus numbers: For d > 11, 10^d-d^10 is the largest (base ten) d-digit term. There are two known primes: d = 273 and 399.
 2023-06-28, 20:44 #59 Cybertronic     "Norman Luhn" Jan 2007 Germany 11000000012 Posts Update I have automatically matched all the Leyland numbers I know with factordb.com. Status PRP or Prime is now entered. https://pzktupel.de/Primetables/TableLeyland2.php regards
2023-06-28, 21:53   #60
pxp

Sep 2010
Weston, Ontario

26110 Posts

Quote:
 Originally Posted by Cybertronic I have automatically matched all the Leyland numbers I know with factordb.com. Status PRP or Prime is now entered.
Good stuff! Concurrently, I have removed the "proven" P column from my list as it would always have lagged behind your values. I've also removed the descending rank numbers column as these would eventually have to be recalibrated.

 2023-06-28, 23:21 #61 Andrew Usher   Dec 2022 54610 Posts I guess my last query is answered in the affirmative - good work. And I see mathwiz has already asked in the other Leyland thread if they would automatically update. pxp's conjecture (how far has it been verified?) is likely true for high enough d, as d^10/10^d -> 0 quickly there.
 2023-07-01, 08:42 #62 Luminescence   "Florian" Oct 2021 Germany D716 Posts I am currently proving PRPs below 10k digits and uploading certificates. I am also the "culprit" behind the proven primes at around 10k digits. Didn't occur to me to post about it... ooops I'm gonna post updates from time to time on my progress. Last fiddled with by Luminescence on 2023-07-01 at 08:44
2023-07-01, 09:06   #63
Cybertronic

"Norman Luhn"
Jan 2007
Germany

769 Posts

Quote:
 Originally Posted by Luminescence I am currently proving PRPs below 10k digits and uploading certificates. I am also the "culprit" behind the proven primes at around 10k digits. Didn't occur to me to post about it... ooops I'm gonna post updates from time to time on my progress.
Found 3 new hits on factordb:

171^2600-2600^171
117^2752-2752^117
37^3704-3704^37
now proven prime.

Page was updated

Last fiddled with by Cybertronic on 2023-07-01 at 09:08

 2023-07-06, 08:29 #64 Cybertronic     "Norman Luhn" Jan 2007 Germany 769 Posts Update txt-file have now status.... 3 new P's found at factordb https://pzktupel.de/Primetables/TableLeyland2.php same for Leyland x^y+y^x https://pzktupel.de/Primetables/TableLeyland1.php Last fiddled with by Cybertronic on 2023-07-06 at 08:30
 2023-07-09, 10:59 #65 Cybertronic     "Norman Luhn" Jan 2007 Germany 769 Posts Update up to date status: PRP / Prime now displayed
2023-09-22, 02:27   #66
pxp

Sep 2010
Weston, Ontario

4058 Posts

Quote:
 Originally Posted by pxp I have finally been motivated to write a program that sorts (x,y) pairs by the absolute magnitude of x^y-y^x, x
I've now checked the first 15 million Leyland pairs using this program as well as the Leyland pairs from 15 to 20 million on another machine. I will stop there for now. The chart I had been using to document my progress has had a total revamp. I'm now listing all current primes < 10^60000 with a gap after #1078 to indicate the 20 million Leyland pairs that I have checked. The Leyland# column is now the second column; the number of decimal digits, the third. I will not add the discoverer or date of discovery.

 Similar Threads Thread Thread Starter Forum Replies Last Post emily Math 35 2022-12-21 16:32 carpetpool Miscellaneous Math 4 2022-07-14 02:29 Mickey1 Miscellaneous Math 1 2013-05-30 12:32 Unregistered Information & Answers 0 2011-01-31 15:41 troels munkner Miscellaneous Math 4 2006-06-02 08:35

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

Sat Sep 23 11:54:44 UTC 2023 up 10 days, 9:37, 0 users, load averages: 1.55, 1.15, 1.06