English
Related papers

Related papers: Tight Lower Bounds for Planted Clique in the Degre…

200 papers

We exhibit families of $4$-CNF formulas over $n$ variables that have sums-of-squares (SOS) proofs of unsatisfiability of degree (a.k.a. rank) $d$ but require SOS proofs of size $n^{\Omega(d)}$ for values of $d = d(n)$ from constant all the…

Computational Complexity · Computer Science 2015-04-08 Massimo Lauria , Jakob Nordström

We prove that with high probability over the choice of a random graph $G$ from the Erd\H{o}s-R\'enyi distribution $G(n,1/2)$, a natural $n^{O(\varepsilon^2 \log n)}$-time, degree $O(\varepsilon^2 \log n)$ sum-of-squares semidefinite program…

Computational Complexity · Computer Science 2021-05-18 Pravesh K. Kothari , Peter Manohar

This paper establishes a statistical versus computational trade-off for solving a basic high-dimensional machine learning problem via a basic convex relaxation method. Specifically, we consider the {\em Sparse Principal Component Analysis}…

Machine Learning · Computer Science 2015-10-20 Tengyu Ma , Avi Wigderson

We prove that for $k \ll \sqrt[4]{n}$ regular resolution requires length $n^{\Omega(k)}$ to establish that an Erd\H{o}s-R\'enyi graph with appropriately chosen edge density does not contain a $k$-clique. This lower bound is optimal up to…

Computational Complexity · Computer Science 2020-12-18 Albert Atserias , Ilario Bonacina , Susanna F. de Rezende , Massimo Lauria , Jakob Nordström , Alexander Razborov

We consider a variant of the clustering problem for a complete weighted graph. The aim is to partition the nodes into clusters maximizing the sum of the edge weights within the clusters. This problem is known as the clique partitioning…

Social and Information Networks · Computer Science 2023-09-15 Alexander Belyi , Stanislav Sobolevsky , Alexander Kurbatski , Carlo Ratti

The vertex expansion of the graph is a fundamental graph parameter. Given a graph $G=(V,E)$ and a parameter $\delta \in (0,1/2]$, its $\delta$-Small-Set Vertex Expansion (SSVE) is defined as \[ \min_{S : |S| = \delta |V|}…

Data Structures and Algorithms · Computer Science 2023-11-29 Suprovat Ghoshal , Anand Louis

In the $d$-Scattered Set problem we are asked to select at least $k$ vertices of a given graph, so that the distance between any pair is at least $d$. We study the problem's (in-)approximability and offer improvements and extensions of…

Computational Complexity · Computer Science 2019-10-15 Ioannis Katsikarelis , Michael Lampis , Vangelis Th. Paschos

Several probabilistic models from high-dimensional statistics and machine learning reveal an intriguing --and yet poorly understood-- dichotomy. Either simple local algorithms succeed in estimating the object of interest, or even…

Discrete Mathematics · Computer Science 2016-10-19 Zhou Fan , Andrea Montanari

Denote by $A$ the adjacency matrix of an Erdos-Renyi graph with bounded average degree. We consider the problem of maximizing $\langle A-E\{A\},X\rangle$ over the set of positive semidefinite matrices $X$ with diagonal entries $X_{ii}=1$.…

Discrete Mathematics · Computer Science 2015-12-25 Andrea Montanari , Subhabrata Sen

In this paper, we study the Planted Clique problem in a semi-random model. Our model is inspired from the Feige-Kilian model [16] which has been studied in many other works [8,11,17,26,35,38] for a variety of graph problems. Our algorithm…

Data Structures and Algorithms · Computer Science 2025-12-09 Yash Khanna

The problem of computing the vertex expansion of a graph is an NP-hard problem. The current best worst-case approximation guarantees for computing the vertex expansion of a graph are a $O(\sqrt{\log n})$-approximation algorithm due to…

Data Structures and Algorithms · Computer Science 2018-05-25 Anand Louis , Rakesh Venkat

The node-averaged complexity of a distributed algorithm running on a graph $G=(V,E)$ is the average over the times at which the nodes $V$ of $G$ finish their computation and commit to their outputs. We study the node-averaged complexity for…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-08-18 Alkida Balliu , Mohsen Ghaffari , Fabian Kuhn , Dennis Olivetti

We introduce a method for proving lower bounds on the efficacy of semidefinite programming (SDP) relaxations for combinatorial problems. In particular, we show that the cut, TSP, and stable set polytopes on $n$-vertex graphs are not the…

Computational Complexity · Computer Science 2014-11-25 James R. Lee , Prasad Raghavendra , David Steurer

In this paper we study the computational-statistical gap of the planted clique problem, where a clique of size $k$ is planted in an Erdos Renyi graph $G(n,\frac{1}{2})$ resulting in a graph $G\left(n,\frac{1}{2},k\right)$. The goal is to…

Statistics Theory · Mathematics 2020-01-01 David Gamarnik , Ilias Zadik

We consider the problem of detecting a planted clique of size $k$ in a random graph on $n$ vertices. When the size of the clique exceeds $\Theta(\sqrt{n})$, polynomial-time algorithms for detection proliferate. We study faster -- namely,…

Data Structures and Algorithms · Computer Science 2024-02-09 Jay Mardia , Kabir Aladin Verchand , Alexander S. Wein

In this paper, we study the problem of finding a collection of planted cycles in an \ER random graph $G \sim \mathcal{G}(n, \lambda/n)$, in analogy to the famous Planted Clique Problem. When the cycles are planted on a uniformly random…

Statistics Theory · Mathematics 2025-11-07 Julia Gaudio , Colin Sandon , Jiaming Xu , Dana Yang

Consider an Erd\"os-Renyi random graph in which each edge is present independently with probability 1/2, except for a subset $\sC_N$ of the vertices that form a clique (a completely connected subgraph). We consider the problem of…

Probability · Mathematics 2013-04-29 Yash Deshpande , Andrea Montanari

Many previous Sum-of-Squares (SOS) lower bounds for CSPs had two deficiencies related to global constraints. First, they were not able to support a "cardinality constraint", as in, say, the Min-Bisection problem. Second, while the…

Data Structures and Algorithms · Computer Science 2018-09-06 Pravesh Kothari , Ryan O'Donnell , Tselil Schramm

We formulate a new hardness assumption, the Strongish Planted Clique Hypothesis (SPCH), which postulates that any algorithm for planted clique must run in time $n^{\Omega(\log{n})}$ (so that the state-of-the-art running time of $n^{O(\log…

Computational Complexity · Computer Science 2020-11-12 Pasin Manurangsi , Aviad Rubinstein , Tselil Schramm

We investigate the computation of minimum-cost spanning trees satisfying prescribed vertex degree constraints: Given a graph $G$ and a constraint function $D$, we ask for a (minimum-cost) spanning tree $T$ such that for each vertex $v$, $T$…

Data Structures and Algorithms · Computer Science 2026-05-05 Narek Bojikian , Alexander Firbas , Robert Ganian , Hung P. Hoang , Krisztina Szilágyi