Abstract
Free spectrahedra are dimension free solution sets to linear matrix inequalities of the form L A ( X ) = I d ⊗ I n + A 1 ⊗ X 1 + A 2 ⊗ X 2 + ⋯ + A g ⊗ X g ⪰ 0 , where the A i and X i are symmetric matrices and the X i have any size n × n . Free spectrahedra are ubiquitous in systems engineering, operator algebras, and the theory of matrix convex sets. Matrix and free extreme points of free spectrahedra are particularly important. We present theoretical, algorithmic, and experimental results illuminating basic properties of extreme points. For example, though many authors have studied matrix and free extreme points, it has until now been unknown if these two types of extreme points are actually different. This paper settles that issue. We also present and analyze several algorithms. Namely, we perfect an algorithm for computing an expansion of an element of a free spectrahedron in terms of free extreme points. We also give algorithms for testing if a point is matrix extreme and for computing matrix extreme points that are not free extreme.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
