
arXiv: 2105.11371
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 subject of investigations 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.
Computing in Geometry and Topology, Vol. 1 No. 1 (2022)
complexité paramétrée, Computational Geometry (cs.CG), FOS: Computer and information sciences, largeur arborescente linéaire, topologie algorithmique des 3-variétés, Triangulating manifolds, largeur arborescente, G.2.2, Computational methods for problems pertaining to general topology, computational 3-manifold topology, Mathematics - Geometric Topology, divisions de Heegaard généralisées, solubilité à paramètre fixé, treewidth, thick-thin decomposition, FOS: Mathematics, [MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT], F.2.2; G.2.2, volume, 3-variétés hyperboliques, hyperbolic 3-manifolds, generalized Heegaard splittings, computational topology, 57Q15, 57N10, 05C75, 57M15, pathwidth, Geometric Topology (math.GT), décomposition épaisse-fine, [INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG], dual graph of a triangulation, fixed-parameter tractability, Computer Science - Computational Geometry, F.2.2, Hyperbolic 3-manifolds
complexité paramétrée, Computational Geometry (cs.CG), FOS: Computer and information sciences, largeur arborescente linéaire, topologie algorithmique des 3-variétés, Triangulating manifolds, largeur arborescente, G.2.2, Computational methods for problems pertaining to general topology, computational 3-manifold topology, Mathematics - Geometric Topology, divisions de Heegaard généralisées, solubilité à paramètre fixé, treewidth, thick-thin decomposition, FOS: Mathematics, [MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT], F.2.2; G.2.2, volume, 3-variétés hyperboliques, hyperbolic 3-manifolds, generalized Heegaard splittings, computational topology, 57Q15, 57N10, 05C75, 57M15, pathwidth, Geometric Topology (math.GT), décomposition épaisse-fine, [INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG], dual graph of a triangulation, fixed-parameter tractability, Computer Science - Computational Geometry, F.2.2, Hyperbolic 3-manifolds
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
