An introduction to matrix convex sets and free spectrahedra

DOI10.1007/S11785-019-00937-8zbMATH Open1435.14052arXiv1611.03103OpenAlexW2795723564WikidataQ127539731 ScholiaQ127539731MaRDI QIDQ2008156FDOQ2008156

Authors: Tom-Lukas Kriel 

Publication date: 22 November 2019

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

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$.

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

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

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)

Cites Work

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

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
• Discrete dynamics in the set of quantum measurements
• Circular free spectrahedra
• 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
• Dilation theory in finite dimensions and matrix convexity
• Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets
• 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)