REVIEW 8 cited by
Noncommutative Choquet theory
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
We introduce a new and extensive theory of noncommutative convexity along with a corresponding theory of noncommutative functions. We establish noncommutative analogues of the fundamental results from classical convexity theory, and apply these ideas to develop a noncommutative Choquet theory that generalizes much of classical Choquet theory. The central objects of interest in noncommutative convexity are noncommutative convex sets. The category of compact noncommutative sets is dual to the category of operator systems, and there is a robust notion of extreme point for a noncommutative convex set that is dual to Arveson's notion of boundary representation for an operator system. We identify the C*-algebra of continuous noncommutative functions on a compact noncommutative convex set as the maximal C*-algebra of the operator system of continuous noncommutative affine functions on the set. In the noncommutative setting, unital completely positive maps on this C*-algebra play the role of representing measures in the classical setting. The continuous convex noncommutative functions determine an order on the set of unital completely positive maps that is analogous to the classical Choquet order on probability measures. We characterize this order in terms of the extensions and dilations of the maps, providing a powerful new perspective on the structure of completely positive maps on operator systems. Finally, we establish a noncommutative generalization of the Choquet-Bishop-de Leeuw theorem asserting that every point in a compact noncommutative convex set has a representing map that is supported on the extreme boundary. In the separable case, we obtain a corresponding integral representation theorem.
Forward citations
Cited by 8 Pith papers
-
Noncommutative partial convexity via $\Gamma$-convexity
Γ-convex free sets, defined by closure under isometries that intertwine a tuple Γ of free polynomials, admit Effros-Winkler-style separation by monic Γ-pencils.
-
The Hao-Ng isomorphism theorem for reduced crossed products
For any C*-correspondence with a generalized gauge action by a locally compact Hausdorff group, the Cuntz-Pimsner algebra of the reduced crossed product is canonically isomorphic to the reduced crossed product of the ...
-
Boundary representations from constrained interpolation
For four carefully chosen interpolation points avoiding 0 and λ, the C*-envelope of H∞_node/I is infinite-dimensional, and for every node set avoiding the constrained points the quotient embeds completely isometricall...
-
$C^*$-extreme contractive completely positive maps
For finite-dimensional Hilbert spaces, the C*-extreme points of contractive completely positive maps are exactly the P-C*-extreme points for projections P, giving a complete nested-direct-sum structure.
-
Compact convex sets and bases--classical and noncommutative
Abstract characterizations of matrix convex sets via universal base-norm spaces yield dual characterizations of operator systems and refinements of convex-set regularity.
-
Extreme points of unital completely positive maps invariant under partial action
The paper proves an equivalence characterizing extreme points of tau-invariant UCP maps from a C*-algebra to B(H) in terms of Radon-Nikodym derivatives and faithful subspaces.
-
$C^*$-supports and abnormalities of operator systems
C*-supports are unique exactly when the generated C*-algebra lies in every injective envelope, yielding new characterizations of unique extension and hyperrigidity and a formula for the span of abnormalities.
-
Hyperrigidity III
In a unital separable C*-algebra, a set G is hyperrigid exactly when every sequence of representations that converges weakly on G converges strongly on the whole algebra.
Discussion (0). Continue with ORCID to comment.