Récemment, j'ai vu plusieurs articles sur arxiv qui se réfèrent à un système de preuve appelé somme des carrés. Quelqu'un peut-il expliquer ce qu'est une preuve de somme des carrés et pourquoi ces preuves sont importantes / intéressantes? Comment sont-ils liés à d'autres systèmes de preuve...
J'ai lu un peu sur la méthode de la somme des carrés (SOS) de l' enquête de Barak & Steurer et les notes de cours de Barak . Dans les deux cas, ils balaient les problèmes de précision numérique sous le tapis. D'après ma compréhension (certes limitée) de la méthode, ce qui suit devrait être...
Je n'ai pas pu trouver dans la littérature une caractérisation précise de la disparition de l'écart de dualité SDP. Ou, quand la "forte dualité" tient-elle? Par exemple, quand on va et vient entre le Lasserre et le SOS SDP, on a en principe un écart de dualité. Cependant, d'une manière ou d'une...