An introduction to matrix convex sets and free spectrahedra

TL;DR

This paper provides a comprehensive overview of matrix convex sets and free spectrahedra, introducing new proofs, generalizations, and concepts to advance the theoretical understanding of these structures.

Contribution

It presents new theorems, characterizations, and simplified proofs that deepen the understanding of matrix convex sets and free spectrahedra, including a new Krein-Milman theorem and matrix exposed points.

Findings

A new general Krein-Milman theorem for compact matrix convex sets

Introduction and characterization of matrix exposed points

A weak Minkowski theorem in the language of matrix extreme points

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$\check{\text{c}}$i$\check{\text{c}}$.