Universal Quantum Computation with AKLT States and Spectral Gap of - - PowerPoint PPT Presentation

universal quantum computation with aklt states and
SMART_READER_LITE
LIVE PREVIEW

Universal Quantum Computation with AKLT States and Spectral Gap of - - PowerPoint PPT Presentation

Universal Quantum Computation with AKLT States and Spectral Gap of AKLT Models Tzu-Chieh Wei ( ) C.N. Yang Institute for Theoretical Physics Workshop on Statistical Physics of Quantum Matter, Taipei, July 2013 Outline I.


slide-1
SLIDE 1

Universal Quantum Computation with AKLT States

Workshop on Statistical Physics of Quantum Matter, Taipei, July 2013

Tzu-Chieh Wei (魏子傑) C.N. Yang Institute for Theoretical Physics

and Spectral Gap of AKLT Models

slide-2
SLIDE 2

Outline

  • I. Introduction: quantum computation by local measurement
  • -- cluster-state (one-way) quantum computer
  • IV. Summary and outlook
  • II. QC on AKLT (Affleck-Kennedy-Lieb-Tasaki) states

1) 1D: spin-1 AKLT chain 2) 2D: spin-3/2 AKLT state on honeycomb, square-octagon, cross & star lattices

  • III. Finite gap of 2D AKLT Hamiltonians ---numerical evidence
slide-3
SLIDE 3

Ian Affleck (UBC) Robert Raussendorf (UBC) Collaborators: Artur Garcia (Stony Brook) Valentin Murg (Vienna)

slide-4
SLIDE 4

One-Way Quantum Computation: by Local Measurement

Single-qubit measurements on the 2D cluster state

gives rise to universal quantum computation (QC)

2D cluster state

[Raussendorf &Briegel, PRL01’] QC = pattern

  • f measurement

Key points:

Equivalent to circuit model: Universal gates can be implemented

slide-5
SLIDE 5

Cluster state and graph state

Via stabilizer generators:

X Z Z Z

Graph states: defined on any graph [Hein, Eisert & Briegel 04’] [Raussendorf &Briegel 01’]

Via controlled-Z gates:

Cluster states: special case of graph states on

regular lattices, e.g. square

(X,Y,Z: Pauli matrices)

[These eqs. uniquely define |G>.]

slide-6
SLIDE 6

Universal gate set: Lego pieces for QC

  • 1. Can isolate wires for single-qubit gates
  • 2. CNOT gate via entanglement between wires

[Raussendorf &Briegel PRL 01’] Cluster-state QC = a set of measurement patterns

slide-7
SLIDE 7

Search for universal resource states

Can universal resource states be unique ground state?

Any other 2D graph states on regular lattices (≡cluster states):

triangular, honeycomb, kagome, etc.

MPS & PEPS framework: alternative view & further examples

[Van den Nest et al. ‘06] [Verstraete & Cirac ‘04] [Gross & Eisert ‘07, Gross, Eisert, Schuch & Perez-Garcia ‘10]

Other known examples: Can other states beyond the 2D cluster state be used

for measurement-based quantum computation?

Create resources by cooling (if Hamiltonian is gapped)! Desire simple and short-ranged (nearest nbr) 2-body Hamiltonians Cluster states: not unique ground state of two-body Hamiltonians

[Nielsen ‘04]

slide-8
SLIDE 8

We will focus on the family of Affleck-Kennedy-Lieb-Tasaki (AKLT) states

Unique ground states of short-ranged (nearest nbr) 2-body Hamiltonians For certain cases (mostly 1D chains), existence of a finite gap above the ground state can be proved But can they be useful for quantum computation?

slide-9
SLIDE 9

Outline

  • I. Introduction: quantum computation by local measurement
  • IV. Summary and outlook
  • II. QC on AKLT (Affleck-Kennedy-Lieb-Tasaki) states

1) 1D: spin-1 AKLT chain 2) 2D: spin-3/2 AKLT state on honeycomb, square-octagon, cross & star lattices

  • III. Finite gap of 2D AKLT Hamiltonians ---numerical evidence
slide-10
SLIDE 10

1D AKLT state

Spin-1 chain: two virtual qubits per site

singlet Project into symmetric subspace

  • f two spin-1/2 (qubits)
  • Can realize rotation on one logical qubit by measurement

