Forest-containing families are infinitely k-nice
Conjecture 1.5 · arXiv:1708.07369
Status open high confidence
Conjecture 1.5 from arXiv:1708.07369 asserts that any finite family of graphs containing at least one forest is $k$-nice for infinitely many integers $k$. The source paper itself provides the main supporting evidence via Theorem 1.6 (families containing a star $K_{1,r+1}$ plus only cycle graphs are $k$-nice for infinitely many $k$), and verifies the conjecture for families with a forest of at most 2 edges and for three specific two-graph families of 3-edge graphs. No subsequent paper resolving or disproving the full conjecture was found in the indexed literature after four targeted web searches and a citation-graph check.
Reviewer notes. No follow-up resolving this conjecture was found. The Semantic Scholar citation graph for arXiv:1708.07369 lists only 4 citing papers (as of May 2026), none of which address Conjecture 1.5. Danny Hefetz's publication page (one of the paper's co-authors) shows no direct follow-up on Ramsey-nice families after 2018. The conjecture is a weakening of Question 1.1 (which asks for k-nice for all sufficiently large k); even this weaker form appears to remain open.
Context
This is posed as a weaker version of Question 1.1. Theorem 1.4 shows that $\mathcal{F}_7 = \{K_3, P_4, S_3\}$ is $k$-nice for infinitely many $k$, and Theorem 1.6 gives further support for families containing a star $K_{1,r+1}$.
Source paper
Ramsey-nice families of graphs
Ron Aharoni, Noga Alon, Michal Amir, Penny Haxell, Dan Hefetz, Zilin Jiang, Gal Kronenberg, Alon Naor · 2018-04-16
https://arxiv.org/abs/1708.07369
PDF source