13
$\begingroup$

I am interested in the distribution of the parity of $\pi(x)$, the prime counting function, over the natural numbers.

Let:
$\ \ E_n := \left\{ k \in \left\{1,\dots,n\right\} : \pi(k) \equiv 0 \mod 2 \right\}\ \ $ and $\ \ O_n :=\left\{ k \in \left\{1,\ldots,n\right\} : \pi(k) \equiv 1 \mod 2 \right\}$.

My question: is it true that

$$\lim_{n \to \infty} \frac{|E_n|}{n} = \lim_{n \to \infty} \frac{|O_n|}{n} = \frac{1}{2}$$
Are any methods known for calculating or estimating these limits?

$\endgroup$
2
  • $\begingroup$ Did Terence Tao prove this? It seems footnote $6$ on page $7$ of this paper of his gives the desired result. $\endgroup$ Commented Jan 22 at 3:32
  • 1
    $\begingroup$ Yes, but conditionally on the Hardy-Littlewood prime tuple conjecture. (Without this conjecture, I don't know of any way to do better than the results of Chung-Li and Alboiu mentioned in the accepted answer.) $\endgroup$
    – Terry Tao
    Commented Mar 18 at 22:52

1 Answer 1

19
$\begingroup$

The limits you conjecture are natural, and they are currently open. I believe the best known result is by Ping Ngai Chung and Shiyu Li, who proved that $$ \liminf_{n \to \infty} \frac{|E_{n}|}{n} $$ and $$ \liminf_{n \to \infty} \frac{|O_{n}|}{n} $$ are both $\geq \frac{1}{64}$. They can improve this to $\frac{1}{8}$ if they assume the Hardy-Littlewood prime $k$-tuples conjecture. The main tool used is Selberg's sieve and their paper appears in Integers in 2013. (See http://www.integers-ejcnt.org/vol13.html - the paper is A79.) They mention their result was obtained almost simultaneously by M. Alboiu.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .