{"id":"arxiv/2609.01010","url":"https://arxiv.org/abs/2609.01010","tags":["math.OC"],"score":0,"title":"Sum-of-Squares Certificates for Copositive Matrices via Recursive Identities: The de Klerk-Pasechnik Conjecture and Hoffman-Pereira Matrices","domain":"math.OC","source":"arxiv","authors":["Jineon Baek","Luis Felipe Vargas"],"reviews":0,"subject":"math.OC","summary":"We establish the conjecture by de Klerk and Pasechnik (2002), claiming that the semidefinite bounds $\\vartheta^{(r)}(G)(r\\geq 0)$ for the stability number $α(G)$ are exact at $r=α(G)-1$, by exhibiting an explicit sum-of-squares certificate. This certificate allows us to recover a known characterization of the minimizers of the Motzkin-Straus formulation for $1/α(G)$. Additionally, we give sum-of-squares copositivity certificates for the matrices satisfying the Hoffman-Pereira sign condition, a crucial condition for characterizing copositive matrices with $\\{-1,0,1\\}$ entries.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-01","reactions":{}}