Inverse conjecture for the large sieve with additively structured sieving sets

Let XX be positive. For each prime p<X1/2p<X^{1/2}, let ΩpZ/pZ\Omega_p\subseteq\mathbb{Z}/p\mathbb{Z}, and let A[1,X]A\subseteq[1,X] be obtained by sieving out the congruence classes in Ωp\Omega_p. Here a set Ωp\Omega_p is additively structured if there is an a≢0(modp)a\not\equiv0\pmod p such that

xΩpe(axp)Cpp,\left|\sum_{x\in\Omega_p}e\left(\frac{ax}{p}\right)\right|\gg C_pp,

where Cplog1pC_p\gg\log^{-1}p.

Refined inverse conjecture for the large sieve. Under these assumptions,

AXϵ.|A|\ll X^\epsilon.

The conjecture predicts that simultaneous additive structure in all the sieving sets forces the sifted set to be very small, refining the usual inverse large-sieve conjecture.

Sources & referencesView supporting material

Primary source

Farzad Aryan, “Distribution of squares modulo a composite number”, arXiv:1502.05062 (2015).

Additional references

2 papers in this index state this conjecture (2008–2015). The statement above is taken from the most recent of them; the others are arXiv:0807.5037.

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.