Showing 1–2 of 2 results for author: Tsuruga, M

Frontiers of sphere recognition in practice

Authors: Michael Joswig, Davide Lofano, Frank H. Lutz, Mimi Tsuruga

Abstract: Sphere recognition is known to be undecidable in dimensions five and beyond, and no polynomial time method is known in dimensions three and four. Here we report on positive and negative computational results with the goal to explore the limits of sphere recognition from a practical point of view. An important ingredient are randomly constructed discrete Morse functions. Sphere recognition is known to be undecidable in dimensions five and beyond, and no polynomial time method is known in dimensions three and four. Here we report on positive and negative computational results with the goal to explore the limits of sphere recognition from a practical point of view. An important ingredient are randomly constructed discrete Morse functions. △ Less

Submitted 25 November, 2021; v1 submitted 15 May, 2014; originally announced May 2014.

Comments: 27 pages, 4 figures, 8 tables, revised and updated, new Section 3.2 on processing Regina's census of 4-manifolds with up to six pentachora

MSC Class: 57Q15; 57Q05; 57M05; 57M40; 57N12; 52B70; 52B05; 52B22; 55N35

Constructing Complicated Spheres

Authors: Mimi Tsuruga, Frank H. Lutz

Abstract: Fast and efficient homology algorithms are in demand in the applied sciences for analyzing solid materials and proteins, processing digital imaging data, or pattern classification among others. Recent advances employ discrete Morse theory as a preprocessor. Research in this area has lead to the need to find complicated test examples. We present an infinite series of examples that have been constru… ▽ More Fast and efficient homology algorithms are in demand in the applied sciences for analyzing solid materials and proteins, processing digital imaging data, or pattern classification among others. Recent advances employ discrete Morse theory as a preprocessor. Research in this area has lead to the need to find complicated test examples. We present an infinite series of examples that have been constructed to test some of the latest algorithms under development. This family of 4-spheres (known as the Akbulut-Kirby spheres) is based on a handlebody construction via finitely presented groups. △ Less

Submitted 4 March, 2013; v1 submitted 27 February, 2013; originally announced February 2013.

Comments: 4 pages, 6 figures, extended abstract, EuroCG 2013, reference added

MSC Class: 57Q15; 57Q05; 57N13; 57R60; 52B70; 52B05; 55N35