arXiv++ Combinatorics

Let $r \ge 2$ and $t \ge 1$. It is shown that if $T$ is an $r$-uniform tight tree with $t$ edges and $H$ is a $T$-free $r$-uniform hypergraph, then $|E(H)|\le (t-1)|\sh H|/r$, where $\sh H$ is the $(r-1)$-shadow of $H$. \iffalse Equality holds only for $(n,t + r - 2,r)$-designs.\fi The bound is tight infinitely often, and establishes Kalai's Conjecture, whose $r=2$ case is the Erd\H os-Sós Conjecture. The proof was found by GPT-6 Astra, extending its method of proof for the Erd\H os-Sós conjecture to the hypergraph setting. It is noteworthy that previous proofs of special cases of the Erd\H os-Sós conjecture do not extend to give tights bounds in the hypergraph setting. A strengthening of the Erd\H os-Sós conjecture due to the authors about tight lower bounds on the number of copies of a tree in a graph with average degree $d \ge t-1\ge 0$ remains open.

We show that the Erdős-Rogers function $f_{s,s+1}(n)$ satisfies $$f_{s,s+1}(n) = Θ( \sqrt{n \log n} )$$ for every $s \ge 2$. More precisely, we construct a $K_{s+1}$-free graph on $n$ vertices in which every set of at least $C(s)\sqrt{n \log n}$ vertices contains a copy of $K_s$ for some constant $C(s)$, which implies the upper bound. The matching lower bound follows from a theorem of Joret, Micek, Reed and Smid on the clique chromatic number of a graph.

For a 3-uniform hypergraph (3-graph) $F$, let $r(F,n)$ be the smallest $N$ such that any $N$-vertex $F$-free 3-graph has an independent set of size $n$. We construct a $3$-graph $H_2$ with six vertices and five edges such that $r(H_2,n)=n^{Θ(\log n)}$, and a more general family of $3$-graphs $F$ for which $r(F,n)=n^{\log^{Θ(1)}(n)}$. These are the first examples of such Ramsey number known to be neither polynomial nor exponential.

For any integer $d \geq 2$ and prime power $q$, we construct unexpectedly large induced matchings in the point-line incidence graph of $\mathbb{F}_{q}^{d}$ by leveraging a new connection with the Furstenberg-Sárközy problem from arithmetic combinatorics. In particular, we significantly improve the previously well-known baselines when $q$ is prime, showing that $\mathbb{F}_{q}^{2}$ contains matchings of size $q^{1.233}$ and $\mathbb{F}_{q}^{d}$ contains matchings of size $q^{d-o_{d}(1)}$. These results and their proofs have several applications. First, we also obtain new constructions for finite field Nikodym sets in dimension $d \geq 2$, improving recent results of Tao by polynomial factors. For example, when $q$ is prime, we show the existence of Nikodym sets in $\mathbb{F}_q^d$ of size $q^d - q^{d - o_d(1)}$. Second, we construct a new minimal blocking set in $\mathrm{PG}(2,q)$, solving a longstanding problem in finite geometry. Third, we obtain new constructions for the minimal distance problem (in $\mathbb{R}^{2}$ and also in higher dimensions), improving a recent result of Logunov-Zakharov. We also obtain analogous results for general finite fields with large characteristics. In particular, in one of our constructions we introduce a new special set of points inside the norm hypersurface in $\mathbb{F}_{q}^{d}$, which directly generalizes the classical Hermitian unital and which may be of independent interest for applications.

We provide two novel constructions of $r$ edge-disjoint $K_{k+1}$-free graphs on the same vertex set, each of which has the property that every small induced subgraph contains a complete graph on $k$ vertices. The main novelty of our argument is the combination of an algebraic and a probabilistic coloring scheme, which utilizes the beneficial algebraic and combinatorial properties of the Hermitian unital. These constructions improve on a number of upper bounds on the smallest possible minimum degree of minimal $r$-color Ramsey graphs for the clique $K_{k+1}$ when $r\geq c\frac{k}{\log^2 k}$ and $k$ is large enough.

