{"id":"arxiv/2607.09646","url":"https://arxiv.org/abs/2607.09646","tags":["math.CO","cs.DM"],"score":0,"title":"Forbidding anticomplete planar minors: Induced Erdős--Pósa property and Maximum Independent Set in QP","domain":"math.CO","source":"arxiv","authors":["Maria Chudnovsky","Amadeus Reinald","Stéphan Thomassé"],"reviews":0,"subject":"math.CO","summary":"The Erdős--Pósa theorem asserts that every graph $G$ with no $k$ disjoint cycles contains a set $X$ of $f(k)$ vertices such that $G\\setminus X$ has no cycle. Robertson and Seymour showed that this Erdős--Pósa property also holds for $H$-minor models of any planar graph $H$. Equivalently, if $G$ has no $k$ minor models of $H$ pairwise at distance at least 1 (i.e. disjoint), then one can remove $f(k,H)$ balls of radius 0 (i.e. vertices) to make the graph $H$-minor free. We show that this coarse graph theory point of view generalizes to distance at least 2 versus radius 1 balls, yielding the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-10","reactions":{}}