Pure matrix states on operator systems
Given an operator system \(V\), denote by \(\text{CP}_k(V)\) the set of completely positive maps \(\varphi:V\rightarrow M_k(\mathbb{C})\), and by \(S_k(V)\) the set of elements of \(\text{CP}_k(V)\) which are unital (the latter being called matrix states). A map \(\psi\in \text{CP}_k(V)\) is pure if \(\varphi\leq_{cp}\psi\) implies \(\varphi=t\psi\) for some \(t\in[0,1]\). The author notes that a consequence of Choquet's theorem is that \(\text{CP}_k(V)=\overline{\text{co}} \{\varphi\in\text{CP}_k(V): \varphi\) is pure\(\}\), the closure in the point-wise topology. Then, the main theorem in the paper shows that pure elements of \(\text{CP}_k(V)\) are exactly the multiples (in the non-commutative convexity sense) of pure matrix states; more precisely, given \(\psi\in\text{CP}_k(V)\) pure, there exist \(m\in\mathbb{N}\), \(\varphi\in S_m(V)\), \(\gamma\in M_{m,k}(\mathbb{C})\) such that \(m\leq k\), \(\varphi\) is pure, and \(\psi=\gamma^*\varphi \gamma\). Thus, sums of such convex combinations form a dense subset of \(\text{CP}_k(V)\). The theorem is then used to provide a simplified proof of a result of \textit{C. Webster} and \textit{S. Winkler} [Trans. Am. Math. Soc. 351, No. 1, 307--322 (1999; Zbl 0908.47042)], using only classical methods in the convexity part of the proof. The last part of the paper is devoted to characterize some properties of pure matrix states, and to give some concrete examples in the case \(\dim V=3\). As the author points out, even in finite dimensional cases it is nontrivial to determine whether a matrix state is pure.
- C*-Convexity and Matricial Ranges
- Extremal Matrix States on Operator Systems
- scientific article; zbMATH DE number 1544066 (Why is no real title available?)
- scientific article; zbMATH DE number 1849957 (Why is no real title available?)
- Injectivity and operator spaces
- Lectures on Choquet's theorem
- Matricial ranges of quadratic operators
- Matrix convexity: Operator analogues of the bipolar and Hahn-Banach theorems
- Model theory and linear extreme points in the numerical radius unit ball
- Positive Functions on C ∗ -Algebras
- Reducing essential eigenvalues
- Subalgebras of C^ *-algebras
- Subalgebras of C\(^*\)-algebras. II
- The Krein-Milman theorem in operator convexity
- The Numerical Radius of a Nilpotent Operator on a Hilbert Space
- The structure of $C^*$-extreme points in spaces of completely positive linear maps on $C^*$-algebras
- The Structure of C*-Convex Sets
- 𝐶*-extreme points in the generalised state spaces of a 𝐶*-algebra
- Maps with the unique extension property and \({C}^\ast\)-extreme points
- Extreme points of matrix convex sets, free spectrahedra, and dilation theory
- Matrix convex sets without absolute extreme points
- The Ramsey property for operator spaces and noncommutative Choquet simplices
- An intrinsic order-theoretic characterization of the weak expectation property
- Extreme states on operator spaces in ternary rings of operators
- Facial structure of matrix convex sets
- Arveson extreme points span free spectrahedra
- The \(C^*\)-envelope of an irreducible periodic weighted unilateral shift
- \(C^*\)-convex sets and completely positive maps
- Matrix convex hulls of free semialgebraic sets
- Uniqueness, universality, and homogeneity of the noncommutative Gurarij space
- Complete geometric unitaries in operator spaces
- Extremal Matrix States on Operator Systems
- On matricial ranges of some matrices
- The Arveson boundary of a free quadrilateral is given by a noncommutative variety
- Empirical Properties of Optima in Free Semidefinite Programs
- Extreme states and boundary representations of operator spaces in ternary rings of operators
- Matrix extreme points and free extreme points of free spectrahedra
- Free extreme points span generalized free spectrahedra given by compact coefficients
- Noncommutative Choquet theory
- Matrix systems, algebras, and open maps
- A remark on oscillatory matrices
- Real noncommutative convexity. II: Extremality and noncommutative convex functions
- The Choquet boundary of an operator system
This page was built for publication: Pure matrix states on operator systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q703627)
