Holroyd–Talbot conjecture for independent-set families
Prove that for every graph G and every integer r satisfying 1≤r≤μ(G)/2, every maximum intersecting subfamily of independent r-sets of G is a star, and that every such maximum family is a star when 1<r<μ(G)/2.
References
Holroyd and Talbot cite{HolrTalb} made the following conjecture to generalize the t=1 case of Theorem \ref{t:EKR}, which is the empty graph case of this conjecture.
— A Survey of the Holroyd-Talbot Conjecture
(2501.16144 - Hurlbert, 27 Jan 2025) in Conjecture 1, Section 1