Manuscript Psy04-A@1 · Psy04-A-v1.tex · proposition · d5800e2a
Proposition: Early-query and side-channel counterexamples
The admitted delayed-query experiment › The late query is essential · lines 353–370 · proof included or linked
Psy04-A@1#prop:loopholes
The bound need not hold if the storage or access boundary is changed. In particular:
if is known before encoding, one classical bit can store and succeed with probability one;
if a one-bit carrier stores and an uncounted accessible register stores , success is one;
an unrestricted exact-valued classical state can store the entire input and succeed with probability one.
Proof. Use the indicated stored value at decoding.