[論文レビュー] On Read-k Projections of the Determinant

Christian Ikenmeyer, J. M. Landsberg|arXiv (Cornell University)|Oct 1, 2016

Advanced Graph Theory Research参考文献 11被引用数 3

ひとこと要約

本稿は、行列式の行列的複雑度に関する未解決問題を解消し、m×m 行列式の正則行列的複雑度が O(m³) であることを証明することで、m ≥ 3 の場合に恒等的恒等式 permm はランク1の行列的表現をもたないことを示し、反復行列乗算、代数的分岐プログラム、行列的複雑度といった主要な代数的複雑度測度の間の正確な多項式的同等性を確立する。

ABSTRACT

We answer a question in [Landsberg, Ressayre, 2015], showing the regular determinantal complexity of the determinant det_m is O(m^3). We answer questions in, and generalize results of [Aravind, Joglekar, 2015], showing there is no rank one determinantal expression for perm_m or det_m when m >= 3. Finally we state and prove several "folklore" results relating different models of computation.

研究の動機と目的

• 論文[10]で提起された m×m 行列式多項式 detm の正則行列的複雑度に関する問いを解消すること。
• m ≥ 3 の場合に恒等的恒等式 permm がランク1の行列的表現をもたないことを証明し、[2]で提起された問いに答えること。
• 行列的複雑度、反復行列乗算複雑度、代数的分岐プログラム複雑度といった基本的な代数的複雑度測度の間の正確な非多項式的関係を確立すること。
• 異なる代数的計算モデル間の「伝説的」同等性を明確化し形式化し、制限付き計算モデル間での厳密な比較を可能にすること。

提案手法

• Mahajan-Vinay [11] の技術を用いて、積層型代数的分岐プログラム（ABP）を正則行列的形に翻訳することで、detm の正則行列的表現を構築する。
• 対称的および歪対称的構成を関連付けるために、Howe–Young双対性自己ファンクターを適用し、恒等的恒等式の場合の証明構造を導く。
• 変数の配置を制約するため、行列要素に対して消去法と共役法を用い、補題6.4のモノミアル固有制約を利用する。
• 変数の配置（例：y1,1, y2,3, y3,2）に関する場合分けを用いて、permm に対してランク1表現が存在すると仮定した場合の矛盾を導出する。
• 行・列の操作と対称性の仮定を用いて、行列ブロック（例：An−1,1 = 0, A1,3 = 0）に構造的制約を課し、無効な構成を排除する。
• モデル間の翻訳：行列的表現から反復行列乗算（IMM）へ、およびその逆に変換し、ブロック多重線形 IMM 表現が正則行列的表現と直接的に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 正則行列的複雑度 rdc(detm) は何か？ そして m と共にどのように変化するか？
• RQ2 m ≥ 3 の場合に恒等的恒等式 permm はランク1の行列的表現をもつか？
• RQ3 行列的複雑度、反復行列乗算複雑度、代数的分岐プログラム複雑度といった複雑度測度の間の正確な関係は何か？
• RQ4 permm の既知の上界 2m−1 に対する行列的複雑度 dc が、正則行列的表現で達成可能であり、それがタイトか？
• RQ5 行列式や恒等的恒等式のモノミアルをモデル化する際、行列的表現にどのような構造的制約が生じるか？

主な発見

• m×m 行列式の正則行列的複雑度は、rdc(detm) ≤ 1/3(m³ − m) + 1 を満たし、O(m³) の上界を確立する。
• m ≥ 3 の任意の m に対して、恒等的恒等式 permm はランク1の行列的表現をもたない。これは[2]で提起された未解決問題を解決する。
• 同次反復行列乗算複雑度（himmc）は、行列的複雑度（dc）と多項式的同等であり、明確な境界が確立されている。
• detm および permm のブロック多重線形 IMM 表現は最小サイズ 2m − 1 を達成し、既知の上界と一致し、タイト性が確認される。
• permm および detm の行列的表現の構造は、モノミアル係数を保持するために、変数の配置が厳密な位置的およびブロック内条件を満たす必要があると制約される。
• 消去共役法と対称性の議論（例：Howe–Young双対性を介して）を用いることで、ランク1構成の試みにおける矛盾を導出し、その不可能性を証明できる。