Can you find another number like 2200?
Here is something I am having trouble with related to Goldbach Conjecture and maybe someone has some ideas on how to improve the search? I think these numbers will be exceedingly rare if they exist at all.
Can anyone find another even number and two primes like 2200,3, and 13? 2n=2200 p1=3 p2=13 2np1=2197=p2^3 2np2=2187=p1^7 2n minus each prime equals the other prime to a power. This is the only example I have found, but I haven't checked very far (100000). It gets combinatorically hard to search pretty quickly so I would rather search smarter. It is fairly easy to show there are no single prime patterns like this and I would like to extend the search to 3,4, etc primes as well where each of the differences composed only of powers of the other primes. 
Ok, you are asking for a N = a[SUP]n[/SUP] + b = b[SUP]m[/SUP] + a.
Then a[SUP]n[/SUP]  a = b[SUP]m[/SUP]  b. So: make a pile of a[SUP]n[/SUP]  a with various a and n, and wait for a collision. 
If you reformulate a problem just a little bit, it does not actually become combinatorially hard.
3^7 + 13 = 3 + 13^3 (= 2200) 3^7  3 = 13^3  13 (= 2184) So you don't actually need to consider pairs of primes separately. Just calculate "p^n  p" for all primes p and powers n >= 2 such that the value is less than your limit, and see if you get the same number twice. To check this for all numbers up to some limit, you only need to consider primes up to about sqrt(limit) as otherwise prime^2 would already be too big. I checked that 2184 is the only such number up to about 10000000000000000 (a hundred million squared, considering primes up to hundred million). That took less than half a minute with a Python script. 
If a,b has to be prime:
3[SUP]2[/SUP]  3 = 2[SUP]3[/SUP]  2 13[SUP]3[/SUP]  13 = 3[SUP]7[/SUP]  3 otherwise: 6[SUP]2[/SUP]  6 = 2[SUP]5[/SUP]  2 15[SUP]2[/SUP]  15 = 6[SUP]3[/SUP]  6 16[SUP]2[/SUP]  16 = 3[SUP]5[/SUP]  3 91[SUP]2[/SUP]  91 = 2[SUP]13[/SUP]  2 280[SUP]2[/SUP]  280 = 5[SUP]7[/SUP]  5 4930[SUP]2[/SUP]  4930 = 30[SUP]5[/SUP]  30 
[QUOTE=goldbug;501547]2n minus each prime equals the other prime to a power.
[/QUOTE] let p1 be p, let p2 be q there are 4 main cases at play (assuming p,q aren't 2): q is 3 mod 4, is raised to an odd power, and n is odd, leading to p is 3 mod 4 q is 3 mod 4, is raised to an odd power, and n is even, leading to p is 1 mod 4 q is raised to an even power, and n is odd, leading to p is 1 mod 4 q is raised to an even power, and n is even, leading to p is 3 mod 4 now just put it into practice in code. 
If gcd(a,b) = 1 then b divides a^(n1)  1, and a divides b^(m1)  1, so
znorder(Mod(b,a)) divides n1 and znorder(Mod(a,b)) divides m1. This might tend to push up the possible values of m and n for a given a and b. (One way to keep at least one of the znorders small is if a divides b1, assuming a < b. If m <> n the equation a[sup]n[/sup]  b[sup]m[/sup] = a  b is curious, in that (1) if m and n are greater than 1, the difference in powers is quite small, and (2) with m and n different, the difference being divisible by a  b is curious. 
Thank you so much and the challenge continues
Thanks batalov and uau for the collision suggestion and to uau for running up to 1M^2?!?
This suggestion is going to help me greatly in extending the search to triplets, quadruplets of primes. Ideally it would be amazing to show that numbers of this form do not exist, or at least above some threshold. Can you see why? I will post here if I find any. Although, the triplets have a different form so the collision method becomes a little combinatoric as we generalize the problem upward. 2np1=p2^a*p3^b 2np2=p1^c*p3^d 2np3=p1^e*p2^f 
[QUOTE=goldbug;501592]Thanks batalov and uau for the collision suggestion and to uau for running up to 1M^2?!?
This suggestion is going to help me greatly in extending the search to triplets, quadruplets of primes. Ideally it would be amazing to show that numbers of this form do not exist, or at least above some threshold. Can you see why? I will post here if I find any. Although, the triplets have a different form so the collision method becomes a little combinatoric as we generalize the problem upward. 2np1=p2^a*p3^b 2np2=p1^c*p3^d 2np3=p1^e*p2^f[/QUOTE] my cases can be generalized to any number of prime powers... 
Yes I think the cases you describe will be useful for cases of 3 or more primes since it will reduce the number of triplets that need to be checked. I still haven't wrapped my head around how to extend the collision method to triplets and beyond but it seems like the problem explodes again a bit anyway.

[QUOTE=goldbug;501599]Yes I think the cases you describe will be useful for cases of 3 or more primes since it will reduce the number of triplets that need to be checked. I still haven't wrapped my head around how to extend the collision method to triplets and beyond but it seems like the problem explodes again a bit anyway.[/QUOTE]
my cases generalize to multiplicities of primes of form 4k+3 being odd or even in the product. 
#GoldbugNumbers
Let me know if this holds water. The numbers I am searching for satisfy the following property. Maybe there is an easier way to search besides looking each order k=2,3,4,... separately?
Given an even number 2n there exists some subset of the prime nondivisors of n 2<p1<p2<p3<...<pk<n such that (2np1)(2np2)(2np3)...(2npk) only has p1,p2,p3,...,pk as factors. So if any of the 2np are prime it fails or if 2np has a factor besides the k primes it fails. It would seem that Goldbach is true for numbers which do not have this property. Imagine a process where one starts with one prime nondivisor p. In this case 2np must have another as prime nondivisor as a factor if it is not prime. Then, given the two prime nondivisors p1 and p2, we can find another factor from (2np1)(2np2) and so on. But this process cannot continue forever so 2np must be prime for one of the prime nondivisors. This would be a proof by infinite decent I think, but of course only for numbers without the property above. However, even if the above conjecture is true it is not clear to me how many numbers with this property there are. If the order 2 search is any indication it may be that there are very few maybe none beyond 2200? 
All times are UTC. The time now is 09:06. 
Powered by vBulletin® Version 3.8.11
Copyright ©2000  2020, Jelsoft Enterprises Ltd.