A note on noncommutative unique ergodicity and weighted means (Q959883): Difference between revisions

Let \(\mathfrak A\) be a \(C^*\)-algebra with unit \(\mathbb1\). A positive map \(T:{\mathfrak A}\rightarrow {\mathfrak A}\) with \(T{\mathbb1}={\mathbb1}\) is called Markov operator. A pair \(({\mathfrak A},T)\) is called \(C^{\star}\)-dynamical system. We say that \(({\mathfrak A}, T)\) is uniquely ergodic relative \({\mathfrak A}^T\) if every state of \({\mathfrak A}^T\) has a unique \(T\)-invariant state extension to \(\mathfrak A\). In the paper, it is shown that \(({\mathfrak A},T)\) is uniquely ergodic to its fixed point subspace iff \(\frac{1}{p_1 + \cdots +p_n}\sum_{k=1}^{n} p_k T^k x\), \(p_k >0\), \(p_1 + \dots +p_n \rightarrow \infty\) as \(n\rightarrow \infty\), converges to \(E_T (x)\) for all \(x\in {\mathfrak A}\), where \(E_T\) is a projection of \(\mathfrak A\) onto the fixed point subspace of \(T\). It is constructed a uniquely ergodic entangled Markov operator relative to its fixed point subspace, which is not ergodic.