1: \begin{abstract}

2:   A programmable quantum processor uses the states of a program register to specify one element of a set of quantum channels {which is applied} to an input register. It is well-known that {such a device} is impossible with {a} finite-dimensional program register for any set that contains infinitely

3: many unitary quantum channels (Nielsen and Chuang's \emph{No-Programming

4: Theorem}), meaning that a universal programmable quantum processor {does not} exist.

5: The situation changes if the system has symmetries. Indeed, here 

6: we consider group-covariant channels. If the group acts irreducibly on the channel input, {these channels} can be implemented 

7: exactly by a programmable quantum processor with finite program 

8: dimension (via 

9: \emph{teleportation simulation}, which uses the Choi-Jamio{\l}kowski state of the 

10: channel as a program). Moreover, by leveraging the representation 

11: theory of the symmetry group action, we show how to remove redundancy 

12: in the program and prove that the resulting program register has 

13: minimum Hilbert space dimension. 

14: Furthermore, we provide {upper and} lower bounds {on} the program {register}

15: dimension of a processor implementing all group-covariant channels 

16: approximately.

17: 

18: \end{abstract}

19: