Abstract. An operator system is a unital self-adjoint subspace of bounded linear operators. It is maximal if every positive linear map from it to another operator system is completely positive. In this paper, characterizations of maximal operator systems in terms of the joint numerical range are presented. New families of maximal operator systems are identified. These results admit formulations in terms of numerical range inclusion and dilation of operators that unify and extend earlier results on the topic.
AMS Subject Classification
(1991): 47A20, 47A12, 15A60
completely positive map,
maximal operator system
received 21.6.2020, revised 23.9.2020, accepted 4.10.2020. (Registered under 621/2020.)