Existence of Kraus decomposition in infinite dimension via strongly-convergent direct process tomography
Questo articolo presenta un algoritmo costruttivo per ottenere una decomposizione di Kraus di operatori completamente positivi su spazi di Hilbert a dimensione infinita, generando iterativamente operatori con un numero crescente di voci nulle, garantendo così la convergenza nella topologia della forte operatività e migliorando le prove non costruttive standard attraverso la tomografia di processo pratica.