# Is the "unitary twirling operation" physically realizable?

In this neat answer by Markus Heinrich, it is shown that twirling an arbitrary quantum channel $$\Lambda$$ over the unitary group $$U(d)$$ yields a depolarizing channel $$\tilde{\Lambda}$$ given by $$\tilde{\Lambda}(M) = \Pi_{U(d)}(\Lambda)(M) = (1-p)\mathrm{Tr}(M) \frac{I}{d} + p M,$$ where $$M$$ is a linear operator on the Hilbert space (and $$p$$ is some function of $$\Lambda$$, $$M$$, and $$d$$).

1st question: Is this "unitary twirling operation" considered something physically realizable? For example, it often seems to be the case that the depolarizing channel is used in simulations and calculations, etc; is this because if we are given an arbitrary channel we can simply start any algorithm by unitary-twirling in some physical manner and therefore we may as well assume we started with the depolarizing channel to begin with? The comment by Norbert Schuch to this answer seems to suggest that the answer is yes, but maybe someone can provide more details?

2nd question: As Heinrich points out in his answer, one can replace $$U(d)$$ by any group $$G$$ and take the "$$G$$-twirl" of a channel instead of the unitary twirl. Is the $$G$$-twirl operation consider something physical?

Question 1: I guess it depends what your understanding of "physical" is. In my understanding, everything you can do in the lab is physical. Thus, twirling is perfectly physical. Note that you do not have to implement the twirled channel $$\tilde\Lambda$$ directly. As you have to collect statistics anyway, you can simply conjugate the quantum channel $$\Lambda$$ by randomly drawn unitaries in every run. This will be operationally indistinguishable from implementing $$\tilde\Lambda$$.
Question 2: Well, $$G$$ should be represented as a subgroup of $$U(d)$$, so it is as physical as a unitary twirl (just perform the appropriate subset of gates!). In practice, you would anyway replace the unitary twirl by e.g. a Clifford twirl, or even random circuits (the twirl does not change, but its implementation!). This is simply because a) sampling from the Haar measure is computationally hard and so is b) (approximately) compiling Haar-random unitaries.
• Ok, great answer! But what if a G-twirled (or unitary-twirled) channel applied to certain inputs $M$ yields $\textbf{0}$? Since twirling is a projection of one channel onto another this "zero-rank" scenario certainly could happen for some group $G$. Naively it seems like such a channel wouldn't be allowed physically because if $M$ is a density matrix then the output doesn't have "purity 1", i.e., $Tr(M^2) = 0 \neq 1$. In contrast, such a scenario seems a priori valid given your answer. Feb 19 at 13:35