Monoidal Width-Versatile Pathway

• Width-Versatile Pathway is a unified algebraic framework that captures path, tree, and branch widths through monoidal decompositions in structured categories.
• The framework defines monoidal width using strict rules for atomic morphisms and composite operations, establishing precise correspondences with classical graph invariants.
• It offers algorithmic benefits by recasting dynamic programming over decompositions, with potential applications in quantum circuits, Petri nets, and diagram rewriting.

A width-versatile pathway refers to the unified framework provided by monoidal width—a measure of decomposition complexity for morphisms in monoidal categories—that simultaneously captures the classical graph-theoretic invariants of path width, tree width, and branch width. This pathway is realized through the formalism of monoidal decompositions, where the allowed shapes of decomposition trees (chains, trees, or arbitrary trees) yield precise correspondences to the respective classical width parameters. The resulting pathway is “width-versatile” in that adjusting the decomposition constraints interpolates smoothly among path-, tree-, and branch-width within a single algebraic calculus, avoiding ad-hoc or domain-specific definitions (Lavore et al., 2022).

1. Formal Definition of Monoidal Width

Let $\mathcal{C}$ be a strict monoidal category with monoidal product $\otimes$ and composition $\circ$. Fix a distinguished set of atomic morphisms $\Gamma \subseteq \mathrm{Mor}(\mathcal{C})$. A weight function $\omega$ assigns a non-negative integer to each $g \in \Gamma$ and is extended to composites such that $$\omega(g_1 \otimes g_2) = \omega(g_1) + \omega(g_2)$$ and $\omega(\otimes) = 0$.

A monoidal decomposition of $f: A \rightarrow B$ is a finite tree whose internal nodes are labeled by $\otimes$ or $\otimes$0 (composition along $\otimes$1), and whose leaves are labeled by atomic morphisms in $\otimes$2. Let $\otimes$3 denote the set of all such decomposition trees $\otimes$4. The decomposition must evaluate to $\otimes$5 in $\otimes$6.

The width $\otimes$7 of a decomposition $\otimes$8 is defined inductively:

• If $\otimes$9 is a leaf labeled by $\circ$0, then $\circ$1.
• If $\circ$2’s root is $\circ$3 with children $\circ$4, then $\circ$5.
• If $\circ$6’s root is $\circ$7 with children $\circ$8 and $\circ$9, then $\Gamma \subseteq \mathrm{Mor}(\mathcal{C})$0.

The monoidal width of $\Gamma \subseteq \mathrm{Mor}(\mathcal{C})$1 is

$\Gamma \subseteq \mathrm{Mor}(\mathcal{C})$2

Significant restricted variants are:

• Monoidal tree width $\Gamma \subseteq \mathrm{Mor}(\mathcal{C})$3: Only allow decomposition trees where each sequential composition $\Gamma \subseteq \mathrm{Mor}(\mathcal{C})$4 features an atomic morphism on one side (“tree-shaped”).
• Monoidal path width $\Gamma \subseteq \mathrm{Mor}(\mathcal{C})$5: Forbid all $\Gamma \subseteq \mathrm{Mor}(\mathcal{C})$6-nodes so the decomposition is a sequential “chain.”

2. Specialization to Graphs and Recovery of Path Width

Specialization occurs in the symmetric monoidal category $\Gamma \subseteq \mathrm{Mor}(\mathcal{C})$7, where objects are finite discrete vertex-sets $\Gamma \subseteq \mathrm{Mor}(\mathcal{C})$8, and morphisms $\Gamma \subseteq \mathrm{Mor}(\mathcal{C})$9 are cospans $\omega$0 with $\omega$1 a finite undirected graph and $\omega$2, $\omega$3 labeling boundary vertices. Composition is via pushout; the monoidal product is disjoint union.

All cospans are atomic ($\omega$4 is the class of all cospans). The weight $\omega$5 of a cospan $\omega$6 is $\omega$7.

A monoidal path decomposition of the cospan $\omega$8 is a compositional chain $\omega$9 with each $g \in \Gamma$0 an induced subgraph of $g \in \Gamma$1. It is proven that

$g \in \Gamma$2

where the minimal decomposition width matches the maximal bag size in a classical path decomposition of $g \in \Gamma$3 [(Lavore et al., 2022), Props. 5.2, 5.3].

