arXiv++ Combinatorics

The famous Erdős distinct distances problem asks the following: how many distinct distances must exist between a set of $n$ points in the plane? There are many generalisations of this question that ask one to consider different spaces and metrics, or larger structures of points. We bring these problems into a common framework using the concept of $g$-rigidity. Specifically, if $G=(V,E)$ is a (hyper)graph, $g$ is a map assigning polynomial measurements to the edges of $G$ and $f_{g,G}(P^V)$ gives the set of $g$-distinct realisations of the $g$-rigid graph $G$, where vertices must lie in a point set $P$, our main results describe sharp lower bounds for the size of $\big|f_{g,G}(P^V)\big|$. This allows us to obtain results for pseudo-Euclidean metrics, $\ell_p$ metrics, dot-product problems, matrix completion problems, and symmetric tensor completion problems. In addition, we use the recent work of Alon, Bucić and Sauermann along with a simple colouring argument to prove that the number of $\| \cdot\|$-distinct realisations of a graph $G=(V,E)$ within a $d$-dimensional point set $P$ is at least $Ω\left(\frac{|P|^{|V|-1}}{(\log |P|)^2} \right)$ for almost all $d$-norms. Our methods here also provide a short proof that the unit distance conjecture implies the pinned distance conjecture.

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 present a unified approach to prove Helly-type theorems for monotone properties of boxes, such as having large volume or containing points from a given set. As a corollary, we obtain new proofs for several earlier results regarding specific monotone properties. Our results generalise to $H$-convex sets as well.

The celebrated Szemerédi--Trotter theorem states that the maximum number of incidences between $n$ points and $n$ lines in the plane is $O(n^{4/3})$, which is asymptotically tight. Solymosi (2005) conjectured that for any set of points $P_0$ and for any set of lines $\mathcal{L}_0$ in the plane, the maximum number of incidences between $n$ points and $n$ lines in the plane whose incidence graph does not contain the incidence graph of $(P_0,\mathcal{L}_0)$ is $o(n^{4/3})$. This conjecture is mentioned in the book of Brass, Moser, and Pach (2005). Even a stronger conjecture, which states that the bound can be improved to $O(n^{4/3-\varepsilon})$ for some $\varepsilon = \varepsilon(P_0,\mathcal{L}_0)>0$, was introduced by Mirzaei and Suk (2021). We disprove both of these conjectures. We also introduce a new approach for proving the upper bound $O(n^{4/3-\varepsilon})$ on the number of incidences for configurations $(P,\mathcal{L})$ that avoid certain subconfigurations.

Two celebrated extensions of Helly's theorem are the Fractional Helly theorem of Katchalski and Liu (1979) and the Quantitative Volume theorem of Bárány, Katchalski, and Pach (1982). Improving on several recent works, we prove an optimal combination of these two results. We show that given a family $\mathcal{F}$ of $n$ convex sets in $\mathbb{R}^d$ such that at least $α\binom{n}{d+1}$ of the $(d+1)$-tuples of $\mathcal{F}$ have an intersection of volume at least 1, then one can select $Ω_{d,α}(n)$ members of $\mathcal{F}$ whose intersection has volume at least $Ω_d(1)$. Furthermore, with the help of this theorem, we establish a quantitative version of the $(p,q)$ theorem of Alon and Kleitman. Let $p\geq q\geq d+1$ and let $\mathcal{F}$ be a finite family of convex sets in $\mathbb{R}^d$ such that among any $p$ elements of $\mathcal{F}$, there are $q$ that have an intersection of volume at least $1$. Then, we prove that there exists a family $T$ of $O_{p,q}(1)$ ellipsoids of volume $Ω_d(1)$ such that every member of $\mathcal{F}$ contains at least one element of $T$. Finally, we present extensions about the diameter version of the Quantitative Helly theoerm.

We prove that for any $\ell_p$-norm in the plane with $1<p<\infty$ and for every infinite $\mathcal{M} \subset \mathbb{R}^2$, there exists a two-colouring of the plane such that no isometric copy of $\mathcal{M}$ is monochromatic. On the contrary, we show that for every polygonal norm (that is, the unit ball is a polygon) in the plane, there exists an infinite $\mathcal{M} \subset \mathbb{R}^2$ such that for every two-colouring of the plane there exists a monochromatic isometric copy of $\mathcal{M}$.

Answering a question by Letzter and Snyder, we prove that for large enough $k$ any $n$-vertex graph $G$ with minimum degree at least $\frac{1}{2k-1}n$ and without odd cycles of length less than $2k+1$ is $3$-colourable. In fact, we prove a stronger result that works with a slightly smaller minimum degree.

