Infinitely divisible completely positive mappings (Q1097488): Difference between revisions

We generalise the theory of infinitely divisible positive definite functions f:\({\mathcal G}\to {\mathbb{C}}\) on a group \({\mathcal G}\) to a theory of infinite divisibility for completely positive mappings \(\phi\) :\({\mathcal G}\to {\mathcal B}({\mathcal H})\) taking values in the algebra of bounded operators on some Hilbert space \({\mathcal K}.\) We prove a structure theorem for normalised infinitely divisible completely positive mappings \(\Phi\) which shows that the mapping \(\Phi\), its Stinespring representation and its Stinespring isometry are of type S [in the sense of \textit{A. Guichardet}, Symmetric Hilbert spaces and related topics, Lect. Notes Math. 261 (1972; Zbl 0265.43008)]. Furthermore, we prove that a completely positive mapping is infinitely divisible if and only if it is the exponential (as defined in this paper) of a hermitian conditionally completely positive mapping.