{"id":"arxiv/2601.06648","url":"https://arxiv.org/abs/2601.06648","tags":["math.OC"],"score":0,"title":"A finite-termination algorithm for testing copositivity over the positive semidefinite cone","domain":"math.OC","source":"arxiv","authors":["Lei Huang","Lingling Xie"],"reviews":0,"subject":"math.OC","summary":"This paper proposes an efficient algorithm for testing copositivity of homogeneous polynomials over the positive semidefinite cone. The algorithm is based on a novel matrix optimization reformulation and requires solving a hierarchy of semidefinite programs. Notably, it always terminates in finitely many iterations. If a homogeneous polynomial is copositive over the positive semidefinite cone, the algorithm provides a certificate; otherwise, it returns a vector that refutes copositivity. Building on a similar idea, we further propose an algorithm to test copositivity over the direct product…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-10","reactions":{}}