quantum computing: solving complex problems david divincenzo, ibm fermilab colloquium, 4/2007

26
Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Upload: allie

Post on 10-Feb-2016

27 views

Category:

Documents


1 download

DESCRIPTION

Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007. x x y y x. =. add the bits mod 2. Rules for quantum computing. D. Deutsch, Proc. R. Soc. A 400, 97 (1985) D. Deutsch, Proc. R. Soc. A 425, 73 (1989). - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Quantum Computing:Solving Complex Problems

David DiVincenzo, IBM

Fermilab Colloquium, 4/2007

Page 2: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Rules for quantum computing

Consider this form of two-bit boolean logic gate:

D. Deutsch, Proc. R. Soc. A 400, 97 (1985)D. Deutsch, Proc. R. Soc. A 425, 73 (1989)

x x

y yx

add the bits mod 2

=

“controlled-NOT”(CNOT)

1

0 1

1

Page 3: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Rules for quantum computing

Quantum rules of operation :

D. Deutsch, Proc. R. Soc. A 400, 97 (1985)D. Deutsch, Proc. R. Soc. A 425, 73 (1989)

x x

y yx

=

“controlled-NOT”(CNOT)

|0

10002

1in

output not factorizable!

Creation of entanglement

|0U

one-qubitrotations –createsuperpositions

11002

1out

(|0 + |1)12

Page 4: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Fast Quantum Computation

P. Shor, AT&T, 1994

Page 5: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Physical systems actively consideredfor quantum computer implementation

• Liquid-state NMR• NMR spin lattices• Linear ion-trap

spectroscopy• Neutral-atom optical

lattices• Cavity QED + atoms• Linear optics with single

photons• Nitrogen vacancies in

diamond

• Electrons on liquid He • Small Josephson junctions

– “charge” qubits– “flux” qubits

• Spin spectroscopies, impurities in semiconductors

• Coupled quantum dots– Qubits:

spin,charge,excitons– Exchange coupled, cavity

coupled

Page 6: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Josephson junction qubit -- Saclay

Science 296, 886 (2002)

Oscillations show rotation of qubit at constant rate, with noise.

Where’s the qubit?

Page 7: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Delft qubit:

small

-Coherence time up to 4sec-Improved long term stability-Scalable?

PRL (2004)

Page 8: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Simple electric circuit… small

L C

harmonic oscillator with resonantfrequency

LC/10

Quantum mechanically, like a kind of atom (with harmonic potential):

x is any circuit variable(capacitor charge/current/voltage,Inductor flux/current/voltage)

That is to say, it is a “macroscopic” variable that isbeing quantized.

Page 9: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Textbook (classical) SQUID characteristic: the “washboard”

small

Energy

Josephson phase

1. Loop: inductance L, energy 2/L

2. Josephson junction: critical current Ic, energy Ic cos 3. External bias energy(flux quantization effect): /L

Page 10: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Textbook (classical) SQUID characteristic: the “washboard”

small

Energy

Josephson phase

Junction capacitance C, plays role of particle mass

Energy

1. Loop: inductance L, energy 2/L

2. Josephson junction: critical current Ic, energy Ic cos 3. External bias energy(flux quantization effect): /L

Page 11: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Quantum SQUID characteristic: the “washboard”

small

Energy

Josephson phase

Junction capacitance C, plays role of particle mass

Quantum energy levels

Page 12: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

“Yale” Josephson junction qubit Nature, 2004

Coherence time again c. 0.5 s (in Ramsey fringe experiment)But fringe visibility > 90% !

Page 13: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

IBM Josephson junction qubit1

“qubit = circulationof electric currentin one direction oranother (????)

Page 14: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

small

Good Larmor oscillationsIBM qubit

-- Up to 90% visibility-- 40nsec decay-- reasonable long term stability

What are they?

Page 15: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007
Page 16: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Feb. 2007: D-wave systems announces 16 qubit processor

• 4x4 array of “flux qubits” (RF SQUIDs, tunable by flux biasing)• DC SQUID couplers, also flux-tunableGreat progress?

Hold on a minute…

They propose to use an alternative approach toquantum computing:

Page 17: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Hartmann, Phys. Rev. B 59, 3617 - 3623 (1999)

Slow variationof couplings…

Spins on a lattice, or other quantum two-level systems

Quantum Simulated Annealing

Optimization problems encodable in problem of finding lowest energy state of Ising spin glass.

Uniform transverse fieldVariable out-of-plane field

Ferromagnetic exchangeAntiferromagnetic exchange

Adiabatic evolution of the quantum system in its ground state

Page 18: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Farhi et al., quant-ph/0001106.

.,, 2

11

21

21

etcnn

n

nPossible gapscalings:

Very unlikely tobe constant with n.

Problems with small gaps:• Landau-Zener tunneling• Thermal excitations

Constraints on Adiabatic Computation

Page 19: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Richard Feynman:First paper onQuantum computers

Page 20: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Quantum simulation will be useful, but

there will be limitations.

2007 Perspective:

Page 21: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

An overview of complexity

NC

PBPP

NP

NC: logarithmic timeP: polynomial timeBPP: polynomial time, allowing for some error

NP: “nondeterministic polynomial”, answer can be confirmed in polynomial time

Page 22: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Classical Spin Glass: NP-complete

That is, Barahona ’82:

(H) is the ground-state energy.Is there a similar result for quantum spin glasses?

Hartmann, Phys. Rev. B 59, 3617 - 3623 (1999)

Variable out-of-plane fieldFerromagnetic exchange

Antiferromagnetic exchange

Page 23: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Quantum complexity

NC

PBPP

NP

MA/AM: “Merlin-Arthur” – NP with interactionBQP: polynomial time on a quantum computerQMA: answer can be confirmed in polynomial time on a quantum computer: quantum analog of NP

MA

AM PostBPP

QMA

BQP

Page 24: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Decision Problems in Computational Complexity

Merlin. The all-powerful prover which cannot necessarily be trusted. The goal of Merlin is to prove to Arthur that the answer to his decision problem is YES. If this can be achieved the proof is complete. If the answer is NO, Merlin can still try to convince Arthur that the answer is yes. The proof is sound if Arthur cannot be convinced.

Arthur. A mere mortal who can run polynomial time algorithms only. Wants to solve the decision problem by possible interaction(s) with Merlin.

Page 25: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

The bad news: finding the ground state energy of the “quantum spin glass”:

is QMA-complete. (Kitaev, Kempe, Regev, Oliveira, Terhal)

Implication: there are quantum simulation problems that we expect to be hard, even on a quantum computer.

(arbitrary quantum couplings)

Page 26: Quantum Computing: Solving Complex Problems David DiVincenzo, IBM Fermilab Colloquium, 4/2007

Conclusions -- Hardware for quantum computing is progressing steadily

-- Small working machines will be with us in the coming years

-- Simulation of hard quantum problems with a quantum computer is clearly possible

-- Some problems will be tractable, some intractable -- Progress will be empirical rather than rigorous