[论文解读] Thin sums matroids and duality

Hadi Afzali, Nathan Bowler|arXiv (Cornell University)|Apr 27, 2012

Advanced Graph Theory Research参考文献 2被引用 16

一句话总结

本文证明了在薄族上的薄和拟阵恰好是域 $ k $ 上可表示拟阵的对偶，且通过一种新的自对偶刻画，证明了拟薄和拟阵类在对偶和取子式下是封闭的。此外，本文还表明，与无限图相关联的所有标准拟阵——如代数圈、拓扑圈和圈——在任意域上都是拟薄和拟阵。

ABSTRACT

Thin sums matroids were introduced to extend the notion of representability to non-finitary matroids. We give a new criterion for testing when the thin sums construction gives a matroid. We show that thin sums matroids over thin families are precisely the duals of representable matroids (those arising from vector spaces). We also show that the class of tame thin sums matroids is closed under duality and under taking minors, by giving a new characterisation of the matroids in this class. Finally, we show that all the matroids naturally associated to an infinite graph are tame thin sums matroids.

研究动机与目标

• 确定何时薄和系统实际上是拟阵，以解决关于该可表示性推广的良行为性这一开放问题。
• 以一种能清晰展现其在对偶和子式下封闭性的形式，刻画拟薄和拟阵类。
• 证明与无限图自然关联的所有六种标准拟阵——如代数圈、拓扑圈和圈拟阵——在任意域上都是拟薄和拟阵。
• 解决薄和拟阵类在对偶和子式下是否封闭的问题，特别是拟薄情形。
• 提供一种拟薄和拟阵的新刻画，以解释其良好的结构性质，如在对偶和子式下的封闭性。

提出的方法

• 提出一个基于存在薄依赖关系和余圈泛函的、用于判断薄和系统是否为拟阵的新准则。
• 通过依赖于圈的函数 $ c_o $ 和依赖于余圈的泛函 $ d_b $，定义拟薄和拟阵的自对偶刻画，并满足一个关键的正交性条件。
• 证明一个拟阵是域 $ k $ 上薄族的薄和拟阵，当且仅当它是 $ k $-可表示拟阵的对偶。
• 利用该刻画证明对偶下的封闭性：自对偶形式表明，任意拟薄和拟阵的对偶仍是拟薄和拟阵。
• 通过限制和商化操作证明子式下的封闭性，即子式继承了原始拟阵所需的圈和余圈泛函。
• 将结果应用于无限图，通过验证六种标准拟阵（如代数圈、拓扑圈、圈）在任意域上均满足拟薄和拟阵条件。

实验结果

研究问题

• RQ1 哪些薄和系统实际上是拟阵？（即，何时薄和构造会产生一个拟阵？）
• RQ2 拟薄和拟阵类在对偶和取子式下是否封闭？
• RQ3 与无限图相关联的所有标准拟阵（如代数圈、拓扑圈、圈拟阵）是否在任意域上都是薄和拟阵？
• RQ4 能否为薄和拟阵找到比现有刻画更简单的刻画？
• RQ5 薄和拟阵与可表示拟阵之间存在何种结构性关系，特别是在拟薄情形下？

主要发现

• 在薄族上的薄和系统是拟阵，当且仅当它是域 $ k $ 上可表示拟阵的对偶，从而在薄和拟阵与可表示拟阵之间建立了精确的对偶关系。
• 拟薄和拟阵类在对偶下封闭，因为这些拟阵的自对偶刻画确保了任意拟薄和拟阵的对偶仍是拟薄和拟阵。
• 拟薄和拟阵类在取子式下封闭，因为子式继承了原始拟阵所需的圈和余圈泛函。
• 所有六种与无限图相关联的标准拟阵——代数圈、有限圈、拓扑圈、圈、有限圈和偏移割——在任意域 $ k $ 上都是拟薄和拟阵，这通过新刻画得以证明。
• 有限圈拟阵 $ M_{FC}(G) $ 和有限圈拟阵 $ M_{FB}(G) $ 在任意域上均可表示，因为它们是薄和拟阵的有限化形式。
• 拓扑圈拟阵 $ M_C(G) $ 是拟薄和拟阵，其对偶（即偏移割拟阵）也是拟薄和拟阵，从而在关键例子中确认了对偶下的封闭性。