Related papers: A Kirchberg type tensor theorem for operator syste…
An operator system modulo the kernel of a completely positive linear map of the operator system gives rise to an operator system quotient. In this paper, operator system quotients and quotient maps of certain matrix algebras are considered.…
We show that the class of 1-exact operator systems is not uniformly definable by a sequence of types. We use this fact to show that there is no finitary version of Arveson's extension theorem. Next, we show that WEP is equivalent to a…
We continue our study of tensor products in the operator system category. We define operator system quotients and exactness in this setting and refine the notion of nuclearity by studying operator systems that preserve various pairs of…
Some recent research on the tensor products of operator systems and ensuing nuclearity properties in this setting raised many stability problems. In this paper we examine the preservation of these nuclearity properties including exactness,…
Operator systems are the unital self-adjoint subspaces of the bounded operators on a Hilbert space. Complex operator systems are an important category containing the C*-algebras and von Neumann algebras, which is increasingly of interest in…
The $C^{\ast}$-algebra $\mathcal{U}_{nc}(n)$ is the universal $C^{\ast}$-algebra generated by $n^2$ generators $u_{ij}$ that make up a unitary matrix. We prove that Kirchberg's formulation of Connes' embedding problem has a positive answer…
A notion of super operator system is defined which generalizes the usual notion of operator systems to include certain unital involutive operator spaces which cannot be represented completely isometric as a concrete operator system on some…
We say that a contractive Hilbert space operator is universal if there is a natural surjection from its generated C*-algebra to the C*-algebra generated by any other contraction. A universal contraction may be irreducible or a direct sum of…
We prove a necessary and sufficient condition for embeddability of an operator system into $\mathcal{O}_2$. Using Kirchberg's theorems on a tensor product of $\mathcal{O}_2$ and $\mathcal{O}_{\infty}$, we establish results on their operator…
Operator systems connect operator algebra, free semialgebraic geometry and quantum information theory. In this work we generalize operator systems and many of their theorems. While positive semidefinite matrices form the underlying…
We establish the dual equivalence of the category of (potentially nonunital) operator systems and the category of pointed compact nc (noncommutative) convex sets, extending a result of Davidson and the first author. We then apply this dual…
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 purpose of the present paper is to lay the foundations for a systematic study of tensor products of operator systems. After giving an axiomatic definition of tensor products in this category, we examine in detail several particular…
We reformed the tensor product theory of vertex operator algebras developed by Huang and Lepowsky so that we could apply it to all vertex operator algebras satisfying C_2-cofiniteness. We also showed that the tensor product theory develops…
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…
In this note we address various algorithmic problems that arise in the computation of the operator norm in unitary representations of a group on Hilbert space. We show that the operator norm in the universal unitary representation is…
We first generalize the logarithmic tensor category theory of Huang-Lepowsky-Zhang to the more general case that the module category for a vertex operator algebra $V$ (more generally a M\"{o}bius vertex algebra) might not be closed under…
Wigner's Theorem states that bijections of the set P_1(H) of one-dimensional projections on a Hilbert space H that preserve transition probabilities are induced by either a unitary or an anti-unitary operator on H (which is uniquely…
We study unital operator spaces endowed with a partially defined product. We give a matrix-norm characterization of such products that allows for a representation theorem where the partial product is realized as composition of operators on…
Recently, E.\ Kirchberg [K1--2] revived the study of pairs of $C^*$-algebras $A,B$ such that there is only one $C^*$-norm on the algebraic tensor product $A\otimes B$, or equivalently such that $A \otimes_{\rm min}B = A\otimes_{\rm max}B$.…