Linear Level Lasserre Lower Bounds for Certain k-CSPs

Grant Schoenebeck


Abstract

We show that for $k \geq 3$ even the Omega(n) level of the Lasserre hierarchy cannot disprove a random k-CSP instance over any predicate type implied by k-XOR constraints, for example k-SAT or k-XOR. (One constant is said to imply another if the latter is true whenever the former is. For example k-XOR constraints imply k-CNF constraints.) As a result the Omega(n) level Lasserre relaxation fails to approximate such CSPs better than the trivial, random algorithm. As corollaries, we obtain Omega(n) level integrality gaps for the Lasserre hierarchy of $7/6 - epislon$ for VertexCover, 2-epsilon for k-UniformHypergraphVertexCover, and any constant for k-UniformHypergraphIndependentSet. This is the first construction of a Lasserre integrality gap.

Our construction is notable for its simplicity. It simplifes, strengthens, and helps to explain several previous results.


Versions



 [ back to Grant's homepage]