C^*-extreme points of unital completely positive maps on real C^*-algebras

In this paper, we investigate the general properties and structure of C^*-extreme points within the C^*-convex set UCP(A,B(H)) of all unital completely positive (UCP) maps from a unital real C^*-algebra A to the algebra B(H) of all bounded real linear maps on a real Hilbert space H. We analyze the differences in the structure of C^*-extreme points between the real and complex C^*-algebra cases. In particular, we show that the necessary and sufficient conditions for a UCP map between matrix algebras to be a C^*-extreme point are identical in both the real and complex matrix algebra cases. We also observe significant differences in the structure of C^*-extreme points when A is a commutative real C^*-algebra compared to when A is a commutative complex C^*-algebra. We provide a complete classification of the C^*-extreme points of UCP(A,B(H)), where A is a unital commutative real C^*-algebra and H is a finite-dimensional real Hilbert space. As an application, we classify all C^*-extreme points in the C^*-convex set of all contractive skew-symmetric real matrices in Mₙ(R).