Convexity, unitary invariance and monotonicity under completely positive maps over injective vN-algebras (Q1092386)

Let \({\mathcal M}\) be an injective von Neumann algebra and let \(S_ 0({\mathcal M})\) be the set of normal states of \({\mathcal M}\). Let \(f=f_{{\mathcal M}}\) be a function of \(S_ 0({\mathcal M})\times...\times S_ 0({\mathcal M})\) (n-fold product) onto \({\mathbb{R}}\). Suppose \({\mathcal M}\to f_{{\mathcal M}}\) is a functor on the category of injective von Neumann algebras. Let \(\Gamma_ c=\{\{\omega_ j\}| f(\omega_ 1,...,\omega_ n)\leq c\}\) for real c. Then f is said to be quasi-convex (resp., lower semi-continuous) if \(\Gamma_ c\) is convex (resp., \(w^*\)-closed) for every c. Also f is said to be unitarily invariant if \(f(\omega_ 1,...,\omega_ n)=f(\omega^ u_ 1,...,\omega^ u_ n)\) for every \(\omega_ j\) and every unitary u in \({\mathcal M}\). Here \(\omega^ u_ j=\omega_ j(u^*\cdot u)\). If \({\mathcal N}\) is an injective and a subalgebra of \({\mathcal M}\), then f is said to be isotonic if \(f(\{\omega_ j\})\geq f(\{\omega_ j| {\mathcal N}\}).\) Let f have the preceding properties plus the two additional properties: (1) \(_{k}f(\{\omega_ j| {\mathcal M}_ k\})=f(\{\omega_ j\})\) whenever \(\{\) \({\mathcal N}_ k\}\) is an increasing sequence of subalgebras whose union generates \({\mathcal M}\) and (2) \(f(\{\omega_ j\}\otimes \tau \}=f(\{\omega_ j\})\) and \(f(\tau \otimes \{\omega_ j\})=f(\{\omega_ j\})\) for \(\tau \in S_ 0({\mathcal N})\) where \({\mathcal N}\) is an injective algebra. Then the author shows that f behaves monotonly under completely positive, normal, unity-preserving linear maps T, i.e., if T:\({\mathcal M}\to {\mathcal N}\), then \(f(\{\omega_ j\circ T\})\leq f(\{\omega_ j\}).\) Now let \({\mathcal A}\) be the norm closure of the ascending sequence matrix algebras whose union generates the injective algebra \({\mathcal M}\). Let \(\{\omega_ j\}\) and \(\{\sigma_ j\}\) be in the n-fold product of \(S_ 0({\mathcal M})\). Then the author shows that there is a completely positive, normal, unity-preserving linear map T of \({\mathcal M}\) with \(\sigma_ j\circ T=\omega_ j\) for all j if and only if there is a \(\phi\in closure (conv\{T(u\cdot u)| u\) unitary in \({\mathcal A}\})\) with \(\phi (\sigma_ j| {\mathcal A})=\omega_ j| {\mathcal A}\) for all j. Here the closure is taken in the point \(w^*\)-topology. The author points out that the situation described here arises in physics (in particular, in the study of entropy in statistical mechanics).