Drawings of Complete Multipartite Graphs Up to Triangle Flips

03/13/2023
by   Oswin Aichholzer, et al.
0

For a drawing of a labeled graph, the rotation of a vertex or crossing is the cyclic order of its incident edges, represented by the labels of their other endpoints. The extended rotation system (ERS) of the drawing is the collection of the rotations of all vertices and crossings. A drawing is simple if each pair of edges has at most one common point. Gioan's Theorem states that for any two simple drawings of the complete graph K_n with the same crossing edge pairs, one drawing can be transformed into the other by a sequence of triangle flips (a.k.a. Reidemeister moves of Type 3). This operation refers to the act of moving one edge of a triangular cell formed by three pairwise crossing edges over the opposite crossing of the cell, via a local transformation. We investigate to what extent Gioan-type theorems can be obtained for wider classes of graphs. A necessary (but in general not sufficient) condition for two drawings of a graph to be transformable into each other by a sequence of triangle flips is that they have the same ERS. As our main result, we show that for the large class of complete multipartite graphs, this necessary condition is in fact also sufficient. We present two different proofs of this result, one of which is shorter, while the other one yields a polynomial time algorithm for which the number of needed triangle flips for graphs on n vertices is bounded by O(n^16). The latter proof uses a Carathéodory-type theorem for simple drawings of complete multipartite graphs, which we believe to be of independent interest. Moreover, we show that our Gioan-type theorem for complete multipartite graphs is essentially tight in the sense that having the same ERS does not remain sufficient when removing or adding very few edges.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/19/2017

On Fan-Crossing Graphs

A fan is a set of edges with a single common endpoint. A graph is fan-cr...
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 ...
research
12/28/2018

The complete set of minimal simple graphs that support unsatisfiable 2-CNFs

A propositional logic sentence in conjunctive normal form that has claus...
research
01/16/2020

Extending drawings of complete graphs into arrangements of pseudocircles

Motivated by the successful application of geometry to proving the Harar...
research
08/21/2019

Extending Simple Drawings

Simple drawings of graphs are those in which each pair of edges share at...
research
09/01/2017

Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4

We find a graph of genus 5 and its drawing on the orientable surface of ...
research
08/24/2020

Limiting crossing numbers for geodesic drawings on the sphere

We introduce a model for random geodesic drawings of the complete bipart...

Please sign up or login with your details

Forgot password? Click here to reset