On Berge-Ramsey problems

TL;DR

This paper investigates the Ramsey numbers for Berge copies of graphs within hypergraphs, establishing conditions for super-linear growth, improving lower bounds, and providing sharp bounds for specific cases.

Contribution

It introduces new bounds and methods for Berge-Ramsey problems, including conditions for super-linear Ramsey numbers and sharp bounds for certain parameters.

Findings

Identified when Ramsey numbers for Berge copies can be super-linear.

Developed a new approach to lower bounds, significantly improving previous results.

Provided a nearly sharp upper bound for the case G=K_n and r=2c-1.

Abstract

Given a graph $G$, a hypergraph $\mathcal{H}$ is a Berge copy of $F$ if $V(G)\subset V(\mathcal{H})$ and there is a bijection $f:E(G)\rightarrow E(\mathcal{H})$ such that for any edge $e$ of $G$ we have $e\subset f(e)$. We study Ramsey problems for Berge copies of graphs, i.e. the smallest number of vertices of a complete $r$-uniform hypergraph, such that if we color the hyperedges with $c$ colors, there is a monochromatic Berge copy of $G$. We obtain a couple results regarding these problems. In particular, we determine for which $r$ and $c$ the Ramsey number can be super-linear. We also show a new way to obtain lower bounds, and improve the general lower bounds by a large margin. In the specific case $G=K_n$ and $r=2c-1$, we obtain an upper bound that is sharp besides a constant term, improving earlier results.

Equations

$$R^c(B^{2c-1}{K}_n)\le \frac{cn}{c-1}+c(2c-1)(c-2)\left(\genfrac{}{}{0ex}{}{2c-1}{2}\right).$$

$$\lfloor c_{r-1}\frac{n^{\prime }{}^{1+1/(r-3)}}{\log n^{\prime }}\rfloor =\frac{c_{r-1}{c}_r^{\prime }(n){}^{\frac{r-2}{r-3}}n\frac{r-3}{r-2}\log n}{\frac{r-3}{r-2}\log n+\log c_r^{\prime }+\log \log n}=n-1,$$

Full text

We obtain a couple results regarding these problems. In particular, we determine for which $r$ and $c$ the Ramsey number can be super-linear. We also show a new way to obtain lower bounds, and improve the general lower bounds by a large margin. In the specific case $G=K_{n}$ and $r=2c-1$, we obtain an upper bound that is sharp besides a constant term, improving earlier results.

1 Introduction

Gerbner and Palmer, [7], extending the definition of hypergraph cycles due to Berge, introduced the so-called Berge hypergraphs. Given a graph $G$ and a hypergraph ${\mathcal{H}}$, we say that ${\mathcal{H}}$ is a Berge copy of $F$ (in short: Berge-$F$) if $V(G)\subset V({\mathcal{H}})$ and there is a bijection $f:E(G)\rightarrow E({\mathcal{H}})$ such that for any edge $e$ of $G$ we have $e\subset f(e)$. In other words, we can extend edges of $G$ to obtain ${\mathcal{H}}$, or we can shrink hyperedges of ${\mathcal{H}}$ to obtain a copy of $G$. Observe that a graph $G$ may have several non-isomorphic Berge copies, and a hypergraph ${\mathcal{H}}$ may be Berge copy of several different graphs.

For a graph $G$, we denote by $B^{r}G$ the family of $r$-uniform Berge copies of $G$. As we will often talk about graphs and hypergraphs in the same proofs, we will always refer to graph edges as edges and hypergraph edges as hyperedges or $r$-edges (if they have size $r$), to help distinguish them.

Turán-type problems for Berge hypergraphs have attracted a lot of researchers, see e.g. [3, 5, 6, 8, 9, 11, 12]. Recently, the study or Ramsey problems for Berge hypergraphs has been initiated independently by three groups of researchers [1, 4, 15] (for Berge cycles there have been earlier results, see e.g. [10, 14]).

