Quantum Computation - Quantum Computing - Lecture Slides, Slides of Computer Science

These are the Lecture Slides of Quantum Computing which includes Classical Computers, Quantum Computers, Significantly Faster, Factorization Problems, Exponential, Classical Computers, Non Polynomial Problems, Unstructured Search, Circuit Level Representation etc. Key important points are: Quantum Computation, Circuits and Algorithms, Quantum Circuit Model, Alternate Model, Upon Measurement, Mean to Compute, Very Hard, Exploiting Quantum, Efficiently Simulatable, Violation of Strong

Typology: Slides

2012/2013
On special offer
30 Points
Discount

Limited-time offer


Uploaded on 03/23/2013

dhuha
dhuha 🇮🇳

4.3

(15)

134 documents

1 / 22

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Michael A. Nielsen
Quantum Computation towards quantum
circuits and algorithms
Goals:
1. To explain the quantum circuit model of computation.
2. To explain Deutsch’s algorithm.
3. To explain an alternate model of quantum computation
based upon measurement.
Docsity.com
pf3
pf4
pf5
pf8
pf9
pfa
pfd
pfe
pff
pf12
pf13
pf14
pf15
pf16
Discount

On special offer

Partial preview of the text

Download Quantum Computation - Quantum Computing - Lecture Slides and more Slides Computer Science in PDF only on Docsity!

Michael A. Nielsen

Quantum Computation – towards quantum

circuits and algorithms

Goals:

1. To explain the quantum circuit model of computation.

2. To explain Deutsch’s algorithm.

3. To explain an alternate model of quantum computation

based upon measurement.

What does it

mean to compute?

The Church-Turing-Deutsch principle

Church-Turing-Deutsch principle: Any physical process

can be efficiently simulated on a quantum computer.

Research problem: Derive (or refute) the Church-

Turing-Deutsch principle, starting from the laws of

physics.

Models of quantum computation

There are many models of quantum computation.

Historically, the first was the quantum Turing machine,

based on classical Turing machines.

A more convenient model is the quantum circuit model.

The quantum circuit model is mathematically equivalent

to the quantum Turing machine model, but, so far,

human intuition has worked better in the quantum

circuit model.

There are also many other interesting alternate models

of quantum computation!

Quantum circuit model

Classical Quantum

Unit: bit Unit: qubit

  1. Prepare n-bit input 1.^ Prepare n-qubit input in

the computational basis.

2. 1- and 2-bit logic

gates

2. Unitary 1- and 2-qubit

quantum logic gates

3. Readout value of bits 3. Readout partial information

about qubits

x 1 , x 2 ,...,xn

External control by a classical computer.

Single-qubit quantum logic gates

Hadamard gate

H H H

H

Phase gate

P

P 0 = 0 ; P 1 =i 1

X ; Y ; Z

i

i

Pauli gates

P P =^ Z

P i

2

P = Z

Toffoli gate

c 1

t tc 1 ⋅ c 2

Control qubit 1 c 1

Target qubit

Control qubit 2 c 2 c 2

Worked Exercise: Show that all permutation matrices

are unitary. Use this to show that any classical

reversible gate has a corresponding unitary quantum gate.

Cf. the classical case: it is not possible to build up a

Toffoli gate from reversible one- and two-bit gates.

Challenge exercise: Show that the Toffoli gate can be

built up from controlled-not and single-qubit gates.

Now we are using Dirac notation to be used to complex problems

Use the quantum analogue of classical reversible

computation.

The quantum NAND

x

y

1 ⊕ x ⋅ y

x

y

How to compute classical functions

on quantum computers

x

(^0) x

x

The quantum fanout

Classical circuit

x (^) f f x( )

x

0

⊗m g x

f x ( )

U f

Quantum circuit

Example of using

symbolic Dirac

Notation:

Deutsch’s problem

Example: Deutsch’s problem

Given a black box computing a function f : (^) { 0 ,1} →{ 0,1}

Our task is to determine wheth er f is constant or balanced?

Classically we need to evaluate both f(0) and f(1).

Quantumly we need only use the black box for f ( )• once!

Classical black box

x

z (^) z ⊕f x( )

x

f

x

z (^) z ⊕f x( )

x

U f

Quantum black box

Quantum algorithm for Deutsch’s problem

0

0 1

2

−^ f

U

H H

( ) ( )

(0) (1) 1 0 1 1

f f → − + −

(0) (1) 1 0 1 + 1 0 1

f f → − + − −

( ) ( ) ( ) ( )

(0) (1) (0) (1) 1 1 0 + 1 1 1

f f f f = ^ − + − ^ ^ − − −     

f constant ⇒ all amplitude in 0.

f balanced ⇒ all amplitude in 1.

Quantum parallelism

Research problem: What

makes quantum computers

powerful?

Auxiliary

slides

Summary of the quantum circuit model

Inp u :t An n-bit string, x, representing an instance of some problem.

Examp le: x is a number to be factored.

Init ial state : 0 , where is some computable function of.

m m n

A circuit of single-qubit and controlled-not gates is applied to the qubits. The sequence of gates applied is under the control of an external classical computer, and may depend

upon the

Circ

pr

uit:

oblem instance x.

Some fixed subset of the qubits is measured in the

computational basis at the end of the computation, and the output constitutes the solution to the p

Reado

rob

ut:

lem.

For a decision problem, just the first qubit would be

read out, to indicate "yes" o

Examp

r "

le:

no".

QP : The class of decision problems solvable by a quantum circuit

of polynomial size, with polynomial classical overhead.

Quantum complexity classes

How does QP compare with P?

BQP: The class of decision problems for which there is

a polynomial quantum circuit which outputs the correct

answer (“yes” or “no”) with probability at least ¾.

BPP: The analogous classical complexity class.

Research problem: Prove that BQP is strictly larger

than BPP.

Research problem: What is the relationship of BQP

to NP?

What is known: BPP ⊆ BQP ⊆ PSPACE