Green's inverse conjecture for the large sieve

About 11 years old · traced to

Let XX be positive, and for every prime p<Xp<\sqrt X let Ωp⊆Z/pZ\Omega_p\subseteq\mathbb{Z}/p\mathbb{Z} satisfy ∣Ωp∣=(p−1)/2|\Omega_p|=(p-1)/2. Let A⊆{1,2,…,X}A\subseteq\{1,2,\ldots,X\} be obtained by sieving out the residue classes in Ωp\Omega_p for p<Xp<X.

Green's inverse conjecture for the large sieve. Then ∣A∣≪Xϵ|A|\ll X^\epsilon unless AA is contained, apart from a set of size XϵX^\epsilon, in the set of values of a quadratic polynomial

f(n)=an2+bn+c.f(n)=an^2+bn+c.

The conjecture refines the inverse large-sieve problem by predicting that a sifted set can be substantially larger than the trivial bound only when it is essentially structured by the values of a quadratic polynomial.

References

Primary source

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

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.