Table of Contents
Fetching ...

Erdős-Pósa property of $A$-paths in unoriented group-labelled graphs

O-joung Kwon, Youngho Yoo

TL;DR

The paper addresses the Erdős-Pósa property for $A$-paths in unoriented group-labelled graphs and identifies the obstructions to both the half-integral and full versions of the property. It proves that for any finite abelian group $Γ$ and subset $Λ\subseteq Γ$, the family of $Λ$-allowable $A$-paths satisfies the half-integral Erdős-Pósa property, and it provides a precise Erdős-Pósa condition on $Λ$ that characterizes when the full property holds. Central to the approach is a structure theorem that reduces non-packing instances to special $igl(A,kigr)$-ribboned walls built from balanced walls and handlebars, together with careful use of walls, handlebars, and tangles. The results extend and unify prior work on cycles and labeled paths, offering a constructive, computable bound and a framework for broader endpoint-constraint families, with potential extensions to certain infinite-group settings. Overall, the work advances the understanding of how label-based obstructions control packing and transversal properties in group-labelled graphs, with implications for related extremal and topological graph theory questions.

Abstract

We characterize the obstructions to the Erdős-Pósa property of $A$-paths in unoriented group-labelled graphs. As a result, we prove that for every finite abelian group $Γ$ and for every subset $Λ$ of $Γ$, the family of $Γ$-labelled $A$-paths whose lengths are in $Λ$ satisfies the half-integral Erdős-Pósa property. Moreover, we give a characterization of such $Γ$ and $Λ\subseteqΓ$ for which the same family of $A$-paths satisfies the full Erdős-Pósa property.

Erdős-Pósa property of $A$-paths in unoriented group-labelled graphs

TL;DR

The paper addresses the Erdős-Pósa property for -paths in unoriented group-labelled graphs and identifies the obstructions to both the half-integral and full versions of the property. It proves that for any finite abelian group and subset , the family of -allowable -paths satisfies the half-integral Erdős-Pósa property, and it provides a precise Erdős-Pósa condition on that characterizes when the full property holds. Central to the approach is a structure theorem that reduces non-packing instances to special -ribboned walls built from balanced walls and handlebars, together with careful use of walls, handlebars, and tangles. The results extend and unify prior work on cycles and labeled paths, offering a constructive, computable bound and a framework for broader endpoint-constraint families, with potential extensions to certain infinite-group settings. Overall, the work advances the understanding of how label-based obstructions control packing and transversal properties in group-labelled graphs, with implications for related extremal and topological graph theory questions.

Abstract

We characterize the obstructions to the Erdős-Pósa property of -paths in unoriented group-labelled graphs. As a result, we prove that for every finite abelian group and for every subset of , the family of -labelled -paths whose lengths are in satisfies the half-integral Erdős-Pósa property. Moreover, we give a characterization of such and for which the same family of -paths satisfies the full Erdős-Pósa property.

Paper Structure

This paper contains 19 sections, 28 theorems, 12 equations, 1 figure.

Key Result

Theorem 1.1

Let $\Gamma$ be a finite abelian group and let $\Lambda\subseteq \Gamma$. Let $\mathcal{F}$ denote the family of $\Lambda$-allowable $A$-paths. Then

Figures (1)

  • Figure 1: The black vertices constitute $A$ and all edges are labelled 0 unless otherwise indicated. If $\Lambda$ does not satisfy \ref{['item:ep1']}, then every $\Lambda$-allowable $A$-path in (\ref{['fig:obs1']}) has one endpoint on the left and one on the right and contains at least one of the top edges labelled $c$. If $\Lambda$ does not satisfy \ref{['item:ep2']}, then every $\Lambda$-allowable $A$-path in (\ref{['fig:obs2']}) has both endpoints on the left and contains at least one edge labelled $c$ and at least one edge labelled $b$. In either case, no two $\Lambda$-allowable $A$-paths are disjoint.

Theorems & Definitions (48)

  • Theorem 1.1
  • Conjecture 1.2
  • Proposition 1.3
  • proof
  • Theorem 1.4: thomas2023packingApaths
  • Lemma 2.1: thomas2023packingCycles
  • Lemma 2.2: thomas2023packingCycles
  • Lemma 2.3: wollan2010packing
  • Lemma 2.4: gollin2024unified
  • Lemma 2.5: huynh2019unified
  • ...and 38 more