-
Lassos: Pushing Tree Decompositions Forward Along Homomorphisms
Authors:
Benjamin Merlin Bumpus,
James Fairbanks,
Will J. Turner
Abstract:
It is folklore that tree-width is monotone under taking subgraphs (i.e. injective graph homomorphisms) and contractions (certain kinds of surjective graph homomorphisms). However, although tree-width is obviously not monotone under any surjective graph homomorphism, it is not clear whether contractions are canonically the only class of surjections with respect to which it is monotone. Under the re…
▽ More
It is folklore that tree-width is monotone under taking subgraphs (i.e. injective graph homomorphisms) and contractions (certain kinds of surjective graph homomorphisms). However, although tree-width is obviously not monotone under any surjective graph homomorphism, it is not clear whether contractions are canonically the only class of surjections with respect to which it is monotone. Under the requirement that the decomposition shape must be preserved, we prove that this is indeed the case.
Our results provide a framework for answering questions of this sort for many other kinds of combinatorial data structures (such as directed multigraphs, hypergraphs, Petri nets, circular port graphs, half-edge graphs, databases, simplicial sets etc.) for which natural analogues of tree decompositions can be defined. Furthermore and of independent interest, we prove these results by introducing the notion of a lasso, a generalization of contractions of graphs to arbitrary categories with pushouts of monomorphisms.
△ Less
Submitted 10 June, 2025; v1 submitted 27 August, 2024;
originally announced August 2024.
-
Failures of Compositionality: A Short Note on Cohomology, Sheafification and Lavish Presheaves
Authors:
Benjamin Merlin Bumpus,
Matteo Capucci,
James Fairbanks,
Daniel Rosiak
Abstract:
In many sciences one often builds large systems out of smaller constituent parts. Mathematically, to study these systems, one can attach data to the component pieces via a functor F. This is of great practical use if F admits a compositional structure which is compatible with that of the system under study (i.e. if the local data defined on the pieces can be combined into global data). However, so…
▽ More
In many sciences one often builds large systems out of smaller constituent parts. Mathematically, to study these systems, one can attach data to the component pieces via a functor F. This is of great practical use if F admits a compositional structure which is compatible with that of the system under study (i.e. if the local data defined on the pieces can be combined into global data). However, sometimes this does not occur. Thus one can ask: (1) Does F fail to be compositional? (2) If so, can this failure be quantified? and (3) Are there general tools to fix failures of compositionality? The kind of compositionality we study in this paper is one in which one never fails to combine local data into global data. This is formalized via the understudied notion of what we call a lavish presheaf: one that satisfies the existence requirement of the sheaf condition, but not uniqueness. Adapting Čech cohomology to presheaves, we show that a presheaf has trivial zeroth presheaf-Čech cohomology if and only if it is lavish. In this light, cohomology is a measure of the failure of compositionality. The key contribution of this paper is to show that, in some instances, cohomology can itself display compositional structure. Formally, we show that, given any Abelian presheaf F : C^op --> A and any Grothendieck pretopology J, if F is flasque and separated, then the zeroth cohomology functor H^0(-,F) : C^op --> A is lavish. This follows from observation that, for separated presheaves, H^0(-,F) can be written as a cokernel of the unit of the adjunction given by sheafification. This last fact is of independent interest since it shows that cohomology is a measure of ``distance'' between separated presheaves and their closest sheaves (their sheafifications). On the other hand, the fact that H^0(-,F) is a lavish presheaf has unexpected algorithmic consequences.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Towards a Unified Theory of Time-Varying Data
Authors:
Benjamin Merlin Bumpus,
James Fairbanks,
Martti Karvonen,
Wilmer Leal,
Frédéric Simard
Abstract:
What is a time-varying graph, a time-varying topological space, or, more generally, a mathematical structure that evolves over time? In this work, we lay the foundations for a general theory of temporal data by introducing categories of narratives. These are sheaves on posets of time intervals that encode snapshots of a temporal object along with the relationships between them. This theory satisfi…
▽ More
What is a time-varying graph, a time-varying topological space, or, more generally, a mathematical structure that evolves over time? In this work, we lay the foundations for a general theory of temporal data by introducing categories of narratives. These are sheaves on posets of time intervals that encode snapshots of a temporal object along with the relationships between them. This theory satisfies five desiderata distilled from the burgeoning field of time-varying graphs: (D1) it defines both time-varying objects and their morphisms; (D2) it distinguishes between cumulative and persistent interpretations and provides principled methods for transitioning between them; (D3) it systematically lifts static notions to their temporal analogues; (D4) it is object agnostic; (D5) it integrates with theories of dynamical systems. To achieve this, we build upon existing categorical and sheaf-theoretic approaches to temporal graph theory, generalizing them to any category with limits and colimits. We also formalize tacit intuitions that, while present, often remain implicit in temporal graph theory. Beyond synthesizing and reformulating existing ideas in categorical language, we introduce sheaf-theoretic constructions and prove results that, to our knowledge, have not appeared in the temporal data literature - such as the adjunction between persistent and cumulative narratives. More importantly, we integrate these existing and novel elements into a consistent and coherent framework, setting the stage for a unified theory of time-varying data.
△ Less
Submitted 25 March, 2025; v1 submitted 31 January, 2024;
originally announced February 2024.
-
Additive Invariants of Open Petri Nets
Authors:
Benjamin Merlin Bumpus,
Sophie Libkind,
Jordy Lopez Garcia,
Layla Sorkatti,
Samuel Tenka
Abstract:
We classify all additive invariants of open Petri nets: these are $\mathbb{N}$-valued invariants which are additive with respect to sequential and parallel composition of open Petri nets. In particular, we prove two classification theorems: one for open Petri nets and one for monically open Petri nets (i.e. open Petri nets whose interfaces are specified by monic maps). Our results can be summarize…
▽ More
We classify all additive invariants of open Petri nets: these are $\mathbb{N}$-valued invariants which are additive with respect to sequential and parallel composition of open Petri nets. In particular, we prove two classification theorems: one for open Petri nets and one for monically open Petri nets (i.e. open Petri nets whose interfaces are specified by monic maps). Our results can be summarized as follows. The additive invariants of open Petri nets are completely determined by their values on a particular class of single-transition Petri nets. However, for monically open Petri nets, the additive invariants are determined by their values on transitionless Petri nets and all single-transition Petri nets. Our results confirm a conjecture of John Baez (stated during the AMS' 2022 Mathematical Research Communities workshop).
△ Less
Submitted 23 April, 2025; v1 submitted 2 March, 2023;
originally announced March 2023.
-
Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves
Authors:
Ernst Althaus,
Benjamin Merlin Bumpus,
James Fairbanks,
Daniel Rosiak
Abstract:
Algorithmicists are well-aware that fast dynamic programming algorithms are very often the correct choice when computing on compositional (or even recursive) graphs. Here we initiate the study of how to generalize this folklore intuition to mathematical structures writ large. We achieve this horizontal generality by adopting a categorial perspective which allows us to show that: (1) structured dec…
▽ More
Algorithmicists are well-aware that fast dynamic programming algorithms are very often the correct choice when computing on compositional (or even recursive) graphs. Here we initiate the study of how to generalize this folklore intuition to mathematical structures writ large. We achieve this horizontal generality by adopting a categorial perspective which allows us to show that: (1) structured decompositions (a recent, abstract generalization of many graph decompositions) define Grothendieck topologies on categories of data (adhesive categories) and that (2) any computational problem which can be represented as a sheaf with respect to these topologies can be decided in linear time on classes of inputs which admit decompositions of bounded width and whose decomposition shapes have bounded feedback vertex number. This immediately leads to algorithms on objects of any C-set category; these include -- to name but a few examples -- structures such as: symmetric graphs, directed graphs, directed multigraphs, hypergraphs, directed hypergraphs, databases, simplicial complexes, circular port graphs and half-edge graphs.
Thus we initiate the bridging of tools from sheaf theory, structural graph theory and parameterized complexity theory; we believe this to be a very fruitful approach for a general, algebraic theory of dynamic programming algorithms. Finally we pair our theoretical results with concrete implementations of our main algorithmic contribution in the AlgebraicJulia ecosystem.
△ Less
Submitted 3 October, 2023; v1 submitted 10 February, 2023;
originally announced February 2023.
-
Structured Decompositions: Structural and Algorithmic Compositionality
Authors:
Benjamin Merlin Bumpus,
Zoltan A. Kocsis,
Jade Edenstar Master,
Emilio Minichiello
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 wid…
▽ More
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.
△ Less
Submitted 20 May, 2025; v1 submitted 13 July, 2022;
originally announced July 2022.
-
Search-Space Reduction via Essential Vertices
Authors:
Benjamin Merlin Bumpus,
Bart M. P. Jansen,
Jari J. H. de Kroon
Abstract:
We investigate preprocessing for vertex-subset problems on graphs. While the notion of kernelization, originating in parameterized complexity theory, is a formalization of provably effective preprocessing aimed at reducing the total instance size, our focus is on finding a non-empty vertex set that belongs to an optimal solution. This decreases the size of the remaining part of the solution which…
▽ More
We investigate preprocessing for vertex-subset problems on graphs. While the notion of kernelization, originating in parameterized complexity theory, is a formalization of provably effective preprocessing aimed at reducing the total instance size, our focus is on finding a non-empty vertex set that belongs to an optimal solution. This decreases the size of the remaining part of the solution which still has to be found, and therefore shrinks the search space of fixed-parameter tractable algorithms for parameterizations based on the solution size. We introduce the notion of a c-essential vertex as one that is contained in all c-approximate solutions. For several classic combinatorial problems such as Odd Cycle Transversal and Directed Feedback Vertex Set, we show that under mild conditions a polynomial-time preprocessing algorithm can find a subset of an optimal solution that contains all 2-essential vertices, by exploiting packing/covering duality. This leads to FPT algorithms to solve these problems where the exponential term in the running time depends only on the number of non-essential vertices in the solution.
△ Less
Submitted 1 July, 2022;
originally announced July 2022.
-
Degree of Satisfiability in Heyting Algebras
Authors:
Benjamin Merlin Bumpus,
Zoltan A. Kocsis
Abstract:
Given a finite structure $M$ and property $p$, it is a natural to study the degree of satisfiability of $p$ in $M$; i.e. to ask: what is the probability that uniformly randomly chosen elements in $M$ satisfy $p$? In group theory, a well-known result of Gustafson states that the equation $xy=yx$ has a finite satisfiability gap: its degree of satisfiability is either $1$ (in Abelian groups) or no la…
▽ More
Given a finite structure $M$ and property $p$, it is a natural to study the degree of satisfiability of $p$ in $M$; i.e. to ask: what is the probability that uniformly randomly chosen elements in $M$ satisfy $p$? In group theory, a well-known result of Gustafson states that the equation $xy=yx$ has a finite satisfiability gap: its degree of satisfiability is either $1$ (in Abelian groups) or no larger than $\frac{5}{8}$. Degree of satisfiability has proven useful in the study of (finite and infinite) group-like and ring-like algebraic structures, but finite satisfiability gap questions have not been considered in lattice-like, order-theoretic settings yet.
Here we investigate degree of satisfiability questions in the context of Heyting algebras and intuitionistic logic. We classify all equations in one free variable with respect to finite satisfiability gap, and determine which common principles of classical logic in multiple free variables have finite satisfiability gap. In particular we prove that, in a finite non-Boolean Heyting algebra, the probability that a randomly chosen element satisfies $x \vee \neg x = \top$ is no larger than $\frac{2}{3}$. Finally, we generalize our results to infinite Heyting algebras, and present their applications to point-set topology, black-box algebras, and the philosophy of logic.
△ Less
Submitted 4 January, 2024; v1 submitted 21 October, 2021;
originally announced October 2021.
-
Treewidth via Spined Categories (extended abstract)
Authors:
Zoltan A. Kocsis,
Benjamin Merlin Bumpus
Abstract:
Treewidth is a well-known graph invariant with multiple interesting applications in combinatorics. On the practical side, many NP-complete problems are polynomial-time (sometimes even linear-time) solvable on graphs of bounded treewidth. On the theoretical side, treewidth played an essential role in the proof of the celebrated Robertson-Seymour graph minor theorem. While defining treewidth-like in…
▽ More
Treewidth is a well-known graph invariant with multiple interesting applications in combinatorics. On the practical side, many NP-complete problems are polynomial-time (sometimes even linear-time) solvable on graphs of bounded treewidth. On the theoretical side, treewidth played an essential role in the proof of the celebrated Robertson-Seymour graph minor theorem. While defining treewidth-like invariants on graphs and treewidth analogues on other sorts of combinatorial objects (incl. hypergraphs, digraphs) has been a fruitful avenue of research, a direct, categorial description capturing multiple treewidth-like invariants is yet to emerge. Here we report on our recent work on spined categories (arXiv:2104.01841): categories equipped with extra structure that permits the definition of a functorial analogue of treewidth, the triangulation functor. The usual notion of treewidth is recovered as a special case, the triangulation functor of a spined category with graphs as objects and graph monomorphisms as arrows. The usual notion of treewidth for hypergraphs arises as the triangulation functor of a similar category of hypergraphs.
△ Less
Submitted 11 May, 2021;
originally announced May 2021.
-
Spined categories: generalizing tree-width beyond graphs
Authors:
Benjamin Merlin Bumpus,
Zoltan A. Kocsis
Abstract:
Tree-width is an invaluable tool for computational problems on graphs. But often one would like to compute on other kinds of objects (e.g. decorated graphs or even algebraic structures) where there is no known tree-width analogue. Here we define an abstract analogue of tree-width which provides a uniform definition of various tree-width-like invariants including graph tree-width, hypergraph tree-w…
▽ More
Tree-width is an invaluable tool for computational problems on graphs. But often one would like to compute on other kinds of objects (e.g. decorated graphs or even algebraic structures) where there is no known tree-width analogue. Here we define an abstract analogue of tree-width which provides a uniform definition of various tree-width-like invariants including graph tree-width, hypergraph tree-width, complemented tree-width and even new constructions such as the tree-width of modular quotients. We obtain this generalization by developing a general theory of categories that admit abstract analogues of both tree decompositions and tree-width; we call these pseudo-chordal completions and the triangulation functor respectively.
△ Less
Submitted 21 June, 2022; v1 submitted 5 April, 2021;
originally announced April 2021.
-
Edge exploration of temporal graphs
Authors:
Benjamin Merlin Bumpus,
Kitty Meeks
Abstract:
We introduce a natural temporal analogue of Eulerian circuits and prove that, in contrast with the static case, it is NP-hard to determine whether a given temporal graph is temporally Eulerian even if strong restrictions are placed on the structure of the underlying graph and each edge is active at only three times. However, we do obtain an FPT-algorithm with respect to a new parameter called inte…
▽ More
We introduce a natural temporal analogue of Eulerian circuits and prove that, in contrast with the static case, it is NP-hard to determine whether a given temporal graph is temporally Eulerian even if strong restrictions are placed on the structure of the underlying graph and each edge is active at only three times. However, we do obtain an FPT-algorithm with respect to a new parameter called interval-membership-width which restricts the times assigned to different edges; we believe that this parameter will be of independent interest for other temporal graph problems. Our techniques also allow us to resolve two open question of Akrida, Mertzios and Spirakis [CIAC 2019] concerning a related problem of exploring temporal stars. Furthermore, we introduce a vertex-variant of interval-membership-width (which can be arbitrarily larger than its edge-counterpart) and use it to obtain an FPT-time algorithm for a natural vertex-exploration problem that remains hard even when interval-membership-width is bounded.
△ Less
Submitted 17 November, 2021; v1 submitted 9 March, 2021;
originally announced March 2021.
-
Directed branch-width: A directed analogue of tree-width
Authors:
Benjamin Merlin Bumpus,
Kitty Meeks,
William Pettersson
Abstract:
Gurski and Wanke showed that a graph class C has bounded tree-width if and only if its associated class of directed line graphs has bounded clique-width. Inevitably -- asking whether this relationship lifts to directed graphs -- we introduce a new digraph width measure: we obtain it by investigating digraphs whose directed line graphs have bounded cliquewidth. Thus, to generalize Gurski and Wanke'…
▽ More
Gurski and Wanke showed that a graph class C has bounded tree-width if and only if its associated class of directed line graphs has bounded clique-width. Inevitably -- asking whether this relationship lifts to directed graphs -- we introduce a new digraph width measure: we obtain it by investigating digraphs whose directed line graphs have bounded cliquewidth. Thus, to generalize Gurski and Wanke's aforementioned result, we introduce a natural generalization of branch-width to digraphs and we name it accordingly.
Directed branch-width is a genuinely directed width-measure insofar as it cannot be used to bound the value of the underlying undirected tree-width. Despite this, the two measures are still closely related: the directed branch-width of a digraph D can differ from the branch-width of its underlying undirected graph only at sources and sinks. This relationship allows us to extend a range of algorithmic results from directed graphs with bounded underlying treewidth to the strictly larger class of digraphs having bounded directed branch-width.
△ Less
Submitted 20 February, 2025; v1 submitted 18 September, 2020;
originally announced September 2020.
