[论文解读] 3-Manifold triangulations with small treewidth

Kristóf Huszár, Jonathan Spreer|arXiv (Cornell University)|Dec 13, 2018

Topological and Geometric Data Analysis参考文献 41被引用 3

一句话总结

本文通过将3-流形三角剖分的分支宽与赫加德亏格和塞弗特纤维化结构等拓扑不变量联系起来，建立了其紧致界。研究表明，对于闭合、可定向的3-流形，分支宽至多为4g(M) − 2，其中g(M)为赫加德亏格；并完全刻画了分支宽为1和2的3-流形——具体而言，分支宽为1的包括透镜空间和一个例外的塞弗特纤维化空间，分支宽为2的包括所有在S²或非可定向曲面上的可定向塞弗特纤维化空间。结果表明，基于分支宽的固定参数可追踪算法适用于一大类3-流形，包括所有球面几何和S²×R几何的流形。

ABSTRACT

Motivated by fixed-parameter tractable (FPT) problems in computational topology, we consider the treewidth of a compact, connected 3-manifold $M$ defined by \[ \operatorname{tw}(M) = \min\{\operatorname{tw}(\Gamma(\mathcal{T})):\mathcal{T}~ ext{is a triangulation of }M\}, \] where $\Gamma(\mathcal{T})$ denotes the dual graph of $\mathcal{T}$. In this setting the relationship between the topology of a 3-manifold and its treewidth is of particular interest. First, as a corollary of work of Jaco and Rubinstein, we prove that for any closed, orientable 3-manifold $M$ the treewidth $\operatorname{tw}(M)$ is at most $4\mathfrak{g}(M)-2$ where $\mathfrak{g}(M)$ denotes the Heegaard genus of $M$. In combination with our earlier work with Wagner, this yields that for non-Haken manifolds the Heegaard genus and the treewidth are within a constant factor. Second, we characterize all 3-manifolds of treewidth one: These are precisely the lens spaces and a single other Seifert fibered space. Furthermore, we show that all remaining orientable Seifert fibered spaces over the 2-sphere or a non-orientable surface have treewidth two. In particular, for every spherical 3-manifold we exhibit a triangulation of treewidth at most two. Our results further validate the parameter of treewidth (and other related parameters such as cutwidth, or congestion) to be useful for topological computing, and also shed more light on the scope of existing FPT algorithms in the field.

研究动机与目标

• .
• 确定给定3-流形的所有三角剖分中可能的最小分支宽。
• 根据其拓扑结构，刻画分支宽较小（≤2）的3-流形。
• 建立经典不变量（如赫加德亏格）与算法相关参数（如分支宽）之间的联系。
• 验证分支宽作为计算3-流形拓扑中固定参数可追踪算法的有用参数。

提出的方法

• .
• 使用对偶图分支宽作为三角剖分复杂度的度量，定义为流形所有三角剖分中分支宽的最小值。
• 应用Jaco和Rubinstein关于赫加德分裂的结果，以赫加德亏格为依据界定切割宽度，从而界定分支宽。
• 通过核心组件和模块化组件（如M"obius实验室、机械臂）构建显式分层三角剖分，以实现低分支宽。
• 采用分层三角剖分技术，为S²和非可定向曲面上的塞弗特纤维化空间构建分支宽为2的三角剖分。
• 通过双图分析和分支宽计算验证构造结果，确认球面几何和S²×R几何的分支宽≤2。
• 使用Regina脚本实现并验证三角剖分，支持可复现性和实际应用。

实验结果

研究问题

• RQ1 .
• RQ2 3-流形的赫加德亏格与其三角剖分的最小分支宽之间有何关系？
• RQ3 哪些3-流形的分支宽恰好为1？哪些的分支宽恰好为2？
• RQ4 是否可以对所有具有球面或S²×R几何的3-流形统一有界分支宽？
• RQ5 最小三角剖分是否总是具有最小分支宽？或者非最小三角剖分是否能进一步降低分支宽？
• RQ6 在3-流形三角剖分的背景下，分支宽与其他图参数（如切割宽度和拥塞）有何关系？

主要发现

• .
• 对于任意闭合、可定向的3-流形M，其分支宽tw(M)至多为4g(M) − 2，其中g(M)为赫加德亏格。
• 唯一分支宽为1的3-流形是赫加德亏格至多为1的流形，以及特定的塞弗特纤维化空间SFS[S²∶(2,1),(2,1),(2,−1)]。
• 所有在S²或非可定向曲面上的可定向塞弗特纤维化空间的分支宽至多为2。
• 所有具有球面或S²×R几何的3-流形的分支宽至多为2，包括透镜空间和其他球面3-流形。
• 在≤10个单形的4979个3-流形中，3,799个的分支宽至多为2，仅有90个的分支宽可能大于2。
• 庞加莱同调球体Σ₃的分支宽为2，但其最小三角剖分的分支宽为4，表明最小三角剖分并不总能最小化分支宽。