arxiv: v2 [quant-ph] 15 Aug 2008

Transcription

1 Mesurement-Only Topologil Quntum Computtion Prs Bonderson, 1 Mihel Freedmn, 1 nd Chetn Nyk 1, 2 1 Mirosoft Reserh, Sttion Q, Elings Hll, University of Cliforni, Snt Brbr, CA Deprtment of Physis, University of Cliforni, Snt Brbr, CA (Dted: August 15, 2008) We remove the need to physilly trnsport omputtionl nyons round eh other from the implementtion of omputtionl gtes in topologil quntum omputing. By using n nyoni nlog of quntum stte teleporttion, we show how the briding trnsformtions used to generte omputtionl gtes my be produed through series of topologil hrge mesurements. rxiv: v2 [qunt-ph] 15 Aug 2008 PACS numbers: Lx, Vf, Pp, Pr Topologil quntum omputtion (TQC) is n pproh to quntum omputing tht derives fult-tolerne from the intrinsilly error-proteted Hilbert spes provided by the nonlol degrees of freedom of non-abelin nyons [1, 2, 3, 4]. To be omputtionlly universl, the nyon model desribing topologilly ordered system must be intrite enough to permit opertions pble of densely populting the omputtionl Hilbert spe. At its oneption, the primitives envisioned s neessry for implementing TQC were: 1. Cretion of the pproprite non-abelin nyons, whih will enode topologilly proteted qubits in their non-lol, mutul multi-dimensionl stte spe. 2. Mesurement of olletive topologil hrge of nyons, for qubit initiliztion nd redout. 3. Adibti trnsporttion of omputtionl nyons round eh other, to produe briding trnsformtions tht implement the desired omputtionl gtes. In n effort to simplify, or t lest better understnd the TQC onstrut nd wht is essentil to its rhiteture, we reonsider the need for physilly briding omputtionl nyons. We demonstrte tht it is not neessry primitive by repling it with n dptive series of non-demolitionl topologil hrge mesurements. Nturlly, this mesurementonly pproh to TQC drws some nlogy with other mesurement-only pprohes of quntum omputing [5, 6, 7, 8], but hs the dvntge of not expending entnglement resoures, thus llowing for omputtions of indefinite length (for fixed resoure quntities). In this letter, we only onsider orthogonl, projetive mesurements [9] of topologil hrge, for whih the probbility nd stte trnsformtion for outome is given by Prob() = Ψ Π Ψ (1) Π Ψ Ψ Ψ Π Ψ. (2) Suh mesurements potentilly inlude Wilson loop mesurements in lttie models, energy splitting mesurements in frtionl quntum Hll (FQH) nd possibly other systems, nd (the symptoti limit of) interferometry mesurements when the mesured hrge is Abelin. Though these my involve or be relted to the motion of some nyons, the mesured nyons re not moved (t lest not round eh other). We use digrmmti representtion of nyoni sttes nd opertors ting on them, s desribed by n nyon model (for definitions, inluding normliztions, see e.g. [10, 11]). Through set of ombintoril rules, these digrms enode the purely topologil properties of nyons, independent of ny prtiulr physil representtion. Using this formlism, we show how projetive mesurement of the topologil hrge of pirs of nyons enbles quntum stte teleporttion. We then show tht repeted pplitions of teleporttion n hve the sme effet (up to n overll phse) s briding exhnge of two nyons. Multiple pplitions of this protool then llow ny desired brid to be mimiked without ever hving to move the nyons. Within the isotopy invrint digrmmti formlism, the projetor onto definite hrge of nyons 1 nd 2 (numbered from left to right) of definite hrges nd b is [21] Π (12) d =, b;, b; = d d b b b. (3) This digrm should not be interpreted s worldlines representing motion of the nyons; it signifies only tht the ombined hrge of the two nyons is mesured, whih, s noted bove, does not neessrily involve moving them. When performing topologil hrge mesurements, one must be reful to void rrying them out in mnner or onfigurtion tht results in undesired effets on the nyoni hrge orreltions of the system, suh s the introdution of unintentionl hrge entnglement or deoherene of hrge entnglement tht enodes relevnt informtion. We represent the stte enoded in the non-lol internl degrees of freedom of olletion of nyons by (,...) = where we re presently only interested in mnipulting the nyon of definite hrge, nd so leve impliit the dditionl nyon hrge lines emnting from the box, orresponding to the... (normliztion ftors re bsorbed into the box). In order to teleport the stte informtion enoded by n nyon of definite hrge to nother nyon of definite hrge (4)

