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

Back to manuscript

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

Nearby in this section