A Radon-Nikodym theorem for CP-maps on Hilbert pro-C*-modules
Bhumi Amin, Ramesh Golla
TL;DR
This work extends Radon–Nikodým theory to operator-valued CP maps between Hilbert pro-$C^*$-modules by introducing an equivalence relation on CP maps and a corresponding Stinespring-compatibility framework. It defines a preorder on CP maps and proves a Radon–Nikodým-type theorem: whenever $\Psi \preceq \Phi$ there exists a positive contraction $\Delta_\Phi(\Psi) \in \pi_\Phi(E)'$ with $\Psi \sim \Phi_{\sqrt{\Delta_\Phi(\Psi)}}$, yielding a one-to-one correspondence between CP-map equivalence classes and RN derivatives. The results generalize BR’s Stinespring construction for maps between Hilbert pro-$C^*$-modules and connect to prior RN theorems for CP maps on $^*$-algebras, while also providing purity criteria tied to irreducibility of the Stinespring representation. The framework advances structural understanding of CP maps in the pro-$C^*$-algebra setting and offers tools for comparing quantum operations in this generality.
Abstract
We introduce an equivalence relation on the set of all completely positive maps between Hilbert modules over pro-C*-algebras and analyze the Stinespring's construction for equivalent completely positive maps. We then give a preorder relation in the collection of all completely positive maps between Hilbert modules over pro-C*-algebras and obtain a Radon-Nikodym type theorem.
