Classification and implementation of unitary-equivariant and permutation-invariant quantum channels
Laura Mančinska, Elias Theil
TL;DR
This work classifies all quantum channels that are both unitary-equivariant and permutation-invariant from $\mathbb{C}^{d}$-tensor powers, revealing that extremal channels factor into unitary Schur sampling, irrep-level unitary-equivariant channels, and the adjoint Schur sampling. It then provides a streaming implementation ansatz that reduces the problem to implementing unitary Schur sampling, its adjoint, and unitary-equivariant channels on irreps via a resource-state, with explicit memory and gate complexity bounds. The authors apply this general framework to state symmetrization, symmetric cloning, and purity amplification, achieving polynomial-time streaming algorithms with exponential memory improvements in $m$ and $n$, and the first efficient algorithm for symmetric cloning at general dimension $d$. The results leverage mixed Schur–Weyl duality, Clebsch–Gordan transforms, and a structured decomposition over $SU(d)$ irreps, yielding practical, memory-efficient quantum circuits for symmetry-laden tasks. Overall, the paper provides a principled, representation-theoretic foundation for constructing and implementing symmetry-respecting quantum channels and demonstrates substantial practical gains in three emblematic tasks.
Abstract
Many quantum information tasks use inputs of the form $ρ^{\otimes m}$, which naturally induce permutation and unitary symmetries. We classify all quantum channels that respect both symmetries - i.e. unitary-equivariant and permutation-invariant quantum channels from $(\mathbb{C}^{d})^{\otimes m}$ to $(\mathbb{C}^{d})^{\otimes n}$ - via their extremal points. Operationally, each extremal quantum channel factors as unitary Schur sampling $\rightarrow$ an irrep-level unitary-equivariant quantum channel $\rightarrow$ the adjoint unitary Schur sampling. We give a streaming implementation ansatz that uses an efficient streaming implementation of unitary Schur sampling together with a resource-state primitive, and we apply it to state symmetrization, symmetric cloning, and purity amplification. In these applications we obtain polynomial-time algorithms with exponential memory improvements in $m,n$. Further, for symmetric cloning we present, to our knowledge, the first efficient (polynomial-time) algorithm with explicit memory and gate bounds.
