Apply parts (b)(ii) and (b)(iii), keeping the oracle's minus sign:
The middle equality uses part (a), and the last uses . The final squared norm is , providing a normalization check.
The sign convention matters: here fixes and negates its orthogonal complement. Its action on amplitudes is inversion about the mean. The negative of this reflection would change the final vector by an overall global phase, but mixing those conventions midway would give incorrect intermediate signs.[ref]

Articles by others on the same topic (0)

There are currently no matching articles.