Structured Decompositions: Structural and Algorithmic Compositionality

Benjamin Merlin Bumpus; Emilio Minichiello; Jade Edenstar Master; Zoltan A. Kocsis

Structured Decompositions: Structural and Algorithmic Compositionality

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

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 2207.06091 v7 pith:TCFE7Y45 submitted 2022-07-13 math.CT cs.DSmath.CO

Structured Decompositions: Structural and Algorithmic Compositionality

Benjamin Merlin Bumpus , Zoltan A. Kocsis , Jade Edenstar Master , Emilio Minichiello This is my paper

classification math.CT cs.DSmath.CO

keywords decompositionstheorytreewidthdynamicalgraphstructuralstructuredsystems

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

0 comments

read the original abstract

We introduce structured decompositions, category-theoretic structures which simultaneously generalize notions from graph theory (including treewidth, layered treewidth, co-treewidth, graph decomposition width, tree independence number, hypergraph treewidth and H-treewidth), geometric group theory (specifically Bass-Serre theory), and dynamical systems (e.g. hybrid dynamical systems). We define width functors, which provide a compositional way to analyze and relate different structural complexity measures, and establish a general duality between decompositions and completions of objects.

discussion (0)

Forward citations

Cited by 1 Pith paper

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

Decomposing time-varying data into simple pieces: structured decompositions of narratives
math.CT 2026-07 conditional novelty 6.5

Under stated categorical hypotheses, any spined structured-decomposition theory lifts to a temporal theory on persistent narratives, recovering temporal tree-width, complemented tree-width, and tree-independence number.