[論文レビュー] Apolarity for determinants and permanents of generic symmetric matrices

Masoumeh, Shafiei|arXiv (Cornell University)|Mar 8, 2013

Advanced Combinatorial Mathematics参考文献 11被引用数 5

ひとこと要約

本稿は、一般対称行列の行列式およびパーマネントの非極的イデアルの構造を特定し、行列式の非極的イデアルが次数2で生成されること、パーマネントの非極的イデアルが次数2および3で生成されることを示している。ランネスタッドとシュレイヤーの結果を用いて、これらの多項式のカクタスランクおよびランクの下界を確立し、ランズバーグとタイトラーによる既存の下界を改善している。

ABSTRACT

We show that the apolar ideal to the determinant of a generic symmetric matrix is generated in degree two, and the apolar ideal to the permanent of a generic symmetric matrix is generated in degrees two and three. In each case we specify the generators of the apolar ideal. As a consequence, using a result of K. Ranestad and F. O. Schreyer we give lower bounds to the cactus rank and rank of each of these polynomials. We compare these bounds with those obtained by J. Landsberg and Z. Teitler.

研究の動機と目的

• 一般対称行列の行列式およびパーマネントの非極的イデアルを特徴づけること。
• これらの非極的イデアルの生成子の最小次数を特定すること。
• 代数幾何学における既知の結果を用いて、行列式およびパーマネントのカクタスランクおよびランクの下界を導出すること。
• 得られた下界をランズバーグとタイトラーによる既存の下界と比較すること。

提案手法

• 一般対称行列の行列式の非極的イデアルを分析し、それが次数2で生成されることを証明すること。
• 一般対称行列のパーマネントの非極的イデアルを研究し、それが次数2および3で生成されることを示すこと。
• ランネスタッドとシュレイヤーが提示した、非極的イデアルの構造とカクタスランクおよびランクの下界との関係を応用すること。
• 記号的および代数的技法を用いて、非極的イデアルの明示的生成子を同定すること。
• 得られた下界をランズバーグとタイトラーが理論的分析によって得た下界と比較すること。

実験結果

リサーチクエスチョン

• RQ1 一般対称行列の行列式の非極的イデアルの構造は何か？
• RQ2 一般対称行列のパーマネントの非極的イデアルの生成子の次数は何か？
• RQ3 一般対称行列の行列式およびパーマネントのカクタスランクおよびランクは、これまでに知られていた下界と比べてどう異なるか？
• RQ4 非極的イデアルの構造は、既存の手法よりもタイトなカクタスランクおよびランクの下界を提供できるか？

主な発見

• 一般対称行列の行列式の非極的イデアルは、すべての生成子が次数2に集中して生成される。
• 一般対称行列のパーマネントの非極的イデアルは、次数2および3で生成される。
• 本稿は両非極的イデアルの明示的生成子を提供しており、さらなる代数的解析を可能にしている。
• ランネスタッドとシュレイヤーの結果を用いて、両多項式のカクタスランクおよびランクの新たな下界を確立した。
• 導出された下界は、ランズバーグとタイトラーが以前に得た下界を改善している。
• 結果は、対称多項式のテンソルランクおよびカクタスランクをバウンドする際に、非極性理論の有効性を示している。