Baru-baru ini saya telah melihat beberapa artikel tentang arxiv yang merujuk pada sistem bukti yang disebut sum-of-square. Dapatkah seseorang menjelaskan apa yang merupakan bukti jumlah kotak dan mengapa bukti semacam itu penting / menarik? Bagaimana mereka terkait dengan sistem bukti aljabar...
Saya telah membaca sedikit tentang metode sum-of-square (SOS) dari survei Barak & Steurer dan catatan kuliah Barak . Dalam kedua kasus mereka menyapu masalah akurasi numerik di bawah karpet. Dari pemahaman saya (yang diakui terbatas) tentang metode ini, hal-hal berikut ini harus benar:...
Saya belum bisa menemukan karakterisasi yang tepat dalam menghilangnya kesenjangan dualitas SDP. Atau, kapan "dualitas kuat" bertahan? Misalnya, ketika seseorang bolak-balik antara Lasserre dan SOS SDP, pada prinsipnya seseorang memiliki celah dualitas. Namun, entah mengapa ada alasan "sepele"...