Given a set $S \subseteq \mathbb{R}^2$, define the \emph{Helly number of $S$}, denoted by $H(S)$, as the smallest positive integer $N$, if it exists, for which the following statement is true: for any finite family $\mathcal{F}$ of convex sets in~$\mathbb{R}^2$ such that the intersection of any $N$ or fewer members of~$\mathcal{F}$ contains at least one point of $S$, there is a point of $S$ common to all members of $\mathcal{F}$. We prove that the Helly numbers of \emph{exponential lattices} $\{α^n \colon n \in \mathbb{N}_0\}^2$ are finite for every $α>1$ and we determine their exact values in some instances. In particular, we obtain $H(\{2^n \colon n \in \mathbb{N}_0\}^2)=5$, solving a problem posed by Dillon (2021). For real numbers $α, β> 1$, we also fully characterize exponential lattices $L(α,β) = \{α^n \colon n \in \mathbb{N}_0\} \times \{β^n \colon n \in \mathbb{N}_0\}$ with finite Helly numbers by showing that $H(L(α,β))$ is finite if and only if $\log_α(β)$ is rational.

In 2008, Schmidt and Tuller stated a conjecture concerning optimal packing and covering of integers by translates of a given three-point set. In this note, we confirm their conjecture and relate it to several other problems in combinatorics.

A recent generalization of the Erdős Unit Distance Problem, proposed by Palsson, Senger and Sheffer, asks for the maximum number of unit distance paths with a given number of vertices in the plane and in $3$-space. Studying a variant of this question, we prove sharp bounds on the number of unit distance paths and cycles on the sphere of radius $1/\sqrt{2}$. We also consider a similar problem about $3$-regular unit distance graphs in $\mathbb{R}^3$.

Erdős and Purdy, and later Agarwal and Sharir, conjectured that any set of $n$ points in $\mathbb R^{d}$ determine at most $Cn^{d/2}$ congruent $k$-simplices for even $d$. We obtain the first significant progress towards this conjecture, showing that this number is at most $C n^{3d/4}$ for $k<d$. As a consequence, we obtain an upper bound of $C n^{3d/4+2}$ for the number of similar $k$-simplices determined by $n$ points in $\mathbb R^d$, which improves the results of Agarwal, Apfelbaum, Purdy and Sharir. This problem is motivated by the problem of exact pattern matching. We also address Zarankiewicz-type questions of finding the maximum number of edges in semi-algebraic graphs with no $K_{u,u}$. Here, we improve the previous result of Fox, Pach, Sheffer, Suk, and Zahl, and Do for $d\le 4$, as well as for any $d$ and moderately large $u$. We get an improvement of their results for any $d$ and $u$ for unit-distance graphs, which was one of the main applications of their results. From a more general prospective, our results are proved using classical cutting techniques. In the recent years, we saw a great development of the polynomial partitioning method in incidence geometry that followed the breakthrough result by Guth and Katz. One consequence of that development is that the attention of the researchers in incidence geometry swayed in polynomial techniques. In this paper, we argue that there is a number of open problems where classical techniques work better.

Given a metric space $\mathcal{M}$ that contains at least two points, the chromatic number $χ\left(\mathbb{R}^n_{\infty}, \mathcal{M} \right)$ is defined as the minimum number of colours needed to colour all points of an $n$-dimensional space $\mathbb{R}^n_{\infty}$ with the max-norm such that no isometric copy of $\mathcal{M}$ is monochromatic. The last two authors have recently shown that the value $χ\left(\mathbb{R}^n_{\infty}, \mathcal{M} \right)$ grows exponentially for all finite $\mathcal{M}$. In the present paper we refine this result by giving the exact value $χ_{\mathcal{M}}$ such that $χ\left(\mathbb{R}^n_{\infty}, \mathcal{M} \right) = (χ_{\mathcal{M}}+o(1))^n$ for all 'one-dimensional' $\mathcal{M}$ and for some of their Cartesian products. We also study this question for infinite $\mathcal{M}$. In particular, we construct an infinite $\mathcal{M}$ such that the chromatic number $χ\left(\mathbb{R}^n_{\infty}, \mathcal{M} \right)$ tends to infinity as $n \rightarrow \infty$.

The well-known Sauer lemma states that a family $\mathcal{F}\subseteq 2^{[n]}$ of VC-dimension at most $d$ has size at most $\sum_{i=0}^d\binom{n}{i}$. We obtain both random and explicit constructions to prove that the corresponding saturation number, i.e., the size of the smallest maximal family with VC-dimension $d\ge 2$, is at most $4^{d+1}$, and thus is independent of $n$.

For fixed $k$ we prove exponential lower bounds on the equilateral number of subspaces of $\ell_{\infty}^n$ of codimension $k$. In particular, we show that if the unit ball of a normed space of dimension $n$ is a centrally symmetric polytope with at most $\frac{4n}{3}-o(n)$ pairs of facets, then it has an equilateral set of cardinality at least $n+1$. These include subspaces of codimension $2$ of $\ell_{\infty}^{n+2}$ for $n\geq 9$ and of codimension $3$ of $\ell_{\infty}^{n+3}$ for $n\geq 15$.

