I have a quantum channel which can be expressed by Kraus operators, but the channel will add another Hilbert space to the original one, like from HA to HA tensor HB. How can I construct a unitary operator and ancilla systems to realize this channel? I have searched for related notes but they all talk about channels that do not change the dimension of the Hilbert space.