Matrix range characterizations of operator system properties

Abstract

For finite-dimensional operator systems ST, T∈B(H)d, we show that the local lifting property and 1-exactness of ST may be characterized by measurements of the disparity between the matrix range W(T) and the minimal/maximal matrix convex sets over its individual levels. We then examine these concepts from the point of view of free spectrahedra, direct sums of operator systems, and products of matrix convex sets.