In a colouring of $\mathbb{R}^d$ a pair $(S,s_0)$ with $S\subseteq \mathbb{R}^d$ and with $s_0\in S$ is \emph{almost monochromatic} if $S\setminus \{s_0\}$ is monochromatic but $S$ is not. We consider questions about finding almost monochromatic similar copies of pairs $(S,s_0)$ in colourings of $\mathbb{R}^d$, $\mathbb{Z}^d$, and in $\mathbb{Q}$ under some restrictions on the colouring. Among other results, we characterise those $(S,s_0)$ with $S\subseteq \mathbb{Z}$ for which every finite colouring of $\mathbb{R}$ without an infinite monochromatic arithmetic progression contains an almost monochromatic similar copy of $(S,s_0)$. We also show that if $S\subseteq \mathbb{Z}^d$ and $s_0$ is outside of the convex hull of $S\setminus \{s_0\}$, then every finite colouring of $\mathbb{R}^d$ without a similar monochromatic copy of $\mathbb{Z}^d$ contains an almost monochromatic similar copy of $(S,s_0)$. Further, we propose an approach of finding almost-monochromatic sets that might lead to a non-computer assisted proof of $χ(\R^2)\geq 5$.

The following generalisation of the Erdős unit distance problem was recently suggested by Palsson, Senger and Sheffer. Given $k$ positive real numbers $δ_1,\dots,δ_k$, a $(k+1)$-tuple $(p_1,\dots,p_{k+1})$ in $\mathbb{R}^d$ is called a $(δ,k)$-chain if $\|p_j-p_{j+1}\| = δ_j$ for every $1\leq j \leq k$. What is the maximum number $C_k^d(n)$ of $(k,δ)$-chains in a set of $n$ points in $\mathbb{R}^d$, where the maximum is taken over all $δ$? Improving the results of Palsson, Senger and Sheffer, we essentially determine this maximum for all $k$ in the planar case. error term It is only for $k\equiv 1$ (mod) $3$ that the answer depends on the maximum number of unit distances in a set of $n$ points. We also obtain almost sharp results for even $k$ in $3$ dimension.

We say that a set of points $S\subset \mathbb{R}^d$ is an $\varepsilon$-nearly $k$-distance set if there exist $1\le t_1\le \ldots\le t_k,$ such that the distance between any two distinct points in $S$ falls into $[t_1,t_1+\varepsilon]\cup\ldots\cup[t_k,t_k+\varepsilon]$. In this paper, we study the quantity $M_k(d) = \lim_{\varepsilon\to 0}\max\{|S|\ :\ S\text{ is an }\varepsilon\text{-nearly } k \text{-distance set in } \mathbb{R}^d\}$ and its relation to the classical quantity $m_k(d)$: the size of the largest $k$-distance set in $\mathbb{R}^d$. We obtain that $M_k(d) = m_k(d)$ for $k=2,3$, as well as for any fixed $k$, provided that $d$ is sufficiently large. The last result answers a question, proposed by Erdős, Makai and Pach. We also address a closely related Turán-type problem, studied by Erdős, Makai, Pach, and Spencer in the 80's: given $n$ points in $\mathbb{R}^d$, how many pairs of them form a distance that belongs to $[t_1,t_1+1]\cup\ldots\cup[t_k,t_k+1],$ where $t_1,\ldots, t_k$ are fixed and any two points in the set are at distance at least $1$ apart? We establish the connection between this quantity and a quantity closely related to $M_k(d-1)$, as well as obtain an exact answer for the same ranges $k,d$ as above.

Extending a result of Rado to hypergraphs, we prove that for all $s, k, t \in \mathbb{N}$ with $k \geq t \geq 2$, the vertices of every $r = s(k-t+1)$-edge-coloured countably infinite complete $k$-graph can be partitioned into the cores of at most $s$ monochromatic $t$-tight Berge-paths of different colours. We further describe a construction showing that this result is best possible.

Confirming a conjecture of Gyárfás, we prove that, for all natural numbers $k$ and $r$, the vertices of every $r$-edge-coloured complete $k$-uniform hypergraph can be partitioned into a bounded number (independent of the size of the hypergraph) of monochromatic tight cycles. We further prove that, for for all natural numbers $p$ and $r$, the vertices of every $r$-edge-coloured complete graph can be partitioned into a bounded number of $p$-th powers of cycles, settling a problem of Elekes, Soukup, Soukup and Szentmiklóssy. In fact we prove a common generalisation of both theorems which further extends these results to all host hypergraphs of bounded independence number.

The dimension of a graph $G$ is the smallest $d$ for which its vertices can be embedded in $d$-dimensional Euclidean space in the sense that the distances between endpoints of edges equal $1$ (but there may be other unit distances). Answering a question of Erdős and Simonovits [Ars Combin. 9 (1980) 229--246], we show that any graph with less than $\binom{d+2}{2}$ edges has dimension at most $d$. Improving their result, we prove that that the dimension of a graph with maximum degree $d$ is at most $d$. We show the following Ramsey result: if each edge of the complete graph on $2d$ vertices is coloured red or blue, then either the red graph or the blue graph can be embedded in Euclidean $d$-space. We also derive analogous results for embeddings of graphs into the $(d-1)$-dimensional sphere of radius $1/\sqrt{2}$.