[論文レビュー] Geometric Complexity III: on deciding positivity of Littlewood-Richardson coefficients

Ketan Mulmuley, Milind A. Sohoni|ArXiv.org|Jan 26, 2005

Algebraic structures and combinatorial models参考文献 10被引用数 14

ひとこと要約

この論文は、$GL_n(\mathbb{C})$ におけるリトルウッド・リッチャードソン係数の正性を決定すること——つまり、与えられた完全可約表現が他の2つの表現のテンソル積に現れるかどうか——がPに属することを確立している。これは、クヌートソン＝トーラーの飽和定理と多項式時間の線形計画法を用いる。この結果は、幾何学的複雑性理論における「フラップ」哲学の、初めての明確な証拠を提供する。

ABSTRACT

We point out that the remarkable Knutson and Tao Saturation Theorem and polynomial time algorithms for LP have together an important and immediate consequence in Geometric Complexity Theory. The problem of deciding positivity of Littlewood-Richardson coefficients for GLn(C) belongs to P. Furthermore, the algorithm is strongly polynomial. The main goal of this article is to explain the significance of this result in the context of Geometric Complexity Theory. Furthermore, it is also conjectured that an analogous result holds for arbitrary symmetrizable Kac-Moody algebras.

研究の動機と目的

• GL_n(\mathbb{C}) におけるリトルウッド・リッチャードソン係数の正性を決定することがPに属することを確立し、幾何学的複雑性理論（GCT）の基盤的支援を提供すること。
• 表現論的存在問題の主要な例である部分群制限問題が、効率的に決定可能であることを示すこと。
• 組合せ的線形計画法と飽和定理を活用して、正性テストの強多項式時間アルゴリズムを提供すること。
• 類似した結果が可対称Kac-Moody代数に対しても成り立つと仮定すること、$GL_n(\mathbb{C})$ を超える枠組みへの拡張を図ること。
• ペリスムやカジマン＝ルシュチグ多項式を含む、表現論における正性問題のさらなる研究を促すこと、これらが実際に解ける可能性があると示唆すること。

提案手法

• 整数変数 $r_j^i$ に関する組合せ的制約によって定義される多面体 $P$ 上での線形計画問題（LP）として正性問題を定式化する。
• クヌートソン＝トーラーの飽和定理を用いて、$P$ の空でない性質が、$P$ 内に整数点が存在することを保証し、したがって係数の正性が保証されることを示す。
• 多項式時間の線形計画法アルゴリズム（例：楕円体法や内点法）を適用して、$P$ の空でない性質をテストする。
• ターダスのアルゴリズムを用いて、入力サイズのビット長に依存しない強多項式時間の複雑度を達成する。
• 制約行列 $A$ の要素が \{0, 1, -1\} に属し、右辺 $b$ が $\alpha, \beta, \gamma$ の同次整数線形形式であるという事実に依存する。
• $b$ の同次性を用いて、ある $q$ に対して $c_{q\alpha,q\beta}^{q\gamma} > 0$ であるかどうかのチェックに問題を還元し、飽和性により $c_{\alpha,\beta}^{\gamma} > 0$ が導かれる。

実験結果

リサーチクエスチョン

• RQ1 GL_n(\mathbb{C}) に対して、リトルウッド・リッチャードソン係数の正性を多項式時間で決定できるか？
• RQ2 飽和定理により、正性問題が有理多面体の空でない性質のテストに還元可能か？
• RQ3 リトルウッド・リッチャードソン係数の正性を決定する強多項式時間アルゴリズムは存在するか？
• RQ4 この結果は、任意の可対称Kac-Moody代数へ一般化可能か？
• RQ5 線形計画法を避ける純粋な組合せ的アルゴリズムは存在するか？

主な発見

• GL_n(\mathbb{C}) におけるリトルウッド・リッチャードソン係数 $c_{\alpha,\beta}^{\gamma}$ の正性を決定する問題は、$n$ および $\alpha, \beta, \gamma$ のビット長に多項式時間で解ける。
• ターダスのアルゴリズムにより保証されるように、アルゴリズムは強多項式時間である。
• ハニーコムまたはハイブ制約によって定義される多面体 $P$ の空でない性質は、$P$ 内に整数点が存在することを示し、したがって係数の正性が保証される。
• この結果は、クヌートソン＝トーラーの飽和定理と多項式時間の線形計画法の組み合わせによって導かれる。
• 多面体 $P$ が整数的である必要はなく、頂点が有理数であってもよいので、証明は整数性ではなく飽和性に依存する。
• 著者らは、可対称Kac-Moody代数における一般化されたリトルウッド・リッチャードソン係数に対しても同様の多項式時間アルゴリズムが存在すると仮定しているが、タイプ $B, C, D$ では飽和予想が成り立たない。