arxiv: v1 [quant-ph] 12 Mar 2009

Transcription

1 Topologicl Quntum Computing with Re-Rezyi Sttes L. Hormozi, N.E. Bonesteel 2, n S.H. Simon 3 Joint Quntum Institute, Ntionl Institute of Stnrs n Technology n University of Mryln, Githersurg, MD Deprtment of Physics n NHMFL, Flori Stte University, Tllhssee, FL Ruolf Peierls Centre for Theoreticl Physics, Oxfor University, Kele Ro, Oxfor OX 3NP, UK Re-Rezyi frctionl quntum Hll sttes re mong the prime cnites for relizing non- Aelin nyons which in principle cn e use for topologicl quntum computtion. We present prescription for efficiently fining ris which cn e use to crry out universl set of quntum gtes on encoe quits se on nyons of the Re-Rezyi sttes with k > 2, k 4. This work extens previous results which only pplie to the cse k = 3 (Fioncci) n clrifies why in tht cse gte constructions re simpler thn for generic Re-Rezyi stte. rxiv: v [qunt-ph] 2 Mr 29 Non-Aelin nyons [] qusiprticle excittions oeying so-clle non-aelin sttistics re conjecture to emerge in certin two-imensionl quntum systems. In these systems, when well-seprte nyons re present, there is groun stte egenercy tht grows exponentilly with the numer of nyons. Furthermore, if these nyons remin well-seprte, ifferent sttes in the groun stte mnifol cnnot e istinguishe y locl mesurements thus renering this spce immune from ecoherence ue to ny locl perturtions. When non-aelin nyons re exchnge, the process is escrie y multiimensionl unitry opertion (inste of single phse) cting on the egenerte spce. Certin unitry opertions cn then e crrie out y rgging nyons roun one nother, riing their worllines in 2+ imensionl spce-time. As long s the nyons re kept sufficiently fr prt uring this process, the resulting unitry opertion will e ienticl for ny two topologiclly equivlent ris. Recent interest in non-aelin nyons hs focuse on the possiility of using them for topologicl quntum computtion form of quntum computtion which exploits the topologicl roustness of riing n the protection of the egenerte Hilert spce ginst ecoherence to process n store quntum informtion in n intrinsiclly fult-tolernt wy [2, 3, 4]. This pper is concerne with the prolem of fining specific riing ptterns which cn e use to crry out universl quntum computtion for clss of non-aelin nyons escrie y su(2) k Chern-Simons-Witten theories. The theory of su(2) k nyons provies the mthemticl escription [5] (up to Aelin phses not relevnt here) of the riing properties of qusiprticle excittions in the Re-Rezyi [6] sequence of frctionl quntum Hll (FQH) sttes. Here the prmeter k (the level ) is positive integer chrcterizing the stte. For exmple, the k = 2 stte is the Moore-Re stte [], elieve to escrie the FQH plteu oserve t filling frction ν = 5/2 [4], n the k = 3 stte my escrie the FQH plteu oserve t ν = 2/5 [6]. Bosonic Re-Rezyi sttes my lso e relizle in rotting Bose gses [7], n moel spin Hmiltonins hve een constructe [8] for which the low-energy qusiprticle excittions cn e escrie y ny consistent chirl theory of non-aelin nyons, incluing (oule) su(2) k, suggesting the possiility of relizing su(2) k nyons in exotic spin liquis. It hs een shown tht su(2) k nyons with k = 3 or k > 4 cn e use to crry out universl quntum computtion just y riing nyons [3]. In previous work [9, ] numer of ifferent prescriptions hve een given for explicitly constructing ris to crry out universl quntum computtion using su(2) 3 nyons nyons which re, for our purposes, essentilly equivlent to the so-clle Fioncci nyons [4]. In the present work, we exten these results to ll su(2) k nyons with k 3, k 4. su(2) k nyons crry quntum numer resemling orinry spin referre to here s (topologicl) chrge [4, ]. For the level k theory the llowe vlues of this chrge inclue ll integers n hlf integers etween n k/2. Similr to orinry spin, there re rules for comining topologicl chrge which specify the possile totl chrge of ojects forme when two or more nyons re comine. For su(2) k nyons the fusion rule is truncte version of the usul tringle rule for ing ngulr moment, s s 2 = s s 2 ( s s 2 + ) () min (s + s 2, k (s + s 2 )). From this fusion rule it cn e shown tht, symptoticlly, the imensionlity of the Hilert spce of N ienticl nyons grows s N k where k is known s the quntum imension of the prticles [4, ]. For chrge /2 nyons k = 2 q, where the q-integer m q is efine s m q = (q m/2 q m/2 )/(q /2 q /2 ) n q = e i2π/(k+2). For exmple, in the cse of orinry spin /2 prticles (corresponing to su(2) k nyons when k ) the quntum imension is 2, s expecte, while for Fioncci nyons (k = 3), where the imensionlity of the Hilert spce grows s the Fioncci sequence, the quntum imension is the golen rtio. For ll finite k 2, the quntum imension is n irrtionl numer etween n 2. It follows tht the Hilert spce of N chrge /2, su(2) k nyons cnnot e

