Related papers: Quasi Hyperrigidity and Weak Peak Points for Non-C…

We explore connections between boundary representations of operator spaces and those of the associated Paulsen systems. Using the notions of finite representation and separating property which we introduced, boundary representations for…

Let $A$ be a unital $C^*$-algebra generated by some separable operator system $S$. More than a decade ago, Arveson conjectured that $S$ is hyperrigid in $A$ if all irreducible representations of $A$ are boundary representations for $S$.…

Let S be an operator system -- a self-adjoint linear subspace of a unital C*-algebra A such that contains 1 and A=C*(S) is generated by S. A boundary representation for S is an irreducible representation \pi of C*(S) on a Hilbert space with…

We study boundaries for unital operator algebras. These are sets of irreducible $*$-representations that completely capture the spatial norm attainment for a given subalgebra. Classically, the Choquet boundary is the minimal boundary of a…

We investigate various notions of peaking behaviour for states on a $\mathrm{C}^*$-algebra, where the peaking occurs within an operator system. We pay particularly close attention to the existence of sequences of elements forming an…

We explore the finite-dimensional part of the non-commutative Choquet boundary of an operator algebra. In other words, we seek finite-dimensional boundary representations. Such representations may fail to exist even when the underlying…

We initiate a study of non-commutative Choquet boundary for spaces of unbounded operators. We define the notion of local boundary representations for local operator systems in locally C$^*$-algebras and prove that local boundary…

We classify operator systems $S\subseteq \mathcal B(H)$ that act on finite dimensional Hilbert spaces by making use of the noncommutative Choquet boundary. S is said to be {\em reduced} when its boundary ideal is 0. In the category of…

Let $G$ be a countable group. We introduce several equivalence relations on the set ${\rm Sub}(G)$ of subgroups of $G$, defined by properties of the quasi-regular representations $\lambda_{G/H}$ associated to $H\in {\rm Sub}(G)$ and compare…

All operator algebras have (not necessarily irreducible) boundary representations. A unital operator algebra has enough such boundary representations to generate its C*-envelope.

We prove a noncommutative variant of Saskin's classical theorem -- on the connection between Choquet boundaries for function spaces and Korovkin sets -- for operator systems generating separable Type I C*-algebras. The main result implies…

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)).

We initiate the study of pointed approximative absolute neighborhood retracts. Our motivation is to generate examples of C*-algebras that behave in unexpected ways with respect to weak semiprojectivity. We consider both weak…

In this paper, we fully characterize maximal representations of a C*-correspondence. This strengthens several earlier results. We demonstrate the criterion with diverse examples. We also describe the noncommutative Choquet boundary and…

Arveson's hyperrigidity conjecture predicts that if the non-commutative Choquet boundary of a separable operator system $\mathcal{S}$ is the entire spectrum of its generated C*-algebra $\mathcal{B}$ then $\mathcal{S}$ is hyperrigid in…

A unital $C^*$-algebra is called $N$-subhomogeneous if its irreducible representations are finite dimensional with dimension at most $N$. We extend this notion to operator systems, replacing irreducible representations by boundary…

The idea that symmetries simplify or reduce the complexity of a system has been remarkably fruitful in physics, and especially in quantum mechanics. On a mathematical level, symmetry groups single out a certain structure in the Hilbert…

A (finite or countably infinite) set G of generators of an abstract C*-algebra A is called hyperrigid if for every faithful representation of A on a Hilbert space $A\subseteq \mathcal B(H)$ and every sequence of unital completely positive…

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…

We consider a version of a famous open problem formulated by Kadison, asking whether bounded representations of operator algebras are automatically completely bounded. We investigate this question in the context of amenable operator…