arXiv++ Combinatorics

Let $d$ and $k$ be integers with $1 \leq k \leq d-1$. Let $Λ$ be a $d$-dimensional lattice and let $K$ be a $d$-dimensional compact convex body symmetric about the origin. We provide estimates for the minimum number of $k$-dimensional linear subspaces needed to cover all points in $Λ\cap K$. In particular, our results imply that the minimum number of $k$-dimensional linear subspaces needed to cover the $d$-dimensional $n \times \cdots \times n$ grid is at least $Ω(n^{d(d-k)/(d-1)-\varepsilon})$ and at most $O(n^{d(d-k)/(d-1)})$, where $\varepsilon>0$ is an arbitrarily small constant. This nearly settles a problem mentioned in the book of Brass, Moser, and Pach. We also find tight bounds for the minimum number of $k$-dimensional affine subspaces needed to cover $Λ\cap K$. We use these new results to improve the best known lower bound for the maximum number of point-hyperplane incidences by Brass and Knauer. For $d \geq 3$ and $\varepsilon \in (0,1)$, we show that there is an integer $r=r(d,\varepsilon)$ such that for all positive integers $n,m$ the following statement is true. There is a set of $n$ points in $\mathbb{R}^d$ and an arrangement of $m$ hyperplanes in $\mathbb{R}^d$ with no $K_{r,r}$ in their incidence graph and with at least $Ω\left((mn)^{1-(2d+3)/((d+2)(d+3)) - \varepsilon}\right)$ incidences if $d$ is odd and $Ω\left((mn)^{1-(2d^2+d-2)/((d+2)(d^2+2d-2)) -\varepsilon}\right)$ incidences if $d$ is even.

An obstacle representation of a graph $G$ is a set of points in the plane representing the vertices of $G$, together with a set of polygonal obstacles such that two vertices of $G$ are connected by an edge in $G$ if and only if the line segment between the corresponding points avoids all the obstacles. The obstacle number ${\rm obs}(G)$ of $G$ is the minimum number of obstacles in an obstacle representation of $G$. We provide the first non-trivial general upper bound on the obstacle number of graphs by showing that every $n$-vertex graph $G$ satisfies ${\rm obs}(G) \leq n\lceil\log{n}\rceil-n+1$. This refutes a conjecture of Mukkamala, Pach, and Pálvölgyi. For $n$-vertex graphs with bounded chromatic number, we improve this bound to $O(n)$. Both bounds apply even when the obstacles are required to be convex. We also prove a lower bound $2^{Ω(hn)}$ on the number of $n$-vertex graphs with obstacle number at most $h$ for $h<n$ and a lower bound $Ω(n^{4/3}M^{2/3})$ for the complexity of a collection of $M \geq Ω(n\log^{3/2}{n})$ faces in an arrangement of line segments with $n$ endpoints. The latter bound is tight up to a multiplicative constant.

An ordered graph is a pair $\mathcal{G}=(G,\prec)$ where $G$ is a graph and $\prec$ is a total ordering of its vertices. The ordered Ramsey number $\overline{R}(\mathcal{G})$ is the minimum number $N$ such that every $2$-coloring of the edges of the ordered complete graph on $N$ vertices contains a monochromatic copy of $\mathcal{G}$. We show that for every integer $d \geq 3$, almost every $d$-regular graph $G$ satisfies $\overline{R}(\mathcal{G}) \geq \frac{n^{3/2-1/d}}{4\log{n}\log{\log{n}}}$ for every ordering $\mathcal{G}$ of $G$. In particular, there are 3-regular graphs $G$ on $n$ vertices for which the numbers $\overline{R}(\mathcal{G})$ are superlinear in $n$, regardless of the ordering $\mathcal{G}$ of $G$. This solves a problem of Conlon, Fox, Lee, and Sudakov. On the other hand, we prove that every graph $G$ on $n$ vertices with maximum degree 2 admits an ordering $\mathcal{G}$ of $G$ such that $\overline{R}(\mathcal{G})$ is linear in $n$. We also show that almost every ordered matching $\mathcal{M}$ with $n$ vertices and with interval chromatic number two satisfies $\overline{R}(\mathcal{M}) \geq cn^2/\log^2{n}$ for some absolute constant $c$.

Let $S$ be a subset of $\mathbb{R}^d$ with finite positive Lebesgue measure. The Beer index of convexity $\operatorname{b}(S)$ of $S$ is the probability that two points of $S$ chosen uniformly independently at random see each other in $S$. The convexity ratio $\operatorname{c}(S)$ of $S$ is the Lebesgue measure of the largest convex subset of $S$ divided by the Lebesgue measure of $S$. We investigate the relationship between these two natural measures of convexity. We show that every set $S\subseteq\mathbb{R}^2$ with simply connected components satisfies $\operatorname{b}(S)\leqα\operatorname{c}(S)$ for an absolute constant $α$, provided $\operatorname{b}(S)$ is defined. This implies an affirmative answer to the conjecture of Cabello et al. that this estimate holds for simple polygons. We also consider higher-order generalizations of $\operatorname{b}(S)$. For $1\leq k\leq d$, the $k$-index of convexity $\operatorname{b}_k(S)$ of a set $S\subseteq\mathbb{R}^d$ is the probability that the convex hull of a $(k+1)$-tuple of points chosen uniformly independently at random from $S$ is contained in $S$. We show that for every $d\geq 2$ there is a constant $β(d)>0$ such that every set $S\subseteq\mathbb{R}^d$ satisfies $\operatorname{b}_d(S)\leqβ\operatorname{c}(S)$, provided $\operatorname{b}_d(S)$ exists. We provide an almost matching lower bound by showing that there is a constant $γ(d)>0$ such that for every $\varepsilon\in(0,1)$ there is a set $S\subseteq\mathbb{R}^d$ of Lebesgue measure $1$ satisfying $\operatorname{c}(S)\leq\varepsilon$ and $\operatorname{b}_d(S)\geqγ\frac{\varepsilon}{\log_2{1/\varepsilon}}\geqγ\frac{\operatorname{c}(S)}{\log_2{1/\operatorname{c}(S)}}$.

