Entanglements
arXiv:2205.11488
Abstract
Robertson and Seymour constructed for every graph a tree-decomposition that efficiently distinguishes all the tangles in . While all previous constructions of these decompositions are either iterative in nature or not canonical, we give an explicit one-step construction that is canonical. The key ingredient is an axiomatisation of 'local properties' of tangles. Generalisations to locally finite graphs and matroids are also discussed.
8 pages, 4 figures