Past exam of the introduction to quantum information course of the University of Oxford / 2021 / 3 / c / ii / Solution

The output of a state of Bloch radius $u$ has eigenvalues $(1\pm ru)/2$. These are nonnegative for every $0\le u\le 1$ exactly whenIf $|r|>1$, a pure input already gives a negative eigenvalue. Conversely, $|r|\le 1$ preserves the Bloch ball, hence positivity for states and, by positive scaling, for all positive operators. This is positivity of the map alone; physical implementation on part of an entangled system needs complete positivity.