Abstract:In this work, we introduce and develop a theory of convex drawings of the complete graph $K_n$ in the sphere. A drawing $D$ of $K_n$ is convex if, for every 3-cycle $T$ of $K_n$, there is a closed disc $\Delta_T$ bounded by $D[T]$ such that, for any two vertices $u,v$ with $D[u]$ and $D[v]$ both in $\Delta_T$, the entire edge $D[uv]$ is also contained in $\Delta_T$. As one application of this perspective, we consider drawings containing a non-convex $K_5$ that has restrictions on its extensions to drawings of $K_7$. For each such drawing, we use convexity to produce a new drawing with fewer crossings. This is the first example of local considerations providing sufficient conditions for suboptimality. In particular, we do not compare the number of crossings {with the number of crossings in} any known drawings. This result sheds light on Aichholzer's computer proof (personal communication) showing that, for $n\le 12$, every optimal drawing of $K_n$ is convex. Convex drawings are characterized by excluding two of the five drawings of $K_5$. Two refinements of convex drawings are h-convex and f-convex drawings. The latter have been shown by Aichholzer et al (Deciding monotonicity of good drawings of the complete graph, Proc.~XVI Spanish Meeting on Computational Geometry (EGC 2015), 2015) and, independently, the authors of the current article (Levi's Lemma, pseudolinear drawings of $K_n$, and empty triangles, \rbr{J. Graph Theory DOI: <a class="link-https link-external" data-doi="10.1002/jgt.22167" href="https://doi.org/10.1002/jgt.22167" rel="external noopener nofollow">https://doi.org/10.1002/jgt.22167</a>)}, to be equivalent to pseudolinear drawings. Also, h-convex drawings are equivalent to pseudospherical drawings as demonstrated recently by Arroyo et al (Extending drawings of complete graphs into arrangements of pseudocircles, submitted).

Separable Drawings: Extendability and Crossing-Free Hamiltonian Cycles

Plane Hamiltonian Cycles in Convex Drawings

Towards Crossing-Free Hamiltonian Cycles in Simple Drawings of Complete Graphs

Using SAT to study plane Hamiltonian substructures in simple drawings

Different Types of Isomorphisms of Drawings of Complete Multipartite Graphs

Convex drawings of the complete graph: topology meets geometry

Twisted Ways to Find Plane Structures in Simple Drawings of Complete Graphs

A census of graph-drawing algorithms based on generalized transversal structures

Holes in Convex and Simple Drawings

Topological Drawings meet Classical Theorems from Convex Geometry

Pointed drawings of planar graphs

Strongly Monotone Drawings of Planar Graphs

Plane Spanning Trees in Edge-Colored Simple Drawings of $K_n$

A Hanani-Tutte Theorem for Cycles

Untangling Circular Drawings: Algorithms and Complexity

Straight-line Drawability of a Planar Graph Plus an Edge

Drawing Planar Graphs with Few Geometric Primitives

Shooting Stars in Simple Drawings of $K_{m,n}$

On Self-Approaching and Increasing-Chord Drawings of 3-Connected Planar Graphs

Simultaneous straight-line drawing of a planar graph and its rectangular dual

The Crossing Number of Seq-Shellable Drawings of Complete Graphs