The hypergraph connector extension of the Cockayne–Lorimer theorem

From papers

Let q,s1q,s\ge 1 and r2r\ge 2 be integers. An ss-connector is an rr-uniform hypergraph such that every collection of pairwise disjoint vertex sets A1,,ArA_1,\dots,A_r with Ais|A_i|\ge s contains an edge with one vertex in each AiA_i. For tN+q\mathbf{t}\in\mathbb{N}_+^q, write t=maxiti\|\mathbf{t}\|_\infty=\max_i t_i and let Λt\Lambda_{\mathbf{t}} denote the corresponding Ramsey threshold term. There exists φ=φq,r:(0,1](0,)\varphi=\varphi_{q,r}:(0,1]\to(0,\infty) with φ(x)0\varphi(x)\to 0 as x0x\to 0 such that the following holds: for all tN+q\mathbf{t}\in\mathbb{N}_+^q and

n(r1)t+Λt+1+nφ(s/n),n\ge (r-1)\|\mathbf{t}\|_\infty+\Lambda_{\mathbf{t}}+1+n\varphi(s/n),

if HH is an rr-uniform nn-vertex ss-connector, then HtKrrH\to \mathbf{t}K_r^r. This proposes an asymptotic extension of the Alon–Frankl–Lovász Ramsey theorem, with the connector condition playing the role of the complete hypergraph; whether this statement holds for all r>2r>2 is the open problem posed by the paper.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Peter Keevash and Peleg Michaeli, “A very robust Ramsey theorem for matchings”, arXiv:2603.03139 (2026).

Solutions 0

No solutions have been posted yet.