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?










share|cite|improve this question


















  • 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















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?










share|cite|improve this question


















  • 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













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?










share|cite|improve this question













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






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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














  • 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










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.






share|cite|improve this answer



















  • 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











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "504"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















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

























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.






share|cite|improve this answer



















  • 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















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.






share|cite|improve this answer



















  • 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













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.






share|cite|improve this answer














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.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








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














  • 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


















draft saved

draft discarded




















































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.




draft saved


draft discarded














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





















































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







Popular posts from this blog

Quarter-circle Tiles

build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

Mont Emei