Verified Computations for Hyperbolic 3-Manifolds

Neil Hoffman, Kazuhiro Ichihara, Masahide Kashiwagi, Hidetoshi Masai, Shinichi Oishi, Akitoshi Takayasu

Research output: Contribution to journalArticlepeer-review

31 Citations (Scopus)

Abstract

For a given cusped 3-manifold M admitting an ideal triangulation, we describe a method to rigorously prove that either M or a filling of M admits a complete hyperbolic structure via verified computer calculations. Central to our method is an implementation of interval arithmetic and Krawczyks 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.

Original languageEnglish
Pages (from-to)66-78
Number of pages13
JournalExperimental Mathematics
Volume25
Issue number1
DOIs
Publication statusPublished - 2016 Jan 2

Keywords

  • Krawczyk's test
  • hyperbolic 3-manifold
  • interval arithmetic
  • verified numerical computations

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'Verified Computations for Hyperbolic 3-Manifolds'. Together they form a unique fingerprint.

Cite this