arXiv++ Combinatorics

Graphs that change over time arise throughout applications, but there is no single standard way to decompose them into smaller pieces. In this paper, we propose a systematic categorical method for doing so. The main idea is to combine structured decompositions, which generalize graph decompositions, such as tree-decompositions, with persistent narratives, which model time-varying data as diagrams. We prove that, under suitable categorical hypotheses, any static theory of decompositions can be lifted to a corresponding temporal theory. As case studies, we apply this construction to time-varying graphs and recover natural temporal analogues of ordinary tree-width, complemented tree-width, and the tree-independence number.

Let $B$ be a bidirected multigraph with signing $σ$, let $X$ be a set of vertices in $B$, and let $k$ be a non-negative integer. For any pair of vertex sets $S,T\subset V(B)$ satisfying $X\cap S = X\cap T$, we denote by $B_{S,T}$ the multigraph with the same vertex set as $B$ and with edge set consisting of those edges $e$ of $B$ each of whose endvertices $v$ satisfies $v\notin S\cup T$ or $v\in S\setminus T$, $σ(v,e)=-$ or $v\in T\setminus S$, $σ(v,e)=+$. We prove that $B$ admits a set of $k$ pairwise disjoint $X$-paths if and only if for any $S,T\subseteq V(B)$ with $X\cap S = X\cap T$, the inequality $\left\lvert S\cap T \right\rvert +\sum \lfloor \tfrac{1}{2} \left\lvert V(C)\cap (X\cup S\cup T) \right\rvert \rfloor \geq k$ holds where the sum is indexed by the components of $B_{S,T}$. This result is a generalization of a result of Gallai from undirected graphs to bidirected ones. Furthermore, we will deduce from this a kind of an Erdős-Pósa property for $X$-paths in bidirected multigraphs.