Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.17664

Hitting Minors: Stronger Lower Bounds

Jongseo Lee·Roohani Sharma·Sebastian Wiederrecht
View original source ↗Read source document ↗Export metadata ↓

Abstract

For a fixed finite collection of graphs $\mathcal{F}$, the $\mathcal{F}$-Minor-Free Deletion problem asks, given a graph $G$ and an integer $k$, whether there is a set $S\subseteq V(G)$ with $|S|\leq k$ such that $G-S$ contains no graph of $\mathcal{F}$ as a minor. This generalizes Vertex Cover, Feedback Vertex Set, and Vertex Planarization, among many others. Baste, Sau, and Thilikos [JCSS 2020, SICOMP 2023] showed that, assuming the Exponential Time Hypothesis (ETH), there are collections $\mathcal{F}$ for which the problem cannot be solved in time $2^{o(\mathrm{tw}\log\mathrm{tw})}n^{O(1)}$ on $n$-vertex graphs of treewidth $\mathrm{tw}$, and gave a matching algorithm. We ask whether this super-exponential dependence persists under more restrictive structural parameters. First, we strengthen their lower bound. Assuming ETH, for every fixed $h\geq 6$, $\{P_h\}$-Minor-Free Deletion, where $P_h$ is the path on $h$ vertices, cannot be solved in time $2^{o(t\log t)}n^{O(1)}$, where $t=\mathrm{fvs}+\mathrm{td}$ is the sum of the feedback vertex set number and treedepth of the input graph. These two parameters are incomparable, but both individually upper bound the treewidth. Together with the $2^{O(\mathrm{tw}\log\mathrm{tw})}n^{O(1)}$-time algorithm of Baste, Sau, and Thilikos [SICOMP 2023], our lower bound is tight. In contrast, we show that asymptotically faster algorithms are possible when parameterized by the vertex cover number $\mathrm{vc}$. Specifically, for any finite family $\mathcal{F}$, $\mathcal{F}$-Minor-Free Deletion can be solved in time $2^{O(\mathrm{vc})}n^{O(1)}$. Taken together, our results show that the boundary between single-exponential and super-exponential complexity for this problem lies between the vertex cover number and the feedback vertex set number (plus treedepth).

Explore related subjects

cs.DScs.CC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jongseo Lee, Roohani Sharma, Sebastian Wiederrecht. 2026-10-13. Hitting Minors: Stronger Lower Bounds. https://arxiv.org/abs/2610.17664

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Adding an Edge in a $P_4$-sparse Graph

For a graph family~${\cal F}$, the minimum ${\cal F}$-completion problem asks for the minimum number of non-edges to be added to a given graph~$G$ so that the resulting graph belongs to the family~${\cal F}$. This problem is NP-complete for many subclasses of perfect graphs, while polynomial solutions are available for minimal completion sets or restricted input. We study the minimum $P_4$-sparse completion problem that arises after adding a prescribed non-edge to a \(P_4\)-sparse graph \(G\), with the resulting graph required to remain \(P_4\)-sparse. For the case in which $G$ consists of two connected components, each containing one endpoint of the added non-edge, we characterize the possible forms of an optimal solution. Combining this characterization with the solution of the other cases identified by the structural decomposition of \(P_4\)-sparse graphs, we obtain an algorithm for the general problem that runs in $O(n^2)$ time and $O(n)$ space.

cs.DS↗
arXiv2026

Optimal Extrapolation Bounds for Sparse Fourier Sums

We prove a sharp extrapolation bound for $k$-sparse Fourier sums with arbitrary real frequencies and no separation assumption. For every $g(t)=\sum_{j=1}^k v_je^{iλ_jt}$ with $λ_j\in\mathbb{R}$ and every $x\geq 1$, \begin{align*} |g(x)|\le k\exp(O(k\operatorname{arcosh} x))\|g\|_{L^2[-1,1]}. \end{align*} Near the endpoint at $x=1+δ$, this gives an exponential factor of $\exp(O(k\sqrtδ))$, improving on the $\exp(O(k^2\log k\cdotδ))$ estimate of Chen and Price (ICALP 2019), and the exponent is optimal up to a constant factor. Our theorem has algorithmic applications to recovering gapless Fourier-sparse signals: it improves the resolution of cluster-location algorithms and the sample complexity of Fourier interpolation algorithms. In addition, it gives sharp bounds on the error transfer of sparse Fourier models just outside the training interval.

cs.DS↗
arXiv2026

Stochastic Network Speed Scaling with Competitive Ratios Independent of the Network

In network speed scaling, jobs arrive over time at a network of servers whose speeds can be tuned, every job must be processed by the servers along one of its allowed routes, and the goal is to minimize the total flow time plus the total energy. For stochastic arrivals, the competitive ratio of Vaze and Nair depends on the network, through the lengths of the routes it uses. We show that this dependence can be removed: we give an algorithm, which routes the jobs by solving a convex program and runs every server at a fixed speed, whose competitive ratio depends only on the power functions; for $P(s)=s^2$, it is at most the golden ratio $φ\approx1.618$. The key idea is a lower bound on the optimal cost which, like the cost of our algorithm, is a sum over the servers of a function of each server's load, so the analysis reduces to a single server. We also show that the routing rule of Vaze and Nair can be a factor $Ω(L)$ away from optimal, where $L$ is the length of the longest route.

cs.DS↗