arXiv++ Combinatorics

Let $\mathcal{P}$ be a three-dimensional convex polytope resting with one of its faces on the plane. At each step, $\mathcal{P}$ is allowed to roll over a randomly selected edge of the face currently lying on the plane, until the adjacent face comes to rest on the plane. The trace of $\mathcal{P}$ is the set of all points of the plane that can be reached by a vertex of $\mathcal{P}$, starting from a fixed initial position and performing a finite sequence of rolls. We prove that if the trace of $\mathcal{P}$ has a convergent subsequence, then, with probability one, the set of points reached by the vertices of a randomly rolling copy of $\mathcal{P}$ is everywhere dense in the plane. This settles a conjecture of Hegyvári.

Let $k\ge 2$ be fixed integer, $0<c<1$ a constant. Consider a graph $G$ with $n$ vertices and average degree $cn$. We answer a question of Simon Griffiths by showing that $G$ has $k$ vertices such that their neighborhoods together cover at least $\min(1-(1-c)^{k},\sqrt{c})n$ vertices. This result is essentially tight.

The \emph{chromatic number} of a hypergraph is the smallest number of colors needed to color the vertices such that no edge of at least two vertices is monochromatic. Given a family of geometric objects $\mathcal{F}$ that covers a subset $S$ of the Euclidean space, we can associate it with a hypergraph whose vertex set is $\mathcal F$ and whose edges are those subsets ${\mathcal{F}'}\subset \mathcal F$ for which there exists a point $p\in S$ such that ${\mathcal F}'$ consists of precisely those elements of $\mathcal{F}$ that contain $p$. The question whether $\mathcal F$ can be split into 2 coverings is equivalent to asking whether the chromatic number of the hypergraph is equal to 2. There are a number of competing notions of the chromatic number that lead to deep combinatorial questions already for abstract hypergraphs. In this paper, we concentrate on \emph{geometrically defined} (in short, \emph{geometric}) hypergraphs, and survey many recent coloring results related to them. In particular, we study and survey the following problem, dual to the above covering question. Given a set of points $S$ in the Euclidean space and a family $\mathcal{F}$ of geometric objects of a fixed type, define a hypergraph ${\mathcal H}_m$ on the point set $S$, whose edges are the subsets of $S$ that can be obtained as the intersection of $S$ with a member of $\mathcal F$ and have at least $m$ elements. Is it true that if $m$ is large enough, then the chromatic number of ${\mathcal H}_m$ is equal to 2?

A plank is the part of space between two parallel planes. The following open problem, posed 45 years ago, can be viwed as the converse of Tarski's plank problem (Bang's theorem): Is it true that if the total width of a collection of planks is sufficiently large, then the planks can be individually translated to cover a unit ball $B$? A translative covering of $B$ by planks is said to be non-dissective if the planks can be added one by one, in some order, such that the uncovered part remains connected at each step, and is empty at the end. Improving a classical result of Groemer, we show that every set of $C/ε^{7/4}$ planks of width $ε$ admits a non-dissective translative covering of $B$, provided $C$ is large enough. Our proof yields a low-complexity algorithm. We also establish the first nontrivial lower bound of $c/ε^{4/3}$ for this quantity.

Raimi's theorem guarantees the existence of a partition of $\mathbb{N}$ into two parts with an unavoidable intersection property: for any finite coloring of $\mathbb{N}$, some color class intersects both parts infinitely many times, after an appropriate shift (translation). We establish a polynomial extension of this result, proving that such intersections persist under polynomial shifts in any dimension. Let $P^{(1)},\dots,P^{(f)}\in\mathbb{Z}[x]$ be non-constant polynomials with positive leading coefficients and $P^{(j)}(0)=0$ for every $j$. We construct a partition of $\mathbb{N}^k$ into an arbitrarily fixed finite number of pieces such that for any coloring of $\mathbb{N}^k$ with finitely many colors, there exist $x_0\in \mathbb{N}$ and a single color class that meets all partition pieces after shifts by $x_0+P^{(j)}(h)$ in each of the $k$ coordinate directions, for every $j$ and infinitely many values $h\in \mathbb{N}$. Our proof exploits Weyl's equidistribution theory, Pontryagin duality, and the structure of polynomial relation lattices. We also prove some finite analogues of the above results for abelian groups and $SL_2(\mathbb{F}_q)$.

