Shor’s Factoring Algorithm

Slides:



Advertisements
Similar presentations
Pretty-Good Tomography Scott Aaronson MIT. Theres a problem… To do tomography on an entangled state of n qubits, we need exp(n) measurements Does this.
Advertisements

Generating Random Stabilizer States in Matrix Multiplication Time: A Theorem in Search of an Application Scott Aaronson David Chen.
Quantum Computation and Quantum Information – Lecture 3
prime factorization algorithm found by Peter Shor 1994
Umesh V. Vazirani U. C. Berkeley Quantum Algorithms: a survey.
The Hidden Subgroup Problem. Problem of great importance in Quantum Computation Most Q.A. that run exponentially faster than their classical counterparts.
Quantum Phase Estimation using Multivalued Logic.
March 11, 2015CS21 Lecture 271 CS21 Decidability and Tractability Lecture 27 March 11, 2015.
Quantum Speedups DoRon Motter August 14, Introduction Two main approaches are known which produce fast Quantum Algorithms The first, and main approach.
1 Chapter 7– Introduction to Number Theory Instructor: 孫宏民 Room: EECS 6402, Tel: , Fax :
Department of Computer Science & Engineering University of Washington
Quantum Algorithms Towards quantum codebreaking Artur Ekert.
Shor Algorithm (continued) Anuj Dawar Use of number theory and reductions.
1 Quantum Computing: What’s It Good For? Scott Aaronson Computer Science Department, UC Berkeley January 10,  John.
Shor Algorithm Anuj Dawar. Finding the eigenvalue is the same as finding its phase 
Quantum Computing Joseph Stelmach.
Anuj Dawar.
1 Recap (I) n -qubit quantum state: 2 n -dimensional unit vector Unitary op: 2 n  2 n linear operation U such that U † U = I (where U † denotes the conjugate.
Shor’s Algorithm Osama Awwad Department of Computer Science Western Michigan University July 12, 2015.
Classical Versus Quantum. Goal: Fast, low-cost implementation of useful algorithms using standard components (gates) and design techniques Classical Logic.
1 Introduction to Quantum Information Processing QIC 710 / CS 678 / PH 767 / CO 681 / AM 871 Richard Cleve DC 2117 / QNC 3129 Lectures.
Reading and Writing Mathematical Proofs
Small-Depth Quantum Circuits Frederic Green Department of Math/CS Clark University Worcester, MA.
Lecture note 8: Quantum Algorithms
Algorithms Artur Ekert. Our golden sequence H H Circuit complexity n QUBITS B A A B B B B A # of gates (n) = size of the circuit (n) # of parallel units.
October 1 & 3, Introduction to Quantum Computing Lecture 1 of 2 Introduction to Quantum Computing Lecture 1 of 2
Quantum Computing MAS 725 Hartmut Klauck NTU
Short course on quantum computing Andris Ambainis University of Latvia.
Quantum Factoring Michele Mosca The Fifth Canadian Summer School on Quantum Information August 3, 2005.
1 Introduction to Quantum Information Processing CS 467 / CS 667 Phys 467 / Phys 767 C&O 481 / C&O 681 Richard Cleve DC 3524 Course.
Shor’s Algorithm -basic introduction –. The main goal for Shor’s Alg. Find the factors of a certain integer – Why?... Long story short: prime factors,
QUANTUM COMPUTING What is it ? Jean V. Bellissard Georgia Institute of Technology & Institut Universitaire de France.
QUANTUM COMPUTING Part II Jean V. Bellissard
Quantum Computing and Quantum Programming Language

1 Introduction to Quantum Information Processing CS 467 / CS 667 Phys 467 / Phys 767 C&O 481 / C&O 681 Richard Cleve DC 3524 Course.
1 Introduction to Quantum Information Processing CS 467 / CS 667 Phys 667 / Phys 767 C&O 481 / C&O 681 Richard Cleve DC 653 Lecture.
Forrelation: A Problem that Optimally Separates Quantum from Classical Computing.
Great Theoretical Ideas in Computer Science.
Great Theoretical Ideas in Computer Science.
Quantum Computation Stephen Jordan. Church-Turing Thesis ● Weak Form: Anything we would regard as “computable” can be computed by a Turing machine. ●
MA/CSSE 473 Day 10 Primality Testing. MA/CSSE 473 Day 10 In-class exam: Friday, Sept 28 –You may bring a two-sided 8.5x11 inch piece of paper containing.
1 Introduction to Quantum Information Processing CS 467 / CS 667 Phys 667 / Phys 767 C&O 481 / C&O 681 Richard Cleve DC 2117 Lecture.
1 Introduction to Quantum Information Processing CS 467 / CS 667 Phys 467 / Phys 767 C&O 481 / C&O 681 Richard Cleve DC 3524 Course.
1 An Introduction to Quantum Computing Sabeen Faridi Ph 70 October 23, 2007.
Beginner’s Guide to Quantum Computing Graduate Seminar Presentation Oct. 5, 2007.
Intro to Quantum Algorithms SUNY Polytechnic Institute Chen-Fu Chiang Fall 2015.
Attendance Syllabus Textbook (hardcopy or electronics) Groups s First-time meeting.
Number-Theoretic Algorithms
Quantum Bits (qubit) 1 qubit probabilistically represents 2 states
Discrete Math II Howon Kim
B504/I538: Introduction to Cryptography
Advanced Algorithms Analysis and Design
Introduction to Quantum Computing Lecture 1 of 2
Quantum Cryptography Quantum Computing
Public Key Cryptosystems - RSA
Number Theory (Chapter 7)
Four approaches to Shor
Applied Symbolic Computation
A Ridiculously Brief Overview
3rd Lecture: QMA & The local Hamiltonian problem (CNT’D)
September 4, 1997 Applied Symbolic Computation (CS 567) Fast Polynomial and Integer Multiplication Jeremy R. Johnson.
Applied Symbolic Computation
OSU Quantum Information Seminar
Quantum Computation and Information Chap 1 Intro and Overview: p 28-58
Quantum Computing Joseph Stelmach.
Quantum Cryptography Quantum Computing
Quantum Cryptography Quantum Computing
Fast Polynomial and Integer Multiplication
Presentation transcript:

Shor’s Factoring Algorithm David Poulin Institute for Quantum Computing & Perimeter Institute for Theoretical Physics Guelph, September 2003

Summary Some number theory Shor’s entire algorithm Quantum circuits Phase estimation Quantum Fourier transform Final circuit David Poulin, IQC & PI

A bit of number theory Theorem If a  ±b (mod N) but a2  b2 (mod N) Then gcd(a+b,N) is a factor of N. Proof a2 - b2 0 (mod N)  (a - b)(a+b) 0 (mod N) ( t) [ (a - b) (a+b) = tN ]  gcd(a+b, N) is a non trivial factor of N. uN vN David Poulin, IQC & PI

Shor’s entire algorithm N is to be factored: Choose random x: 2  x  N-1. If gcd(x,N)  1, Bingo! Find smallest integer r : xr  1 (mod N) If r is odd, GOTO 1 If r is even, a = xr/2 (mod N) If a = N-1 GOTO 1 ELSE gcd(a+1,N) is a non trivial factor of N. Easy Easy Hard Easy David Poulin, IQC & PI

Success probability Theorem If N has k different prime factors, probability of success for random x is  1- 1/2k-1. Add this step to Shor’s algorithm: 0. -Test if N=N’2l and apply Shor to N’ -Compute for 2  j  ln2N. If one of these root is integer, apply Shor to this root.  Probability of success  ½. Easy David Poulin, IQC & PI

Classical computing Basic logical unit: the bit 0 or 1 Universal set: (Not-and, Swap, Copy) A B NAND (A B) 1 A Not-and(A B) B A B A Swap Copy A B A A David Poulin, IQC & PI

Bits and Qubits Classical Quantum  | +  |1 ||2 + ||2=1 0 or 1  | +  |1 ||2 + ||2=1 1 qubit 0 or 1 n bits n qubits (|4- |7) = (|0100- |0111) = |01(|00- |11) 000...0 (0) 000...1 (1) … 111...1 (2n-1) Measure Measure  i with probability |ci|2 b1b2b3...bn  David Poulin, IQC & PI

Quantum gates Universal set: (C-not, U(2) on single qubit) |0  (|0+|1) Ex. One qubit gate: H |1  (|0-|1) Controlled not: |a |b |b if a=0 |b if a=1 David Poulin, IQC & PI

Composing Quantum gates Use linearity of quantum mechanics. |0 H (|0|0 +|1|1) |0 (|0+ |1)  |0 = (|0|0 + |1|0) Any classical computation can be made reversibly (one to one) with poly overhead. Any reversible classical computation can be performed on a quantum computer with poly overhead. David Poulin, IQC & PI

Phase kick back What are the eigenstates of NOT? |+ = (|0+ |1) |+ = (|0+ |1) (|1+ |0) = |+ ± |± |- = (|0- |1) (|1- |0) = - |- |0 H |± |± = |0+ eix |1 |x s.t. eig. = eix (|0| ±  + |1| ± ) (|0| ±  ± |1| ± ) = (|0± |1)  | ±  David Poulin, IQC & PI

Phase estimation Hn U2 U In the previous slide, we were able to determine whether  was 0 or . Q: Can me determine any  ? A: We can get the best n bit estimation of /2. |0 |u U Hn U2 2 3 4 |0+ei2  |1 |0+ei |1 … | David Poulin, IQC & PI

Quantum Fourier Transform (binary extension of x/2n mod1) So applying F-1 to | will yield |x that is the best n bit estimation of /2. David Poulin, IQC & PI

QFT circuit F-1 Qubit n is |0+ |1 if x0 is |0 and |0- |1 if x0 is |1. (a phase 0 or - depending on x0) H |x0 Qubit n-1 depends on x0 with a phase 0 or -/2 and on x1 with a phase 0 or - |x0 H |x1 R1 H David Poulin, IQC & PI

QFT circuit H R1 R2 R3 H R1 R2 H R1 H We define the gate Rk as a -/2k phase gate. |x3 H R1 R2 R3 |x2 H R1 R2 |x1 H R1 |x0 H Note: H = R0 David Poulin, IQC & PI

Multiplication Consider UN,a : |x  |ax mod N. Then, for k = 1,...,r are eigenstates of UN,a with eigenvalues UN,a If we could prepare such a state, we could obtain an estimation of k/r hence of r. It requires the knowledge of r. David Poulin, IQC & PI

Multiplication Consider the sum Since The state |1 is easy to prepare. In what follows, we show that it can be used to get an estimation of k/r for random k. David Poulin, IQC & PI

m m m Phase estimation Hn F-1 U2 U U2 U2 U2 |0 |1 This measurement is useless! No knowledge of r is needed! This measurement commutes with the Us so we can perform it after. m Make measurement here to collapse the state to a random |k : get an estimation of k/r for random k. m U2 2 3 4 |1 U U2 U2 U2 N,a N,a N,a N,a N,a David Poulin, IQC & PI