{"id":"arxiv/2604.27062","url":"https://arxiv.org/abs/2604.27062","tags":["math.FA","math.OA"],"score":0,"title":"Operator-Valued Positivstellensätze on Matrix Convex Sets and Free Products of Finite Abelian Groups","domain":"math.FA","source":"arxiv","authors":["Abhay Jindal","Igor Klep","Scott McCullough"],"reviews":0,"subject":"math.FA","summary":"We prove a Positivstellensatz for operator-valued noncommutative polynomials that are positive on matrix convex sets. Specifically, let $p$ be an operator-valued polynomial in $B(H)\\otimes C $ of degree at most $2d+1$, where $H$ is separable and infinite-dimensional. Let $L(x)=I+\\sum_{j=1}^{g} A_j x_j$ be a monic linear operator pencil, and let $D_L=\\{X: L(X) \\geq 0\\}$ be the associated matrix convex set. We show that $p$ is positive on $D_L$ if and only if $p=r^*r+q^*π(L)q$, where $q$ and $r$ have degree at most $d$, and $π$ is a unital completely positive map on the operator system…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-29","reactions":{}}