Perguntas com a marcação «sum-of-squares»

Recentemente, vi vários artigos sobre o arxiv que se referem a um sistema de prova chamado soma de quadrados. Alguém pode explicar o que é uma prova de soma de quadrados e por que essas provas são importantes / interessantes? Como eles estão relacionados a outros sistemas de provas algébricas? …

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

Eu tenho lido um pouco sobre o método da soma dos quadrados (SOS) da pesquisa de Barak & Steurer e das notas de aula de Barak . Nos dois casos, eles varrem questões de precisão numérica para baixo do tapete. Do meu entendimento (reconhecidamente limitado) do método, o seguinte deve …

13 optimization  sum-of-squares 

Não pude encontrar na literatura uma caracterização precisa do desaparecimento da lacuna de dualidade do SDP. Ou quando é que a "forte dualidade" se aplica? Por exemplo, quando se vai e volta entre o Lasserre e o SOS SDP, em princípio, há uma lacuna de dualidade. No entanto, de alguma …

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