[論文レビュー] Algebraic Matroids with Graph Symmetry

Franz J. Király, Zvi Rosen+1 more|arXiv (Cornell University)|Jan 1, 2014

Polynomial and algebraic computation参考文献 26被引用数 14

ひとこと要約

この論文は、可換代数的手法を用いて代数的マトロイドの回路多項式を導入し、（例：行、列、転置などの）対称性を有するマトロイドのための組合せ的不変量を構築する。代数的および対称的マトロイド構造を統合することで、フレームワークの剛性、低ランク行列補完、および行列式多様体におけるマトロイドのランクおよび回路多項式の新たな特徴付けが可能になる。

ABSTRACT

This paper studies the properties of two kinds of matroids: (a) algebraic matroids and (b) finite and infinite matroids whose ground set have some canonical symmetry, for example row and column symmetry and transposition symmetry. For (a) algebraic matroids, we expose cryptomorphisms making them accessible to techniques from commutative algebra. This allows us to introduce for each circuit in an algebraic matroid an invariant called circuit polynomial, generalizing the minimal polynomial in classical Galois theory, and studying the matroid structure with multivariate methods. For (b) matroids with symmetries we introduce combinatorial invariants capturing structural properties of the rank function and its limit behavior, and obtain proofs which are purely combinatorial and do not assume algebraicity of the matroid; these imply and generalize known results in some specific cases where the matroid is also algebraic. These results are motivated by, and readily applicable to framework rigidity, low-rank matrix completion and determinantal varieties, which lie in the intersection of (a) and (b) where additional results can be derived. We study the corresponding matroids and their associated invariants, and for selected cases, we characterize the matroidal structure and the circuit polynomials completely.

研究の動機と目的

• 代数的マトロイドと可換代数構造との間のクロノモルフィズムを確立し、マトロイド解析に代数的技法を適用可能にする。
• ガロア理論における最小多項式の一般化として、代数的マトロイドの回路多項式を定義する。
• 代数的でない仮定のもとで、ランク関数の挙動と極限性質を捉える組合せ的不変量を導入する。
• フレームワークの剛性や低ランク行列補完などの応用において、代数的および対称的マトロイド理論の知見を統合する。
• 代数的および対称的性質を併せ持つ特定のケースにおいて、マトロイド構造および回路多項式を完全に特徴付ける。

提案手法

• 可換代数を用いて、代数的マトロイドと多項式イデアル、代数的独立性を結びつけるクロノモルフィズムを導出する。
• 代数的マトロイドにおける回路に関連する最小多項式として回路多項式を定義し、古典的ガロア理論の不変量を一般化する。
• 行、列、転置対称性などの標準的対称性の下でのランク関数の挙動を記述する、対称性に不変な組合せ的不変量を導入する。
• 代数的でない仮定に依存しない、純粋な組合せ的証明を用いて、マトロイドのランクおよび極限挙動を分析する。
• 代数的および対称的マトロイドの道具を組み合わせて、行列式多様体および低ランク行列補完問題を研究する。
• 多変数代数的手法を用いて、対称的かつ代数的状況下での回路多項式およびマトロイド構造の分析と特徴付けを行う。

実験結果

リサーチクエスチョン

• RQ1 代数的マトロイドにおける回路多項式はどのように定義され、ガロア理論の最小多項式を一般化するためにどのように利用可能か？
• RQ2 行、列、転置対称性などの標準的対称性を有するマトロイドにおいて、ランク関数およびその極限挙動を捉える組合せ的不変量は何か？
• RQ3 代数的構造を有する対称的マトロイドは、フレームワークの剛性および低ランク行列補完にどのような新たな知見をもたらすか？
• RQ4 マトロイドが代数的かつ対称的である場合に、提案された不変量および技法が既知の結果をどのように一般化するか？
• RQ5 特定の対称的かつ代数的マトロイドのケースにおいて、マトロイド構造および回路多項式を完全に特徴付けることは可能か？

主な発見

• 回路多項式が最小多項式の一般化として成功裏に定義され、代数的マトロイドにおける回路の代数的不変量を提供する。
• 代数的マトロイドと可換代数構造との間のクロノモルフィズムが確立され、マトロイド問題への代数的技法の適用が可能になる。
• 代数的でない仮定のもとで、対称的マトロイドにおけるランク関数の挙動と極限を記述する組合せ的不変量が導入される。
• 提案された手法により、対称的マトロイドの構造的性質に対する純粋な組合せ的証明が得られ、特定のケースで先行研究を一般化する。
• 代数的および対称的マトロイド構造の交差により、特定のケースにおけるマトロイドのランクおよび回路多項式の完全な特徴付けが可能になる。
• フレームワークの剛性、低ランク行列補完、および行列式多様体への応用が、開発された不変量および構造的特徴付けによって直接可能になる。