Positive univariate trace polynomials
arXiv:2009.10081 · doi:10.1016/j.jalgebra.2021.03.027
Abstract
A univariate trace polynomial is a polynomial in a variable x and formal trace symbols Tr(x^j). Such an expression can be naturally evaluated on matrices, where the trace symbols are evaluated as normalized traces. This paper addresses global and constrained positivity of univariate trace polynomials on symmetric matrices of all finite sizes. A tracial analog of Artin's solution to Hilbert's 17th problem is given: a positive semidefinite univariate trace polynomial is a quotient of sums of products of squares and traces of squares of trace polynomials.
References in corpus (9)
- Bounding the set of quantum correlations
- Connes' embedding conjecture and sums of hermitian squares
- Free function theory through matrix invariants
- MIP*=RE
- Optimization over trace polynomials
- Real algebraic geometry for matrices over commutative rings
- Solving moment problems by dimensional extension
- Positive trace polynomials and the universal Procesi-Schacher conjecture
- Asymptotically well-behaved input states do not violate additivity for conjugate pairs of random quantum channels