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

Optimal and extremal graphical designs on regular graphs associated with classical parameters

Codes, Cubes, and Graphical Designs

Graphical Designs and Extremal Combinatorics

Eigenpolytope Universality and Graphical Designs

Optimality of spherical codes via exact semidefinite programming bounds

Combinatorial designs, difference sets and bent functions as perfect colorings of graphs and multigraphs

Orbits of the hyperoctahedral group as Euclidean designs

Symmetric $(15,8,4)$-designs in terms of the geometry of binary simplex codes of dimension $4$

Coloring hypergraphs that are the union of nearly disjoint cliques

Geometric graphs with exponential chromatic number and arbitrary girth

Convex drawings of the complete graph: topology meets geometry

Completely regular codes in graphs covered by a Hamming graph

Codes and Pseudo-Geometric Designs from the Ternary $m$-Sequences with Welch-type decimation $d=2\cdot 3^{(n-1)/2}+1$

Putatively optimal projective spherical designs with little apparent symmetry

Tight bounds for intersection-reverse sequences, edge-ordered graphs and applications

Sphere packing proper colorings of an expander graph

A New Class of Geometrically Defined Hypergraphs Arising from the Hadwiger Nelson Problem

Drawing Graphs on Few Circles and Few Spheres

On the parameters of extended primitive cyclic codes and the related designs

On weight distributions of perfect colorings and completely regular codes