Manuscript En02-C@1 · En02-C-v1.tex · section · 7549c6df
Coherent projections
C5: amplification and the single-copy ledger › Coherent projections · lines 1330–1335
The last result is an exact-decoupling specialization. It is not a proof that arbitrary evolution has a uniform Grover angle or the displayed worst-case error.