Shor's algorithm

Shor's algorithm, named after mathematician Peter Shor, is a quantum algorithm (an algorithm that runs on a quantum computer) for integer factorization formulated in 1994. Informally it solves the following problem: given an integer N, find its prime factors.

On a quantum computer, to factor an integer N, Shor's algorithm runs in polynomial time (the time taken is polynomial in log N, which is the size of the input).^[1] Specifically it takes quantum gates of order $O ((log N) 2 (log log N)(log log log N)$ ) using fast multiplication,^[2] demonstrating that the integer factorization problem can be efficiently solved on a quantum computer and is thus in the complexity class BQP. This is substantially faster than the most efficient known classical factoring algorithm, the general number field sieve, which works in sub-exponential time – about $O(e 1.9 (log N) 1/3 (log log N) 2/3)$ .^[3] The efficiency of Shor's algorithm is due to the efficiency of the quantum Fourier transform, and modular exponentiation by repeated squarings.

If a quantum computer with a sufficient number of qubits could operate without succumbing to noise and other quantum decoherence phenomena, Shor's algorithm could be used to break public-key cryptography schemes such as the widely used RSA scheme. RSA is based on the assumption that factoring large numbers is computationally intractable. So far as is known, this assumption is valid for classical (non-quantum) computers; no classical algorithm is known that can factor in polynomial time. However, Shor's algorithm shows that factoring is efficient on an ideal quantum computer, so it may be feasible to defeat RSA by constructing a large quantum computer. It was also a powerful motivator for the design and construction of quantum computers and for the study of new quantum computer algorithms. It has also facilitated research on new cryptosystems that are secure from quantum computers, collectively called post-quantum cryptography.

In 2001, Shor's algorithm was demonstrated by a group at IBM, who factored 15 into 3 × 5, using an NMR implementation of a quantum computer with 7 qubits.^[4] After IBM's implementation, two independent groups implemented Shor's algorithm using photonic qubits, emphasizing that multi-qubit entanglement was observed when running the Shor's algorithm circuits.^[5]^[6] In 2012, the factorization of 15 was performed with solid-state qubits.^[7] Also in 2012, the factorization of 21 was achieved, setting the record for the largest number factored with Shor's algorithm.^[8] In April 2012, the factorization of 143 was achieved, although this used adiabatic quantum computation rather than Shor's algorithm.^[9] In November 2014, it was discovered that this 2012 adiabatic quantum computation had also factored larger numbers, the largest being 56153.^[10]^[11]

Procedure

The problem we are trying to solve is: given an odd composite number $N$ , find an integer $d$ , strictly between $1$ and $N$ , that divides $N$ . We are interested in odd values of $N$ because any even value of $N$ trivially has the number $2$ as a prime factor. We can use a primality testing algorithm to make sure that $N$ is indeed composite.

Moreover, for the algorithm to work, we need $N$ not to be the power of a prime. This can be tested by checking that ${\sqrt[{k}]{N}}$ is not an integer, for all $k\leq \log _{2}(N)$ .

Since $N$ is not a power of a prime, it is the product of two coprime numbers greater than $1$ . As a consequence of the Chinese remainder theorem, the number $1$ has at least four distinct square roots modulo $N$ , two of them being $1$ and $-1$ . The aim of the algorithm is to find a square root $b$ that is different from $1$ and $-1$ ; such a $b$ will lead to a factorization of $N$ , as in other factoring algorithms like the quadratic sieve.

In turn, finding such a $b$ is reduced to finding an element $a$ of even period with a certain additional property (as explained below, it is required that the condition of Step 6 of the classical part does not hold). The quantum algorithm is used for finding the period of randomly chosen elements $a$ , as this is a hard problem on a classical computer.

Shor's algorithm consists of two parts:

A reduction, which can be done on a classical computer, of the factoring problem to the problem of order-finding.
A quantum algorithm to solve the order-finding problem.

Classical part

Pick a random number a < N.
Compute gcd(a, N). This may be done using the Euclidean algorithm.
If gcd(a, N) ≠ 1, then this number is a nontrivial factor of N, so we are done.
Otherwise, use the period-finding subroutine (below) to find r, the period of the following function:
$f(x)=a^{x}{\bmod {N}},$
i.e. the order $r$ of $a$ in $(\mathbb {Z} _{N})^{\times }$ , which is the smallest positive integer r for which $f(x+r)=f(x)$ , or $f(x+r)=a^{x+r}{\bmod {N}}\equiv a^{x}{\bmod {N}}.$
If r is odd, go back to step 1.
If a ^{r /2} $\equiv$ −1 (mod N), go back to step 1.
gcd(a^r/2 + 1, N) and gcd(a^r/2 - 1, N) are both nontrivial factors of N. We are done.

