Detecting High Log-Densities -- an O(n^1/4) Approximation for Densest k-Subgraph

TL;DR

This paper introduces an algorithm that approximates the Densest k-Subgraph problem within a ratio of n^(1/4+epsilon) in polynomial time, improving the understanding of dense subgraph detection.

Contribution

The authors present a novel algorithm achieving an n^(1/4+epsilon) approximation ratio for the densest k-subgraph problem, inspired by average-case analysis and graph counting techniques.

Findings

Achieves an O(n^1/4) approximation ratio in polynomial time.

Uses counting of small trees to identify dense subgraphs.

Matches the distinguishing ratio for a planted dense subgraph problem.

Abstract

In the Densest k-Subgraph problem, given a graph G and a parameter k, one needs to find a subgraph of G induced on k vertices that contains the largest number of edges. There is a significant gap between the best known upper and lower bounds for this problem. It is NP-hard, and does not have a PTAS unless NP has subexponential time algorithms. On the other hand, the current best known algorithm of Feige, Kortsarz and Peleg, gives an approximation ratio of n^(1/3-epsilon) for some specific epsilon > 0 (estimated at around 1/60). We present an algorithm that for every epsilon > 0 approximates the Densest k-Subgraph problem within a ratio of n^(1/4+epsilon) in time n^O(1/epsilon). In particular, our algorithm achieves an approximation ratio of O(n^1/4) in time n^O(log n). Our algorithm is inspired by studying an average-case version of the problem where the goal is to distinguish random graphs from graphs with planted dense subgraphs. The approximation ratio we achieve for the general case matches the distinguishing ratio we obtain for this planted problem. At a high level, our algorithms involve cleverly counting appropriately defined trees of constant size in G, and using these counts to identify the vertices of the dense subgraph. Our algorithm is based on the following principle. We say that a graph G(V,E) has log-density alpha if its average degree is Theta(|V|^alpha). The algorithmic core of our result is a family of algorithms that output k-subgraphs of nontrivial density whenever the log-density of the densest k-subgraph is larger than the log-density of the host graph.