\begin{pmatrix} T_0 & T_{-1} & \cdots & T_{-(n-1)} T_1 & T_0 & \cdots & T_{-(n-2)} \vdots & \vdots & \ddots & \vdots T_{n-1} & T_{n-2}& \cdots & T_0 \end{pmatrix} \in M_{mn}(). ] We characterize all pure unital completely positive ({\it{ucp}}) maps from to . Working through the Stinespring isometry and the matrix-valued polynomial , we prove that is pure if and only if it admits a unique pure \ucp extension to if and only if has degree with all its roots on the unit circle . Every such pure induces a \ucp map on given by Let be the compact convex set of all \ucp maps from to . Endowing with the matricial Monge-Kantorovich metric , via an analysis of the extreme points of together with a point-splitting lemma, we show that the induced maps as above are -dense in . Consequently, if denotes the set of normalized where is as above, then the Hausdorff distance as , extending known results of approximation of positive regular Borel measures on the unit circle to the setting of matrix-valued completely positive maps.

生成讲解博客的中文版本

生成AI智能校验的中文版本