The Hyperrigidity Conjecture for Spectrahedra

Abstract

We show that if K is a compact spectrahedron whose set of extreme points is closed, then the operator system of continuous affine functions on K is hyperrigid in the C*-algebra C(ex(K)).

arXiv comment18 pages