2 2, we introdue prtile-ntiprtile pir produed from vuum, given by the stte, ā; 0 = 1 d ā, (5) where ā is the hrge onjugte of, nd 0 is the trivil vuum hrge, whih is interhngebly represented digrmmtilly by either line lbeled 0, dotted line, or no line t ll. The stte in Eq. (5) hs mximl nyoni entnglement between its two nyons, nd is the nlog of the mximlly entngled Bell sttes typilly used s the entnglement resoure in quntum stte teleporttion of onventionl qubits. Then, for the ombined stte, ā; , ; (,...) (12)3 = 1 d ā 0, (6) wht we would like to do is perform mesurement of the olletive hrge of nyons 2 nd 3 for whih the result is vuum hrge 0. This pplies the projetor Π (23) 0 nd, fter pplying n isotopy nd re-normlizing the stte, results in the post-mesurement stte d Π (23) 0, ā; , ; (,...) (12)3 ā ā = 1 d = κ d = κ ā, ; 0 23, 0; (,...) 1(23) (7) where d in the first line is the stte re-normlizing ftor [s in Eq. (2)] nd κ d [F ā ] 00 is phse [22]. The trnsformtion from the stte in Eq. (6) to the stte in Eq. (7) is n nyoni nlog of quntum stte teleporttion tht exhibits pth-like behvior speified by the mesurement. The enoded stte informtion originlly ssoited with nyon 3 ends up being ssoited with nyon 1 insted, while nyons 2 nd 3 end up s the mximlly entngled pir. Of ourse, sine mesurement outomes re probbilisti, we nnot gurntee tht ny given mesurement will hve the desired outome. Trnsformtions between the two fusion bses of the three nyons re relized by the unitry F -moves ā 0 ā given tht nyons 1 nd 2 were in the definite hrge e fusion hnnel, nd vie-vers, is Prob(e f) = Prob(f e) = [ F ā ] 2. (9) But we see tht we n, in sense, undo n undesired mesurement outome of nyons2 nd 3 (f 0), by subsequently performing mesurement of nyons 1 nd 2, s long s the mesurement proesses re non-demolitionl. This returns the system to stte in whih nyons 1 nd 2 hve definite olletive hrge e (not neessrily 0 now), but otherwise leves the enoded stte informtion undisturbed. We my now perform mesurement of nyons 2 nd 3 gin, with n entirely new hne of obtining the desired outome (f = 0). This proedure my be repeted until we obtin the desired mesurement outome, obtining string of mesurement outomes M = {e 1, f 1,..., e n, f n } (inluding the initiliztion e 1 for lter onveniene in representing this proess), where e 1 = f n = 0, nd so we ll it fored mesurement. The probbility of obtining the desired outome t the j th mesurement ttempt in this proedure is Prob(f j = 0 e j ) = [ F ā ] 2 = d ej /d 2 d 2, (10) where d x is the quntum dimension of the nyoni hrge x, nd d x 1 with equlity iff x is Abelin (e.g. d 0 = 1). The verge number of ttempts until desired outome is hieved in fored mesurement is thus n d 2, nd the probbility of needing n > N ttempts to obtin the desired outome is Prob(f 1,..., f N 0) ( ) 1 d 2 N, i.e. filure is exponentilly suppressed in the number of ttempts. Fored mesurement is probbilistilly determined dptive series of mesurements. More preisely, the mesurements to be rried out re pre-determined, but the number of times n tht they need to be rried out is probbilistilly determined bsed on the first ttinment of the desired outome f n = 0. The resulting opertor representing suh fored mesurement trnsformtion ting on n e 1 = 0 initilized stte, with the stte re-normlizing ftor A inluded, is M = e j0 = 1 A Π(23) f n=0 Π(12) e n...π (23) f 1 Π (12) e 1=0 df1... d en Ad 2n ā e n f 1 d ef ā e = f [ ] F ā ef f (8) ā ā nd their inverses. This indites tht the probbility of olletive hrge mesurement outome f for nyons 2 nd 3, = e iϕm ā, ; 0 23, 0; 1(23) 0, ; (12)3, ā; 0 12 (11) (For improved lrity, we inserted dshed lines to prtition the digrm into setions orresponding to eh individul

3 3 topologil hrge mesurement projetor.) The digrmmti evlution in the seond line is mde simple by pplying hrge onservtion to the digrmmti web in the middle of the left hnd side. It my be treted s blob with only one hrge line entering it nd one hrge line leving it, nd so n simply be repled by hrge line running stright through (s in the digrm on right hnd side) multiplied by onstnt ftor. This onstnt nels with the other ftors to leve the pproprite normliztion nd n overll phse e iϕm, whih depends on the mesurement outomesm. Thus, through fored mesurement we obtin the trnsformtion from Eq. (6) to Eq. (7) ( ) ( b) ( ) Π (12) Π (23) Π (24) FIG. 1: Projetive topologil hrge mesurements of pirs of nyons () 1 nd 2, (b) 2 nd 3, nd () 2 nd 4 re used to implement fored mesurement nyoni stte teleporttion, whih is used to produe briding trnsformtions s in Eqs. (14,15). M, ā; , ; (,...) (12)3 = e iϕm ā, ; 0 23, 0; (,...) 1(23) (12) giving us nyoni teleporttion. [23] Now we n produe the briding trnsformtions for two nyons of definite hrges R =, R 1 = R =, (13) by introduing mximlly entngled nyon pir nd performing three fored mesurements Π (23 24) M 3 d 3 Π(24 12) M Π(12 23) 2 M 1 ā ā d ā ā = e iϕm R (14) ā, ; 0 23 ā, ; 0 23, (14) where ϕ M = ϕ M1 + ϕ M2 + ϕ M3, nd similrly M 3 Π(12 24) M Π(24 23) 2 M 1 = e iϕm [ R (14) ] 1 ā, ; 0 23 ā, ; (15) The sptil onfigurtion of these nyons nd the mesurements used re shown in Fig. 1. An importnt point to emphsize is tht the entnglement resoure (the mximlly entngled nyon pir) is fully replenished nd returned to its originl lotion t the end of these proesses. This llows suh mesurement-generted briding trnsformtions to be employed repetedly, without exhusting the resoures. It is now strightforwrd to pply these results to TQC. We rrnge our omputtionl nyons in liner rry nd distribute mximlly entngled pirs (more or less) between them, forming qusi-one-dimensionl rry, s in Fig. 2. These nyons ll remin sttionry nd omputtionl gtes on the topologil qubits re implemented vi mesurements. The reltions in Eqs. (14,15) give mp between briding FIG. 2: A qusi-one-dimensionl rry of sttionry nyons used for mesurement-only topologil quntum omputing. Mximlly entngled pirs of nyons (denoted by X s) re situted between djent pirs of omputtionl nyons (denoted by dots) to filitte mesurement indued briding trnsformtions used to generte omputtionl gtes. trnsformtions (with n irrelevnt overll phse) nd mesurements, so one my simply use the estblished tehniques of generting omputtionl gtes from briding trnsformtions to determine the series of mesurements tht should be performed to implement prtiulr quntum lgorithm. If the omputtionl nyons hve self-dul hrge = ā, we n use more eonomil distribution of entnglement resoure nyons, situting only one nyon from eh mximlly entngled pir between eh djent pir of omputtionl nyons (i.e. the seond row of X s in Fig. 2 is not needed). For TQC models in whih the omputtionl nyons do not ll hve the sme nyoni hrge, the sme nyoni teleporttion priniples my be pplied, but greter number of entnglement resoure nyons will be needed. The bsi opertion in this TQC sheme is mesurement, whih is not topologil in the sense tht wht is mesured is non-topologil quntity (e.g. urrent) tht infers informtion regrding the topologil hrge through n pproximte reltion ditted by the prtiulr experimentl setup used. This seems less robust thn the physil briding opertion it is used to reple, however, the mesured quntity is the topologil hrge of pir of qusiprtiles, whih is onserved so long s ll other qusiprtiles re fr wy. Therefore, there is still form of topologil protetion, though perhps slightly weker one thn in the briding model, sine mesurements re not entirely urte. In the qubit model of mesurement-only quntum omputtion, on the other hnd, there is lwys the dnger of intertion with the environment using n error in qubit tht we need to mesure. The Ising or SU(2) 2 nyons, suh s those tht re likely to our in seond Lndu level FQH sttes [12, 13], hve

