Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

I Arithmetic Block in Shor Algorithm

  1. May 16, 2017 #1
    Hello everyone!

    So I was looking at Shor Algorithm for prime factorization and I have some doubts in the arithmetic part.

    Let's define a function f that : f(x) = ax mod N. The middle step in shor algorithm is to calculate, simultaneously, all values of f. In some papers and books, I saw some high level implementation of this block, but nothing concrete. Can someone explain to me, how they do this?

    In some implementations they use Controlled-Gates. Ok, that's fine, but the control qubit is always in some superposition of states. So what happens in this cases?


    Thanks!
     
  2. jcsd
  3. May 16, 2017 #2

    Strilanc

    User Avatar
    Science Advisor

    I've been working on a paper that explains how to implement Shor's algorithm from top to bottom using 2n+1 qubits (w/ n-1 in an unknown state that must be preserved) (the previous best was 2n+2 w/ none in an unknown state). Here's a few diagrams from it.

    The fact that the exponentiation is calculated under superposition doesn't really matter at all. All the arithmetic can be done with classical reversible circuits. There are some optimizations made possible by quantum gates, and of course the very top level has some quantum stuff, but all the arithmetic really is just standard classical reversible stuff.

    An adder (not novel):

    inline-adder.png

    Incrementing (novel):

    controlled-increment-odd.png

    Scaled modular addition (not really novel; clearly I should just be adding 2^p*K instead of doing this doubling stuff):

    controlled-modular-multiply-accumulate.png

    Transitive reduction of the dependency graph between constructions:

    dependencies.png

    As that last diagram shows, there's a rather lot of constructions on the path from exponentiation to Toffolis. But they all basically look like the diagrams I showed: take what you've built up so far, and combine it to build the next thing.
     
    Last edited: May 16, 2017
  4. May 16, 2017 #3

    Strilanc

    User Avatar
    Science Advisor

    Incidentally, you can simulate the period-finding part of Shor's algorithm in my quantum circuit simulator Quirk.

    You can't do the follow-up continued fractions algorithm to turn the period into a factor in Quirk, so mostly you can just see that "Yup, there's strong peaks near 2^n*k/p where p is the period and k is arbitrary". But still Quirk is a tool I used when looking for / optimizing / checking most of the constructions. I would add a known-good construction plus its inverse to the circuit, set up a "test harness" that made/unmade random test vectors, and then just watched to make sure the output stayed consistently off as I tried to optimize one of the constructions.
     
  5. May 16, 2017 #4
    Thanks a lot! That schemes where very helpful. But I still don't get that superposition thing. If I don't know the control qubit value, how do I do it? I suppose you assume some value? I think that I do not get that superposition part.
     
  6. May 16, 2017 #5

    Strilanc

    User Avatar
    Science Advisor

    You just do a controlled operation with the appropriate phase estimation qubit as the control. The operation will only affect the part of the superposition where the control is on.

    Controlled operations are also a classical reversible computing concept, so again you don't need to know any quantum computing to implement circuits that do controlled arithmetic. (Notice that the diagrams do include controls)
     
  7. May 16, 2017 #6
    Ok Thanks, I think I got it.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Arithmetic Block in Shor Algorithm
  1. Shor's algorithm (Replies: 2)

  2. Shor's algorithm (Replies: 0)

  3. DFT algorithm (Replies: 2)

  4. Grover's algorithm (Replies: 7)

Loading...