The small-set 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. Small-set asymmetric growth conjecture. For every ϵ>0\epsilon>0 there exists δ>0\delta>0 such that, whenever B,ASδ|B|,|A|\le |S|^\delta, there is some gSg\in S for which

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

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.