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).

Geometric graphs on convex point sets

Edge complexity of geometric graphs on convex independent point sets

On Locally Gabriel Geometric Graphs

On Computing Optimal Locally Gabriel Graphs

Restricted Bipartite Graphs: Comparison and Hardness Results.

Partitioning Complete Geometric Graphs on Dense Point Sets into Plane Subgraphs

Realization of abstract convex geometries by point configurations, Part 1

Generalized Delaunay Graphs with respect to any Convex Set are Plane Graphs

Linear Size Universal Point Sets for Classes of Planar Graphs

$k$-edge geodetic graphs

Geometric Biplane Graphs I: Maximal Graphs

Reconstruction of the Path Graph

Convex drawings of the complete graph: topology meets geometry

On a bipartite graph defined on groups

Cardinality bounds on subsets in the partition resolving set for complex convex polytope-like graph

Geometric Biplane Graphs II: Graph Augmentation

Burling graphs revisited, part III: Applications to χ -boundedness

A coarse geometric approach to graph layout problems

Geometric graphs with exponential chromatic number and arbitrary girth

Burling graphs revisited, part II: Structure

Geometry of convex geometries