Stronger coherence condition for pure pairs
Open question on Theorem 3.3 with stronger coherence · arXiv:2201.04062
Status open high confidence
The open question asks whether Theorem 3.3 of arXiv:2201.04062 holds under the strictly stronger coherence hypothesis $(\ varepsilon|G|^{1-c},\varepsilon|G|)$-coherent in place of $(\varepsilon|G|^{1-c},\varepsilon|G|^{1-c})$-coherent. The authors note that almost all of the proof already works under the stronger condition and that an affirmative answer would be a step toward Possibility 1.6. A wide web search through May 2026 found no follow-up paper that resolves or substantially advances this specific question.
Reviewer notes. No follow-up paper addressing this specific open question was found. The conjecture is highly technical (a sharpening of an internal coherence parameter in the proof of Theorem 3.3) and may not have attracted independent attention. The two internal references are false positives caused by shared authorship: 2301.10147 is about Erdős-Hajnal density, and 2306.02364 is about tournament structure; neither cites or discusses the coherence strengthening question.
Context
In Section 4, the authors note that the stronger coherence condition $(\varepsilon|G|^{1-c}, \varepsilon|G|)$-coherent would suffice for almost all of the proof of Theorem 3.3, and they write the proof using only this weaker form wherever possible. Resolving this question in the affirmative would be a step toward proving Possibility 1.6.
Notes. PDF source — stated as prose ('we do not know whether') without a labelled theorem environment.
Source paper
Pure pairs. VIII. Excluding a sparse graph
Alex Scott, Paul Seymour, Sophie Spirkl · 2023-10-29
https://arxiv.org/abs/2201.04062
PDF source