[論文レビュー] Complex Matroids

Laura Anderson, Emanuele Delucchi|arXiv (Cornell University)|May 19, 2010

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿は、実数上の向き付きマトロイドと類似する複素数体上の線形従属の組合せ論的枠組みとして、複素マトロイドを導入する。等価な公理系を確立し、ベクトル空間上のC*-作用に類似する標準的な円作用を導入する。また、ピロトープ（複素数の行列式の類似）が、Below, Krummeck, Richter-Gebert, Delucchiらの先行研究と整合しており、複素マトロイドにおいて向き付きマトロイドのものと類似するベクトル公理が存在しないことを証明する。

ABSTRACT

We explore a combinatorial theory of linear dependency in space, complex with foundations analogous to those for oriented matroids. We give multiple equivalent axiomatizations of matroids, showing that this theory captures properties of linear dependency, orthogonality, and determinants over C in much the same way that oriented matroids capture the same properties over R. In addition, our matroids come with a canonical circle action analogous to the action of C* on a vector space. Our phirotopes (analogues of determinants) are the same as those studied previously by Below, Krummeck, and Richter-Gebert and by Delucchi. We further show that matroids cannot have vector axioms analogous to those for oriented matroids.

研究の動機と目的

• C上の線形従属の組合せ論的理論を、実数上の向き付きマトロイドと類似する形で構築すること。
• C上での従属、直交性、行列式に類似する構造を捉える複素マトロイドの等価な公理系を確立すること。
• 複素マトロイドに標準的な円作用を導入し、複素ベクトル空間上のC*-作用に類似させること。
• 複素マトロイドにおけるピロトープが、Below, Krummeck, Richter-Gebert, Delucchiらが先行して研究したものと一致することを示すこと。
• 複素マトロイドが、向き付きマトロイド理論におけるベクトル公理と類似する公理を有しないことを証明すること。

提案手法

• 複素マトロイドを、組合せ的独立性と直交性に重点を置いた複数の等価な公理系によって形式化する。
• 基底の集合に標準的な円作用を導入し、複素ベクトル空間上のC*乗法作用に類似させる。
• ピロトープを基底上の複素数値関数として定義し、複素線形代数における行列式の類似として機能させる。
• 複素数の符号と行列式の性質を用いて、各公理系が互いに他者を含むことを証明することで、公理系の等価性を確立する。
• 代数的組合せ論と複素幾何学の結果を応用し、ピロトープの構造と円作用による不変性を分析する。
• 背理法を用いて、複素マトロイドが向き付きマトロイド理論におけるものと類似するベクトル公理を有しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 R上の向き付きマトロイドと類似するC上の線形従属の組合せ論的理論を構築できるか？
• RQ2 C上の組合せ的枠組みにおいて、直交性と行列式に類似する構造をどのように捉えることができるか？
• RQ3 複素マトロイドにおける円作用の役割は何か？また、複素ベクトル空間上のC*-作用とどのように関係するか？
• RQ4 複素マトロイドにおけるピロトープは、Below, Krummeck, Richter-Gebert, Delucchiらが研究したものと一致するか？
• RQ5 複素マトロイドに対して、向き付きマトロイド理論におけるものと類似するベクトル公理を定義することは可能か？

主な発見

• 複素マトロイドは、C上での従属、直交性、行列式に類似する振る舞いを捉える複数の等価な公理系によって形式的に定式化された。
• 複素マトロイドの基底に標準的な円作用が定義され、複素ベクトル空間上のC*-作用に類似している。
• 複素マトロイドにおけるピロトープが、既にBelow, Krummeck, Richter-Gebert, Delucchiらが研究したものと一致することが示された。
• 理論は、複素マトロイドが向き付きマトロイド理論におけるベクトル公理に類似する公理を有しないことを示している。
• この枠組みは、R上の向き付きマトロイドが果たす役割と類似する形で、C上の線形代数の組合せ的構造をうまく一般化している。
• 結果として、代数的・幾何的組合せ論と強く関連する、整合的かつ自己完結的な複素マトロイド理論が確立された。