According to Mostow's celebrated rigidity theorem, the geometry of closed hyperbolic 3-manifolds is already determined by their topology. In particular, the volume of such manifolds is a topological invariant and, as such, has been investigated for half a century. Motivated by the algorithmic study of 3-manifolds, Maria and Purcell have recently shown that every closed hyperbolic 3-manifold M with volume vol(M) admits a triangulation with dual graph of treewidth at most C vol(M), for some universal constant C. Here we improve on this result by showing that the volume provides a linear upper bound even on the pathwidth of the dual graph of some triangulation, which can potentially be much larger than the treewidth. Our proof relies on a synthesis of tools from 3-manifold theory: generalized Heegaard splittings, amalgamations, and the thick-thin decomposition of hyperbolic 3-manifolds. We provide an illustrated exposition of this toolbox and also discuss the algorithmic consequences of the result.
翻译:根据Mostow著名的僵硬理论,闭合双曲三肢的几何学已经由它们的地形学决定。 特别是, 这些元体的体积是一个地形变异性, 因而已经调查了半个世纪。 Maria 和 Purcell在对三肢的算法研究的推动下,最近显示, 每张闭合双曲三肢的卷(M) 都以双色的Cvol(M) 图解对一些通用常数C 进行三角。 我们在这里改进了这一结果, 显示这些元体甚至在某些三角图的路径上提供了线性上线性上线性圈, 这可能会比树枝大得多。 我们的证据依赖于三肢理论中工具的合成: 普通的海加德分裂、 混合和 厚丁高偏心的三肢解析。 我们提供了这个工具箱的插图解, 并讨论了结果的算法后果。