[論文レビュー] Representation of matroids

Massimiliano Lunelli, Antonio Laface|ArXiv.org|Feb 27, 2002

Polynomial and algebraic computation参考文献 3被引用数 133

ひとこと要約

本稿では、代数的閉体上でのマトロイドの表現可能性を判定するための必要十分な代数的基準を提示する。この基準は、ℤ 上の拡張グレブナー基底アルゴリズムを用いてイデアルの属するかをテストすることで得られる。主な貢献は、マトロイドの表現可能性を、基底多項式の積が、回路の行列式によって生成されるイデアルの根基に含まれないかどうかをチェックすることで帰着する意思決定手順の構築である。

ABSTRACT

In this paper we give a necessary and sufficient criterion for representability of a matroid over an algebraic closed field. This leads to an algorithm, based on an extension of Groebner Bases, in order to decide if a given matroid is representable over such a field.

研究の動機と目的

• 特徴量に依存しない、代数的閉体上でのマトロイド表現可能性の一般的アルゴリズム的基準の開発。
• 特に正の特徴量を持つ体の場合に顕著になる、表現可能性が基礎体の特徴量に依存するという理論的課題の解決。
• 補助変数と積制約を用いたイデアル構造の精緻化により、グレブナー基底計算の計算複雑性を軽減すること。
• 標準的なテストが失敗する可能性がある、有限特徴量体上でのみ表現可能なマトロイドの同定。
• 理論的に妥当であり、かつ小順序のマトロイドに対して計算的に適用可能な、表現可能性をテストする体系的な手法の提供。

提案手法

• マトロイドの表現問題を、行列要素に対応する変数における多項方程式系として定式化する。
• 基底に対応する $ r \times r $ の小行列式として、多項式 $ P_i(\bar{x}) $ を定義する。
• サイズ $\leq r$ の回路に対応する小行列式として、多項式 $ Q_j(\bar{x}) $ を定義し、イデアル $ I $ を生成する。
• ヒルベルトのゼロ点定理を適用し、表現可能性を $\prod P_i \notin \mathrm{Rad}(I)$ であるかどうかのチェックに還元する。
• 補助変数と制約 $1 - t \prod x_{i,j}$ を用いた $\mathbb{Z}_p[\bar{x}, t]$ 上の拡張グレブナー基底アルゴリズムを実装し、$P_i$ の全積を直接計算する必要を回避する。
• 有限特徴量体、特に $\mathbb{F}_2$ および $\mathbb{F}_4$ を含む、$\mathbb{Z}_p$ 上の特徴量別計算を用いて、有限特徴量体上での表現可能性をテストする。

実験結果

リサーチクエスチョン

• RQ1 代数的閉体上でのマトロイドの表現可能性を特徴づける必要十分な代数的条件は何か？
• RQ2 特徴量が事前に不明な場合に、グレブナー基底技法を未知の基礎体に拡張する方法は何か？
• RQ3 すべての基底多項式の積をテストする計算負荷を、正しさを保ちつつ回避できるか？
• RQ4 どのマトロイドが正の特徴量体上でのみ表現可能であり、そのようなケースをアルゴリズム的に検出できるか？
• RQ5 このアルゴリズムは、非表現可能なマトロイドと、有限体上でのみ表現可能なマトロイドをどの程度正確に区別できるか？

主な発見

• 本稿では、マトロイドが代数的閉体 $k$ 上で表現可能であるための必要十分条件が、すべての基底行列式多項式の積が、回路行列式多項式によって生成されるイデアルの根基に含まれないことであると確立した。
• アルゴリズムは、順序8、ランク4のマトロイドのうち416個のうち44個の非表現可能なマトロイドを正しく同定した。同様に、順序9、ランク4のマトロイドのうち179,107個のうち23,860個の非表現可能なマトロイドも同定した。
• 順序9、ランク3のマトロイドのうち5個が、特徴量0では既知の表現を持たないが、有限特徴量体上でのみ表現可能であることが判明した。
• 順序9、ランク4のマトロイドにおいては、1,254個のマトロイドが、$\mathbb{F}_4$ や類似の体上での表現可能性の候補であることが判明し、有限特徴量体上での表現可能性の可能性を示唆した。
• 例3.4に示されるマトロイドの例では、多項式制約の矛盾により、どの体に対しても解が存在しないことがアルゴリズムで検出されたが、これは代入後も同様であった。
• $\epsilon^2 + \epsilon + 1 = 0$ を用いて、ランク4、順序9のマトロイドに対して $\mathbb{F}_4$ 上での表現を明示的に構成した。これにより、正の特徴量体上での表現可能性が確認された。