Tower-height lower bound for s-tightly connected k-graphs

Conjecture 4.2 · arXiv:2411.13812

arXiv Conjecture high confidence— first stated 2025-10-29

Authors: David Conlon, Jacob Fox, Benjamin Gunby, Xiaoyu He, Dhruv Mubayi, Andrew Suk, Jacques Verstraëte, Hung-Hsun Hans Yu

Status open high confidence

Conjecture 4.2 from arXiv:2411.13812 posits a tower-height lower bound $t_s$ for the Ramsey number $r(H, K_n^{(k)})$ whenever $H$ is $s$-tightly connected, $k > s$, and $H$ is not $k$-partite, generalising the $k=3$, $s=2$ case proved as Theorem 4.1 in the same paper. The authors themselves describe the conjecture as 'likely difficult'. A broad web search spanning arXiv and journal sources up to May 2026 found no follow-up paper proving, disproving, or making substantial partial progress on this conjecture. Several related recent papers (e.g., arXiv:2603.16069 on quasipolynomial hypergraph Ramsey growth rates, arXiv:2502.20863 on bounded-degree hypergraph Ramsey lower bounds) work in adjacent territory but do not address this specific statement.

Reviewer notes. No follow-up found. The conjecture is very recent (paper first posted November 2024, revised October 2025) and is explicitly flagged as 'likely difficult' by the authors. Adjacent work on quasipolynomial growth rates (arXiv:2603.16069) and bounded-degree lower bounds (arXiv:2502.20863) does not address this conjecture.

Auto-reviewed 2026-05-14 with claude-sonnet-4-6 (web search enabled).

Conjecture. If $k>s$ and $H$ is a $k$-graph which is $s$-tightly connected and not $k$-partite, then there exists a positive constant $c$ such that $r(H,K_{n}^{(k)})\geq t_{s}(n^{c})$, where the tower function $t_{i}(x)$ is defined by $t_{1}(x)=x$ and $t_{i}(x)=2^{t_{i-1}(x)}$ for all $i\geq 2$.

Context

The authors describe this as 'likely difficult' and note it would extend Theorem 4.1 (proved in the paper). It posits a tower-height lower bound of $t_s$ for the Ramsey number of any $s$-tightly connected $k$-graph that is not $k$-partite, generalising the $k=3, s=2$ case established in Theorem 4.1.

Also stated in

When are off-diagonal hypergraph Ramsey numbers polynomial? (2025-10-29)

Source paper

When are off-diagonal hypergraph Ramsey numbers polynomial?
David Conlon, Jacob Fox, Benjamin Gunby, Xiaoyu He, Dhruv Mubayi, Andrew Suk, Jacques Verstraëte, Hung-Hsun Hans Yu · 2025-10-29
https://arxiv.org/abs/2411.13812