A graph is said to contain $K_k$ (a clique of size $k$) as a weak immersion if it has $k$ vertices, pairwise connected by edge-disjoint paths. In 1989, Lescure and Meyniel made the following conjecture related to Hadwiger's conjecture: Every graph of chromatic number $k$ contains $K_k$ as a weak immersion. We prove this conjecture for graphs with at most $(1.64-o(1))k$ vertices. As an application, we make some progress on Albertson's conjecture, according to which every graph $G$ with chromatic number $k$ satisfies $cr(G) \geq cr(K_k)$. In particular, we show that the conjecture is true for all graphs of chromatic number $k$, provided that they have at most $(1.64-o(1))k$ vertices.

Let $X$ be a set of $n$ points in the plane, not all on a line. According to the Gallai-Sylvester theorem, $X$ always spans an \emph{ordinary line}, i.e., one that passes through precisely 2 elements of $X$. Given an integer $c\ge 2,$ a \emph{line} spanned by $X$ is called \emph{$c$-ordinary} if it passes through at most $c$ points of $X$. A \emph{triangle} spanned by 3 noncollinear points of $X$ is called \emph{$c$-ordinary} if all 3 lines determined by its sides are \emph{$c$-ordinary}. Motivated by a question of Erd\H os, Fulek \emph{et al.}~\cite{FMN+17} proved that there exists an absolute constant $c > 2$ such that if $X$ cannot be covered by 2 lines, then it determines at least one $c$-ordinary triangle. Moreover, the number of such triangles grows at least linearly in $n$. They raised the question whether the true growth rate of this function is superlinear. We prove that if $X$ cannot be covered by 2 lines, and no line passes through more than $n-t(n)$ points of $X$, for some function $t(n)\rightarrow\infty,$ then the number of $17$-ordinary triangles spanned by $X$ is at least constant times $n \cdot t(n)$, i.e., superlinear in $n$. We also show that the assumption $t(n)\rightarrow\infty$ is necessary. If we further assume that no line passes through more than $n/2-t(n)$ points of $X$, then the number of $17$-ordinary triangles grows superquadratically in $n$. This statement does not hold if $t(n)$ is bounded. We close this paper with some algorithmic results. In particular, we provide a $O(n^{2.372})$ time algorithm for counting all $c$-ordinary triangles in an $n$-element point set, for any $c<n$.

Let $p_0,\ldots,p_n$ be a finite sequence of points in an Euclidean space $\R^d$. Suppose that there is a (pointlike) particle sitting at each point $p_i$. In a ``legal'' move, any one of them can jump over another, landing on the other side, at exactly the same distance. Under what circumstances can we guarantee that for any $\varepsilon>0$ and any other sequence of points $q_0,\ldots, q_n\in\R^d$, there is a finite sequence of legal moves that takes the particle at $p_i$ to the $\varepsilon$-neighborhood of $q_i$, simultaneously for every $i$? We prove that this is possible if and only if the additive group generated by the vectors $p_1-p_0,\ldots,p_n-p_0$ is dense in $\R^d$.

According to a classical result of Spencer, Szemerédi, and Trotter (1984), the maximum number of times the unit distance can occur among $n$ points in the plane is $O(n^{4/3})$. This is far from Erdős's lower bound, $n^{1+O(1/\log\log n)}$, which is conjectured to be optimal. We prove a structural result for point sets with nearly $n^{4/3}$ unit distances and use it to reduce the problem to a conjecture on rigid frameworks. This conjecture, if true, would yield the first improvement on the bound of Spencer et al. A weaker version of this conjecture has been established by the last two authors.

