1: \begin{abstract}

2: We investigate a hierarchy of semidefinite bounds $\vartheta^{(r)}(G)$ for the stability number $\alpha(G)$ of a graph $G$, based on its copositive programming formulation and  introduced by 

3:  de Klerk and Pasechnik [{\em SIAM J. Optim.} 12 (2002), pp.875--892], who conjectured  convergence to $\alpha(G)$ in $r=\alpha(G)-1$ steps. Even the weaker conjecture claiming finite convergence is still open.  We establish links between this hierarchy and sum-of-squares hierarchies based on the Motzkin-Straus formulation of $\alpha(G)$, which we use to show finite convergence when $G$ is acritical, i.e., when $\alpha(G\setminus e)=\alpha(G)$ for all edges $e$ of $G$. 

4: This relies, in particular, on  understanding the structure of the  minimizers of Motzkin-Straus formulation and showing that their number is finite precisely when $G$ is acritical. As a byproduct we show that deciding whether a standard quadratic program has finitely many minimizers does not admit a polynomial-time algorithm unless P=NP.% We also investigate the structure of the graphs satisfying $\vartheta^{(0)}(G)=\alpha(G)$. In particular,  we give an algorithmic procedure that reduces the task of testing this property to the class of acritical graphs, and 

5: %we show that a critical graph $G$ has this property if and only if it can be covered by $\alpha(G)$ cliques.

6: \end{abstract}

7: