Verified Computations for Hyperbolic 3-Manifolds

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

doi:10.1080/10586458.2015.1029599

Verified Computations for Hyperbolic 3-Manifolds

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

^*Corresponding author for this work

School of Fundamental Science and Engineering

Research output: Contribution to journal › Article › peer-review

21 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 language	English
Pages (from-to)	66-78
Number of pages	13
Journal	Experimental Mathematics
Volume	25
Issue number	1
DOIs	https://doi.org/10.1080/10586458.2015.1029599
Publication status	Published - 2016 Jan 2

Keywords

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

ASJC Scopus subject areas

Mathematics(all)

Access to Document

10.1080/10586458.2015.1029599

Cite this

@article{e8ada93cbb9f4b7cbc4269ec24816671,

title = "Verified Computations for Hyperbolic 3-Manifolds",

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.",

keywords = "Krawczyk's test, hyperbolic 3-manifold, interval arithmetic, verified numerical computations",

author = "Neil Hoffman and Kazuhiro Ichihara and Masahide Kashiwagi and Hidetoshi Masai and Shinichi Oishi and Akitoshi Takayasu",

note = "Publisher Copyright: {\textcopyright} 2015 Taylor and Francis Group, LLC.",

year = "2016",

month = jan,

day = "2",

doi = "10.1080/10586458.2015.1029599",

language = "English",

volume = "25",

pages = "66--78",

journal = "Experimental Mathematics",

issn = "1058-6458",

publisher = "A K Peters",

number = "1",

}

TY - JOUR

T1 - Verified Computations for Hyperbolic 3-Manifolds

AU - Hoffman, Neil

AU - Ichihara, Kazuhiro

AU - Kashiwagi, Masahide

AU - Masai, Hidetoshi

AU - Oishi, Shinichi

AU - Takayasu, Akitoshi

PY - 2016/1/2

Y1 - 2016/1/2

N2 - 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.

AB - 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.

KW - Krawczyk's test

KW - hyperbolic 3-manifold

KW - interval arithmetic

KW - verified numerical computations

UR - http://www.scopus.com/inward/record.url?scp=84948435158&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84948435158&partnerID=8YFLogxK

U2 - 10.1080/10586458.2015.1029599

DO - 10.1080/10586458.2015.1029599

M3 - Article

AN - SCOPUS:84948435158

SN - 1058-6458

VL - 25

SP - 66

EP - 78

JO - Experimental Mathematics

JF - Experimental Mathematics

IS - 1

ER -

Verified Computations for Hyperbolic 3-Manifolds

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this