Arveson extreme points span free spectrahedra

DOI10.1007/S00208-019-01858-9MaRDI QIDQ2324862zbMATH OpenOpenAlexWikidataFDO

Authors Eric Evert, J. William Helton

Publication date 12 September 2019

Published in Mathematische Annalen (Search for Journal in Brave)

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

zbMATH Keywords

extreme pointmatrix convex set

Mathematics Subject Classification ID

Hermitian, skew-Hermitian, and related matrices (15B57) Semidefinite programming (90C22) Convex sets in topological linear spaces; Choquet theory (46A55) Convex sets and cones of operators (47L07)

Abstract: Let $S{M}_n(mathbbR{)}^g$ denote $g$-tuples of $nimesn$ real symmetric matrices. Given tuples $X=(X_1,dots,X_g)inS{M}_{n_1}(mathbbR{)}^g$ and $Y=(Y_1,dots,Y_g)inS{M}_{n_2}(mathbbR{)}^g$, a matrix convex combination of $X$ and $Y$ is a sum of the form [ V_1^* XV_1+V_2^* Y V_2 quad quad quad V_1^* V_1+V_2^* V_2=I_n ] where $V_1:mathbb{R}^{n}omathbb{R}^{n_1}$ and $V_2:mathbb{R}^{n}omathbb{R}^{n_2}$ are contractions. Matrix convex sets are sets which are closed under matrix convex combinations. A key feature of matrix convex combinations is that the $g$-tuples $X,Y$, and $V_1^{\ast }X{V}_1+V_2^{\ast }Y{V}_2$ do not need to have the same size. As a result, matrix convex sets are a dimension free analog of convex sets. While in the classical setting there is only one notion of an extreme point, there are three main notions of extreme points for matrix convex sets: ordinary, matrix, and absolute extreme points. Absolute extreme points are closely related to the classical Arveson boundary. A central goal in the theory of matrix convex sets is to determine if one of these types of extreme points for a matrix convex set minimally recovers the set through matrix convex combinations. This article shows that every real compact matrix convex set which is defined by a linear matrix inequality is the matrix convex hull of its absolute extreme points, and that the absolute extreme points are the minimal set with this property. Furthermore, we give an algorithm which expresses a tuple as a matrix convex combination of absolute extreme points with optimal bounds. Similar results hold when working over the field of complex numbers rather than the reals.

Recommendations

• Matrix convex sets without absolute extreme points
• An introduction to matrix convex sets and free spectrahedra
• Complex free spectrahedra, absolute extreme points, and dilations
• The Arveson boundary of a free quadrilateral is given by a noncommutative variety
• The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra

Cites work

• scientific article; zbMATH DE number 524077 (Why is no real title available?)
• scientific article; zbMATH DE number 1182665 (Why is no real title available?)
• scientific article; zbMATH DE number 1849957 (Why is no real title available?)
• scientific article; zbMATH DE number 2232822 (Why is no real title available?)
• Boundary representations and pure completely positive maps
• Boundary representations of operator spaces, and compact rectangular matrix convex sets
• Every convex free basic semi-algebraic set has an LMI representation
• Extremal Matrix States on Operator Systems
• Extreme points of matrix convex sets, free spectrahedra, and dilation theory
• Injective envelopes of operator systems
• Matrix convex sets without absolute extreme points
• Matrix convexity: Operator analogues of the bipolar and Hahn-Banach theorems
• Minimal and maximal matrix convex sets
• Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets
• Pure matrix states on operator systems
• Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization
• Subalgebras of C\(^*\)-algebras. II
• Subalgebras of C^ *-algebras
• The Choquet boundary of an operator system
• The Krein-Milman theorem in operator convexity
• The matricial relaxation of a linear matrix inequality
• The noncommutative Choquet boundary
• \(C^*\)-algebras by example

Cited in

(20)

• Quantum magic squares: dilations and their limitations
• Matrix convex hulls of free semialgebraic sets
• Facial structure of matrix convex sets
• Minimal and maximal matrix convex sets
• The Arveson boundary of a free quadrilateral is given by a noncommutative variety
• An introduction to matrix convex sets and free spectrahedra
• Noncommutative partially convex rational functions
• Empirical Properties of Optima in Free Semidefinite Programs
• Extreme Points in Convex Sets of Symmetric Matrices
• Circular free spectrahedra
• Complex free spectrahedra, absolute extreme points, and dilations
• Matrix convex sets without absolute extreme points
• Shape, scale, and minimality of matrix ranges
• Dilation theory in finite dimensions and matrix convexity
• Ranks of linear matrix pencils separate simultaneous similarity orbits
• 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
• C*-envelopes for operator algebras with a coaction and co-universal C*-algebras for product systems
• Compressions of compact tuples

This page was built for publication: Arveson extreme points span free spectrahedra

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