[论文解读] Embedding simply connected 2-complexes in 3-space -- III. Constraint minors

Johannes Carmesin|arXiv (Cornell University)|Sep 14, 2017

Topological and Geometric Data Analysis参考文献 1被引用 6

一句话总结

本文刻画了在何种条件下，一个指定边集 X 的图形拟阵可实现为某个图的圈拟阵，其中 X 构成一个连通子图。通过约束极小图（由边收缩和删除等图操作导出的障碍）证明，这种可实现性等价于排除六个特定的 3-连通约束极小图，它们被明确描绘为 K₄、一个轮图，以及四个类似柱体的图。该结果为 3-连通图中的约束连通性提供了有限的禁止极小图刻画。

ABSTRACT

We characterise the following property by six obstructions: given a graphic matroid $M$ and a set $X$ of its elements, when is $M$ the cycle matroid of a graph $G$ such that $X$ is a connected edge set in $G$?

研究动机与目标

• 刻画一个图形拟阵 M 何时可实现为图 G 的圈拟阵，其中 M 的指定子集 X 在 G 中构成连通边集。
• 识别出刻画该可实现性条件的一组有限禁止约束极小图。
• 通过在指定元素子集上引入连通性约束，扩展 Tutte 对图形拟阵的刻画。
• 通过禁止极小图障碍，建立 3-连通图中约束连通性的纯图论刻画。

提出的方法

• 定义约束拟阵 (M, X)，其中 M 为图形拟阵，X 为其元素的子集，其可实现性要求在对应图 G 中 X 为连通。
• 通过边收缩（任意）和边删除（仅限于 X 外）引入约束极小图的概念，形成一个极小图封闭类。
• 证明：一个 3-连通约束图 (G, X) 是约束连通的，当且仅当它不包含六个特定的 3-连通约束极小图作为极小图：K₄、轮图，以及四个类似柱体的构型。
• 对拟阵的 2-分离进行归纳，通过 Tutte 分解和 2-和分解非 3-连通拟阵，然后在保持 X 连通性的前提下重新组合图。
• 应用 Whitney 的 2-连通拟阵表示定理，确保图在翻转 2-分离器时唯一，从而实现对实现的稳定拼接。
• 利用特殊的收缩极小图和结构引理，证明任何不可约的 3-连通约束图必同构于六个禁止极小图之一，或为约束连通。

实验结果

研究问题

• RQ1 什么是一组完整的障碍，使得一个指定边集 X 的图形拟阵无法实现为 X 在其中连通的图？
• RQ2 3-连通图中 X-连通性是否能通过一组有限的禁止约束极小图来刻画？
• RQ3 拟阵的 2-分离和 2-和如何影响具有连通 X 的约束拟阵的可实现性？
• RQ4 一个 3-连通约束图必须具备何种结构特性，才能避免成为六个禁止构型的约束极小图？

主要发现

• 一个 3-连通约束图 (G, X) 是约束连通的（即 X 在 G 中连通）当且仅当它不包含六个指定的 3-连通约束极小图中的任意一个作为极小图。
• 这六个被排除的约束极小图为：特殊的 K₄、特殊的轮图，以及四个特殊的柱体构型，它们均为 3-连通且为图形拟阵。
• 任何避开这六个障碍的约束图，均可通过可实现分量的 2-和归纳构造，实现为 X 为连通的图。
• 该证明依赖于使用 Tutte 的 2-分离定理对非 3-连通拟阵进行分解，并通过仔细管理虚拟元素和 2-分离器处的连通性，重构实现。
• 该结果为 3-连通图中的约束连通性建立了有限禁止极小图刻画，扩展了 Tutte 对图形拟阵的刻画。
• 该刻画是紧致的：这六个障碍均为极小且必要，因为若进一步收缩或简化，将失去其障碍性质。