Duality Theorems for Blocks and Tangles in Graphs

We prove a duality theorem applicable to a wide range of specializations, as well as to some generalizations, of tangles in graphs. It generalizes the classical tangle duality theorem of Robertson and Seymour, which says that every graph has either a large-order tangle or a certain low-width tree-decomposition witnessing that it cannot have such a tangle. Our result also yields duality theorems for profiles and for $k$-blocks. This solves a problem studied, but not solved, by Diestel and Oum and answers an earlier question of Carmesin, Diestel, Hamann, and Hundertmark.