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

Representation of convex geometries of convex dimension 3 by spheres

Geometry of convex geometries

Algebraic convex geometries revisited

A geometric take on Kostant's Convexity Theorem

Separation axiom $S_3$ for geodesic convexity in graphs

Convex co-compact representations of 3-manifold groups

Concepts of Dimension for Convex Geometries

Spherical objects in dimensions two and three

Realization of abstract convex geometries by point configurations, Part 1

Convex co‐compact representations of 3‐manifold groups

Equivariant insight into hyperspaces of convex bodies

Everything is possible: constructing spectrahedra with prescribed facial dimensions

Ball characterizations in planes and spaces of constant curvature, II \vskip.1cm \centerline{\rm{This pdf-file is not identical with the printed paper.}}

A Furstenberg-type problem for circles, and a Kaufman-type restricted projection theorem in $\mathbb{R}^3$

Convex-cocompact representations into the isometry group of the infinite-dimensional hyperbolic space

Side-Contact Representations with Convex Polygons in 3D: New Results for Complete Bipartite Graphs

On the Geometry of Spheres with Positive Curvature

Convex drawings of the complete graph: topology meets geometry

Decorated Discrete Conformal Maps and Convex Polyhedral Cusps

Characterizing graphs with convex and connected configuration spaces