[論文レビュー] Permanent versus determinant, obstructions, and Kronecker coefficients

Peter Bürgisser|arXiv (Cornell University)|Nov 25, 2015

Advanced Combinatorial Mathematics参考文献 39被引用数 8

ひとこと要約

本稿は、表現論的障害とクライネッカー係数を焦点に、幾何学的複雑性理論を通じて恒等式と行列式の問題を調査する。以前はVP ≠ VNPの証明に有望とされた出現障害は、主要なプレティズム成分におけるクライネッカー係数の非消滅により成功しないことが示され、行列式の複雑性における超多項式的下界を導くこのアプローチは、実質的に排除される。

ABSTRACT

We give an introduction to some of the recent ideas that go under the name "geometric complexity theory". We first sketch the proof of the known upper and lower bounds for the determinantal complexity of the permanent. We then introduce the concept of a representation theoretic obstruction, which has close links to algebraic combinatorics, and we explain some of the insights gained so far. In particular, we address very recent insights on the complexity of testing the positivity of Kronecker coefficients. We also briefly discuss the related asymptotic version of this question.

研究の動機と目的

• 代数的複雑性理論におけるVPとVNPの分離に、表現論的障害を用いる可能性を調査すること。
• 恒等式対行列式問題における障害ベースのアプローチにおいて、クライネッカー係数が果たす役割を分析すること。
• クライネッカー係数の正の性質が、VP ≠ VNPの証明に向かって進展を妨げるか、あるいは促進するかを特定すること。
• 行列式の複雑性の下界という文脈において、出現障害の限界を評価すること。
• 最近のプレティズムおよびGCT係数に関する結果が、複雑性の分離を証明するという広範なプログラムに与える影響を評価すること。

提案手法

• GL(n²)の作用の下での恒等式および行列式多項式の軌道閉包を分析するために、幾何学的複雑性理論（GCT）を用いる。
• 座標環の軌道閉包における既約表現の重複度を、最高重みベクトルとプレティズムに注目して、表現論を適用する。
• ヤング盤および内容がd×nの盤を用いた組合せ論的技法を用い、対称冪における最高重みベクトルの生成系を符号化する。
• プレティズム係数の安定性に着目し、最高重みベクトルの内次数nの増加に伴う「リフト」技術を導入する。
• ランク1テンソルにおけるこれらのベクトルの評価を通じて、クライネッカー係数の非消滅を決定する。
• 分割技術と漸近的解析を組み合わせ、特定の制約下でプレティズムの正の性質が、標準的およびGCT係数の両方の正の性質を示すことを証明する。

実験結果

リサーチクエスチョン

• RQ1 クライネッカー係数に基づく出現障害を用いて、恒等式の行列式の複雑性における超多項式的下界を証明できるか？
• RQ2 軌道閉包の包含関係の文脈において、プレティズム係数とGCT係数の関係は何か？
• RQ3 恒等式対行列式問題に関連する長方形分割において、クライネッカー係数がいつ正のままであるか？
• RQ4 クライネッカー係数の正の性質を活用して、幾何学的複雑性理論を用いてVP ≠ VNPの証明を構築できるか？
• RQ5 最近のプレティズムおよびGCT係数に関する結果は、複雑性下界における表現論的障害の使用を、どの程度排除するか？

主な発見

• 出現障害によるVP ≠ VNPの証明は排除される。IkenmeyerとPanovaは、n > 3m⁴のとき、必要な制約下でプレティズムの正の性質がクライネッカー係数の正の性質を示すと示している。
• GCT係数のアプローチも排除される。Bürgisser、Ikenmeyer、Panovaは、n > m²⁵のとき、プレティズムの正の性質がGCT係数の正の性質を示すと証明しており、この道筋は無効である。
• これらの結果は、d×nの内容を持つ盤によるプレティズムにおける最高重みベクトルの符号化と、ランク1テンソルにおけるそれらの評価の分析に依存している。
• 内次数nの増加に伴う最高重みベクトルのリフト技術は、プレティズム係数の安定性を確立するために中心的な役割を果たす。
• 軌道閉包Ωₙに関する唯一の情報は、特定のパッド付き累乗和を含むことである。これは、議論の堅牢性を示している。
• 出現障害が排除されたとしても、重複度に基づく障害、あるいは明示的な最高重みベクトル関数が依然として複雑性の分離をもたらす可能性は残っている。