The asymmetric growth conjecture

Let SS be a non-abelian finite simple group, and let A,BA,B be subsets of SS. For gSg\in S, write Ag=g1AgA^g=g^{-1}Ag. Asymmetric growth conjecture. For every δ>0\delta>0 there exists ϵ>0\epsilon>0 such that, whenever BS1δ|B|\le |S|^{1-\delta}, there is some gSg\in S for which

BAgBAϵ.|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.

Sources & referencesView supporting material

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.