Treewidth is a lower bound on graph gonality

From MaRDI portal
(Redirected from Publication:2200865)



Abstract: We prove that the (divisorial) gonality of a finite connected graph is lower bounded by its treewidth. We show that equality holds for grid graphs and complete multipartite graphs. We prove that the treewidth lower bound also holds for emph{metric graphs} by constructing for any positive rank divisor on a metric graph Gamma a positive rank divisor of the same degree on a subdivision of the underlying graph. Finally, we show that the treewidth lower bound also holds for a related notion of gonality defined by Caporaso and for stable gonality as introduced by Cornelissen et al.


Let \(G = (V,E)\) be a finite and undirected graph. The treewidth of \(G\) is the minimum width of a tree decomposition of \(G\). The (divisorial) gonality of a \(G\) is the minimal width of a positive rank divisor on \(G\). (Several definitions for these terms exist, but the authors start with these in the paper.) As the title announces, the authors prove that the treewidth is a lower bound for the graph gonality. The distance between these parameters is traversed by means of brambles. A set \(\mathfrak{B} \subseteq 2^V - \{\emptyset\}\) is a bramble if for any \(B,B^\prime \in \mathfrak{B}\) the induced subgraph \(G[B \cup B^\prime]\) is connected. It's known that the treewidth of \(G\) is \(k\) if and only if \(G\) has a bramble of order at least \(k+1\). The relationship between the support of an effective divisor and the order of a bramble of order \(k+1\) is explored in order to derive the desired inequality. Note that several notions of graph gonality exist. The authors point out several such types and show that all satisfy the announced inequality.











This page was built for publication: Treewidth is a lower bound on graph gonality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2200865)