Chebyshev's bias-conjecture and the Riemann Hypothesis
Chebyshev's bias-conjecture that says "there are more primes of the form 4k + 3 than of the form 4k + 1" and the Riemann Hypothesis are equivalent? That means, one implies the other (if and only if)?
nt.number-theory analytic-number-theory prime-numbers riemann-hypothesis
add a comment |
Chebyshev's bias-conjecture that says "there are more primes of the form 4k + 3 than of the form 4k + 1" and the Riemann Hypothesis are equivalent? That means, one implies the other (if and only if)?
nt.number-theory analytic-number-theory prime-numbers riemann-hypothesis
add a comment |
Chebyshev's bias-conjecture that says "there are more primes of the form 4k + 3 than of the form 4k + 1" and the Riemann Hypothesis are equivalent? That means, one implies the other (if and only if)?
nt.number-theory analytic-number-theory prime-numbers riemann-hypothesis
Chebyshev's bias-conjecture that says "there are more primes of the form 4k + 3 than of the form 4k + 1" and the Riemann Hypothesis are equivalent? That means, one implies the other (if and only if)?
nt.number-theory analytic-number-theory prime-numbers riemann-hypothesis
nt.number-theory analytic-number-theory prime-numbers riemann-hypothesis
edited yesterday
Martin Sleziak
2,92032028
2,92032028
asked 2 days ago
Dimitris Valianatos
623412
623412
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
Chebyshev made the following assertion, which is interpreted as saying that there are more primes of the form $4n+3$ than of the form $4n+1$:
$$
lim_{xtoinfty} sum_{pge3} (-1)^{(p-1)/2} e^{-p/x} = -infty.
$$
It was proved by Hardy/Littlewood and Landau that this assertion is equivalent to the generalized Riemann hypothesis for the Dirichlet $L$-function
$$
L(s,chi_{-4}) = 1 - 3^{-s} + 5^{-s} - 7^{-s} + 9^{-s} - 11^{-s} + cdots
$$
corresponding to the nonprincipal character (mod 4).
- G. H. Hardy and J. E. Littlewood, Contributions to the theory of the Riemann zeta-function and the theory of the distribution of primes, Acta Math. 41 (1916), no. 1, 119–196
- E. Landau, Über einige ältere Vermutungen und Behauptungen in der Primzahltheorie, Math. Z. 1 (1918), 1–24
1
What was the paper of Ingham? I only knew that Landau in 1918 had shown the equivalence (Hardy and Littlewood did GRH for the character mod 4 implies Chebyshev's conjecture). See Math. Zeitschrift 1 (1918), pp. 1-24 and 213-219.
– KConrad
yesterday
Sorry, brain fart on my end—it was indeed Landau. Thanks @KConrad
– Greg Martin
yesterday
@GregMartin (sorry for the dumb question) does $e^{-u}$ in your answer stand for $exp{-2pi i u}$?
– kodlu
19 hours ago
@kodlu what Greg writes is correct. For each fixed $x > 0$, $e^{-p/x} rightarrow 0$ as $p rightarrow infty$ through the primes; the series converges for each $x$. Using something like $e^{-2pi i p/x}$ could make each term of the series of magnitude 1 and it would not converge.
– KConrad
4 hours ago
Chebyshev actually wrote the series with all signs changed, so using $(-1)^{(p+1)/2}$, and his variable was $c = 1/x$ tending to $0$, so his conjecture was $sum_{p > 2} (-1)^{(p+1)/2}e^{-pc} rightarrow infty$ as $c rightarrow 0^+$ with the sum running over the odd primes. See what Chebyshev wrote in Google books: books.google.com/…
– KConrad
4 hours ago
|
show 1 more comment
Chebyshev's bias is consistent with the Riemann Hypothesis. I like Terry Tao's explanation in his blog:
[..] the bias is small [..] and certainly consistent with known or conjectured positive results such as Dirichlet’s theorem or the generalised Riemann hypothesis. The reason for the Chebyshev bias can be traced back to the von Mangoldt explicit formula which relates the distribution of the von Mangoldt function ${Lambda}$ modulo ${q}$ with the zeroes of the ${L}$-functions with period ${q}$. This formula predicts (assuming some standard conjectures like GRH) that the von Mangoldt function ${Lambda}$ is quite unbiased modulo ${q}.$ The von Mangoldt function is mostly concentrated in the primes, but it also has a medium-sized contribution coming from squares of primes, which are of course all located in the quadratic residues modulo ${q}.$ (Cubes and higher powers of primes also make a small contribution, but these are quite negligible asymptotically.) To balance everything out, the contribution of the primes must then exhibit a small preference towards quadratic non-residues, and this is the Chebyshev bias.
See also Rubinstein and Sarnak MR review here.
add a comment |
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',
autoActivateHeartbeat: false,
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
});
}
});
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%2f320102%2fchebyshevs-bias-conjecture-and-the-riemann-hypothesis%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
Chebyshev made the following assertion, which is interpreted as saying that there are more primes of the form $4n+3$ than of the form $4n+1$:
$$
lim_{xtoinfty} sum_{pge3} (-1)^{(p-1)/2} e^{-p/x} = -infty.
$$
It was proved by Hardy/Littlewood and Landau that this assertion is equivalent to the generalized Riemann hypothesis for the Dirichlet $L$-function
$$
L(s,chi_{-4}) = 1 - 3^{-s} + 5^{-s} - 7^{-s} + 9^{-s} - 11^{-s} + cdots
$$
corresponding to the nonprincipal character (mod 4).
- G. H. Hardy and J. E. Littlewood, Contributions to the theory of the Riemann zeta-function and the theory of the distribution of primes, Acta Math. 41 (1916), no. 1, 119–196
- E. Landau, Über einige ältere Vermutungen und Behauptungen in der Primzahltheorie, Math. Z. 1 (1918), 1–24
1
What was the paper of Ingham? I only knew that Landau in 1918 had shown the equivalence (Hardy and Littlewood did GRH for the character mod 4 implies Chebyshev's conjecture). See Math. Zeitschrift 1 (1918), pp. 1-24 and 213-219.
– KConrad
yesterday
Sorry, brain fart on my end—it was indeed Landau. Thanks @KConrad
– Greg Martin
yesterday
@GregMartin (sorry for the dumb question) does $e^{-u}$ in your answer stand for $exp{-2pi i u}$?
– kodlu
19 hours ago
@kodlu what Greg writes is correct. For each fixed $x > 0$, $e^{-p/x} rightarrow 0$ as $p rightarrow infty$ through the primes; the series converges for each $x$. Using something like $e^{-2pi i p/x}$ could make each term of the series of magnitude 1 and it would not converge.
– KConrad
4 hours ago
Chebyshev actually wrote the series with all signs changed, so using $(-1)^{(p+1)/2}$, and his variable was $c = 1/x$ tending to $0$, so his conjecture was $sum_{p > 2} (-1)^{(p+1)/2}e^{-pc} rightarrow infty$ as $c rightarrow 0^+$ with the sum running over the odd primes. See what Chebyshev wrote in Google books: books.google.com/…
– KConrad
4 hours ago
|
show 1 more comment
Chebyshev made the following assertion, which is interpreted as saying that there are more primes of the form $4n+3$ than of the form $4n+1$:
$$
lim_{xtoinfty} sum_{pge3} (-1)^{(p-1)/2} e^{-p/x} = -infty.
$$
It was proved by Hardy/Littlewood and Landau that this assertion is equivalent to the generalized Riemann hypothesis for the Dirichlet $L$-function
$$
L(s,chi_{-4}) = 1 - 3^{-s} + 5^{-s} - 7^{-s} + 9^{-s} - 11^{-s} + cdots
$$
corresponding to the nonprincipal character (mod 4).
- G. H. Hardy and J. E. Littlewood, Contributions to the theory of the Riemann zeta-function and the theory of the distribution of primes, Acta Math. 41 (1916), no. 1, 119–196
- E. Landau, Über einige ältere Vermutungen und Behauptungen in der Primzahltheorie, Math. Z. 1 (1918), 1–24
1
What was the paper of Ingham? I only knew that Landau in 1918 had shown the equivalence (Hardy and Littlewood did GRH for the character mod 4 implies Chebyshev's conjecture). See Math. Zeitschrift 1 (1918), pp. 1-24 and 213-219.
– KConrad
yesterday
Sorry, brain fart on my end—it was indeed Landau. Thanks @KConrad
– Greg Martin
yesterday
@GregMartin (sorry for the dumb question) does $e^{-u}$ in your answer stand for $exp{-2pi i u}$?
– kodlu
19 hours ago
@kodlu what Greg writes is correct. For each fixed $x > 0$, $e^{-p/x} rightarrow 0$ as $p rightarrow infty$ through the primes; the series converges for each $x$. Using something like $e^{-2pi i p/x}$ could make each term of the series of magnitude 1 and it would not converge.
– KConrad
4 hours ago
Chebyshev actually wrote the series with all signs changed, so using $(-1)^{(p+1)/2}$, and his variable was $c = 1/x$ tending to $0$, so his conjecture was $sum_{p > 2} (-1)^{(p+1)/2}e^{-pc} rightarrow infty$ as $c rightarrow 0^+$ with the sum running over the odd primes. See what Chebyshev wrote in Google books: books.google.com/…
– KConrad
4 hours ago
|
show 1 more comment
Chebyshev made the following assertion, which is interpreted as saying that there are more primes of the form $4n+3$ than of the form $4n+1$:
$$
lim_{xtoinfty} sum_{pge3} (-1)^{(p-1)/2} e^{-p/x} = -infty.
$$
It was proved by Hardy/Littlewood and Landau that this assertion is equivalent to the generalized Riemann hypothesis for the Dirichlet $L$-function
$$
L(s,chi_{-4}) = 1 - 3^{-s} + 5^{-s} - 7^{-s} + 9^{-s} - 11^{-s} + cdots
$$
corresponding to the nonprincipal character (mod 4).
- G. H. Hardy and J. E. Littlewood, Contributions to the theory of the Riemann zeta-function and the theory of the distribution of primes, Acta Math. 41 (1916), no. 1, 119–196
- E. Landau, Über einige ältere Vermutungen und Behauptungen in der Primzahltheorie, Math. Z. 1 (1918), 1–24
Chebyshev made the following assertion, which is interpreted as saying that there are more primes of the form $4n+3$ than of the form $4n+1$:
$$
lim_{xtoinfty} sum_{pge3} (-1)^{(p-1)/2} e^{-p/x} = -infty.
$$
It was proved by Hardy/Littlewood and Landau that this assertion is equivalent to the generalized Riemann hypothesis for the Dirichlet $L$-function
$$
L(s,chi_{-4}) = 1 - 3^{-s} + 5^{-s} - 7^{-s} + 9^{-s} - 11^{-s} + cdots
$$
corresponding to the nonprincipal character (mod 4).
- G. H. Hardy and J. E. Littlewood, Contributions to the theory of the Riemann zeta-function and the theory of the distribution of primes, Acta Math. 41 (1916), no. 1, 119–196
- E. Landau, Über einige ältere Vermutungen und Behauptungen in der Primzahltheorie, Math. Z. 1 (1918), 1–24
edited yesterday
answered yesterday
Greg Martin
8,31813559
8,31813559
1
What was the paper of Ingham? I only knew that Landau in 1918 had shown the equivalence (Hardy and Littlewood did GRH for the character mod 4 implies Chebyshev's conjecture). See Math. Zeitschrift 1 (1918), pp. 1-24 and 213-219.
– KConrad
yesterday
Sorry, brain fart on my end—it was indeed Landau. Thanks @KConrad
– Greg Martin
yesterday
@GregMartin (sorry for the dumb question) does $e^{-u}$ in your answer stand for $exp{-2pi i u}$?
– kodlu
19 hours ago
@kodlu what Greg writes is correct. For each fixed $x > 0$, $e^{-p/x} rightarrow 0$ as $p rightarrow infty$ through the primes; the series converges for each $x$. Using something like $e^{-2pi i p/x}$ could make each term of the series of magnitude 1 and it would not converge.
– KConrad
4 hours ago
Chebyshev actually wrote the series with all signs changed, so using $(-1)^{(p+1)/2}$, and his variable was $c = 1/x$ tending to $0$, so his conjecture was $sum_{p > 2} (-1)^{(p+1)/2}e^{-pc} rightarrow infty$ as $c rightarrow 0^+$ with the sum running over the odd primes. See what Chebyshev wrote in Google books: books.google.com/…
– KConrad
4 hours ago
|
show 1 more comment
1
What was the paper of Ingham? I only knew that Landau in 1918 had shown the equivalence (Hardy and Littlewood did GRH for the character mod 4 implies Chebyshev's conjecture). See Math. Zeitschrift 1 (1918), pp. 1-24 and 213-219.
– KConrad
yesterday
Sorry, brain fart on my end—it was indeed Landau. Thanks @KConrad
– Greg Martin
yesterday
@GregMartin (sorry for the dumb question) does $e^{-u}$ in your answer stand for $exp{-2pi i u}$?
– kodlu
19 hours ago
@kodlu what Greg writes is correct. For each fixed $x > 0$, $e^{-p/x} rightarrow 0$ as $p rightarrow infty$ through the primes; the series converges for each $x$. Using something like $e^{-2pi i p/x}$ could make each term of the series of magnitude 1 and it would not converge.
– KConrad
4 hours ago
Chebyshev actually wrote the series with all signs changed, so using $(-1)^{(p+1)/2}$, and his variable was $c = 1/x$ tending to $0$, so his conjecture was $sum_{p > 2} (-1)^{(p+1)/2}e^{-pc} rightarrow infty$ as $c rightarrow 0^+$ with the sum running over the odd primes. See what Chebyshev wrote in Google books: books.google.com/…
– KConrad
4 hours ago
1
1
What was the paper of Ingham? I only knew that Landau in 1918 had shown the equivalence (Hardy and Littlewood did GRH for the character mod 4 implies Chebyshev's conjecture). See Math. Zeitschrift 1 (1918), pp. 1-24 and 213-219.
– KConrad
yesterday
What was the paper of Ingham? I only knew that Landau in 1918 had shown the equivalence (Hardy and Littlewood did GRH for the character mod 4 implies Chebyshev's conjecture). See Math. Zeitschrift 1 (1918), pp. 1-24 and 213-219.
– KConrad
yesterday
Sorry, brain fart on my end—it was indeed Landau. Thanks @KConrad
– Greg Martin
yesterday
Sorry, brain fart on my end—it was indeed Landau. Thanks @KConrad
– Greg Martin
yesterday
@GregMartin (sorry for the dumb question) does $e^{-u}$ in your answer stand for $exp{-2pi i u}$?
– kodlu
19 hours ago
@GregMartin (sorry for the dumb question) does $e^{-u}$ in your answer stand for $exp{-2pi i u}$?
– kodlu
19 hours ago
@kodlu what Greg writes is correct. For each fixed $x > 0$, $e^{-p/x} rightarrow 0$ as $p rightarrow infty$ through the primes; the series converges for each $x$. Using something like $e^{-2pi i p/x}$ could make each term of the series of magnitude 1 and it would not converge.
– KConrad
4 hours ago
@kodlu what Greg writes is correct. For each fixed $x > 0$, $e^{-p/x} rightarrow 0$ as $p rightarrow infty$ through the primes; the series converges for each $x$. Using something like $e^{-2pi i p/x}$ could make each term of the series of magnitude 1 and it would not converge.
– KConrad
4 hours ago
Chebyshev actually wrote the series with all signs changed, so using $(-1)^{(p+1)/2}$, and his variable was $c = 1/x$ tending to $0$, so his conjecture was $sum_{p > 2} (-1)^{(p+1)/2}e^{-pc} rightarrow infty$ as $c rightarrow 0^+$ with the sum running over the odd primes. See what Chebyshev wrote in Google books: books.google.com/…
– KConrad
4 hours ago
Chebyshev actually wrote the series with all signs changed, so using $(-1)^{(p+1)/2}$, and his variable was $c = 1/x$ tending to $0$, so his conjecture was $sum_{p > 2} (-1)^{(p+1)/2}e^{-pc} rightarrow infty$ as $c rightarrow 0^+$ with the sum running over the odd primes. See what Chebyshev wrote in Google books: books.google.com/…
– KConrad
4 hours ago
|
show 1 more comment
Chebyshev's bias is consistent with the Riemann Hypothesis. I like Terry Tao's explanation in his blog:
[..] the bias is small [..] and certainly consistent with known or conjectured positive results such as Dirichlet’s theorem or the generalised Riemann hypothesis. The reason for the Chebyshev bias can be traced back to the von Mangoldt explicit formula which relates the distribution of the von Mangoldt function ${Lambda}$ modulo ${q}$ with the zeroes of the ${L}$-functions with period ${q}$. This formula predicts (assuming some standard conjectures like GRH) that the von Mangoldt function ${Lambda}$ is quite unbiased modulo ${q}.$ The von Mangoldt function is mostly concentrated in the primes, but it also has a medium-sized contribution coming from squares of primes, which are of course all located in the quadratic residues modulo ${q}.$ (Cubes and higher powers of primes also make a small contribution, but these are quite negligible asymptotically.) To balance everything out, the contribution of the primes must then exhibit a small preference towards quadratic non-residues, and this is the Chebyshev bias.
See also Rubinstein and Sarnak MR review here.
add a comment |
Chebyshev's bias is consistent with the Riemann Hypothesis. I like Terry Tao's explanation in his blog:
[..] the bias is small [..] and certainly consistent with known or conjectured positive results such as Dirichlet’s theorem or the generalised Riemann hypothesis. The reason for the Chebyshev bias can be traced back to the von Mangoldt explicit formula which relates the distribution of the von Mangoldt function ${Lambda}$ modulo ${q}$ with the zeroes of the ${L}$-functions with period ${q}$. This formula predicts (assuming some standard conjectures like GRH) that the von Mangoldt function ${Lambda}$ is quite unbiased modulo ${q}.$ The von Mangoldt function is mostly concentrated in the primes, but it also has a medium-sized contribution coming from squares of primes, which are of course all located in the quadratic residues modulo ${q}.$ (Cubes and higher powers of primes also make a small contribution, but these are quite negligible asymptotically.) To balance everything out, the contribution of the primes must then exhibit a small preference towards quadratic non-residues, and this is the Chebyshev bias.
See also Rubinstein and Sarnak MR review here.
add a comment |
Chebyshev's bias is consistent with the Riemann Hypothesis. I like Terry Tao's explanation in his blog:
[..] the bias is small [..] and certainly consistent with known or conjectured positive results such as Dirichlet’s theorem or the generalised Riemann hypothesis. The reason for the Chebyshev bias can be traced back to the von Mangoldt explicit formula which relates the distribution of the von Mangoldt function ${Lambda}$ modulo ${q}$ with the zeroes of the ${L}$-functions with period ${q}$. This formula predicts (assuming some standard conjectures like GRH) that the von Mangoldt function ${Lambda}$ is quite unbiased modulo ${q}.$ The von Mangoldt function is mostly concentrated in the primes, but it also has a medium-sized contribution coming from squares of primes, which are of course all located in the quadratic residues modulo ${q}.$ (Cubes and higher powers of primes also make a small contribution, but these are quite negligible asymptotically.) To balance everything out, the contribution of the primes must then exhibit a small preference towards quadratic non-residues, and this is the Chebyshev bias.
See also Rubinstein and Sarnak MR review here.
Chebyshev's bias is consistent with the Riemann Hypothesis. I like Terry Tao's explanation in his blog:
[..] the bias is small [..] and certainly consistent with known or conjectured positive results such as Dirichlet’s theorem or the generalised Riemann hypothesis. The reason for the Chebyshev bias can be traced back to the von Mangoldt explicit formula which relates the distribution of the von Mangoldt function ${Lambda}$ modulo ${q}$ with the zeroes of the ${L}$-functions with period ${q}$. This formula predicts (assuming some standard conjectures like GRH) that the von Mangoldt function ${Lambda}$ is quite unbiased modulo ${q}.$ The von Mangoldt function is mostly concentrated in the primes, but it also has a medium-sized contribution coming from squares of primes, which are of course all located in the quadratic residues modulo ${q}.$ (Cubes and higher powers of primes also make a small contribution, but these are quite negligible asymptotically.) To balance everything out, the contribution of the primes must then exhibit a small preference towards quadratic non-residues, and this is the Chebyshev bias.
See also Rubinstein and Sarnak MR review here.
answered yesterday
kodlu
3,59721727
3,59721727
add a comment |
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%2f320102%2fchebyshevs-bias-conjecture-and-the-riemann-hypothesis%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