4 4 nyoni hrges 0, 1 2, 1 (.k.. I, σ, respetively). For TQC models bsed on suh systems [14], the omputtionl nyons should hve hrge = 1 2, nd the mesurement outomes will be e j, f j = 0, 1. The quntum dimensions of these re d 0 = d 1 = 1 nd d 1 = 2. Unfortuntely, qusiprtile 2 briding in these nyon models is not quite omputtionlly universl, nd so must be supplemented by opertions tht re topologilly unproteted [15] or involve hnging the topology of the system [16, 17]. Furthermore, the TQC model bsed on Ising/SU(2) 2 is speil se in whih the interferometry mesurements employed (i.e. tht of pirs of hrge 1 2 nyons) re in ft lso projetive mesurements, beuse the mesurement outome hrges 0 nd 1 re Abelin in these nyon models, stisfying Eq. (16). This llows the methods desribed in this letter to be pplied diretly when using interferometry mesurements in suh models. Fiboni nyons, whih do hve omputtionlly universl briding nd might lso our in FQH sttes [18], hve nyoni hrges 0, 1 (.k.. I, ε respetively). Computtionl nyons must hve hrge = 1, whih hs quntum dimension d 1 = φ = (the Golden rtio), nd the mesurement outomes will be e j, f j = 0, 1. For TQC models bsed on SU (2) k nyons [3, 4], whih hve omputtionlly universl briding for k = 3 nd ll k 5, the omputtionl nyons hve hrge = 1 2, whih hs quntum dimension d 1 = 2 os π 2 k+2, nd the mesurement outomes will be e j, f j = 0, 1. In ontrst with projetive mesurement, interferometril mesurement of topologil hrge is not quite s simple nd requires density mtrix formultion. In the symptoti limit, interferometry my effetively be treted s projetive mesurement of the trget nyons olletive hrge, together with deoherene of nyoni hrge entnglement between the trget nyons nd those exterior to the interferometry region [10, 11, 19]. Speifilly, nyoni hrge entnglement enoded in the nyons density mtrix s non-trivil hrge lines onneting the interior nd exterior interferometry regions will generilly deohere due to the interferometril mesurement proess, leving only density mtrix omponents with vuum or no hrge lines onneting these regions. An interferometril mesurement is the sme s projetive mesurement only when the topologil hrge mesurement outome obeys the property =, (16) whih is the se iff is Abelin. Beuse of this importnt distintion, the fored mesurement proess desribed here is not generlly pplible for ll nyon models when using interferometry for topologil hrge mesurement (though it is in ertin speil ses, suh s Ising/SU(2) 2 ). Fortuntely, n interferometril version of fored mesurement my be ttined by slight proedurl modifition tht inludes performing dditionl mesurements tht involve up to 8 omputtionl nyons [20]. We hve desribed n nyoni nlog of quntum stte teleporttion nd showed how it my be utilized to generte the briding trnsformtions R (up to phse) from n dptive series of non-demolitionl topologil hrge mesurements, rther thn physil movement of the omputtionl nyons. This provides new, mesurement-only pproh to TQC, in whih topologil hrge mesurement is the only primitive employed. In prtiulr, we n reple the primitives 2 nd 3 from the introdution with: 2. Non-demolitionl mesurement of olletive topologil hrge of nyons, for qubit initiliztion nd redout, nd to implement the desired omputtionl gtes. Exuviting the need for qusiprtile briding, one onsidered n essentil primitive of TQC, in fvor of topologil hrge mesurement, whih is unvoidbly neessry for qubit redout, my prove to be n essentil disenumberment in the implementtion of TQC. [1] A. Y. Kitev, Ann. Phys. 303, 2 (2003), qunt-ph/ [2] J. Preskill, in Introdution to Quntum Computtion, edited by H.-K. Lo, S. Popesu, nd T. P. Spiller (World Sientifi, 1998), qunt-ph/ [3] M. H. Freedmn, M. J. Lrsen, nd Z. Wng, Commun. Mth. Phys. 227, 605 (2002), qunt-ph/ [4] M. H. Freedmn, M. J. Lrsen, nd Z. Wng, Commun. Mth. Phys. 228, 177 (2002), mth/ [5] R. Russendorf nd H. J. Briegel, Phys. Rev. Lett. 86, 5188 (2001), qunt-ph/ [6] M. A. Nielsen, Phys. Lett. A. 308, 96 (2003), quntph/ [7] R. Russendorf, J. Hrrington, nd K. Goyl, Annls of Physis 321, 2242 (2006), rxiv:qunt-ph/ [8] S. Brvyi nd R. Russendorf, Phys. Rev. A 76, (2007), rxiv:qunt-ph/ [9] J. von Neumnn, Mthemtil Foundtions of Quntum Mehnis (Prineton University Press, Prineton, 1955). [10] P. H. Bonderson, Ph.D. thesis (2007). [11] P. Bonderson, K. Shtengel, nd J. K. Slingerlnd, Annls of Physis (to pper), rxiv: [12] G. Moore nd N. Red, Nul. Phys. B 360, 362 (1991). [13] P. Bonderson nd J. K. Slingerlnd (2007), rxiv: [14] S. Ds Srm, M. Freedmn, nd C. Nyk, Phys. Rev. Lett. 94, (2005), ond-mt/ [15] S. Brvyi, Phys. Rev. A 73, (2006), qunt-ph/ [16] M. Freedmn, C. Nyk, nd K. Wlker, Phys. Rev. B 73, (2006), ond-mt/ [17] M. Freedmn, C. Nyk, nd K. Wlker (2005), ondmt/ [18] N. Red nd E. Rezyi, Phys. Rev. B 59, 8084 (1999), ondmt/ [19] P. Bonderson, K. Shtengel, nd J. K. Slingerlnd, Phys. Rev. Lett. 98, (2007), qunt-ph/ [20] P. Bonderson, M. Freedmn, nd C. Nyk (2008), rxiv: [21] We only onsider nyon models with no fusion multipliities (i.e. the fusion oeffiients N b = 0, 1) in this letter, but the nlysis my be generlized.

5 5 [22] κ is guge-dependent quntity unless is self-dul, in whih se κ =±1 is known s the Frobenius-Shur inditor. [23] A fored mesurement proedure my similrly be pplied to stte teleporttion of onventionl qubits, though this is typilly not emphsized, sine in suh ses it is esier to insted orret for undesired outomes by pplying Puli opertor.