[論文レビュー] The ubiquity of Psi-matroids

Nathan Bowler, Johannes Carmesin|arXiv (Cornell University)|Apr 25, 2013

Topological and Geometric Data Analysis参考文献 12被引用数 4

ひとこと要約

この論文は、すべてのたんまつマトロイドが、3連結成分、サイクル、コサイクルに分解する標準的な木分解と、その木のどの端が使用されているかという情報を用いて再構成可能であることを確立している。主な結果は、局所的に有限なグラフ G におけるすべてのたんまつ G-マトロイド（そのサイクルが位相的円周で、コサイクルが結合であるマトロイド）が、Ψ を G の端の集合とするとき、ちょうど Ψ-マトロイドであるということである。

ABSTRACT

Solving (for tame matroids) a problem of Aigner-Horev, Diestel and Postle, we prove that every tame matroid M can be reconstructed from its canonical tree decomposition into 3-connected pieces, circuits and cocircuits together with information about which ends of the decomposition tree are used by M . For every locally finite graph G, we show that every tame matroid whose circuits are topological circles of G and whose cocircuits are bonds of G is determined by the set Psi of ends it uses, that is, it is a Psi-matroid.

研究の動機と目的

• 局所的に有限なグラフ G におけるたんまつ G-マトロイドを特徴づけること — そのサイクルが位相的円周で、コサイクルが結合であるマトロイド。
• Aigner-Horev, Diestel, および Postle が提起した、たんまつマトロイドの構造的分解からの再構成問題を解決すること。
• 局所的に有限なグラフ G の端の集合 Ψ に対して、たんまつ G-マトロイドのクラスが、ちょうど Ψ-マトロイドのクラスに一致することを示すこと。Ψ が Borel である必要はない。
• たんまつ性が、病的な野生的例を避けることによって、無限マトロイドの扱いやすい特徴づけを可能にする役割を明らかにすること。
• たんまつ性が、特に無限グラフ的および位相的マトロイドの文脈において、滑らかな双対性およびマイナー理論を可能にすることを確立すること。

提案手法

• 3連結、サイクル、コサイクルの部分に分解するたんまつマトロイドの標準的木分解を用いて、元のマトロイドを再構成すること。
• 有限個のサイクルとコサイクルの共通部分集合として定義される「たんまつ性」の概念を用いて、うまく扱えるマトロイドに制限すること。
• Ψ ⊆ Ω(G) に属する端のみを用いて位相的円周としてのサイクルを持つマトロイドとして Ψ-マトロイドを定義・分析すること。
• 有限サイクルマトロイド M_FC(G) と位相的サイクルマトロイド M_C(G) の双対性を活用し、Ψ の補集合による補完作用の下で M_Ψ(G) が自己双対であることを示すこと。
• M_fin と M_cofin のような有限化および余有限化作用素を用いて、すべてのたんまつ G-マトロイドが存在する極端なマトロイドの間を定義すること。
• 木 T に対して、M_∅(T) と M_Ω(T) の間のたんまつマトロイドのラティスが、包含関係に関して Ψ ⊆ Ω(T) の部分集合のラティスと同型であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 どのたんまつマトロイドも、3連結、サイクル、コサイクルの部分に分解する標準的木分解から再構成可能か？
• RQ2 すべてのたんまつ G-マトロイド — 局所的に有限なグラフ G におけるサイクルが位相的円周でコサイクルが結合であるマトロイド — は、ある端の集合 Ψ に対して、必ず Ψ-マトロイドか？
• RQ3 M_∅(T) と M_Ω(T) の間のたんまつマトロイドのラティスの構造はどのようなものか？
• RQ4 2つの双対的ペア (M_f, M_c) （ここで M_f = M_c^fin かつ M_c = M_f^cofin）をなすマトロイドの間のたんまつマトロイドのクラスは、Ψ-マトロイドによって完全に特徴づけられるか？
• RQ5 2つの二進法的ペアマトロイドの間にあるすべてのたんまつマトロイドは、必ず二進法的であるか、それとも非二進法的マイナーが出現しうるか？

主な発見

• すべてのたんまつ G-マトロイドは、G の端の集合 Ψ に対して、ちょうど Ψ-マトロイドに同型である。これにより、たんまつ G-マトロイドの完全な分類が得られた。
• Ψ が Borel である必要はない。これにより、Ψ-マトロイドのクラスが Borel Ψ-マトロイドのクラスを厳密に超えることが示された。
• 有限マトロイドの木 T に対して、M_∅(T) と M_Ω(T) の間のたんまつマトロイドのラティスは、包含関係に関して Ω(T) の部分集合のラティスと同型である。
• 任意の局所的に有限なグラフ G に対して、有限サイクルマトロイド M_FC(G) と位相的サイクルマトロイド M_C(G) は、ペアをなす：M_FC(G) = M_C(G)^fin かつ M_C(G) = M_FC(G)^cofin。
• たんまつマトロイドのクラスは双対性およびマイナーに関して閉じており、すべての有限的、余有限的、Ψ-マトロイドを含むが、特定の Q-マトロイドのような野生的マトロイドは含まない。
• M_∅(T) と M_Ω(T) の間のすべてのたんまつマトロイドが M_Ψ(T) の形をしているという予想は支持されているが、一般には未解決のままである。