4
$\begingroup$

I have recently read "The music of the primes" by Marcus du Sautoy (see excerpt here >>>). There he writes:

"So how fair are the prime number dice? Mathematicians call a dice "fair" if the difference between the theoretical behaviour of the dice and the actual behaviour after $N$ tosses is within the region of the square root of $N$. The heights of Riemann's harmonics are given by the east-west coordinate of the corresponding point at sea-level. If the east-west coordinate is $c$ then the height of the wave grows like $N^c$. This means the contribution from this harmonic to the error between Gauss's guess and the real number of primes will be $N^c$. So if the Riemann Hypothesis is correct and $c$ is always $1/2$, the error will always be $N^{1/2}$ (which is just another way of writing the square root of $N$). If true, the Riemann Hypothesis means that Nature's prime number dice are fair, never straying more than the square root of $N$ from Gauss's theoretical prime number dice."

However, we know from Helge von Koch (1901)[2] that if the Rieman Hypothesis true, then: $$\pi(x)=Li(x)+\mathcal O(\sqrt x \log x)$$ where $\pi(x)$ prime counting function and $Li(x)$ according Gauss.

My question:

Is what Sautoy says correct? Is the error indeed $(\sqrt x \log x)$ or as Sautoy states $\sqrt x$? Or did I misunderstand something?

[2]: Von Koch, Helge (1901). "Sur la distribution des nombres premiers" (On the distribution of prime numbers). Acta Mathematica (in French). 24 (1): 159–182.

$\endgroup$
  • $\begingroup$ In fact, assuming RH the logarithmic density of $\pi(x)>Li(x) \approx 0.00000026$ so the periodic terms in Riemann's equation get as large $Li(\sqrt{x})$ the same small percentage of time. See projecteuclid.org/euclid.em/1048515870 This means the error term is usually $Li(\sqrt{x})$ 99.99+% of the time, where $Li(\sqrt{x}) \approx \frac{\sqrt{x}}{0.5x}$ $\endgroup$ – Sheldon L Aug 16 '16 at 18:09
  • $\begingroup$ Anyway, thanks for the question; I think the distribution of $\pi(x)$ is actually significantly tighter than a random drunk walk whose standard deviation is $O \sqrt{x}$, but I'm not sure how to formally state it in terms of probability and standard deviations. That also means the $\sqrt{x}\ln(\ln(\ln(x)))$ deviations must be extremely extremely rare; incomprehensibly rarer than the logarithmic density of $\pi(x)>Li(x)$. Perhaps I'll ask that question sometime.... $\endgroup$ – Sheldon L Aug 16 '16 at 18:32
5
$\begingroup$

The statement of du Sautoy is indeed slightly imprecise as the error term is known to be slightly worse than $O( \sqrt{x})$.

But as you said, it is close to the truth, and the added complexity for a precise statement seems not worth it in that context.

To be clear it is known that (see below for details) $$\pi(x)-\operatorname{Li}(x) \ne O(\sqrt{x})$$

However, du Sautoy only gives a vague description of the situation, and one should not try to transcribe this literally and expect it to be true exactly. But the error-term is roughly $\sqrt{x}$, and to say this is the point of the description. (In fact, I believe, but would have to check to be sure, that also the deviations in a random walk given by a dice are not literally bounded by square-root.)

Note though that the result you recall does not prove that the claim is imprecise. There could be still better error-terms under RH, indeed there are better error-terms under RH, but they cannot be literally as good as du Sautoy says.

Let me add that the classical reference showing that the statement is imprecise is due to Littlewood ("Sur la distribution des nombres premiers." CRAS 1914), who show that the error term is $\Omega_{\pm}(\sqrt{x} \log \log \log x)$. That is there is a positive constant $c$ such that the error-term is larger than $c\sqrt{x} \log \log \log x$ for arbitrarily large $x$; and also a negative constant $c'$ such that it is smaller than $-c\sqrt{x} \log \log \log x$ for arbitrarily large $x$.

That is the error term oscillates and the amplitude is at least of order $\sqrt{x} \log \log \log x$.

$\endgroup$
  • $\begingroup$ Are homonyms contributions in Comptes Rendus by Littlewood and Van Koch in Acta Mathematica? Or are they different studies ?, Please. $\endgroup$ – Piquito Aug 16 '16 at 15:13
  • $\begingroup$ I am not sure I understand your question. But, yes, the titles are the same. Incidentally, von Koch even also has a "Sur la distribution des nombres premiers" in CRAS. (In 1900, likely an annoucenement of the Acta paper, but I did not look it up.) $\endgroup$ – quid Aug 16 '16 at 15:23
  • $\begingroup$ Yes, you have understood my uggly English. Thanks you. $\endgroup$ – Piquito Aug 16 '16 at 16:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.