Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets

DOI10.1016/J.JMAA.2016.07.043zbMath1362.14060arXiv1602.00765OpenAlexW2271608424MaRDI QIDQ323781

Aljaž Zalar

Publication date: 10 October 2016

Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

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

zbMATH Keywords

completely positivePositivstellensatzfree positivitynoncommutative polynomiallinear matrix inequality (LMI)spectrahedronfree convexityfree real algebraic geometryGleichstellensatzpolar dualquadratic modulespectrahedrop

Mathematics Subject Classification ID

Sums of squares and representations by other particular quadratic forms (11E25) Linear operator inequalities (47A63) Operator spaces and completely bounded maps (46L07) Operator spaces (= matricially normed spaces) (47L25) Semialgebraic sets and related spaces (14P10) Applications of functional analysis in optimization, convex analysis, mathematical programming, economics (46N10) Other ``noncommutative mathematics based on (C^*)-algebra theory (46L89) Matrix pencils (15A22) Real algebra (13J30)

Related Items (16)

The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra ⋮ Circular free spectrahedra ⋮ Symmetry reduction of states. II: A non-commutative positivstellensatz for \(\mathbb{C} \mathbb{P}^n\) ⋮ Extreme points of matrix convex sets, free spectrahedra, and dilation theory ⋮ Noncommutative partial convexity via \(\Gamma\)-convexity ⋮ Matrix convex sets without absolute extreme points ⋮ Empirical Properties of Optima in Free Semidefinite Programs ⋮ Minimal and maximal matrix convex sets ⋮ Compressions of compact tuples ⋮ Dilations, Linear Matrix Inequalities, the Matrix Cube Problem and Beta Distributions ⋮ Dilation theory: a guided tour ⋮ An introduction to matrix convex sets and free spectrahedra ⋮ Bianalytic free maps between spectrahedra and spectraballs ⋮ Shape, scale, and minimality of matrix ranges ⋮ Arveson extreme points span free spectrahedra ⋮ The Arveson boundary of a free quadrilateral is given by a noncommutative variety

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
• 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
• Sums of Hermitian squares and the BMV conjecture
• Simple \(C^*\)-algebras generated by isometries
• Matrix measures, moment spaces and Favard's theorem for the interval \([0,1\) and \([0,\infty)\)]
• Real algebraic geometry for matrices over commutative rings
• ``Positive noncommutative polynomials are sums of squares.
• Moment problems for operator polynomials
• The matricial relaxation of a linear matrix inequality
• Connes' embedding conjecture and sums of Hermitian squares
• Vectorial Toeplitz operators and the Fejer-Riesz theorem
• Subalgebras of \(C^ *\)-algebras
• Subalgebras of C\(^*\)-algebras. II
• Matrix convex hulls of free semialgebraic sets
• Foundations of Free Noncommutative Function Theory
• Chapter 8: Free Convex Algebraic Geometry
• The noncommutative Choquet boundary
• Convergent Relaxations of Polynomial Optimization Problems with Noncommuting Variables
• Positive Polynomials and Projections of Spectrahedra
• A Note on a Matrix Version of the Farkas Lemma
• The noncommutative Choquet Boundary III
• Free analysis questions II: The Grassmannian completion and the series expansions at the origin
• Non-commutative Real Algebraic Geometry - Some Basic Concepts and First Ideas
• ON THE ‘FLIP-FLOP’ AUTOMORPHISM OF C^*(S₁, S₂)
• The Krein-Milman theorem in operator convexity
• Extremal Matrix States on Operator Systems
• Dilations, Inclusions of Matrix Convex Sets, and Completely Positive Maps
• A positivstellensatz for non-commutative polynomials
• Semidefinite Optimization and Convex Algebraic Geometry
• Operator system quotients of matrix algebras and their tensor products
• Convex Matrix Inequalities Versus Linear Matrix Inequalities
• Global Holomorphic Functions in Several Noncommuting Variables
• An Exact Duality Theory for Semidefinite Programming Based on Sums of Squares
• A note on the nonexistence of sum of squares certificates for the Bessis–Moussa–Villani conjecture
• Factorization of operator-valued polynomials in several non-commuting variables

This page was built for publication: Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets