Screewidth: Tree-Cut Decomposition in Graph Theory

• Screewidth is a graph invariant defined via tree-cut decompositions that quantifies the efficiency of organizing vertices and controls edge traffic and bag congestion.
• It uses measures such as link adhesion and node adhesion to capture routing constraints, establishing upper bounds on scramble number and relating to treewidth and gonality.
• The invariant bridges chip-firing game invariants with decomposition theory, featuring explicit formulas for special classes like banana trees and congestion-based bounds.

Screewidth is a graph invariant defined from a variation of tree-cut decompositions and introduced to provide a decomposition-theoretic upper bound on scramble number, an invariant arising in chip-firing games and divisorial gonality. In the foundational formulation, screewidth measures how efficiently the vertices of a graph can be organized into a tree-shaped routing structure while controlling both edge traffic across decomposition links and combined bag-size-plus-throughput at decomposition nodes. Its basic role is summarized by the inequality

$\sn(G)\le \scw(G),$

which places screewidth above scramble number in the chain of width-type and gonality-related invariants (Cenek et al., 2022).

1. Definition through tree-cut decompositions

A tree-cut decomposition of a connected finite multigraph $G$ is a pair

$T=(T,\mathcal X),$

where $T$ is a tree and each node $b\in V(T)$ is assigned a bag $X_b\subseteq V(G)$, with

$$\bigcup_{b\in V(T)} X_b = V(G), \qquad X_b\cap X_d=\varnothing \text{ for } b\neq d.$$

Thus the bags form a partition of $V(G)$; unlike ordinary tree decompositions, bags are disjoint, may be empty, and need not induce connected subgraphs. To avoid confusion between the two graphs, vertices and edges of the decomposition tree are called nodes and links (Cenek et al., 2022).

For a link $l\in E(T)$, deleting $l$ disconnects $G$0 into two components. The link adhesion $G$1 is the set of edges of $G$2 whose endpoints lie in bags on opposite sides of that cut. For a non-leaf node $G$3, deleting $G$4 disconnects $G$5; the node adhesion $G$6 is the set of edges of $G$7 whose endpoints lie in bags belonging to different components of $G$8. These notions support two width measures: $G$9

$T=(T,\mathcal X),$0

The width of the decomposition is

$T=(T,\mathcal X),$1

and the screewidth of $T=(T,\mathcal X),$2 is the minimum over all tree-cut decompositions: $T=(T,\mathcal X),$3 The two terms play different roles: $T=(T,\mathcal X),$4 controls maximum edge traffic through a decomposition link, while $T=(T,\mathcal X),$5 controls the largest sum of bag size and tunneling-edge congestion at a node (Cenek et al., 2022).

The geometric interpretation is central. One may draw a thickened copy of the decomposition tree, place each graph vertex inside its bag, and route each graph edge along the unique path in the tree joining the bags containing its endpoints. Then link adhesion counts edges passing through a link, and node adhesion counts edges tunneling through a non-leaf node. In this sense, screewidth is a routing-congestion width parameter on a tree (Connor et al., 2023).

2. Position among scramble number, treewidth, and gonality

Screewidth was introduced to fill a structural gap in scramble theory. Scrambles provide lower bounds on gonality, but prior to screewidth there was no known tree-decomposition-style invariant designed to give upper bounds on scramble number. The defining theorem is

$T=(T,\mathcal X),$6

proved by orienting every link of a hypothetical low-width tree-cut decomposition toward a side containing an egg of a scramble, then using a sink node to construct a hitting set of size at most the decomposition width, contradicting the scramble order (Cenek et al., 2022).

This inequality sits inside a broader chain of invariants. The scramble-number literature recalled in later work gives

$T=(T,\mathcal X),$7

and therefore

$T=(T,\mathcal X),$8

The same later paper also recalls the Seymour–Thomas identity

$T=(T,\mathcal X),$9

for bramble number $T$0, and explains that scrambles generalize brambles in the sense that a bramble of order $T$1 becomes a scramble of order either $T$2 or $T$3 (Connor et al., 2023).

The comparison with gonality is subtler. The original screewidth paper asks whether

$T$4

holds for all graphs, but leaves the question open. It proves a conditional positive result: if $T$5 has a positive-rank divisor $T$6 that partitions $T$7, then

$T$8

and in particular, if $T$9, then $b\in V(T)$0. From this, one obtains that if $b\in V(T)$1 is a $b\in V(T)$2-edge-connected graph of gonality $b\in V(T)$3, then

$b\in V(T)$4

(Cenek et al., 2022).

