Extreme points of matrix convex sets and their spanning properties

Abstract

This expository article gives a survey of matrix convex sets, a natural generalization of convex sets to the noncommutative (dimension-free) setting, with a focus on their extreme points. Mirroring the classical setting, extreme points play an important role in matrix convexity, and a natural question is, ``are matrix convex sets the (closed) matrix convex hull of their extreme points?" That is, does a Krein-Milman theorem hold in this setting? This question requires some care, as there are several notions of extreme points for matrix convex sets. Three of the most prevalent notions are matrix extreme points, matrix exposed points, and free extreme points. For each of these types of extreme points, we examine strengths and shortcomings in terms of a Krein-Milman theorem. Of particular note is the fact that these extreme points are all finite-dimensional in nature. As such, a large amount of our discussion is about free spectrahedra, which are matrix convex sets determined by a linear matrix inequality.

26 pages. Version 2 has minor revisions. Accepted to the Springer reference work "Operator Theory" volume 2. The numbering of theorems and equations will differ between the arxiv and published versions

References in corpus (19)

• The noncommutative Choquet boundary
• Obstructions to determinantal representability
• The Choquet boundary of an operator system
• The matricial relaxation of a linear matrix inequality
• Minimal and maximal matrix convex sets
• Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization
• Joint measurability of quantum effects and the matrix diamond
• Extreme points of matrix convex sets, free spectrahedra and dilation theory
• Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets
• The Tracial Hahn-Banach Theorem, Polar Duals, Matrix Convex Sets, and Projections of Free Spectrahedra
• Matrix Convex Hulls of Free Semialgebraic Sets
• Incompatibility in general probabilistic theories, generalized spectrahedra, and tensor norms
• Quantum magic squares: dilations and their limitations
• Compressions of compact tuples
• Shape, Scale, and Minimality of Matrix Ranges
• Matrix range characterizations of operator system properties
• Bianalytic free maps between spectrahedra and spectraballs
• Noncommutative Nullstellensätze and Perfect Games
• Facial structure of matrix convex sets

Cited by in corpus (1)

• Matrix convex sets over the Euclidean ball and polar duals of real free spectrahedra