1 / 49

Quantum Computation

Stephen Jordan. Quantum Computation. Church-Turing Thesis. Weak Form: Anything we would regard as “computable” can be computed by a Turing machine. Strong Form: Anything we would regard as efficiently computable can be computed in polynomial time by a Turing machine. Models of Computation.

tia
Download Presentation

Quantum Computation

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Stephen Jordan Quantum Computation

  2. Church-Turing Thesis • Weak Form: Anything we would regard as “computable” can be computed by a Turing machine. • Strong Form: Anything we would regard as efficiently computable can be computed in polynomial time by a Turing machine.

  3. Models of Computation • Turing machines • multiple tapes • multiple read/write heads • Logic Circuits • Parallel Computation • All have been shown polynomially equivalent to Turing machines

  4. Thesis Revised? • “Computers are physical objects and computations are physical processes. What computers can or cannot compute is determined by the laws of physics alone, and not by pure mathematics.” -David Deutsch

  5. What Quantum Computers Are • A reasonable model of computation based on currently known physics • Apparently more powerful than the Turing machine • can do prime factorization in polynomial time • The first challenge to the strong Church-Turing thesis.

  6. What Quantum Computers Aren't • Extant • A challenge to the weak Church-Turing thesis • Just like classical computers except smaller and faster • Analog

  7. Relation To Other Models

  8. Quantum Church-Turing Thesis? • Many models of quantum computation: • quantum turing machines • quantum circuits • adiabatic quantum computation • measurement based quantum computation • nonabelian anyons • All have equivalent power (BQP) • One exception: one clean qubit model

  9. State of The Art • Quantum Computers • many approaches • still in the laboratory • Quantum Cryptography • fundamentally unbreakable • commercialized

  10. Earliest Inklings • At small scales the laws of classical mechanics break down and quantum mechanics takes over. • Can computers still work when their components reach this scale? • Yes: any computation can be made reversible with minimal overhead. [1973] • Quantum computers can do reversible computation. C. Bennett

  11. Advantages? • “The full description of quantum mechanics for a large system with R particles...has too many variables. It cannot be simulated with a normal computer with a number of elements proportional to R.” [1982] • An n-bit number can be factored in time on a quantum computer. [1994] R. Feynman P. Shor

  12. More Advantages • An unstructured database with N items can be searched in time. L. Grover • Quantum computers can efficiently simulate quantum systems. • Quantum computers cannot speed up all problems.

  13. Quantum Mechanics • The state of a system is represented by a normalized complex vector. • Example: a bit

  14. Dirac Notation

  15. Inner Product

  16. Two Bits

  17. Dynamics!

  18. Example

  19. Measurement

  20. Quantum Computing • Start with some state encoding your problem. • Example: factoring 9 = 1001 • Apply some sequence of unitary time evolutions. • Measure, and with high probability obtain a desired result, e.g. 3 = 0011

  21. Quantum Computing • 2 questions about quantum computing • How can we build a quantum computer? • We'll ignore this. • What can we do with them? • We'll turn this into a precise question: For a problem of size n, how many computational steps do we need to solve it on a quantum computer?

  22. Computational Problems • Examples • Find the prime factors of an n-digit number. • Find the shortest route visiting n cities. • Compute for given f. • Which problems can be solved with fewer steps on quantum computers than on classical computers for large n?

  23. Model of Computation: Quantum Circuits • Use only k-body interactions, “gates” • k=2 suffices • CNOT + one qubit gates suffice • only finite precision required

  24. Family of Quantum Circuits • One quantum circuit for each input size • Trivial Example: bitwise XOR

  25. Circuit Complexity • Return to our original question: For a problem of size n, how many computational steps do we need to solve it on a quantum computer? • We can now make it precise: What is the minimum number of gates needed, as a function of n, in a family of quantum circuits which solves the problem?

  26. Problems with Circuit Complexity • Circuit complexity is notoriously difficult to evaluate • Explicit circuit families (algorithms) provide upper bounds • Lower bounds are very difficult, even classically (e.g. P vs. NP)

  27. Query Complexity • Many problems are naturally formulated in in terms of a blackbox f • Find • Find x s.t. f(x)=1 • Find x which minimizes f • Classical blackboxes can be made reversible, hence unitary

  28. An Easier Question For a given problem, how many black box queries do we need to solve it on a quantum computer, as a function of problem size? • Algorithms provide upper bounds. • Information arguments provide lower bounds. • Quantum speedups for several black box problems are known. • In many cases matching quantum lower bounds are known.

  29. Bernstein-Vazirani Problem

  30. Classical Algorithm

  31. Phase Kickback

  32. Bernstein-Vazirani Algorithm

  33. Classical Gradient Estimation • Classically, you need at least d+1 queries • Otherwise the system is underdetermined • Quantumly, one query suffices

  34. Transforms • Hadamard transform on n bits uses n Hadamard gates • Quantum Fourier Transform on n bits can be done using gates • The transforms are on amplitudes! • Inverse transforms are easy. Just take the adjoint.

  35. Minimizing a Quadratic Form

  36. Further Reading • Michael Nielsen and Isaac Chuang, Quantum Computation and Quantum Information (2000)

  37. An Optical Analogy

  38. An Optical Analogy

  39. Lower Bounds

  40. Lower Bounds by Polynomials

  41. Lower Bounds by Polynomials • After q queries, the amplitudes are polynomials of degree at most q, hence the p(1) is of degree 2q • Recall that desired result is some boolean function of the blackbox values • There is a minimal degree for a polynomial to match this function

  42. Paturi's Theorem

  43. Specific Lower Bounds

  44. Other Techniques • Quantum adversary methods • Reductions

  45. Further Reading • E. Bernstein and U. Vazirani, “Quantum complexity theory,” proceedings of STOC 1993 • S. Jordan, “Fast quantum algorithm for numerical gradient estimation,” Phys. Rev. Lett. 95, 050501 (2005) [quant-ph/0405146] • R. Beals, H. Buhrman, R. Cleve, M. Mosca, and R. De Wolf. “Quantum lower bounds by polynomials,” Journal of the ACM, Vol. 48, No. 4 (2001) [quant-ph/9802049]

More Related