Metric and Path-Connectedness Properties of the Frechet Distance for Paths and Graphs

Erin Chambers,Brittany Fasy,Benjamin Holmgren,Sushovan Majhi,Carola Wenk
2023-08-02
Abstract:The Frechet distance is often used to measure distances between paths, with applications in areas ranging from map matching to GPS trajectory analysis to handwriting recognition. More recently, the Frechet distance has been generalized to a distance between two copies of the same graph embedded or immersed in a metric space; this more general setting opens up a wide range of more complex applications in graph analysis. In this paper, we initiate a study of some of the fundamental topological properties of spaces of paths and of graphs mapped to R^n under the Frechet distance, in an effort to lay the theoretical groundwork for understanding how these distances can be used in practice. In particular, we prove whether or not these spaces, and the metric balls therein, are path-connected.
Computational Geometry,Geometric Topology
What problem does this paper attempt to address?
The paper primarily explores the metric and topological properties of the Fréchet distance on paths and graphs, particularly the problem of whether metric balls under the Fréchet distance of paths and graphs in Euclidean space are path-connected. Specifically, the paper investigates the following aspects: 1. **Definitions and Background**: It first introduces the basic concepts of the Fréchet distance, including path Fréchet distance and graph Fréchet distance, and provides definitions of mathematical concepts such as continuous mapping, embedding, and immersion. 2. **Metric Properties**: It proves that the graph Fréchet distance is a pseudo-metric, meaning it satisfies all the properties of a metric except separability. When restricted to the homeomorphism class, the graph Fréchet distance becomes a pseudo-metric. 3. **Path Connectivity**: It explores the path connectivity of the spaces of paths and graphs under different types of mappings (continuous mapping, immersion, embedding). For continuous mappings, it proves that these spaces are path-connected; for immersions, it proves that the path space is path-connected when the space dimension is greater than 1; for embeddings, it also proves the path connectivity of the path space in higher-dimensional spaces. 4. **Path Connectivity of Metric Balls**: It further discusses the path connectivity of metric balls under different types of mappings, providing specific conditions and proofs. In summary, this paper aims to establish some fundamental topological properties when applying the Fréchet distance to paths and graphs, providing a theoretical foundation for understanding and applying the Fréchet distance. This is of significant importance for fields such as map matching and GPS trajectory analysis.