arXiv subjects

Robert C. Haraway III

Publications and source records attributed to Robert C. Haraway III.

4 recordsLinked to original sources

arXiv2026

Verified Length Spectrum and Margulis number for Hyperbolic 3-Manifolds

We present a new algorithm to compute a stream for the length spectrum of an oriented, finite-volume hyperbolic 3-manifold $M$. The advantage over the existing algorithm by Hodgson-Weeks is that our algorithm does not require finding a Dirichlet domain and thus can use interval arithmetic to verify the result. Our algorithm is also significantly faster in some cases. We also present a new algorithm to compute the optimal Margulis number of $M$. The authors have made these algorithms available in SnapPy.

math.GT↗

arXiv2019

Determining hyperbolicity of compact orientable 3-manifolds with torus boundary

Thurston's hyperbolization theorem for Haken manifolds and normal surface theory yield an algorithm to determine whether or not a compact orientable 3-manifold with nonempty boundary consisting of tori admits a complete finite-volume hyperbolic metric on its interior. A conjecture of Gabai, Meyerhoff, and Milley reduces to a computation using this algorithm.

math.GT↗

arXiv2018

Practical bounds for a Dehn parental test

In their article "The shape of hyperbolic Dehn surgery space," Hodgson and Kerckhoff proved a powerful theorem, half of which they used to make Thurston's Dehn surgery theorem effective. The calculations derived here use both halves of Hodgson and Kerckhoff's theorem to give bounds leading towards a practical algorithm to tell, given two orientable hyperbolic 3-manifolds M, N of finite volume, whether or not M is a Dehn filling of N.

math.GT↗

arXiv2017

Tessellating the moduli space of strictly convex projective structures on the once-punctured torus

We show that associating the Euclidean cell decomposition due to Cooper and Long to each point of the moduli space of framed strictly convex real projective structures of finite volume on the once-punctured torus gives this moduli space a natural cell decomposition. The proof makes use of coordinates due to Fock and Goncharov, the action of the mapping class group as well as algorithmic real algebraic geometry. We also show that the decorated moduli space of framed strictly convex real projective structures of finite volume on the thrice-punctured sphere has a natural cell decomposition.

math.GT↗