Existence of Kraus decomposition in infinite dimension via strongly-convergent direct process tomography
Dit artikel presenteert een constructief algoritme voor het genereren van Kraus-decompositie van volledig positieve operatoren op oneindig-dimensionale Hilbertruimten door iteratief operatoren te produceren met toenemende nul-elementen, waardoor convergentie in de sterk-operator-topologie wordt gewaarborgd en verbetering wordt gerealiseerd ten opzichte van standaard niet-constructieve bewijzen door middel van praktische proces-tomografie.