 No-programming theorem

A deterministic finite-dimensional universal programmable quantum gate cannot implement every unitary exactly: programs for physically distinct unitaries would have to be mutually orthogonal, but a finite-dimensional program register contains only finitely many mutually orthogonal states.

This is a restriction on programmable quantum circuits and their unitary operators, rather than a statement about the existence of classical program descriptions.