SOS lower bounds with hard constraints: think global, act local
ITCS, Volume abs/1809.01207, 2019.
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 pseudoexpectation of the function was shown to have some value $beta$, it did not necessarily actually satisfy...More
Full Text (Upload PDF)
PPT (Upload PPT)