For example: $N=15,a=7,r=4$ , $\mathrm {gcd} (7^{2}\pm 1,15)=\mathrm {gcd} (49\pm 1,15)$ , where $\mathrm {gcd} (48,15)=3$ , and $\mathrm {gcd} (50,15)=5$ .

Quantum part: Period-finding subroutine

Quantum subroutine in Shor's algorithm.

The quantum circuits used for this algorithm are custom designed for each choice of N and each choice of the random a used in f(x) = a^x mod N. Given N, find Q = 2^q such that $N^{2}\leq Q<2N^{2}$ , which implies $Q/r>N$ . The input and output qubit registers need to hold superpositions of values from 0 to Q − 1, and so have q qubits each. Using what might appear to be twice as many qubits as necessary guarantees that there are at least N different x which produce the same f(x), even as the period r approaches N/2.

Proceed as follows:

Initialize the registers to
$Q^{-{\frac {1}{2}}}\sum _{x=0}^{Q-1}\left|x\right\rangle$
This initial state is a superposition of Q states.
Construct f(x) as a quantum function and apply it to the above state, to obtain
$Q^{-{\frac {1}{2}}}\sum _{x}\left|x,f(x)\right\rangle .$
This is still a superposition of Q states.
Apply the quantum Fourier transform to the input register. This transform (operating on a superposition of power-of-two Q = 2^q states) uses a Q^th root of unity such as $\omega =e^{\frac {2\pi i}{Q}}$ to distribute the amplitude of any given $\left|x\right\rangle$ state equally among all Q of the $\left|y\right\rangle$ states, and to do so in a different way for each different x.
- Let y be one of the r possible integers modulo Q such that yr/Q is an integer; then
$U_{QFT}\left|x\right\rangle =Q^{-{\frac {1}{2}}}\sum _{y}\omega ^{xy}\left|y\right\rangle .$

This leads to the final state

$Q^{-1}\sum _{x}\sum _{y}\omega ^{xy}\left|y,f(x)\right\rangle .$

Now we reorder this sum as

$Q^{-1}\sum _{z}\sum _{y}\left|y,z\right\rangle \sum _{x:\,f(x)=z}\omega ^{xy}.$

This is a superposition of many more than Q states, but many fewer than Q² states, since there are fewer than Q distinct values of $z=f(x)$ . Let
- $\omega =e^{\frac {2\pi i}{Q}}$ be a Q^th root of unity,
- r be the period of f,
- x₀ be the smallest of the x which have f(x) = z (we have x₀ < r), and
- b indexes these x, running from 0 to $\lfloor (Q-x_{0}-1)/r\rfloor$ so that $x_{0}+rb<Q.$
Then $\omega ^{ry}$ is a unit vector in the complex plane ( $\omega$ is a root of unity and r and y are integers), and the coefficient of $Q^{-1}\left|y,z\right\rangle$ in the final state is

$\sum _{x:\,f(x)=z}\omega ^{xy}=\sum _{b}\omega ^{(x_{0}+rb)y}=\omega ^{x_{0}y}\sum _{b}\omega ^{rby}.$
Each term in this sum represents a different path to the same result, and quantum interference occurs – constructive when the unit vectors $\omega ^{ryb}$ point in nearly the same direction in the complex plane, which requires that $\omega ^{ry}$ point along the positive real axis.
Perform a measurement. We obtain some outcome y in the input register and z in the output register. Since f is periodic, the probability of measuring some pair y and z is given by
$\left|Q^{-1}\sum _{x:\,f(x)=z}\omega ^{xy}\right|^{2}=Q^{-2}\left|\sum _{b}\omega ^{(x_{0}+rb)y}\right|^{2}=Q^{-2}\left|\sum _{b}\omega ^{bry}\right|^{2}.$
Analysis now shows that this probability is higher the closer the unit vector $\omega ^{ry}$ is to the positive real axis, or the closer yr/Q is to an integer. Unless r is a power of 2, it won't be a factor of Q.
Since $yr/Q$ is close to some integer c, the known value y/Q is close to the unknown value c/r. Performing [classical] continued fraction expansion on y/Q allows us to find approximations d/s of it which satisfy two conditions:
1. s < N
2. |y/Q − d/s| < 1/2Q.
Given these conditions (and assuming d/s is irreducible), s is very likely to be the appropriate period r, or at least a factor of it.
Check [classically] if $f(x)=f(x+s)\Leftrightarrow a^{s}\equiv 1{\pmod {N}}$ If so, we are done.
Otherwise, [classically] obtain more candidates for r by using multiples of s, or by using other s with d/s near y/Q. If any candidate works, we are done.
Otherwise, try again starting from step 1 of this subroutine.

