Classifying linear matrix inequalities via abstract operator systems

DOI10.1016/J.LAA.2023.10.027arXiv2301.11054MaRDI QIDQ6185975FDOQ6185975

Authors: Martin Berger, Tom Drescher, Tim Netzer 

Publication date: 9 January 2024

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

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.

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

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

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)

Cites Work

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

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)