[论文解读] Embedding simply connected 2-complexes in 3-space -- I. A Kuratowski-type characterisation

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

Topological and Geometric Data Analysis被引用 4

一句话总结

本文通过引入一种新型的极小关系——'空间极小'（space minors）——将图极小关系推广至二维复形，建立了对单连通、局部3连通的二维单纯复形嵌入三维空间的Kuratowski型刻画。关键结果是给出了一个有限的禁止空间极小列表，该列表完全刻画了可嵌入性，将Kuratowski定理推广至三维拓扑领域。

ABSTRACT

We characterise the embeddability of simply connected locally 3-connected 2-dimensional simplicial complexes in 3-space in a way analogous to Kuratowski's characterisation of graph planarity, by excluded minors. This answers questions of Lovász, Pardon and Wagner.

研究动机与目标

• 为单连通、局部3连通的二维单纯复形何时可嵌入三维空间提供结构化刻画。
• 通过一种新的极小关系，将Kuratowski关于图平面性的定理推广至三维复形。
• 解决Lovász、Pardon和Wagner提出的关于可缩二维复形在三维空间中嵌入障碍的开放问题。
• 定义并形式化'空间极小'的概念——即图极小在二维复形上的推广——从而实现基于有限障碍的刻画。
• 建立可嵌入性与特定禁止空间极小缺失之间的等价关系，类似于平面性中的$K_5$和$K_{3,3}$障碍。

提出的方法

• 引入'空间极小'作为图极小的推广，通过边/面删除、边/面收缩（带约束条件）以及顶点分裂来定义。
• 证明空间极小关系保持在三维空间中的可嵌入性，并在二维复形上形成一个良基关系。
• 将平面旋转系统作为关键的拓扑不变量：一个二维复形可嵌入$\mathbb{S}^3$当且仅当它具有平面旋转系统。
• 建立可嵌入性与特定禁止空间极小缺失之间的等价关系，包括八面体障碍和$K_5$的锥体。
• 定义一个有限列表$\mathcal{Z}$作为禁止空间极小，使得一个复形可嵌入三维空间当且仅当它不包含$\mathcal{Z}$中的任何极小。
• 利用拟阵极小的对偶性与链图分析，将问题简化为检查是否存在非平面链图或特定标记极小。

实验结果

研究问题

• RQ1 在二维复形的背景下，Kuratowski图平面性定理的三维类比是什么？
• RQ2 哪些结构障碍会阻止一个单连通、局部3连通的二维复形嵌入三维空间？
• RQ3 能否为二维复形定义一种极小关系，使其可刻画在三维空间中的可嵌入性，类似于图极小关系？
• RQ4 是否存在一个有限的禁止极小列表，能完全刻画此类二维复形的可嵌入性？
• RQ5 局部障碍（如非平面链图）与全局障碍（如八面体障碍）在三维空间可嵌入性中如何关联？

主要发现

• 一个二维复形可嵌入三维空间当且仅当它不包含有限列表$\mathcal{Z}$中的任何空间极小，从而提供了完整的障碍基刻画。
• 八面体障碍——通过在八面体上添加三个4-面构成——无法嵌入三维空间，且该障碍可通过空间极小检测到。
• $K_5$的锥体是一个禁止极小，因为其链图是非平面的，且该障碍被空间极小框架所捕获。
• 对于单连通、局部3连通的二维复形，存在平面旋转系统等价于其在$\mathbb{S}^3$中的可嵌入性。
• 空间极小关系是良基的且保持可嵌入性，从而支持在面数线性时间内进行可嵌入性的算法验证。
• 该刻画可推广至一阶同调平凡的复形：可嵌入性等价于其链图中不包含$K_5$、$K_{3,3}$或$\mathcal{Y}$中的12个标记图作为极小或标记极小。