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

About 1 year old · traced to

Let n≥2kn\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.

References

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.