Current browse context:
math.GR
Change to browse by:
References & Citations
Mathematics > Group Theory
Title: Aldous' Spectral Gap Conjecture for Normal Sets
(Submitted on 8 Apr 2018 (v1), last revised 26 Jul 2020 (this version, v3))
Abstract: Let $S_n$ denote the symmetric group on $n$ elements, and $\Sigma\subseteq S_{n}$ a symmetric subset of permutations. Aldous' spectral gap conjecture, proved by Caputo, Liggett and Richthammer [arXiv:0906.1238], states that if $\Sigma$ is a set of transpositions, then the second eigenvalue of the Cayley graph $\mathrm{Cay}\left(S_{n},\Sigma\right)$ is identical to the second eigenvalue of the Schreier graph on $n$ vertices depicting the action of $S_{n}$ on $\left\{ 1,\ldots,n\right\}$. Inspired by this seminal result, we study similar questions for other types of sets in $S_{n}$. Specifically, we consider normal sets: sets that are invariant under conjugation. Relying on character bounds due to Larsen and Shalev [2008], we show that for large enough $n$, if $\Sigma\subset S_{n}$ is a full conjugacy class, then the second eigenvalue of $\mathrm{Cay}\left(S_{n},\Sigma\right)$ is roughly identical to the second eigenvalue of the Schreier graph depicting the action of $S_{n}$ on ordered $4$-tuples of elements from $\left\{ 1,\ldots,n\right\}$. We further show that this type of result does not hold when $\Sigma$ is an arbitrary normal set, but a slightly weaker one does hold. We state a conjecture in the same spirit regarding an arbitrary symmetric set $\Sigma\subset S_{n}$, which yields surprisingly strong consequences.
Submission history
From: Doron Puder [view email][v1] Sun, 8 Apr 2018 23:43:36 GMT (21kb)
[v2] Sun, 8 Jul 2018 08:56:31 GMT (21kb)
[v3] Sun, 26 Jul 2020 11:32:30 GMT (23kb)
Link back to: arXiv, form interface, contact.