5/6 bound induced 2-degenerate triangle-free planar

Informal belief: 5/6 bound attainable · arXiv:1709.04036

arXiv Informal medium confidence— first stated 2018-02-19

Authors: Zdeněk Dvořák, Tom Kelly

Status open high confidence

Dvořák and Kelly prove $\alpha_2(G) \ge \frac{4}{5}n$ for triangle-free planar graphs and informally believe the same argument can be pushed to $\frac{5}{6}$, but they do not pursue it because it would not suffice to prove the full $\frac{7}{8}$ conjecture. No subsequent paper has been found that establishes the $\frac{5}{6}$ bound or otherwise resolves this informal belief; a 2025 survey of degenerate induced subgraphs in sparse graphs (arXiv:2511.13693) cites the $\frac{4}{5}$ result without improvement.

Reviewer notes. The 5/6 claim is an informal belief stated in the paper, not a formally labelled conjecture. A 2025 paper (arXiv:2511.13693, 'A Note on Large Degenerate Induced Subgraphs in Sparse Graphs') cites the Dvořák–Kelly 4/5 result but does not improve upon it for the triangle-free planar case. The full 7/8 conjecture (Conjecture 1.1 of the source paper) also remains open.

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

Informal. We believe the argument we use can be strengthened to give a bound $\frac{5}{6}$, however the technical issues are substantial and since we do not see this as a viable way to prove Conjecture 1.1 in full, we prefer to present the easier argument giving the bound $\frac{4}{5}$.

Context

Immediately after stating Theorem 1.2 (the $\frac{4}{5}$ bound), the authors remark that their method is likely improvable to $\frac{5}{6}$ but that pursuing this is not a practical route to proving the full $\frac{7}{8}$ conjecture.

Notes. Stated as an authorial belief in running prose, not a labelled environment.

Source paper

Induced 2-degenerate Subgraphs of Triangle-free Planar Graphs
Zdeněk Dvořák, Tom Kelly · 2018-02-19
https://arxiv.org/abs/1709.04036 PDF source