Character theory of symmetric groups, subgroup growth of Fuchsian groups, and random walks. (Q2370623)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Character theory of symmetric groups, subgroup growth of Fuchsian groups, and random walks. |
scientific article |
Statements
Character theory of symmetric groups, subgroup growth of Fuchsian groups, and random walks. (English)
0 references
29 June 2007
0 references
The authors develop a number of statistical aspects of symmetric groups, mostly dealing with the distribution of cycles in various subsets of \(S_n\), asymptotic properties of characters of symmetric groups and estimates for the multiplicities of the root number functions of these groups. Many relevant applications are presented. One of these is a proof of a well known conjecture of Roichman concerning the mixing time of random walks on symmetric groups. Let \(c\) be a non-trivial conjugacy class in \(S_n\), denote by \(t_1(c)\) the least even integer such that \(t_1(c)\) elements chosen at random from \(c\) have, with probability at least \(1-1/n\), no common fixed point, and let \(t_2(c)\) be the mixing time for the random walk generated by \(c\): then, for \(n\) large enough, \(t_1(c)\leq t_2(c)\leq 10t_1(c)\). The other main applications are related with Fuchsian groups and their subgroup growth. An asymptotic estimate is given for the number \(s_n(\Gamma)\) of subgroups of index \(n\) in a Fuchsian group \(\Gamma\). Moreover the authors prove a finiteness result for the number of Fuchsian presentations for such a group, which resolves a long-standing problem of Roger Lyndon: each Fuchsian group \(\Gamma\) has only finitely many presentations of the form \(\Gamma=\langle x_1,\dots,x_r,y_1,\dots,y_r,u_1,v_1,\dots,u_t,v_t\mid x_1^{a_1}=\cdots=x_r^{a_r}=x_1\cdots x_ry_1^{e_1}\cdots y_s^{e_s}[u_1,v_1]\cdots[u_t,v_t]=1\rangle\). Moreover there are at most finitely many non-isomorphic Fuchsian groups \(\Delta\) with \(s_n(\Gamma)=s_n(\Delta)(1+\mathcal O(n^{-A}))\) for every \(A>0\).
0 references
subgroup growth
0 references
Fuchsian groups
0 references
Fuchsian presentations
0 references
one-relator groups
0 references
Demushkin groups
0 references
character theory
0 references
symmetric groups
0 references
asymptotic expansions
0 references
method of moments
0 references
distributions of cycles
0 references
multiplicities of root number functions
0 references
mixing times of random walks
0 references