Table of Contents
Fetching ...

Path degeneracy and applications

Y. Lin, P. Ossona de Mendez

TL;DR

This work analyzes how large girth in sparse graph classes enforces path-degeneracy, linking girth to structural sparsity across sub-exponential, polynomial, and minor-closed expansions. It provides explicit girth thresholds, notably via Lambert $W_{-1}$-based bounds, and shows these thresholds are tight up to constants; it also derives consequences for generalized arboricity, generalized acyclic chromatic indices, and weak coloring numbers, proving several conjectures for minor-closed classes. The methods combine shallow-minor density controls with path-reduction techniques to obtain linear growth rates in key parameters for high-girth graphs. The results have broad implications for structural graph theory and algorithmic applications on sparse graph classes, including tight bounds in $K_k$-minor-free settings and planarity-related instances.

Abstract

In this work, we relate girth and path-degeneracy in classes with sub-exponential expansion, with explicit bounds for classes with polynomial expansion and proper minor-closed classes that are tight up to a constant factor (and tight up to second order terms if a classical conjecture on existence of $g$-cages is verified). As an application, we derive bounds on the generalized acyclic indices, on the generalized arboricities, and on the weak coloring numbers of high-girth graphs in such classes. Along the way, we prove a conjecture proposed in [T.~Bartnicki et al., Generalized arboricity of graphs with large girth, Discrete Mathematics 342 (2019), no.~5, 1343--1350.], which asserts that, for every integer $k$, there is an integer $g(p,k)$ such that every $K_k$ minor-free graph with girth at least $g(p,k)$ has $p$-arboricity at most $p+1$.

Path degeneracy and applications

TL;DR

This work analyzes how large girth in sparse graph classes enforces path-degeneracy, linking girth to structural sparsity across sub-exponential, polynomial, and minor-closed expansions. It provides explicit girth thresholds, notably via Lambert -based bounds, and shows these thresholds are tight up to constants; it also derives consequences for generalized arboricity, generalized acyclic chromatic indices, and weak coloring numbers, proving several conjectures for minor-closed classes. The methods combine shallow-minor density controls with path-reduction techniques to obtain linear growth rates in key parameters for high-girth graphs. The results have broad implications for structural graph theory and algorithmic applications on sparse graph classes, including tight bounds in -minor-free settings and planarity-related instances.

Abstract

In this work, we relate girth and path-degeneracy in classes with sub-exponential expansion, with explicit bounds for classes with polynomial expansion and proper minor-closed classes that are tight up to a constant factor (and tight up to second order terms if a classical conjecture on existence of -cages is verified). As an application, we derive bounds on the generalized acyclic indices, on the generalized arboricities, and on the weak coloring numbers of high-girth graphs in such classes. Along the way, we prove a conjecture proposed in [T.~Bartnicki et al., Generalized arboricity of graphs with large girth, Discrete Mathematics 342 (2019), no.~5, 1343--1350.], which asserts that, for every integer , there is an integer such that every minor-free graph with girth at least has -arboricity at most .

Paper Structure

This paper contains 10 sections, 19 theorems, 27 equations, 3 figures.

Key Result

Theorem 1.1

Let $\mathscr C$ be a class with sub-exponential expansion. Then, for every integer $p$ there exists an integer $g_p$ such that every graph $G\in\mathscr C$ with girth at least $g_p$ is $p$-path degenerate.

Figures (3)

  • Figure 1: Construction of a $p$-path degenerate graph
  • Figure 2: A $p$-reducible graph and a $p$-irreducible graph
  • Figure 3: A subdivision of the complete graph $K_4$.

Theorems & Definitions (31)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Conjecture 1.3
  • Conjecture 1.4: B1978
  • Theorem 1.5
  • Theorem 1.6
  • Conjecture 1.6
  • Conjecture 1.6
  • Conjecture 1.6: BBCFGM2019
  • ...and 21 more