Is there a 2-power-twinless prime?
up vote
4
down vote
favorite
Call two primes 2-power-twins if their difference is (can you guess?) a power of 2.
For example, 11 and 19 are 2-power-twins.
Is there a 2-power-twinless prime?
I would imagine that this is doable the following way.
If I take a prime of the form $3k+1$, then I know that adding an odd power of 2 or subtracting an even power of 2 cannot give a prime.
If I take a prime of the form $5k+1$, then I know that adding a power of 2 that is $2bmod 4$ cannot give a prime.
Do such observations give enough conditions to conclude the existence of a 2-power-twinless prime from Dirichlet's theorem?
nt.number-theory prime-numbers
add a comment |
up vote
4
down vote
favorite
Call two primes 2-power-twins if their difference is (can you guess?) a power of 2.
For example, 11 and 19 are 2-power-twins.
Is there a 2-power-twinless prime?
I would imagine that this is doable the following way.
If I take a prime of the form $3k+1$, then I know that adding an odd power of 2 or subtracting an even power of 2 cannot give a prime.
If I take a prime of the form $5k+1$, then I know that adding a power of 2 that is $2bmod 4$ cannot give a prime.
Do such observations give enough conditions to conclude the existence of a 2-power-twinless prime from Dirichlet's theorem?
nt.number-theory prime-numbers
2
You should exclude the obvious fact that $2$ is a $2$-power-twinless prime.
– Tony Huynh
yesterday
2
Brun sieve gives a bound for $sum_{n le x} 1_{n in P, n-2^k in P}$
– reuns
yesterday
2
$ 2 + 2^0 = 3 $
– Tom
yesterday
@Tony See Tom's comment.
– domotorp
yesterday
@reuns I don't see why that's useful.
– domotorp
yesterday
add a comment |
up vote
4
down vote
favorite
up vote
4
down vote
favorite
Call two primes 2-power-twins if their difference is (can you guess?) a power of 2.
For example, 11 and 19 are 2-power-twins.
Is there a 2-power-twinless prime?
I would imagine that this is doable the following way.
If I take a prime of the form $3k+1$, then I know that adding an odd power of 2 or subtracting an even power of 2 cannot give a prime.
If I take a prime of the form $5k+1$, then I know that adding a power of 2 that is $2bmod 4$ cannot give a prime.
Do such observations give enough conditions to conclude the existence of a 2-power-twinless prime from Dirichlet's theorem?
nt.number-theory prime-numbers
Call two primes 2-power-twins if their difference is (can you guess?) a power of 2.
For example, 11 and 19 are 2-power-twins.
Is there a 2-power-twinless prime?
I would imagine that this is doable the following way.
If I take a prime of the form $3k+1$, then I know that adding an odd power of 2 or subtracting an even power of 2 cannot give a prime.
If I take a prime of the form $5k+1$, then I know that adding a power of 2 that is $2bmod 4$ cannot give a prime.
Do such observations give enough conditions to conclude the existence of a 2-power-twinless prime from Dirichlet's theorem?
nt.number-theory prime-numbers
nt.number-theory prime-numbers
asked yesterday
domotorp
9,6023086
9,6023086
2
You should exclude the obvious fact that $2$ is a $2$-power-twinless prime.
– Tony Huynh
yesterday
2
Brun sieve gives a bound for $sum_{n le x} 1_{n in P, n-2^k in P}$
– reuns
yesterday
2
$ 2 + 2^0 = 3 $
– Tom
yesterday
@Tony See Tom's comment.
– domotorp
yesterday
@reuns I don't see why that's useful.
– domotorp
yesterday
add a comment |
2
You should exclude the obvious fact that $2$ is a $2$-power-twinless prime.
– Tony Huynh
yesterday
2
Brun sieve gives a bound for $sum_{n le x} 1_{n in P, n-2^k in P}$
– reuns
yesterday
2
$ 2 + 2^0 = 3 $
– Tom
yesterday
@Tony See Tom's comment.
– domotorp
yesterday
@reuns I don't see why that's useful.
– domotorp
yesterday
2
2
You should exclude the obvious fact that $2$ is a $2$-power-twinless prime.
– Tony Huynh
yesterday
You should exclude the obvious fact that $2$ is a $2$-power-twinless prime.
– Tony Huynh
yesterday
2
2
Brun sieve gives a bound for $sum_{n le x} 1_{n in P, n-2^k in P}$
– reuns
yesterday
Brun sieve gives a bound for $sum_{n le x} 1_{n in P, n-2^k in P}$
– reuns
yesterday
2
2
$ 2 + 2^0 = 3 $
– Tom
yesterday
$ 2 + 2^0 = 3 $
– Tom
yesterday
@Tony See Tom's comment.
– domotorp
yesterday
@Tony See Tom's comment.
– domotorp
yesterday
@reuns I don't see why that's useful.
– domotorp
yesterday
@reuns I don't see why that's useful.
– domotorp
yesterday
add a comment |
1 Answer
1
active
oldest
votes
up vote
8
down vote
accepted
Erdos proved that there is an arithmetic progression of odd numbers, none of which can be expressed as a sum of a power of two and a prime. I believe one can arrange for such an arithmetic progression to satisfy the hypotheses of Dirichlet's Theorem on primes in arithmetic progression, so that means there are infinitely many primes $p$ for which there is no prime $q$ such that $p-q$ is a power of two. So there are infinitely many primes $p$ that are not the larger of a pair of two-power-twins.
The Erdos result, from the 1950 paper in which he introduced covering congruences, has been expanded upon. I think it has been proved that there is an arithmetic progression of odd numbers $n$ such that $n$ is neither of the form $2^k+q$ nor of the form $q-2^k$ for any prime $q$ (but I don't have easy access to a citation for this). Modulo satisfying the Dirichlet hypothesis, this would establish the existence of infinitely many 2-power-twinless primes.
I think the appropriate citation is F. Cohen, J.L. Selfridge, Not every number is the sum or difference of two prime powers, Math. Comp. 29 (1975) 79–81. Theorem 1 states, there exists an arithmetic progression of odd numbers which are neither the sum nor difference of a power of two and a prime. They give the example, 47867742232066880047611079 is prime and neither the sum nor difference of a power of two and a prime.
1
Thanks! In fact, the proof goes exactly the way I've sketched in my answer, just you needed 42 primes to finish it... Here is the full paper: ams.org/journals/mcom/1975-29-129/S0025-5718-1975-0376583-0/…
– domotorp
yesterday
2
See also my paper "On integers not of the form $pm p^apm q^b$ [Proc. Amer. Math. Soc., 128(2000), no.4, 997--1002] available from maths.nju.edu.cn/~zwsun/34p.pdf ..
– Zhi-Wei Sun
yesterday
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
8
down vote
accepted
Erdos proved that there is an arithmetic progression of odd numbers, none of which can be expressed as a sum of a power of two and a prime. I believe one can arrange for such an arithmetic progression to satisfy the hypotheses of Dirichlet's Theorem on primes in arithmetic progression, so that means there are infinitely many primes $p$ for which there is no prime $q$ such that $p-q$ is a power of two. So there are infinitely many primes $p$ that are not the larger of a pair of two-power-twins.
The Erdos result, from the 1950 paper in which he introduced covering congruences, has been expanded upon. I think it has been proved that there is an arithmetic progression of odd numbers $n$ such that $n$ is neither of the form $2^k+q$ nor of the form $q-2^k$ for any prime $q$ (but I don't have easy access to a citation for this). Modulo satisfying the Dirichlet hypothesis, this would establish the existence of infinitely many 2-power-twinless primes.
I think the appropriate citation is F. Cohen, J.L. Selfridge, Not every number is the sum or difference of two prime powers, Math. Comp. 29 (1975) 79–81. Theorem 1 states, there exists an arithmetic progression of odd numbers which are neither the sum nor difference of a power of two and a prime. They give the example, 47867742232066880047611079 is prime and neither the sum nor difference of a power of two and a prime.
1
Thanks! In fact, the proof goes exactly the way I've sketched in my answer, just you needed 42 primes to finish it... Here is the full paper: ams.org/journals/mcom/1975-29-129/S0025-5718-1975-0376583-0/…
– domotorp
yesterday
2
See also my paper "On integers not of the form $pm p^apm q^b$ [Proc. Amer. Math. Soc., 128(2000), no.4, 997--1002] available from maths.nju.edu.cn/~zwsun/34p.pdf ..
– Zhi-Wei Sun
yesterday
add a comment |
up vote
8
down vote
accepted
Erdos proved that there is an arithmetic progression of odd numbers, none of which can be expressed as a sum of a power of two and a prime. I believe one can arrange for such an arithmetic progression to satisfy the hypotheses of Dirichlet's Theorem on primes in arithmetic progression, so that means there are infinitely many primes $p$ for which there is no prime $q$ such that $p-q$ is a power of two. So there are infinitely many primes $p$ that are not the larger of a pair of two-power-twins.
The Erdos result, from the 1950 paper in which he introduced covering congruences, has been expanded upon. I think it has been proved that there is an arithmetic progression of odd numbers $n$ such that $n$ is neither of the form $2^k+q$ nor of the form $q-2^k$ for any prime $q$ (but I don't have easy access to a citation for this). Modulo satisfying the Dirichlet hypothesis, this would establish the existence of infinitely many 2-power-twinless primes.
I think the appropriate citation is F. Cohen, J.L. Selfridge, Not every number is the sum or difference of two prime powers, Math. Comp. 29 (1975) 79–81. Theorem 1 states, there exists an arithmetic progression of odd numbers which are neither the sum nor difference of a power of two and a prime. They give the example, 47867742232066880047611079 is prime and neither the sum nor difference of a power of two and a prime.
1
Thanks! In fact, the proof goes exactly the way I've sketched in my answer, just you needed 42 primes to finish it... Here is the full paper: ams.org/journals/mcom/1975-29-129/S0025-5718-1975-0376583-0/…
– domotorp
yesterday
2
See also my paper "On integers not of the form $pm p^apm q^b$ [Proc. Amer. Math. Soc., 128(2000), no.4, 997--1002] available from maths.nju.edu.cn/~zwsun/34p.pdf ..
– Zhi-Wei Sun
yesterday
add a comment |
up vote
8
down vote
accepted
up vote
8
down vote
accepted
Erdos proved that there is an arithmetic progression of odd numbers, none of which can be expressed as a sum of a power of two and a prime. I believe one can arrange for such an arithmetic progression to satisfy the hypotheses of Dirichlet's Theorem on primes in arithmetic progression, so that means there are infinitely many primes $p$ for which there is no prime $q$ such that $p-q$ is a power of two. So there are infinitely many primes $p$ that are not the larger of a pair of two-power-twins.
The Erdos result, from the 1950 paper in which he introduced covering congruences, has been expanded upon. I think it has been proved that there is an arithmetic progression of odd numbers $n$ such that $n$ is neither of the form $2^k+q$ nor of the form $q-2^k$ for any prime $q$ (but I don't have easy access to a citation for this). Modulo satisfying the Dirichlet hypothesis, this would establish the existence of infinitely many 2-power-twinless primes.
I think the appropriate citation is F. Cohen, J.L. Selfridge, Not every number is the sum or difference of two prime powers, Math. Comp. 29 (1975) 79–81. Theorem 1 states, there exists an arithmetic progression of odd numbers which are neither the sum nor difference of a power of two and a prime. They give the example, 47867742232066880047611079 is prime and neither the sum nor difference of a power of two and a prime.
Erdos proved that there is an arithmetic progression of odd numbers, none of which can be expressed as a sum of a power of two and a prime. I believe one can arrange for such an arithmetic progression to satisfy the hypotheses of Dirichlet's Theorem on primes in arithmetic progression, so that means there are infinitely many primes $p$ for which there is no prime $q$ such that $p-q$ is a power of two. So there are infinitely many primes $p$ that are not the larger of a pair of two-power-twins.
The Erdos result, from the 1950 paper in which he introduced covering congruences, has been expanded upon. I think it has been proved that there is an arithmetic progression of odd numbers $n$ such that $n$ is neither of the form $2^k+q$ nor of the form $q-2^k$ for any prime $q$ (but I don't have easy access to a citation for this). Modulo satisfying the Dirichlet hypothesis, this would establish the existence of infinitely many 2-power-twinless primes.
I think the appropriate citation is F. Cohen, J.L. Selfridge, Not every number is the sum or difference of two prime powers, Math. Comp. 29 (1975) 79–81. Theorem 1 states, there exists an arithmetic progression of odd numbers which are neither the sum nor difference of a power of two and a prime. They give the example, 47867742232066880047611079 is prime and neither the sum nor difference of a power of two and a prime.
edited yesterday
answered yesterday
Gerry Myerson
30.2k5140181
30.2k5140181
1
Thanks! In fact, the proof goes exactly the way I've sketched in my answer, just you needed 42 primes to finish it... Here is the full paper: ams.org/journals/mcom/1975-29-129/S0025-5718-1975-0376583-0/…
– domotorp
yesterday
2
See also my paper "On integers not of the form $pm p^apm q^b$ [Proc. Amer. Math. Soc., 128(2000), no.4, 997--1002] available from maths.nju.edu.cn/~zwsun/34p.pdf ..
– Zhi-Wei Sun
yesterday
add a comment |
1
Thanks! In fact, the proof goes exactly the way I've sketched in my answer, just you needed 42 primes to finish it... Here is the full paper: ams.org/journals/mcom/1975-29-129/S0025-5718-1975-0376583-0/…
– domotorp
yesterday
2
See also my paper "On integers not of the form $pm p^apm q^b$ [Proc. Amer. Math. Soc., 128(2000), no.4, 997--1002] available from maths.nju.edu.cn/~zwsun/34p.pdf ..
– Zhi-Wei Sun
yesterday
1
1
Thanks! In fact, the proof goes exactly the way I've sketched in my answer, just you needed 42 primes to finish it... Here is the full paper: ams.org/journals/mcom/1975-29-129/S0025-5718-1975-0376583-0/…
– domotorp
yesterday
Thanks! In fact, the proof goes exactly the way I've sketched in my answer, just you needed 42 primes to finish it... Here is the full paper: ams.org/journals/mcom/1975-29-129/S0025-5718-1975-0376583-0/…
– domotorp
yesterday
2
2
See also my paper "On integers not of the form $pm p^apm q^b$ [Proc. Amer. Math. Soc., 128(2000), no.4, 997--1002] available from maths.nju.edu.cn/~zwsun/34p.pdf ..
– Zhi-Wei Sun
yesterday
See also my paper "On integers not of the form $pm p^apm q^b$ [Proc. Amer. Math. Soc., 128(2000), no.4, 997--1002] available from maths.nju.edu.cn/~zwsun/34p.pdf ..
– Zhi-Wei Sun
yesterday
add a comment |
Thanks for contributing an answer to MathOverflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f316867%2fis-there-a-2-power-twinless-prime%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
2
You should exclude the obvious fact that $2$ is a $2$-power-twinless prime.
– Tony Huynh
yesterday
2
Brun sieve gives a bound for $sum_{n le x} 1_{n in P, n-2^k in P}$
– reuns
yesterday
2
$ 2 + 2^0 = 3 $
– Tom
yesterday
@Tony See Tom's comment.
– domotorp
yesterday
@reuns I don't see why that's useful.
– domotorp
yesterday