We use Arveson's notion of strongly peaking representation to generalize uniqueness theorems for free spectrahedra and matrix convex sets which admit minimal presentations. A fully compressed separable operator system necessarily generates the C*-envelope and is such that the identity is the direct sum of strongly peaking representations. In particular, a fully compressed presentation of a separable operator system is unique up to unitary equivalence. Under various additional assumptions, minimality conditions are sufficient to determine a separable operator system uniquely.

中文翻译：

---

算子系统的强峰值表示和压缩

我们使用 Arveson 的强峰化表示概念来概括允许最小表示的自由谱面体和矩阵凸集的唯一性定理。完全压缩的可分离算子系统必然会生成 C* 包络，并且身份是强峰化表示的直接和。特别是，可分离算子系统的完全压缩表示在酉等价之前是独一无二的。在各种附加假设下，极小条件足以唯一地确定可分离算子系统。