Positivity of the symmetric group characters is as hard as the polynomial time hierarchy
Christian Ikenmeyer, Igor Pak, Greta Panova
2023年份
5被引次数
3顶会引用
摘要
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.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
引用它的顶会 Paper3
- Vanishing of Schubert CoefficientsIgor Pak, Colleen RobichauxSTOC 2025 · 被引用 1 次
- Equality Cases of the Alexandrov-Fenchel Inequality Are Not in the Polynomial HierarchySwee Hong Chan, Igor PakSTOC 2024 · 被引用 1 次
- Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure MathematicsHerman Chau, Helen Jenne, Davis Brown, Jesse He 等ICML 2025
它引用的顶会 Paper1
相关 Paper
- Exponential improvements to the average-case hardness of BosonSamplingAdam Bouland, Ishaun Datta, Bill Fefferman, Felipe HernandezFOCS 2025 · 被引用 1 次
- On approximability of satisfiable k-CSPs: IAmey Bhangale, Subhash Khot, Dor MinzerSTOC 2022 · 被引用 23 次
- Dichotomy for Graph Homomorphisms with Complex Values on Bounded Degree GraphsJin-Yi Cai, Artem GovorovFOCS 2020 · 被引用 1 次
- Dot-depth three, return of the J-classThomas Place, Marc ZeitounLICS 2024 · 被引用 4 次
- Lower Bounds in Algebraic Complexity via Symmetry and Homomorphism PolynomialsPrateek Dwivedi, Benedikt Pago, Tim SeppeltSTOC 2026 · 被引用 3 次