For graphs $G_{1},G_{2},\dots,G_{c}$, the Ramsey number $R(B^{r}G_{1},B^{r}G_{2},\dots,B^{r}G_{c})$ is the smallest integer $N$ such that if the hyperedges of the complete $r$-uniform hypergraph on $N$ vertices are colored using colors $1,2,\dots,c$, then there is an $i\leq c$, such that there is a Berge copy of $G_{i}$ with each of its hyperedges colored $i$. In case $G_{1}=G_{2}=\dots=G_{c}$, we denote the Ramsey number by $R^{c}(B^{r}G_{1})$.

Most of the earlier results [4, 15] focused on the case $c$ and $r$ are fixed and the graphs $G_{1},G_{2},\dots,G_{c}$ can be large. This is our approach here as well. In particular [4] determined $R(B^{r}G_{1},B^{r}G_{2},\dots,B^{r}G_{c})$ exactly in case $r\geq 2c$ and at least one of the graphs $G_{i}$ has at least $12c\binom{r}{2}$ vertices. In case $r=2c-1$, they proved $1+c\lfloor\frac{n-2}{c-1}\rfloor\leq R^{c}(B^{r}K_{n})\leq(2c-1)\frac{n}{c-3}$, provided $n$ is large enough. Note that for $c=2$ and $r=3$, the exact result $R^{2}(B^{3}K_{n})=2n-3$ if $n\geq 5$ is proved in [15]. As our first result, we close the gap for larger $c$, apart from a constant additive term, by showing the following.

Theorem 1**.**

For any $r$ and $c$, if $n$ is large enough, then we have

[TABLE]

We remark that it is not hard to see that the Ramsey number is monotone decreasing in $r$. It follows from the well-known fact that there is an injection from the 2-element subsets of a finite set $X$ to the $r$-element subsets of $X$ (provided $|X|\geq r+2$), such that each 2-set is contained in its image. Also, by definition, the Ramsey number monotone increases in $c$. What happens if both $r$ and $c$ increase? We show that if both increase by 1, the order of magnitude cannot increase.

Theorem 2**.**

For any graph $G$, $R^{c}(B^{r}G)\leq r\binom{r}{2}R^{c-1}(B^{r-1}G)+|V(G)|$.

It was shown in [4] that if $r>c$, then the Ramsey number is linear in the number of vertices $n$. However, for $r=c=3$, [15] showed a super-linear lower bound $\Omega(n^{2}/\log n)$. Moreover, they showed for every $r$ a super-linear lower bound, in case $c$ is large enough. Note that their bounds are sub-quadratic. For the case $r=3$, a polynomial lower bound with degree increasing with $c$ was given in [4]. Here we give a similar bound for any $r$.

Theorem 3**.**

(i) Let $c>\binom{r}{2}$ and $n$ be large enough. Then $R^{c}(B^{r}K_{n})\geq(n-1)^{2}+1$.

(ii) Let $c>(d-1)\binom{r}{2}$. Then $R^{c}(B^{r}K_{n})=\Omega(n^{d})$.

In case $r=3$, this bound with $d=2$ and $c=4$ improves the best known lower bound $\Omega(n^{2}/\log n)$ to $\Omega(n^{2})$. In [4] a lower bound $R^{c}(B^{3}K_{n})=\Omega\left(\frac{n^{\lceil\frac{c}{2}\rceil}}{(\log n)^{\lceil c/2\rceil-1}}\right)$ was given for every $c$. The proof was by induction on $c$ from $i$ to $i+2$, hence our improvement on $c=4$ gives an improvement for every even $c\geq 4$.

The above result leaves open the cases $r\leq c\leq\binom{r}{2}$. Here we show that the Ramsey number of the Berge clique is super-linear in these cases.

Theorem 4**.**

$R^{r}(B^{r}K_{n})=\Omega(n^{1+1/(r-2)}/\log n)$.

