[论文解读] The ubiquity of Psi-matroids

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

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

一句话总结

本文证明，每个拟态 matroid均可通过其关于3连通分量、圈与余圈的规范树分解，以及关于树的哪些端点被使用的信息，完全重构。关键结果是：所有拟态 G-matroid（即在局部有限图 G 中，其圈为拓扑圈、余圈为键的拟态 matroid）恰好是 Ψ-matroid，其中 Ψ 是该 matroid 使用的端点集合。

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-matroid 进行表征——即在局部有限图 G 中，其圈为拓扑圈、余圈为键的 matroid。
• 解决 Aigner-Horev、Diestel 与 Postle 提出的问题：拟态 matroid 是否能通过结构分解实现重构。
• 证明拟态 G-matroid 的类恰好与某个端点集 Ψ 的 Ψ-matroid 类一致，即使 Ψ 不一定是 Borel 集。
• 阐明拟态性在实现无限 matroid 的可处理表征中的作用，避免病态的野生例子。
• 建立拟态性允许清晰的对偶性与子式理论，特别是在无限图 matroid 与拓扑 matroid 的背景下。

提出的方法

• 利用拟态 matroid 的规范树分解，将其分解为3连通、圈与余圈部分，以重构原始 matroid。
• 应用拟态性的概念——定义为圈与余圈的有限交集——以限制到行为良好的 matroid。
• 定义并分析 Ψ-matroid：即其圈为仅使用端点集 Ψ ⊆ Ω(G) 中端点的拓扑圈的 matroid。
• 利用有限圈 matroid M_FC(G) 与拓扑圈 matroid M_C(G) 之间的对偶性，证明当 Ψ 被其补集取代时，M_Ψ(G) 是自对偶的。
• 使用有限化与余有限化操作：M_fin 与 M_cofin，以定义所有拟态 G-matroid 所处的极值 matroid。
• 证明：对于一个有限 matroid 的树 T，介于 M_∅(T) 与 M_Ω(T) 之间的拟态 matroid 的格，恰好同构于 Ψ ⊆ Ω(T) 的子集格（按包含关系）。

实验结果

研究问题

• RQ1 哪些拟态 matroid 可以通过其关于3连通、圈与余圈部分的规范树分解实现重构？
• RQ2 所有拟态 G-matroid——即在局部有限图中圈为拓扑圈、余圈为键的 matroid——是否必然为某个端点集 Ψ 的 Ψ-matroid？
• RQ3 介于有限圈 matroid M_FC(G) 与拓扑圈 matroid M_C(G) 之间的拟态 matroid 的格结构是怎样的？
• RQ4 对于一对孪生 matroid (M_f, M_c)（其中 M_f = M_c^fin 且 M_c = M_f^cofin），介于两者之间的拟态 matroid 类是否能被 Ψ-matroid 完全表征？
• RQ5 介于两个二元孪生 matroid 之间的所有拟态 matroid 是否必为二元的，还是可能产生非二元的子式？

主要发现

• 每个拟态 G-matroid 同构于某个图 G 的端点集 Ψ 的 Ψ-matroid，从而实现了对拟态 G-matroid 的完整分类。
• 集合 Ψ 不必是 Borel 集，表明 Ψ-matroid 的类严格大于 Borel Ψ-matroid 的类。
• 对于一个有限 matroid 的树 T，介于 M_∅(T) 与 M_Ω(T) 之间的拟态 matroid 的格，同构于 Ψ ⊆ Ω(T) 的子集格（按包含关系）。
• 对于任意局部有限图 G，有限圈 matroid M_FC(G) 与拓扑圈 matroid M_C(G) 构成一对孪生 matroid：M_FC(G) = M_C(G)^fin 且 M_C(G) = M_FC(G)^cofin。
• 拟态 matroid 的类在对偶与子式下封闭，包含所有有限化、余有限化与 Ψ-matroid，但排除了如某些 Q-matroid 等野生 matroid。
• 支持一个猜想：所有介于 M_∅(T) 与 M_Ω(T) 之间的拟态 matroid 均为 M_Ψ(T) 的形式，尽管该结论在一般情况下仍为开放问题。