 Kraus representation

Every finite-dimensional completely positive map has $T(\rho )={\sum }_j{K}_j\rho K_j^{†}$. It is trace preserving exactly when ${\sum }_j{K}_j^{†}{K}_j=I$.