arXiv++ Combinatorics

In a digraph $D$, a set $Q$ of vertices is a quasi-kernel if $Q$ is an independent set and every vertex in $D$ can be reached from $Q$ via at most two edges. The small quasi-kernel conjecture by Erdős and Székely predicts that every source-free $n$-vertex digraph contains a quasi-kernel of size at most $n - n/2$. Chvátal and Lovász' 1974 work implies a bound of $n - \sqrt{n}+1$. In 2024, Sprio shows the bound $n - \frac{1}{4} \sqrt{n \log_2 n}$. We show that there always is a quasi-kernel of size at most $n - \frac{1}{51}n^{2/3} / \ln^{2/3}(n)$. For the related large quasi-kernel conjecture by Spiro, we show that there always is a quasi-kernel $Q$ with $|N^+[Q]| \ge 0.2917 \cdot n^{2/3} / \ln^{2/3}(n)$.

We show that every planar triangulation on $n>10$ vertices has a dominating set of size $n/7=n/3.5$. This approaches the $n/4$ bound conjectured by Matheson and Tarjan [MT'96], and improves significantly on the previous best bound of $17n/53\approx n/3.117$ by Špacapan [Š'20]. From our proof it follows that every 3-connected $n$-vertex near-triangulation (except for 3 sporadic examples) has a dominating set of size $n/3.5$. On the other hand, for 3-connected near-triangulations, we show a lower bound of $3(n-1)/11\approx n/3.666$, demonstrating that the conjecture by Matheson and Tarjan [MT'96] cannot be strengthened to 3-connected near-triangulations. Our proof uses a penalty function that, aside from the number of vertices, penalises vertices of degree 2 and specific constellations of neighbours of degree 3 along the boundary of the outer face. To facilitate induction, we not only consider near-triangulations, but a wider class of graphs (skeletal triangulations), allowing us to delete vertices more freely. Our main technical contribution is a set of attachments, that are small graphs we inductively attach to our graph, in order both to remember whether existing vertices are already dominated, and that serve as a tool in a divide and conquer approach. Along with a well-chosen potential function, we thus both remove and add vertices during the induction proof. We complement our proof with a constructive algorithm that returns a dominating set of size $\le 2n/7$. Our algorithm has a quadratic running time.