Related papers: Arveson's hyperrigidity conjecture is false

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 $A$ be a unital $C^*$-algebra containing a closed two-sided ideal $J$ and an operator system $X$. We enlarge $X$ to an operator system $\mathcal{S}(X,J)$ in $\mathbb{M}_2(A)$, and show that in order for $\mathcal{S}(X,J)$ to be…

Although Arveson's hyperrigidity conjecture was recently resolved negatively by B. Bilich and A. Dor-On, the problem remains open for commutative $C^*$-algebras. Relatively few examples of hyperrigid sets are known in the commutative case.…

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…

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 prove that for every compact, convex subset $K\subset\mathbb{R}^2$ the operator system $A(K)$, consisting of all continuous affine functions on $K$, is hyperrigid in the C*-algebra $C(\mathrm{ex}(K))$. In particular, this result implies…

We establish a dilation-theoretic characterization of the Choquet order on the space of measures on a compact convex set using ideas from the theory of operator algebras. This yields an extension of Cartier's dilation theorem to the…

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 revisit the results of Kim, and of Katsoulis and Ramsey concerning hyperrigidity for non-degenerate C*-correspondences. We show that the tensor algebra is hyperrigid, if and only if Katsura's ideal acts non-degenerately, if and only if…

We construct an operator system generated by $4$ operators that is not hyperrigid, although all restrictions of irreducible representations have the unique extension property.

Motivated by Arveson's conjecture, we introduce a notion of hyperrigidity for a partial order on the state space of a $C^*$-algebra $B$. We show how this property is equivalent to the existence of a boundary: a subset of the pure states…

In this article, we show that, if $S\in \mathcal{B}(H)$ is irreducible and essential unitary, then $\{S,SS^*\}$ is a hyperrigid generator for the unital $C^*$-algebra $\mathcal{T}$ generated by $\{S,SS^*\}$. We prove that, if $T$ is an…

Given a C$^*$-correspondence $X$, we give necessary and sufficient conditions for the tensor algebra $\mathcal T_X^+$ to be hyperrigid. In the case where $X$ is coming from a topological graph we obtain a complete characterization.

We study restriction and extension properties for states on C$^*$-algebras with an eye towards hyperrigidity of operator systems. We use these ideas to provide supporting evidence for Arveson's hyperrigidity conjecture. Prompted by various…

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…

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…

Let $S = (S_1, \ldots, S_d)$ denote the compression of the $d$-shift to the complement of a homogeneous ideal $I$ of $\mathbb{C}[z_1, \ldots, z_d]$. Arveson conjectured that $S$ is essentially normal. In this paper, we establish new results…

A subset $\mathcal{G}$ generating a $C^*$-algebra $A$ is said to be hyperrigid if for every faithful nondegenerate $*$-representation $A\subseteq B(H)$ and a sequence $\phi_n:B(H) \to B(H)$ of unital completely positive maps, we have that…

In this article, we introduce the notions of weak boundary repre- sentation, quasi hyperrigidity and weak peak points in the non-commutative setting for operator systems in C* algebras. An analogue of Saskin theorem relating quasi…

Arveson's extension theorem asserts that B(H) is an injective object in the category of operator systems. Calling every self adjoint unital subspace of a unital *-algebra, a quasi operator system, we show that Arveson's theorem remains…