A later paper states that there are no known cases where screewidth is larger than gonality, but it does not prove a general inequality of that form. It also records several families in which screewidth, scramble number, disjoint scramble number, carton number, and gonality coincide, including cycles $b\in V(T)$5, complete multipartite graphs $b\in V(T)$6, grid graphs $b\in V(T)$7, cylindrical graphs $b\in V(T)$8, and several Cartesian-product families (Connor et al., 2023).

3. Structural properties and extremal behavior

The original paper develops a substantial basic theory of screewidth. At the smallest end,

$b\in V(T)$9

At the dense end, for a simple graph on $X_b\subseteq V(G)$0 vertices,

$X_b\subseteq V(G)$1

More generally, for a graph on $X_b\subseteq V(G)$2 vertices,

$X_b\subseteq V(G)$3

with equality iff $X_b\subseteq V(G)$4; for simple graphs, this simplifies to

$X_b\subseteq V(G)$5

A sharper simple-graph bound is

$X_b\subseteq V(G)$6

where $X_b\subseteq V(G)$7 is the independence number. In the dense regime $X_b\subseteq V(G)$8, the invariant collapses to

$X_b\subseteq V(G)$9

(Cenek et al., 2022).

Screewidth is monotone under subgraphs: if $$\bigcup_{b\in V(T)} X_b = V(G), \qquad X_b\cap X_d=\varnothing \text{ for } b\neq d.$$0 is a subgraph of $$\bigcup_{b\in V(T)} X_b = V(G), \qquad X_b\cap X_d=\varnothing \text{ for } b\neq d.$$1, then

$$\bigcup_{b\in V(T)} X_b = V(G), \qquad X_b\cap X_d=\varnothing \text{ for } b\neq d.$$2

It is invariant under subdivision and smoothing of a 2-valent vertex, so it depends on the underlying topological graph shape rather than degree-2 refinements. It also satisfies a bridge formula: if $$\bigcup_{b\in V(T)} X_b = V(G), \qquad X_b\cap X_d=\varnothing \text{ for } b\neq d.$$3 is a bridge and $$\bigcup_{b\in V(T)} X_b = V(G), \qquad X_b\cap X_d=\varnothing \text{ for } b\neq d.$$4 has components $$\bigcup_{b\in V(T)} X_b = V(G), \qquad X_b\cap X_d=\varnothing \text{ for } b\neq d.$$5, then

$$\bigcup_{b\in V(T)} X_b = V(G), \qquad X_b\cap X_d=\varnothing \text{ for } b\neq d.$$6

(Cenek et al., 2022).

By contrast, screewidth is not minor-monotone. The paper gives an explicit example showing that a minor can have larger screewidth than the original graph. This rules out a straightforward Robertson–Seymour-style minor theory for the invariant (Cenek et al., 2022).

Optimal decompositions can also behave differently from standard treewidth intuition. Empty bags may be necessary: for $$\bigcup_{b\in V(T)} X_b = V(G), \qquad X_b\cap X_d=\varnothing \text{ for } b\neq d.$$7 with $$\bigcup_{b\in V(T)} X_b = V(G), \qquad X_b\cap X_d=\varnothing \text{ for } b\neq d.$$8,

$$\bigcup_{b\in V(T)} X_b = V(G), \qquad X_b\cap X_d=\varnothing \text{ for } b\neq d.$$9

and every width-$V(G)$0 decomposition has at least one empty bag. Still, empty bags can be normalized: any graph has an optimal tree-cut decomposition in which every empty bag has valence $V(G)$1, and if an optimal decomposition has $V(G)$2 leaf nodes, it has at most $V(G)$3 empty bags. Nonempty bags need not induce connected subgraphs either; the paper exhibits a graph of screewidth $V(G)$4 for which every optimal decomposition contains a disconnected bag (Cenek et al., 2022).

The invariant is not simply a repackaging of scramble number. A concrete separation is

$V(G)$5

Moreover, for every $V(G)$6 there exists a graph $V(G)$7 with

$V(G)$8

showing that screewidth can be quadratically larger than scramble number (Cenek et al., 2022).

4. Vertex congestion, line graphs, and upper bounds

A later paper places screewidth in a congestion-theoretic framework. It defines an embedding of $V(G)$9 as an injection $l\in E(T)$0 from $l\in E(T)$1 to the leaves of a sub-cubic tree $l\in E(T)$2. For each edge $l\in E(T)$3, let $l\in E(T)$4 be the path in $l\in E(T)$5 from $l\in E(T)$6 to $l\in E(T)$7. The vertex congestion of $l\in E(T)$8 is

$l\in E(T)$9

