Noncommutative polynomials nonnegative on a variety intersect a convex set

DOI10.1016/j.jfa.2014.03.016zbMath1327.13090arXiv1308.0051OpenAlexW2025847393MaRDI QIDQ2512390

J. William Helton, Igor Klep, Christopher S. Nelson

Publication date: 7 August 2014

Published in: Journal of Functional Analysis (Search for Journal in Brave)

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

zbMATH Keywords

linear matrix inequality (LMI)semidefinite programming (SDP)free real algebraic geometrynoncommutative algebra inequalities

Mathematics Subject Classification ID

Semidefinite programming (90C22) Noncommutative algebraic geometry (14A22) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Operator spaces and completely bounded maps (46L07) Semialgebraic sets and related spaces (14P10) Real algebra (13J30)

Related Items

The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra ⋮ Symmetry reduction of states. II: A non-commutative positivstellensatz for \(\mathbb{C} \mathbb{P}^n\) ⋮ Geometry of free loci and factorization of noncommutative polynomials ⋮ Matrix versions of real and quaternionic nullstellensätze ⋮ The noncommutative Löwner theorem for matrix monotone functions over operator systems ⋮ Finsler's lemma for matrix polynomials ⋮ Noncommutative polynomials describing convex sets ⋮ Compact sets in the free topology ⋮ Positivstellensätze for noncommutative rational expressions

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
• Progress in noncommutative function theory
• The convex Positivstellensatz in a free algebra
• Every convex free basic semi-algebraic set has an LMI representation
• Positivstellensatz and flat functionals on path *-algebras
• Semidefinite programming and sums of Hermitian squares of noncommutative polynomials
• Strong majorization in a free \(*\)-algebra.
• Computation of real radicals of polynomial ideals. II
• Multiplicative bases, Gröbner bases, and right Gröbner bases
• Aspects of semidefinite programming. Interior point algorithms and selected applications
• The matricial relaxation of a linear matrix inequality
• Hyperbolic programs, and their derivative relaxations
• LMI Representations of Convex Semialgebraic Sets and Determinantal Representations of Algebraic Hypersurfaces: Past, Present, and Future
• Convergent Relaxations of Polynomial Optimization Problems with Noncommuting Variables
• NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials
• Free Random Variables
• Free holomorphic automorphisms of the unit ball of B(ℋ) n
• Semidefinite optimization
• Linear matrix inequality representation of sets
• Free analysis questions II: The Grassmannian completion and the series expansions at the origin
• Flat extensions of positive moment matrices: recursively generated relations
• A positivstellensatz for non-commutative polynomials
• Solution of the truncated complex moment problem for flat data
• Semidefinite Programming
• A noncommutative real nullstellensatz corresponds to a noncommutative real ideal: Algorithms
• Global Holomorphic Functions in Several Noncommuting Variables
• An Exact Duality Theory for Semidefinite Programming Based on Sums of Squares
• Handbook of semidefinite programming. Theory, algorithms, and applications