Topological quantum computation. John Preskill, Caltech Biedenharn Lecture 4 15 September 2005

Similar documents
John Preskill, Caltech KITP 7 June 2003

where the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b

1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.

Topological Quantum Compiling

Qubit and Quantum Gates

arxiv: v2 [quant-ph] 15 Aug 2008

8 THREE PHASE A.C. CIRCUITS

Lecture Notes No. 10

Electromagnetism Notes, NYU Spring 2018

Project 6: Minigoals Towards Simplifying and Rewriting Expressions

Matrices SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics (c) 1. Definition of a Matrix

Measurement-Only Topological Quantum Computation

Dense Coding, Teleportation, No Cloning

Measurement-Only Topological Quantum Computation

Measurement-Only Topological Quantum Computation

Linear Algebra Introduction

Symmetrical Components 1

Spacetime and the Quantum World Questions Fall 2010

CS 573 Automata Theory and Formal Languages

Chapter 3. Vector Spaces. 3.1 Images and Image Arithmetic

Chapter 4 State-Space Planning

TOPIC: LINEAR ALGEBRA MATRICES

6.5 Improper integrals

1.3 SCALARS AND VECTORS

NON-DETERMINISTIC FSA

Lecture 6: Coding theory

Part I: Study the theorem statement.

Introduction to Olympiad Inequalities

, g. Exercise 1. Generator polynomials of a convolutional code, given in binary form, are g. Solution 1.

Technische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution

Engr354: Digital Logic Circuits

Chapter 8 Roots and Radicals

Comparing the Pre-image and Image of a Dilation

Activities. 4.1 Pythagoras' Theorem 4.2 Spirals 4.3 Clinometers 4.4 Radar 4.5 Posting Parcels 4.6 Interlocking Pipes 4.7 Sine Rule Notes and Solutions

Spin Networks and Anyonic Topological Quantum Computing. L. H. Kauffman, UIC.

CS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6

Polynomials. Polynomials. Curriculum Ready ACMNA:

Alpha Algorithm: Limitations

Particle Physics. Michaelmas Term 2011 Prof Mark Thomson. Handout 3 : Interaction by Particle Exchange and QED. Recap

Solutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!

Nondeterministic Finite Automata

The University of Nottingham SCHOOL OF COMPUTER SCIENCE A LEVEL 2 MODULE, SPRING SEMESTER MACHINES AND THEIR LANGUAGES ANSWERS

Pre-Lie algebras, rooted trees and related algebraic structures

Bases for Vector Spaces

Can one hear the shape of a drum?

Figure 1. The left-handed and right-handed trefoils

Nondeterministic Automata vs Deterministic Automata

Lesson 2: The Pythagorean Theorem and Similar Triangles. A Brief Review of the Pythagorean Theorem.

Counting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs

Tutorial Worksheet. 1. Find all solutions to the linear system by following the given steps. x + 2y + 3z = 2 2x + 3y + z = 4.

Automatic Synthesis of New Behaviors from a Library of Available Behaviors

5. Every rational number have either terminating or repeating (recurring) decimal representation.

Exercise 3 Logic Control

SECTION A STUDENT MATERIAL. Part 1. What and Why.?

System Validation (IN4387) November 2, 2012, 14:00-17:00

Algorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points:

Discrete Structures Lecture 11

1 This question is about mean bond enthalpies and their use in the calculation of enthalpy changes.

Thermodynamics. Question 1. Question 2. Question 3 3/10/2010. Practice Questions PV TR PV T R

Designing finite automata II

TIME AND STATE IN DISTRIBUTED SYSTEMS

GM1 Consolidation Worksheet

Outline. Theory-based Bayesian framework for property induction Causal structure induction

Logic Synthesis and Verification

University of Sioux Falls. MAT204/205 Calculus I/II

I1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3

THE PYTHAGOREAN THEOREM

Finite State Automata and Determinisation

Section 4.4. Green s Theorem

NEW CIRCUITS OF HIGH-VOLTAGE PULSE GENERATORS WITH INDUCTIVE-CAPACITIVE ENERGY STORAGE