2 2 ) ) / 4 q q time / 4 q 2 q q 3 q i 2 3 q q FIG. : () Encoe quits n elementry ri mtrices for su(2) k nyons, n () smple single-quit gte. Here, n in susequent figures, groups of nyons in chrge eigensttes re enclose in ovls lele y the chrge. Quits re encoe in the two-imensionl Hilert spce of four chrge /2 nyons with totl chrge. The mtrices shown, in the sis lele y = {, }, correspon to the elementry ri opertions, lso shown. Within the encoe quit spce, riing the top two nyons prouces the sme unitry opertion s riing the ottom two. The ri epicte in () consists of 8 interchnges n pproximtes Hmr gte for su(2) 5 nyons with n ccurcy of (mesure using opertor norm, see [9]). ecompose into tensor prouct of smller susystems. To crry out quntum computtion within the stnr quit plus quntum gte frmework one must therefore encoe quits using severl nyons. Here we encoe quits in the two-imensionl Hilert spce of four chrge /2 nyons with totl chrge [2]. Referring to Fig., we choose the logicl n for this quit to e sttes for which the totl chrge of the two ottommost (or, equivlently, the two topmost) nyons is n, respectively. Note tht the fusion rule () inictes tht when the constrint tht the totl chrge e is relxe the Hilert spce of four chrge /2 nyons is fiveimensionl for k = 3 n six-imensionl for k > 3. The sttes tht o not correspon to quit sttes, i.e. sttes with totl chrge or 2, re then non-computtionl sttes. The existence of these sttes implies the possiility of mking trnsitions from the quit spce to the non-computtionl spce, i.e. lekge errors, which pose mjor prolem in constructing quntum gtes. To crry out universl quntum computtion it must e possile to perform ritrry single-quit gtes s well s t lest one entngling two-quit gte. It hs een shown tht for su(2) k nyons when k 3, k 4, 8, ny esire single-quit gte cn e pproximte, to ny esire ccurcy, y weving chrge /2 nyon roun two others within quit [3, 3]. In prctice, ris which pproximte given single-quit gte cn e foun y crrying out serch over ris up to given length n choosing those which prouce unitry opertions closest to the esire trget gte. As n exmple, Fig. shows ri which is the result of iirectionl serch [4] n which pproximtes Hmr gte using su(2) 5 nyons to n ccurcy of prt in 6. Given the ility to perform serch this eep, further ccurcy cn lwys e systemticlly chieve y pplying the Solovy-Kitev lgorithm [9]. Note tht for single-quit gtes there is no nger of lekge errors ecuse riing within quit cnnot chnge its totl topologicl chrge. When serching for ris we re performing iscrete serch over continuous spce. The imensionlity of the spce eing serche, D, is the min fctor which etermines the efficcy of these serches. If the numer of istinct ris one cn serch is N, the typicl error for pproximting given trget gte will e N /D. Thus, for fixe N, incresing D gretly reuces the ccurcy of the ris one cn otin. For single-quit gtes the serch spce is SU(2) with D = 3 which is sufficiently smll to llow us to fin highly ccurte ris, s emonstrte y the ove exmple. Two-quit gtes re significntly hrer to construct, oth ue to the possiility of lekge errors, n the fct tht for eight nyons the serch spce is SU(3) for k = 3 n SU(4) for k > 3 (with imensionlities of 68 n 95, respectively). The key ie for efficiently fining ris for two-quit gtes, introuce in [9] n common to more recent pproches [], is to reuce the two-quit gte prolem to one or more effective single-quit prolems, i.e. prolems in which one is serching over ris which involve only three ojects t time (where n oject cn e either single nyon, or collection of nyons rie s single entity), n for which the serch spce is SU(2). In this cse, s emphsize ove, excellent pproximtions for ny esire trget opertion cn e otine. In ition to reucing ll serches to SU(2), previous work hs focuse on the cse k = 3. To see why k = 3 is specil note tht in this cse, for nyons with topologicl chrge, the only non-trivil fusion rule is =, which is the fusion rule of the Fioncci nyons [4]. All previous gte constructions hve exploite in one wy or nother the unique feture of Fioncci nyons tht there is only one nontrivil vlue of the topologicl chrge. Thus ny collection of Fioncci nyons either hs topologicl chrge n is therefore neutrl (it oes not inuce ny non-aelin trnsitions if rie s single cohesive oject) or hs topologicl chrge, in which cse it ehves s single Fioncci nyon. We illustrte the usefulness of these fetures with simple two-quit gte construction [5] (see lso []). Figure 2() shows two-quit ri in which pir of nyons from the control quit (the control pir) is woven roun pirs of nyons in the trget quit, efore returning to its originl position. When the control quit is in the stte the control pir hs chrge n, ecuse weving chrge oject roun other nyons oes not inuce ny non-aelin trnsitions, the result of this opertion will e trivil (i.e. the ientity). Similrly, when the trget quit is in the stte, the control pir is woven roun ojects with totl chrge n the result will gin e the ientity (regrless of the stte of the con-

3 3 ) ) = FIG. 2: (Color Online). Effective quit gte construction for su(2) 3 nyons. Prt () shows ri in which pir of nyons from the control quit (shown in lue) weves roun pirs of nyons in the trget quit (shown in green). When either the control or trget quits re in the stte this ri prouces the ientity opertion. When oth control n trget quits re in the stte the ri consists of weving chrge nyon roun two other chrge nyons, s shown in (). For su(2) 3 nyons the riing properties of chrge /2 nyons n chrge nyons re the sme (up to irrelevnt Aelin phses), n the prolem is reuce to tht of fining prticulr single-quit gte y crrying out serch in SU(2). The ri shown in () pproximtes negtive ientity mtrix, in the sis lele y = {, }, for su(2) 3 nyons with n ccurcy of.6 5. As consequence, the full ri shown in () pproximtes controlle-z gte, shown in the sis lele y = {,,, }, with n ccurcy of.4 5. trol quit). Thus, y construction this weve cts s the ientity on the two-quit sttes,, n, with the only nontrivil cse eing (here the first quit is the control quit). To construct n entngling two-quit gte it is then necessry to fin prticulr weve of the form shown in Fig. 2() which returns the stte to itself while cquiring nontrivil phse with respect to the stte, thus proucing controlle rottion of the trget quit. Fining such weve is strightforwr for Fioncci nyons (k = 3). In this cse the fusion rule implies tht the Hilert spce of four chrge ojects with totl chrge is two-imensionl n the prolem reuces to tht of serching for prticulr single-quit opertion cting on the effective quit shown in Fig. 2(). The sttes of this quit re etermine y the lel which cn e either or. To ensure there re no trnsitions etween the encoe quit sttes ( = ) n the non-computtionl sttes ( = ), the resulting unitry opertion must e igonl in. As n exmple, Fig. 2() shows ri which pproximtes negtive ientity mtrix. If one follows this riing pttern y weving the control pir roun pirs of nyons in the trget quit (s shown in Fig. 2()), the stte cquires phse of n the resulting two-quit gte is controlle-z gte which is equivlent to CNOT, up to single-quit rottions. We now turn to the cse k > 3. In this cse the fusion rule for comining two chrge ojects is = 2. This implies tht, the overll chrge of the originl quits shown in Fig. 2, cn now tke three ifferent vlues. Hence, when k > 3 the unitry opertions corresponing to ris of the form shown in Fig. 2() re elements of SU(3), not SU(2). It is in principle possile to crry out serch in SU(3), ut ecuse the imensionlity of the serch spce is 8, rther thn 3, it is significntly less efficient thn serching SU(2). In generl we fin tht for k > 3 it is impossile to construct lekge free two-quit entngling gte y performing single ri in which three ojects re rie n the serch spce is SU(2) [6]. However, it is possile to construct such gte y reking the construction into three steps, s illustrte in Fig. 3. In ech of these steps pir of nyons from the control quit (gin, the control pir) is woven roun two nyons in the trget quit. Before escriing the etils of the construction we estlish the key fct tht fining ris for ech step only requires serch in SU(2). As efore we nee only consier the cse when the control pir hs chrge ( = ). Ech step then involves weving chrge oject roun two chrge /2 nyons. Accoring to the fusion rule () the Hilert spce of these three ojects ecouples into two one-imensionl sectors (with totl chrge n 2) n single two-imensionl sector (with totl chrge ). The ction on the one-imensionl sectors is etermine entirely y the wining numer of the ri in prticulr if we fix the wining numer to e the ction is trivilly the ientity [9]. The only nontrivil ction is then on the two-imensionl sector, for which the relevnt serch spce is SU(2). For su(2) k nyons it is strightforwr to etermine the relevnt ri mtrices [, 5] n we fin tht for ll k 3, k 4 these mtrices generte ense covers of SU(2), (this inclues the cse k = 8 for which riing three chrge /2 ojects is not ense in SU(2) [3]). We therefore expect, n o inee fin, tht for ech step in our construction crrying out serch cn prouce ris which pproximte the esire opertions to n ccurcy of few prts in 6. Now we turn to the ctul construction. The first step consists of ri which effectively swps the control pir with pir of nyons in the trget quit. Figure 3() shows this step for su(2) 5 nyons. Referring to this figure, the control pir strts from the ottom position in the control quit, weves roun the two topmost nyons in the trget quit, in the en swpping positions with them. The specific ri shown is the result of serch for ri which genertes unitry opertion pproximting the mtrix shown in the figure. (In this mtrix n the one shown for step two the upper left n lower right elements correspon to the one-imensionl sectors with totl chrge n 2, n the mile 2 2 lock cts on the two-imensionl sector with totl chrge, escrie ove). This opertion is esigne to effectively swp the control pir with the topmost pir of nyons in the trget quit (lele ),

