Structural submodularity and tangles in abstract separation systems

Joshua Erde, Daniel Weißauer, Reinhard Diestel

Research output: Contribution to journalArticle

Abstract

We prove a tree-of-tangles theorem and a tangle-tree duality theorem for abstract separation systems S that are submodular in the structural sense that, for every pair of oriented separations, S contains either their meet or their join defined in some universe U of separations containing S. This holds, and is widely used, if U
comes with a submodular order function and S consists of all its separations up to some fixed order. Our result is that for the proofs of these two theorems, which are central to abstract tangle theory, it suffices to assume the above structural consequence for S, and no order function is needed.
Original languageEnglish
JournalJournal of Combinatorial Theory / A
Volume167
Publication statusPublished - 2019

Fingerprint Dive into the research topics of 'Structural submodularity and tangles in abstract separation systems'. Together they form a unique fingerprint.

  • Cite this