Quantum Computing. Robert Sizemore

Similar documents
Bits Superposition Quantum Parallelism

Introduction to Quantum Computing

Keywords Quantum logic gates, Quantum computing, Logic gate, Quantum computer

QUANTUM INFORMATION, COMPUTATION AND FUNDAMENTAL LIMITATION

Quantum Computing Lecture 7. Quantum Factoring. Anuj Dawar

Quantum Computers. And How Does Nature Compute? Kenneth W. Regan 1 University at Buffalo (SUNY) 21 May, Quantum Computers

Quantum Computing: Lecture Notes. Ronald de Wolf

Quantum Computing. Robert Senser, PhD. CSC 5446 Presentation Spring Version

Lecture 1 Version: 14/08/28. Frontiers of Condensed Matter San Sebastian, Aug , Dr. Leo DiCarlo l.dicarlo@tudelft.nl dicarlolab.tudelft.

arxiv:quant-ph/ v2 19 Jan 2000

Factoring by Quantum Computers

Quantum Computers vs. Computers

0.1 Phase Estimation Technique

Quantum Computing and Grover s Algorithm

Three Pictures of Quantum Mechanics. Thomas R. Shafer April 17, 2009

Quantum computing in practice

QOT - Quantum Optical Technologies

Simulated Quantum Annealer

Shor s algorithm and secret sharing

Introduction to computer science

Dominik Janzing. Computer Science Approach to Quantum Control

Quantum Algorithms Lecture Notes Summer School on Theory and Technology in Quantum Information, Communication, Computation and Cryptography

Classical and Quantum Logic Gates:

The Limits of Adiabatic Quantum Computation

SIMULATING QUANTUM COMPUTING: QUANTUM EXPRESS

Quantum Computation: a Tutorial

Quantum Computing Architectures

Universality in the theory of algorithms and computer science

Downloaded 09/24/14 to Redistribution subject to SIAM license or copyright; see

Chapter 1. Computation theory

"in recognition of the services he rendered to the advancement of Physics by his discovery of energy quanta". h is the Planck constant he called it

Using quantum computing to realize the Fourier Transform in computer vision applications

How To Solve An Npa-Complete Problems With Quantum Computing And Chaotic Dynamics

Quantum Computability and Complexity and the Limits of Quantum Computation

Open Problems in Quantum Information Processing. John Watrous Department of Computer Science University of Calgary

arxiv:quant-ph/ v2 25 Jan 1996

Nanocomputer & Architecture

Chapter 6 Quantum Computing Based Software Testing Strategy (QCSTS)

Gennady P Berman Gary 0 Ooolen Ronnie Mainieri. Theoretical Division and Center for Nonlinear Studies Los Alarnos National Laboratory

AGH University of Science and Technology in Kraków

CS 3719 (Theory of Computation and Algorithms) Lecture 4

Quantum Computing and Cryptography Their impact on cryptographic practice

Kandidatexamen. A Review of Freely Available Quantum Computer Simulation Software Johan Brandhorst-Satzkorn. LiTH-MAT-EX 2012/07 SE

FPGA Emulation of Quantum Circuits

Quantum Algorithms in NMR Experiments. 25 th May 2012 Ling LIN & Michael Loretz

CAs and Turing Machines. The Basis for Universal Computation

What Has Quantum Mechanics to Do With Factoring? Things I wish they had told me about Peter Shor s algorithm

QUANTUM COMPUTERS AND CRYPTOGRAPHY. Mark Zhandry Stanford University

The Temple of Quantum Computing. by Riley T. Perry Version April 29, 2006

QUANTUM COMPUTER ELEMENTS BASED ON COUPLED QUANTUM WAVEGUIDES

Cryptography and Network Security. Prof. D. Mukhopadhyay. Department of Computer Science and Engineering. Indian Institute of Technology, Kharagpur

A Recent Improvements in Quantum Model and Counter Measures in Quantum Computing

Designing Scalable Quantum Computer Architectures: Layout and Initialization

Quantum Physics II (8.05) Fall 2013 Assignment 4

Quantum Systems for Information Technology

A class of quantum LDPC codes: construction and performances under iterative decoding

SIMS 255 Foundations of Software Design. Complexity and NP-completeness

Diagonalization. Ahto Buldas. Lecture 3 of Complexity Theory October 8, Slides based on S.Aurora, B.Barak. Complexity Theory: A Modern Approach.

COMPSCI 111/111G. Quantum Computing. Term 1, Prepared using LATEX Beamer by Cristian S.Calude 1 / 26

Mathematics (MAT) MAT 061 Basic Euclidean Geometry 3 Hours. MAT 051 Pre-Algebra 4 Hours

1.Context What is the problem with current cryptographic techniques? Current Quantum Key Distribution (QKD)... 4

Entanglement analysis of atomic processes and quantum registers

Quantum Computation with Bose-Einstein Condensation and. Capable of Solving NP-Complete and #P Problems. Abstract