Explanation of the algorithm

The algorithm is composed of two parts. The first part of the algorithm turns the factoring problem into the problem of finding the period of a function, and may be implemented classically. The second part finds the period using the quantum Fourier transform, and is responsible for the quantum speedup.

Obtaining factors from period

The integers less than N and coprime with N form the multiplicative group of integers modulo N, a finite abelian group $G$ . The size of this group is given by Euler's totient function $\phi (N)$ . By the end of step 3, we have an integer a in this group. Since the group is finite, a must have a finite order r, the smallest positive integer such that

a^{r}\equiv 1\ {\mbox{mod}}\ N.

Therefore, $N$ divides $a^{r}-1$ (also written $N\mid a^{r}-1$ ). Suppose we are able to obtain r, and it is even. (If r is odd, see step 5.) Now $b\equiv a^{r/2}{\pmod {N}}$ is a square root of 1 modulo $N$ , different from 1. This is because $r$ is the order of $a$ modulo $N$ , so $a^{r/2}\not \equiv 1{\pmod {N}}$ , else the order of $a$ in this group would be $r/2$ . If $a^{r/2}\equiv -1{\pmod {N}}$ , by step 6 we have to restart the algorithm with a different random number $a$ .

Eventually, we must hit an $a$ , of order $r$ in $G$ , such that $b\equiv a^{r/2}\not \equiv 1,-1{\pmod {N}}$ . This is because such a $b$ is a square root of 1 modulo $N$ , other than 1 and $-1$ , whose existence is guaranteed by the Chinese remainder theorem, since $N$ is not a prime power.

We claim that $d=\operatorname {gcd} (b-1,N)$ is a proper factor of $N$ , that is, $d\neq 1,N$ . In fact if $d=N$ , then $N$ divides $b-1$ , so that $b\equiv 1{\pmod {N}}$ , against the construction of $b$ . If on the other hand $d=\operatorname {gcd} (b-1,N)=1$ , then by Bézout's identity there are integers $u,v$ such that

(b-1)u+Nv=1

Multiplying both sides by $b+1$ we obtain

(b^{2}-1)u+N(b+1)v=b+1

Since $N$ divides $b^{2}-1\equiv a^{r}-1{\pmod {N}}$ , we obtain that $N$ divides $b+1$ , so that $b\equiv -1{\pmod {N}}$ , again contradicting the construction of $b$ .

Thus $d$ is the required proper factor of $N$ .

Finding the period

Shor's period-finding algorithm relies heavily on the ability of a quantum computer to be in many states simultaneously. Physicists call this behavior a "superposition" of states. To compute the period of a function f, we evaluate the function at all points simultaneously.

Quantum physics does not allow us to access all this information directly, though. A measurement will yield only one of all possible values, destroying all others. If not for the no cloning theorem, we could first measure f(x) without measuring x, and then make a few copies of the resulting state (which is a superposition of states all having the same f(x)). Measuring x on these states would provide different x values which give the same f(x), leading to the period. Because we cannot make exact copies of a quantum state, this method does not work. Therefore, we have to carefully transform the superposition to another state that will return the correct answer with high probability. This is achieved by the quantum Fourier transform.

Shor thus had to solve three "implementation" problems. All of them had to be implemented "fast", which means that they can be implemented with a number of quantum gates that is polynomial in $\log N$ .

Create a superposition of states. This can be done by applying Hadamard gates to all qubits in the input register. Another approach would be to use the quantum Fourier transform (see below).
Implement the function f as a quantum transform. To achieve this, Shor used repeated squaring for his modular exponentiation transformation. It is important to note that this step is more difficult to implement than the quantum Fourier transform, in that it requires ancillary qubits and substantially more gates to accomplish.
Perform a quantum Fourier transform. By using controlled rotation gates and Hadamard gates, Shor designed a circuit for the quantum Fourier transform (with Q = 2^q) that uses just $q(q-1)/2=O((\log Q)^{2})$ gates.^[12]

