[论文解读] Dual trees must share their ends

Reinhard Diestel, Julian Pott|arXiv (Cornell University)|Jun 7, 2011

Advanced Graph Theory Research参考文献 3被引用 9

一句话总结

本文证明了无限对偶图必须以结构化方式共享其端点：对于两个有限可分、2-连通的图互为对偶，其生成树不仅在边集上互补，而且在端点的分配上也必须互补。关键结果是：当且仅当对于任意端点子集Ψ，一个图中的Ψ-生成树对应于其对偶图中的Ψᶜ-生成树时，对偶性成立，其中拓扑连通性通过所分配的端点来定义。

ABSTRACT

We extend to infinite graphs the matroidal characterization of finite graph duality, that two graphs are dual iff they have complementary spanning trees in some common edge set. The naive infinite analogue of this fails. The key in an infinite setting is that dual trees must share between them not only the edges of their host graphs but also their ends: the statement that a set of edges is acyclic and connects all the vertices in one of the graphs iff the remaining edges do the same in its dual will hold only once each of the two graphs' common ends has been assigned to one graph but not the other, and 'cycle' and 'connected' are interpreted topologically in the space containing the respective edges and precisely the ends thus assigned. This property characterizes graph duality: if, conversely, the spanning trees of two infinite graphs are complementary in this end-sharing way, the graphs form a dual pair.

研究动机与目标

• 为了解决经典有限图对偶性在无限图中失效的问题，即互补的生成树无法保持无环性和连通性。
• 识别无限对偶性中缺失的条件：将端点分配给其中一个图，以确保对偶图中的拓扑连通性。
• 形式化一个广义对偶框架，其中对偶生成树相对于端点子集来定义，从而恢复对偶条件。
• 证明这种带端点分配的对偶性完全刻画图的对偶性：如果生成树以这种方式互补地共享端点，则两图互为对偶。

提出的方法

• 将Ψ-生成树定义为在图G与端点子集Ψ的拓扑空间中既无环又弧连通的子图。
• 使用仅添加了Ψ中端点的拓扑空间|G|_Ψ，以定义拓扑连通性和无环性。
• 证明F ⊆ E是G中的Ψ-生成树当且仅当Fᶜ是G*中的Ψᶜ-生成树，利用拓扑连通性和无拓扑圈的性质。
• 将对偶条件应用于有限圈和割集：G*中的有限割集是G中的有限圈，当且仅当它与G*中每个Ψᶜ-生成树相交且是极小的。
• 通过弧连通分支和端点的典型邻域的反证法，证明对偶空间中的连通性和无环性。
• 利用关于对偶图之间保持端点的双射关系以及有限可分图中割集和圈的结构的已知结果。

实验结果

研究问题

• RQ1 为什么经典对偶条件（互补生成树）在无限图中会失效？
• RQ2 必须添加何种拓扑或结构条件，才能在无限图中恢复对偶性？
• RQ3 无限图的端点如何影响生成树及其补集的对偶性？
• RQ4 是否可以利用端点子集的对称条件来刻画无限图的对偶性？
• RQ5 在何种条件下，一个图中Ψ-生成树的补集是其对偶图中的Ψᶜ-生成树？

主要发现

• 经典对偶条件在无限图中失效，是因为G中普通生成树的补集在G*中可能不连通。
• 只有当G*的端点通过子集Ψ适当地分配时，G中生成树的补集才会成为G*中的拓扑生成树。
• 当端点分配满足Ψ用于G、Ψᶜ用于G*时，F ⊆ E是G中的Ψ-生成树当且仅当Fᶜ是G*中的Ψᶜ-生成树。
• 对所有子集Ψ ⊆ Ω，对偶条件成立当且仅当G与G*是对偶图，从而建立了完整的刻画。
• 在端点分配与Ψ-生成树条件一致的前提下，G的有限圈恰好对应于G*的有限割集。
• 证明依赖于：若G*中存在不连通的Ψᶜ-森林，则通过弧连通分支分析和端点邻域论证可导出矛盾。