The Hyperrigidity Conjecture for Spectrahedra
arXiv:2601.16075
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)).
18 pages