[论文解读] Embeddability in the 3-sphere is decidable

Jiřı́ Matoušek, Eric Sedgwick+2 more|arXiv (Cornell University)|Feb 4, 2014

Topological and Geometric Data Analysis参考文献 31被引用 13

一句话总结

本文证明了判断一个二维单纯复形是否可嵌入三维空间（具体而言，嵌入3-球面S³）是算法可判定的。关键洞见在于：若此类嵌入存在，则总存在一种嵌入方式，使得其上存在一条长度有界的短子午线——即在加厚复形边界上的曲线，该曲线在补集内界合一个圆盘——其长度由单纯形数量的可计算函数所界定。

ABSTRACT

We show that the following algorithmic problem is decidable: given a $2$-dimensional simplicial complex, can it be embedded (topologically, or equivalently, piecewise linearly) in $\mathbf{R}^3$? By a known reduction, it suffices to decide the embeddability of a given triangulated 3-manifold $X$ into the 3-sphere $S^3$. The main step, which allows us to simplify $X$ and recurse, is in proving that if $X$ can be embedded in $S^3$, then there is also an embedding in which $X$ has a short meridian, i.e., an essential curve in the boundary of $X$ bounding a disk in $S^3\setminus X$ with length bounded by a computable function of the number of tetrahedra of $X$.

研究动机与目标

• 解决长期悬而未决的开放问题：2-复形在R³中的可嵌入性是否可判定。
• 建立任意带边3-流形在S³中嵌入时，其短子午线长度的可计算上界。
• 将R³中2-复形可嵌入性问题约化为带边三角剖分3-流形在S³中嵌入的可判定性问题。
• 基于短子午线，提供一种递归的算法框架，用于简化并测试可嵌入性。

提出的方法

• 将EMBED 2→3问题约化为测试该复形的3-加厚（即带边的三角剖分3-流形）是否可嵌入S³。
• 使用Neuwirth算法，计算给定2-复形的所有可能3-加厚，直至同胚。
• 证明：若带边的3-流形可嵌入S³，则存在一种嵌入方式，使得其边界上存在一条短子午线——即在边界上且在补集内界合一个圆盘的非零伦曲线——其长度由单纯形数量的可计算函数所界定。
• 应用PL Schoenflies定理，通过将四面体内部映射到已嵌入球面的补集分量，将嵌入从2-骨架扩展至整个四面体。
• 利用短子午线的存在性，递归简化复形并减小问题规模。
• 利用S³中2-复形的拓扑嵌入与PL嵌入的等价性，确保算法的一致性。

实验结果

研究问题

• RQ1 是否存在一个算法，可判定给定的二维单纯复形是否可嵌入R³？
• RQ2 若带边3-流形可嵌入S³，是否可保证其存在一条短子午线？
• RQ3 此类短子午线的长度是否有效依赖于复形中单纯形的数量？
• RQ4 3-复形在R³中的可嵌入性问题是否可约化为带边3-流形在S³中的可嵌入性问题？

主要发现

• EMBED 2→3问题具有可判定性，即存在一个有限算法，可确定2-复形是否可嵌入R³。
• 若一个带边的三角剖分3-流形可嵌入S³，则存在一种嵌入方式，使得其边界上存在一条短子午线——即在边界上且在补集内界合一个圆盘的非零伦曲线——其长度由单纯形数量的可计算函数所界定。
• EMBED 2→3的算法基于利用短子午线递归简化复形，短子午线的存在性使得可执行缩减步骤。
• EMBED 3→3问题同样具有可判定性，因其可通过简单的拓扑构造约化为EMBED 2→3问题。
• 该算法的运行时间是原始递归的，尽管其上界极高——超过迭代指数塔的规模——因此重点在于可判定性而非效率。
• 该问题至少与识别S³一样困难，尽管后者属于NP，但EMBED 2→3的复杂度在可判定性之外仍属开放。