Lifts of Operator Systems
arXiv:2508.15348
Abstract
We transfer the theory of slack operators and sums-of-squares-criteria for lifts from convex cones to operator systems. These allow to study the following question, among others: Given an abstract operator system, is its enveloping -algebra finite-dimensional, or is it the linear image of a system with a finite-dimensional enveloping algebra?