Topological Drawings meet Classical Theorems from Convex Geometry
Abstract
In this article we discuss classical theorems from Convex Geometry in the context of topological drawings and beyond. In a simple topological drawing of the complete graph $K_n$, any two edges share at most one point: either a common vertex or a point where they cross. Triangles of simple topological drawings can be viewed as convex sets. This gives a link to convex geometry. As our main result, we present a generalization of Kirchberger's Theorem that is of purely combinatorial nature. It turned out that this classical theorem also applies to "generalized signotopes" - a combinatorial generalization of simple topological drawings, which we introduce and investigate in the course of this article. As indicated by the name they are a generalization of signotopes, a structure studied in the context of encodings for arrangements of pseudolines. We also present a family of simple topological drawings with arbitrarily large Helly number, and a new proof of a topological generalization of Carathéodory's Theorem in the plane and discuss further classical theorems from Convex Geometry in the context of simple topological drawings.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2020
- DOI:
- 10.48550/arXiv.2005.12568
- arXiv:
- arXiv:2005.12568
- Bibcode:
- 2020arXiv200512568B
- Keywords:
-
- Mathematics - Combinatorics;
- Computer Science - Computational Geometry;
- Computer Science - Discrete Mathematics;
- 05C10;
- 52Cxx;
- 52A35
- E-Print:
- A preliminary version appears in the Proceedings of the 28th International Symposium on Graph Drawing and Network Visualization (GD 2020). The reverse direction of Theorem 1 does not hold. The comment directly after the theorem is now corrected and a counterexample is presented