pipette
ESEspañol

Finite deletion-induced saturation for every non-complete graph

Haochen Liu

Preprint

In the authors' words

A graph is deletion-induced-saturated for if has an edge, contains no induced copy of , and deleting any edge of creates an induced copy of . We prove, with finite certificate verification, that a finite graph admits such a finite graph if and only if 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 taking a maximal induced--free completion. Structural results of Bonamy, Groenland, Johnston, Morrison and Scott reduce the remaining targets to dense templates and a finite hereditary class. Two uniform constructions in halved cubes handle the dense templates. The finite part is supported by exhaustive coverage certificates, structural certificates and explicit hosts, including a circulant graph on vertices.

Main resultThe abstract does not state a limitation.

Appeared: Monday, September 21. arXiv. Preprint, not yet peer-reviewed.

Authors' comment: 16 pages. Computer-assisted proof