Three Results on Generalized Quasikernels in Digraphs

A $q$-kernel of a digraph $D$ is an independent set $Q\subseteq D$ such that every vertex of $D$ is reachable from $Q$ by a directed path of length at most $q$, which is a natural generalization of kernels and quasikernels. In this paper, we establish three results on generalized quasikernels. Firstly, we prove that any $n$-vertex source-free bipartite oriented graph with no directed 4-cycles has a quasikernel of size at most $17n\mathrm{/}35$. Secondly, we show that every digraph with no $(r-1)$-source set contains $r$ pairwise disjoint $(3r-2)$-kernels, where $r\ge 2$. At last, we consider unicyclic digraph with a directed cycle of length $2\mathrm{\ell }$ and bipartition $U\cup V$, and we prove that for every odd integer $q\ge 3$, there exist two $q$-kernels $Q_U\subseteq U$ and $Q_V\subseteq V$ such that $$\mathrm{\mid }{Q}_U\mathrm{\mid }+\mathrm{\mid }{Q}_V\mathrm{\mid }\le 2\cdot \frac{\lceil \mathrm{\ell }\mathrm{/}(q+1)\rceil }{\mathrm{\ell }}\mathrm{\mid }V(D)\mathrm{\mid }\mathrm{.}$$ These results confirm two conjectures and give an affirmative answer to a question posed by Spiro in European Journal of Combinatorics 133 (2026), 104307.