(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P.

Green s Theorem. (2x e y ) da. (2x e y ) dx dy. x 2 xe y. (1 e y ) dy. y=1. = y e y. y=0. = 2 e

CSE 332. Sorting. Data Abstractions. CSE 332: Data Abstractions. QuickSort Cutoff 1. Where We Are 2. Bounding The MAXIMUM Problem 4

ANALYSIS AND MODELLING OF RAINFALL EVENTS

arxiv: v4 [cond-mat.stat-mech] 18 May 2017

Learning Partially Observable Markov Models from First Passage Times

Sufficient condition on noise correlations for scalable quantum computing

Section 1.3 Triangles

A Study on the Properties of Rational Triangles

Factorising FACTORISING.

12.4 Similarity in Right Triangles

Physics 505 Homework No. 11 Solutions S11-1

Behavior Composition in the Presence of Failure

18.06 Problem Set 4 Due Wednesday, Oct. 11, 2006 at 4:00 p.m. in 2-106

Coalgebra, Lecture 15: Equations for Deterministic Automata

CS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014

I 3 2 = I I 4 = 2A

Part 4. Integration (with Proofs)

Reference : Croft & Davison, Chapter 12, Blocks 1,2. A matrix ti is a rectangular array or block of numbers usually enclosed in brackets.

Discrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α

Math 32B Discussion Session Week 8 Notes February 28 and March 2, f(b) f(a) = f (t)dt (1)

Linear Systems with Constant Coefficients

Intermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4

Learning Objectives of Module 2 (Algebra and Calculus) Notes:

a) Read over steps (1)- (4) below and sketch the path of the cycle on a P V plot on the graph below. Label all appropriate points.

6.3.2 Spectroscopy. N Goalby chemrevise.org 1 NO 2 H 3 CH3 C. NMR spectroscopy. Different types of NMR

Instructions. An 8.5 x 11 Cheat Sheet may also be used as an aid for this test. MUST be original handwriting.

Lecture Summaries for Multivariable Integral Calculus M52B

Surface maps into free groups

Line Integrals and Entire Functions

Transcription:

Topologil quntum omputtion John Preskill, Clteh Biedenhrn Leture 4 5 Septemer 2005 http://www.iqi.lteh.edu/

http://www.theory.lteh.edu/~preskill/ph29/ph29_2004.html

Quntum omputer: the stndrd model () Hilert spe of n quits: (2) prepre initil stte: 0 = 000 0 (3) Exeute iruit uilt from set of universl quntum gtes: U, U, U, U 2 3 n G (4) mesure in sis { 0, } n H=C 2 n { } The model n e simulted y lssil omputer with ess to rndom numer genertor. But there is n exponentil slowdown, sine the simultion involves mtries of exponentil size

Quntum Computer Deoherene Environment ERROR! If quntum informtion is leverly enoded, it n e proteted from deoherene nd other potentil soures of error. Intrite quntum systems n e urtely ontrolled.

Fult-tolernt quntum omputing Quntum Aury Threshold Theorem: Suppose tht fults our independently t the lotions within quntum iruit, where the proility of fult t eh lotion is no lrger thn ε. Then there exists ε 0 > 0 suh tht for fixed ε < ε 0 nd fixed δ > 0, ny iruit of size L n e simulted y iruit of size L* with ury greter thn -δ, where, for some onstnt, ( ) L* = O L logl The numeril vlue of the ury threshold ε 0 is of prtil interest --- we know tht ε 0 > 2.7 0-5 (nd elieve tht the threshold is muh lrger, e.g., ε 0 > 0-2.)

Essentil sumptions: Constnt fult rte (independent of numer of quits). Wekly orrelted fults (oth in spe nd in time). Prllelism (to orret errors in ll loks simultneously.) Reusle memory (to refresh nills tht rry wy entropy introdued y errors). Helpful ssumptions (used in threshold estimtes): Fst mesurements (to red out error syndromes -- without mesurement, threshold is more demnding). Fst lssil proessing (to interpret error syndromes). Nonlol gtes (with lol gtes, threshold is more demnding). No lekge (e.g., loss of quits).

Two Physil Systems Wht is the differene etween: A: Humn B: Chip Imperfet hrdwre. Hierrhil rhiteture with error orretion t ll sles... Relile hrdwre. Informtion proessing prevents informtion loss.

Topology Quntum Gte Noisy Gte

Φ Ahronov-Bohm exp (ieφ) Phse

Φ Ahronov-Bohm exp (ieφ) Phse

Topologil quntum omputtion (Kitev 97, FLW 00) nnihilte pirs? rid rid Kitev rid time rete pirs Freedmn

Topologil quntum omputtion (Kitev 97, FLW 00) time Physil fult tolerne with nonelin nyons: unontrolled exhnge of quntum numers will e rre if prtiles re widely seprted, nd therml nyons re suppressed...

Topologil quntum omputtion () Wht re nyons? (2) How to ompute with nyons. (3) Equivlene of iruit model nd topologil model. (4) Physil reliztion?

Models of (nonelin) nyons A model of nyons is theory of two-dimensionl medium with mss gp, where the prtiles rry lolly onserved hrges. We define the model y speifying:. A finite list of prtile lels {,,, }. These indite the possile vlues of the onserved hrge tht prtile n rry. If prtile is kept isolted from other prtiles, its lel never hnges. There is speil lel 0 inditing trivil hrge, nd hrge onjugtion opertor C: (where 0=0). (Note: for prtile you my red punture. ) 2. Rules for fusing (nd splitting). These speify the possile vlues of the hrge tht n result when two hrged prtiles re omined. 3. Rules for riding. These speify wht hppens when two neighoring prtiles re exhnged (or when one is rotted y 2π). 2 3 4 n

Fusion rules: Fusion vetor spe: Fusion = = N 0 V V V dim( V ) N (Cf., intertwiners, in group representtion theory.) µ (µ =, 2, 3,, N ) µ

Fusion rules: Fusion vetor spe: Fusion = = N 0 V V V dim( V ) N 0 0 The hrge 0 fuses trivilly, nd is the unique lel tht n fuse with to yield hrge 0. 0

Fusion An nyon model is sid to e nonelin if for some, nd, dim( V ) N 2. Then there is topologil Hilert spe tht n enode nontrivil quntum informtion. This enoding is nonlol; the informtion is olletive property of the two nyons, not lolized on either prtile. When the prtiles with lels nd re fr prt, different sttes in the topologil Hilert spe look identil to lol oservers. In prtiulr, the quntum sttes re invulnerle to deoherene due to lol intertions with the environment. Tht is why we propose to use this enoding in quntum omputer. µ

Fusion µ When we hide the quntum stte from the environment, we hide it from ourselves s well! But, when we re redy to red out the quntum stte (for exmple, t the onlusion of quntum omputtion), we n mke the informtion lolly visile gin y ringing the two prtiles together, fusing them into single ojet. Then we sk, wht is this ojet s lel? In ft, it suffies (for universl quntum omputtion) to e le to distinguish the lel = 0 from 0. It is physilly resonle to suppose tht we n distinguish nnihiltion into the vuum ( = 0) from lump tht is unle to dey euse of its onserved hrge ( 0).

Assoitivity of fusion: the F-mtrix ( ) = ( ) d µ ν d = e' µν ' ( d ) e ' µ ' ν F ' e e eµν There re two nturl wys to deompose the topologil d Hilert spe V of three nyons in terms of the fusion spes of pirs of prtiles. These two orthonorml ses re relted y unitry trnsformtion, the F-mtrix. (Cf., the 6jsymols, in group representtion theory.) ν d µ

Briding: the R-mtrix R : V V : µ = µ ( ) R µ µ µ When two neighoring nyons re exhnged ounterlokwise, their totl hrge is unltered; sine the prtiles swp positions, the fusion spe V hnges to the isomorphi spe V. This isomorphism is represented y unitry mtrix, the R-mtrix. The R-mtrix lso determines the topologil spin of the lel, i.e., the phse quired when the prtile is rotted y 2π: 2πiJ 0 e = R

