{"id":"arxiv/2608.07207","url":"https://arxiv.org/abs/2608.07207","tags":["quant-ph","math-ph"],"score":0,"title":"Existence of Kraus decomposition in infinite dimension via strongly-convergent direct process tomography","domain":"quant-ph","source":"arxiv","authors":["Paul E. Lammert"],"reviews":0,"subject":"quant-ph","summary":"An algorithm is presented for Kraus decomposition of a completely positive operator over separable (countably-infinite-dimensional) Hilbert spaces, together with an elementary proof that the generated sum convergences in strong-operator topology. This improves on the standard, nonconstructive, proof by fusing the abstract problem with practical process tomography. Kraus operators are generated one-by-one, each having one more guaranteed zero matrix entry than the previous one. In this way, the stream of outputs of the algorithm provides a coherent family of Kraus decompositions of…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-08-07","reactions":{}}