The classical Ramsey numbers $r(s,t)$ denote the minimum $n$ such that every red-blue coloring of the edges of the complete graph $K_n$ contains either a red clique of order $s$ or a blue clique of order $t$. These quantities are the centerpiece of graph Ramsey Theory, and have been studied for almost a century. The Erdős-Szekeres Theorem (1935) shows that for each $s \geq 2$, $r(s,t) = O(t^{s - 1})$ as $t \rightarrow \infty$. We introduce a new approach using pseudorandom graphs which shows $r(4,t) = Ω(t^3/(\log t)^4)$ as $t \rightarrow \infty$, answering an old conjecture of Erdős, and we illustrate how to apply this approach to many other Ramsey and related combinatorial problems.

A natural open problem in Ramsey theory is to determine those $3$-graphs $H$ for which the off-diagonal Ramsey number $r(H, K_n^{(3)})$ grows polynomially with $n$. We make substantial progress on this question by showing that if $H$ is tightly connected or has at most two tight components, then $r(H, K_n^{(3)})$ grows polynomially if and only if $H$ is contained in an iterated blowup of an edge.

A theorem of Shearer states that every $n$-vertex triangle-free graph of maximum degree $d \geq 2$ contains an independent set of size at least $(d\log d - d + 1)/(d - 1)^2 \cdot n$. Ajtai, Komlós, Pintz, Spencer and Szemerédi proved that every $(r + 1)$-uniform $n$-vertex ``uncrowded'' hypergraph of maximum degree $d \geq 1$ has an independent set of size at least $c_r(\log d)^{1/r}/d^{1/r} \cdot n$ for some $c_r > 0$ depending only on $r$. Shearer asked whether his method for triangle-free graphs could be extended to uniform hypergraphs. In this paper, we answer this in the affirmative, thereby giving a short proof of the theorem of Ajtai, Komlós, Pintz, Spencer and Szemerédi for a wider class of ``locally sparse'' hypergraphs.

For a $k$-uniform hypergraph $F$ and a positive integer $n$, the Ramsey number $r(F,n)$ denotes the minimum $N$ such that every $N$-vertex $F$-free $k$-uniform hypergraph contains an independent set of $n$ vertices. A hypergraph is $\textit{slowly growing}$ if there is an ordering $e_1,e_2,\dots,e_t$ of its edges such that $|e_i \setminus \bigcup_{j = 1}^{i - 1}e_j| \leq 1$ for each $i \in \{2, \ldots, t\}$. We prove that if $k \geq 3$ is fixed and $F$ is any non $k$-partite slowly growing $k$-uniform hypergraph, then for $n\ge2$, \[ r(F,n) = Ω\Bigl(\frac{n^k}{(\log n)^{2k - 2}}\Bigr).\] In particular, we deduce that the off-diagonal Ramsey number $r(F_5,n)$ is of order $n^{3}/\mbox{polylog}(n)$, where $F_5$ is the triple system $\{123, 124, 345\}$. This is the only 3-uniform Berge triangle for which the polynomial power of its off-diagonal Ramsey number was not previously known. Our constructions use pseudorandom graphs, martingales, and hypergraph containers.