[AKLT ’87,’88] [Brennen & Miyake, PRL ‘09] [Gross & Eisert, PRL ‘07]

  • One reason: 1D AKLT state can be converted to 1D cluster state

by local measurement (and 1D cluster state can realize 1-qubit rotation)

slide-11
SLIDE 11

1D AKLT state cluster state

In a large system, cluster state has length 2/3 of AKLT

Our approach uses a POVM: (outcome: x, y, z)

y x y z z x x z y y y x y z z y y z x x z

gives rise to a cluster state (a logical qubit is a domain of connected sites with same outcome)

x y

Any outcome preserves a two- dimensional subspace

[Wei, Affleck & Raussendorf ’12]

slide-12
SLIDE 12

(1) A domain is formed by merging connected sites with same outcome and is a logical qubit:

Remarks on two key points:

Anti-ferromagnetic properties from singlets

z z z “0” : “1” : (2) No leakage out of qubit encoding due to

Random outcome x, y, or z indicates quantization axis (probability adds up to 1)

slide-13
SLIDE 13

(a) honeycomb (b) square-octagon (c) ‘cross’ (d) ‘star’

1D AKLT state can only support 1-qubit rotation, not universal QC; What about 2D AKLT states?

slide-14
SLIDE 14

Outline

  • I. Introduction: quantum computation by local measurement
  • IV. Summary and outlook
  • II. QC on AKLT (Affleck-Kennedy-Lieb-Tasaki) states

1) 1D: spin-1 AKLT chain 2) 2D: spin-3/2 AKLT state on honeycomb, square-octagon, cross & star lattices

  • III. Finite gap of 2D AKLT Hamiltonians ---numerical evidence
slide-15
SLIDE 15

Spin-3/2 AKLT state on honeycomb

Each site contains three virtual qubits Two virtual qubits on an edge form a singlet

singlet

slide-16
SLIDE 16

Spin 3/2 and three virtual qubits

Projector onto symmetric subspace Addition of angular momenta of 3 spin-1/2’s The four basis states in the symmetric subspace

Symmetric subspace

Effective 2 levels

  • f a qubit
slide-17
SLIDE 17

Spin-3/2 AKLT state on honeycomb

Each site contains three virtual qubits Two virtual qubits on an edge form a singlet

singlet

slide-18
SLIDE 18

Spin-3/2 AKLT state on honeycomb

Each site contains three virtual qubits Two virtual qubits on an edge form a singlet

singlet

Projection (PS,v) onto symmetric subspace of 3 qubits at each site

& relabeling with spin-3/2 (four-level) states

slide-19
SLIDE 19

Convert to graph states via POVM

POVM outcome (x,y, or z) is random (av ={x,y,z} ϵ A for all sites v)

Three elements satisfy:

[Wei,Affleck & Raussendorf ’11; Miyake ‘11]

av : new quantization axis state becomes effective 2-level system (logical qubit = domain)

v: site index

slide-20
SLIDE 20

AKLT on honeycomb

  • 1. Random x, y, z outcomes
slide-21
SLIDE 21

AKLT on honeycomb

  • 2. Merge sites to domains

(1 domain= 1 logical qubit)

slide-22
SLIDE 22

AKLT on honeycomb

  • 3. Even # edges = 0 edge

Odd # edges = 1 edge (New feature in 2D)

slide-23
SLIDE 23

Quantum computation can be implemented

  • n such a (random) graph state

Sufficient number of wires if graph is in supercritical phase (percolation)

slide-24
SLIDE 24

AKLT on square-octagon

Follow the same procedure Bond Percolation Threshold ≈ 0.6768 > 2/3

slide-25
SLIDE 25

Merge sites to domains

Neighboring sites with same POVM outcome

  • ne domain = one qubit
slide-26
SLIDE 26

Graph state: the graph

Two domains connected by even edges = no edge

  • dd edges = 1 edge
slide-27
SLIDE 27

QC on the new graph

Identify new “backbone” (may not exist on original graph)

slide-28
SLIDE 28

Robustness: finite percolation threshold

Typical graphs are in percolated (or supercritical) phase

Site percolation by deletion (Honeycomb)

supercritical subcritical

Threshold = 1- Pdelete* ≈1-0.33=0.67

Sufficient (macroscopic) number of traversing paths exist (supercritical) These AKLT states (also that on ‘cross’) are universal for QC