Factoring a number with 400 digits a

Notes on Complexity Theory Last updated: August, Lecture 1

3515ICT Theory of Computation Turing Machines

DISTANCE DEGREE PROGRAM CURRICULUM NOTE:

1 Complex Numbers in Quantum Mechanics

Computability Theory

Modern Block Cipher Standards (AES) Debdeep Mukhopadhyay

Turing Machines: An Introduction

Quantum and Non-deterministic computers facing NP-completeness

Memory Systems. Static Random Access Memory (SRAM) Cell

Factoring Algorithms

1. True or False? A voltage level in the range 0 to 2 volts is interpreted as a binary 1.

Quantum communication and quantum computing

Indian Journal of Science International Weekly Journal for Science ISSN EISSN Discovery Publication. All Rights Reserved

QUANTUM COMPUTING: A REVIEW FOR THE RELATED ISSUES AND ITS FUTURE ASPECTS

Transcription:

Quantum Computing Robert Sizemore

Outline Introduction: What is quantum computing? What use is quantum computing? Overview of Quantum Systems Dirac notation & wave functions Two level systems Classical Computation Turing machine model

Outline (cont.) Circuit model Quantum Computation Qubits Circuit model of quantum computation Deutsch's algorithm, Shor's algorithm Physical implementation Summary Works Cited

Introduction

What is Quantum Computing? A quantum computer is any device that uses quantum mechanical phenomena to perform calculations and manipulate data.

Why Quantum Computers? More efficient algorithms Quantum Parallelism Cryptography (breaking codes & securing data) Simulating quantum systems

Cryptography RSA public key encryption relies on the difficulty of factoring large integers It is conjectured that factorization is impossible to do efficiently with a classical computer. Shor's factoring algorithm for quantum computers would render this encryption method useless

An Inevitability? Moore's Law: The number of transistor's on a silicon chip doubles every two years Atomic size is a fundamentally limit to the size of possible transistors.

An Overview of Quantum Systems

Schrödinger's Equation Quantum systems are described by a wave function (ψ) For a given potential (V(x)), we find all solutions to Schrödinger's equation. These solutions form a basis of a vector space called a Hilbert space.

Dirac (Bra-ket) Notation Notation introduced by Dirac to represent objects in Hilbert space. Bra row vector Ket column vector Bra-kets inner products

Wave Functions Hilbert spaces have an orthogonal basis. A wave function is a linear combination of the basis vectors Wave functions should be normalizable.

