Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895
Complete-channel telescoping
Composition, workspace, and implementation allowances › Complete-channel telescoping · lines 484–516
Oai283-A@1#eq:totalbudget
For a frozen instance, suppose ordinary gate has allowance , oracle call has allowance , and initialization, encoding, decoding, routing, and final declared readout have allowances . If an independent certificate gives
then the implemented logical channel obeys
The value suggested by the documentary full-diamond tolerance is , if independently established for the instance.
The allowances must be valid on the actual common interfaces. Independent fresh-environment errors are one sufficient model. Persistent hidden memory must instead be included in the compared interface or controlled by an appropriate multi-time certificate.
Displayed formulas in this passage
Oai283-A@1#eq:totalbudget · line 498
unlabeled · line 494