Monotone Arc Diagrams with few Biarcs

Steven Chaplick,Henry Förster,Michael Hoffmann,Michael Kaufmann

2024-08-26

Abstract:We show that every planar graph has a monotone topological 2-page book embedding where at most (4n-10)/5 (of potentially 3n-6) edges cross the spine, and every edge crosses the spine at most once; such an edge is called a biarc. We can also guarantee that all edges that cross the spine cross it in the same direction (e.g., from bottom to top). For planar 3-trees we can further improve the bound to (3n-9)/4, and for so-called Kleetopes we obtain a bound of at most (n-8)/3 edges that cross the spine. The bound for Kleetopes is tight, even if the drawing is not required to be monotone. A Kleetope is a plane triangulation that is derived from another plane triangulation T by inserting a new vertex v_f into each face f of T and then connecting v_f to the three vertices of f.

Discrete Mathematics,Computational Geometry,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: how to find a monotone topological 2 - page book embedding for a planar graph such that the number of edges (called biarc) that cross the spine is as small as possible, and all edges that cross the spine are in the same direction (for example, from bottom to top). Specifically:

1. **Reducing the number of biarcs**: The goal of the paper is to reduce the number of edges that need to cross the spine. For any planar graph with \(n\) vertices, the author hopes to prove that a monotone arc diagram with at most \(\left\lfloor\frac{4n - 10}{5}\right\rfloor\) biarcs can be constructed, and these biarcs are all from bottom to top.

2. **Specific types of planar graphs**: For some specific types of planar graphs, such as planar 3 - trees and Kleetopes, the author further improves the upper bound of the number of biarcs:
- For planar 3 - trees, the upper bound of the number of biarcs is \(\left\lfloor\frac{3n - 9}{4}\right\rfloor\).
- For Kleetopes, the upper bound of the number of biarcs is \(\left\lfloor\frac{n - 8}{3}\right\rfloor\), and this upper bound is tight, even if the drawing is not required to be monotone.

3. **Maintaining monotonicity**: The author also focuses on whether the number of biarcs can be reduced while maintaining the monotonicity of the drawing. They raise a question: does there exist a graph \(G\) that has a planar arc diagram with \(k\) biarcs, but any monotone planar arc diagram requires strictly more than \(k\) biarcs? This problem is called the "monotonicity penalty" problem.

Through the study of these problems, the author hopes to better understand the characteristics of planar graphs in monotone 2 - page book embeddings and provide theoretical support and algorithm optimization for related fields.