Given a set $A$ of $n$ points (vertices) in general position in the plane, the \emph{complete geometric graph} $K_n[A]$ consists of all $\binom{n}{2}$ segments (edges) between the elements of $A$. It is known that the edge set of every complete geometric graph on $n$ vertices can be partitioned into $O(n^{3/2})$ crossing-free paths (or matchings). We strengthen this result under various additional assumptions on the point set. In particular, we prove that for a set $A$ of $n$ \emph{randomly} selected points, uniformly distributed in $[0,1]^2$, with probability tending to $1$ as $n\rightarrow\infty$, the edge set of $K_n[A]$ can be covered by $O(n\log n)$ crossing-free paths and by $O(n\sqrt{\log n})$ crossing-free matchings. On the other hand, we construct $n$-element point sets such that covering the edge set of $K_n[A]$ requires a quadratic number of monotone paths.

A graph whose vertices are points in the plane and whose edges are noncrossing straight-line segments of unit length is called a \emph{matchstick graph}. We prove two somewhat counterintuitive results concerning the maximum number of edges of such graphs in two different scenarios. First, we show that there is a constant $c>0$ such that every triangle-free matchstick graph on $n$ vertices has at most $2n-c\sqrt{n}$ edges. This statement is not true for any $c>\sqrt2.$ We also prove that for every $r>0$, there is a constant $\varepsilon(r)>0$ with the property that every matchstick graph on $n$ vertices contained in a disk of radius $r$ has at most $(2-\varepsilon(r))n$ edges.

If we two-colour a circle, we can always find an inscribed triangle with angles $(\fracπ{7},\frac{2π}{7},\frac{4π}{7})$ whose three vertices have the same colour. In fact, Bialostocki and Nielsen showed that it is enough to consider the colours on the vertices of an inscribed heptagon. We prove that for every other triangle $T$ there is a two-colouring of the circle without any monochromatic copy of $T$. More generally, for $k\geq 3$, call a $k$-tuple $(d_1,d_2,\dots,d_k)$ with $d_1\geq d_2\geq \dots \geq d_k>0$ and $\sum_{i=1}^k d_i=1$ a Ramsey $k$-tuple if the following is true: in every two-colouring of the circle of unit perimeter, there is a monochromatic $k$-tuple of points in which the distances of cyclically consecutive points, measured along the arcs, are $d_1,d_2,\dots,d_k$ in some order. By a conjecture of Stromquist, if $d_i=\frac{2^{k-i}}{2^k-1}$, then $(d_1,\dots,d_k)$ is Ramsey. Our main result is a proof of the converse of this conjecture. That is, we show that if $(d_1,\dots,d_k)$ is Ramsey, then $d_i=\frac{2^{k-i}}{2^k-1}$. We do this by finding connections of the problem to certain questions from number theory about partitioning $\mathbb{N}$ into so-called Beatty sequences. We also disprove a majority version of Stromquist's conjecture, study a robust version, and discuss a discrete version.

We introduce the following variant of the Gale-Berlekamp switching game. Let $P$ be a set of n noncollinear points in the plane, each of them having weight $+1$ or $-1$. At each step, we pick a line $\ell$ passing through at least two points of $P$, and switch the sign of every point $p \in P\cap\ell$. The objective is to maximize the total weight of the elements of $P$. We show that one can always achieve that this quantity is at least $n - o(n)$, as $n\rightarrow\infty$, and at least $n/3$, for every $n$. Moreover, these can be attained by a polynomial time algorithm.

A subset $S$ of real numbers is called bi-Sidon if it is a Sidon set with respect to both addition and multiplication, i.e., if all pairwise sums and all pairwise products of elements of $S$ are distinct. Imre Ruzsa asked the following question: What is the maximum number $f(N)$ such that every set $S$ of $N$ real numbers contains a bi-Sidon subset of size at least $f(N)$? He proved that $f(N)\geq cN^{\frac13}$, for a constant $c>0$. In this note, we improve this bound to $N^{\frac13+\frac7{78}+o(1)}$.

