Operator-Valued Positivstellensätze on Matrix Convex Sets and Free Products of Finite Abelian Groups
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.27062
curl -X POST /api/v1/records/arxiv/2604.27062/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.27062/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'