Models of (nonelin) nyons A model of nyons is theory of two-dimensionl medium with mss gp, where the prtiles rry lolly onserved hrges. We define the model y speifying:. A finite lel set {,,, }. 2. The fusion rules = N 3. The F-mtrix (expressing ssoitivity of fusion). 4. The R-mtrix (riding rules). These determine representtion of the mpping lss group (riding plus 2π rottions), nd define unitry topologil modulr funtor (UTMF), the two-dimensionl prt of (2+)- dimensionl topologil quntum field theory (TQFT) --- relted to (+)-dimensionl rtionl onforml field theory (RCFT). 2 3 4 n

Exmple: Yng-Lee (Fioni) Model 0 or The hrge tkes two possile vlues: 0 (trivil) nd (nontrivil, nd self-onjugte). Anyons hve hrge.two nyons n fuse in either of two wys: = 0+ This is the simplest of ll nonelin nyon models. Yet its deeptively simple fusion rule hs profound onsequenes. In prtiulr, the fusion rule determines the F-mtrix nd R- mtrix uniquely; the resulting nontrivil riding properties re dequte for universl quntum omputtion (pointed out y Kupererg).

Nonelin Anyons: Yng-Lee model Suppose n nyons hve trivil totl hrge 0. Wht is the dimension of the Hilert spe? 0 or 0, 0, 0, 0, 0, 0, 0, The distinguishle sttes of n nyons ( sis for the Hilert spe) re leled y inry strings of length n-3. But it is impossile to hve two zeros in row: 0 0

Nonelin Anyons: Yng-Lee model Suppose n nyons hve trivil totl hrge 0. Wht is the dimension of the Hilert spe? 0 or 0, 0, 0, 0, 0, 0, 0, The distinguishle sttes of n nyons ( sis for the Hilert spe) re leled y inry strings of length n-3. But it is impossile to hve two zeros in row: Therefore, the dimension is Fioni numer: D = 2, 3, 5, 8, 3, 2, 34, 55, 89,... 0 0 Asymptotilly, the numer of quits enoded y eh nyon is: ( ) log2φ = log 2 + 5 / 2 = log 2(.68) =.694

Nonelin Anyons: Yng-Lee model Asymptotilly, the numer of quits enoded y eh nyon is: ( ) log2φ = log 2 + 5 / 2 = log 2(.68) =.694 We sy tht d = φ is the (quntum) dimension of the Fioni nyon 0 or This ounting vividly illustrtes tht the quits re nonlol property of the nyons, nd tht the topologil Hilert spe hs no prtiulrly nturl deomposition s tensor produt of smll susystems. Anyons hve some nonlol fetures, ut they re not so nonlol s to profoundly lter the omputtionl model (the riding of nyons n e effiiently simulted y quntum iruit)

The quntum dimension Every nyon lel hs quntum dimension, whih we my define s follows: Imgine reting two prtile-ntiprtile pirs, nd then fusing the prtile from one pir with the ntiprtile from the other =, Annihiltion ours with proility /d 2. This is nturl generliztion of the se where the hrge is n irreduile representtion R of group G, where the quntum dimension is just the dimension R of the representtion (whih ounts the numer of olors going round the loop). But there is no logil reson why dimension defined this wy must e n integer, nd in generl it isn t n integer. = d

The quntum dimension There is more onvenient normliztion onvention for prtilentiprtile pirs... Eh time we dd nother tooth to the sw, it osts us nother ftor of /d. We n ompenste for tht d d d ftor y weighting eh pir retion or nnihiltion even y ftor of d. d d d = d With this onvention, losed loop hs weight, s though we were ounting olors d Now we n deform the world line of prtile (e.g., dding nd removing teeth ) without ltering the vlue of digrm.

The quntum dimension d d = = =, µ µ µ =, µ µ µ = N = N d Therefore, the vetor of quntum dimensions is the (Perron- Froenius) eigenvetor of eh fusion rule mtrix, with eigenvlue d : N d d d N d d d ( ) = = ( )

