[論文レビュー] Infinite graphic matroids Part I

Nathan Bowler, Johannes Carmesin+1 more|arXiv (Cornell University)|Sep 15, 2013

Interconnection Networks and Systems参考文献 7被引用数 6

ひとこと要約

この論文は、無限マトロイドがグラフに類似た位相空間によって表現可能であるときかつそのときに限りグラフ的であることを確立しており、Tutteの有限グラフ的マトロイドの特徴づけを拡張している。主な貢献は、3連結なグラフ的マトロイドにおいてすべてのサイクルが可算であることを、表現空間における位相的およびマトロイド論的解析によって示したことである。

ABSTRACT

An infinite matroid is graphic if all of its finite minors are graphic and the intersection of any circuit with any cocircuit is finite. We show that a matroid is graphic if and only if it can be represented by a graph-like topological space: that is, a graph-like space in the sense of Thomassen and Vella. This extends Tutte's characterization of finite graphic matroids. The representation we construct has many pleasant topological properties. Working in the representing space, we prove that any circuit in a 3-connected graphic matroid is countable.

研究の動機と目的

• 有限グラフ的マトロイドのTutteの特徴づけを無限の場合に拡張すること。
• いとまぐさ性と有限のサイクル・コサイクルの交わりを用いて、無限グラフ的マトロイドを定義し特徴づけること。
• グラフに類似た空間を用いた位相的表現を通じて、グラフ的マトロイドを特徴づけること。
• 位相的およびマトロイド論的構造を活用して、3連結なグラフ的マトロイドにおけるサイクルの可算性を証明すること。
• 無限の文脈における適切な表現可能性と双対性を保つために、いとまぐさ性が不可欠であることを示すこと。

提案手法

• すべての有限マイナーがグラフ的であり、かつサイクルとコサイクルの交わりが有限である（いとまぐさ性）という条件を満たす無限マトロイドをグラフ的と定義すること。
• ThomassenとVellaの定める意味でのグラフに類似した空間を用いて、マトロイドを位相的に表現すること。
• コンパクト性（サイクルのコンパクト性）やカットの有限性といった位相的性質を用いて、いとまぐさ性を強制し、証明を導くこと。
• サイクルが位相的円周に対応し、コサイクルが位相的カットに対応するような表現を構成すること。
• スイッチング列と基本的サイクル／コサイクルを用いて、連結性と可算性を分析すること。
• スイッチング列に関する帰納法と近傍分解を用いて、サイクルの可算性を証明すること。

実験結果

リサーチクエスチョン

• RQ1 Tutteの有限グラフ的マトロイドの特徴づけを無限マトロイドに拡張できるか？
• RQ2 どの位相的空間構造が無限グラフ的マトロイドの忠実な表現を可能にするか？
• RQ3 なぜ、特にサイクルとコサイクルの交わりが有限であるといういとまぐさ性が表現可能性に不可欠なのか？
• RQ4 3連結な無限グラフ的マトロイドにおけるサイクルは、必然的に可算であるか？
• RQ5 表現空間の位相がマトロイドの構造にどのような制約を課えるか？

主な発見

• 無限マトロイドがグラフに類似た位相空間によって表現可能であることと、それがグラフ的であることとは同値である。
• 3連結なグラフ的マトロイドにおけるすべてのサイクルは、表現空間における位相的およびマトロイド論的解析によって可算であることが示された。
• 薄い和の表現可能なマトロイドのクラスは、いとまぐさ性の下でのみ適切に振る舞うため、グラフ的マトロイドの定義にこれを組み込む正当性がある。
• 表現空間におけるサイクルとコサイクルは、それぞれコンパクト性と有限性の制約により、位相的円周とカットとしての性質を示す。
• 3連結なグラフに類似た空間において、グラフ的マトロイドを誘導する任意の擬似弧の辺集合は、近傍分解によって可算であることが示された。
• 可算でない局所的位相を持つ特定の頂点を有するため、平面的有限マイナー性を満たすが平面に埋め込めないいとまぐさ性を持つマトロイドが存在する。