Zero-free columns in character tables of symmetric groups
arXiv:2608.27718
Abstract
The rows and columns of the character table of the symmetric group are both naturally indexed by partitions of . Let denote the number of conjugacy classes of whose column contains no zero entry. The identity column is always zero-free, so . It is known that . We prove that . Second, we prove for almost all positive integers that for every , with a quantitative bound for the exceptional set, using work of Matomäki and Radziwill. Finally, we offer a heuristic supporting our conjecture that . AxiomProver formalized the results in this paper in Lean assuming preexisting literature.
Comments welcome!