The small-set asymmetric growth conjecture

About 2 years old · traced to

Let SS be a non-abelian finite simple group, and let A,BA,B be subsets of SS. For g∈Sg\in S, write Ag=g−1AgA^g=g^{-1}Ag. Small-set asymmetric growth conjecture. For every ϵ>0\epsilon>0 there exists δ>0\delta>0 such that, whenever ∣B∣,∣A∣≤∣S∣δ|B|,|A|\le |S|^\delta, there is some g∈Sg\in S for which

∣BAg∣≥∣B∣⋅∣A∣1−ϵ.|BA^g|\ge |B|\cdot |A|^{1-\epsilon}.

The excerpt presents this as a proposed strengthening for smaller subsets; it supplies no resolution status or further known cases.

References

Primary source

Nick Gill, Noam Lifshitz, László Pyber and Endre Szabó, “Initiating the proof of the Liebeck–Nikolov–Shalev conjecture”, arXiv:2408.07800 (2024).

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.