Abstract:We prove that every $P_5$-free graph of bounded clique number contains a small hitting set of all its maximum stable sets. More generally, let us say a class $\mathcal{C}$ of graphs is $\eta$-bounded if there exists a function $h:\mathbb{N}\rightarrow \mathbb{N}$ such that $\eta(G)\leq h(\omega(G))$ for every graph $G\in \mathcal{C}$, where $\eta(G)$ denotes smallest cardinality of a hitting set of all maximum stable sets in $G$, and $\omega(G)$ is the clique number of $G$. Also, $\mathcal{C}$ is said to be polynomially $\eta$-bounded if in addition $h$ can be chosen to be a polynomial. We introduce $\eta$-boundedness inspired by a question of Alon and motivated by a number of meaningful similarities to $\chi$-boundedness. In particular, we propose an analogue of the Gyárfás-Sumner conjecture, that the class of all $H$-free graphs is $\eta$-bounded if (and only if) $H$ is a forest. Like $\chi$-boundedness, the case where $H$ is a star is easy to verify, and we prove two non-trivial extensions of this: $H$-free graphs are $\eta$-bounded if (1) $H$ has a vertex incident with all edges of $H$, or (2) $H$ can be obtained from a star by subdividing at most one edge, exactly once. Unlike $\chi$-boundedness, the case where $H$ is a path is surprisingly hard. Our main result mentioned at the beginning shows that $P_5$-free graphs are $\eta$-bounded. The proof is rather involved compared to the classical ``Gyárfás path'' argument which establishes, for all $t$, the $\chi$-boundedness of $P_t$-free graphs. It remains open whether $P_t$-free graphs are $\eta$-bounded for $t\geq 6$. It also remains open whether $P_5$-free graphs are polynomially $\eta$-bounded, which, if true, would imply the Erdős-Hajnal conjecture for $P_5$-free graphs. But we prove that $H$-free graphs are polynomially $\eta$-bounded if $H$ is a proper induced subgraph of $P_5$.

The Pinnacle Sets of a Graph

Efficient recurrence for the enumeration of permutations with fixed pinnacle set

Tree Posets: Supersaturation, Enumeration, and Randomness

Fundamental Dominations in Graphs

Hitting all maximum stable sets in $P_5$-free graphs

Sublinear hitting sets for some geometric graphs

Independent domination in the graph defined by two consecutive levels of the $n$-cube

Induced subgraphs density. IV. New graphs with the Erdős-Hajnal property

Maximizing the index of signed complete graphs with spanning trees on $k$ pendant vertices

Graphs whose vertices of degree at least 2 lie in a triangle

Linear Size Universal Point Sets for Classes of Planar Graphs

Independent domination in the graph defined by two consecutive levels of the n -cube

Posets arising as 1-skeleta of simple polytopes, the nonrevisiting path conjecture, and poset topology

On maximum graphs in Tutte polynomial posets

Kempe classes and almost bipartite graphs

Vertex-critical graphs in co-gem-free graphs

Finding Balance: Split Graphs and Related Classes

The pinning ideal of a multiloop

Mantel's Theorem for Random Hypergraphs

The number of 1-nearly independent edge subsets