Interference and phase kickback
How reversible operations move information into phase.
1. Core idea
Quantum algorithms often arrange that a function evaluation changes the sign of selected amplitudes. Hadamard gates then recombine paths, turning phase differences into output probabilities. This is the engine behind several oracle-based algorithms.
2. Mathematical foundation
The notation describes a precise relationship among states, transformations or probabilities. Identify each symbol, check the dimensions of the objects, and distinguish amplitudes from the probabilities produced by a measurement.
3. Worked example
4. Reasoning flow
- Define the initial register and its basis states.
- Apply the transformations in their intended order.
- Track amplitude magnitudes and relative phases.
- Measure in the basis that reveals the desired property.
- Interpret the result and check the resource assumptions.
Hands-on activity
5. Check your understanding
Practice question
Derive the effect of controlled-X on |+⟩⊗|−⟩.
6. What to watch out for
Ideal-state calculations assume perfect gates and measurements. When assessing an algorithm, separate its mathematical guarantee from the cost of building oracles, preparing inputs, repeating experiments and correcting physical noise.