[論文レビュー] On geometric complexity theory: Multiplicity obstructions are stronger than occurrence obstructions

Julian Dörfler, Christian Ikenmeyer+1 more|arXiv (Cornell University)|Jan 14, 2019

Polynomial and algebraic computation被引用数 4

ひとこと要約

この論文は、幾何的複雑度理論における表現論的多重度障害が、出現障害よりも厳密に強い最初の証明可能な分離を、表現論的多重度障害と出現障害の比較によって確立した。チャウ多様体（線形形式の積の多様体）と境界ワーリングランクが有界な多項式の多様体に対して、出現障害が失敗する場合でも多重度障害が多様体を分離できることを示し、出現障害よりも多重度が厳密に強い力を発揮する明確な設定を提供している。

ABSTRACT

Geometric Complexity Theory as initiated by Mulmuley and Sohoni in two papers (SIAM J Comput 2001, 2008) aims to separate algebraic complexity classes via representation theoretic multiplicities in coordinate rings of specific group varieties. The papers also conjecture that the vanishing behavior of these multiplicities would be sufficient to separate complexity classes (so-called occurrence obstructions). The existence of such strong occurrence obstructions has been recently disproven in 2016 in two successive papers, Ikenmeyer-Panova (Adv. Math.) and B\\"urgisser-Ikenmeyer-Panova (J. AMS). This raises the question whether separating group varieties via representation theoretic multiplicities is stronger than separating them via occurrences. This paper provides for the first time a setting where separating with multiplicities can be achieved, while the separation with occurrences is provably impossible. Our setting is surprisingly simple and natural: We study the variety of products of homogeneous linear forms (the so-called Chow variety) and the variety of polynomials of bounded border Waring rank (i.e. a higher secant variety of the Veronese variety). As a side result we prove a slight generalization of Hermite's reciprocity theorem, which proves Foulkes' conjecture for a new infinite family of cases.

研究の動機と目的

• 幾何的複雑度理論において、多重度障害が出現障害よりも厳密に強いことを証明するというスコット・アーロンソンの未解決問題を解消すること。
• 多重度障害が分離に成功するが出現障害が失敗する自然な代数幾何学的設定を同定すること。
• フールクスの予想を新たな無限族のケースで解消する一般化されたエルミート双対性定理を証明すること。
• 表現論的多重度が出現障害による分離では達成できない、幾何的複雑度理論における最初の明示的例を提供すること。

提案手法

• 著者たちは、m 個の変数におけるn次の同次多項式の空間におけるGL_mの作用を分析し、2つのGL_m不変部分多様体に注目する：チャウ多様体とヴェロネーゼ多様体の高次セカント多様体。
• チャウ多様体とワーリングランク多様体の座標環における既約表現の表現論的多重度を、特徴関数論と対称関数技法を用いて比較する。
• 主な技術的道具は、エルミートの双対性定理の一般化であり、著者たちはこの一般化を用いて2つの多様体の座標環における多重度を計算・比較できる。
• 以前の研究（Ikenmeyer-Panova および Bürgisser-Ikenmeyer-Panova）で示されたように、出現障害基準が失敗する一方で、チャウ多様体の座標環における非ゼロの多重度のおかげで、多重度障害基準が成功することを示した。
• 証明は、チャウ多様体の座標環が非ゼロの多重度を持つ特定の既約表現を含むが、ワーリングランク多様体の座標環にはそのような表現が存在しない、という事実に依拠している。これは、両者がGL_m多様体であるにもかかわらず成り立つ。
• 対称多項式の構造とプレティズム係数を用いて、チャウ多様体の設定において多重度障害が非ゼロであることを確立した。

実験結果

リサーチクエスチョン

• RQ1 幾何的複雑度理論における多重度障害が、いかなる自然な設定でも出現障害よりも厳密に強いと言えるか？
• RQ2 2つの多様体が対称的構成によって定義されていても、一方のGL_m多様体の座標環に非ゼロの多重度を持つ既約表現が存在し、他方には存在しないような設定は存在するか？
• RQ3 一般化されたエルミート双対性定理は、フールクスの予想の新たなケースを導くか？
• RQ4 出現障害の失敗は、チャウ多様体の座標環における多重度を考察することで克服できるか？
• RQ5 多重度障害が成功するが出現障害が失敗する、証明可能な最小の設定は存在するか？

主な発見

• この論文は、チャウ多様体とヴェロネーゼ多様体の高次セカント多様体という2つのGL_m多様体を分離する、多重度障害が機能するが出現障害が失敗する最初の既知の例を構築した。
• 著者たちは、チャウ多様体の座標環が非ゼロの多重度を持つ特定の既約表現を含むが、ワーリングランク多様体の座標環にはそのような表現が存在しないことを証明し、多重度による厳密な分離を確立した。
• 一般化されたエルミート双対性定理が証明され、これは対称関数論における既知の結果を新たな無限族のケースにまで拡張した。
• この設定において、多重度障害基準が出現障害基準よりも厳密に強いことが示され、スコット・アーロンソンの問いに肯定的に答えている。
• 分離は、驚くほど単純で自然な幾何的設定で達成されている：線形形式の積の多様体と、境界ワーリングランクが有界な多項式の多様体の比較である。
• 結果は、座標環における表現論的多重度が、幾何的複雑度理論において単なる出現条件よりも強力な分離ツールを提供できることを示している。