Refined Hardy–Littlewood conjecture in arithmetic progressions

At least 4 years old · documented by

For k≥1k\geq1, let H={h1,…,hk}⊆Z\mathcal{H}=\{h_1,\dots,h_k\}\subseteq\mathbb{Z}, let q≡1 (mod 4)q\equiv1\,(\mathrm{mod}\,4) be prime, let a∈Za\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(log⁡x)k/2+1(log⁡x)k/2+1∑h∈Hc1,h+a+O(1(log⁡x)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.

References

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.