Lune

SODA2023Top-tier venue

Positivity of the symmetric group characters is as hard as the polynomial time hierarchy

Christian Ikenmeyer, Igor Pak, Greta Panova

2023Year
5Citations
3Top-tier citations

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.

Questions to start from

Your agent calls

Luneget_paper_fulltext

Ask in Lune

Free to start. No credit card required.

lune papers fulltext 9657efda-f80f-4198-bb0e-90759ebc7d19

Cited by top-tier papers3

Ask how each one uses it

Builds on1

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines