1
$\begingroup$

I have been studying the Grover's algorithm for quite some time. I have used David McMohan (Quantum Computing Explained), M. Suhail Zubairy (Quantum Mechanics For Beginners) and some research papers. Also, from different sites. I know how it works and the step-wise protocol. What I am interested in is how I can derive the diffusion operator $(2|0\rangle\langle0| − \mathbb{I})$ and the oracle. I think it just depends on the function $f(x)$.

After this, how can I use this with those HASH codes (SHA-2 or SHA-3) or AES etc., which I am currently trying to understand. Some papers use cost functions, equality functions and some kind of expansion keys. All of which I don't understand. I want to understand how Grover's algorithm is implemented in actuality, which I think is somewhat different than the books.

$\endgroup$
3
  • $\begingroup$ what do you mean with "derived" here? How to derive it mathematically? How to show that it works? How to implement it as a circuit? Something else? $\endgroup$
    – glS
    Sep 3 at 13:04
  • $\begingroup$ @glS♦ Mathematically derive the formulas. $\endgroup$ Sep 3 at 15:54
  • $\begingroup$ to have a mathematical derivation you need to specify your starting point though. Normally you'd show that the operations in Grover's algorithm (diffusion operator etc) achieve what you want them to do (amplify the amplitude marked by the oracle). You can also understand somewhat more "intuitively" these operations are rotations, see eg quantumcomputing.stackexchange.com/q/5293/55. Is this what you're asking about? $\endgroup$
    – glS
    Sep 3 at 17:06

1 Answer 1

1
$\begingroup$

Please have a look at this paper From Schrödinger's Equation to the Quantum Search Algorithm by Lov Gover. It contains detailed derivation of the algorithm. Mr. Grover very nicely shows here how he came to idea of the algorithm during his work on Schrödinger's equation discretization. In the article, almost no step in the algorithm derivation is neglected, so the paper is very clear and understandable.

$\endgroup$
1

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.