and $l$0 is the minimum of this quantity over all such embeddings (Connor et al., 2023).

The key theorem is

$l$1

The proof starts from a minimum-congestion embedding into a subcubic tree, places each graph vertex into the leaf where it is embedded, and interprets the resulting structure as a tree-cut decomposition. Because graph vertices lie only in leaves, non-leaf bags are empty, their contribution is purely tunneling-edge congestion, and link adhesion is bounded by the contribution of an adjacent non-leaf node. Hence the decomposition width is at most the vertex congestion (Connor et al., 2023).

This connects screewidth to line-graph treewidth via the recalled identity

$l$2

Combining this with $l$3 yields

$l$4

The same paper states the resulting scramble-number bound as

$l$5

where $l$6 is maximum degree. It also uses the chain

$l$7

to give a new proof of the best known bound

$l$8

(Connor et al., 2023).

The congestion viewpoint also yields asymptotic consequences. Using excluded-minor treewidth bounds, the paper concludes that if $l$9 belongs to a family with no $G$00 minor and bounded maximum degree, then

$G$01

In particular, planar graphs of bounded degree have scramble number $G$02. Since screewidth bounds scramble number from above, this does not directly determine $G$03, but it shows how decomposition and congestion machinery can control scramble-related invariants on minor-closed families (Connor et al., 2023).

5. Exact formulas for banana trees

For banana trees, screewidth admits a complete combinatorial formula. A banana tree is a multigraph whose underlying simple graph is a tree; the parallel edges joining adjacent vertices form an edge bunch. The 2025 paper proves:

For a banana tree $G$04, let $G$05 be the maximum positive integer such that there is a connected subgraph with at least $G$06 vertices with at least $G$07 edges between each adjacent pair. Then,

$G$08

Equivalently,

$G$09

Thus screewidth is determined by the largest connected region whose size and minimum edge-bunch multiplicity are simultaneously at least $G$10 (Beougher et al., 3 Oct 2025).

The lower bound is obtained by taking singleton eggs on such a thick connected subgraph: if the subgraph has $G$11 vertices and every adjacent pair is joined by at least $G$12 edges, then the scramble has hitting number $G$13 and egg-cut number at least $G$14. The upper bound comes from an explicit tree-cut decomposition: vertices joined by more than $G$15 parallel edges are merged into a bag, while crossing an edge bunch of size at most $G$16 creates a new bag. By construction, maximum link adhesion is at most $G$17, there is no bag adhesion, and bag size is at most $G$18 (Beougher et al., 3 Oct 2025).

For banana paths $G$19, this becomes

$G$20

For banana stars, the same theorem combined with the star formula for scramble number yields an explicit expression in terms of leaf multiplicities (Beougher et al., 3 Oct 2025).

The banana-tree results also illustrate the distinction between screewidth and gonality. For

$G$21

the paper’s formula gives

$G$22

while the same paper proves

$G$23

By contrast, for

$G$24

all three invariants coincide: $G$25 (Beougher et al., 3 Oct 2025).

6. Open questions and broader significance

Screewidth was designed as the decomposition-theoretic bridge between scrambles and more classical structural graph theory. It translates an invariant defined by connected vertex sets, hitting sets, and egg-cuts into a tree-based routing parameter whose behavior can be analyzed through decomposition width, congestion, and line-graph treewidth (Cenek et al., 2022).

Two open questions dominate the subject. The first asks whether screewidth is controlled by scramble number: $G$26 The quadratic-gap construction shows that equality is far from universal, but does not rule out a more general functional bound. The second is the gonality comparison: $G$27 The original paper proves this under a partitioning-divisor hypothesis and verifies it in many examples, but not in full generality (Cenek et al., 2022).

Later work emphasizes that screewidth is secondary in some contexts even when structurally useful. The 2023 paper on scrambles and carton number gives no direct complexity theorem for computing screewidth itself; its direct contributions are the formal definition, the recalled inequality $G$28, the new bound $G$29, and equality results on special classes (Connor et al., 2023). A plausible implication is that the invariant is currently better understood as a structural and bounding device than as a computationally settled width parameter.

Taken together, the existing results present a consistent picture. Screewidth is a tree-cut–decomposition invariant that always upper-bounds scramble number, sometimes equals gonality-related invariants exactly, can be substantially larger than scramble number in general, and becomes completely explicit on banana trees. Its main conceptual contribution is to recast scramble-number questions in the language of decomposition and congestion, thereby importing techniques from tree-cut structure, line graphs, and minor-free graph theory into the study of chip-firing invariants (Cenek et al., 2022).