Ergodic decomposition in the space of unital completely positive maps

TL;DR

This paper develops a decomposition theory for G-invariant unital completely positive maps on C*-algebras, extending classical invariant state decompositions using generalized orthogonal measures and analyzing extreme points in the convex set of such maps.

Contribution

It introduces a G-invariant decomposition framework for UCP maps using generalized orthogonal measures and characterizes extreme points in the convex set of G-invariant UCP maps.

Findings

Established a G-invariant decomposition of UCP maps.

Characterized extreme points of the set of G-invariant UCP maps.

Provided examples of G-invariant UCP map decompositions.

Abstract

The classical decomposition theory for states on a C*-algebra that are invariant under a group action has been studied by using the theory of orthogonal measures on the state space \cite{BR1}. In \cite{BK3}, we introduced the notion of \textit{generalized orthogonal measures} on the space of unital completely positive (UCP) maps from a C*-algebra $A$ into $B(H)$. In this article, we consider a group $G$ that acts on a C*-algebra $A$, and the collection of $G$-invariant UCP maps from $A$ into $B(H)$. This article examines a $G$-invariant decomposition of UCP maps by using the theory of generalized orthogonal measures on the space of UCP maps, developed in \cite{BK3}. Further, the set of all $G$-invariant UCP maps is a compact and convex subset of a topological vector space. Hence, by characterizing the extreme points of this set, we complete the picture of barycentric decomposition in the space of $G$-invariant UCP maps. We establish this theory in Stinespring and Paschke dilations of completely positive maps. We end this note by mentioning some examples of UCP maps admitting a decomposition into $G$-invariant UCP maps.