The bijection: From a classical path decomposition $g \in \Gamma$4, form cospans with $g \in \Gamma$5 and $g \in \Gamma$6, with $g \in \Gamma$7 the subgraph induced by $g \in \Gamma$8. The maximum bag size matches the maximum boundary size, so the classical and monoidal definitions coincide.

3. Comparative Unification of Path-, Tree-, and Branch-Width

The unifying aspect of the width-versatile pathway is realized by interpreting graph width invariants as instances of monoidal width by restricting decomposition tree shapes in the cospan-of-graphs category:

Monoidal Variant	Decomposition Constraint	Classical Invariant	Theoretical Relation
$g \in \Gamma$9	Chains only (no $$\omega(g_1 \otimes g_2) = \omega(g_1) + \omega(g_2)$$0)	Path width ($$\omega(g_1 \otimes g_2) = \omega(g_1) + \omega(g_2)$$1)	Exact equality
$$\omega(g_1 \otimes g_2) = \omega(g_1) + \omega(g_2)$$2	Tree-shaped, one side atomic	Tree width ($$\omega(g_1 \otimes g_2) = \omega(g_1) + \omega(g_2)$$3)	$$\omega(g_1 \otimes g_2) = \omega(g_1) + \omega(g_2)$$4
$$\omega(g_1 \otimes g_2) = \omega(g_1) + \omega(g_2)$$5	Fully general (arbitrary)	Branch width ($$\omega(g_1 \otimes g_2) = \omega(g_1) + \omega(g_2)$$6)	$$\omega(g_1 \otimes g_2) = \omega(g_1) + \omega(g_2)$$7

Path decompositions correspond to strictly “linear” strings of sequential compositions, tree decompositions allow for parallel (monoidal) $$\omega(g_1 \otimes g_2) = \omega(g_1) + \omega(g_2)$$8 but with attachment restricted to a single “frontier” bag, and branch decompositions of graphs correspond to fully general expressions interleaving $$\omega(g_1 \otimes g_2) = \omega(g_1) + \omega(g_2)$$9 and $\omega(\otimes) = 0$0.

4. Explicit Example: The 4-Cycle $\omega(\otimes) = 0$1

Let $\omega(\otimes) = 0$2 be the undirected 4-cycle with vertex set $\omega(\otimes) = 0$3. The classical pathwidth of $\omega(\otimes) = 0$4 is 2. Consider $\omega(\otimes) = 0$5.

Classical path decomposition: One minimal decomposition uses bags $\omega(\otimes) = 0$6 and $\omega(\otimes) = 0$7, with maximal bag size 3. With the convention used in (Lavore et al., 2022), the width is 3 (no subtraction), matching the maximal bag size.

Monoidal path decomposition: Decompose $\omega(\otimes) = 0$8 into its atomic edges $\omega(\otimes) = 0$9 (each $f: A \rightarrow B$0 with 2 vertices) and compose:

$f: A \rightarrow B$1

At each step, the boundary sets have size at most 3. Thus, $f: A \rightarrow B$2.

If one adopts the common graph theory normalization (subtracting 1), both methods yield width 2. This demonstrates that the monoidal pathway formalism accurately recovers the classical invariant.

5. Algebraic and Algorithmic Implications

The width-versatile pathway is uniform: a single abstract notion (monoidal width) recovers the three principal graph decompositional widths by varying only the decomposition tree constraint. Unlike ad-hoc or domain-specific invariants, this approach provides algebraic clarity: every graph decomposition corresponds to a syntactic expression constructed from $f: A \rightarrow B$3 and $f: A \rightarrow B$4, and atomic generators (cospans). This language is amenable to generic diagram-rewriting algorithms and can be transferred to other domains (e.g., quantum circuits, Petri nets, string diagrams) by suitable choice of ambient monoidal category.

Algorithmically, dynamic-programming methods for decompositions (path, tree, or branch) can be recast as evaluation schemes for bounded-width monoidal expressions. This enables the development of generic compilation or optimization routines: given an arrow in a monoidal category and a bounded-width decomposition, one can produce efficient evaluation code within the same formalism.

6. Significance and Directions

Monoidal width, through its width-versatile pathway, delivers a compositional framework that unifies the three dominant measures of graph decomposition—path-, tree-, and branch-width—without ad-hoc constructions. The algebraic approach extends “width-based” reasoning beyond graphs and suggests algorithmic developments in any domain admitting a monoidal category interpretation. This framework is especially promising for cross-disciplinary applications where general decomposition-based techniques can be transferred or further developed (Lavore et al., 2022).