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.

Counting orientations of random graphs with no directed k-cycles

On oriented cycles in randomly perturbed digraphs

Large Degree Vertices in Longest Cycles of Graphs, II

Orientations of graphs with at most one directed path between every pair of vertices

Cycle-factors in oriented graphs

Nodal count for a random signing of a graph with disjoint cycles

The distribution of the length of the longest path in random acyclic orientations of a complete bipartite graph

Counting Kernels in Directed Graphs with Arbitrary Orientations

Counting subgraphs in locally dense graphs

Asymptotic Enumeration of Orientations of a Graph as a Function of the Out-Degree Sequence

Cycle‐factors in oriented graphs

A strengthening on consecutive odd cycles in graphs of given minimum degree

Alternating paths in oriented graphs with large semidegree

On graphs without cycles of length 0 modulo 4

Counting circuit double covers

Minimum degree conditions for the existence of cycles of all lengths modulo $k$ in graphs

A coarse Erdős-Pósa theorem

Highly connected orientations from edge-disjoint rigid subgraphs

Kohayakawa-Nagle-R{ö}dl-Schacht conjecture for subdivisions

On extremal factors of de Bruijn-like graphs