Topological Quantum Computation Parsa Bonderson Microsoft Station - - PowerPoint PPT Presentation

topological quantum
SMART_READER_LITE
LIVE PREVIEW

Topological Quantum Computation Parsa Bonderson Microsoft Station - - PowerPoint PPT Presentation

Measurement-Only Topological Quantum Computation Parsa Bonderson Microsoft Station Q DIAS Theoretical Physics Seminar August 21, 2008 work done in collaboration with: Mike Freedman and Chetan Nayak arXiv:0802.0279 (PRL 08) and


slide-1
SLIDE 1

Measurement-Only Topological Quantum Computation

work done in collaboration with: Mike Freedman and Chetan Nayak arXiv:0802.0279 (PRL „08) and arXiv:0808.1933

Parsa Bonderson

Microsoft Station Q DIAS Theoretical Physics Seminar August 21, 2008

slide-2
SLIDE 2

Introduction

  • Non-Abelian anyons probably exist in certain gapped

two dimensional systems:

  • Fractional Quantum Hall Effect (n=5/2, 12/5, …?)
  • ruthenates, topological insulators, rapidly rotating bose

condensates, quantum loop gases/string nets?

  • They could have application in quantum computation,

providing naturally (“topologically protected”) fault- tolerant hardware.

  • Assuming we have them at our disposal, what
  • perations are necessary to implement topological

quantum computation?

slide-3
SLIDE 3

Anyon Models

(unitary braided tensor categories)

Describe quasiparticle braiding statistics in gapped two dimensional systems.

Finite set of anyonic charges:

c ab

N

Fusion multiplicities are integers specifying the dimension of the fusion and splitting spaces

c N b a

c c ab

= 

ab c c ab V

V ,

C

 c b a , ,

Fusion rules: Unique “vacuum” charge, denoted has trivial fusion and braiding with all particles.

I

slide-4
SLIDE 4

Hilbert space construct from state vectors associated with fusion/splitting channels of anyons. Expressed diagrammatically: Inner product:

' cc

 =

slide-5
SLIDE 5

Associativity of fusing/splitting more

than two anyons is specified by the unitary F-moves:

slide-6
SLIDE 6

=

c ab c

R

Braiding

=

ab

R

 

  

  R U 

Can be non-Abelian if there are multiple fusion channels c

slide-7
SLIDE 7

( 

: rules Fusion ) 1 , , (a.k.a. , , : types Particle ? ruthenates , insulators al topologic honeycomb, Kitaev

  • `07)

d Slingerlan and (PB FQH? 2LL

  • ther

and

  • `91)

