mersenneforum.org Leyland Primes (x^y+y^x primes)
 Register FAQ Search Today's Posts Mark Forums Read

2020-12-18, 16:16   #430
pxp

Sep 2010
Weston, Ontario

20410 Posts

Quote:
 Originally Posted by sweety439 The smallest k such that n^k+k^n is prime (A243147)
47 is 40182, known since Nov 2014. Why is 27 a zero?

2020-12-18, 16:50   #431
sweety439

"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

60538 Posts

Quote:
 Originally Posted by pxp 47 is 40182, known since Nov 2014. Why is 27 a zero?
There is no possible prime for 27

27^n+n^27 = (3^n)^3+(n^9)^3 and a^3+b^3 can be factored as (a+b)*(a^2-a*b+b^2)

Similarly, no possible prime for n = (3*k)^3, (5*k)^5, (7*k)^7, (9*k)^9, (11*k)^11, ... (r*k)^r with odd r>1

Conjecture: There are infinitely many primes for all other n

Last fiddled with by sweety439 on 2020-12-18 at 16:54

2020-12-18, 19:21   #432
Dr Sardonicus

Feb 2017
Nowhere

3·29·59 Posts

Quote:
 Originally Posted by sweety439 Conjecture: There are infinitely many primes for all other n
Counterexample: If x = 4, the only integer y > 0 for which 4^y + y^4 is prime is y = 1.

Proof: If y > 1, and y is even, 4^y and y^4 are both divisible by 16, so the sum is divisible by 16.

If y > 1 and odd, say y = 2*k + 1, then 4^y = 4*(2^k)^4, whence 4^y + y^4 = (2*4^k - 2*y*2^k + y^2)* (2*4^k + 2*y*2^k + y^2) [and remember, y = 2*k + 1]

Both factors are greater than 1 for odd y, except for k = 0, y = 1.

Similarly with x = 4*m^4, x^y + y^x is either divisible by 16 or has an algebraic factorization.

Last fiddled with by Dr Sardonicus on 2020-12-18 at 19:31 Reason: xingif optsy

2020-12-19, 05:08   #433
sweety439

"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

5×7×89 Posts

Quote:
 Originally Posted by Dr Sardonicus Counterexample: If x = 4, the only integer y > 0 for which 4^y + y^4 is prime is y = 1. Proof: If y > 1, and y is even, 4^y and y^4 are both divisible by 16, so the sum is divisible by 16. If y > 1 and odd, say y = 2*k + 1, then 4^y = 4*(2^k)^4, whence 4^y + y^4 = (2*4^k - 2*y*2^k + y^2)* (2*4^k + 2*y*2^k + y^2) [and remember, y = 2*k + 1] Both factors are greater than 1 for odd y, except for k = 0, y = 1. Similarly with x = 4*m^4, x^y + y^x is either divisible by 16 or has an algebraic factorization.
Well, x = 4 (and y>1) proven composite by partial algebra factors (like 25*12^n-1, 27*12^n-1, 4*24^n-1, 6*24^n-1 in Riesel conjectures)

Also for x = 64, 324, 1024, 2500, 5184, ... 4*m^4, since even y are divisible by 2 and odd y factored as a^4+4*b^4 (x^y is of the form 4*b^4 if x = 4*m^4, y is odd, and y^x is 4th power, since x is divisible by 4)

So the a-file for A243147 is not right, n=64 should be "0" instead of "unknown"

 2020-12-19, 22:43 #434 pxp     Sep 2010 Weston, Ontario 22×3×17 Posts I have examined all Leyland numbers in the gap between L(145999,10) <146000> and L(146999,10) <147000> and found 17 new primes. I am going to be doing intervals #23 and #24, postponing #18 until late January.
 2020-12-20, 09:14 #435 sweety439     "99(4^34019)99 palind" Nov 2016 (P^81993)SZ base 36 311510 Posts Are there any test limit of y, for x=6 (6^y*y^6+1), x=10 (10^y*y^10+1), and x=13 (13^y*y^13+1)? There are no known primes for x=13, and the only known primes for x=6 and x=10 are 6^1*1^6+1 and 10^1*1^10+1 Last fiddled with by sweety439 on 2020-12-20 at 09:17
2020-12-20, 12:15   #436
Batalov

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

59·163 Posts

Quote:
 Originally Posted by sweety439 Are there any test limit of y, for x=6 (6^y*y^6+1), x=10 (10^y*y^10+1), and x=13 (13^y*y^13+1)? There are no known primes for x=13, and the only known primes for x=6 and x=10 are 6^1*1^6+1 and 10^1*1^10+1
Looking for fish in the meat market?
What do these have to do with this thread?

2020-12-20, 16:56   #437
pxp

Sep 2010
Weston, Ontario

22·3·17 Posts

Quote:
 Originally Posted by Batalov Looking for fish in the meat market?
While I have you here, I've been wondering if you might prefer Sergey over Serge in my Leyland primes indexing effort. It's an easy fix.

2020-12-20, 17:11   #438
Batalov

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

59×163 Posts

Quote:
 Originally Posted by pxp While I have you here, I've been wondering if you might prefer Sergey over Serge in my Leyland primes indexing effort. It's an easy fix.
Sergey, thanks.

A word or two about that other prime class; one can modify existing sieves for that; just think of them as denominators of the xy+y-x, so the changes to sieve code are evident.

 2020-12-24, 21:47 #439 NorbSchneider     "Norbert" Jul 2014 Budapest 11011102 Posts Another new PRP: 27496^27577+27577^27496, 122422 digits.
 2020-12-31, 12:17 #440 pxp     Sep 2010 Weston, Ontario 110011002 Posts I have examined all Leyland numbers in the gap between L(49205,532) <134129> and L(49413,580) <136550> and found 42 new primes.

 Similar Threads Thread Thread Starter Forum Replies Last Post Batalov XYYXF Project 20 2021-11-07 20:36 carpetpool Miscellaneous Math 3 2017-08-10 13:47 emily Math 34 2017-07-16 18:44 davar55 Puzzles 9 2016-03-15 20:55 troels munkner Miscellaneous Math 4 2006-06-02 08:35

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

Sat Dec 4 18:11:16 UTC 2021 up 134 days, 12:40, 1 user, load averages: 1.68, 1.39, 1.21