[論文レビュー] An excluded minors method for infinite matroids

Nathan Bowler, Johannes Carmesin|arXiv (Cornell University)|Dec 17, 2012

Advanced Graph Theory Research参考文献 5被引用数 8

ひとこと要約

この論文は、tameな無限マトロイドが有限体 𝔽 において薄い和のマトロイドとして表現可能であるための必要十分条件を確立している。その条件は、すべての有限マイナーが 𝔽 で表現可能であることである。主な貢献は、コンパクト性に基づく証明であり、有限マトロイドの禁止マイナー特徴付けをtameな無限マトロイドへと拡張するもので、古典的な表現可能性に関する定理を無限の設定へと拡張可能にする。

ABSTRACT

The notion of thin sums matroids was invented to extend the notion of representability to non-finitary matroids. A matroid is tame if every circuit-cocircuit intersection is finite. We prove that a tame matroid is a thin sums matroid over a finite field k if and only if all its finite minors are representable over k. We expect that the method we use to prove this will make it possible to lift many theorems about finite matroids representable over a finite field to theorems about tame thin sums matroids over these fields. We give three examples of this: various characterisations of binary tame matroids and of regular tame matroids, and unique representability of ternary tame matroids.

研究の動機と目的

• 有限体上で表現可能な有限マトロイドの禁止マイナー特徴付けを、無限の設定へと拡張すること。
• tameな薄い和のマトロイドとしての有限体上のマトロイドを特徴づけることで、有限と無限のマトロイド理論の橋渡しをすること。
• tameマトロイドが有限体上で表現可能かどうかが、完全にその有限マイナーによって決定されることを示すこと。
• この手法を用いて、有限表現可能マトロイドに関する標準的な定理がtameな無限マトロイドへと拡張可能であることを示すこと。
• 3元マトロイドの唯一の表現可能性を証明し、無限の設定における正則性を特徴づけること。

提案手法

• すべての有限マイナーが有限体 𝔽 で表現可能であるならば、そのマトロイド全体が 𝔽 における薄い和のマトロイドであることを、コンパクト性の議論を用いて示す。
• すべての回路-ココイルの交わりが有限であるという性質を持つtameマトロイドの概念を用い、無限の構成と整合性を保つ。
• 薄い和のマトロイドという概念を適用する。これは、無限グラフのサイクルマトロイドのような無限例を捉える表現可能マトロイドの一般化である。
• tameな薄い和のマトロイドの双対性およびマイナー閉包性の性質を活用し、無限極限における構造的制約を保つ。
• 3元の場合の表現の一意性を示すために、符号化と係数割り当ての代数的技法を用いる。
• 回路とココイル上の係数関数の代数的関係を解き明かし、表現間の一貫性を示す。

実験結果

リサーチクエスチョン

• RQ1 有限体上で表現可能な有限マトロイドの禁止マイナー特徴付けを、tameな無限マトロイドへと拡張できるか？
• RQ2 tameマトロイドが有限体上で表現可能かどうかが、その有限マイナーの表現可能性に完全に依存するか？
• RQ3 二進、正則、または3元マトロイドに関する有限表現可能マトロイドの標準的定理が、無限かつtameな設定へと拡張可能か？
• RQ4 tameマトロイドが有限体上で一意に表現可能であるか。また、その一意性は、サイクルマトロイドのようなグラフ論的構成とどのように関係するか？
• RQ5 無限グラフにおける回路とココイルの符号化は、薄い和のマトロイドにおける表現の一意性とどのように関係するか？

主な発見

• tameマトロイドが有限体 𝔽 において薄い和のマトロイドであるための必要十分条件は、すべての有限マイナーが 𝔽 で表現可能であることである。
• 固定された有限体におけるtameな薄い和のマトロイドのクラスは、無限の最小禁止マイナーを含まず、有限の最小禁止マイナーのみを持つ。
• 二進マトロイドの禁止マイナー特徴付け（U₂,₄ の除外）は、tameマトロイドへと拡張可能である：tameマトロイドが二進であることは、U₂,₄ マイナーを含まないことと同値である。
• tameマトロイドが正則（任意の体で表現可能）であるための必要十分条件は、すべての有限マイナーが正則であることであり、tameな設定では正則性と符号化可能性が同値である。
• 3元tameマトロイドは、薄い和の意味で一意の表現を持つ。これは、グラフの有限・代数的・位相的サイクルマトロイドがそれぞれ一意の符号化を持つことを意味する。
• 無限グラフにおける回路とココイルの符号化（例：二重のレイト）は、マトロイド構造によって一意に定まり、回路-ココイル交わりにおけるゼロ和条件を保つ。