Manuscript Oai283-A@1 · Oai283-A.tex · example · 6fb75895
Example: Fresh-device tests do not price shared memory
Composition, workspace, and implementation allowances › Complete-channel telescoping · lines 517–527
Let an unobserved flag begin in , and define the unitary
Every isolated use with a fresh zero flag implements the identity on the message. Two uses sharing the flag implement . Thus isolated zero-error tests do not prove a zero-error two-stage implementation when the hidden flag is reused.
Displayed formulas in this passage
unlabeled · line 519