Positivity of the symmetric group characters is as hard as the polynomial time hierarchy
Christian Ikenmeyer, Igor Pak, Greta Panova
Abstract
We prove that deciding the vanishing of the character of the symmetric group is C = P-complete. We use this hardness result to prove that the absolute value and also the square of the character are not contained in #P, unless the polynomial hierarchy collapses to the second level. This rules out the existence of any (unsigned) combinatorial description for the square of the characters. As a byproduct of our proof we conclude that deciding positivity of the character is PP-complete under many-one reductions, and hence PH-hard under Turing-reductions.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 9657efda-f80f-4198-bb0e-90759ebc7d19Cited by top-tier papers3
- Vanishing of Schubert CoefficientsIgor Pak, Colleen RobichauxSTOC 2025 · 1 citation
- Equality Cases of the Alexandrov-Fenchel Inequality Are Not in the Polynomial HierarchySwee Hong Chan, Igor PakSTOC 2024 · 1 citation
- Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure MathematicsHerman Chau, Helen Jenne, Davis Brown, Jesse He et al.ICML 2025
Builds on1
Related papers
- Exponential improvements to the average-case hardness of BosonSamplingAdam Bouland, Ishaun Datta, Bill Fefferman, Felipe HernandezFOCS 2025 · 1 citation
- On approximability of satisfiable k-CSPs: IAmey Bhangale, Subhash Khot, Dor MinzerSTOC 2022 · 23 citations
- Dichotomy for Graph Homomorphisms with Complex Values on Bounded Degree GraphsJin-Yi Cai, Artem GovorovFOCS 2020 · 1 citation
- Dot-depth three, return of the J-classThomas Place, Marc ZeitounLICS 2024 · 4 citations
- Lower Bounds in Algebraic Complexity via Symmetry and Homomorphism PolynomialsPrateek Dwivedi, Benedikt Pago, Tim SeppeltSTOC 2026 · 3 citations