We present the proofs of the above theorems in Section 2 and finish the paper with some concluding remarks in Section 3.

2 Proofs

Given a colored complete $r$-uniform hypergraph on $N$ vertices, we will consider the complete graph on the same vertex set and call it the (colored) shadow graph. We will say that an edge is light in color $i$ if it is contained in less than $\binom{r}{2}$ hyperedges of color $i$, and heavy in color $i$ otherwise. Let $E_{i}$ denote the set of edges that are light in color $i$. We will use the following simple lemma from [4].

Lemma 5**.**

If there is a copy of $G$ in the shadow graph such that all of its edges are heavy in color $i$, then there is a Berge-$G$ of color $i$ in the complete hypergraph.

Let $V_{i}$ denote the set of vertices incident to at least one edge of $E_{i}$. Now we are ready to prove Theorem 1. Recall that it claims that $R^{c}(B^{2c-1}K_{n})\leq\frac{cn}{c-1}+c(2c-1)(c-2)\binom{2c-1}{2}$ if $n$ is large enough.

Proof of Theorem 1.

We let $r=2c-1$, and we will refer to it as $r$ whenever we talk about uniformity, or about a constant arising from the uniformity. For constants arising from the uniformity, we use $c$. We hope it helps follow the argument.

Let us consider a $c$-coloring of the complete $r$-uniform hypergraph on $N$ vertices without a monochromatic Berge-$K_{n}$, and assume $N>\frac{cn}{c-1}+cr(c-2)\binom{r}{2}$. First we show $|V_{i}|>\frac{N}{c}+(c-1)r(c-2)\binom{r}{2}$ for every $i\leq c$. Indeed, otherwise we can consider the other $N-|V_{i}|\geq n$ vertices. Every edge inside that set is heavy in color $i$, thus we can find a monochromatic Berge-$K_{n}$ there, using Lemma 5. Note that it also implies $|E_{i}|>N/2c$.

Next we will show that $|V_{c}\cap V_{c-1}|\leq r(c-2)\binom{r}{2}$. Assume otherwise and pick $x=r(c-2)\binom{r}{2}+1$ vertices $v_{1},\dots,v_{x}$ from the intersection, and for each $v_{i}$ let $u_{i}v_{i}\in E_{c-1}$ and $w_{i}v_{i}\in E_{c}$ arbitrary. Let us consider the following colored hypergraph ${\mathcal{H}}$. It consists of the $r$-edges that contain $u_{i},v_{i},w_{i}$ for some $i\leq x$, and contain an edge from every $E_{i}$. Note that the union of $u_{i},v_{i},w_{i}$ and an edge from every $E_{i}$ has size at most $r$, thus there is a hyperedge in ${\mathcal{H}}$ containing them.

Let us pick an arbitrary edge $e_{j}\in E_{j}$ for every $j\leq c-2$. Consider the hyperedges of ${\mathcal{H}}$ containing each of them. At most $(c-2)\binom{r}{2}$ of them has color $1,2,\dots,c-2$. Each of those contains $u_{i},v_{i},w_{i}$ for at most $r$ different $i\leq x$ (as the vertices $v_{i}$ are pairwise distinct, each hyperedge contains $v_{i}$ for at most $r$ different $i\leq x$). As $x>r(c-2)\binom{r}{2}$, there is a hyperedge of ${\mathcal{H}}$ of color $c-1$ or $c$ that contains $e_{1}$ and $u_{i},v_{i},w_{i}$ for some $i$.

Let us consider now the subhypergraph ${\mathcal{H}}^{\prime}$ of ${\mathcal{H}}$ consisting of hyperedges of color $c-1$ or $c$ that contain $u_{i},v_{i},w_{i}$ for some $i$. By the above, for every $e_{1}\in E_{1}$ there is a hyperedge in ${\mathcal{H}}^{\prime}$ containing it. As a hyperedge contains at most $\binom{r}{2}$ edges of $E_{1}$, it means ${\mathcal{H}}^{\prime}$ contains at least $|E_{1}|/\binom{r}{2}$ hyperedges. On the other hand, there are at most $2\binom{r}{2}$ hyperedges of color $c-1$ or $c$ for every $i\leq x$, showing $|E_{1}|/\binom{r}{2}\leq 2x\binom{r}{2}$, a contradiction with $n$ (thus $N$) being large enough.

