This is a followup to my post What if primes hated to start with nine? and you might want to read that post for context. This post describes my failure to create a nice illustration of the effect of the zero of at on the distribution of the primes. Of course, the answer might be really dumb — I might just have a coding error, or the range of primes I was using (around ) may not be large enough. But I suspect there is something interesting here, and I’d like to know what. The basic question of this post is “Why does the left hand graph look as random as the right hand one?”
Let be the number of primes between and . Let , the error in the PNT estimate. Let . The idea of is to give a reasonably normalized version of the error, which will be comparable for intervals in very different domains. The red data series below is the values of — in other words, checking whether five digit primes prefer certain starting digits over others. The green and blue series are the same thing for seven digit and nine digit primes. Notice that, even though we are comparing intervals of very different sizes, is staying nicely contained between and . So I think I found a reasonable normalization.
Note also that there is no sign that primes hate to start with nine.
Let ; the imaginary part of the first zero. As I understand it, the fact that is should mean that the fractional part of should NOT be evenly distributed. In other words, the number of primes in the interval should behave differently from the number of points in .
I decided to test this by computing as ranged from to for several smallish values of . We have so the intervals in question have width ; I figured that should be wide enough bins that the zeta zeroes would dominate any short term effects. Here are the results for ; the colors are assigned in rainbow order starting with red.
In case you are trying to convince yourself that there really is a valid pattern in this data, here is the analogous computation with replaced by , which is nowhere near a zero. There are two interesting things to note: First, the data is different, so I am working in a range large enough to see the difference between and . But, second, the data looks equally random.
What am I missing?
Starting to see a signal
As I discuss further in a comment below, I realized that part of the problem is that the contributions of the different zeta zeroes are too close to each other to separate out in this way. If you look at the waveform of a chime, you’ll see that it looks vaguely sinusoidal, because the dominant overtone is so much stronger than the others. If you try the same thing for a big clattery noise, you won’t see anything, even if the spectrum is discrete so that, in theory, there is a dominant overtone. The primes are more like the latter case.
This analogy suggested the numerical experiment I should do — to take an average over many frequency cycles. My picture shows (in blue) the total of as runs from to — a range which means that I am looking at primes between and . In other words, I am keeping track of whether the “first digit” of , in base , prefers one value over another. The red points are running through cycles with replaced by . Since , I go through fewer primes when tracking this higher frequency signal — this chart goes form up to .
Recall that tends to have magnitude about . Notice that the blue signal is of size , like the sum of roughly correlated steps while the red signal is of size , like the sum of a random walk of length .
This picture is perhaps a little too nice. I decided to redo the computation changing nothing but the ranges of primes being used. In the following picture, I am going from to .
(Note that this will shift which point on the -axis is called zero. In the later picture, points at the ends of the interval contribute positively to , points in the middle contribute negatively.) I again see that the blue signal is larger than the red signal, but I can no longer pretend that the blue signal looks particularly smooth; indeed, the red signal looks smoother. Still, there is definitely something there, even if I can’t get enough primes to see it very clearly.