Operator Fejér--Riesz Theorems with Gaps and Degree Bounds
Let $K$ be a nonempty compact semialgebraic subset of the real line, and let $S$ be a saturated scalar description of $K$. We prove that every hermitian polynomial with bounded-operator coefficients that is positive semidefinite on $K$ belongs to the operator quadratic module generated by $S$. We also show that if such a polynomial has degree at most $\tt{d}$, then it admits a certificate of weighted degree at most $\tt{d}+c_S$, where $c_S$ depends only on $S$, not on the polynomial or the coefficient Hilbert space. In contrast to the scalar case, where natural preorderings admit the degree…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2611.02967
curl -X POST /api/v1/records/arxiv/2611.02967/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.02967/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'