Refined Hardy–Littlewood conjecture in arithmetic progressions

For k1k\geq1, let H={h1,,hk}Z\mathcal{H}=\{h_1,\dots,h_k\}\subseteq\mathbb{Z}, let q1(mod4)q\equiv1\,(\mathrm{mod}\,4) be prime, let aZa\in\mathbb{Z}, and let Rk(H;x,q,a)R_k(\mathcal{H};x,q,a) and S(H)\mathfrak{S}(\mathcal{H}) be as above. Let c1,hc_{1,h} be the residue-class secondary constant defined in the source. Refined Hardy–Littlewood conjecture. If S(H)>0\mathfrak{S}(\mathcal{H})>0, then

Rk(H;x,q,a)S(H)qKk(1(logx)k/2+1(logx)k/2+1hHc1,h+a+O(1(logx)k/2+2)).R_k(\mathcal{H};x,q,a)\sim\frac{\mathfrak{S}(\mathcal{H})}{q}K^k\left(\frac{1}{(\log x)^{k/2}}+\frac{1}{(\log x)^{k/2+1}}\sum_{h\in\mathcal{H}}c_{1,h+a}+O\left(\frac{1}{(\log x)^{k/2+2}}\right)\right).

This refines the preceding arithmetic-progression heuristic by incorporating secondary terms for individual sums of two squares; it remains open.

Sources & referencesView supporting material

Primary source

Chantal David, Lucile Devin, Jungbae Nam and Jeremy Schlitt, “Lemke Oliver and Soundararajan bias for consecutive sums of two squares”, arXiv:2105.05048 (2021).

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.