Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 343 / 1 / b

An open-boundary matrix product state with physical dimension $q$ and bond dimension $\chi$ iswhere the $A^i$ are $\chi \times \chi$ matrices and $|\ell ⟩,|r⟩$ are boundary vectors. For periodic boundary conditions, replace the boundary contraction by the matrix trace $\mathrm{Tr}(A^{i_1}\cdots A^{i_N})$.

The same matrices define the matrix product state transfer mapWhen ${\sum }_i(A^i{)}^{†}{A}^i=I$, the Stinespring dilationis an isometry. Repeatedly applying $V$ stores each Kraus label in a fresh physical register:Contracting the remaining virtual system with $⟨\ell |$ gives an MPS, while tracing over all recorded labels gives repeated application of the completely positive map $\mathcal{E}$. The MPS is therefore a coherent unravelling of the channel. Equivalently, retaining the Kraus-label registers realizes a purification of its output. A non-normalized MPS tensor gives the same construction with a general completely positive map; an appropriate canonical gauge normalizes the transfer map on its support.