Useful Wave Function Properties Interference Like classical waves, the wave function can exhibit constructive/destructive interference Exploited in quantum algorithms (Deutsch's) Entanglement Multiple particle's wave functions may become entangled Measuring or manipulating one particle will necessarily affect the other.

Born (statistical) Interpretation A quantum system can in a superposition of the allowed states until a measurement is done. When a measurement is performed, the wave function accepts one of the allowed states. You cannot know which state the system will be in before the measurement, only the probability of it being in a given state.

Statistical Interpretation The complex modulus squared of each weight corresponds to probability of finding the system in that state.

Useful Wave Function Properties Interference Like classical waves, the wave function can exhibit constructive/destructive interference Exploited in some quantum algorithms Entanglement Multiple particle's wave functions may become entangled Measuring or manipulating one particle will necessarily affect the other.

Operators Operators act on wave functions Linear operators can be represented as square matrices.

Special Operators Inverse operators Hermitian operators are self adjoint. (Observables) Unitary operators adjoint is its inverse Example: Pauli matrices

2 Level Systems A system with two basis states. Examples: Nuclear spin (up, down) Polarization of a photon (left, right) Qubits ( 1>, 0>)

Bits A bit is an elementary unit of information. A bit has two possible states: 1 or 0. A bit is unambiguous, never in a superposition of states.

Qubits A qubit is the elementary unit of quantum information. A qubit has two allowed states: 1>, 0>. A qubit can be in a superposition of the states of a bit.

Overview of Classical Computation

Classical Computation Computation is done by means of an algorithm, which can be thought of as a set of instructions for solving a specific problem. The mathematician Alan Turing (1912-1954) devised a hypothetical machine that could execute any algorithm called a Turing Machine.

Turing Machine Tape infinite number of cells, every cell is blank or contains a letter in a finite alphabet Control Head has a finite number of states and a halting state Read/Write reads and writes or erases a letter in a given cell then moves left or right.

Operation of a Turing Machine Programs are defined by a set of instructions (a function) An instruction can be written as T:(s,a) (s',a',d) s is the current state and s' is the final state of the head. a is the letter in the cell, a' is the letter to be written. d is the direction the head will move

Input of a Turing Machine The input is the initial state of the Turing machine. a finite number of non-blank cells the read/write head in an initial position the control head in an initial state. a set of instructions for every preceding state

Output of a Turing Machine The output of a Turing machine is the final state of the Turing machine, if any. Control head reaches the halting state (H) Finite length of non-blank cells For a Turing machine it is impossible to know for all inputs whether the control head will reach a halting state or not. This is the known as the halting problem.

Example: Unary Addition Top: A table listing the instructions for mapping each state of the Turing machine (s,a) to a sucessive state (s',a',d). Bottom: Initial and Final state of the Turing Machine. s a s' a' d s1 b s2 b l s2 b s3 b l s2 1 s2 1 l s3 b H b 0 s3 1 s4 b r s4 b s2 1 l

Circuit Model of Computation Circuits are made of wires and gates. Each wire carries one bit of information Gates perform logical operations on one or more wires. In any computation, a circuit can be represented as mapping a n-bit input to a m-bit output.

Logic Gates AND outputs 1 iff both inputs are 1 OR - outputs 0 iff both inputs are 0 NOT - outputs 1 iff input is 0 outputs 0 iff input is 1

Logic Gates FANOUT - outputs two bits identical to input. AND,OR,NOT, and FANOUT constitute a universal set of gates. That is, any n-bit to m-bit function can be represented by them.

Gates as Linear Operators Consider the NOT gate, which returns the opposite of the input. We may represent this gate as a 2x2 matrix.

Example: Binary Addition

Binary Addition

Quantum Computation

Qubits 2 level system in a superposition of bit states. We will manipulate qubits in a manner analogous to the circuit model of classical computation.

Representing a Two-Qubit Input Given two wires going into a gate, you can represent both bits as the tensor product of the two bit. Two 2-dimensional vectors becomes one 4-dimensional vector.

Representing Two Qubits We can write a basis for a two qubit system as the tensor products of the individual qubit's basis vectors

Entanglement of Two Qubits A two-qubit state is separable if it can be written as the tensor product of two one-qubit states. A two-qubit state is entangled otherwise.

n-qubit Quantum Register A quantum computer may be thought of as a collection of n-qubits called a quantum register. A n-qubit quantum register has a basis of 2 n allowed states, and any state of the quantum computer is in a superposition of these states.

Prerequisites for Quantum Computation Be able to prepare system in a well defined initial state. Be able to manipulate the wave function via unitary transformations. Be able to measure the final states of each qubit.

Hadamard Gate (Single Qubit) Changes the basis to a superposition of the computation basis. Hadamard gate is a Hermitian operator.

Controlled Gates (CNOT) The first qubit acts as the control qubit. The second qubit acts as the target qubit. Flips the state of the target qubit if the first qubit is found in a certain state. ( 1>)

Quantum CNOT Gate Can be used to introduce entangled state into a two-qubit system. CNOT along with some of its variants form a universal set of quantum logic gates.

Deutsch's Algorithm (1992) Acts on a boolean function Is the function balanced? Is the function constant? Can determine whether the function is balanced or constant in one step! Classical computers require two runs! x f1 f2 f3 f4 0 0 1 0 1 1 0 0 1 1

Deutsch's Algorithm (1992) Start with 01> state Apply Hadamard gates to both qubits. Apply U, then another Hadamard gate on the first bit. Measure the first bit. 0> => f is constant.

Shor's Algorithm (1994) A hybrid algorithm that is able to a factor a large integer n in polynomial time. We want to factor a large composite integer n. Find the periodicity of F(a) = x a (mod n) for x relatively prime to n. Test all the exponents 'a' up to a power of two between n 2 and 2n 2 using quantum parallelism. Given this period we can more easily determine possible factors.

Other Curiosities Grover's sorting algorithm (1996) Searching through an unsorted database Best classical algorithm is brute force Universal quantum simulator Proposed by Richard Feynman (1982) Quantum simulation requires exponential resources classically Can be done efficiently with a quantum computer. (Seth Lloyd - 1996)

Implementation Quantum logic gate implemented (1995 - NIST) C-NOT gate using trapped ions Quantum algorithm 7 qubits (2001 - IBM) Used Shor's algorithm to factor 15 Largest qubit register 12 qubits (2006 ICQ) Benchmarked a 12 qubit register Decoherence the bane of quantum computing

Summary Quantum computing is promising field Efficient solutions to classically difficult problems Inevitable conclusion of Moore's law Decryption & Encryption Computer modeling of quantum mechanics Physical implementation requires solving or bypassing the problem of decoherence.

Works Cited Principle of Quantum Computation and Information - Benenti, et al. An Introduction to Quantum Computing - Kaye, et al. Quantum Computing and Shor's Algorithm - Hayward ( http://alumni.imsa.edu/~matth/quant/299/paper/) Images from Wikipedia (http://en.wikipedia.org/*) Slide 1 Bloch Sphere; Slide 6 BQP; Slide 8 Moore's Law; Slide 24 Turing Machine; Slides 31/32 Logic Gates; Actual Turing machine from (http://aturingmachine.com) LaTeX by the Online LaTeX Generator: (http://codecogs.com/)