Classifying linear matrix inequalities via abstract operator systems

DOI10.1016/J.LAA.2023.10.027MaRDI QIDQ6185975zbMATH OpenFDO

Authors Martin Berger, Tom Drescher, Tim Netzer

Publication date 9 January 2024

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

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

zbMATH Keywords

linear matrix inequalitiesoperator systemsspectrahedrapositive matrices

Mathematics Subject Classification ID

Semidefinite programming (90C22) Operator spaces and completely bounded maps (46L07) Linear operator inequalities (47A63) Dilations, extensions, compressions of linear operators (47A20) Linear inequalities of matrices (15A39)

Abstract: We systematically study how properties of abstract operator systems help classifying linear matrix inequality definitions of sets. Our main focus is on polyhedral cones, the 3-dimensional Lorentz cone, where we can completely describe all defining linear matrix inequalities, and on the cone of positive semidefinite matrices. Here we use results on isometries between matrix algebras to describe linear matrix inequality definitions of relatively small size. We conversely use the theory of operator systems to characterize special such isometries.

Recommendations

• On the feasibility problem of linear matrix inequalities
• The matricial relaxation of a linear matrix inequality
• scientific article; zbMATH DE number 5055252
• On cone-invariant linear matrix inequalities
• Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets

Cites work

• Algorithms in invariant theory
• Completely positive linear maps on complex matrices
• Deciding polyhedrality of spectrahedra
• Dilations, Linear Matrix Inequalities, the Matrix Cube Problem and Beta Distributions
• Dilations, inclusions of matrix convex sets, and completely positive maps
• Entangleability of cones
• Factorization of Singular Matrix Polynomials and Matrices with Circular Higher Rank Numerical Ranges
• Geometry of Linear Matrix Inequalities
• Injectivity and operator spaces
• Isometries between matrix algebras
• Matrix convexity: Operator analogues of the bipolar and Hahn-Banach theorems
• On the derivative cones of polyhedral cones
• Operator system structures on ordered spaces
• Semidefinite Optimization and Convex Algebraic Geometry
• Some geometric results in semidefinite programming
• Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization
• Subalgebras of C\(^*\)-algebras. II
• The matricial relaxation of a linear matrix inequality
• The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra

This page was built for publication: Classifying linear matrix inequalities via abstract operator systems

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