Matrix convex sets without absolute extreme points

DOI10.1016/J.LAA.2017.09.033MaRDI QIDQ1675668zbMATH OpenOpenAlexFDO

Authors Eric Evert

Publication date 2 November 2017

Published in Linear Algebra and its Applications (Search for Journal in Brave)

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

zbMATH Keywords

extreme pointmatrix convex setdilation theoryfree analysisArveson boundary

Mathematics Subject Classification ID

Convex programming (90C25) Operator spaces and completely bounded maps (46L07) Programming in abstract spaces (90C48) Convex sets in topological linear spaces; Choquet theory (46A55)

Abstract: This article shows the existence of a class of closed bounded matrix convex sets which do not have absolute extreme points. The sets we consider are noncommutative sets, $K_X$, formed by taking matrix convex combinations of a single tuple $X$. In the case that $X$ is a tuple of compact operators with no nontrivial finite dimensional reducing subspaces, $K_X$ is a closed bounded matrix convex set with no absolute extreme points. A central goal in the theory of matrix convexity is to find a natural notion of an extreme point in the dimension free setting which is minimal with respect to spanning. Matrix extreme points are the strongest type of extreme point known to span matrix convex sets; however, they are not necessarily the smallest set which does so. Absolute extreme points, a more restricted type of extreme points that are closely related to Arveson's boundary, enjoy a strong notion of minimality should they span. This result shows that matrix convex sets may fail to be spanned by their absolute extreme points.

Recommendations

• Arveson extreme points span free spectrahedra
• Facial structure of matrix convex sets
• An introduction to matrix convex sets and free spectrahedra
• Krein-Milman-type problems for compact matricially convex sets
• C ∗ -Extreme Points of some Compact C ∗ -Convex Sets

Cites work

• 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
• Circular free spectrahedra
• Dilations, inclusions of matrix convex sets, and completely positive maps
• Extremal Matrix States on Operator Systems
• Injective envelopes of operator systems
• Minimal and maximal matrix convex sets
• Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets
• Pure matrix states on operator systems
• Subalgebras of C\(^*\)-algebras. II
• Subalgebras of C^ *-algebras
• The Choquet boundary of an operator system
• The Krein-Milman theorem in operator convexity
• The convex Positivstellensatz in a free algebra
• The matricial relaxation of a linear matrix inequality
• The noncommutative Choquet boundary
• The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra
• \(C^*\)-algebras by example

Cited in

(11)

• Arveson extreme points span free spectrahedra
• 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
• Complex free spectrahedra, absolute extreme points, and dilations
• Shape, scale, and minimality of matrix ranges
• Passive linear discrete-time systems: characterization through structure
• Noncommutative partial convexity via \(\Gamma\)-convexity
• Free extreme points span generalized free spectrahedra given by compact coefficients
• Compressions of compact tuples

This page was built for publication: Matrix convex sets without absolute extreme points

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