Abstract:We present an alternative (constructive) proof of the statement that for every completely positive, trace-preserving map $\Phi$ there exists an auxiliary Hilbert space $\mathcal K$ in a pure state $|\psi\rangle\langle\psi|$ as well as a unitary operator $U$ on system plus environment such that $\Phi$ equals $\operatorname{tr}_{\mathcal K}(U((\cdot)\otimes|\psi\rangle\langle\psi|)U^*)$. The main tool of our proof is Sz.-Nagy's dilation theorem applied to isometries defined on a subspace. In our construction, the environment consists of a system of dimension "Kraus rank of $\Phi$" together with a qubit, the latter only acting as a catalyst. In contrast, the original proof of Hellwig & Kraus given in the 70s yields an auxiliary system of dimension "Kraus rank plus one". We conclude by providing an example which illustrates how the constructions differ from each other.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to construct the Stinespring form of quantum mappings (i.e., quantum channels) in the infinite - dimensional case. Specifically, the paper provides a new proof method, which proves that for every completely positive and trace - preserving mapping \(\Phi\), there exists an auxiliary Hilbert space \(K\), a pure state \(|\psi\rangle\langle\psi|\), and a unitary operator \(U\) on the system plus the environment, such that \(\Phi\) can be expressed as:
\[ \Phi=\text{tr}_K\left( U\left( (\cdot)\otimes|\psi\rangle\langle\psi| \right)U^* \right) \]
Here, \(\text{tr}_K\) represents the partial trace over the auxiliary space \(K\). The main tool in the paper is the Sz. - Nagy dilation theorem applied to isometric operators defined on subspaces. Through this method, the paper proposes a new construction method, in which the environment consists of a system with a dimension of "Kraus rank" and a qubit as a catalyst. This is different from the original method proposed by Hellwig and Kraus in the 1970s, which requires an auxiliary system with a dimension of "Kraus rank plus one".
The paper also compares different construction methods through a simple example and shows the differences between these methods.