Read

  • (Moore

FQH

  • 2

SU

  • r

anyons Ising

2 1 5 12 2 5 2

  n n I = =

I I I I   I     

slide-8
SLIDE 8

( 

: rules Fusion ) 1 , (a.k.a. , : types Particle `08) al. et. Fendley `04, Wen

  • (Levin

nets? string

  • `98)

Rezayi

  • (Read

FQH?

  • 3

SO

  • r

anyons Fibonacci

5 12 3

 n I =

I I I I     

slide-9
SLIDE 9

  1

c

1

c a a a a

Topological Quantum Computation

(Kitaev, Preskill, Freedman, Larsen, Wang)

a a

Ising:

  = = =

1

, , c I c a

Fib:

  = = =

1

, , c I c a

Topological Protection!

slide-10
SLIDE 10

  1 

c

1

c a a a a

(Bonesteel, et. al.)

Topological Quantum Computation

(Kitaev, Preskill, Freedman, Larsen, Wang)

 time

a a

Ising: not quite

(must be supplemented)

Fib: yes! Is braiding computationally universal?

slide-11
SLIDE 11

  1 

c

1

c a a a a

(Bonesteel, et. al.)

Topological Quantum Computation

(Kitaev, Preskill, Freedman, Larsen, Wang)

Topological Charge Measurement

 time

a a

slide-12
SLIDE 12

Topological Charge Measurement

Projective (von Neumann)

e.g. loop operator measurements in lattice models, energy splitting measurement

= =  c b a c b a

c

; , ; ,

     

c c

a b

c

slide-13
SLIDE 13

Topological Charge Measurement

Interferometric (PB, Shtengel, Slingerland `07)

e.g. 2PC FQH, and Anyonic Mach-Zehnder (idealized, not FQH)

Asymptotically characterized as projection of the target‟s anyonic charge AND decoherence of anyonic charge entanglement between the interior and exterior

  • f the target region. (more later; ignore for now)
slide-14
SLIDE 14

Anyonic State Teleportation

(for projective measurement)

Entanglement Resource: maximally entangled anyon pair

= I a a ; ,

= 

Want to teleport: Form:

=

23 1

; , I a a 

and perform Forced Measurement on anyons 12

a a

a

a a a

slide-15
SLIDE 15

Anyonic State Teleportation

=

23 1

; , I a a 

Forced Measurement

(projective)

a a a

(  :

12 I

 

a a a

1

e

2

f

( 

12

1

e

( 

23

2

f

( 

12 I

a a a

1

e

a a a

2

f

a a a

I

slide-16
SLIDE 16

Anyonic State Teleportation

Forced Measurement

(projective)

a a a

(  :

12 I

 

a a a

1

e

2

f

( 

12

1

e

( 

23

2

f

( 

12 I

slide-17
SLIDE 17

Anyonic State Teleportation

Forced Measurement

(projective)

a a a

=

3 12

; ,  I a a 

“Success” occurs with probability for each repeat try.

2

1

a

d

(  :

12 I

 

23 1

; , I a a 

(  (  :

12 12 I I

   

slide-18
SLIDE 18

a a

What good is this if we want to braid computational anyons?

a a

= R

slide-19
SLIDE 19

Use a maximally entangled pair and “forced measurements” for a series of teleportations

a a a a

I

 a a a a

) 23 ( I

) 13 ( I

 

) 34 ( I

 

) 23 ( I

 

slide-20
SLIDE 20

Use a maximally entangled pair and “forced measurements” for a series of teleportations

a a a a a a a a

) 23 ( I

I

 

) 13 ( I

 

) 34 ( I

 

) 23 ( I

 

slide-21
SLIDE 21

Use a maximally entangled pair and “forced measurements” for a series of teleportations

a a a a a a a a

) 23 ( I

) 13 ( I

 

) 34 ( I

 

) 23 ( I

 

I

 

slide-22
SLIDE 22

Use a maximally entangled pair and “forced measurements” for a series of teleportations

a a a a a a a a

) 23 ( I

) 13 ( I

 

) 34 ( I

 

) 23 ( I

 

I

 

slide-23
SLIDE 23

Measurement Simulated Braiding!

a a a a a a a a

=     

) 23 ( ) 13 ( ) 34 ( ) 23 ( ) 14 ( I I I I

R   

slide-24
SLIDE 24

in FQH, for example

slide-25
SLIDE 25

in FQH, for example

slide-26
SLIDE 26

in FQH, for example

slide-27
SLIDE 27

  1 

c

1

c a a a a

Topological Quantum Computation

Topological Charge Measurement

 time

a a

 measurement simulated braiding

slide-28
SLIDE 28

  1 

c

1

c a a a a

Topological Charge Measurement

a a

Topological Charge Measurement

Measurement-Only Topological Quantum Computation

slide-29
SLIDE 29

Topological Charge Measurement

Interferometric (PB, Shtengel, Slingerland `07)

e.g. 2PC FQH, and Anyonic Mach-Zehnder (idealized, not FQH)

Asymptotically characterized as projection of the target‟s anyonic charge AND decoherence of anyonic charge entanglement between the interior and exterior

  • f the target region.
slide-30
SLIDE 30

Interferometrical Decoherence

  • f Anyonic Charge Entanglement

= = c b a c b a ; , ; ,    :

int

D

For a inside the interferometer and b outside:

=

c

slide-31
SLIDE 31

Interferometrical Decoherence

Ising:

   

:

int

D  = :

int

D  = 

slide-32
SLIDE 32

Interferometrical Decoherence

Fibonacci:

 

:

int

D  = 

slide-33
SLIDE 33

Measurement Generated Braiding!

Using Interferometric Measurements is similar but more complicated, requiring the density matrix description. The resulting “forced measurement” procedure must include an additional measurement (of 8 or fewer anyons, i.e. still bounded size) in each teleportation attempt to ensure the overall charge of the topological qubits being acted upon remains trivial. Note: For the Ising model TQC qubits, interferometric measurements are projective.

slide-34
SLIDE 34

Ising vs Fibonacci

(in FQH)

  • Braiding not universal

(needs one gate supplement)

฀ Dn=5/2 ~ 600 mK

  • Braids = Natural gates

(braiding = Clifford group)

  • No leakage from braiding

(from any gates)

  • Projective MOTQC

(2 anyon measurements)

  • Measurement difficulty

distinguishing I and 

(precise phase calibration)

  • Braiding is universal

(needs one gate supplement)

  • Dn=12/5 ~ 70 mK
  • Braids = Unnatural gates

(see Bonesteel, et. al.)

  • Inherent leakage errors

(from entangling gates)

  • Interferometrical MOTQC

(2,4,8 anyon measurements)

  • Robust measurement

distinguishing I and 

(amplitude of interference)

slide-35
SLIDE 35

Conclusion

  • Quantum state teleportation and entanglement

resources have anyonic counterparts.

  • Bounded, adaptive, non-demolitional

measurements can generate the braiding transformations used in TQC.

  • Stationary computational anyons hopefully

makes life easier for experimental realization.

  • Experimental realization of FQH double point-

contact interferometers is at hand.