Tightness of the planar face-cover bound

Determine whether the O(t^4) upper bound on the size of a face cover for a 3-connected plane rooted graph without a rooted K_{2,t} minor is tight.

Background

The paper proves that every 3-connected plane rooted graph without a rooted K_{2,t} minor admits a face cover of size O(t4). The authors also construct windmill graphs showing that every valid upper bound must be at least Ω(t2). Thus, the known bounds differ by a quadratic factor in their dependence on t, and the precise asymptotic growth of the optimal bound remains unresolved.

References

We do not know whether our bound of $f_{\ref{thm:planar}}(t) = O(t4)$ is tight.

Face covers and rooted minors in bounded genus graphs  (2503.09230 - Fiorini et al., 12 Mar 2025) in Section 1, Introduction, immediately after Theorem 1