标题： 正映射的Sinkhorn-Knopp定理 显示英文标题

标题： Sinkhorn-Knopp theorem for positive maps

摘要： 一个正映射 $S:M_k\rightarrow M_m$ 被称为双随机的，如果 $S(\frac{Id}{\sqrt{k}})=\frac{Id}{\sqrt{m}}$ 和 $S^*(\frac{Id}{\sqrt{m}})=\frac{Id}{\sqrt{k}}$。 Here, we show that, for a positive map $T:M_k\rightarrow M_m$, there are invertible matrices $X'\in M_k$, $Y'\in M_m$ such that $Y'T(X'XX'^*)Y'^*$ is doubly stochastic if and only if $T(Id)$ and $T^*(Id)$ are invertible matrices and there are orthogonal projections $V_i\in M_k$, $W_i\in M_m$, $1\leq i\leq s$, such that $\mathbb{C}^k=\bigoplus_{i=1}^s\Im(V_i)$, $\mathbb{C}^m=\bigoplus_{i=1}^s\Im(W_i)$ and, for every $i$, $T(V_iM_kV_i)\subset W_iM_mW_i$, $\frac{\text{rank}(W_i)}{\text{rank}(V_i)}=\frac{m}{k}$ and $\text{rank}(X)\text{rank}(W_i)<\text{rank}(T(X))\text{rank}(V_i)$ for every positive semidefinite Hermitian matrix $X\in V_iM_kV_i$ with $0<\text{rank}(X)<\text{rank}(V_i)$. 为了获得这个定理，我们推广了Sinkhorn和Knopp关于正映射的支持和完全支持的思想，并调整了他们的迭代算法。 这个结果提供了滤波规范形式存在的必要且充分条件，这在量子信息理论中被广泛使用。 我们证明了对于状态$A\in M_k\otimes M_m\simeq M_{km}$，当$\dim(\ker(A))<k-1$时，以及当$k=m$时，$\dim(\ker(A))<\min\{k,m\}$，当$k\neq m$时，这种规范形式存在。 显示英文摘要

摘要： A positive map $S:M_k\rightarrow M_m$ is called doubly stochastic if $S(\frac{Id}{\sqrt{k}})=\frac{Id}{\sqrt{m}}$ and $S^*(\frac{Id}{\sqrt{m}})=\frac{Id}{\sqrt{k}}$. Here, we show that, for a positive map $T:M_k\rightarrow M_m$, there are invertible matrices $X'\in M_k$, $Y'\in M_m$ such that $Y'T(X'XX'^*)Y'^*$ is doubly stochastic if and only if $T(Id)$ and $T^*(Id)$ are invertible matrices and there are orthogonal projections $V_i\in M_k$, $W_i\in M_m$, $1\leq i\leq s$, such that $\mathbb{C}^k=\bigoplus_{i=1}^s\Im(V_i)$, $\mathbb{C}^m=\bigoplus_{i=1}^s\Im(W_i)$ and, for every $i$, $T(V_iM_kV_i)\subset W_iM_mW_i$, $\frac{\text{rank}(W_i)}{\text{rank}(V_i)}=\frac{m}{k}$ and $\text{rank}(X)\text{rank}(W_i)<\text{rank}(T(X))\text{rank}(V_i)$ for every positive semidefinite Hermitian matrix $X\in V_iM_kV_i$ with $0<\text{rank}(X)<\text{rank}(V_i)$. In order to obtain this theorem, we generalize Sinkhorn and Knopp ideas of support and total support for positive maps and we adapt their iterative algorithm. This result provides a necessary and sufficent condition for the existence of the filter normal form, which is commonly used in Quantum Information Theory. We prove the existence of this normal form for states $A\in M_k\otimes M_m\simeq M_{km}$ such that $\dim(\ker(A))<k-1$, if $k=m$, and $\dim(\ker(A))<\min\{k,m\}$, if $k\neq m$.