[论文解读] A generalization of Vassiliev's planarity criterion

Tyler Friesen|arXiv (Cornell University)|Oct 4, 2012

Geometric and Algebraic Topology参考文献 3被引用 4

一句话总结

本文将Vassiliev关于X-图的平面性判别准则推广至*-图——即具有4价或6价顶点、且半边按循环序排列（允许反转）的图。证明了此类*-图可进行*-嵌入于平面中，当且仅当其不包含恰好有一个交叉顶点的边不相交环对，通过将图展开为X-图并分析环结构的拓扑性质，将Manturov定理由高阶顶点推广至更一般情形。

ABSTRACT

Motivated by his studies in knot theory V. Vassiliev introduced $X$-graphs as regular 4-valent graph with a structure of pairs of opposite edges at each vertex. He conjectured the conditions under which $X$-graph can be embedded into a plane respecting the the $X$-structure at every vertex. The conjecture was proved by V.Manturov. Here we generalize these results for graphs with vertices of valency 4 or 6, *-graphs. A problem of such generalization was posted by A.Skopenkov.

研究动机与目标

• 将Vassiliev关于4价X-图的平面性判别准则推广至具有4价与6价顶点的图。
• 将*-图定义为在每个顶点处具有无向半边循环序的图，从而推广X-结构。
• 引入*-嵌入的概念，要求在嵌入中保持顶点周围相邻半边的循环序。
• 基于Vassiliev障碍的缺失，建立*-平面性的必要与充分条件。
• 解决Skopenkov关于将Manturov定理由X-图推广至*-图的综述笔记中的问题2。

提出的方法

• 使用每个顶点处半边的无向循环序来定义*-图，从而推广4价顶点的X-结构。
• 将*-嵌入定义为保持每个顶点周围相邻半边循环序的嵌入。
• 通过将每个6-顶点替换为一个由三个具有X-结构的4-顶点构成的三角形，构造*-图到X-图的展开。
• 证明*-图存在*-嵌入当且仅当其展开图存在X-嵌入，利用嵌入的拓扑变换进行证明。
• 分析展开图中的环结构，证明展开图中存在Vassiliev障碍意味着原*-图中也存在Vassiliev障碍。
• 通过分情况讨论经过展开6-顶点的环通过类型（闭合、交叉、开放），保持或重构障碍。

实验结果

研究问题

• RQ1 Vassiliev关于X-图的平面性判别准则能否推广至具有4价与6价顶点的图？
• RQ2 X-结构在高阶顶点上的适当推广是什么？嵌入应如何尊重这种结构？
• RQ3 在4价与6价的*-图中，若不存在Vassiliev障碍（一对边不相交且恰好有一个交叉顶点的环），是否能表征*-平面性？
• RQ4 将6-顶点展开为三个4-顶点构成的三角形，如何保持或反映平面性障碍的拓扑性质？
• RQ5 在4价与6价顶点的*-图中，*-嵌入的存在性是否等价于Vassiliev障碍的不存在？

主要发现

• 仅含4价与6价顶点的*-图可进行平面*-嵌入，当且仅当其不包含Vassiliev障碍。
• 将*-图展开为X-图的过程保持了平面性障碍：若展开图非平面，则原*-图亦非平面。
• 证明依赖于将展开图的X-嵌入转化为原*-图的*-嵌入，通过调整展开6-顶点周围的嵌入实现。
• 展开图中存在Vassiliev障碍意味着原*-图中也存在Vassiliev障碍，无论展开6-顶点处的环结构如何。
• 通过展开6-顶点的环结构变换保持了关键的交叉条件，确保障碍在展开过程中被继承。
• 该结果将Manturov关于X-图的定理推广至更广泛的图类，完整刻画了*-平面性。