The convex Positivstellensatz in a free algebra
arXiv:1102.4859 · doi:10.1016/j.aim.2012.04.028
Abstract
Given a monic linear pencil L in g variables let D_L be its positivity domain, i.e., the set of all g-tuples X of symmetric matrices of all sizes making L(X) positive semidefinite. Because L is a monic linear pencil, D_L is convex with interior, and conversely it is known that convex bounded noncommutative semialgebraic sets with interior are all of the form D_L. The main result of this paper establishes a perfect noncommutative Nichtnegativstellensatz on a convex semialgebraic set. Namely, a noncommutative polynomial p is positive semidefinite on D_L if and only if it has a weighted sum of squares representation with optimal degree bounds: p = s^* s + \sum_j f_j^* L f_j, where s, f_j are vectors of noncommutative polynomials of degree no greater than 1/2 deg(p). This noncommutative result contrasts sharply with the commutative setting, where there is no control on the degrees of s, f_j and assuming only p nonnegative, as opposed to p strictly positive, yields a clean Positivstellensatz so seldom that such cases are noteworthy.
22 pages
References in corpus (5)
- Convergent relaxations of polynomial optimization problems with non-commuting variables
- Every free basic convex semi-algebraic set has an LMI representation
- Semidefinite programming in matrix unknowns which are dimension free
- Infeasibility certificates for linear matrix inequalities
- A note on a matrix version of the Farkas lemma
Cited by in corpus (29)
- Sparse Noncommutative Polynomial Optimization
- An exact duality theory for semidefinite programming based on sums of squares
- Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets
- Free Convex Algebraic Geometry
- Matrix Convex Sets Without Absolute Extreme Points
- Positive trace polynomials and the universal Procesi-Schacher conjecture
- Noncommutative polynomials nonnegative on a variety intersect a convex set
- State polynomials: positivity, optimization and nonlinear Bell inequalities
- Bianalytic free maps between spectrahedra and spectraballs
- The strong truncated Hamburger moment problem with and without gaps
- A Real Nullstellensatz for Matrices of Non-Commutative Polynomials
- Recht-Ré Noncommutative Arithmetic-Geometric Mean Conjecture is False
- Relaxations and Exact Solutions to Quantum Max Cut via the Algebraic Structure of Swap Operators
- Containment Problems for Projections of Polyhedra and Spectrahedra
- Circular Free Spectrahedra
- Noncommutative polynomials describing convex sets
- The singular bivariate quartic tracial moment problem
- Quadratic Modules, C*-Algebras, and Free Convexity
- Facial structure of matrix convex sets
- Free Semialgebraic Geometry
- Factorization of noncommutative polynomials and Nullstellensätze for the free algebra
- Can Single-Shuffle SGD be Better than Reshuffling SGD and GD?
- A Matrix Positivstellensatz with lifting polynomials
- Real Algebraic Geometry and its Applications
- Positive maps from the walled Brauer algebra
- Containment problems for polytopes and spectrahedra
- A Semidefinite Hierarchy for Containment of Spectrahedra
- Positivstellensatzë for noncommutative rational expressions
- Positivity of state, trace, and moment polynomials, and applications in quantum information