Kürzlich habe ich mehrere Artikel über arxiv gesehen, die sich auf ein Beweissystem beziehen, das als Quadratsumme bezeichnet wird. Kann jemand erklären, was ein Quadratsummenbeweis ist und warum solche Beweise wichtig / interessant sind? In welcher Beziehung stehen sie zu anderen algebraischen...
Ich habe etwas über die Quadratsummenmethode (SOS) aus der Umfrage von Barak & Steurer und den Vorlesungsunterlagen von Barak gelesen . In beiden Fällen werden Probleme mit der numerischen Genauigkeit unter den Teppich gekehrt. Nach meinem (zugegebenermaßen eingeschränkten) Verständnis der...
Ich konnte in der Literatur keine genaue Charakterisierung des Verschwindens der SDP-Dualitätslücke finden. Oder wann gilt "starke Dualität"? Wenn man zum Beispiel zwischen dem Lasserre und dem SOS SDP hin und her geht, hat man im Prinzip eine Dualitätslücke. Irgendwie scheint es jedoch einen...