The invisibility graph $I(X)$ of a set $X \subseteq \mathbb{R}^d$ is a (possibly infinite) graph whose vertices are the points of $X$ and two vertices are connected by an edge if and only if the straight-line segment connecting the two corresponding points is not fully contained in $X$. We consider the following three parameters of a set $X$: the clique number $ω(I(X))$, the chromatic number $χ(I(X))$ and the convexity number $γ(X)$, which is the minimum number of convex subsets of $X$ that cover $X$. We settle a conjecture of Matoušek and Valtr claiming that for every planar set $X$, $γ(X)$ can be bounded in terms of $χ(I(X))$. As a part of the proof we show that a disc with $n$ one-point holes near its boundary has $χ(I(X)) \ge \log\log(n)$ but $ω(I(X))=3$. We also find sets $X$ in $\mathbb{R}^5$ with $χ(X)=2$, but $γ(X)$ arbitrarily large.

We prove polynomial upper bounds of geometric Ramsey numbers of pathwidth-2 outerplanar triangulations in both convex and general cases. We also prove that the geometric Ramsey numbers of the ladder graph on $2n$ vertices are bounded by $O(n^{3})$ and $O(n^{10})$, in the convex and general case, respectively. We then apply similar methods to prove an $n^{O(\log(n))}$ upper bound on the Ramsey number of a path with $n$ ordered vertices.

We say that a permutation p is 'merged' from permutations q and r, if we can color the elements of p red and blue so that the red elements are order-isomorphic to q and the blue ones to r. A 'permutation class' is a set of permutations closed under taking subpermutations. A permutation class C is 'splittable' if it has two proper subclasses A and B such that every element of C can be obtained by merging an element of A with an element of B. Several recent papers use splittability as a tool in deriving enumerative results for specific permutation classes. The goal of this paper is to study splittability systematically. As our main results, we show that if q is a sum-decomposable permutation of order at least four, then the class Av(q) of all q-avoiding permutations is splittable, while if q is a simple permutation, then Av(q) is unsplittable. We also show that there is a close connection between splittings of certain permutation classes and colorings of circle graphs of bounded clique size. Indeed, our splittability results can be interpreted as a generalization of a theorem of Gyárfás stating that circle graphs of bounded clique size have bounded chromatic number.

An empty pentagon in a point set P in the plane is a set of five points in P in strictly convex position with no other point of P in their convex hull. We prove that every finite set of at least 328k^2 points in the plane contains an empty pentagon or k collinear points. This is optimal up to a constant factor since the (k-1)x(k-1) grid contains no empty pentagon and no k collinear points. The previous best known bound was doubly exponential.

We give improved lower bounds on the minimum number of $k$-holes (empty convex $k$-gons) in a set of $n$ points in general position in the plane, for $k=5,6$.

The visibility graph of a finite set of points in the plane has the points as vertices and an edge between two vertices if the line segment between them contains no other points. This paper establishes bounds on the edge- and vertex-connectivity of visibility graphs. Unless all its vertices are collinear, a visibility graph has diameter at most 2, and so it follows by a result of Plesník (1975) that its edge-connectivity equals its minimum degree. We strengthen the result of Plesník by showing that for any two vertices v and w in a graph of diameter 2, if deg(v) <= deg(w) then there exist deg(v) edge-disjoint vw-paths of length at most 4. Furthermore, we find that in visibility graphs every minimum edge cut is the set of edges incident to a vertex of minimum degree. For vertex-connectivity, we prove that every visibility graph with n vertices and at most l collinear vertices has connectivity at least (n-1)/(l-1), which is tight. We also prove the qualitatively stronger result that the vertex-connectivity is at least half the minimum degree. Finally, in the case that l=4 we improve this bound to two thirds of the minimum degree.

Let $E_d(n)$ be the maximum number of pairs that can be selected from a set of $n$ points in $R^d$ such that the midpoints of these pairs are convexly independent. We show that $E_2(n)\geq Ω(n\sqrt{\log n})$, which answers a question of Eisenbrand, Pach, Rothvoß, and Sopher (2008) on large convexly independent subsets in Minkowski sums of finite planar sets, as well as a question of Halman, Onn, and Rothblum (2007). We also show that $\lfloor\frac{1}{3}n^2\rfloor\leq E_3(n)\leq \frac{3}{8}n^2+O(n^{3/2})$. Let $W_d(n)$ be the maximum number of pairwise nonparallel unit distance pairs in a set of $n$ points in some $d$-dimensional strictly convex normed space. We show that $W_2(n)=Θ(E_2(n))$ and for $d\geq 3$ that $W_d(n)\sim\frac12\left(1-\frac{1}{a(d)}\right)n^2$, where $a(d)\in N$ is related to strictly antipodal families. In fact we show that the same asymptotics hold without the requirement that the unit distance pairs form pairwise nonparallel segments, and also if diameter pairs are considered instead of unit distance pairs.