6
$\begingroup$

Why should we use inverse QFT instead of QFT in Shor's algorithm? When I tried to simulate Shor's algorithm for small numbers, I got an answer even when I used just QFT instead of inverse QFT.

$\endgroup$
1
  • 1
    $\begingroup$ How did you simulate the algorithm? Could you give the details? $\endgroup$ Jun 9, 2019 at 8:13

1 Answer 1

9
$\begingroup$

For Shor's algorithm, it actually doesn't matter which one you use.

If you apply the QFT twice, it is equivalent to a classical multiplication by -1 modulo $2^n$ where $n$ is the size of the register. That is to say, it reverses the order of all of the computational basis states except for $|0\rangle$ which stays where it started. $|k\rangle$ becomes $|-k\rangle = |2^n - k\rangle$.

Now, in Shor's algorithm, the output of the QFT is a state with amplitudes whose magnitudes are approximately periodic with a period that divides $2^n$. This isn't a coincidence; it's crucial to how the whole algorithm works. Because the period is a divisor of the number of computational basis states, reversing their order has a negligible effect on the state. Therefore there is little difference between using the QFT and the inverse QFT, because $\text{QFT}^{-1} = \text{QFT} \cdot \text{QFT}^{-1} \cdot \text{QFT}^{-1} = \text{QFT} \cdot \text{Mul}(-1)$.

Example:

try both

Note how the probability distributions are almost identical after an inverse QFT or after a QFT (in the above diagram the second qft is just to undo the inverse QFT). Since the output distribution is nearly identical the algorithm works either way.

$\endgroup$
3
  • $\begingroup$ Do you have a mathematical demonstration of this |𝑘⟩ becomes |−𝑘⟩=|2^𝑛−𝑘⟩? If you apply the QFT twice, it is equivalent to a classical multiplication by -1 modulo 2𝑛 where 𝑛 is the size of the register. That is to say, it reverses the order of all of the computational basis states except for |0⟩, which stays where it started. |𝑘⟩ becomes |−𝑘⟩=|2^𝑛−𝑘⟩. $\endgroup$ Aug 23, 2023 at 9:44
  • $\begingroup$ @ParfaitAtchadé algassert.com/… $\endgroup$ Aug 23, 2023 at 20:52
  • $\begingroup$ many thanks for the quirk. I understand the scheme. I would like to understand the demonstration of QFT(QFT)|x> = |-x>. Do you have the demonstration? Many thanks. $\endgroup$ Aug 24, 2023 at 21:09

Your Answer

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

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