We obtained that $|V_{i}\cap V_{j}|\leq r(c-2)\binom{r}{2}$ for any $i<j\leq c$, by symmetry. Now we have $N\geq\sum_{i=1}^{c}|V_{i}|-\sum_{i<j\leq c}|V_{i}\cap V_{j}|$. This implies $\sum_{i=1}^{c}|V_{i}|\leq N+\binom{c}{2}r(c-2)\binom{r}{2}$, hence there is an $i\leq c$ with $|V_{i}|\leq\frac{N}{c}+(c-1)r(c-2)\binom{r}{2}$. This is a contradiction, finishing the proof.

∎

We continue with the proof of Theorem 2, which states $R^{c}(B^{r}G)\leq r\binom{r}{2}R^{c-1}(B^{r-1}G)+|V(G)|$.

Proof of Theorem 2.

Let us consider a $c$-coloring of the complete $r$-uniform hypergraph on $N=R^{c}(B^{r}G)-1$ vertices without a monochromatic Berge-$K_{n}$.

Let us consider an edge $u_{1}v_{1}\in E_{1}$ and let $U_{1}$ be the set of vertices contained in hyperedges of color 1 together with $u_{1}$ and $v_{1}$. Thus we have $|U_{1}|\leq\left(\binom{r}{2}-1\right)(r-2)$. Let us delete $u_{1}$, $v_{1}$ and $U_{1}$, and pick $u_{2}v_{2}\in E_{1}$ from the remaining set of vertices. In general, after deleting $u_{1},\dots,u_{i}$, $v_{1},\dots,v_{i}$, $U_{1},\dots,U_{i}$, we pick $u_{i+1}v_{i+1}\in E_{1}$ and let $U_{i+1}$ be the set of at most $(\binom{r}{2}-1)(r-2)$ vertices contained in hyperedges of color 1 together with $u_{i+1}$ and $v_{i+1}$. As each time we delete at most $(\binom{r}{2}-1)(r-2)+2$ vertices, we can pick $v_{m}$ with $m=R^{c-1}(B^{r-1}G)$.

Let us consider the $(r-1)$-uniform complete hypergraph with vertex set $V=\{v_{1},\dots,v_{m}\}$. We will give a $(c-1)$-coloring of it. Let $R=\{v_{i_{1}},\dots,v_{i_{r-1}}\}$ be a hyperedge of it with $i_{1}<i_{2}<\dots<i_{r-1}$. Then the color of this hyperedge should be the color of the $r$-edge $R\cup\{u_{i_{1}}\}$ in the original hyperedge. As we deleted $U_{i_{1}}$ before picking the other vertices, this color is not $1$. Hence we colored our $(r-1)$-uniform complete hypergraph on $m=R^{c-1}(B^{r-1}G)$ vertices with $c-1$ colors.

By definition, there is a monochromatic Berge-$G$ in this hypergraph. Each hyperedge of it inherited its color from an $r$-edge of the original hypergraph containing it, and those $r$-edges are pairwise distinct. This implies those $r$-sets form a monochromatic Berge-$G$ in the original complete $r$-uniform hypergraph, a contradiction.

∎

Before our next proof, we need to define $k$-nets. A $k$-net of order $n$ is an incidence structure with $n^{2}$ vertices and $nk$ sets of size $n$, called lines, such that two lines share at most one vertex and there are $k$ ways to partition the vertex set into $n$ parallel (i.e. disjoint) lines. It is well-known that there exists a $k$-net of order $n$ if $n>n_{0}$. The best known upper bound on $n_{0}$ is roughly $k^{14.3}$ [13] (note that a $k$-net is equivalent to a set of $l-2$ mutually orthogonal latin squares).

Now we are ready to prove Theorem 3, that we restate here for convenience.

Theorem**.**

(i) Let $c>\binom{r}{2}$ and $n$ be large enough. Then $R^{c}(B^{r}K_{n})\geq(n-1)^{2}+1$.

(ii) Let $c>(d-1)\binom{r}{2}$. Then $R^{c}(B^{r}K_{n})=\Omega(n^{d})$.

Proof of Theorem 3.

To prove (i), consider a $c$-net of order $n-1$. For each color, we assign a class of parallel lines. Then for each $r$-set $R$, the $\binom{r}{2}$ pairs of vertices contained in $R$ define at most $\binom{r}{2}$ lines, thus there are at most $\binom{r}{2}$ classes of parallel lines such that two vertices in $R$ belong to one of the lines. Thus there is at least one color, say blue, such that each blue line contains only one vertex from $R$. We color $R$ blue (in case there are more available colors, we pick arbitrarily).

That means every blue hyperedge contains at most one vertex from a blue line, thus every monoblue Berge-clique contains at most one vertex from each blue line. Hence the largest monoblue clique has size at most $n-1$, and this holds for every color, finishing the proof.

To prove (ii), assume first that $n-1$ is a prime power and consider an affine space of order $n-1$ and dimension $d$. For each color, we assign a class of parallel hyperplanes. Two points of an $r$-set $R$ define a line, thus they are shared by $d-1$ hyperplanes. Hence there are at most $(d-1)\binom{r}{2}$ classes of parallel hyperplanes such that two vertices in $R$ belong to one of those hyperplanes. Similarly to (i), we can pick an (arbitrary) color not assigned to those classes, and obtain that a monochromatic clique shares at most one vertex with each hyperplanes in the corresponding class, hence the monochromatic clique has at most $n-1$ vertices.

This gives the lower bound $(n-1)^{d}+1$ if a $d$-dimensional affine space of order $n-1$ exists, in particular if $n-1$ is a prime power. It is well-known that there is a prime $p$ with $(n-1)/2\leq p\leq n-1$, using $p$ as the order of the affine space we obtain the lower bound $(\frac{n-1}{2})^{d}=\Omega(n^{d})$.

∎

Instead of proving Theorem 4, we will prove the following more general theorem.

Theorem 6**.**

For every $r$, if $n$ is large enough, there exists a constant $c_{r}$ such that we have the following. Let $X$ be a set of size $\lfloor 2^{n/2}\rfloor$ if $r=2$ and $\lfloor c_{r}\frac{n^{1+1/(r-2)}}{\log n}\rfloor$ if $r\geq 3$. For non-empty subsets $T$ of size at most $r$, we can assign a subset of $r$ colors $S(T)$ the following way.

$\bullet_{1}$* If $T\subset T^{\prime}$, then $S(T^{\prime})\subset S(T)$.*

$\bullet_{2}$* If $T\subset X$ is of size $t\leq r$, then $S(T)$ has size $r-t+1$, and for every color $s\in S(T)$ there are at least $\binom{r}{2}$ sets $T^{\prime}$ of size $t+1$ with $S(T^{\prime})=S(T)\setminus\{s\}$.*

$\bullet_{3}$* For every color $i$, the graph $G_{i}$ consisting of the 2-subsets $T$ with $i\in S(T)$ is $K_{n}$-free.*

The above theorem implies Theorem 4, as the $r$-sets all have exactly one color, and every subedge of a hyperedge of color $i$ has $i$ among its colors, thus there is no $K_{n}$ among them by $\bullet_{3}$. This implies there is no Berge-$K_{n}$ in color $i$. The other properties are needed only for the induction on $r$.

Proof.

We prove the theorem by induction on $r$. For the base case $r=2$ Erdős [2] showed that there is a blue-red coloring of a graph on $\lfloor 2^{n/2}\rfloor$ vertices without a monochromatic $K_{n}$. We assign both colors to the singletons, and we only need that every vertex is contained in at least one edge in both colors. It is easy to see that the well-known construction of Erdős satisfies this property.

Let us continue with the induction step, and apply the induction hypothesis with $r-1$ in place of $r$ and $n^{\prime}=\lfloor c^{\prime}_{r}(n)n^{\frac{r-3}{r-2}}\log n\rfloor$ in place of $n$, for some $c^{\prime}_{r}(n)$ chosen later. Assume first $r>3$. Then we have a set $X^{\prime}$ of size

[TABLE]

for a properly chosen $c_{r}^{\prime}(n)$, and an assignments of subsets of $r-1$ colors satisfying $\bullet_{1}$, $\bullet_{2}$ and $\bullet_{3}$. Note that $1/\sqrt{c_{r-1}}\leq c_{r}^{\prime}(n)\leq 2/c_{r-1}$, thus in further calculations we consider $c_{r}^{\prime}(n)$ as a constant.

In case $r=3$, a similar calculation shows that we can again find $X^{\prime}$ of size $n-1$ and assignments $S^{\prime}$ of subsets of two colors satisfying $\bullet_{1}$, $\bullet_{2}$ and $\bullet_{3}$. We leave the details to the interested Reader.

We take $\lfloor n^{1/(r-2)}\sqrt{c_{r-1}}/\log n\rfloor-1\leq\lfloor n^{1/(r-2)}/c_{r}^{\prime}(n)\log n\rfloor-1$ copies of $X^{\prime}$. This is going to be the vertex set $X$ (and this defines $c_{r}$). Now we describe the assignment of the colors. Each set $T$ of size at most $r$ inside a copy of $X^{\prime}$ will keep the $r-|T|$ colors already assigned to it (i.e. $S^{\prime}(T)$), hence we need to assign one more color to each of them. We add color $r$ to $S^{\prime}(T)$ for every set inside a copy to obtain $S(T)$.

Let us consider a set $T$ of size $t\leq r$, and assume it intersects $k$ copies of ${\mathcal{H}}_{r-1}$, in $t_{1}\geq t_{2}\geq\dots\geq t_{k}$ vertices (thus $\sum_{i=1}^{k}r_{i}=t$). Let $T_{i}$ be the intersection of $T$ with the $i$th copy of ${\mathcal{H}}_{r-1}$. Then $|S^{\prime}(T_{i})|=r-t_{i}$. If we add these numbers up for all $i\leq k$, we obtain $kr-\sum_{i=1}^{k}t_{i}=kr-t$. This means that there are at least $k-1+r-t$ colors appearing $k$ times (as only $r-1$ colors are used there). We call these the available colors for $T$. Let $S(T)$ be the set of the first $r-t+1$ available colors.

Let us go through the required properties, starting with $\bullet_{1}$. We assigned a set of $r-t+1$ colors to every subset of size $t\leq r$. Let us consider $T\subset T^{\prime}$. We can assume $|T^{\prime}|=|T|+1$, as it will imply the other cases. If $T$ and $T^{\prime}$ are inside a copy of $X^{\prime}$, then $S(T^{\prime})=S^{\prime}(T^{\prime})\cup\{r\}\subset S^{\prime}(T)\cup\{r\}=S(T)$. If $T$ is inside a copy of $X^{\prime}$ and $T^{\prime}=T\cup\{v\}$ with $v$ from another copy, then $S^{\prime}(T)$ is the set of available colors, thus $S(T^{\prime})\subseteq S^{\prime}(T)\subset S(T)$. If $T$ is not inside a copy of $X^{\prime}$, let $T_{i}^{\prime}$ be the intersection of $T^{\prime}$ with the $i$th copy of ${\mathcal{H}}_{r-1}$, thus $T_{i}\subset T_{i}^{\prime}$. This implies that the set of available colors for $T^{\prime}$ is a subset of the set of available colors for $T$. There is only one extra color available for $T$, thus the set of the first $r-t+1$ available colors for $T$ contains the set of the first $r-t$ available colors for $T^{\prime}$.