After all these transformations a measurement will yield an approximation to the period r. For simplicity assume that there is a y such that yr/Q is an integer. Then the probability to measure y is 1. To see that we notice that then

e^{-{\frac {2\pi ibyr}{Q}}}=1

for all integers b. Therefore, the sum whose square gives us the probability to measure y will be Q/r since b takes roughly Q/r values and thus the probability is $1/r^{2}$ . There are r y such that yr/Q is an integer and also r possibilities for $f(x_{0})$ , so the probabilities sum to 1.

Note: another way to explain Shor's algorithm is by noting that it is just the quantum phase estimation algorithm in disguise.

The bottleneck

The runtime bottleneck of Shor's algorithm is quantum modular exponentiation, which is by far slower than the quantum Fourier transform and classical pre-/post-processing. There are several approaches to constructing and optimizing circuits for modular exponentiation. The simplest and (currently) most practical approach is to mimic conventional arithmetic circuits with reversible gates, starting with ripple-carry adders. Knowing the base and the modulus of exponentiation facilitates further optimizations.^[13]^[14] Reversible circuits typically use on the order of $n^{3}$ gates for $n$ qubits. Alternative techniques asymptotically improve gate counts by using quantum Fourier transforms, but are not competitive with less than 600 qubits due to high constants.

Discrete logarithms

Given prime $p$ with generator $g$ where $1<g<p-1$ , suppose we know that $x=g^{r}{\pmod {p}}$ , for some r, and we wish to compute r, which is the discrete logarithm: $r=\log _{g}x{\pmod {p-1}}$ . Consider the abelian group $\left(\mathbb {Z} _{p}\right)^{\times }\times \left(\mathbb {Z} _{p}\right)^{\times }$ where each factor corresponds to modular multiplication of nonzero values, assuming p is prime. Now, consider the function

f(a,b)=g^{a}x^{-b}{\pmod {p}}.

This gives us an abelian hidden subgroup problem, as f corresponds to a group homomorphism. The kernel corresponds to modular multiples of (r,1). So, if we can find the kernel, we can find r.

In popular culture

On the television show Stargate Universe, the lead scientist, Dr. Nicholas Rush, hoped to use Shor's algorithm to crack Destiny's master code. He taught a quantum cryptography class at the University of California, Berkeley, in which Shor's algorithm was studied.

In the animated film "Summer Wars," the character Kenji Koiso reads an article titled "Shor's Factorization Algorithm" while riding on a train, foreshadowing his ability to understand and calculate complex equations.

In the T.V. series "The Big Bang Theory" it was mentioned in a Physics bowl competition in season 1 episode 13.

References

