The convex Positivstellensatz in a free algebra

DOI10.1016/j.aim.2012.04.028zbMath1260.14071arXiv1102.4859OpenAlexW2070495995MaRDI QIDQ436182

Igor Klep, J. William Helton, Scott A. McCullough

Publication date: 30 July 2012

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1102.4859

zbMATH Keywords

moment problemlinear matrix inequalityPositivstellensatzfree positivityfree convexityfree real algebraic geometry

Mathematics Subject Classification ID

Operator spaces and completely bounded maps (46L07) Linear operator methods in interpolation, moment and extension problems (47A57) Semialgebraic sets and related spaces (14P10) Applications of functional analysis in optimization, convex analysis, mathematical programming, economics (46N10) Real algebra (13J30)

Related Items (27)

The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra ⋮ Sparse noncommutative polynomial optimization ⋮ Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets ⋮ Circular free spectrahedra ⋮ Facial structure of matrix convex sets ⋮ Minimizer Extraction in Polynomial Optimization Is Robust ⋮ Matrix convex sets without absolute extreme points ⋮ The strong truncated Hamburger moment problem with and without gaps ⋮ Invariant structure preserving functions and an Oka-Weil Kaplansky density type theorem ⋮ A local-global principle for linear dependence of noncommutative polynomials. ⋮ Dilations, Linear Matrix Inequalities, the Matrix Cube Problem and Beta Distributions ⋮ Hilbert’s 17th problem in free skew fields ⋮ Bianalytic maps between free spectrahedra ⋮ The singular bivariate quartic tracial moment problem ⋮ The tracial moment problem on quadratic varieties ⋮ An introduction to matrix convex sets and free spectrahedra ⋮ Stable Noncommutative Polynomials and Their Determinantal Representations ⋮ Matrix convex hulls of free semialgebraic sets ⋮ Noncommutative polynomials describing convex sets ⋮ Noncommutative polynomials nonnegative on a variety intersect a convex set ⋮ Constrained trace-optimization of polynomials in freely noncommuting variables ⋮ A Matrix Positivstellensatz with Lifting Polynomials ⋮ Quadratic modules, 𝐶*-algebras, and free convexity ⋮ A Semidefinite Hierarchy for Containment of Spectrahedra ⋮ Positivstellensätze for noncommutative rational expressions ⋮ Free noncommutative hereditary kernels: Jordan decomposition, Arveson extension, kernel domination ⋮ On matrix algebras associated to sum-of-squares semidefinite programs

Uses Software

• NCSOStools
• NCAlgebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Every convex free basic semi-algebraic set has an LMI representation
• Positivstellensatz and flat functionals on path *-algebras
• Strong majorization in a free \(*\)-algebra.
• The \(K\)-moment problem for compact semi-algebraic sets
• ``Positive noncommutative polynomials are sums of squares.
• The matricial relaxation of a linear matrix inequality
• A nichtnegativstellensatz for polynomials in noncommuting variables
• Convexity and Semidefinite Programming in Dimension-Free Matrix Unknowns
• Convergent Relaxations of Polynomial Optimization Problems with Noncommuting Variables
• NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials
• A Note on a Matrix Version of the Farkas Lemma
• Flat extensions of positive moment matrices: recursively generated relations
• Convex Noncommutative Polynomials Have Degree Two or Less
• A positivstellensatz for non-commutative polynomials
• Solution of the truncated complex moment problem for flat data
• Factorization of operator-valued polynomials in several non-commuting variables

This page was built for publication: The convex Positivstellensatz in a free algebra