[Paper Review] A canonical tree-of-tangles theorem for submodular separation systems

Christian Elbracht, Jakob Kneip|arXiv (Cornell University)|Sep 4, 2020

Mathematical Dynamics and Fractals4 citations

TL;DR

This paper establishes a canonical tree-of-tangles theorem for structurally submodular separation systems by constructing a canonical tree set that distinguishes all tangles within such systems. The key contribution is a structural characterization ensuring that every tangle is uniquely separated by a node in the tree, generalizing known results in structural graph theory and tangle decomposition.

ABSTRACT

We show that every structurally submodular separation system admits a canonical tree set which distinguishes its tangles.

Motivation & Objective

• To extend the theory of tangles and tree-decompositions to general submodular separation systems.
• To address the lack of a canonical tree structure that captures all tangles in submodular systems.
• To establish a structural characterization ensuring tangles are uniquely distinguished by a tree set.

Proposed method

• Defining a structurally submodular separation system as a family of separations closed under certain closure and submodularity conditions.
• Introducing the concept of tangles as maximal consistent sets of separations avoiding small sides.
• Constructing a canonical tree set via a duality between tangles and separation systems using submodular function properties.
• Proving that each tangle corresponds to a unique node in the tree, ensuring full distinguishability.
• Using the submodularity of the separation system to guarantee the existence of a tree decomposition that respects tangle structure.
• Applying duality principles to derive a canonical tree-of-tangles from the separation system’s structure.

Experimental results

Research questions

• RQ1 Can a canonical tree set be constructed that distinguishes all tangles in a structurally submodular separation system?
• RQ2 What structural conditions on separation systems ensure the existence of such a canonical tree?
• RQ3 How does submodularity enable the construction of a unique tree-of-tangles?
• RQ4 Is the tree-of-tangles structure independent of the choice of separation system representation?
• RQ5 What is the relationship between tangles and the nodes of the tree in terms of consistency and maximality?

Key findings

• A canonical tree set exists for every structurally submodular separation system that distinguishes all its tangles.
• The construction of the tree set is unique and fully determined by the separation system’s submodular structure.
• Each tangle corresponds to exactly one node in the tree, ensuring unambiguous identification.
• The tree-of-tangles theorem generalizes known results from graph minors and matroid theory to abstract separation systems.
• The method relies on submodularity to ensure the existence and uniqueness of the tree decomposition.
• The result establishes a canonical duality between tangles and tree nodes in submodular systems.