Extending drawings of complete graphs into arrangements of pseudocircles

01/16/2020
by   Alan Arroyo, et al.
0

Motivated by the successful application of geometry to proving the Harary-Hill Conjecture for "pseudolinear" drawings of K_n, we introduce "pseudospherical" drawings of graphs. A spherical drawing of a graph G is a drawing in the unit sphere 𝕊^2 in which the vertices of G are represented as points—no three on a great circle—and the edges of G are shortest-arcs in 𝕊^2 connecting pairs of vertices. Such a drawing has three properties: every edge e is contained in a simple closed curve γ_e such that the only vertices in γ_e are the ends of e; if e f, then γ_e∩γ_f has precisely two crossings; and if e f, then e intersects γ_f at most once, either a crossing or an end of e. We use these three properties to define a pseudospherical drawing of G. Our main result is that, for the complete graph, these three properties are equivalent to the same three properties but with "exactly two crossings" replaced by "at most two crossings". The proof requires a result in the geometric transversal theory of arrangements of pseudocircles. This is proved using the surprising result that the absence of special arcs (coherent spirals) in an arrangement of simple closed curves characterizes the fact that any two curves in the arrangement have at most two crossings. Our studies provide the necessary ideas for exhibiting a drawing of K_10 that has no extension to an arrangement of pseudocircles and a drawing of K_9 that does extend to an arrangement of pseudocircles, but no such extension has all pairs of pseudocircles crossing twice.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/11/2022

Empty Triangles in Generalized Twisted Drawings of K_n

Simple drawings are drawings of graphs in the plane or on the sphere suc...
research
03/13/2023

Drawings of Complete Multipartite Graphs Up to Triangle Flips

For a drawing of a labeled graph, the rotation of a vertex or crossing i...
research
03/11/2022

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

Simple drawings are drawings of graphs in which the edges are Jordan arc...
research
12/06/2017

Arrangements of Pseudocircles: On Circularizability

An arrangement of pseudocircles is a collection of simple closed curves ...
research
12/14/2020

Crossing-Optimal Extension of Simple Drawings

In extension problems of partial graph drawings one is given an incomple...
research
08/01/2019

On the existence of paradoxical motions of generically rigid graphs on the sphere

We interpret realizations of a graph on the sphere up to rotations as el...
research
08/21/2023

Different Types of Isomorphisms of Drawings of Complete Multipartite Graphs

Simple drawings are drawings of graphs in which any two edges intersect ...

Please sign up or login with your details

Forgot password? Click here to reset