Operator-Valued Positivstellensätze on Matrix Convex Sets and Free Products of Finite Abelian Groups
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866911633452826624 |
|---|---|
| author | Jindal, Abhay Klep, Igor McCullough, Scott |
| author_facet | Jindal, Abhay Klep, Igor McCullough, Scott |
| contents | 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<x>$ 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 generated by the coefficients of $L$. The proof combines a Hahn--Banach separation argument with a tailored GNS construction. The main challenge is that the separation occurs in the product ultraweak topology, so boundedness of the resulting GNS operators is not automatic. We first handle bounded matrix convex sets, using closedness of the cone of weighted squares in the product ultraweak topology as the key technical input, and then pass to the general unbounded case by an approximation argument.
Finally, we apply this convex Positivstellensatz to prove an operator-valued noncommutative Fejer--Riesz theorem on free products of finite abelian groups. The key additional ingredients are the universal $*$-algebra povm(n) associated with POVMs, a perfect Positivstellensatz for povm(n), and Boca's theorem on free products of completely positive maps. As a consequence, every positive operator-valued trigonometric polynomial on a free product of finite abelian groups admits a sum-of-squares factorization with explicit complexity bounds. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_27062 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Operator-Valued Positivstellensätze on Matrix Convex Sets and Free Products of Finite Abelian Groups Jindal, Abhay Klep, Igor McCullough, Scott Functional Analysis Operator Algebras Primary 46L07, 47A56, 47A68, 52A70, Secondary 47A63, 13J30, 46L09 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<x>$ 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 generated by the coefficients of $L$. The proof combines a Hahn--Banach separation argument with a tailored GNS construction. The main challenge is that the separation occurs in the product ultraweak topology, so boundedness of the resulting GNS operators is not automatic. We first handle bounded matrix convex sets, using closedness of the cone of weighted squares in the product ultraweak topology as the key technical input, and then pass to the general unbounded case by an approximation argument. Finally, we apply this convex Positivstellensatz to prove an operator-valued noncommutative Fejer--Riesz theorem on free products of finite abelian groups. The key additional ingredients are the universal $*$-algebra povm(n) associated with POVMs, a perfect Positivstellensatz for povm(n), and Boca's theorem on free products of completely positive maps. As a consequence, every positive operator-valued trigonometric polynomial on a free product of finite abelian groups admits a sum-of-squares factorization with explicit complexity bounds. |
| title | Operator-Valued Positivstellensätze on Matrix Convex Sets and Free Products of Finite Abelian Groups |
| topic | Functional Analysis Operator Algebras Primary 46L07, 47A56, 47A68, 52A70, Secondary 47A63, 13J30, 46L09 |
| url | https://arxiv.org/abs/2604.27062 |