η-boundedness for H-free graphs

Conjecture 1.8 · arXiv:2302.04986

arXiv Conjecture high confidence— first stated 2024-01-16

Status partial medium confidence

Conjecture 1.8 proposes that for every forest $H$, the class of $H$-free graphs is $\eta$-bounded (i.e., $\eta(G) \leq f(\omega(G))$), by analogy with the Gyárfás–Sumner conjecture for $\chi$-boundedness. The source paper proves it for stars, subdivided stars, and $P_t$ for $t \leq 5$. A subsequent paper in the Electronic Journal of Combinatorics (2025) extends $\eta$-boundedness to graphs without large induced matchings ($tK_2$-free), resolving a related conjecture from the source paper and adding another family of forests for which the conjecture holds. The full conjecture for all forests $H$ remains open, and the case of $P_t$-free graphs for $t \geq 6$ is explicitly listed as open.

Cited literature (1)

  • unknown (not retrieved within web-call budget) · Electronic Journal of Combinatorics

    Proves that any graph $G$ without induced matching of size $t$ satisfies $\eta(G) \leq \omega(G)^{3t-3+o(1)}$, resolving a conjecture of Hajebi, Li, and Spirkl from the source paper and establishing $\eta$-boundedness for $tK_2$-free graphs, a special case of Conjecture 1.8.

Reviewer notes. The EJC paper (v32i1p10, verified via WebFetch) resolves a specific conjecture from the source paper about graphs without large induced matchings ($tK_2$-free), adding a new forest family to the confirmed cases. Author list and arxiv ID for this EJC paper were not retrievable within the 5-call budget. The full Conjecture 1.8 for all forests $H$ remains open; $P_t$-free graphs for $t \geq 6$ are explicitly open per the source paper.

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

Conjecture. For every forest $H$, there exists a function $f:\mathbb{N}\rightarrow\mathbb{N}$ such that every $H$-free graph $G$ satisfies $\eta(G)\leq f(\omega(G))$.

Context

Proposed as an analogue of the Gyárfás–Sumner conjecture ($\chi$-boundedness) for $\eta$-boundedness: just as $H$-free graphs are conjectured to be $\chi$-bounded for every forest $H$, the authors conjecture the same for $\eta$-boundedness. The paper proves this conjecture for an assortment of special forests, including stars and paths $P_t$ with $t\leq 5$.

Also stated in

Source paper

Hitting all maximum stable sets in $P_5$-free graphs
Sepehr Hajebi, Yanjia Li, Sophie Spirkl · 2024-01-16
https://arxiv.org/abs/2302.04986