The Lasserre hierarchy in
Approximation algorithms
Lecture Notes for the MAPSP 2013 Tutorial
Preliminary version∗
Thomas Rothvoß
June 24, 2013
Abstract
The Lasserre hierarchy is a systematic procedure to strengthen a relaxation for
an optimization problem by adding additional variables and SDP constraints. In
the last years this hierarchy moved into the focus of researchers in approximation
algorithms as the obtain relaxations have provably nice properties. In particular
on the t -th level, the relaxation can be solved in time n O(t ) and every constraint that
one could derive from looking just at t variables is automatically satisfied. Addition-
ally, it provides a vector embedding of events so that probabilities are expressable
as inner products.
The goal of these lecture notes is to give short but rigorous proofs of all key prop-
erties of the Lasserre hierarchy. In the second part we will demonstrate how the
Lasserre SDP can be applied to (mostly NP-hard) optimization problems such as
K NAPSACK, M ATCHING, M AXC UT (in general and in dense graphs), 3-C OLORING and
S ET C OVER.
Contents
1 Introduction 2
2 Properties of the Lasserre hierarchy 3
2.1 Definition of Lasserre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 Some basic properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.3 Writing y as a convex combination . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.4 Locally consistent probability distributions . . . . . . . . . . . . . . . . . . . . 10
∗ I’m still fixing mistake and extending this document. If you spot any non-trivial flaw, I would be glad for
any feedback. My email address is [email protected].