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 591–605
Without padding the claimed inequality is false: at ,
This is a correction to the abbreviated plan, not a contradiction of the padded source.
The following standard calculation isolates the remaining quantum interface.
Displayed formulas in this passage
unlabeled · line 594
Nearby in this section
- section: Interface 4: completion, deferred filters, and exact output
- lemma: Lemma: The padding needed for p *>1/2
- lemma: Lemma: Exact amplification requires the correct probability
- section: Interface 4: completion, deferred filters, and exact output
- lemma: Lemma: Conditional fixed-gate implementation of the last step
- section: Interface 4: completion, deferred filters, and exact output