3-uniform Ramsey K⁴⁻ vs star Θ(n²/log n)
Informal Conjecture: r(K^(3)_{4-e}, S^(3)_n) = Theta(n^2 / log n) · arXiv:2210.03545
Status open high confidence
The conjecture that $r(K^{(3)}_{4-e}, S^{(3)}_n) = \Theta(n^2/\log n)$ remains open. The source paper (Proposition 1.1) establishes the bounds $c\,n^2/\log^2 n \le r(K^{(3)}_{4-e}, S^{(3)}_n) \le c'\,n^2/\log n$, leaving a logarithmic gap. A targeted search of the 2022–2026 literature found no follow-up paper closing this gap; the two most relevant subsequent papers on off-diagonal hypergraph Ramsey numbers (arXiv:2404.02021 and arXiv:2411.13812) address clique-vs-clique settings rather than clique-vs-star.
Reviewer notes. No follow-up resolving the conjecture found after 5 web calls. The closest related papers (arXiv:2404.02021, arXiv:2411.13812) concern off-diagonal Ramsey numbers against complete hypergraphs K_n^(3), not against stars S_n^(3). The conjecture is closely related to the classical result r(K_3, K_n) = Theta(n^2/log n) via the analogy noted by the authors; the suggested proof strategy via the (K^{(3)}_{4-e})-free process has not been carried out in the indexed literature.
Context
Proposition 1.1 gives bounds $c\,\frac{n^2}{\log^2 n} \le r(K^{(3)}_{4-e}, S^{(3)}_n) \le c'\,\frac{n^2}{\log n}$. The authors note 'it seems likely that a proof of this may be possible through a careful analysis of the $(K^{(3)}_{4-e})$-free process', drawing an analogy with $r(K_3,K_n)=\Theta(n^2/\log n)$, but they do not pursue it.
Notes. PDF source — conjectural language 'suggests' and 'it seems likely'; $K^{(3)}_{4-e}$ denotes the complete 3-uniform hypergraph on 4 vertices minus one edge; math notation reconstructed from PDF extraction.
Source paper
Hypergraph Ramsey numbers of cliques versus stars
David Conlon, Jacob Fox, Xiaoyu He, Dhruv Mubayi, Andrew Suk, Jacques Verstraete · 2022-10-07
https://arxiv.org/abs/2210.03545
PDF source