A curve in the plane is $x$-monotone if every vertical line intersects it at most once. A family of curves are called pseudo-segments if every pair of them have at most one point in common. We construct $2^{Ω(n^{4/3})}$ families, each consisting of $n$ labelled $x$-monotone pseudo-segments such that their intersection graphs are different. On the other hand, we show that the number of such intersection graphs is at most $2^{O(n^{4/3}\log^2n)}$. Our proof uses a new upper bound on the number of set systems of size $m$ on a ground set of size $n$, with VC-dimension at most $d$. Much better upper bounds are obtained if we only count bipartite intersection graphs, or, in general, intersection graphs with bounded chromatic number.

A \emph{complete geometric graph} consists of a set $P$ of $n$ points in the plane, in general position, and all segments (edges) connecting them. It is a well known question of Bose, Hurtado, Rivera-Campo, and Wood, whether there exists a positive constant $c<1$, such that every complete geometric graph on $n$ points can be partitioned into at most $cn$ plane graphs (that is, noncrossing subgraphs). We answer this question in the affirmative in the special case where the underlying point set $P$ is \emph{dense}, which means that the ratio between the maximum and the minimum distances in $P$ is of the order of $Θ(\sqrt{n})$.

We consider partitions of a point set into two parts, and the lengths of the minimum spanning trees of the original set and of the two parts. If $w(P)$ denotes the length of a minimum spanning tree of $P$, we show that every set $P$ of $n \geq 12$ points admits a bipartition $P= R \cup B$ for which the ratio $\frac{w(R)+w(B)}{w(P)}$ is strictly larger than $1$; and that $1$ is the largest number with this property. Furthermore, we provide a very fast algorithm that computes such a bipartition in $O(1)$ time and one that computes the corresponding ratio in $O(n \log{n})$ time. In certain settings, a ratio larger than $1$ can be expected and sometimes guaranteed. For example, if $P$ is a set of $n$ random points uniformly distributed in $[0,1]^2$ ($n \to \infty$), then for any $\eps>0$, the above ratio in a maximizing partition is at least $\sqrt2 -\eps$ with probability tending to $1$. As another example, if $P$ is a set of $n$ points with spread at most $α\sqrt{n}$, for some constant $α>0$, then the aforementioned ratio in a maximizing partition is $1 + Ω(α^{-2})$. All our results and techniques are extendable to higher dimensions.

We prove a far-reaching strengthening of Szemerédi's regularity lemma for intersection graphs of pseudo-segments. It shows that the vertex set of such a graph can be partitioned into a bounded number of parts of roughly the same size such that almost all bipartite graphs between different pairs of parts are complete or empty. We use this to get an improved bound on disjoint edges in simple topological graphs, showing that every $n$-vertex simple topological graph with no $k$ pairwise disjoint edges has at most $n(\log n)^{O(\log k)}$ edges.

Extending the notion of sunflowers, we call a family of at least two sets an odd-sunflower if every element of the underlying set is contained in an odd number of sets or in none of them. It follows from the Erd\H os--Szemerédi conjecture, recently proved by Naslund and Sawin, that there is a constant $μ<2$ such that every family of subsets of an $n$-element set that contains no odd-sunflower consists of at most $μ^n$ sets. We construct such families of size at least $1.5021^n$. We also characterize minimal odd-sunflowers of triples.

The Upper Bound Theorem for convex polytopes implies that the $p$-th Betti number of the Čech complex of any set of $N$ points in $\mathbb R^d$ and any radius satisfies $β_{p} = O(N^{m})$, with $m = \min \{ p+1, \lceil d/2 \rceil \}$. We construct sets in even and odd dimensions that prove this upper bound is asymptotically tight. For example, we describe a set of $N = 2(n+1)$ points in $\mathbb R^3$ and two radii such that the first Betti number of the Čech complex at one radius is $(n+1)^2 - 1$, and the second Betti number of the Čech complex at the other radius is $n^2$.