Let $f_{F,G}(n)$ be the largest size of an induced $F$-free subgraph that every $n$-vertex $G$-free graph is guaranteed to contain. We prove that for any triangle-free graph $F$, \[ f_{F,K_3}(n) = f_{K_2,K_3}(n)^{1 + o(1)} = n^{\frac{1}{2} + o(1)}.\] Along the way we give a slight improvement of a construction of Erd\H os-Frankl-Rödl for the Brown-Erd\H os-Sós $(3r-3,3)$-problem when $r$ is large. In contrast to our result for $K_3$, for any $K_4$-free graph $F$ containing a cycle, we prove there exists $c_F > 0$ such that $$f_{F,K_4}(n) > f_{K_2,K_4}(n)^{1 + c_F} = n^{\frac{1}{3}+c_F+o(1)}.$$ \iffalse We also observe that our earlier proof for $F=K_3$ generalizes to $f_{F,K_4}(n) = O(\sqrt{n}\log n)$ for all $F$ containing a cycle. \fi For every graph $G$, we prove that there exists $\varepsilon_G >0$ such that whenever $F$ is a non-empty graph such that $G$ is not contained in any blowup of $F$, then $f_{F,G}(n) = O(n^{1-\varepsilon_G})$. On the other hand, for graph $G$ that is not a clique, and every $\varepsilon>0$, we exhibit a $G$-free graph $F$ such that $f_{F,G}(n) = Ω(n^{1-\varepsilon})$.

Let $ES_{\ell}(n)$ be the minimum $N$ such that every $N$-element point set in the plane contains either $\ell$ collinear members or $n$ points in convex position. We prove that there is a constant $C>0$ such that, for each $\ell, n \ge 3$, $$ (3\ell - 1) \cdot 2^{n-5} < ES_{\ell}(n) < \ell^2 \cdot 2^{n+ C\sqrt{n\log n}}.$$ A similar extension of the well-known Erd\H os--Szekeres cups-caps theorem is also proved.

Answering a question of Erdős and Graham, we show that for each fixed positive rational number $x$ the number of ways to write $x$ as a sum of reciprocals of distinct positive integers each at most $n$ is $2^{(c_x + o(1))n}$ for an explicit constant $c_x$ increasing with $x$.

A fundamental problem in Ramsey theory is to determine the growth rate in terms of $n$ of the Ramsey number $r(H, K_n^{(3)})$ of a fixed $3$-uniform hypergraph $H$ versus the complete $3$-uniform hypergraph with $n$ vertices. We study this problem, proving two main results. First, we show that for a broad class of $H$, including links of odd cycles and tight cycles of length not divisible by three, $r(H, K_n^{(3)}) \ge 2^{Ω_H(n \log n)}$. This significantly generalizes and simplifies an earlier construction of Fox and He which handled the case of links of odd cycles and is sharp both in this case and for all but finitely many tight cycles of length not divisible by three. Second, disproving a folklore conjecture in the area, we show that there exists a linear hypergraph $H$ for which $r(H, K_n^{(3)})$ is superpolynomial in $n$. This provides the first example of a separation between $r(H,K_n^{(3)})$ and $r(H,K_{n,n,n}^{(3)})$, since the latter is known to be polynomial in $n$ when $H$ is linear.

For an integer $n \geq 1$, the Erdős-Rogers function $f_{s}(n)$ is the maximum integer $m$ such that every $n$-vertex $K_{s+1}$-free graph has a $K_s$-free subgraph with $m$ vertices. It is known that for all $s \geq 3$, $f_{s}(n) = Ω(\sqrt{n\log n}/\log \log n)$ as $n \rightarrow \infty$. In this paper, we show that for all $s \geq 3$, \begin{equation*} f_{s}(n) = O(\sqrt{n}\, \log n). \end{equation*} This improves previous bounds of order $\sqrt{n} (\log n)^{2(s + 1)^2}$ by Dudek, Retter and Rödl.

Building on recent work of Mattheus and Verstraëte, we establish a general connection between Ramsey numbers of the form $r(F,t)$ for $F$ a fixed graph and a variant of the Zarankiewicz problem asking for the maximum number of 1s in an $m$ by $n$ $0/1$-matrix that does not have any matrix from a fixed finite family $\mathcal{L}(F)$ derived from $F$ as a submatrix. As an application, we give new lower bounds for the Ramsey numbers $r(C_5,t)$ and $r(C_7,t)$, namely, $r(C_5,t) = \tildeΩ(t^{\frac{10}{7}})$ and $r(C_7,t) = \tildeΩ(t^{\frac{5}{4}})$. We also show how the truth of a plausible conjecture about Zarankiewicz numbers would allow an approximate determination of $r(C_{2\ell+1}, t)$ for any fixed integer $\ell \geq 2$.

