Classifying Linear Matrix Inequalities via Abstract Operator Systems

Martin Berger, Tom Drescher, Tim Netzer

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-dime…