The quntum dimension N = u d u +, u = d D 2 3 4 5 2 3 N = dim( V ) = NN N N 2 n 2 6 { } i n ( ) n n dd = N = u d u + = 2 + D Thus the quntum dimension ontrols the rte of growth of the n-prtile Hilert spe. The normliztion ftor D= d is lled the totl quntum dimension of the nyon model. 2 n-2

Briding: the B-mtrix d d B: V V : For the n-nyon Hilert spe, we my use the stndrd sis: 2 3 4 5 6 7 n- n 2 3 4 5 6 n-2 The effet of riding n e expressed in this sis: d e = e µν ' ' ( d ) e ' µ ν B ' eµν e d And the mtrix B is determined y R nd F: F R F

Topologil quntum omputtion (Kitev 97, FLW 00) nnihilte pirs? rid rid Kitev rid time rete pirs Freedmn

Topologil quntum omputtion. Crete pirs of prtiles of speified types. 2. Exeute rid. 3. Fuse neighoring prtiles, nd oserve whether they nnihilte. Clim: This proess n e simulted effiiently y quntum iruit. Need to explin:. Enoding of topologil Hilert spe. 2. Simultion of riding (B-mtrix s two-qudit gte). 3. Simultion of fusion (F-mtrix plus one-qudit projetive mesurement). 2 3 4 2 3 n-2 n-3 n- n Although the topologil vetor spes re not themselves tensor produts of susystems, they ll fit into tensor produt of d-dimensionl systems, where this qudit is the totl fusion spe of three nyons ( ) ( n 2) V 0,, H d d =,, N 0

Simulting topologil quntum omputtion The B-mtrix nd the F-mtrix re two-qudit unitry gtes: e d d f = g ( B f ) g e d e g g f d d e f = g ( F f ) g e d g g e f To determine whether nd e will nnihilte, perform n F- move nd then mesure the qudit to find out whether g=0.

Topologil quntum omputtion 2 3 4 n-2 n- 2 3 n n-3 n ( ) ( 2) H d Therefore, the topologil model is no more powerful thn the quntum iruit model. But is it s powerful? The nswer depends on the model of nyons, nd in prtiulr on the properties of the R-mtrix nd F-mtrix. To simulte quntum iruit, we enode quits in the topologil vetor spe, nd use riding to relize set of universl quntum gtes ting on the quits. Tht is, the imge of our representtion of the rid group B n on n strnds should e dense in SU(2 r ), for some r liner in n. Exmple: in the Fioni model, we n enode quit in the twodimensionl Hilert spe of four nyons with trivil totl 0 hrge. V { 0,} But wht re R nd F in this model?

Consisteny of riding nd fusing The R-mtrix (riding), nd the F-mtrix (ssoitivity of fusing) re highly onstrined y lgeri onsisteny requirements (the Moore-Seierg polynomil equtions). In the se of the Fioni model, these equtions llow us to ompletely determine R nd F from the fusion rules. By sequene of F-moves nd R-moves, we otin n isomorphism etween two topologil Hilert spes, tht is, reltion etween two different nonil ses. This reltion must not depend on the prtiulr sequene of moves, only on the sis we strt with nd the sis we end up with. For exmple, there re 5 different wys (without ny exhnges) to fuse five prtiles, relted y F-moves: 2 3 4 F 2 3 4 5 2 3 4 5 5 2 3 4 d 5 2 3 4 5 e Pentgon eqution: ( 5 ) ( 5 F ) 34 F2 ( ) ( 5 ) ( 5 F ) 23 F e4 F234 d = e d e

Consisteny of riding nd fusing F 2 3 4 R 2 3 4 2 3 R F 2 3 4 2 3 R F 2 3 4 F R Hexgon eqution: 4 4 23 23 2 23 3 ( 4 ) 4 ( 4 ) ( 4 ) = F R F R F R Furthermore, if the pentgon nd hexgon equtions re stisfied, then ll sequenes of F- nd R-moves from n initil sis to finl sis yield the sme isomorphism! A systemti (in priniple) proedure for onstruting nyon models:. Assume fusion rule. 2. Solve pentgon nd hexgon equtions for R nd F. -- If no solutions, the fusion rules re inomptile with lol quntum physis. -- If multiple solutions, eh is vlid model.

