Sum-of-Squares Certificates for Copositive Matrices via Recursive Identities: The de Klerk-Pasechnik Conjecture and Hoffman-Pereira Matrices
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.01010
curl -X POST /api/v1/records/arxiv/2609.01010/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.01010/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'