Definability of semidefinite programming and lasserre lower bounds for CSPs
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017
MetadataShow full item record
Dawar, A., & Wang, P. (2017). Definability of semidefinite programming and lasserre lower bounds for CSPs. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, 1-12. https://doi.org/10.1109/LICS.2017.8005108
We show that the ellipsoid method for solving semidefinite programs (SDPs) can be expressed in fixed-point logic with counting (FPC). This generalizes an earlier result that the optimal value of a linear program can be expressed in this logic. As an application, we establish lower bounds on the number of levels of the Lasserre hierarchy required to solve many optimization problems, namely those that can be expressed as finite-valued constraint satisfaction problems (VCSPs). In particular, we establish a dichotomy on the number of levels of the Lasserre hierarchy that are required to solve the problem exactly. We show that if a finite-valued constraint problem is not solved exactly by its basic linear programming relaxation, it is also not solved exactly by any sub-linear number of levels of the Lasserre hierarchy. The lower bounds are established through logical undefinability results. We show that the SDP corresponding to any fixed level of the Lasserre hierarchy is interpretable in a VCSP instance by means of FPC formulas. Our definability result of the ellipsoid method then implies that the solution of this SDP can be expressed in this logic. Together, these results give a way of translating lower bounds on the number of variables required in counting logic to express a VCSP into lower bounds on the number of levels required in the Lasserre hierarchy to eliminate the integrality gap. As a special case, we obtain the same dichotomy for the class of MAXCSP problems, generalizing earlier Lasserre lower bound results by Schoenebeck . Recently, and independently of the work reported here, a similar linear lower bound in the Lasserre hierarchy for general-valued CSPs has also been announced by Thapper and Zivny , using different techniques.
optimization, linear programming, standards, ellipsoids, symmetric matrices, programming, systematics
External DOI: https://doi.org/10.1109/LICS.2017.8005108
This record's URL: https://www.repository.cam.ac.uk/handle/1810/266746