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.