The asymmetric growth conjecture

At least 1 year old · documented by

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. Asymmetric growth conjecture. For every δ>0\delta>0 there exists ϵ>0\epsilon>0 such that, whenever ∣B∣≤∣S∣1−δ|B|\le |S|^{1-\delta}, there is some g∈Sg\in S for which

∣BAg∣≥∣B∣⋅∣A∣ϵ.|BA^g|\ge |B|\cdot |A|^\epsilon.

This conjecture is known when AA is a normal subset and for finite simple groups of Lie type, but remains open for alternating groups.

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.