12
110101010010010101000100101100010010101001001001100 101001001011001010100100110010010110111101100010111 001011100100110001011001001010010011100100100110010 110010100101000110101010010010101001001010100110010 101001001011001010100100110010010110111101101011101 001011100100110001011001001010010011100100100110010 110010100010101010101010010010100100101100000100100 101001001011001010100100110010010110111101010101011 001011100100110001011001001010010011100100100110010 110010100010101010010010101101101010110001010010010 101001001011001010100100110010010110111101100001011 001011100100110001011001001010010011100100100110010 110010100010101010101001111011011010101001001100100 101001001011001010100100110010010110111101101010111 001011100100110001011001101101010001001001011001001 101001001011001010100100110010010110111001010101110 001011100100110001011001001010010011100100100110010 11001010001010101010100111000101 010010011111001001 110010100010101010101001110010101001001000100100111 What Do You Mean Simulating a Quantum Computation?” David Poulin IQC, University of Waterloo & Perimeter Institute November 2002

011011010101001001010100010010110001001010100100100110010010

  • Upload
    latoya

  • View
    16

  • Download
    0

Embed Size (px)

DESCRIPTION

011011010101001001010100010010110001001010100100100110010010 010010100100101100101010010011001001011011110110001011101011 101000101110010011000101100100101001001110010010011001001001 100111001010010100011010101001001010100100101010011001001001 - PowerPoint PPT Presentation

Citation preview

Page 1: 011011010101001001010100010010110001001010100100100110010010

011011010101001001010100010010110001001010100100100110010010010010100100101100101010010011001001011011110110001011101011101000101110010011000101100100101001001110010010011001001001100111001010010100011010101001001010100100101010011001001001010010100100101100101010010011001001011011110110101110101001101000101110010011000101100100101001001110010010011001001001100111001010001010101010101001001010010010110000010010011010010010100100101100101010010011001001011011110101010101110101101000101110010011000101100100101001001110010010011001001001100111001010001010101001001010110110101011000101001001001110010010100100101100101010010011001001011011110110000101110101101000101110010011000101100100101001001110010010011001001001100111001010001010101010100111101101101010100100110010010010010010100100101100101010010011001001011011110110101011101011101000101110010011000101100110110101000100100101100100100101010010100100101100101010010011001001011011100101010111010111101000101110010011000101100100101001001110010010011001001001100111001010001010101010100111000101 01001001111100100100101100111001010001010101010100111001010100100100010010011101101

What Do You Mean “Simulating a Quantum Computation?”

David PoulinIQC, University of Waterloo

&Perimeter Institute

November 2002

Page 2: 011011010101001001010100010010110001001010100100100110010010

David Poulin, IQC University of Waterloo & PI

What Do You Mean “Simulating a Quantum Computation?”

How is this simulation business related to foundation of QM?

“A journey from ontic to epistemic ... with consequences”

Does this have consequences on the way we thinkabout simulation?

Page 3: 011011010101001001010100010010110001001010100100100110010010

David Poulin, IQC University of Waterloo & PI

QS

QC CC

Outline

What is known

• Some QSs can be simulated efficiently on a QC.• “Simulating the dynamics” of some QS is as hard as factoring.• Entanglement is necessary for Q-computational speed-up with pure states.• Finding the ground state of a QS can be NP complete.• etc.

Page 4: 011011010101001001010100010010110001001010100100100110010010

David Poulin, IQC University of Waterloo & PI

Stuff about QS we usually compute withCC “simulations” (at an exponential cost).

• Ground state energy• Properties of the thermal/ground state (symmetries)• Propagators • Degeneracy of energy levels• Transport properties• Properties of spectral functions• Properties of cross section• Partition function• etc.

)(

Page 5: 011011010101001001010100010010110001001010100100100110010010

David Poulin, IQC University of Waterloo & PI

The real thing should be at least as goodas the simulated one!

How much of the stuff on the previous slide can wemeasure from the QS itself... ... or a polynomial number of copies of it?

Does there exist physical quantities extractable from poly copies of a QS which requires exponential CC?

“The strongest argument indicating that the simulationof QS is a hard problem is Gauss’ failure at finding anefficient algorithm for factoring.” ---Gilles (maybe in a dream...)

Page 6: 011011010101001001010100010010110001001010100100100110010010

David Poulin, IQC University of Waterloo & PI

“So I know that quantum mechanics seems to involve probability --- and I therefore want to talk aboutsimulating probability.” ---Feynman

There are two ways of addressing this problem:

1. Simulate the “wave packet dynamics” (x,t) likeone would do with water waves.

2. Use a probabilistic CC which “reproduces somestatistical properties of the system”.

211 . Simulating “the factual probabilities”.

Page 7: 011011010101001001010100010010110001001010100100100110010010

David Poulin, IQC University of Waterloo & PI

“One method for classically simulating a quantum computation is to directly compute the state at each step from the sequence of unitary operations prescribed in the quantum algorithm.”

--- Jozsa & Lindenp-blockness: k 2 1

On at most p qubits

Writing the wave function requires complex amplitudes.

Every step of the computation requires at most complex multiplications... must figure out what constitute the new blocs.

22 2 2 pp

pnk

p42

Entanglement is only related to simulatability through theway we chose to represent the wave function.

Page 8: 011011010101001001010100010010110001001010100100100110010010

David Poulin, IQC University of Waterloo & PI

If we insist on computing an exponential amount of extraunphysical information (), the exponential overhead isinevitable.

Slightly weaker notion of “simulating probabilities”:Reproduce the probabilities of a fixed final measurement.

Inputs: I = {Gi} Outputs: O = {Hj}

Gi Hj pijQM

Reproduce pij for all choice of {Hj}

“Unperformed experiments have no results”---Peres

Page 9: 011011010101001001010100010010110001001010100100100110010010

David Poulin, IQC University of Waterloo & PI

Simulate physics, not counterfactual experiments

p-blockness p-blockability!

F = {I, Q1 , Q2 , ..., QL , O} Qk = )()()( kj

kj

kj aaA

p-block statesL is the circuit’s depth

If F form a family of consistent histories, then the measurements Qk can be carried out --- collapsing the state to a p-block state --- without changing the factual (physically meaningful) probabilities pij .

Page 10: 011011010101001001010100010010110001001010100100100110010010

David Poulin, IQC University of Waterloo & PI

If it is possible to simulate the “wave packet’s dynamics” or the “factual probabilities” it is possible to “statisticallyreproduce the behavior of the QS”.

... but it seams otherwise impossible!

Probabilistic simulation

Are we being fair with CCs?

Computation: Problems which require exponential resources are intractable.

Physics: Properties which require exponential resources to be estimated are practically not measurable.

Page 11: 011011010101001001010100010010110001001010100100100110010010

David Poulin, IQC University of Waterloo & PI

But Avogadro’s number is so large!

It takes a while before the exponential kicks in.

Ex. Molecule: N = 50 hydrogen-like 2-levels atoms. Sample: m = 1g. Number of states = 250 << Number of molecules = 1024/50(7 orders of magnitude!)

Reproducing the statistics is not a fair requirement...... what about some coarse grained version of it?

Coarse graining leads to consistency... which leads toclassical simulatability!

If N = 100, then m has to be > 1Tonne!!!

Page 12: 011011010101001001010100010010110001001010100100100110010010

David Poulin, IQC University of Waterloo & PI

When asking a CC to simulate a QS, we should only ask about things we can actually measure on that system.

Should we expect more from a QC?

... it’s not completely crazy.

Ex. Is the ground state of this QS degenerated?

Beyond simulating!