We study the parameterized complexity of approximating the k -Dominating Set (domset) problem where an integer k and a graph G on n vertices are given as input, and the goal is to find a dominating set of size at most F ( k ) k whenever the graph G has a dominating set of size k . When such an algorithm runs in time T ( k ) p ol y ( n ) (i.e., FPT-time) for some computable function T , it is said to be an F ( k ) -FPT-approximation algorithm for k -domset. Whether such an algorithm exists is listed in the seminal book of Downey and Fellows (2013) as one of the "most infamous" open problems in Parameterized Complexity. This work gives an almost complete answer to this question by showing the non-existence of such an algorithm under W[1] = FPT and further providing tighter running time lower bounds under stronger hypotheses. Specifically, we prove the following for every computable functions T F and every constant 0"> 0 :

Assuming W[1] = FPT, there is no F ( k ) -FPT-approximation algorithm for k -domset. Assuming the Exponential Time Hypothesis (ETH), there is no F ( k ) -approximation algorithm for k -domset that runs in T ( k ) n o ( k ) time. Assuming the Strong Exponential Time Hypothesis (SETH), for every integer k 2 , there is no F ( k ) -approximation algorithm for k -domset that runs in T ( k ) n k − time. Assuming the k -sum Hypothesis, for every integer k 3 , there is no F ( k ) -approximation algorithm for k -domset that runs in T ( k ) n k 2 − time.