Preguntas etiquetadas con sum-of-squares

Recientemente he visto varios artículos sobre arxiv que se refieren a un sistema de prueba llamado suma de cuadrados. ¿Alguien puede explicar qué es una prueba de suma de cuadrados y por qué esas pruebas son importantes / interesantes? ¿Cómo se relacionan con otros sistemas de prueba algebraica? ¿Son algún …

23 cc.complexity-theory  lo.logic  algebraic-complexity  proof-complexity  sum-of-squares 

He estado leyendo un poco sobre el método de suma de cuadrados (SOS) de la encuesta de Barak & Steurer y las notas de clase de Barak . En ambos casos, barren problemas de precisión numérica debajo de la alfombra. Desde mi comprensión (ciertamente limitada) del método, lo siguiente debería …

13 optimization  sum-of-squares 

No he podido encontrar en la literatura una caracterización precisa de la desaparición de la brecha de dualidad SDP. O, ¿cuándo se mantiene la "dualidad fuerte"? Por ejemplo, cuando uno va y viene entre Lasserre y SOS SDP, en principio uno tiene una brecha de dualidad. Sin embargo, de alguna …

10 approximation-hardness  convex-optimization  semidefinite-programming  sum-of-squares  primal-dual