Alteration method generalization for r̃(m,n)

Informal conjecture on generalization of Theorem 4 to all $\tilde{r}(m,n)$ · arXiv:1806.09726

arXiv Informal medium confidence— first stated 2018-11-04

Authors: David Conlon, Jacob Fox, Andrey Grinshpun, Xiaoyu He

Status solved medium confidence

For every fixed m≥3, Guo and Warnke proved the natural exponent-level extension r̃(m,n)≥n^{m-o(1)}, although the original remark specified no logarithmic factor.

Cited literature (1)

proof Bounds on Ramsey Games via Alterations (2019)

He Guo, Lutz Warnke · Journal of Graph Theory · arXiv:1909.02691

For every fixed m≥3, Guo and Warnke proved the natural exponent-level extension r̃(m,n)≥n^{m-o(1)}, although the original remark specified no logarithmic factor.

Read the literature-status audit

Reviewer notes. These status corrections report results attributed to existing papers or to the final source version. Graph-Theory-LLM-Proofs located and checked the implication; it is not credited as the author of the result. Audit caveat: Resolution is for fixed m and the standard exponent-level interpretation; the literal informal sentence has no unique quantitative meaning.

Auto-reviewed 2026-09-01 with gpt-5.6-sol.

Informal. We suspect that Theorem 4 can be generalized to $\tilde{r}(m, n)$ in the same way.

Context

Theorem 4 establishes $\tilde{r}(3,n) = \Omega(n^3/\log^2 n)$ via a Painter strategy that avoids red triangles, in an argument close in spirit to Erdős's alteration method. The authors note that Krivelevich generalized this alteration method to all $r(m,n)$ and conjecture informally that the same can be done for $\tilde{r}(m,n)$.

Notes. No explicit quantitative bound for general $m$ is stated; only the suspicion of generalizability is expressed.

Source paper

Online Ramsey Numbers and the Subgraph Query Problem
David Conlon, Jacob Fox, Andrey Grinshpun, Xiaoyu He · 2018-11-04
https://arxiv.org/abs/1806.09726 PDF source