Let and . The first factor in is
Since , the coefficient of in is
It vanishes when
or, using ,
A unit-modulus solution exists exactly when the right-hand side lies in . The upper bound is automatic, while the lower bound is
Thus exact preparation by one application of is possible precisely when
One may choose so that . Then has no component and, by unitarity, equals up to phase. This is a phase-matched amplitude amplification step.
Phase-matched amplitude amplification Created 2026-09-24 Updated 2026-11-05
Phase-matched amplitude amplification replaces the two sign-flip reflections by selective phase rotations. Choosing their phases from the known initial overlap can rotate the state exactly onto the target even when an integer number of ordinary Grover rotations would overshoot it.