{"id":"arxiv/2609.21388","url":"https://arxiv.org/abs/2609.21388","tags":["math.CO"],"score":0,"title":"Finite deletion-induced saturation for every non-complete graph","domain":"math.CO","source":"arxiv","authors":["Haochen Liu"],"reviews":0,"subject":"math.CO","summary":"A graph $G$ is deletion-induced-saturated for $H$ if $G$ has an edge, contains no induced copy of $H$, and deleting any edge of $G$ creates an induced copy of $H$. We prove, with finite certificate verification, that a finite graph $H$ admits such a finite graph $G$ if and only if $H$ is not complete. This resolves the deletion conjecture of Fan, Hajebi, Hajebi and Spirkl. The main step transfers suitable free amalgamations to finite extensions using a local lifting theorem of Auinger, Bitterlich and Otto. A second criterion treats edge addition by protecting specified nonedges and then…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-18","reactions":{}}