= 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.
Back to article page
