Existence of Kraus decomposition in infinite dimension via strongly-convergent direct process tomography
The paper presents an algorithm for finding Kraus decompositions of completely positive operators over infinite-dimensional Hilbert spaces using direct process tomography. It iteratively constructs Kraus operators by reducing the operator based on pairs from orthonormal bases, guaranteeing convergence in the strong-operator topology.