Pith. sign in

REVIEW 1 cited by

Trees of tangles in abstract separation systems

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1909.09030 v2 pith:JKABQ2HP submitted 2019-09-19 math.CO

classification math.CO
keywords abstractseparationsystemssubmodulartheoremstree-of-tanglescanonicalfunctions
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We prove canonical and non-canonical tree-of-tangles theorems for abstract separation systems that are merely structurally submodular. Our results imply all known tree-of-tangles theorems for graphs, matroids and abstract separation systems with submodular order functions, with greatly simplified and shortened proofs.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On vertex sets inducing tangles

    math.CO 2024-11 conditional novelty 7.0 of 10

    Every k-tangle in a graph is the lift of a k-tangle in a topological minor of size bounded by a function of k, reducing the vertex-set induction problem to bounded-size graphs.

Pith tools