Exact depolarizing storage

For $0\le \eta \le 1$, define

This is a linear CPTP map on arbitrary matrices.

The specified storage process consists only of ${\mathcal{P}}_{{\eta }_1},\dots ,{\mathcal{P}}_{{\eta }_T}$, with no syndrome-assisted recovery or other undeclared intermediate operation. Put