[论文解读] Forbidden Minors For 3-Connected Graphs With No Non-Splitting 5-Configurations

Iain Crump|arXiv (Cornell University)|Dec 6, 2013

Advanced Topics in Algebra参考文献 21被引用 3

一句话总结

本文确定了在所有5-配置下均分裂的简单3-连通图的完整禁止极小图集合——这对理解量子场论中费曼积分的分母可约性至关重要。利用图极小理论和多普森多项式不变量，证明了$K_5$、$K_{3,3}$、八面体、立方体以及立方体的$\triangle$-Y变换是唯一的此类禁止极小图，从而为3-连通图建立了有限障碍集。

ABSTRACT

For a set of five edges, a graph splits if one of the associated Dodgson polynomials is equal to zero. A graph G splitting for every set of five edges is a minor-closed property. As such there is a finite set of forbidden minors F such that if a graph H does not contain a minor isomorphic to any graph in F, then H splits. In this paper we prove that if a graph G is simple, 3-connected, and splits, then G must not contain any minors isomorphic to K5, K3,3, the octahedron, the cube, or a graph that is a single delta-Y transformation away from the cube. As such this is the set of all simple 3-connected forbidden minors. The complete set of 2-connected or non-simple forbidden minors remains unresolved, though a number have been found.

研究动机与目标

• 确定在所有5-配置下均分裂的简单3-连通图的完整禁止极小图集合。
• 在无质量量子场论的背景下，为3-连通图的分母可约性建立有限障碍集。
• 利用图极小理论和$\triangle$-Y变换，阐明3-连通图中极小非分裂5-配置的结构。
• 明确$K_5$、$K_{3,3}$、八面体、立方体及其$\triangle$-Y变体在3-连通、简单情形下作为唯一禁止极小图的作用。

提出的方法

• 应用图极小理论，识别出在所有5-配置下分裂这一极小封闭性质的有限障碍集。
• 利用多普森多项式和五元不变量，表征图中5条边配置分裂的条件。
• 分析了$\triangle$-Y和$Y$-$\triangle$变换对非分裂配置的影响，证明此类操作下非分裂性保持不变。
• 采用完整分量构造和两顶点割分析，将问题约化至3-连通图。
• 证明含桥或度为2的顶点的图不能是原始发散的，从而排除其作为极小非分裂图候选的可能性。
• 利用对偶性和极小性论证，验证仅有五类特定图——$K_5$、$K_{3,3}$、八面体、立方体及其$\triangle$-Y变换——构成禁止极小图。

实验结果

研究问题

• RQ1 在所有5-配置下均分裂的简单3-连通图的完整禁止极小图集合是什么？
• RQ2 $K_5$、$K_{3,3}$、八面体、立方体以及立方体的$\triangle$-Y变换是否是3-连通、简单情形下唯一的极小非分裂图？
• RQ3 $\triangle$-Y变换如何影响图中5-配置的分裂行为？
• RQ4 3-连通图中所有非分裂5-配置是否均可约化为已知的极小障碍图？
• RQ5 对于3-连通、简单图，禁止极小图的列表是否完整？2-连通或非简单图中尚待解决的问题是什么？

主要发现

• 在无非分裂5-配置的简单3-连通图中，禁止极小图的完整集合由$K_5$、$K_{3,3}$、八面体、立方体以及通过一次$\triangle$-Y变换从立方体得到的图构成。
• 3-连通图中任一极小非分裂5-配置必须同构于这五类图之一。
• 含桥或度为2的顶点的图不能是原始发散的，因此不能是极小非分裂图。
• $\triangle$-Y变换保持非分裂行为（对于不涉及变换边的5-配置），从而支持结构分类。
• 具有两顶点割的图的费曼积分余因子可分解为其3-连通分量余因子的乘积，这解释了为何可聚焦于3-连通图。
• 尚未解决的问题是分类所有2-连通或非简单图的禁止极小图，尽管已识别出若干此类图。