Verified computations for hyperbolic 3-manifolds
From MaRDI portal
Publication:2801070
DOI10.1080/10586458.2015.1029599zbMATH Open1337.57044arXiv1310.3410OpenAlexW1926392198MaRDI QIDQ2801070FDOQ2801070
Authors: Neil R. Hoffman, Kazuhiro Ichihara, Masahide Kashiwagi, Hidetoshi Masai, Shin'ichi Oishi, Akitoshi Takayasu 
Publication date: 19 April 2016
Published in: Experimental Mathematics (Search for Journal in Brave)
Abstract: For a given cusped 3-manifold admitting an ideal triangulation, we describe a method to rigorously prove that either or a filling of admits a complete hyperbolic structure via verified computer calculations. Central to our method are an implementation of interval arithmetic and Krawczyk's Test. These techniques represent an improvement over existing algorithms as they are faster, while accounting for error accumulation in a more direct and user friendly way.
Full work available at URL: https://arxiv.org/abs/1310.3410
Recommendations
- Verified computations for closed hyperbolic 3‐manifolds
- Algorithmic detection and description of hyperbolic structures on closed 3-manifolds with solvable word problem
- Proving a manifold to be hyperbolic once it has been approximated to be so
- Combinatorial Ricci flows with applications to the hyperbolization of cusped 3-manifolds
- Construction and recognition of hyperbolic 3-manifolds with geodesic boundary
General geometric structures on low-dimensional manifolds (57M50) General methods in interval analysis (65G40)
Cites Work
- Three dimensional manifolds, Kleinian groups and hyperbolic geometry
- Volumes of hyperbolic three-manifolds
- Homotopy hyperbolic 3-manifolds are hyperbolic
- Verification methods: rigorous results using floating-point arithmetic
- Computing Arithmetic Invariants of 3-Manifolds
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- A census of cusped hyperbolic 3-manifolds
- Proving a manifold to be hyperbolic once it has been approximated to be so
- Introduction to Automatic Differentiation and MATLAB Object-Oriented Programming
- Exceptional Dehn surgery on the minimally twisted five-chain link
- Symmetries, Isometries and Length Spectra of Closed Hyperbolic Three-Manifolds
- Fehlerabschätzung reeller Eigenwerte und Eigenvektoren von Matrizen
Cited In (24)
- Floer homology, group orderability, and taut foliations of hyperbolic 3-manifolds
- Rigorous computations with an approximate Dirichlet domain
- Complete exceptional surgeries on two-bridge links
- Cosmetic banding on knots and links
- Absolutely exotic compact 4-manifolds
- COMPUTING CONSTANT-CURVATURE METRICS FOR HYPERBOLIC 3-MANIFOLDS WITH BOUNDARIES USING TRUNCATED TETRAHEDRAL MESHES
- Norms on the cohomology of hyperbolic 3-manifolds
- A census of exceptional Dehn fillings
- Prime amphicheiral knots with free period 2
- Experimental statistics of veering triangulations
- Random veering triangulations are not geometric
- Knot concordances in \(S^1\times S^2\) and exotic smooth \(4\)-manifolds
- Practical bounds for a Dehn parental test
- On satellite knots with symmetric union presentations
- The Seiberg-Witten equations and the length spectrum of hyperbolic three-manifolds
- hikmot
- On the geometry of rod packings in the 3‐torus
- A Survey of the Impact of Thurston’s Work on Knot Theory
- Infinitely many virtual geometric triangulations
- Verified computations for closed hyperbolic 3‐manifolds
- Equivariant hyperbolization of 3-manifolds via homology cobordisms
- On constraints for knots to admit chirally cosmetic surgeries and their calculations
- Proving a manifold to be hyperbolic once it has been approximated to be so
- Ideal points of character varieties, algebraic non-integral representations, and undetected closed essential surfaces in 3–manifolds
Uses Software
This page was built for publication: Verified computations for hyperbolic 3-manifolds
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2801070)
