Fritzsche–Külshammer–Reiche character-theoretic formula for the base size of Sn,k{\rm S}_{n,k}

Let n2kn\geq 2k, let G=Sn,kG={\rm S}_{n,k}, and let HH be a point stabiliser of GG. Write b(G)b(G) for the base size of the permutation group GG, let K(G,H)\mathcal{K}(G,H) be the Külshammer graph of GG with respect to HH, let Diam(K(G,H))\operatorname{Diam}(\mathcal{K}(G,H)) denote its diameter, and let 1H1_H and sgn ⁣H\operatorname{sgn}\!\downarrow_H denote respectively the trivial character of HH and the restriction to HH of the sign character. If d(α,β)d(\alpha,\beta) denotes graph distance in K(G,H)\mathcal{K}(G,H), then Fritzsche–Külshammer–Reiche's conjecture.

b(G)=Diam(K(G,H))+1=d(1H,sgn ⁣H)+1.b(G)=\operatorname{Diam}(\mathcal{K}(G,H))+1=d(1_H,\operatorname{sgn}\!\downarrow_H)+1.

This conjecture proposes an alternative character-theoretic formula for the base size in terms of the Külshammer graph; the cited work of Fritzsche, Külshammer, and Reiche is presented as the source of the conjecture, and no resolution is given here.

Sources & referencesView supporting material

Primary source

Coen del Valle, “A character theoretic formula for base size II”, arXiv:2504.07832 (2025).

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.