(Square-octagon)

threshold ≈1-0.26=0.74

supercritical subcritical

Site percolation by deletion

[Wei,Affleck & Raussendorf ’11] [Wei ’13]

Pspan

slide-29
SLIDE 29

However, the AKLT state on the star lattice is NOT universal, due to frustration!

?

Cannot have POVM outcome xxx, yyy or zzz on a triangle

slide-30
SLIDE 30

AKLT on star lattice

  • 1. Random x, y, z outcomes
slide-31
SLIDE 31

AKLT on star lattice

  • 2. Merge sites to domains
slide-32
SLIDE 32

AKLT on star lattice

Edges in triangles are removed with 50% (occupied with 50%) Edges connecting triangles never removed 50% is smaller than bond percolation threshold (≈0.5244) of Kagome No connected path AKLT not universal

  • 3. Edge modulo 2 operation
slide-33
SLIDE 33

(a) honeycomb (b) square-octagon (c) ‘cross’ (d) ‘star’

AKLT states: universal resource or not?

slide-34
SLIDE 34

AKLT state on square lattice?

Whether such spin-2 state is universal remains open

Technical problem: trivial extension of POVM does NOT work!

Leakage out of logical subspace (error)

slide-35
SLIDE 35

Outline

  • I. Introduction: quantum computation by local measurement
  • IV. Summary and outlook
  • II. QC on AKLT (Affleck-Kennedy-Lieb-Tasaki) states

1) 1D: spin-1 AKLT chain 2) 2D: spin-3/2 AKLT state on honeycomb, square-octagon, cross & star lattices

  • III. Finite gap of 2D AKLT Hamiltonians ---numerical evidence
slide-36
SLIDE 36

Finite gap of spin-3/2 AKLT model?

Hamiltonian Known to have exponential decaying

correlation functions, but NOT a proof of gap

We use tensor network methods to show the existence

  • f gap and its value

[AKLT ’87,’88]

See Artur Garica’s poster for details

slide-37
SLIDE 37

Inferring gap of AKLT models

By applying an external field, can probe the gap Ground state is a spin singlet state;

eigenstates characterized by total |S, Sz ›

Schematic energy response

h E

0.05 0.1 0.15 0.2 0.4 0.6 0.8 1 1.2

h

singlet

1D AKLT with N=8

A, B, C, … traces lowest energy

  • f H

First cross and the slope infer E1 - E0 Slope = Magnetization Plateau finite gap

slide-38
SLIDE 38

1D spin-1 AKLT model

Hamiltonian:

E

0.5 1 1.5 2 2.5 3 −1.2 −1 −0.8 −0.6 −0.4 −0.2 0.2

h M

−5.5 −5 −4.5 −4 −3.2 −3 −2.8 −2.6 −2.4 −2.2 log(h − hc) log(M)

0.2 0.4 0.6 0.8 1 1.2 1.4 −0.6 −0.5 −0.4 −0.3 −0.2 −0.1 0.1

h e0

Energy per spin Magnetic moment per spin Gap ∆ ≈ 0.350

slide-39
SLIDE 39

2D spin-3/2 AKLT on honeycomb

Hamiltonian:

Energy per spin Magnetic moment per spin Gap ∆ ≈ 0.10

0.5 1 1.5 2 2.5 3 3.5 −1.6 −1.4 −1.2 −1 −0.8 −0.6 −0.4 −0.2 0.2

h

M

0.05 0.1 −0.2 −0.15 −0.1 −0.05 D=2 D=3 D=4 D=5

0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 −0.6 −0.5 −0.4 −0.3 −0.2 −0.1

h e0

slide-40
SLIDE 40

Summary and outlook

Several AKLT states on 2D lattices provide resources for

universal quantum computation

AKLT Hamiltonians on the honeycomb (and square)

are gapped (numerical evidence)

Spin-2 AKLT state on square lattice universal?

Wei, arXiv:1306.1420 Wei, Affleck & Raussendorf, Phys. Rev. A 86, 032328 (2012) Garcia-Saez, Murg & Wei, in preparation Raussendorf & Wei, Annual Review of Cond. Mat. Phys., vol.3, 239 (2012) Wei, Affleck & Raussendorf, Phys. Rev. Lett. 106, 070501 (2011)

  • References: