A Center Transversal Theorem for Hyperplanes and Applications to Graph Drawing

Motivated by an open problem from graph drawing, we study several partitioning problems for line and hyperplane arrangements. We prove a ham-sandwich cut theorem: given two sets of n lines in R^2, there is a line l such that in both line sets, for both halfplanes delimited by l, there are n^{1/2} lines which pairwise intersect in that halfplane, and this bound is tight; a centerpoint theorem: for any set of n lines there is a point such that for any halfplane containing that point there are (n/3)^{1/2} of the lines which pairwise intersect in that halfplane. We generalize those results in higher dimension and obtain a center transversal theorem, a same-type lemma, and a positive portion Erdos-Szekeres theorem for hyperplane arrangements. This is done by formulating a generalization of the center transversal theorem which applies to set functions that are much more general than measures. Back to Graph Drawing (and in the plane), we completely solve the open problem that motivated our search: there is no set of n labelled lines that are universal for all n-vertex labelled planar graphs. As a side note, we prove that every set of n (unlabelled) lines is universal for all n-vertex (unlabelled) planar graphs

Semi-algebraic Ramsey numbers

Given a finite point set $P \subset \mathbb{R}^d$, a $k$-ary semi-algebraic relation $E$ on $P$ is the set of $k$-tuples of points in $P$, which is determined by a finite number of polynomial equations and inequalities in $kd$ real variables. The description complexity of such a relation is at most $t$ if the number of polynomials and their degrees are all bounded by $t$. The Ramsey number $R^{d,t}_k(s,n)$ is the minimum $N$ such that any $N$-element point set $P$ in $\mathbb{R}^d$ equipped with a $k$-ary semi-algebraic relation $E$, such that $E$ has complexity at most $t$, contains $s$ members such that every $k$-tuple induced by them is in $E$, or $n$ members such that every $k$-tuple induced by them is not in $E$. We give a new upper bound for $R^{d,t}_k(s,n)$ for $k\geq 3$ and $s$ fixed. In particular, we show that for fixed integers $d,t,s$, $R^{d,t}_3(s,n) \leq 2^{n^{o(1)}},$ establishing a subexponential upper bound on $R^{d,t}_3(s,n)$. This improves the previous bound of $2^{n^C}$ due to Conlon, Fox, Pach, Sudakov, and Suk, where $C$ is a very large constant depending on $d,t,$ and $s$. As an application, we give new estimates for a recently studied Ramsey-type problem on hyperplane arrangements in $\mathbb{R}^d$. We also study multi-color Ramsey numbers for triangles in our semi-algebraic setting, achieving some partial results

Higher-order Erdos--Szekeres theorems

Let P=(p_1,p_2,...,p_N) be a sequence of points in the plane, where p_i=(x_i,y_i) and x_1<x_2<...<x_N. A famous 1935 Erdos--Szekeres theorem asserts that every such P contains a monotone subsequence S of $\sqrt N$ points. Another, equally famous theorem from the same paper implies that every such P contains a convex or concave subsequence of $\Omega(\log N)$ points. Monotonicity is a property determined by pairs of points, and convexity concerns triples of points. We propose a generalization making both of these theorems members of an infinite family of Ramsey-type results. First we define a (k+1)-tuple $K\subseteq P$ to be positive if it lies on the graph of a function whose kth derivative is everywhere nonnegative, and similarly for a negative (k+1)-tuple. Then we say that $S\subseteq P$ is kth-order monotone if its (k+1)-tuples are all positive or all negative. We investigate quantitative bound for the corresponding Ramsey-type result (i.e., how large kth-order monotone subsequence can be guaranteed in every N-point P). We obtain an $\Omega(\log^{(k-1)}N)$ lower bound ((k-1)-times iterated logarithm). This is based on a quantitative Ramsey-type theorem for what we call transitive colorings of the complete (k+1)-uniform hypergraph; it also provides a unified view of the two classical Erdos--Szekeres results mentioned above. For k=3, we construct a geometric example providing an $O(\log\log N)$ upper bound, tight up to a multiplicative constant. As a consequence, we obtain similar upper bounds for a Ramsey-type theorem for order-type homogeneous subsets in R^3, as well as for a Ramsey-type theorem for hyperplanes in R^4 recently used by Dujmovic and Langerman.Comment: Contains a counter example of Gunter Rote which gives a reply for the problem number 5 in the previous versions of this pape

Aligned Drawings of Planar Graphs

Let $G$ be a graph that is topologically embedded in the plane and let $\mathcal{A}$ be an arrangement of pseudolines intersecting the drawing of $G$. An aligned drawing of $G$ and $\mathcal{A}$ is a planar polyline drawing $\Gamma$ of $G$ with an arrangement $A$ of lines so that $\Gamma$ and $A$ are homeomorphic to $G$ and $\mathcal{A}$. We show that if $\mathcal{A}$ is stretchable and every edge $e$ either entirely lies on a pseudoline or it has at most one intersection with $\mathcal{A}$, then $G$ and $\mathcal{A}$ have a straight-line aligned drawing. In order to prove this result, we strengthen a result of Da Lozzo et al., and prove that a planar graph $G$ and a single pseudoline $\mathcal{L}$ have an aligned drawing with a prescribed convex drawing of the outer face. We also study the less restrictive version of the alignment problem with respect to one line, where only a set of vertices is given and we need to determine whether they can be collinear. We show that the problem is NP-complete but fixed-parameter tractable.Comment: Preliminary work appeared in the Proceedings of the 25th International Symposium on Graph Drawing and Network Visualization (GD 2017

A Center Transversal Theorem for Hyperplanes and Applications to Graph Drawing

Motivated by an open problem from graph drawing, we study several partitioning problems for line and hyperplane arrangements. We prove a ham-sandwich cut theorem: given two sets of n lines in ℝ2, there is a line ℓ such that in both line sets, for both halfplanes delimited by ℓ, there are √n lines which pairwise intersect in that halfplane, and this bound is tight; a centerpoint theorem: for any set of n lines there is a point such that for any halfplane containing that point there are √n/3 of the lines which pairwise intersect in that halfplane. We generalize those results in higher dimension and obtain a center transversal theorem, a same-type lemma, and a positive portion Erdo{double acute}s-Szekeres theorem for hyperplane arrangements. This is done by formulating a generalization of the center transversal theorem which applies to set functions that are much more general than measures. Back to graph drawing (and in the plane), we completely solve the open problem that motivated our search: there is no set of n labeled lines that are universal for all n-vertex labeled planar graphs. In contrast, the main result by Pach and Toth (J. Graph Theory 46(1):39-47, 2004), has, as an easy consequence, that every set of n (unlabeled) lines is universal for all n-vertex (unlabeled) planar graphs. © 2012 Springer Science+Business Media, LLC.SCOPUS: ar.jinfo:eu-repo/semantics/publishe