Every convex free basic semi-algebraic set has an LMI representation
From MaRDI portal
Publication:456669
DOI10.4007/annals.2012.176.2.6zbMath1260.14011OpenAlexW2127765692MaRDI QIDQ456669
J. William Helton, Scott A. McCullough
Publication date: 16 October 2012
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4007/annals.2012.176.2.6
linear matrix inequalitysemi-algebraic setsemi-definite programmingpencilmatrix convex setconvex set of matrices
Inequalities and extremum problems involving convexity in convex geometry (52A40) Convex sets in (n) dimensions (including convex hypersurfaces) (52A20) Algebraic theory of abelian varieties (14K05) Pencils, nets, webs in algebraic geometry (14C21)
Related Items (59)
Noncommutative Choquet simplices ⋮ Aspects of non-commutative function theory ⋮ Maps with the unique extension property and \({C}^\ast\)-extreme points ⋮ Noncommutative partially convex rational functions ⋮ The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra ⋮ \(C^*\)-convex sets and completely positive maps ⋮ Wandering Montel theorems for Hilbert space valued holomorphic functions ⋮ Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets ⋮ Circular free spectrahedra ⋮ Facial structure of matrix convex sets ⋮ Quasi-convex free polynomials ⋮ Extreme points of matrix convex sets, free spectrahedra, and dilation theory ⋮ Convex entire noncommutative functions are polynomials of degree two or less ⋮ Non‐commutative manifolds, the free square root and symmetric functions in two non‐commuting variables ⋮ Non-commutative varieties with curvature having bounded signature ⋮ Norm preserving extensions of holomorphic functions defined on varieties in \(\mathbb{C}^n\) ⋮ Plurisubharmonic noncommutative rational functions ⋮ Noncommutative partial convexity via \(\Gamma\)-convexity ⋮ On real one-sided ideals in a free algebra ⋮ Empirical Properties of Optima in Free Semidefinite Programs ⋮ Loewner's theorem in several variables ⋮ Noncommutative rational Clark measures ⋮ The noncommutative Löwner theorem for matrix monotone functions over operator systems ⋮ Invariant structure preserving functions and an Oka-Weil Kaplansky density type theorem ⋮ Automorphisms of hyper-Reinhardt free spectrahedra ⋮ On projections of free semialgebraic sets ⋮ Proper analytic free maps ⋮ Non-commutative holomorphic functions on operator domains ⋮ The convex Positivstellensatz in a free algebra ⋮ Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization ⋮ Dilations, Linear Matrix Inequalities, the Matrix Cube Problem and Beta Distributions ⋮ Free semidefinite representation of matrix power functions ⋮ Free Bertini’s theorem and applications ⋮ Implicit/inverse function theorems for free noncommutative functions ⋮ Hilbert’s 17th problem in free skew fields ⋮ A non-commutative Julia inequality ⋮ Bianalytic maps between free spectrahedra ⋮ On fixed points of self maps of the free ball ⋮ Free Pick functions: representations, asymptotic behavior and matrix monotonicity in several noncommuting variables ⋮ Non-commutative functional calculus ⋮ An introduction to matrix convex sets and free spectrahedra ⋮ Bounded real lemma and structured singular value versus diagonal scaling: the free noncommutative setting ⋮ Matrix convex hulls of free semialgebraic sets ⋮ The implicit function theorem and free algebraic sets ⋮ Noncommutative polynomials describing convex sets ⋮ Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball ⋮ Noncommutative polynomials nonnegative on a variety intersect a convex set ⋮ Constrained trace-optimization of polynomials in freely noncommuting variables ⋮ Convexity and Semidefinite Programming in Dimension-Free Matrix Unknowns ⋮ Noncommutative reproducing kernel Hilbert spaces ⋮ Realizations of non‐commutative rational functions around a matrix centre, I: synthesis, minimal realizations and evaluation on stably finite algebras ⋮ Bianalytic free maps between spectrahedra and spectraballs ⋮ Dilation theory in finite dimensions and matrix convexity ⋮ Noncommutative rational functions invariant under the action of a finite solvable group ⋮ Arveson extreme points span free spectrahedra ⋮ LMI Representations of Convex Semialgebraic Sets and Determinantal Representations of Algebraic Hypersurfaces: Past, Present, and Future ⋮ Positivstellensätze for noncommutative rational expressions ⋮ The Arveson boundary of a free quadrilateral is given by a noncommutative variety ⋮ Realizations of non-commutative rational functions around a matrix centre. II: The lost-abbey conditions
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Matrix convexity: Operator analogues of the bipolar and Hahn-Banach theorems
- Free probability and the von Neumann algebras of free groups
- Subalgebras of C\(^*\)-algebras. II
- The noncommutative Choquet boundary
- Linear matrix inequality representation of sets
- Irreducible noncommutative defining polynomials for convex sets have degree 4 or less
- On subalgebras of $C^*$-algebras
This page was built for publication: Every convex free basic semi-algebraic set has an LMI representation
