Montgomery's conjecture for primes in arithmetic progressions

Let a<qa<q be integers with gcd(a,q)=1\gcd(a,q)=1, and let qxq\leq x. Write ψ(x,q,a)\psi(x,q,a) for the weighted prime-counting function in the progression a(modq)a\pmod q, π(x,q,a)\pi(x,q,a) for the corresponding prime-counting function, and φ(q)\varphi(q) for Euler's totient. Montgomery's conjecture. For every ε>0\varepsilon>0,

ψ(x,q,a)=xφ(q)+O(x1/2+εq1/2),\psi(x,q,a)=\frac{x}{\varphi(q)}+O\left(\frac{x^{1/2+\varepsilon}}{q^{1/2}}\right),

and

π(x,q,a)=xφ(q)logx+O(x1/2+εq1/2).\pi(x,q,a)=\frac{x}{\varphi(q)\log x}+O\left(\frac{x^{1/2+\varepsilon}}{q^{1/2}}\right).

This conjecture gives square-root-scale error terms uniformly for moduli up to xx and is presented as a strengthening of the conditional estimates obtained from the Riemann hypothesis. The source says that it does not seem to have a similar elementary proof derived directly from the Riemann hypothesis.

Sources & referencesView supporting material

Primary source

N. A. Carella, “Elementary Proof of the Siegel-Walfisz Theorem”, arXiv:2004.02010 (2020).

Additional references

4 papers in this index state this conjecture (2009–2020). The statement above is taken from the most recent of them; the others are arXiv:1912.05923, arXiv:1512.03648, arXiv:0909.4916.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.