4 4 ) ) = c) = = = FIG. 3: (Color Online) Controlle-Phse gte construction for su(2) 5 nyons. Prt () shows swp ri which effectively exchnges the control pir (shown in lue) with the topmost pir of nyons in the trget quit (green). This ri pproximtes the unitry opertion shown in the figure with n ccurcy of Note tht the mtrix shown is expresse using inequivlent left n right ses sttes lele = {,,, 2} t oth the strt n en of the ri. Prt () shows ri which cts on the intermeite stte prouce y the swp ri n gives the stte with = = phse of. The corresponing unitry opertion shown in the figure in the sis lele y = {,,, 2} is pproximte with n ccurcy of (c) Full controlle-( Z) gte, in the sis lele y = {,,, }, with n ccurcy of n when = = it oes so without isturing the quntum numers of the system. This mens tht if the initil stte of the quit is the finl stte will e the sme ut with the control pir now swppe into the trget. The net effect of this swp opertion is to tke the system to the intermeite stte shown s the strting stte in Fig. 3(). In this intermeite stte ll the informtion of the initil stte of the two quits is encoe in the ottom four nyons. In prticulr (ssuming = ) the totl chrge of these nyons, lele in the figure, must e if = (since in this cse the swp opertion is essentilly the ientity) n if = (ue to the fusion rules). To perform n entngling two-quit gte we nee only inuce phse shift etween the =, n = ( = ) sttes when =. This is one in the secon step of our construction, in which the control pir is woven roun the ottom two nyons n returne to its strting position (see Fig. 3()). The weve shown is the result of serch which prouces unitry opertion tht is igonl in n gives the stte =, = nontrivil phse ( for the ri shown). In the thir n finl step the control pir is returne to its originl position in the control quit y pplying the inverse of the swp ri. Putting ll three steps together, the resulting full ri is shown in Fig. 3(c). If the control quit is in the stte, the control pir hs chrge n the effect of this ri is simply the ientity opertion. If the control quit is in the stte, this ri first swps the control pir into the trget, then, if the trget quit ws initilly in the stte, gives the resulting intermeite stte phse e iφ, n finlly returns the control pir to the control quit. The full ri then pproximtes controlle-phse gte for which, if the control quit is in the stte, the trget quit is rotte out the ẑ xis y the ngle φ. When φ = π, s is the cse for the ri shown in the figure, this gte is controlle-( Z) gte which is equivlent to CNOT, up to single-quit rottions. We conclue y pointing out tht for certin vlues of k it is possile to crry out step two of our construction with finite ri in such wy tht the phse ifference etween the stte =, = n =, = ( = ) is exctly. Specificlly, for k = 8n 2 this cn e one y weving the control pir completely roun the two ottom nyons in the trget quit n times. We grtefully cknowlege Wyne Witzel for eveloping some of the coes use to fin the ris shown in this pper. We lso thnk the Aspen Center for Physics for its hospitlity uring the completion of prt of this work, n ICAM for proviing trvel support (LH). LH is supporte y the NIST/NRC postoctorl progrm n NEB is supporte y US DOE Grnt No. DE-FG2-97ER [] G. Moore n N. Re, Nucl. Phys. B36, 362 (99). [2] A. Yu. Kitev, Ann. of Phys. 33, 2 (23); ii 32, 2 (26). [3] M. Freemn et l, Comm. Mth. Phys. 227, 65 (22); ii. 228, 77 (22). [4] For review see C. Nyk et l, Rev. Mo. Phys. 8, 83 (28), n references therein. [5] J.K. Slingerln n F.A. Bis, Nucl. Phys. B 62, 229 (2); E. Aronne n K. Schoutens, Ann. of Phys. 322, 2 (27). [6] N. Re n E. Rezyi, Phys. Rev. B 59, 884 (999); E.H. Rezyi n N. Re, Phys. Rev. B 79, 7536 (29). [7] N.R. Cooper et l, Phys. Rev. Lett. 87, 245 (2). [8] M. Levin n X.-G. Wen, Phys. Rev. B 7, 45 (25); P. Fenley n E. Frkin, ii. 72, 2442 (25). [9] N.E. Bonesteel et l, Phys. Rev. Lett. 95, 453 (25);

5 L. Hormozi et l, Phys. Rev. B 75, 653 (27). [] H. Xu n X. Wn, Phys. Rev. A 78, (28); H. Xu n X. Wn, Preprint rxiv: [] See, for exmple, J. Fuchs, Affine Lie Algers n Quntum Groups (Cmrige University Press, Cmrige, 992). [2] M. Freemn et l, Bull. Am. Mth. Soc. 4, 3 (23); J. Preskill, Lecture Notes for Physics 29: Quntum Computtion (24). [3] S.H. Simon et l, Phys. Rev. Lett. 96, 753 (26). [4] See for exmple G. Zikos et l, Int. J. Mo. Phys. B, in Press. [5] L. Hormozi, PhD Thesis (27). [6] One might consier constructing two-quit gte y weving the control pir roun two nyons in the trget quit, or weving it roun pir n single nyon. It cn e shown tht the former cnnot le to n entngling two-quit gte when k > 3 [9] while the ltter requires serch in SU(2) SU(2) with six-imensionl serch spce. 5