[论文解读] Intrinsically knotted graphs with 21 edges

Jamison Barsotti, Thomas W. Mattman|arXiv (Cornell University)|Mar 27, 2013

Computational Geometry and Mesh Generation参考文献 11被引用 3

一句话总结

本文证明了通过在 $K_7$ 上进行 $\nabla\mathrm{Y}$ 变换得到的14个图，是唯一具有21条边的极小非平凡扭结图（MMIK）图。通过从顶点数递减的图开始进行归纳，并利用 $\nabla\mathrm{Y}$ 变换保持非平凡扭结性质这一事实，作者证明了不存在其他具有21条边的图是MMIK，从而完成了按边数对MMIK图的分类。

ABSTRACT

We show that the 14 graphs obtained by $ abla\mathrm{Y}$ moves on K_7 constitute a complete list of the minor minimal intrinsically knotted graphs on 21 edges. We also present evidence in support of a conjecture that the 20 graph Heawood family, obtained by a combination of $ abla\mathrm{Y}$ and $\mathrm{Y} abla$ moves on K_7, is the list of graphs of size 21 that are minor minimal with respect to the property not 2--apex.

研究动机与目标

• 完成按边数对极小非平凡扭结图（MMIK）的分类，特别针对边数为21的图。
• 证明通过在 $K_7$ 上进行 $\nabla\mathrm{Y}$ 变换得到的14个图（即KS图）是唯一具有21条边的MMIK图。
• 研究海伍德族（由 $K_7$ 经 $\nabla\mathrm{Y}$ 和 $\mathrm{Y}\nabla$ 变换生成）是否包含所有边数为21的极小非2-顶点可平面图（MMN2A）图。
• 考察在边数为21的图中，$\mathrm{Y}\nabla$ 变换是否保持非2-顶点可平面性质。

提出的方法

• 从14阶图开始，通过顶点数递减的归纳法，分析边数为21的可能MMIK图，覆盖11至13阶图。
• 利用 $\nabla\mathrm{Y}$ 变换保持非平凡扭结性质这一事实（该性质归因于Sachs），在图变换过程中维持IK状态。
• 应用度序列分析与顶点删除论证：对于边数为21的图 $G$，若对任意两个顶点 $a, b$，均有 $G - a, b$ 是平面图，则 $G$ 不是N2A，与假设其为MMIK或MMN2A矛盾。
• 利用小规模非平面图的已知分类（如 (7,10)、(7,11)、(8,12)、(8,13)）通过案例分析排除候选图。
• 应用 $YT$ 变换（即 $\nabla\mathrm{Y}$ 的一种形式）将度数为3的顶点的图简化为更小的图，依赖于引理1.4以保持N2A性质。
• 利用度数为4和度数为5的图中的对称性与邻接约束，排除 $G - a, b$ 为平面图的配置，从而与N2A或MMIK状态矛盾。

实验结果

研究问题

• RQ1 通过 $\nabla\mathrm{Y}$ 变换从 $K_7$ 得到的14个KS图是否是唯一具有21条边的极小非平凡扭结图？
• RQ2 海伍德族（即通过 $K_7$ 经 $\nabla\mathrm{Y}$ 和 $\mathrm{Y}\nabla$ 变换得到的20个图）是否完整列出了所有边数为21的极小非2-顶点可平面图（MMN2A）？
• RQ3 $\mathrm{Y}\nabla$ 变换是否在边数为21的图中保持非2-顶点可平面性质？
• RQ4 是否存在最小的图，其本身是非2-顶点可平面的，但经过 $\mathrm{Y}\nabla$ 变换后变为2-顶点可平面？

主要发现

• 通过在 $K_7$ 上进行 $\nabla\mathrm{Y}$ 变换得到的14个图，是唯一具有21条边的极小非平凡扭结图（MMIK）图。
• 所有连通的21条边的非平凡扭结图都是极小非平凡扭结图，因为已知边数为20的图都不是非平凡扭结图。
• 对于阶数为11、12或13且边数为21的图，任何非2-顶点可平面图都必须属于海伍德族。
• 阶数为14或更高的极小非2-顶点可平面图必须是海伍德图，因为它们必须满足最小度数为3且具有相同的结构约束。
• 当度序列满足 $\{4^8, 5^2\}$ 且两个度数为5的顶点相邻，且 $G - a, b$ 是一个8阶的3-正则图时，仅存在一种可能：即海伍德族中的图20。
• 若一个10阶图边数为21且是非2-顶点可平面的，且最小度数大于3，则它必为海伍德族中的图20，从而确认其在此类图中的唯一性。