{"id":"arxiv/2610.03785","url":"https://arxiv.org/abs/2610.03785","tags":["math.CO"],"score":0,"title":"Upper $k$-Star-Forming Sets, $k$-Independence, and Upper Domination","domain":"math.CO","source":"arxiv","authors":["Rafik Sahbi"],"reviews":0,"subject":"math.CO","summary":"For a positive integer $k$, let $β_k(G)$ be the maximum cardinality of a vertex set inducing maximum degree less than $k$, and let $SF_k(G)$ be the maximum cardinality of a minimal $k$-star-forming set. The known inequality $β_k(G)\\le SF_k(G)$ suggests asking when equality holds. We place this question in the framework of upper domination: at $k=1$, $β_1(G)=α(G)$ and $SF_1(G)=Γ(G)$, so the classical equality $Γ=α$ on bipartite graphs is exactly the first member of the proposed hierarchy. We prove the equality for complete bipartite graphs for every $k$, obtaining \\[…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-30","reactions":{}}