Simon Dreyer | Searcharxiv

arXiv2026

Feedback vertex sets in oriented graphs

For an oriented graph $G$, denote by $fvs(G)$ the minimum number of vertices whose deletion from $G$ makes it acyclic. We show that an oriented graph $G$ on $n$ vertices and $m$ arcs satisfies $fvs(G) \le \frac{2n+m+h}{9}$ where $h$ denotes the number of connected components of $G$ that belong to a special class of oriented graphs. This result has three consequences. First, when $G$ is planar, we obtain that $fvs(G) \le \frac{2n+m}{9}$. In particular, this implies that $fvs(G) \le \frac{5n-6}{9}$ for any planar oriented graph $G$, improving the best known upper bound of $\frac{3n}{5}$~[Borodin, Discrete Mathematics, 1979]. Then, applying this inequality to the planar digraphs without directed triangles, we get that $fvs(G) \le \frac{6n-8}{13}$, which improves the current best bound of $\frac{n}{2}$~[Li and Mohar, SIAM Journal on Discrete Mathematics, 2017]. Finally, when $G$ has maximum degree 6, we have $fvs(G) \le \frac{4n}{7}$ and this bound is tight, answering a conjecture of Ai, Gutin, Liu, Yeo and Zhou~[arXiv:2512.01676, 2025].

math.CO↗

arXiv2026

Feedback vertex sets of planar digraphs with fixed digirth

Let $fvs(G)$ denote the size of a minimum feedback vertex set of a digraph $G$. We study $fvs_g(n)$, which is the maximum $fvs(G)$ over all $n$-vertex planar digraphs $G$ of digirth $g$. We prove a planar-digraph analogue of the celebrated Lucchesi-Younger theorem showing that the minimum feedback vertex set is at most the maximum packing of a special type of directed cycles. As a corollary, we derive that $fvs_g(n)\le \frac{n-2}{g-2}$ for all $g\geq 3$. This improves all previously known upper bounds for $g \ge 4$, and for $g \ge 6$ it supersedes the best known upper bound of $\frac{2n-6}{g}$ (Esperet, Lemoine and Maffray, 2017) by a factor of 2. On the other hand, we develop a new framework to construct planar digraphs of fixed digirth and large $fvs$. Using it, for $g = 6$ and every $g \ge 8$, we construct an infinite family of planar digraphs of digirth $g$ and $fvs(G) = \frac{g+2}{g^2} n + O(1)$. For $g= 7$, our construction gives $fvs(G) = \frac{2}{11} n + O(1)$ and for $g = 4$ and $5$, $fvs(G) = \frac{n}{g-1}$. These improve the best known lower bound of $\frac{n-1}{g-1}$ (Knauer, Valicov and Wenger, 2017) for all $g \ge 4$. We thus obtain the two-sided bound $\frac{g+2}{g^2} \le \sup_{n \ge 1} \frac{fvs_g(n)}{n} \le \frac{1}{g-2}$ for all values $g = 6$ and every $g \ge 8$. The gap between the lower and the upper bound for $\sup_{n \ge 1} \frac{fvs_g(n)}{n}$ decreases from $\frac{g-2}{g(g-1)}$ to $\frac{4}{g^2(g-2)}$.

math.CO↗