Abstract:An \emph{induced packing} of cycles in a graph is a set of vertex-disjoint cycles with no edges between them. We generalise the classic Erdős-Pósa theorem to induced packings of cycles. More specifically, we show that there exists a function ${f(k) = \mathcal{O}(k \log k)}$ such that for every positive integer ${k}$, every graph $G$ contains either an induced packing of $k$ cycles or a set $X$ of at most~${f(k)}$ vertices such that the closed neighbourhood of $X$ intersects all cycles in $G$. Our proof is constructive and yields a polynomial-time algorithm finding either the induced packing of cycles or the set $X$. Furthermore, we show that for every positive integer ${d}$, if a graph $G$ does not contain two cycles at distance more than $d$, then $G$ contains sets $X_1,X_2\subseteq V(G)$ with $\lvert {X_1} \rvert \leq12(d+1)$ and $\lvert {X_2} \rvert \leq12$ such that after removing the ball of radius $2d$ around $X_1$ or the ball of radius $3d$ around $X_2$, the resulting graphs are forests. As a corollary, we prove that every graph with no $K_{1,t}$ induced subgraph and no induced packing of $k$ cycles has tree-independence number at most $\mathcal{O}(tk\log k)$, and one can construct a corresponding tree-decomposition in polynomial time. This resolves a special case of a conjecture of Dallard et al. (<a class="link-https" data-arxiv-id="2402.11222" href="https://arxiv.org/abs/2402.11222">arXiv:2402.11222</a>), and implies that on such graphs, many NP-hard problems, such as Maximum Weight Independent Set, Maximum Weight Induced Matching, Graph Homomorphism, and Minimum Weight Feedback Vertex Set, are solvable in polynomial time. On the other hand, we show that the class of all graphs with no $K_{1,3}$ induced subgraph and no two cycles at distance more than $2$ has unbounded tree-independence number.

Towards a conjecture of Birmelé-Bondy-Reed on the Erdős-Pósa property of long cycles

A unified half‐integral Erdős–Pósa theorem for cycles in graphs labelled by multiple abelian groups

Erdős-Gyárfás conjecture on graphs without long induced paths

Longest cycles in vertex-transitive and highly connected graphs

Longest Cycle above Erdős–Gallai Bound

Eigenvalues and Cycles of Consecutive Lengths

Erdős-Pósa property of cycles that are far apart

Vertex-disjoint Properly Edge-Colored Cycles in Edge-Colored Complete Graphs.

Large Degree Vertices in Longest Cycles of Graphs, II

Extremal Problems of Erdős, Faudree, Schelp and Simonovits on Paths and Cycles

Stability of Woodall's Theorem and Spectral Conditions for Large Cycles.

Cyclability of Id-Cycles in Graphs

On graphs without cycles of length 0 modulo 4

Vertex-disjoint cycles of different lengths in tournaments

On two cycles of consecutive even lengths

Cycle Extension in Edge-Colored Complete Graphs

Vertex-disjoint chorded cycles in a graph

Erdős-Gyárfás Conjecture for $P_{10}$-free Graphs

An implicit degree condition for long cycles in 2-connected graphs

A Strengthening of Erdős-Gallai Theorem and Proof of Woodall's Conjecture

A coarse Erdős-Pósa theorem