The convex Positivstellensatz in a free algebra
From MaRDI portal
(Redirected from Publication:436182)
free convexityfree positivityfree real algebraic geometrylinear matrix inequalitymoment problemPositivstellensatz
Real algebra (13J30) Semialgebraic sets and related spaces (14P10) Operator spaces and completely bounded maps (46L07) Applications of functional analysis in optimization, convex analysis, mathematical programming, economics (46N10) Linear operator methods in interpolation, moment and extension problems (47A57)
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.
Recommendations
- A positivstellensatz for non-commutative polynomials
- On matrix algebras associated to sum-of-squares semidefinite programs
- Convexity and semidefinite programming in dimension-free matrix unknowns
- Convex and positive noncommutative polynomials
- Noncommutative partial convexity via \(\Gamma\)-convexity
- Convergent relaxations of polynomial optimization problems with noncommuting variables
- Constrained polynomial optimization problems with noncommuting variables
- Irreducible noncommutative defining polynomials for convex sets have degree 4 or less
- Free convex algebraic geometry
- Optimization problems over noncompact semialgebraic sets
Cites work
- ``Positive noncommutative polynomials are sums of squares.
- A nichtnegativstellensatz for polynomials in noncommuting variables
- A note on a matrix version of the Farkas lemma
- A positivstellensatz for non-commutative polynomials
- Convergent relaxations of polynomial optimization problems with noncommuting variables
- Convex Noncommutative Polynomials Have Degree Two or Less
- Convexity and semidefinite programming in dimension-free matrix unknowns
- Every convex free basic semi-algebraic set has an LMI representation
- Factorization of operator-valued polynomials in several non-commuting variables
- Flat extensions of positive moment matrices: recursively generated relations
- scientific article; zbMATH DE number 1601019 (Why is no real title available?)
- scientific article; zbMATH DE number 3721092 (Why is no real title available?)
- scientific article; zbMATH DE number 1201576 (Why is no real title available?)
- scientific article; zbMATH DE number 527343 (Why is no real title available?)
- scientific article; zbMATH DE number 1993745 (Why is no real title available?)
- scientific article; zbMATH DE number 1849957 (Why is no real title available?)
- scientific article; zbMATH DE number 1860211 (Why is no real title available?)
- scientific article; zbMATH DE number 2117180 (Why is no real title available?)
- scientific article; zbMATH DE number 3412816 (Why is no real title available?)
- Moments, positive polynomials and their applications
- NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials
- Positive polynomials and sums of squares
- Positivity and sums of squares: a guide to recent results
- Positivstellensatz and flat functionals on path *-algebras
- Solution of the truncated complex moment problem for flat data
- Strong majorization in a free \(*\)-algebra.
- Sums of squares, moment matrices and optimization over polynomials
- The K-moment problem for compact semi-algebraic sets
- The matricial relaxation of a linear matrix inequality
Cited in
(41)- Matrix convex sets without absolute extreme points
- Bianalytic maps between free spectrahedra
- The singular bivariate quartic tracial moment problem
- A strict Positivstellensatz for the Weyl algebra
- A local-global principle for linear dependence of noncommutative polynomials.
- The tracial moment problem on quadratic varieties
- An introduction to matrix convex sets and free spectrahedra
- Noncommutative polynomials describing convex sets
- Free noncommutative hereditary kernels: Jordan decomposition, Arveson extension, kernel domination
- Sparse noncommutative polynomial optimization
- Facial structure of matrix convex sets
- Matrix representations for positive noncommutative polynomials
- Noncommutative polynomials nonnegative on a variety intersect a convex set
- The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra
- The strong truncated Hamburger moment problem with and without gaps
- Matrix convex hulls of free semialgebraic sets
- On matrix algebras associated to sum-of-squares semidefinite programs
- Positivstellensätze for noncommutative rational expressions
- Quasi-convex free polynomials
- Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets
- Circular free spectrahedra
- On the positivstellensatz in Weyl’s algebra
- scientific article; zbMATH DE number 3000331 (Why is no real title available?)
- Minimizer Extraction in Polynomial Optimization Is Robust
- A positivstellensatz for non-commutative polynomials
- Some positivstellensätze for polynomial matrices
- Hilbert's 17th problem in free skew fields
- Free loci of matrix pencils and domains of noncommutative rational functions
- A matrix Positivstellensatz with lifting polynomials
- Quadratic modules, 𝐶*-algebras, and free convexity
- A semidefinite hierarchy for containment of spectrahedra
- Dilations, Linear Matrix Inequalities, the Matrix Cube Problem and Beta Distributions
- Stable Noncommutative Polynomials and Their Determinantal Representations
- Constrained trace-optimization of polynomials in freely noncommuting variables
- Invariant structure preserving functions and an Oka-Weil Kaplansky density type theorem
- On projections of free semialgebraic sets
- Positivstellensätze for algebras of matrices
- Positive maps from the walled Brauer algebra
- State polynomials: positivity, optimization and nonlinear Bell inequalities
- Extensions of \(\mathrm{S}\)-lemma for noncommutative polynomial
- Complete upper bound hierarchies for spectral minimum in noncommutative polynomial optimization
This page was built for publication: The convex Positivstellensatz in a free algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q436182)
