Input independence
Yuri G. Gurevich, Andreas R. Blass · arXiv (Cornell University) · 2021
We establish the following input independence principle. If a quantum circuit $\mathcal C$ computes a unitary transformation $U_μ$ along a computation path $μ$, then the probability that computation of $\mathcal C$ follows path $μ$ is independent of the input.