[论文解读] When do two planted graphs have the same cotransversal matroid?

Federico Ardila, Amanda Ruiz|arXiv (Cornell University)|Sep 24, 2008

Advanced Combinatorial Mathematics参考文献 6被引用 3

一句话总结

本文证明了两个种植图产生相同的共横截拟阵当且仅当它们的饱和形式可以通过一系列局部交换操作相互转换。作者引入了种植图上的交换与饱和操作，证明这些操作保持共横截拟阵不变，并利用与横截拟阵的对偶性及霍尔婚姻定理，刻画了表示等价类。

ABSTRACT

Cotransversal matroids are a family of matroids that arise from planted graphs. We prove that two planted graphs give the same cotransversal matroid if and only if they can be obtained from each other by a series of local moves.

研究动机与目标

• 刻画两个种植图何时产生相同的共横截拟阵。
• 识别保持共横截拟阵结构的最小局部变换集合。
• 建立基于对偶性的框架，将共横截拟阵与横截拟阵及其表示联系起来。
• 解决对偶设置中出现的细微问题，特别是关于表示的最大化与唯一性。
• 以图操作为术语，提供拟阵等价性的完整组合刻画。

提出的方法

• 在种植图上引入交换操作：在特定条件下反转边并重新分配汇点。
• 将种植图的饱和定义为保持共横截拟阵结构的最大扩展。
• 利用拟横对偶性将共横截拟阵与横截拟阵关联，利用共横截拟阵是横截拟阵对偶的事实。
• 应用霍尔婚姻定理与龙形婚姻条件，分析对偶二分图表示中的匹配。
• 利用饱和种植图与横截拟阵最大表示之间的双射，将图操作转化为匹配交换。
• 证明对偶横截拟阵中的匹配交换恰好对应于原始种植图中的交换操作。

实验结果

研究问题

• RQ1 何时两个不同的种植图会表示相同的共横截拟阵？
• RQ2 哪些局部图操作保持共横截拟阵结构？
• RQ3 共横截拟阵的不同表示之间通过何种结构变换相互关联？
• RQ4 拟横对偶性在刻画图表示等价性方面发挥什么作用？
• RQ5 能否通过有限组初等操作连接共横截拟阵的所有饱和表示？

主要发现

• 两个种植图产生相同的共横截拟阵当且仅当它们的饱和形式可以通过一系列交换操作相互转换。
• 交换操作保持共横截拟阵不变，如定理3.2所证明。
• 种植图的饱和形式产生其对偶横截拟阵的唯一最大表示。
• 对偶横截拟阵具有唯一的最大表示，该表示对应于原始种植图的饱和形式。
• 由于对偶二分图中任意两个匹配均可通过一系列匹配交换连接，而每种交换对应一个交换操作，因此饱和表示图是连通的。
• 在例6.3中，五个元素上的共横截拟阵的九个饱和表示形成两个同构类，且所有成员均可通过交换连接。