Manuscript Oai279-A@1 · Oai279-A.tex · section · a1abc73f
Exactness and uniformity
Stage 0: freeze the mathematical claim and encoding › Exactness and uniformity · lines 279–285
Because the circuit is unitary, (eq:exact-support) is equivalent to correct measured output with probability one. It does not require the work register to be zero. It also does not require every intermediate trial to succeed.