↑ See also pseudo-polynomial time.
↑ Beckman, David; Chari, Amalavoyal N.; Devabhaktuni, Srikrishna; Preskill, John (1996). "Efficient Networks for Quantum Factoring". Physical Review A. 54 (2): 1034–1063. Bibcode:1996PhRvA..54.1034B. arXiv:quant-ph/9602016 . doi:10.1103/PhysRevA.54.1034.
↑ "Number Field Sieve". wolfram.com. Retrieved 23 October 2015.
↑ Vandersypen, Lieven M. K.; Steffen, Matthias; Breyta, Gregory; Yannoni, Costantino S.; Sherwood, Mark H. & Chuang, Isaac L. (2001), "Experimental realization of Shor's quantum factoring algorithm using nuclear magnetic resonance" (PDF), Nature, 414 (6866): 883–887, Bibcode:2001Natur.414..883V, PMID 11780055, arXiv:quant-ph/0112176 , doi:10.1038/414883a
↑ Lu, Chao-Yang; Browne, Daniel E.; Yang, Tao & Pan, Jian-Wei (2007), "Demonstration of a Compiled Version of Shor's Quantum Factoring Algorithm Using Photonic Qubits", Physical Review Letters, 99 (25): 250504, Bibcode:2007PhRvL..99y0504L, arXiv:0705.1684 , doi:10.1103/PhysRevLett.99.250504
↑ Lanyon, B. P.; Weinhold, T. J.; Langford, N. K.; Barbieri, M.; James, D. F. V.; Gilchrist, A. & White, A. G. (2007), "Experimental Demonstration of a Compiled Version of Shor's Algorithm with Quantum Entanglement", Physical Review Letters, 99 (25): 250505, Bibcode:2007PhRvL..99y0505L, PMID 18233509, arXiv:0705.1398 , doi:10.1103/PhysRevLett.99.250505
↑ Lucero, Erik; Barends, Rami; Chen, Yu; Kelly, Julian; Mariantoni, Matteo; Megrant, Anthony; O'Malley, Peter; Sank, Daniel; Vainsencher, Amit; Wenner, James; White, Ted; Yin, Yi; Cleland, Andrew N.; Martinis, John M. (2012). "Computing prime factors with a Josephson phase qubit quantum processor". Nature Physics. 8 (10): 719. Bibcode:2012NatPh...8..719L. arXiv:1202.5707 . doi:10.1038/nphys2385.
↑ Martín-López, Enrique; Enrique Martín-López; Anthony Laing; Thomas Lawson; Roberto Alvarez; Xiao-Qi Zhou; Jeremy L. O'Brien (12 October 2012). "Experimental realization of Shor's quantum factoring algorithm using qubit recycling". Nature Photonics. 6 (11): 773. Bibcode:2012NaPho...6..773M. arXiv:1111.4147 . doi:10.1038/nphoton.2012.259. Retrieved October 23, 2012.
↑ Nanyang Xu; Jing Zhu; Dawei Lu; Xianyi Zhou; Xinhua Peng; Jiangfeng Du (30 March 2012). "Quantum Factorization of 143 on a Dipolar-Coupling Nuclear Magnetic Resonance System". Physical Review Letters. American Physical Society. 108 (13): 130501. Bibcode:2012PhRvL.108m0501X. PMID 22540684. doi:10.1103/PhysRevLett.108.130501.
↑ Zyga, Lisa (28 November 2014). "New largest number factored on a quantum device is 56,153". Phys.org. Science X Network. Retrieved 4 August 2015.
↑ Nikesh S. Dattani; Nathaniel Bryans (November 2014). "Quantum factorization of 56153 with only 4 qubits". arXiv:1411.6758  [quant-ph].
↑ Shor 1999, p. 14.
↑ Markov, Igor L.; Saeedi, Mehdi (2012). "Constant-Optimized Quantum Circuits for Modular Multiplication and Exponentiation". Quantum Information and Computation. 12 (5–6): 361–394. Bibcode:2012arXiv1202.6614M. arXiv:1202.6614 .
↑ Markov, Igor L.; Saeedi, Mehdi (2013). "Faster Quantum Number Factoring via Circuit Synthesis". Phys. Rev. A. 87: 012310. Bibcode:2013PhRvA..87a2310M. arXiv:1301.3210 . doi:10.1103/PhysRevA.87.012310.
↑ https://cr.yp.to/papers/pqrsa-20170419.pdf

External links

Version 1.0.0 of libquantum: contains a C language implementation of Shor's algorithm with their simulated quantum computer library, but the width variable in shor.c should be set to 1 to improve the runtime complexity.

Quantum information science

General

Quantum communication

Quantum algorithms

Quantum complexity theory

Quantum computing models

Decoherence prevention

Physical implementations

Quantum optics	Cavity QED Circuit QED Linear optical quantum computing KLM protocol Boson sampling
Ultracold atoms	Trapped ion quantum computer Optical lattice
Spin-based	Nuclear magnetic resonance QC Kane QC Loss–DiVincenzo QC Nitrogen-vacancy center
Superconducting quantum computing	Charge qubit Flux qubit Phase qubit Transmon

Number-theoretic algorithms
Primality tests	AKS test APR test Baillie–PSW Elliptic curve Pocklington Fermat Lucas Lucas–Lehmer Lucas–Lehmer–Riesel Proth's theorem Pépin's Quadratic Frobenius test Solovay–Strassen Miller–Rabin
Prime-generating	Sieve of Atkin Sieve of Eratosthenes Sieve of Sundaram Wheel factorization
Integer factorization	Continued fraction (CFRAC) Dixon's Lenstra elliptic curve (ECM) Euler's Pollard's rho p − 1 p + 1 Quadratic sieve (QS) General number field sieve (GNFS) Special number field sieve (SNFS) Rational sieve Fermat's Shanks' square forms Trial division Shor's
Multiplication	Ancient Egyptian Long Karatsuba Toom–Cook Schönhage–Strassen Fürer's
Discrete logarithm	Baby-step giant-step Pollard rho Pollard kangaroo Pohlig–Hellman Index calculus Function field sieve
Greatest common divisor	Binary Euclidean Extended Euclidean Lehmer's
Modular square root	Cipolla Pocklington's Tonelli–Shanks
Other algorithms	Chakravala Cornacchia LLL Integer square root Modular exponentiation Schoof's
Italics indicate that algorithm is for numbers of special forms

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.