An introduction to matrix convex sets and free spectrahedra

DOI10.1007/S11785-019-00937-8MaRDI QIDQ2008156zbMATH OpenOpenAlexWikidataFDO

Authors Tom-Lukas Kriel

Publication date 22 November 2019

Published in Complex Analysis and Operator Theory (Search for Journal in Brave)

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

zbMATH Keywords

Gleichstellensatzmatrix convexitymatrix extreme pointfree spectrahedraabsolute extreme point

Mathematics Subject Classification ID

Operator spaces and completely bounded maps (46L07) Semialgebraic sets and related spaces (14P10) Axiomatic and generalized convexity (52A01) Real algebra (13J30) Convex sets and cones of operators (47L07)

Abstract: The purpose of this paper is to give a self-contained overview of the theory of matrix convex sets and free spectrahedra. We will give new proofs and generalizations of key theorems. However we will also introduce various new concepts and results as well. Key contributions of this paper are: - A new general Krein-Milman theorem that characterizes the smallest operator tuple defining a compact matrix convex set. - The introduction and a characterization of matrix exposed points. - A (weak) Minkowski theorem in the language of matrix extreme points (with a new proof of the weak Krein-Milman theorem of Webster and Winkler). - Simplified/new proofs of the Gleichstellensatz, Helton and McCulloughs characterization of free spectrahedra as closures of matrix convex "free basic open semialgebraic" sets and a characterization of hermitian irreducible free loci of Helton, Klep and Vol$checkextc$i$checkextc$.

Recommendations

• Arveson extreme points span free spectrahedra
• Complex free spectrahedra, absolute extreme points, and dilations
• The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra
• Matrix convex hulls of free semialgebraic sets
• Facial structure of matrix convex sets

Cites work

• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 1849957 (Why is no real title available?)
• scientific article; zbMATH DE number 2107836 (Why is no real title available?)
• A Proof of the Boundary Theorem
• Arveson extreme points span free spectrahedra
• Completely rank-nonincreasing linear maps
• Convex Matrix Inequalities Versus Linear Matrix Inequalities
• Dilations, Linear Matrix Inequalities, the Matrix Cube Problem and Beta Distributions
• Dilations, inclusions of matrix convex sets, and completely positive maps
• Every convex free basic semi-algebraic set has an LMI representation
• Extreme points of matrix convex sets, free spectrahedra, and dilation theory
• Free convex algebraic geometry
• Free loci of matrix pencils and domains of noncommutative rational functions
• Generators of the Ring of Bounded Operators
• Geometry of free loci and factorization of noncommutative polynomials
• Invariant Subspaces for Pairs of Projections
• Linear Matrix Inequalities in System and Control Theory
• Linear matrix inequality representation of sets
• Matrix convex hulls of free semialgebraic sets
• Matrix convex sets without absolute extreme points
• Matrix convexity: Operator analogues of the bipolar and Hahn-Banach theorems
• Non-commutative partial matrix convexity
• Nonseparable Approximate Equivalence
• Obstructions to determinantal representability
• On the exactness of Lasserre relaxations and pure states over real closed fields
• Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets
• Semidefinite representation of convex sets
• Some geometric results in semidefinite programming
• Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization
• Sufficient and necessary conditions for semidefinite representability of convex hulls and sets
• Sums of squares, moment matrices and optimization over polynomials
• The Choquet boundary of an operator system
• The Krein-Milman theorem in operator convexity
• The Structure of C^*-Convex Sets
• The convex Positivstellensatz in a free algebra
• The matricial relaxation of a linear matrix inequality
• The noncommutative Choquet boundary
• The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra
• \(C^*\)-algebras by example

Cited in

(25)

• Passive linear continuous-time systems: characterization through structure
• The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra
• Matrix convex hulls of free semialgebraic sets
• Facial structure of matrix convex sets
• Arveson extreme points span free spectrahedra
• The Arveson boundary of a free quadrilateral is given by a noncommutative variety
• Empirical Properties of Optima in Free Semidefinite Programs
• Noncommutative polynomials describing convex sets
• Circular free spectrahedra
• Discrete dynamics in the set of quantum measurements
• Matrix convex sets
• Complex free spectrahedra, absolute extreme points, and dilations
• On the spectrum of convex sets of matrices
• Bianalytic free maps between spectrahedra and spectraballs
• Reinhardt free spectrahedra
• Matrix convex sets without absolute extreme points
• Complete order equivalence of spin unitaries
• Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets
• Dilation theory in finite dimensions and matrix convexity
• Noncommutative partial convexity via \(\Gamma\)-convexity
• Matrix extreme points and free extreme points of free spectrahedra
• Free extreme points span generalized free spectrahedra given by compact coefficients
• On the hyper-Lyapunov matrix inclusions
• Quantitatively hyper-positive real rational functions. II
• Compressions of compact tuples

This page was built for publication: An introduction to matrix convex sets and free spectrahedra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2008156)