Abstract
The classical theorem of Fary states that every planar graph can be represented by an embedding in which every edge is represented by a straight line segment. We consider generalizations of Fary’s theorem to surfaces equipped with Riemannian metrics. In this setting, we require that every edge is drawn as a shortest path between its two endpoints and we call an embedding with this property a shortest path embedding. The main question addressed in this paper is whether given a closed surface S, there exists a Riemannian metric for which every topologically embeddable graph admits a shortest path embedding. This question is also motivated by various problems regarding crossing numbers on surfaces. We observe that the round metrics on the sphere and the projective plane have this property. We provide flat metrics on the torus and the Klein bottle which also have this property. Then we show that for the unit square flat metric on the Klein bottle there exists a graph without shortest path embeddings. We show, moreover, that for large g, there exist graphs G embeddable into the orientable surface of genus g, such that with large probability a random hyperbolic metric does not admit a shortest path embedding of G, where the probability measure is proportional to the Weil–Petersson volume on moduli space. Finally, we construct a hyperbolic metric on every orientable surface S of genus g, such that every graph embeddable into S can be embedded so that every edge is a concatenation of at most O(g) shortest paths.
Highlights
That for large g, there exist graphs G embeddable into the orientable surface of genus g, such that with large probability a random hyperbolic metric does not admit a shortest path embedding of G, where the probability measure is proportional to the Weil-Petersson volume on moduli space
Wagner [33]) states that any simple planar graph can be embedded with straight line segments representing the edges
We focus on the following question: Given a surface S, is there a metric on S such that every graph embeddable into S admits a shortest path embedding, i.e., can be embedded so that the edges are represented by shortest paths? We call such a metric a universal shortest path metric. (We do not require that these shortest paths are unique but as we will see later on, in the case of our positive results, i.e., Theorem 1 and 4, the uniqueness of the shortest paths can be obtained as well.)
Summary
We focus on the following question: Given a surface S, is there a metric on S such that every graph embeddable into S admits a shortest path embedding, i.e., can be embedded so that the edges are represented by shortest paths? Two classical avatars of Fáry’s theorem in the plane are of relevance to our work: Tutte’s barycentric embedding theorem [32] and the Koebe-Andreev-Thurston circle packing theorem (see, for example, the book of Stephenson [28]) Both have been generalized to surfaces, providing positive answers to the following questions: 1.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have