Manuscript Oai283-A@1 · Oai283-A.tex · proposition · 6fb75895
Proposition: A measured query is not a coherent oracle
What the Boolean resource does and does not supply › Classical table, coherent action · lines 338–352 · proof included or linked
Oai283-A@1#prop:coherent
The function is classical data, but its required query operation need not be a classical channel. Replacing the coherent query by an address measurement is generally incorrect.
Proof. For and , is CNOT and sends to a Bell state.
Even for , the correct oracle is the identity. Measuring its address before answering dephases that address. On , the identity and dephased outputs have trace distance .