[論文レビュー] Complexity and Completeness of Immanants

Jean-Luc Brylinski, Ranee Brylinski|ArXiv.org|Jan 23, 2003

Advanced Graph Theory Research参考文献 8被引用数 10

ひとこと要約

本稿では、δ > 0 に対して Ω(n^δ) の分離を示すヤング図形の族と関連するインマナントが VNP-完全であることを証明しており、ヴァリオンのパーマネント完全性結果を一般化している。著者らは、最大行長差としての分離パラメータをキーメジャーとして導入し、高い分離が計算の困難さをもたらすことを示しており、新規の証明を用いてブールギッサーの予想を広範なインマナント族族に対して確認している。

ABSTRACT

Immanants are polynomial functions of n by n matrices attached to irreducible characters of the symmetric group S_n, or equivalently to Young diagrams of size n. Immanants include determinants and permanents as extreme cases. Valiant proved that computation of permanents is a complete problem in his algebraic model of NP theory, i.e., it is VNP-complete. We prove that computation of immanants is VNP-complete if the immanants are attached to a family of diagrams whose separation is $Ω(n^δ)$ for some $δ>0$. We define the separation of a diagram to be the largest number of overhanging boxes contained in a single row. Our theorem proves a conjecture of Buergisser for a large variety of families, and in particular we recover with new proofs his VNP-completeness results for hooks and rectangles.

研究の動機と目的

• 構造的複雑性が顕著な分割の族に対して、ブールギッサーのインマナントの VNP-完全性に関する予想を解明すること。
• ヴァリオンの代数的複雑性モデルにおけるインマナントの計算の困難さを決定づける、正確な組合せ的パラメータ「分離」を同定すること。
• 分離パラメータを用いて、ヘイクスおよび長方形に関する先行の VNP-完全性結果を統一的に再証明すること。
• インマナント族がパーマネント族へと射影可能である一般基準を確立することにより、VNP-完全性を示すこと。

提案手法

• ヤング図形の分離を、連続する行長の最大差として定義し、k = max_i(λ_i - λ_{i+1}) と定める。
• インマナントの射影性を用いる：IM_λ(A ⊕ P_q) = ∑_η (-1)^{r(λ,η)} IM_η(A)，ここで P_q は q-サイクル置換行列である。
• 対称関数係数との関係を確立するため、スキュール関数の展開 s_α p_q = ∑_λ f^λ_α s_λ を適用する。
• λ の分離が k であるとき、IM_λ が PER_k へ射影されることを、リトルウッド＝リチャードソン則を用いて示す。
• k(t(n)) ≥ n となる関数 t(n) = O(n^{1/δ}) を構成し、IM_λ^{(t(n))} が PER_n へ射影されることを保証する。
• VNP が射影および多項式時間還元に関して閉じていることを利用し、インマナント族の VNP-完全性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 ヤング図形の族がどのような条件下で、対応するインマナント族が VNP-完全になるか？
• RQ2 分離パラメータ（最大行長差）がインマナントの VNP-完全性の十分条件として機能できるか？
• RQ3 幅が Ω(n^δ) であるインマナントが、より洗練された分離パラメータのもとでブールギッサーの予想に従うか？
• RQ4 ヘイクスおよび長方形の VNP-完全性は、分離に基づく統一的証明枠組みで再構築可能か？

主な発見

• インマナント族 (IM_λ^{(n)}) は、λ^{(n)} の分離 k(n) が k(n) = Ω(n^δ)（ある δ > 0 に対して）を満たすとき、VNP-完全である。
• 分離パラメータ k(n) は VNP-完全性の十分条件であり、ヘイクスおよび長方形に関する先行結果を一般化している。
• 本稿では、スプライス・ホックを除いた分割の符号付き和を含む射影式を介して、IM_λ が λ の分離 k に対して PER_k へ射影されることを確立している。
• k(t(n)) ≥ n となる関数 t(n) = O(n^{1/δ}) が存在し、これにより IM_λ^{(t(n))} が PER_n へ射影可能である。このことから、パーマネントからインマナント族への還元が可能になる。
• 証明により、ブールギッサーの予想が、分離が n に対して多項式的に増加するすべての族を含む広範なクラスについて確認された。
• 本稿の結果は、ヘイクスおよび長方形に関する先行の VNP-完全性結果を、分離パラメータを用いて新規かつ統一的な証明で再構築している。