Недавно я видел несколько статей об arxiv, которые ссылаются на систему доказательств под названием сумма квадратов. Может кто-нибудь объяснить, что такое доказательство суммы квадратов и почему такие доказательства важны / интересны? Как они связаны с другими алгебраическими системами...
Я немного читал о методе суммы квадратов (SOS) из опроса Barak & Steurer и лекционных заметок Barak . В обоих случаях они охватывают вопросы числовой точности под ковриком. Из моего (по общему признанию ограниченного) понимания метода следует следующее: Для любой системы полиномиальных равенств...
Я не смог найти в литературе точную характеристику исчезновения разрыва двойственности СДП. Или когда держится «сильная двойственность»? Например, когда кто-то переходит между Лассерром и SDP SDP, в принципе у него есть пробел в дуальности. Однако, почему-то, кажется, есть какая-то «тривиальная»...