Let on the input register and let on the target register. Both are fixed unitary operators independent of . Conjugating the query by the input shift gives
because the intermediate query is made at . Conjugating by target negation gives
since . Each construction uses exactly once.

Articles by others on the same topic (0)

There are currently no matching articles.