1: \begin{abstract}

2: Poulin, Tillich, and Ollivier discovered an important separation between the

3: classical and quantum theories of convolutional coding, by proving that a

4: quantum convolutional encoder cannot be both non-catastrophic and recursive.

5: Non-catastrophicity is desirable so that an iterative decoding algorithm

6: converges when decoding a quantum turbo code whose constituents are quantum

7: convolutional codes, and recursiveness is as well so that a quantum turbo code

8: has a minimum distance growing nearly linearly with the length of the code,

9: respectively. Their proof of the aforementioned theorem was admittedly

10: \textquotedblleft rather involved,\textquotedblright\ and as such, it has been

11: desirable since their result to find a simpler proof. In this paper, we

12: furnish a proof that is arguably simpler. Our approach is group-theoretic---we

13: show that the subgroup of memory states that are part of a zero

14: physical-weight cycle of a quantum convolutional encoder is equivalent to the

15: centralizer of its \textquotedblleft finite-memory\textquotedblright\ subgroup

16: (the subgroup of memory states which eventually reach the identity memory

17: state by identity operator inputs for the information qubits and identity or

18: Pauli-$Z$ operator inputs for the ancilla qubits). After proving that this

19: symmetry holds for any quantum convolutional encoder, it easily follows that

20: an encoder is non-recursive if it is non-catastrophic. Our proof also

21: illuminates why this no-go theorem does not apply to entanglement-assisted

22: quantum convolutional encoders---the introduction of shared entanglement as a

23: resource allows the above symmetry to be broken.

24: 

25: \end{abstract}

26: