Ramsey Numbers for Nontrivial Berge Cycles

In this paper, we consider an extension of cycle-complete graph Ramsey numbers to Berge cycles in hypergraphs: for $k \geq 2$, a nontrivial Berge $k$-cycle is a family of sets $e_1,e_2,\dots,e_k$ such that $e_1 \cap e_2, e_2 \cap e_3,\dots,e_k \cap e_1$ has a system of distinct representatives and $e_1 \cap e_2 \cap \dots \cap e_k = \emptyset$. In the case that all the sets $e_i$ have size three, let $\mathcal{B}_k$ denote the family of all nontrivial Berge $k$-cycles. The Ramsey numbers $R(t,\mathcal{B}_k)$ denote the minimum $n$ such that every $n$-vertex 3-uniform hypergraph contains either a nontrivial Berge $k$-cycle or an independent set of size $t$. We prove $R(t, \mathcal{B}_{2k}) \leq t^{1 + \frac{1}{2k-1} + \frac{2}{\sqrt{\log t}}}$, and moreover, we show that if a conjecture of Erdös and Simonovits [Combinatorica, 2 (1982), pp. 275--288] on girth in graphs is true, then this is tight up to a factor $t^{o(1)}$ as $t \rightarrow \infty$.