Exmple: Fioni model = Σ F R : F 4 πi /5 τ τ e 0 =, R=, τ = ( 5 )/2= φ 2 πi /5 τ τ 0 e This solution is unique (side from freedom to redefine phses nd tke the prity onjugte). Furthermore, produts of the nonommuting mtries R nd FRF - (representing the genertors of the rid group B 3 ) re dense in SU(2).

Exmple: Fioni model We enode quit in four nyons. To simulte quntum iruit, we need to do (universl) two-quit gtes. The two-quits re emedded in the 3-dimensionl Hilert spe of eight nyons. The representtion of B 8 determined y our R nd F mtries is universl i.e., dense in SU(3), so in prtiulr we n pproximte ny SU(4) gte ritrrily well with some finite numer of exhnges. If we fix ury of the pproximtion to the gte, we n use quntum error- orreting odes nd fult-tolernt simultion to perform n effiient nd relile quntum omputtion. Here quntum-error orretion might e needed to orret for the (smll) flws in the gtes, ut not to orret for storge errors.

For exmple, we n use quntum teleporttion protool for lekge orretion (in effet, this turns quntum lekge into lssil lekge, whih is esier to detet nd orret). Lekge The omputtion tkes ple in the r-quit suspe of system of 4r nyons. As errors umulte, the stte of the omputer might drift our of this suspe (the lekge prolem). But we n inlude lekge orretor gtes in our simultion. This gte is the identity ting on dt in the omputtionl spe, ut reples leked quit y the stndrd stte 0 in the omputtionl spe. unleked dt leked dt Lekge Corretor Lekge Corretor unhnged unleked dt 0

Topologil quntum omputtion To summrize, we n simulte universl quntum omputer using (for exmple) Fioni nyons, if we hve these pilities:. We n rete pirs of prtiles. 2. We n guide the prtiles long speified rid. 3. We n fuse prtiles, nd distinguish omplete nnihiltion from inomplete nnihiltion. -- The temperture must e smll ompred to the energy gp, so tht stry nyons re unlikely to e exited thermlly. -- The nyons must e kept fr prt from one nother ompred to the orreltion length, to suppress hrge-exhnging virtul proesses, exept during the initil pir retion nd the finl pir nnihiltion.

There would still e more to do, though For exmple, this would e lssifition of gpped two-dimensionl ulk theories, nd one ulk theory n orrespond to more thn one (+)-dimensionl theory desriing edge exittions. And of ourse, we would like to know, oth for prtil nd theoretil resons, whether the model n e relized roustly with some lol Hmiltonin (nd how to relize it). (Nonelin) nyons An nyon model is hrterized y its lel set, fusion rules, F-mtrix, nd R-mtrix. Clssifying the models (finding ll solutions to the pentgon nd hexgon equtions) is n importnt (hrd) unsolved mthemtil prolem. We know how to find some exmples (e.g., Chern-Simons theories), ut we don t know how rih the possiilities re. Suh lssifition would e n importnt step towrd lssifying topologil order in two dimensions. µ F R

Chern-Simons theory The fusion rules of Chern-Simons theory re trunted version of the fusion rules for representtions of ompt Lie group. For exmple, in the theory denoted SU(2) k, the lels re hlf integers nlogous to ngulr moment, where j k/2 nd j is ontined in j j 2 only if j + j 2 + j k. N = = 0 + Therefore: Exmple: SU(2) 2 2 2 d0 = d = = 2 2 d/2 = 2 = 0 The polynomil equtions for these fusion rules hve severl similr solutions (only one of whih desries the riding properties of the SU(2) 2 model), ut no solution hs omputtionlly universl riding rules. Rther, riding simultes omputtion in finite group, whih n e effiiently simulted lssilly.

Chern-Simons theory N = But the SU(2) k models for k 3 re omputtionlly universl: = 0+ 2 2 3 = + 2 2 2 3 = 2 2 Exmple: SU(2) 3 3 = = 0 2 3 3 = 0 2 2 0 + The Fioni (Yng-Lee) model is otined y further truntion to SO(3) 3 (with the noninteger lels eliminted). All nyon models with no more thn four lels hve een lssified y Wng, nd ll re losely relted to the models found in Chern-Simons theory.

