Obtaining trees of tangles from tangle-tree duality

Autor: Christian Elbracht, Jakob Kneip, Maximilian Teegen
Rok vydání: 2020
Předmět:
DOI: 10.48550/arxiv.2011.09758
Popis: We demonstrate the versatility of the tangle-tree duality theorem for abstract separation systems by using it to prove tree-of-tangles theorems. This approach allows us to strengthen some of the existing tree-of-tangles theorems by bounding the node degrees in them. We also present a slight strengthening and simplified proof of the duality theorem, which allows us to derive a tree-of-tangles theorem also for tangles of different orders.
Comment: 29 pages
Databáze: OpenAIRE