Strictly contractive quantum channel
= Strictly contractive quantum channel
A quantum channel is strictly contractive in trace distance when it reduces the distance between every pair of distinct density operators by a uniform factor smaller than one.