Matches in SemOpenAlex for { <https://semopenalex.org/work/W2748623618> ?p ?o ?g. }
- W2748623618 abstract "Author(s): Weitz, Benjamin | Advisor(s): Raghavendra, Prasad | Abstract: Semidenite programming (SDP) relaxations have been a popular choice for approximationalgorithm design ever since Goemans and Williamson used one to improve the best approximationof Max-Cut in 1992. In the effort to construct stronger and stronger SDP relaxations,the Sum-of-Squares (SOS) or Lasserre hierarchy has emerged as the most promisingset of relaxations. However, since the SOS hierarchy is relatively new, we still do not knowthe answer to even very basic questions about its power. For example, we do not even knowwhen the SOS SDP is guaranteed to run correctly in polynomial time!In this dissertation, we study the SOS hierarchy and make positive progress inunderstanding the above question, among others. First, we give a sufficient, simple criteriawhich implies that an SOS SDP will run in polynomial time, as well as confirm that ourcriteria holds for a number of common applications of the SOS SDP. We also present anexample of a Boolean polynomial system which has SOS certificates that require exponential time to find, even though the certificates are degree two. This answers a conjecture of [54].Second, we study the power of the SOS hierarchy relative to other symmetric SDP relaxationsof comparable size. We show that in some situations, the SOS hierarchy achievesthe best possible approximation among every symmetric SDP relaxation. In particular, weshow that the SOS SDP is optimal for the Matching problem. Together with an SOS lowerbound due to Grigoriev [32], this implies that the Matching problem has no subexponentialsize symmetric SDP relaxation. This can be viewed as an SDP analogy of Yannakakis'original symmetric LP lower bound [72].As a key technical tool, our results make use of low-degree certificates of ideal membershipfor the polynomial ideal formed by polynomial constraints. Thus an important step in ourproofs is constructing certificates for arbitrary polynomials in the corresponding constraintideals. We develop a meta-strategy for exploiting symmetries of the underlying combinatorialproblem. We apply our strategy to get low-degree certificates for Matching, Balanced CSP, TSP, and others." @default.
- W2748623618 created "2017-08-31" @default.
- W2748623618 creator A5067283662 @default.
- W2748623618 date "2017-01-01" @default.
- W2748623618 modified "2023-09-24" @default.
- W2748623618 title "Polynomial Proof Systems, Effective Derivations, and their Applications in the Sum-of-Squares Hierarchy" @default.
- W2748623618 cites W1028870867 @default.
- W2748623618 cites W1550811836 @default.
- W2748623618 cites W1593162480 @default.
- W2748623618 cites W1601503375 @default.
- W2748623618 cites W1652247329 @default.
- W2748623618 cites W1754192177 @default.
- W2748623618 cites W1755753347 @default.
- W2748623618 cites W1859301526 @default.
- W2748623618 cites W1899379166 @default.
- W2748623618 cites W1966002503 @default.
- W2748623618 cites W1981566278 @default.
- W2748623618 cites W1985123706 @default.
- W2748623618 cites W1986219860 @default.
- W2748623618 cites W1999590989 @default.
- W2748623618 cites W2002025272 @default.
- W2748623618 cites W2004746351 @default.
- W2748623618 cites W2013380563 @default.
- W2748623618 cites W2013504313 @default.
- W2748623618 cites W2022749269 @default.
- W2748623618 cites W2031923588 @default.
- W2748623618 cites W2033515640 @default.
- W2748623618 cites W2033871299 @default.
- W2748623618 cites W2034027554 @default.
- W2748623618 cites W2038907843 @default.
- W2748623618 cites W2051634716 @default.
- W2748623618 cites W2053885701 @default.
- W2748623618 cites W2061987651 @default.
- W2748623618 cites W2077658979 @default.
- W2748623618 cites W2088844265 @default.
- W2748623618 cites W2098642112 @default.
- W2748623618 cites W2107052785 @default.
- W2748623618 cites W2110871651 @default.
- W2748623618 cites W2120358419 @default.
- W2748623618 cites W2133404041 @default.
- W2748623618 cites W2151395725 @default.
- W2748623618 cites W2151417917 @default.
- W2748623618 cites W2163846023 @default.
- W2748623618 cites W2177090493 @default.
- W2748623618 cites W2323554188 @default.
- W2748623618 cites W2594905747 @default.
- W2748623618 cites W2773609948 @default.
- W2748623618 cites W27930116 @default.
- W2748623618 cites W2951982454 @default.
- W2748623618 cites W2963595633 @default.
- W2748623618 cites W2964064174 @default.
- W2748623618 hasPublicationYear "2017" @default.
- W2748623618 type Work @default.
- W2748623618 sameAs 2748623618 @default.
- W2748623618 citedByCount "3" @default.
- W2748623618 countsByYear W27486236182019 @default.
- W2748623618 countsByYear W27486236182021 @default.
- W2748623618 crossrefType "journal-article" @default.
- W2748623618 hasAuthorship W2748623618A5067283662 @default.
- W2748623618 hasConcept C101901036 @default.
- W2748623618 hasConcept C105795698 @default.
- W2748623618 hasConcept C111472728 @default.
- W2748623618 hasConcept C114614502 @default.
- W2748623618 hasConcept C118615104 @default.
- W2748623618 hasConcept C126255220 @default.
- W2748623618 hasConcept C134306372 @default.
- W2748623618 hasConcept C138885662 @default.
- W2748623618 hasConcept C15744967 @default.
- W2748623618 hasConcept C162324750 @default.
- W2748623618 hasConcept C165064840 @default.
- W2748623618 hasConcept C2776029896 @default.
- W2748623618 hasConcept C2780586882 @default.
- W2748623618 hasConcept C2780990831 @default.
- W2748623618 hasConcept C311688 @default.
- W2748623618 hasConcept C31170391 @default.
- W2748623618 hasConcept C33923547 @default.
- W2748623618 hasConcept C34447519 @default.
- W2748623618 hasConcept C49847556 @default.
- W2748623618 hasConcept C77805123 @default.
- W2748623618 hasConcept C90119067 @default.
- W2748623618 hasConceptScore W2748623618C101901036 @default.
- W2748623618 hasConceptScore W2748623618C105795698 @default.
- W2748623618 hasConceptScore W2748623618C111472728 @default.
- W2748623618 hasConceptScore W2748623618C114614502 @default.
- W2748623618 hasConceptScore W2748623618C118615104 @default.
- W2748623618 hasConceptScore W2748623618C126255220 @default.
- W2748623618 hasConceptScore W2748623618C134306372 @default.
- W2748623618 hasConceptScore W2748623618C138885662 @default.
- W2748623618 hasConceptScore W2748623618C15744967 @default.
- W2748623618 hasConceptScore W2748623618C162324750 @default.
- W2748623618 hasConceptScore W2748623618C165064840 @default.
- W2748623618 hasConceptScore W2748623618C2776029896 @default.
- W2748623618 hasConceptScore W2748623618C2780586882 @default.
- W2748623618 hasConceptScore W2748623618C2780990831 @default.
- W2748623618 hasConceptScore W2748623618C311688 @default.
- W2748623618 hasConceptScore W2748623618C31170391 @default.
- W2748623618 hasConceptScore W2748623618C33923547 @default.
- W2748623618 hasConceptScore W2748623618C34447519 @default.
- W2748623618 hasConceptScore W2748623618C49847556 @default.
- W2748623618 hasConceptScore W2748623618C77805123 @default.