
arXiv: 2310.18107
Abstract We study covering numbers of subsets of the symmetric group $S_n$ that exhibit closure under conjugation, known as normal sets. We show that for any $\epsilon>0$ , there exists $n_0$ such that if $n>n_0$ and A is a normal subset of the symmetric group $S_n$ of density $\ge e^{-n^{2/5 - \epsilon }}$ , then $A^2 \supseteq A_n$ . This improves upon a seminal result of Larsen and Shalev (Inventiones Math., 2008), with our $2/5$ in the double exponent replacing their $1/4$ . Our proof strategy combines two types of techniques. The first is ‘traditional’ techniques rooted in character bounds and asymptotics for the Witten zeta function, drawing from the foundational works of Liebeck–Shalev, Larsen–Shalev, and more recently, Larsen–Tiep. The second is a sharp hypercontractivity theorem in the symmetric group, which was recently obtained by Keevash and Lifshitz. This synthesis of algebraic and analytic methodologies not only allows us to attain our improved bounds but also provides new insights into the behavior of general independent sets in normal Cayley graphs over symmetric groups.
Symmetric groups, Extremal set theory, Representations of finite symmetric groups, Group Theory (math.GR), covering, Cayley graph, character, 05D05, independent set, spreadness, QA1-939, level-d inequality, FOS: Mathematics, Mathematics - Combinatorics, normal set, Combinatorics (math.CO), Representation Theory (math.RT), 20C30, 20B30, Mathematics - Group Theory, Mathematics, hypercontractivity, Mathematics - Representation Theory, Conjugacy classes for groups
Symmetric groups, Extremal set theory, Representations of finite symmetric groups, Group Theory (math.GR), covering, Cayley graph, character, 05D05, independent set, spreadness, QA1-939, level-d inequality, FOS: Mathematics, Mathematics - Combinatorics, normal set, Combinatorics (math.CO), Representation Theory (math.RT), 20C30, 20B30, Mathematics - Group Theory, Mathematics, hypercontractivity, Mathematics - Representation Theory, Conjugacy classes for groups
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