Nonelin nyons in the lortory The frtionl quntum Hll stte with filling ftor 5/2 (highest Lndu level is hlf filled) seems to e the Moore-Red Pfffin stte. It is oserved t T @0 mk, nd the energy gp is @ 500 mk, so tht e - /T < 0-20. The low-lying exittions re hrge e/4 nonelin nyons tht fuse like the j=/2 lels in the SU(2) 2 Chern- Simons theory. = 0 + 2 2 = 2 2 = 0 totl hrge totl hrge 0 One onsequene of the riding properties of these nyons is tht winding one nyon round nother uses n exhnge of hrge. The two lue trjetories nnot interfere, euse the whih-wy informtion eomes imprinted in the hrge of the red nyon pir. Thus nonelin nyons hve more distintive experimentl signture thn elin nyons, not esily onfused with other effets.

Nonelin nyons in the lortory ntidot with Hll fluid tunle numer of qusiprtiles The two tunneling pths n interfere. When the numer of qusiprtiles on the ntidot is even, there re Ahronov-Bohm osilltions in the (trnsverse nd longitudinl) ondutivity s the mgneti field vries. But if the the numer of qusiprtiles is odd, there is no interferene nd hene no osilltions. (Hlperin-Stern ondmt/0508447, Bonderson-Kitev-Shtengel ondmt/050866.) edge urrent no interferene

Roust universl quntum omputtion using frtionl quntum Hll sttes t filling ftor 5/2? Coneivly, n rry of mny ntidots ould e frited, suh tht trnsfer of hrge mong ntidots n e indued y djusting gte voltges, hieving ontrolled riding of nyon world lines. (Ds Srm- Freedmn-Nyk, ond-mt/042343.) Unfortuntely, these nyons relized in the Pfffin stte t filling ftor 5/2 re not dequte for universl topologil quntum omputtion. But it should e possile to hieve universl quntum omputtion y omining the topologil opertions with reltively noisy nontopologil opertion (e.g., two-nyon phse shift). Preliminry lultions (y Brvyi nd Kitev) indite tht fidelity of out 90% for this nontopologil opertion would suffie for relile quntum omputing. Do nyons suited for universl quntum omputing our for filling ftor 2/5? (Red-Rezyi (999)) 2 3 4 n

Models of nonelin topologil order Kitev (qunt-ph/970702 nd ond-mt/0506438), Freedmn, Nyk, Shtengel, Wlker, nd Wng (ond-mt/03075), Levin nd Wen (ond-mt/040467), nd Fendley nd Frdkin (ondmt/050207) hve onstruted nonelin nyon models tht rise from two-dimensionl lttie Hmiltonin with lol intertions. Vriles on oriented links of honeyom lttie re the nyon lels. The Hmiltonin imposes n energeti penlty the lels meeting t site disoey the fusion rules. Low energy onfigurtions re rnhing string networks tht respet the fusion rule. Qusiprtiles pper t the ends of roken strings. N 0 Kitev Freedmn 0 Wen

Models of nonelin topologil order Kitev (qunt-ph/970702 nd ond-mt/0506438), Freedmn, Nyk, Shtengel, Wlker, nd Wng (ond-mt/03075), Levin nd Wen (ond-mt/040467), nd Fendley nd Frdkin (ondmt/050207) hve onstruted nonelin nyon models tht rise from two-dimensionl lttie Hmiltonin with lol intertions. Kitev The Hmiltonin lso enfores tht the ground stte is invrint under deformtion of string tht moves it ross plquette. Freedmn Wen

Models of nonelin topologil order Kitev (qunt-ph/970702 nd ond-mt/0506438), Freedmn, Nyk, Shtengel, Wlker, nd Wng (ond-mt/03075), Levin nd Wen (ond-mt/040467), nd Fendley nd Frdkin (ondmt/050207) hve onstruted nonelin nyon models tht rise from two-dimensionl lttie Hmiltonin with lol intertions. Kitev The Hmiltonin lso enfores tht the ground stte is invrint under deformtion of string tht moves it ross plquette. Freedmn Wen

