Sum-of-squares certificates for copositivity via test states

M Schweighofer, LF Vargas - arXiv preprint arXiv:2310.12853, 2023 - arxiv.org
In 1995, Reznick showed an important variant of the obvious fact that any positive
semidefinite (real) quadratic form is a sum of squares of linear forms: If a form (of arbitrary …

On the hardness of deciding the finite convergence of Lasserre hierarchies

LF Vargas - arXiv preprint arXiv:2401.12613, 2024 - arxiv.org
A polynomial optimization problem (POP) asks for minimizing a polynomial function given a
finite set of polynomial constraints (equations and inequalities). This problem is well-known …