We will prove the existence of a universal quantum cellular automaton. Such qca are defined as the quantum-mechanical pendant of classical one-dimensional cellular automata. As is the case with quantum Turing machines, the well-formedness restriction plays an important role. It will be shown that every proper qca obeys a local constraint which is comparable with the ‘inverse neighborhood’ of cl...