Polynomial size-Ramsey numbers for large-uniformity relaxed trees

Prove that for every fixed integer \(\ell\ge 3\) and every integer \(k\ge 2\ell-1\), every \(k\)-uniform relaxed \(\ell\)-tree on \(n\) vertices has size-Ramsey number bounded by \(O(n^{C_{k,\ell}})\) for some constant \(C_{k,\ell}>0\).

Background

The paper proves that, for 3\ell\ge 3 and +1k22\ell+1\le k\le 2\ell-2, there exist kk-uniform relaxed \ell-trees whose size-Ramsey numbers grow exponentially in n1/n^{1/\ell}, and therefore are not polynomial in nn. The lower-bound construction relies on lifting a graph coloring to a kk-uniform hypergraph coloring while ensuring that no kk-edge contains both a red and a blue copy of KK_\ell.

The method fails when k21k\ge 2\ell-1, because two \ell-subsets of a kk-set may intersect in at most one vertex and therefore may be edge-disjoint as graph cliques. The conjecture asks whether this failure reflects a genuine change in behavior: namely, whether all relaxed \ell-trees in this larger-kk regime have polynomial size-Ramsey numbers, as strict \ell-trees already do.

References

For fixed \ell\ge 3 and k\ge 2\ell-1, every k-uniform relaxed \ell-tree has polynomial size-Ramsey number; that is,

\widehat{R}k(\bar{\mathcal T}{n,\ell}{(k)})=O(n{C_{k,\ell})

for some C_{k,\ell}>0.

Infinitely many size-Ramsey numbers of $k$-uniform relaxed $\ell$-trees are not polynomial  (2609.04713 - Ji, 4 Sep 2026) in Conjecture 1, Section 2 (Concluding remarks)