Unstructured search can be written as ground state problem.
Then Grover's is just a product formula approximation of imaginary-time evolution
or, equivalently, a Riemannian gradient flow on SU(d)
to find this ground state.
Turns out… Grover's algorithm is secretly moonlighting as a first-order approximation to the imaginary time evolution!
Turns out… Grover's algorithm is secretly moonlighting as a first-order approximation to the imaginary time evolution!
Crucially our approach doesn't need any post-selection - but this comes at the expense of increased circuit depths.
Crucially our approach doesn't need any post-selection - but this comes at the expense of increased circuit depths.