Let us continue with $\bullet_{2}$. Assume first that $T$ is inside a copy of $X^{\prime}$. If $s$ is not the new color $r$, then there are at least $\binom{r}{2}$ sets $T^{\prime}$ of size $t+1$ with $S^{\prime}(T^{\prime})=S^{\prime}(T)\setminus\{s\}$ for each of the $\binom{r}{2}$ sets $T^{\prime}$. This implies $S(T^{\prime})=S(T)\setminus\{s\}$ for these $\binom{r}{2}$ sets. If $s=r$, consider an arbitrary $v$ from another copy, and let $T^{\prime}=T\cup\{v\}$. Then $S^{\prime}(T)$ is the set of available colors for $T^{\prime}$, thus $S(T^{\prime})=S^{\prime}(T)=S(T)\setminus\{r\}$. Obviously there are more than $\binom{r}{2}$ sets $T^{\prime}$ that can be obtained this way. Finally, assume that $T$ is not inside a copy of $X^{\prime}$. Any $s\in S(T)$ is in $S^{\prime}(T_{i})$ for every $i$. There are at least $\binom{r}{2}$ vertices $v$ in the $i$th copy of ${\mathcal{H}}_{r-1}$ such that $S^{\prime}(T_{i}\cup\{v\})=S^{\prime}(T_{i})-\{s\}$ by the induction hypothesis. Then $s$ is not an available color for $T\cup\{v\}$, thus it is not in $S(T\cup\{v\})$. But we have already seen that $S(T\cup\{v\})\subset S(T)$ and has size $r-t$, thus $S(T\cup\{v\})$ has to be $S(T)\setminus\{s\}$.

To see $\bullet_{3}$, observe that the graph consisting of the 2-subsets $T$ with $r\in S(T)$ does not have any edges between two copies of $X^{\prime}$. As every copy has $n-1$ vertices, we are done. For the other colors, observe that an edge inside a copy of $X^{\prime}$ got only $r$ as a new color. Thus, inside a copy, the largest clique of $G_{i}$ has size at most $\lfloor c^{\prime}_{r}(n)n^{\frac{r-3}{r-2}}\log n\rfloor$. As there are less than $n/\lfloor c^{\prime}_{r}(n)n^{\frac{r-3}{r-2}}\log n\rfloor$ copies, the largest clique in $G_{i}$ has less than $n$ vertices.

∎

Note that the $\log n$ in the denominator of the cardinality of $X$ in the above theorem could be improved to be $\log n^{q}$ for some $q<1$, but the improvement does not seem to worth the additional calculations.

3 Concluding remarks

The most important question regarding Berge-Ramsey problems may be the following. Is $R^{c}(B^{r}G)$ always polynomial in $n$ for $r\geq 3$? It is mentioned as a possibility in [4]. We improved some of the lower bounds, but did not get any closer to answering this question.

As we are interested in the order of magnitude, we did not make attempt to optimize the constant factors in Theorems 2, 3 and 4. Moreover, as we have mentioned, even the $\log$ factor could be improved in Theorem 6, thus also in Theorem 4. As we have no reason to believe that the exponent of $n$ is close to being sharp in those statements, it seemed better to avoid lengthening the proof for a small improvement.

In Theorem 3, the basic idea is to use an affine space of order $n-1$. It does not necessarily exist, but it exists if $n-1$ is a prime power. The set of prime powers is dense enough so that we obtain the desired result for the order of magnitude. However, we lose a large constant factor (exponential in $d$). In (i) we used $k$-nets to get rid of that factor. An equivalent of $k$-nets in higher dimension would help in the general case.