The Choquet boundary of an operator system (Q906598)

The authors establish that every pure unital completely positive map from an operator system into \(\mathcal{B}(H)\) has a pure maximal dilation which is a boundary representation. In fact, they show that every operator system has sufficiently many boundary representations to generate the \(C^*\)-envelope, solving a long-standing open problem of \textit{W. B. Arveson} [Acta Math. 123, 141--224 (1969; Zbl 0194.15701)].