[論文レビュー] Positivity of the symmetric group characters is as hard as the polynomial time hierarchy

Christian Ikenmeyer, Igor Pak+1 more|arXiv (Cornell University)|Jul 12, 2022

semigroups and automata theory参考文献 60被引用数 6

ひとこと要約

この論文は、対称群の非可約特徴標の消滅または正性を決定することは、多項式階層に属する問題と同程度に計算的に困難であることを確立している。特徴標の消滅を決定することはC=P-完全であり、特徴標の二乗が#Pに属さない限り、特徴標の二乗に対する正の組合せ的解釈はあり得ない。

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 the square of the character is 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.

研究の動機と目的

• 対称群の非可約特徴標が消えるかどうかを決定する問題の計算量的複雑性を特定すること。
• 対称群特徴標の二乗が、正の組合せ的解釈をもつ可能性を調査すること。
• 標準的な複雑性理論的仮定の下で、特徴標の正性および消滅の正確な複雑性クラスを確立すること。
• 特徴標の二乗が#Pに属さないという事実が、組合せ的表現論における根本的な制限を示すこと。

提案手法

• 既知のC=P-完全問題から、対称群特徴標の消滅問題への還元。
• ムルナガハノ・ナカヤマの法則とリムフック・テーブルックスを用いて、符号付き和として特徴標値を分析。
• リトルウッド＝リチャードソンの法則と多面体的解釈を適用し、特徴標の数え上げを整数点の集合に結びつける。
• トーダの定理とPPおよびC=Pの閉包性質を活用し、チューリング還元および多対一還元の下での下界を導出。
• 特徴標値が符号付きテーブルックスの和に結びつくような、置換と分割の族を構築し、下界の証明を可能にする。
• 特徴標の二乗がGapPには属するが、PHが崩壊しない限り#Pに属さないという事実を用いる。これはcoNP = C=Pの仮定に基づく。

実験結果

リサーチクエスチョン

• RQ1 対称群特徴標が消えるかどうかを決定する問題は#Pに属するか、それ以上に難しいか？
• RQ2 対称群特徴標の二乗を、正の方法で組合せ的対象の数として表現できるか？
• RQ3 対称群特徴標の正性問題の正確な複雑性クラスは何か？
• RQ4 特徴標の二乗が#Pに属さないということは、組合せ的解釈に対する根本的な障害を示唆するか？
• RQ5 これらの複雑性結果が、代数的組合せ論における双対的証明の存在に与える影響は何か？

主な発見

• 対称群特徴標が消えるかどうかを決定する問題は、多対一還元の下でC=P-完全である。
• 対称群特徴標の二乗は、多項式階層が第二レベルに崩壊しない限り#Pに属さない。
• 対称群特徴標の正性は、多対一還元の下でPP-完全であり、チューリング還元の下ではPH-ハードである。
• この結果は、特徴標の二乗に対して、いかなる正の組合せ的解釈も存在しないことを示唆する。
• 特徴標計算問題は、#Pを超える計算的困難性を示す強力なGapP-完全性を持つ。
• PH ≠ Σ₂^pを仮定すれば、特徴標の二乗の等価性に関する多項式時間証明は、たとえ値が異なる場合でも存在しない。