A sparsity matroid is a mathematical structure that captures how densely a multigraph is populated with edges. To unpack this a little, sparsity is a measure of density of a graph that bounds the number of edges in any subgraph. The property of having a particular matroid as its density measure is invariant under graph isomorphisms and so it is a graph invariant. The graphs we are concerned with generalise simple directed graphs by allowing multiple same-oriented edges between pairs of vertices. Matroids are a quite general mathematical abstraction that describe the amount of indepdendence in, variously, points in geometric space and paths in a graph; when applied to characterising sparsity, matroids describe certain sets of sparse graphs. These matroids are connected to the structural rigidity of graphs and their ability to be decomposed into edge-disjoint spanning trees via the Tutte and Nash-Williams theorem. There is a family of efficient algorithms, known as pebble games, for determining if a multigraph meets the given sparsity condition.
Definitions
( k , l ) {\displaystyle (k,l)} -sparse multigraph. A multigraph G = ( V , E ) {\displaystyle G=(V,E)} is ( k , l ) {\displaystyle (k,l)} -sparse, where k {\displaystyle k} and l {\displaystyle l} are non-negative integers, if for every subgraph G ′ = ( V ′ , E ′ ) {\displaystyle G'=(V',E')} of G {\displaystyle G} , we have | E ′ | ≤ k | V ′ | − l {\displaystyle |E'|\leq k|V'|-l} .
( k , l ) {\displaystyle (k,l)} -tight multigraph. A multigraph G = ( V , E ) {\displaystyle G=(V,E)} is ( k , l ) {\displaystyle (k,l)} -tight if it is ( k , l ) {\displaystyle (k,l)} -sparse and | E | = k | V | − l {\displaystyle |E|=k|V|-l} .
[ a , b ] {\displaystyle [a,b]} -sparse and tight multigraph. A multigraph G = ( V , E ∪ F ) {\displaystyle G=(V,E\cup F)} is [ a , b ] {\displaystyle [a,b]} -sparse if there exists a subset F ′ ⊂ F {\displaystyle F'\subset F} such that the subgraph G ′ = ( V , E ∪ F ′ ) {\displaystyle G'=(V,E\cup F')} is ( a , a ) {\displaystyle (a,a)} -sparse and the subgraph G ″ = ( V , F ∖ F ′ ) {\displaystyle G''=(V,F\setminus F')} is ( b , b ) {\displaystyle (b,b)} -sparse. The multigraph G {\displaystyle G} is [ a , b ] {\displaystyle [a,b]} -tight if, additionally, | E ∪ F | = ( a + b ) | V | − ( a + b ) {\displaystyle |E\cup F|=(a+b)|V|-(a+b)} .
… excerpt ends here. Continue reading the full article.




