Zero-free columns in character tables of symmetric groups
Colin Defant, Sidharth Hariharan, Kenny Lau, Ken Ono
Source 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.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.