Related papers: Algorithms in 3-manifold theory
We introduce a new technique for finding CAT(-1) surfaces in hyperbolic 3-manifolds. We use this to show that a complete hyperbolic 3-manifold with finitely generated fundamental group is geometrically and topologically tame.
In this paper we discuss the basic problems of algorithmic algebraic number theory. The emphasis is on aspects that are of interest from a purely mathematical point of view, and practical issues are largely disregarded. We describe what has…
We use our new type of bounded locally homeomorphic quasiregular mappings in the unit 3-ball to address long standing problems for such mappings. The construction of such mappings comes from our construction of non-trivial compact…
We survey both old and new developments in the theory of algorithms in real algebraic geometry -- starting from effective quantifier elimination in the first order theory of reals due to Tarski and Seidenberg, to more recent algorithms for…
Quantum invariants in low dimensional topology offer a wide variety of valuable invariants of knots and 3-manifolds, presented by explicit formulas that are readily computable. Their computational complexity has been actively studied and is…
We advocate the use of cluster algebras and their y-variables in the study of hyperbolic 3-manifolds. We study hyperbolic structures on the mapping tori of pseudo-Anosov mapping classes of punctured surfaces, and show that cluster…
The aim of these notes is to acquaint the reader with important objects in complex algebraic geometry: K3 surfaces and their higher-dimensional analogs, hyperk\"ahler manifolds. These manifolds are interesting from several points of view:…
Manifold optimization is ubiquitous in computational and applied mathematics, statistics, engineering, machine learning, physics, chemistry and etc. One of the main challenges usually is the non-convexity of the manifold constraints. By…
This paper continues a geometric study of Harvey's Complex of Curves, whose ultimate goal is to apply the theory of hyperbolic spaces and groups to algorithmic questions for the Mapping Class Group and geometric properties of Kleinian…
We perform a refined complexity-theoretic analysis of three classical problems in the context of Hierarchical Task Network Planning: the verification of a provided plan, whether an executable plan exists, and whether a given state can be…
This is a survey on algorithmic questions about combinatorial and geometric properties of convex polytopes. We give a list of 35 problems; for each the current state of knowledege on its theoretical complexity status is reported. The…
Group theory is a particularly fertile field for the design of practical algorithms. Algorithms have been developed across the various branches of the subject and they find wide application. Because of its relative maturity, computational…
This note is concerned in so called harmonic complex structures introduced by the author previously. I will recall some previous results and emphasize the motivation: Provide an attempt to a fundamental problem in geometry--determining the…
A theory of finite type invariants for arbitrary compact oriented 3-manifolds is proposed, and illustrated through many examples arising from both classical and quantum topology. The theory is seen to be highly non-trivial even for…
Decision theories offer principled methods for making choices under various types of uncertainty. Algorithms that implement these theories have been successfully applied to a wide range of real-world problems, including materials and drug…
We study a notion of strict pseudoconvexity in the context of topologically (often unsmoothably) embedded 3-manifolds in complex surfaces. Topologically pseudoconvex (TPC) 3-manifolds behave similarly to their smooth analogues, cutting out…
We prove that fundamental groups of non-orientable 3-manifolds have a solvable conjugacy problem, and construct an algorithm. Together with our earlier work on the conjugacy problem in groups on orientable geometrizable 3-manifolds, all…
We survey work on the topology of the space AH(M) of all (marked) hyperbolic 3-manifolds homotopy equivalent to a fixed compact 3-manifold M with boundary. The interior of AH(M) is quite well-understood, but the topology of the entire space…
We are concerned with orderable groups and particularly those with orderings invariant not only under multiplication, but also under a given automorphism or family of automorphisms. Several applications to topology are given: we prove that…
This paper grew out of an attempt to find a suitable finite sheeted covering of an aspherical 3-manifold so that the cover either has infinite or trivial first homology group. With this motivation we define a new class of groups. These…