Epistemic Motion in Quantum Searching

Abstract

We formalize elementary kinematics of motion on domains with measurements, and then use these ideas to calculate the complexity of Grover's algorithm for quantum searching. In particular, it is now possible to analyze classical and quantum searching in a single semantic framework