Heisenberg-Weyl twirling channel

Averaging conjugation by all Heisenberg-Weyl operators completely depolarizes a system:Summing over phases $Z^m$ kills off-diagonal matrix elements, and averaging shifts $X^k$ makes all diagonal elements equal. Acting on subsystem $B$ of a bipartite operator gives $({\mathrm{Tr}}_{B}A)\otimes I_B/d$. This identity turns joint convexity of quantum relative entropy into monotonicity under partial trace.