Manuscript Oai279-A@1 · Oai279-A.tex · section · a1abc73f

Interface 4: completion, deferred filters, and exact output

Stage 1: audit the five interfaces without importing them › Interface 4: completion, deferred filters, and exact output · lines 635–644

Back to manuscript

This is the one-step special case of amplitude amplification BHMT,MoscaZalka. Knowing merely that $p > 1/2$ is not enough: its bad-output probability after this step would be

(1 - p) (1 - 4 p)^{2},

which is nonzero for $1/2 < p < 1$ .

Displayed formulas in this passage

unlabeled · line 640
$(1 - p) (1 - 4 p)^{2},$

Nearby in this section

section: Interface 4: completion, deferred filters, and exact output
lemma: Lemma: The padding needed for p *>1/2
section: Interface 4: completion, deferred filters, and exact output
lemma: Lemma: Exact amplification requires the correct probability
lemma: Lemma: Conditional fixed-gate implementation of the last step
section: Interface 4: completion, deferred filters, and exact output