Register to reply 
Is it really true that, for any n > 0 , there is a prime between 2 ^ nby goldust
Tags: prime 
Share this thread: 
#19
Nov1113, 10:42 AM

Emeritus
Sci Advisor
PF Gold
P: 4,500

So is your new claim something like there is a prime number between 2^{k} and 2^{k}+2k^{n} for some n? (changing it from a linear range in k to a polynomial in k)



#20
Nov1113, 10:53 AM

P: 85

This time, as the exponent n in 2 ^ n doubles, the probability that any randomly picked number under 2 ^ n is prime halves, and the range more than doubles. Therefore, the statement becomes more probable to being true as n increases. So far, 2 ^ 1040 checks out. Would be cool if I can publish this result in a journal as an interesting little project I done, especially considering I'm only 18 years old. 


#21
Nov1113, 01:13 PM

Mentor
P: 15,065

Checking with small numbers such as all integers between 2 and 2^{1040} is no guarantee that your conjecture is true for all numbers. If your new conjecture is that there is a prime between 2^{k} and 2^{k}+2*k^{2}, that's essentially a variant on Cramer's conjecture. This conjecture has been tested for against much larger numbers than your 2^{1040} and it still stands as a conjecture. Checking against a finite subset will never prove a universal statement about an infinite set. Checking can disprove the statement, but it can't prove it.



#22
Nov1113, 01:22 PM

Sci Advisor
HW Helper
PF Gold
P: 12,016




#23
Nov1113, 05:43 PM

P: 85

My conjecture is that, for any n > 1, there is a prime between n and n + how many prime factors n has [itex]\times[/itex] the sum of n's prime factors. When n is prime, the range would be between n and 2n, which has been proven. When n is of the form 2^{k}, the range would be between 2^{k} and 2^{k} + 2 k^{2}, which, as D H pointed out, is a variant on Cramér's conjecture.
So far, I've checked from 2 to 700,000. It seems more likely to be true as n gets bigger, because the range seems to be growing much faster than the growth of prime gap and seems to exceed the biggest prime gap as a function of n. Not sure if my conjecture could be considered original? I'll have to check with my prof on this one. It's essentially of the same nature as Bertrand's postulate. It seems to me that the range between 2^{k} and 2^{k} + 2 k^{2} is sufficiently large to be true, because the range should be able to exceed the biggest prime gap as a function of n by the time n gets big enough. At n = 2^{1000}, the range is 1,999,999. Anyone by any chance know how big the biggest known prime gap is? If the range as a function of n grows faster than and always exceeds the biggest prime gap as a function of n, wouldn't it be proof that the statement is true? 


#24
Nov1213, 02:45 PM

P: 85

Checked with my prof on this. He says it could be considered an original conjecture. However, because I'm still in high school, I can only publish it in a journal. He said my conjecture is fairly interesting in that it sort of unifies Bertrand's postulate (actually a theorem), Cramér's conjecture, and prime factorization. Under the special cases of n being prime and n being of the form 2^{k}, my conjecture reduces to Bertrand's postulate (actually a theorem) and a variation on Cramér's conjecture, respectively. Because my prof is a relative of mine, he says he could pull some strings and there's a good chance it can get published in a particular university journal as an interesting home project.
This morning, while thinking over my first conjecture, I came up with a second conjecture, which is closely related to my first conjecture and which could lend more substance to my first conjecture. My second conjecture is that, for any k > 2, there is always a composite number in the range (2^{k} , 2^{k + 1}) whose range size is less than that of 2^{k}. The range size of a number n is how many prime factors n has [itex]\times[/itex] the sum of n's prime factors. The range size of 2^{k} is therefore 2k^{2}. So far, I've tested my second conjecture up to k = 30. I would need more than unsigned int to handle powers of 2 over 2^{31}. 


#25
Nov1213, 07:10 PM

P: 85

There is also a Firoozbakht's conjecture, which is of the same nature as Cramér's conjecture.
http://en.wikipedia.org/wiki/Firoozb...99s_conjecture Legendre's conjecture and Oppermann's conjecture are of the same nature. http://en.wikipedia.org/wiki/Legendre%27s_conjecture http://en.wikipedia.org/wiki/Oppermann%27s_conjecture I suppose my first conjecture is of the same nature as Bertrand's postulate. http://en.wikipedia.org/wiki/Bertrand%27s_postulate 


#26
Nov1313, 03:25 PM

P: 85

I formulated my original first conjecture into a weak conjecture and a strong conjecture. The weak one is the same as my original first conjecture. The strong one is that, for any n > 1, the number of primes in the range (n , n + how many prime factors n has × the sum of n's prime factors) [itex]\geq[/itex] how many prime factors n has.
Now it should be good enough for publication in a journal as an interesting amateur home project. 


#27
Nov1413, 08:12 PM

P: 85

Interestingly, it appears that, for any k > 0, the number of primes in the range (2^{k} , 2^{k} + 2 [itex]\times[/itex] k^{2}) [itex]\geq[/itex] k. The difference between 2^{k} + 2 [itex]\times[/itex] k^{2} and the kth prime above 2^{k} appears to be a non monotonically increasing function of k and that only when k = 1 do these two values equal each other. So far, I've checked up to k = 400 using Mathematica. This is a special case of my strong conjecture when n takes the form of 2^{k}.



#28
Nov1513, 07:27 AM

P: 828

I don't understand why you would want to publish your problem so that other people can solve it? You came up with the problem; don't let someone else solve your problem for you. Publishing a conjecture in some kind of journal might be nice, but working hard to solve it and then publishing the proof is even better. And, so far, you haven't even worked very long on it (since you only came up with it a few days age.)



#29
Nov1613, 08:12 PM

P: 85

In increments of a million, I look at how the smallest of the (n + how many prime factors n has [itex]\times[/itex] the sum of n's prime factors)  the (how many prime factors n has)th prime above n values change. I see a non monotonic increasing trend in these values as n gets larger. I haven't tested too many numbers so far, only up to about 28 million, where these values have increased from 1 to about 400. When n is a power of 2, I have tested to 610 as the exponent, and by now I'm quite certain of the non monotonic increasing nature of the difference when n is a power of 2, since the difference has increased from 1 to nearly 500,000. 


#30
Nov1913, 05:02 PM

P: 85

So far, tested my strong conjecture, which is a strengthening of Bertrand's postulate, to 655 million less 1, where the smallest difference has increased from 1 to 527. As for n being powers of 2, so far, tested using Mathematica to the exponent being 700 where the difference has increased from 1 to over 600,000. I have recorded all of my experimental results.



#31
Nov3013, 04:10 PM

Mentor
P: 11,589

Between 2^{k} and 2^{k} + 2 k^{2}, we expect 2 k/ln(2) primes. Neglecting correlations, the probability of finding a prime is ##\displaystyle p(k) \approx 1\exp\left(\frac{2k}{ln(2)}\right)##. The product over all k should converge to some finite value, so the nonexistence of a small counterexample is a good argument that could be no such gap. It is not a proof, of course. 


Register to reply 
Related Discussions  
Is it true that any rule regarding prime numbers eventually fails?  General Math  6  
Prime numbers from infinite prime number proof  General Math  3  
A formula of prime numbers for interval (q; (q+1)^2), where q is prime number.  Linear & Abstract Algebra  0  
Prime Numbers in the Diophantine equation q=(n^2+1)/p and p is Prime  Linear & Abstract Algebra  5  
Efficiency: prime test vs prime generator  Linear & Abstract Algebra  14 