Inverse conjecture for the large sieve with additively structured sieving sets

About 18 years old · traced to

Let XX be positive. For each prime p<X1/2p<X^{1/2}, let Ωp⊆Z/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 Cp≫log⁡−1pC_p\gg\log^{-1}p.

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

∣A∣≪Xϵ.|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.

References

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.