Given 2 homotopic curves in a topological space, there are several ways to measure similarity between the curves, including Hausdorff distance and Frechet dis- tance. In this paper, we examine a different measure of similarity which considers the family of curves repre- sented in the homotopy between the curves, and mea- sures the longest such curve, known as the height of the homotopy. In other words, if we have two homotopic curves on a surface and view a homotopy as a way to morph one curve into the other, we wish to find the longest intermediate curve along the morphing. In this paper, our model assumes we are given a pair of disjoint embedded homotopic curves (where the endpoints remained fixed over the course of the homo- topy) in an edge-weighted planar triangulation satisfy- ing the triangle inequality. We prove that among min- imal height homotopies between the two curves, there exists an embedded isotopy; in other words, the homo- topy with minimum height never makes a "backwards" move and results in disjoint simple intermediate curves.
[1]
R. Ho.
Algebraic Topology
,
2022
.
[2]
JOSEP DÍAZ,et al.
A survey of graph layout problems
,
2002,
CSUR.
[3]
David Gabai.
Foliations and the topology of 3-manifolds
,
1983
.
[4]
David Gabai,et al.
Foliations and the topology of 3-manifolds
,
1987
.
[5]
Helmut Alt,et al.
Computing the Fréchet distance between two polygonal curves
,
1995,
Int. J. Comput. Geom. Appl..
[6]
Anil Maheshwari,et al.
On computing Fréchet distance of two paths on a convex polyhedron
,
2005,
EuroCG.
[7]
Chiranjib Bhattacharyya,et al.
Fréchet Distance Based Approach for Searching Online Handwritten Documents
,
2007,
Ninth International Conference on Document Analysis and Recognition (ICDAR 2007).
[8]
Abigail Thompson,et al.
THIN POSITION AND THE RECOGNITION PROBLEM FOR S3
,
1994
.
[9]
Erin W. Chambers,et al.
Homotopic Fréchet distance between curves or, walking your dog in the woods in polynomial time
,
2010,
Comput. Geom..