From the Choi formalism in infinite dimensions to unique decompositions of generators of completely positive dynamical semigroups
Frederik Vom Ende
DOI: https://doi.org/10.1142/s0219025724500115
IF: 0.828
2024-08-30
Infinite Dimensional Analysis Quantum Probability and Related Topics
Abstract:Infinite Dimensional Analysis, Quantum Probability and Related Topics, Ahead of Print. Given any separable complex Hilbert space, any trace-class operator [math] which does not have purely imaginary trace, and any generator [math] of a norm-continuous one-parameter semigroup of completely positive maps we prove that there exists a unique bounded operator [math] and a unique completely positive map [math] such that (i) [math], (ii) the superoperator [math] is trace class and has vanishing trace, and (iii) [math] is a real number. Central to our proof is a modified version of the Choi formalism which relates completely positive maps to positive semi-definite operators. We characterize when this correspondence is injective and surjective, respectively, which in turn explains why the proof idea of our main result cannot extend to non-separable Hilbert spaces. In particular, we find examples of positive semi-definite operators which have empty pre-image under the Choi formalism as soon as the underlying Hilbert space is infinite-dimensional.
mathematics, applied,statistics & probability,quantum science & technology,physics, mathematical