Abstract:Homotopy group plays a role in computational topology with a fundamental importance. Each homotopy equivalence class contains an infinite number of loops. Finding a canonical representative within a homotopy class will simplify many computational tasks in computational topology, such as loop homotopy detection, pants decomposition. Furthermore, the canonical representative can be used as the shape descriptor. This work introduces a rigorous and practical method to compute a unique representative for each homotopy class. The main strategy is to use hyperbolic structure, such that each homotopy class has a unique closed geodesic, which is the representative. The following is the algorithm pipeline: for a given surface with negative Euler number, we apply hyperbolic Yamabe curvature flow to compute the unique Riemannian metric, which has constant negative one curvature everywhere and is conformal to the original metric. Then we compute the Fuchsian group generators of the surface on the hyperbolic space. For a given loop on the surface, we lift it to the universal covering space, to obtain the Fuchsian transformation corresponding to the homotopy class of the loop. The unique closed geodesic inside the homotopy class is the axis of the Fuchsian transformation, which is the canonical representative. Theories and algorithms are explained thoroughly in details. Experimental results are reported to show the efficiency and efficacy of the algorithm. The unique homotopy class representative can be applied for homotopy detection and shape comparison.

A Special Homotopy Continuation Method For A Class of Polynomial Systems

A stratified polyhedral homotopy method for sampling positive dimensional zero sets of polynomial systems

Chiral Glass Phase in Ceramic Superconductors

A hybrid algorithm for multi-homogeneous Bézout number

Computing the Optimal Partition of Variables in Multi-Homogeneous Homotopy Methods

Optimization problem in multi-homogeneous homotopy method

Monodromy Solver: Sequential and Parallel

Polyhedral Homotopies in Cox Coordinates

Implementing real polyhedral homotopy

Solution of Polynomial Systems Derived from Differential Equations

Early Ending In Homotopy Path-Tracking For Real Roots

Using monodromy to recover symmetries of polynomial systems

Homoclinic Solutions for Second Order Discrete P -Laplacian Systems

An Iteration Method with Generally Convergent Property for Cubic Polynomials.

Homotopy continuation methods for coupled-cluster theory in quantum chemistry

Minimizing multi-homogeneous Bézout numbers by a local search method

Decomposing Solution Sets of Polynomial Systems: A New Parallel Monodromy Breakup Algorithm

A New Simple Homotopy Algorithm for Linear Programming I

Canonical Homotopy Class Representative Using Hyperbolic Structure

Real Root Isolation of Polynomial Equations Based on Hybrid Computation

A Hybrid Procedure for Finding Real Points on a Real Algebraic Set