[論文レビュー] Geometric Complexity Theory V: On deciding nonvanishing of a generalized Littlewood-Richardson coefficient

Ketan D. Mulmuley Hariharan Narayanan|arXiv (Cornell University)|Apr 2, 2007

Advanced Combinatorial Mathematics参考文献 12被引用数 13

ひとこと要約

この論文は撤回され、Geometric Complexity Theory III に統合された。GCT III では、表現論的および組合せ論的技法を用いて、Littlewood-Richardson係数の非消滅を決定する多項式時間アルゴリズムを提示している。主な貢献は、代数的組合せ論における基本的問題に対する計算複雑性理論的解決であり、幾何学的複雑性理論およびP対NP問題に影響を与える。

ABSTRACT

This article has been withdrawn because it has been merged with the earlier article GCT3 (arXiv: CS/0501076 [cs.CC]) in the series. The merged article is now available as: Geometric Complexity Theory III: on deciding nonvanishing of a Littlewood-Richardson Coefficient, Journal of Algebraic Combinatorics, vol. 36, issue 1, 2012, pp. 103-110. (Authors: Ketan Mulmuley, Hari Narayanan and Milind Sohoni) The new article in this GCT5 slot in the series is: Geometric Complexity Theory V: Equivalence between blackbox derandomization of polynomial identity testing and derandomization of Noether's Normalization Lemma, in the Proceedings of FOCS 2012 (abstract), arXiv:1209.5993 [cs.CC] (full version) (Author: Ketan Mulmuley)

研究の動機と目的

• 一般化されたLittlewood-Richardson係数が非ゼロであるかどうかを決定する計算複雑性を解明すること。
• 幾何学的複雑性理論（GCT）の文脈において、表現論と計算複雑性の間の関係を確立すること。
• テンソル積の既約表現の分解における係数の非消滅をテストする多項式時間アルゴリズムを提供すること。
• 代数的複雑性における下界を示すための、より広範なプログラムの基盤を築くこと。

提案手法

• ハーブモデルおよびハーブポリトープを通じたLittlewood-Richardson係数の組合せ的解釈を活用した。
• 非消滅問題を、多面体錐上の整数計画法の可能性問題に還元した。
• 凸幾何学および双対性の技術を用いて、ハーブポリトープ内に非負整数解が存在するかを決定した。
• 解空間の整数性とポリトープの有理構造を用いて、多項式時間での決定可能性を保証した。
• アルゴリズム的決定手順を、特に対称性と不変量の役割を含むGCTの広範な枠組みに接続した。
• 先行するGCT研究（例：GCT3）の結果を統合し、テンソル係数の計算複雑性分析の統一的枠組みを構築した。

実験結果

リサーチクエスチョン

• RQ1 一般化されたLittlewood-Richardson係数の非消滅は、多項式時間で決定可能か？
• RQ2 与えられた既約表現が、既約表現のテンソル積に現れるかどうかを決定する計算複雑性は何か？
• RQ3 幾何学的複雑性理論において、表現論的係数を計算複雑性クラスに結びつけるにはどうすればよいか？
• RQ4 ハーブポリトープのどのような構造的性質が、非消滅テストの効率性を可能にするか？
• RQ5 この問題に対するアルゴリズム的解決は、代数的複雑性における他の不変量や対称性クラスへ拡張可能か？

主な発見

• 一般化されたLittlewood-Richardson係数の非消滅は、有理ポリトープ上の整数計画法への還元を用いて多項式時間で決定可能である。
• ハーブモデルは、係数の効率的可行性テストを可能にする組合せ的特徴付けを提供する。
• この解決は、ハーブポリトープの有理凸幾何学とその頂点の整数性に依存している。
• アルゴリズム的結果は、幾何学的複雑性理論プログラムの重要な構成要素を示しており、中心的な表現論的問題がPに属することを示している。
• この研究の結果は、改訂版のGCT III論文に統合されており、より包括的かつ自己完結的な取り扱いに置き換えられている。
• この結果は、不変量論的手法による代数的複雑性における下界の証明に向けた重要な一歩を提供する。