For integers $s,t \geq 2$, the Ramsey numbers $r(s,t)$ denote the minimum $N$ such that every $N$-vertex graph contains either a clique of order $s$ or an independent set of order $t$. In this paper we prove \[ r(4,t) = Ω\Bigl(\frac{t^3}{\log^4 \! t}\Bigr) \quad \quad \mbox{ as }t \rightarrow \infty\] which determines $r(4,t)$ up to a factor of order $\log^2 \! t$, and solves a conjecture of Erdős.

We consider the maximum chromatic number of hypergraphs consisting of cliques that have pairwise small intersections. Designs of the appropriate parameters produce optimal constructions, but these are known to exist only when the number of cliques is exponential in the clique size. We construct near designs where the number of cliques is polynomial in the clique size, and show that they have large chromatic number. The case when the cliques have pairwise intersections of size at most one seems particularly challenging. Here we give lower bounds by analyzing a random greedy hypergraph process. We also consider the related question of determining the maximum number of caps in a finite projective/affine plane and obtain nontrivial upper and lower bounds.

A $(k; r, s; n, q)$-set (short: $(r,s)$-set) of $\mathrm{PG}(n, q)$ is a set of points $X$ with $|X| = k$ such that no $s$-space contains more than $r$ points of $X$. We investigate the asymptotic size of $(r, s)$-sets for $n$ fixed and $q \rightarrow \infty$. In particular, we show the existence of $(3, 2)$-sets of size $(1+o(1)) q^{3/2}$ for $n=6$, $(4, 2)$-sets of size $(1+o(1)) q^{\frac{n-1}{2}}$, and $(9, 2)$-sets of size $(1+o(1)) q^2$ for $n=4$. We also generalize a bound by Rao from 1947 and show that an $(r,s)$-set has size at most $O(q^{\frac{n-e+1}{e}})$ if there exist integers $d,e \geq 2$ such that $s=d(e-1)$ and $r=de-1$.

Let $K_m^{(3)}$ denote the complete $3$-uniform hypergraph on $m$ vertices and $S_n^{(3)}$ the $3$-uniform hypergraph on $n+1$ vertices consisting of all $\binom{n}{2}$ edges incident to a given vertex. Whereas many hypergraph Ramsey numbers grow either at most polynomially or at least exponentially, we show that the off-diagonal Ramsey number $r(K_{4}^{(3)},S_n^{(3)})$ exhibits an unusual intermediate growth rate, namely, \[ 2^{c \log^2 n} \le r(K_{4}^{(3)},S_n^{(3)}) \le 2^{c' n^{2/3}\log n} \] for some positive constants $c$ and $c'$. The proof of these bounds brings in a novel Ramsey problem on grid graphs which may be of independent interest: what is the minimum $N$ such that any $2$-edge-coloring of the Cartesian product $K_N \square K_N$ contains either a red rectangle or a blue $K_n$?

For positive integers $n,r,s$ with $r > s$, the set-coloring Ramsey number $R(n;r,s)$ is the minimum $N$ such that if every edge of the complete graph $K_N$ receives a set of $s$ colors from a palette of $r$ colors, then there is guaranteed to be a monochromatic clique on $n$ vertices, that is, a subset of $n$ vertices where all of the edges between them receive a common color. In particular, the case $s=1$ corresponds to the classical multicolor Ramsey number. We prove general upper and lower bounds on $R(n;r,s)$ which imply that $R(n;r,s) = 2^{Θ(nr)}$ if $s/r$ is bounded away from $0$ and $1$. The upper bound extends an old result of Erdős and Szemerédi, who treated the case $s = r-1$, while the lower bound exploits a connection to error-correcting codes. We also study the analogous problem for hypergraphs.