Models of nonelin topologil order Kitev (qunt-ph/970702 nd ond-mt/0506438), Freedmn, Nyk, Shtengel, Wlker, nd Wng (ond-mt/03075), Levin nd Wen (ond-mt/040467), nd Fendley nd Frdkin (ondmt/050207) hve onstruted nonelin nyon models tht rise from two-dimensionl lttie Hmiltonin with lol intertions. Kitev The Hmiltonin lso enfores tht the ground stte is invrint under deformtion of string tht moves it ross plquette. Freedmn Wen

Models of nonelin topologil order Kitev (qunt-ph/970702 nd ond-mt/0506438), Freedmn, Nyk, Shtengel, Wlker, nd Wng (ond-mt/03075), Levin nd Wen (ond-mt/040467), nd Fendley nd Frdkin (ondmt/050207) hve onstruted nonelin nyon models tht rise from two-dimensionl lttie Hmiltonin with lol intertions. Kitev The Hmiltonin lso enfores tht the ground stte is invrint under deformtion of string tht moves it ross plquette. Freedmn Wen

Models of nonelin topologil order Kitev (qunt-ph/970702 nd ond-mt/0506438), Freedmn, Nyk, Shtengel, Wlker, nd Wng (ond-mt/03075), Levin nd Wen (ond-mt/040467), nd Fendley nd Frdkin (ondmt/050207) hve onstruted nonelin nyon models tht rise from two-dimensionl lttie Hmiltonin with lol intertions. Kitev The Hmiltonin lso enfores tht the ground stte is invrint under deformtion of string tht moves it ross plquette. Freedmn Wen The ground stte is string-net ondenste.

Models of nonelin topologil order e d Furthermore, the Hmiltonin enfores tht the ground stte is invrint under n F-move. The qusiprtiles re persuded to ehve just like the prtiles in the nyon model (exept tht the model is prity douled ). = ( ) f F d e f The topologil order is expeted to survive when the Hmiltonin is slightly pertured. d

Quntum mny-ody physis: Exoti phses in optil ltties Atoms n e trpped in n optil lttie. The lttie geometry nd intertions etween neighors n e hosen y the mteril designer (diretion-dependent nd spin dependent tunneling etween sites). In prtiulr, Dun, Lukin, nd Demler (ond-mt/020564) hve desried how Kitev s honeyom lttie model, whih supports nonelin nyons, n e simulted using n optil lttie.

Anywy, with nonelin nyons we n exploit topology not just to store quntum informtion, ut lso to proess it! Aelin vs. nonelin Aelin nyon models n lso e used for roust quntum memory, e.g., model of 2 fluxons nd their dul 2 hrges. A quit is relized euse the 2 flux in hole n e either trivil or nontrivil (the informtion is rried y the lels themselves, not y the fusion sttes). This informtion is hidden from the environment y mking the holes lrge nd keeping them fr prt (to prevent flux from tunneling from one hole to nother, or to the outside edge, nd to prevent the world lines of hrges from winding out holes). -- Kitev (996) However, this informtion my not e esy to red out. We d need to ontrt hole to see if prtile ppers, or perform delite interferene experiment to detet the flux, or Alterntively, y mixing the 2 with eletromgneti U(), we might do the redout vi Senthil-Fisher type experiment (i.e., one tht would tully work)! -- Ioffe et l. (2002)

Topologil quntum omputing Error orretion nd fult tolerne will e essentil in the opertion of lrge sle quntum omputers. The rute fore pproh to fult-tolernt quntum omputing uses lever iruit design to overome the defiienies of quntum hrdwre. It works in priniple, ut hieving it in prtie will e hllenging. Topologil quntum omputing is fr more elegnt pproh, in whih the hrdwre is intrinsilly roust due to priniples of lol quntum physis (if operted t temperture well elow the mss gp). The topologil pproh lso looks dunting from the perspetive of urrent tehnology. But it is n ttrtive nd promising long-term pth towrd relisti quntum omputing. As onus, there re fsinting onnetions with deep issues in quntum mny-ody physis!