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

absolute extreme pointfree spectrahedraGleichstellensatzmatrix convexitymatrix extreme point

Mathematics Subject Classification ID

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

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

• C^*-algebras by example
• 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, inclusions of matrix convex sets, and completely positive maps
• Dilations, Linear Matrix Inequalities, the Matrix Cube Problem and Beta Distributions
• 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
• 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?)
• 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 convex Positivstellensatz in a free algebra
• The Krein-Milman theorem in operator convexity
• The matricial relaxation of a linear matrix inequality
• The noncommutative Choquet boundary
• The Structure of C^*-Convex Sets
• The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra

Cited in

(29)

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

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)