Reeb Lobsters Are 1-Planar
Abstract
Very recently, Chambers, Fasy, Hosseini Sereshgi and Löffler [3] showed that every Reeb caterpillar admits a crossing-free drawing. It turns out that this does not hold for Reeb lobsters but we show that these graphs admit drawings with at most one crossing per edge.
Keywords and phrases:
Reeb graphs, layered drawings, local crossing numberCategory:
Poster AbstractCopyright and License:
2012 ACM Subject Classification:
Mathematics of computing Graphs and surfaces ; Mathematics of computing TopologyFunding:
Funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – 541433306.Editors:
Vida Dujmović and Fabrizio MontecchianiSeries and Publisher:
Leibniz International Proceedings in Informatics, Schloss Dagstuhl – Leibniz-Zentrum für Informatik
1 Introduction
A layered graph is a graph together with pairwise-distinct preassigned heights of its vertices. In a drawing of a layered graph each vertex is mapped to a unique point and every edge is mapped to a continuous -monotone curve [1, 7]. For a vertex in a layered graph we denote the horizontal line through by . Let denote the number of neighbors of with . Similarly we let denote the number of neihgbors of with . A Reeb graph , introduced in [6], is a layered graph such that for every vertex we have , and . Reeb graphs can be computed effieciently [4, 5] and capture the evolution of level sets of functions from a topological space to the real numbers. They have many applications in topological data analysis and visualization [8, 2].
A caterpillar is a tree such that removing all leaves from yields a path, called the spine of . A tree such that removing all leaves yields a caterpillar is a lobster. The spine of a lobster is the spine of the caterpillar we obtain by removing all leaves from . The local crossing number of a (layered) graph is the smallest integer such that admits a drawing with at most crossings per edge. A graph is -planar if .
2 Our Results
First we show that crossings are needed to draw Reeb lobsters.
Theorem 1.
Not every Reeb lobster admits a crossing-free drawing.
Proof.
Consider the lobster shown in Figure 1(a). Assume that admits a crossing-free drawing . Let be the graph we obtain from by adding two new independent vertices with and for every such that is adjacent exactly to the three vertices with greatest heights and is adjacent exactly to the three vertices with lowest heights; see Figure 1(b). Then it is easy to extend to a crossing-free drawing of but is a -subdivision and thus non-planar; a contradiction.
Next we show that the local crossing-number of a layered lobster may be arbitrarily large.
Theorem 2.
For every there is a layered lobster such that .
Proof.
For a fixed consider the lobster sketched in Figure 2. We call a set of edges an -fan if all edges in share a common endpoint , the remaining endpoints have degree 1 and the heights of these degree-1 endpoints lie either all above or all below . For each of the four fans in the heights of the corresponding degree-1 vertices are chosen such that each other vertex either lies below all of them or above all of them. Assume for the sake of contradiction that there exists a drawing of with at most crossings per edge. Let be a degree-1 vertex adjacent to , whose incident edge does not cross an edge incident to ; such a vertex exists as there are degree-1 vertices adjacent to and the edges incident to have at most crossings. Analogously, there exists a degree-1 vertex adjacent to with , whose incident edge does not cross an edge incident to . Similarly, we can find sets and each consisting of degree-1 vertices adjacent to and , respectively, that lie below and whose incident edges do not cross an edge incident to . Let denote the drawing induced by , where we possibly reroute and so that they do not cross each other. Note that all edges incident to are crossing-free in . Consider the edges and . Without loss of generality assume that crosses left of . Since the path is crossing-free, crosses to the right of and since is crossing-free, crosses to the right of . We distinguish two cases based on whether crosses on the left or on the right side of .
Assume that crosses on the left side of ; see Figure 2. As lies between and on and the edges incident to are crossing-free in , each edge connecting to crosses or . Since , or has more than crossings; a contradiction.
It remains to consider the case where crosses on the right side of ; see Figure 2. Note that in this case crosses the horizontal line to the right of since the path is uncrossed. Since the path starts and ends above , crosses once to the left of and once to the right of , and is crossing-free, all edges connecting to cross . Since it follows that has more than crossings; a contradiction.
Finally we show that Reeb lobsters admit a drawing with at most one crossing per edge.
Theorem 3.
Every Reeb lobster is 1-planar.
Proof.
Let be a Reeb graph. We consider an extended spine of ; i.e, a path between degree-1 vertices of that contains the spine. Let be an extended spine of such that for every the two neighbors of are and . We start by drawing the extended spine -monotone; see Figure 3 for an illustration. Next we insert all vertices of that are adjacent to the extended spine crossing-free by assigning each such vertex an -coordinate close to the -coordinate of its neighbor on the extended spine. It remains to add the missing leaves of that have a neighbor that is not adjacent to a vertex on the extended spine. Let be such a leaf of with neighbor . Let be the neighbor of on the extended spine. If does not lie between and , then we can easily insert crossing-free by assigning it an -coordinate close to or equal to the -coordinate of . This does not result in a crossing. Hence assume that or . Now we assign an -coordinate between the -coordinates of and . Then crosses the edge . Hence by construction for every such leaf , the edge receives at most one crossing. Recall that , . Thus every that is neither a leaf of nor part of the extended spine has at most one neighbor with or . Hence for every also receives at most one crossing. Thus the construction described above yields a 1-planar drawing of .
3 Conclusion
Our results show that the property to be a Reeb graph yields an upper bound of 1 for the otherwise unbounded local crossing number of layered lobsters. An interesting question is how this generalizes to more general Reeb trees.
References
- [1] Oliver Bastert and Christian Matuszewski. Layered Drawings of Digraphs, pages 87–120. Springer Berlin Heidelberg, Berlin, Heidelberg, 2001. doi:10.1007/3-540-44969-8_5.
- [2] Silvia Biasotti, Daniela Giorgi, Michela Spagnuolo, and Bianca Falcidieno. Reeb graphs for shape analysis and applications. Theoretical computer science, 392(1-3):5–22, 2008. doi:10.1016/j.tcs.2007.10.018.
- [3] Erin W. Chambers, Brittany Terese Fasy, Erfan Hosseini Sereshgi, and Maarten Löffler. Drawing reeb graphs. In Combinatorial Algorithms - 36th International Workshop, IWOCA 2025, volume 15885 of Lecture Notes in Computer Science, pages 58–71. Springer, 2025. doi:10.1007/978-3-031-98740-3_5.
- [4] William Harvey, Yusu Wang, and Rephael Wenger. A randomized time algorithm for computing Reeb graphs of arbitrary simplicial complexes. In Proceedings of the 2010 annual symposium on Computational geometry, SoCG ’10, pages 267–276. ACM, 2010. doi:10.1145/1810959.1811005.
- [5] Salman Parsa. A deterministic O (m log m) time algorithm for the reeb graph. Discret. Comput. Geom., 49(4):864–878, 2013. doi:10.1007/s00454-013-9511-3.
- [6] Georges Reeb. Sur les points singuliers d’une forme de pfaff completement integrable ou d’une fonction numerique [on the singular points of a completely integrable pfaff form or of a numerical function]. Comptes Rendus Acad. Sciences Paris, 222:847–849, 1946. URL: https://cir.nii.ac.jp/crid/1571417125676878592.
- [7] Kozo Sugiyama, Shôjirô Tagawa, and Mitsuhiko Toda. Methods for visual understanding of hierarchical system structures. IEEE Transactions on Systems, Man, and Cybernetics, SMC, 11(2):109–125, 1981. doi:10.1109/TSMC.1981.4308636.
- [8] Lin Yan, Talha Bin Masood, Raghavendra Sridharamurthy, Farhan Rasheed, Vijay Natarajan, Ingrid Hotz, and Bei Wang. Scalar field comparison with topological descriptors: Properties and applications for scientific visualization. In Computer Graphics Forum, volume 40, pages 599–633. Wiley Online Library, 2021. doi:10.1111/cgf.14331.
