[論文レビュー] Matroids, antimatroids, and the generalized external order

Bryan R. Gillespie|arXiv (Cornell University)|Dec 12, 2017

Advanced Combinatorial Mathematics参考文献 21被引用数 1

ひとこと要約

本稿では、マトロイドの独立性複体における一般化された外部順序を導入し、Las Vergnasのアクティブ順序を拡張する。この順序が幾何的フラット格子を refining する超可解な結合分配的ラティスであることを証明し、そのようなラティスがマトロイドの外部順序として一意に特徴付けられることを示す。さらに、構成を通じてマトロイドとアンティマトロイドのマイナーの双対性を明らかにする。

ABSTRACT

Las Vergnas's active orders are a collection of partial orders on the bases of a matroid which are derived from the classical notion of matroid activity. In this paper, we construct a generalization of Las Vergnas's external order which is defined on the independence complex of a matroid. We show that this poset is a refinement of the geometric lattice of flats of the matroid, and has the structure of a supersolvable join-distributive lattice. We uniquely characterize the lattices which are isomorphic to the external order of a matroid, and we explore a correspondence between matroid and antimatroid minors which arises from the poset construction.

研究の動機と目的

• Las Vergnasのアクティブ順序（元来マトロイドの基底に定義されていたもの）を、マトロイドの全独立集合へ拡張する。
• 一般化された外部順序がフラットの幾何的格子を refining する超可解な結合分配的ラティスを形成することを確立する。
• 構造的性質を用いて、マトロイドの外部順序に同型であるラティスのクラスを特徴付ける。
• ポセット構成から生じるマトロイドマイナーとアンティマトロイドマイナーの間の対応関係を調査する。

提案手法

• 外部活性の一般化された概念を用いて、マトロイドの独立集合に部分順序を構成する。
• 固定された基点または要素の順序に基づく辞書式またはグリーディー順序を用いて、フラット格子の refinement として外部順序を定義する。
• 順序イデアルと交わり不可約元の構造を分析することで、ポセットが結合分配的であることを証明する。
• ラティス全体にわたるモジュラー要素を持つ最大鎖を特定することで、超可解性を示す。
• ポセットの構造を用いて、削除と縮約操作を通じてマトロイドマイナーとアンティマトロイドマイナーの双対性を定義する。
• 普遍的性質と同型を除いて一意性を用いて外部順序ラティスを特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 Las Vergnasのアクティブ順序をマトロイドの基底から全独立性複合体へ一般化する方法は何か？
• RQ2 一般化された外部順序はどのような構造的性質を有するのか。また、フラットの幾何的格子とはどのように関係するか？
• RQ3 どのラティスが何らかのマトロイドの外部順序として実現可能であり、それらを特徴付ける要因は何か？
• RQ4 ポセット構成から生じるマトロイドマイナーとアンティマトロイドマイナーの間の自然な対応関係は存在するか？
• RQ5 外部順序は、元のマトロイドの組合せ論的および順序論的性質をどのように反映するか？

主な発見

• 一般化された外部順序は、マトロイドのフラットの幾何的格子を refining する超可解な結合分配的ラティスを形成する。
• ポセット構造により、外部順序がマトロイドのラティスに同型であることが一意に特徴付けられ、ラティス論的不変量を提供する。
• 構成により、削除と縮約の下でのポセットの分解を通じて、マトロイドマイナーとアンティマトロイドマイナーの双対性が明らかになる。
• 外部順序が結合分配的であることが示され、その順序イデアルが交わりと結合演算に関して良好に振る舞う。
• ポセットの構成はマトロイドの組合せ的階層を保存し、フラット格子を商ポセットとして埋め込む。
• 一般化された外部順序は、古典的な活性の概念を基底に限らず全独立集合へ拡張し、マトロイド理論の順序論的枠組みを豊かにする。