Related papers: Non-commutative peaking phenomena and a local vers…

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…

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…

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…

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…

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…

Through the lens of noncommutative function theory, we study restrictions of pure states to unital subspaces of $C^*$-algebras, in the spirit of the Kadison--Singer question. More precisely, given a unital subspace $M$ of a $C^*$-algebra…

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$.…

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…

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…

In this paper, we employ operator system techniques to investigate structural properties of C*-algebras. In particular, we provide more direct proofs of results concerning exactness and the local lifting property (LLP) of group…

In this paper we give a decomposition of a state on a $C^*$-algebra into a family of pure states and a decomposition of a representation into a family of irreducible representation. Then, we use it to solve the following three problems…

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

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…

We investigate the hyperrigidity of subsets of unital $C^*$-algebras annihilated by states (or, more generally, by completely positive maps). This is closely related to the concept of rigidity at $0$ introduced by G. Salomon, who studied…

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…

`Hypergeometric states', which are a one-parameter generalization of binomial states of the single-mode quantized radiation field, are introduced and their nonclassical properties are investigated. Their limits to the binomial states and to…

We give several applications of a recent theorem of the second author, which solved a conjecture of the first author with Hay and Neal, concerning contractive approximate identities; and another of Hay from the theory of noncommutative peak…

We introduce an operator system, universal for the probabilistic models of a contextuality scenario, and identify its maximal C*-cover via the right C*-algebra of a canonical ternary ring of operators, arising from a hypergraph version of…

The closed one-sided ideals of a C*-algebra are exactly the closed subspaces supported by the orthogonal complement of a closed projection. Let A be a (not necessarily selfadjoint) subalgebra of a unital C*-algebra B which contains the unit…