The experimental realization of a quantum computer ranks

Size: px
Start display at page:

Download "The experimental realization of a quantum computer ranks"

Transcription

1 PUBLISHED ONLINE: 13 FEBRUARY 011 DOI: /NPHYS1915 Non-Aelin sttistics nd topologicl quntum informtion processing in 1D wire networks Json Alice 1 *, Yuvl Oreg, Gil Refel 3, Felix von Oppen 4 nd Mtthew P. A. Fisher 3,5 The synthesis of quntum computer remins n ongoing chllenge in modern physics. Wheres decoherence stymies most pproches, topologicl quntum computtion schemes evde decoherence t the hrdwre level y storing quntum informtion non-loclly. Here we estlish tht key opertion riding of non-aelin nyons cn e implemented using one-dimensionl semiconducting wires. Such wires cn e driven into topologicl phse supporting long-sought prticles known s Mjorn fermions tht cn encode topologicl quits. We show tht in wire networks, Mjorn fermions cn e meningfully rided y simply djusting gte voltges, nd tht they exhiit non-aelin sttistics like vortices in p + ip superconductor. We propose experimentl set-ups tht enle proing of the Mjorn fusion rules nd the efficient exchnge of ritrry numers of Mjorn fermions. This work should open new direction in topologicl quntum computtion tht enefits from physicl trnsprency nd experimentl fesiility. The experimentl reliztion of quntum computer rnks mong the foremost outstnding gols in physics nd hs trditionlly een hmpered y decoherence. In this regrd topologicl quntum computing holds considerle promise, s here one emeds quntum informtion in non-locl, intrinsiclly decoherence-free fshion 1 6. A toy model of spinless, twodimensionl (D) p + ip superconductor nicely illustrtes the key ides. Vortices in such stte ind exotic prticles known s Mjorn fermions, which cost no energy nd therefore generte ground stte degenercy. Becuse of the Mjorns, vortices exhiit non-aelin riding sttistics 7 11 : diticlly exchnging vortices noncommuttively trnsforms the system from one ground stte to nother. Quntum informtion encoded in this ground stte spce cn e controllly mnipulted y riding opertions something the environment finds difficult to chieve. Despite this scheme s elegnce, finding suitle hrdwre poses serious chllenge. Although most effort hs focused on the quntum Hll stte t filling frction 10,1 ν = 5/, numerous relistic lterntive routes to generting non-aelin topologicl phses hve recently ppered Among these, two groups 1, recognized tht one-dimensionl (1D) semiconducting wires cn e engineered, reltively esily, into Kitev s 3 topologicl superconducting stte supporting Mjorn fermions. Motivted y this exciting possiility, we exmine the prospect of exploiting 1D wires for topologicl quntum computtion. The suitility of 1D wires for this purpose is fr from ovious. Mnipulting, riding, nd relizing non-aelin sttistics of Mjorn fermions re ll centrl to topologicl quntum computtion (lthough mesurement-only pproches sidestep the riding requirement 5 ). Wheres Mjorn fermions cn e trnsported, creted, nd fused y gting wire, riding nd non-aelin sttistics pose serious puzzles. Indeed, riding sttistics is ill-defined in 1D ecuse prticles inevitly collide during n exchnge. This prolem cn e surmounted in wire networks, the simplest eing T-junction formed y two perpendiculr wires. Even in such networks, however, non-aelin sttistics does not immeditely follow, s recognized y Wimmer nd collegues 4. For exmple, non-aelin sttistics in D p + ip superconductor is intimtely linked to vortices inding the Mjorns 10,11. We demonstrte tht, despite the sence of vortices, Mjorn fermions in semiconducting wires exhiit non-aelin sttistics nd trnsform under exchnge exctly like vortices in p+ip superconductor. We further propose experimentl setups rnging from miniml circuits (involving one wire nd few gtes) for proing the Mjorn fusion rules, to sclle networks tht permit efficient exchnge of mny Mjorns. The frctionl Josephson effect 13,1 3,5, long with Hssler et l. s recent proposl 6 enle quit redout in this setting. The reltive ese with which Mjorn fermions cn e stilized in 1D wires, comined with the physicl trnsprency of their mnipultion, render these set-ups extremely promising topologicl quntum informtion processing pltforms. Although riding of Mjorns lone does not permit universl quntum computtion 6,7 30, implementtion of these ides would constitute criticl step towrds this ultimte gol. Mjorn fermions in 1D wires We egin y discussing the physics of single wire. Vlule intuition cn e grnered from Kitev s toy model for spinless, p-wve superconducting N -site chin 3 : N H = µ x=1 N 1 c x c x x=1 (tc x c x+1 + e iφ c x c x+1 +h.c.) (1) where c x is spinless fermion opertor nd µ, t > 0, nd e iφ respectively denote the chemicl potentil, tunnelling strength, nd piring potentil. The ulk- nd end-stte structure ecomes prticulrly trnsprent in the specil cse 3 µ = 0, t =. Here it is useful to express c x = 1 e i(φ/) (γ B,x +iγ A,x ) () with γ α,x = γ α,x Mjorn fermion opertors stisfying {γ α,x,γ α,x }=δ αα δ xx. These expressions expose the defining 1 Deprtment of Physics nd Astronomy, University of Cliforni, Irvine, Cliforni 9697, USA, Deprtment of Condensed Mtter Physics, Weizmnn Institute of Science, Rehovot, 76100, Isrel, 3 Deprtment of Physics, Cliforni Institute of Technology, Psden, Cliforni 9115, USA, 4 Dhlem Center for Complex Quntum Systems nd Fchereich Physik, Freie Universität Berlin, Berlin, Germny, 5 Deprtment of Physics, University of Cliforni, Snt Brr, Cliforni 93106, USA. *e-mil: licej@uci.edu. 41 NATURE PHYSICS VOL 7 MAY 011

2 NATURE PHYSICS DOI: /NPHYS1915 z y x A, 1 B, 1 A, B, A, 3 B, 3 A, N B, N B Semiconducting wire s-wve superconductor Figure 1 Mjorn fermions pper t the ends of 1D spinless p-wve superconductor, which cn e experimentlly relized in semiconducting wires 1,., Pictoril representtion of the ground stte of eqution (1) in the limit µ = 0, t =. Ech spinless fermion in the chin is decomposed in terms of two Mjorn fermions γ A,x nd γ B,x. Mjorns γ B,x nd γ A,x+1 comine to form n ordinry, finite-energy fermion, leving two zero-energy end Mjorns γ A,1 nd γ B,N s shown 3., A spin orit-coupled semiconducting wire deposited on n s-wve superconductor cn e driven into topologicl superconducting stte exhiiting such end Mjorn modes y pplying n externl mgnetic field 1,. c, Bnd structure of the semiconducting wire when B = 0 (dshed lines) nd B = 0 (solid lines). When µ lies in the nd gp generted y the field, piring inherited from the proximte superconductor drives the wire into the topologicl stte. chrcteristics of Mjorn fermions they re their own ntiprticle nd constitute hlf of n ordinry fermion. In this limit the Hmiltonin ecomes N 1 H = it γ B,x γ A,x+1 x=1 Consequently, γ B,x nd γ A,x+1 comine to form n ordinry fermion d x = (γ A,x+1 + iγ B,x )/, which costs energy t, reflecting the wire s ulk gp. Conspicuously sent from H, however, re γ A,1 nd γ B,N, which represent end-mjorn modes. These cn e comined into n ordinry (lthough highly non-locl) zero-energy fermion d end = (γ A,1 +iγ B,N )/. Thus there re two degenerte ground sttes which serve s topologiclly protected quit sttes: 0 nd 1=d end 0, where d end 0=0. Figure 1 illustrtes this physics pictorilly. Awy from this limit the Mjorn end sttes no longer retin this simple form, ut survive provided the ulk gp remins finite 3. This occurs when µ < t, where prtilly filled nd pirs. The ulk gp closes when µ =t. For lrger µ, piring occurs in fully occupied or vcnt nd, nd trivil superconducting stte without Mjorns emerges. Relizing Kitev s topologicl superconducting stte experimentlly requires spinless system (tht is, with one pir of Fermi points) tht p-wve pirs t the Fermi energy. Both criteri cn e stisfied in spin orit-coupled semiconducting wire deposited on n s-wve superconductor y pplying mgnetic field 1, (see Fig. 1). The simplest Hmiltonin descriing such wire reds H = dx ψ x h x m µ i huê σ x gµ BB z σ ψ z x +( e iϕ ψ x ψ x +h.c.) (3) The opertor ψ αx corresponds to electrons with spin α, effective mss m, nd chemicl potentil µ. (We suppress the spin indices except in the piring term.) In the third term, u denotes the spin orit 31,3 strength, nd σ = (σ x,σ y,σ z ) is vector of Puli c E k mtrices. This coupling fvours ligning spins long or ginst the unit vector ê, which we ssume lies in the (x,y) plne. The fourth term represents the Zeemn coupling due to the mgnetic field B z < 0. Note tht spin orit enhncement cn led 33 to g. Finlly, the lst term reflects the spin-singlet piring inherited from the superconductor y mens of the proximity effect. To understnd the physics of eqution (3), consider first B z = = 0. The dshed lines in Fig. 1c illustrte the nd structure here clerly no spinless regime is possile. Introducing mgnetic field genertes nd gp B z t zero momentum, s the solid line in Fig. 1c depicts. When µ lies in this gp the system exhiits single pir of Fermi points s desired. Turning on wekly compred to the gp then effectively p-wve pirs fermions in the lower nd with momentum k nd k, driving the wire into Kitev s topologicl phse 1,. (Singlet piring in eqution (3) genertes p-wve piring ecuse spin orit coupling fvours opposite spins for k nd k sttes.) Quntittively, relizing the topologicl phse requires 1, < gµ B B z /, which we herefter ssume holds. The opposite limit > gµ B B z / effectively violtes the spinless criterion ecuse piring strongly intermixes sttes from the upper nd, producing n ordinry superconductor without Mjorn modes. In the topologicl phse, the connection to eqution (1) ecomes more explicit when gµ B B z mu, where the spins nerly polrize. One cn then project eqution (3) onto simpler onend prolem y writing ψ x (u(e y +ie x )/gµ B B z ) x x nd ψ x x, with x the lower-nd fermion opertor. To leding order, one otins H eff dx x h x m µ eff x + eff e iϕeff x x x +h.c. (4) where µ eff =µ+gµ B B z / nd the effective p-wve pir field reds eff e iϕeff u gµ B B z eiϕ (e y +ie x ) (5) The dependence of ϕ eff on ê will e importnt elow when we consider networks of wires. Eqution (4) constitutes n effective low-energy Hmiltonin for Kitev s model in eqution (1) in the low-density limit. From this perspective, the existence of end- Mjorns in the wire ecomes mnifest. We exploit this correspondence elow when ddressing universl properties such s riding sttistics, which must e shred y the topologicl phses descried y eqution (3) nd the simpler lttice model, eqution (1). We now seek prcticl method to mnipulte Mjorn fermions in the wire. As motivtion, consider pplying gte voltge to djust µ uniformly cross the wire. The excittion gp otined from eqution (3) t k = 0 vries with µ s E gp (k = 0) = gµ B B z +µ For µ <µ c = (gµ B B z /) the topologicl phse with end Mjorns emerges, wheres for µ >µ c topologiclly trivil phse ppers. A uniform gte voltge thus llows the cretion or removl of the Mjorn fermions. However, when µ =µ c the ulk gp closes, nd the excittion spectrum t smll momentum ehves s E gp (k) hv k, with velocity v = u /(gµ B B z ). The gp closure is clerly undesirle, s we would like to mnipulte Mjorn fermions without generting further qusiprticles. This prolem cn e circumvented y employing keyord of loclly tunle gtes s in Fig., ech impcting µ over finite NATURE PHYSICS VOL 7 MAY

3 NATURE PHYSICS DOI: /NPHYS1915 e f c d length Lgte of the wire. When given gte loclly tunes the chemicl potentil cross µ = µc, finite excittion gp Egp h vπ/lgte remins. (Roughly, the gte cretes potentil well tht supports only k lrger thn π/lgte.) Assuming g µb Bz / nd h u 0.1 ev Å yields velocity v 104 m s 1 ; the gp for 0.1 µm wide gte is then of order 1 K. We consider this conservtive estimte hevy-element wires such s InS nd/or nrrower gtes could generte sustntilly lrger gps. Locl gtes llow Mjorn fermions to e trnsported, creted, nd fused, s outlined in Fig.. As one germintes pirs of Mjorn fermions, the ground stte degenercy increses, s does our cpcity to topologiclly store quntum informtion. Specificlly, n Mjorns generte n ordinry zero-energy fermions, with occuption numers tht specify topologicl quit sttes. Aditiclly riding the Mjorn fermions to mnipulte these quits, however, is impossile in single wire. Thus we now turn to the simplest rrngement permitting exchnge the T-junction of Fig. 3. Mjorn riding nd non-aelin sttistics First, we explore the properties of the junction where the wires in Fig. 3 meet (see the Supplementry Informtion for more detils). It is instructive to view the T-junction s three segments meeting t point. When only one segment relizes topologicl phse, single zero-energy Mjorn fermion exists t the junction. When two topologicl segments meet t the junction, s in Fig. 3 nd, genericlly no Mjorn modes exist there. To see this, imgine 414 g d Figure Applying keyord of individully tunle gtes to the wire llows locl control of which regions re topologicl (drk lue) nd non-topologicl (light lue), nd hence mnipulte Mjorn fermions while mintining the ulk gp. As nd illustrte, sequentilly pplying the leftmost gtes drives the left end of the wire non-topologicl, therey trnsporting γ1 rightwrd. Nucleting topologicl section of the wire from n ordinry region or vice vers cretes pirs of Mjorn fermions out of the vcuum s in c. Similrly, removing topologicl region entirely or connecting two topologicl regions s sketched in d fuses Mjorn fermions into either the vcuum or finite-energy qusiprticle. c h Figure 3 A T-junction provides the simplest wire network tht enles meningful ditic exchnge of Mjorn fermions. Using the methods of Fig., one cn rid Mjorns ridged y either topologicl region (drk lue lines) s in d, or non-topologicl region (light lue lines) s in e h. The rrows long the topologicl regions in d re useful for understnding the non-aelin sttistics, s outlined in the min text. decoupling the topologicl segments so tht two nery Mjorn modes exist t the junction; restoring the coupling genericlly comines these Mjorns into n ordinry, finite-energy fermion. As n illustrtive exmple, consider the setup of Fig. 3 nd model the left nd right topologicl segments y Kitev s model with µ = 0 nd t = in eqution (1). (For simplicity we exclude the non-topologicl verticl wire in Fig. 3.) Suppose furthermore tht φ = φl/r in the left/right chins nd tht the fermion cl,n t site N of the left chin couples wekly to the fermion cr,1 t site 1 of the right chin vi H = (cl,n cr,1 + h.c.). Using eqution (), the Mjorns t the junction couple s follows, i φl φr L R H cos γb,n γa,1 (6) nd therefore generlly comine into n ordinry fermion3. An exception occurs when the regions form π-junction tht is, when φl φr = π which fine-tunes their coupling to zero. Importntly, coupling etween end Mjorns in the semiconductor context is governed y the sme φl φr dependence s in eqution (6) (refs 1,). Finlly, when three topologicl segments meet, gin only single Mjorn mode exists t the junction without finetuning. Three Mjorn modes pper only when ll pirs of wires simultneously form mutul π junctions (which is possile ecuse the superconducting phses re defined with respect to direction in ech wire; see the Supplementry Informtion). NATURE PHYSICS VOL 7 MAY 011

4 NATURE PHYSICS DOI: /NPHYS1915 Recll from eqution (5) tht the spin orienttion fvoured y spin orit coupling determines the effective superconducting phse of the semiconducting wires. Two wires t right ngles to one nother therefore exhiit π/ phse difference, well wy from the pthologicl limits mentioned ove. One cn thus lwys trnsport Mjorn fermions cross the junction without generting spurious zero-modes. T-junctions llow exchnge of Mjorns residing on either the sme or different topologicl regions. Figure 3 d illustrtes counterclockwise rid for the former cse, wheres Fig. 3e h illustrtes the ltter. Although the Mjorns cn now e exchnged, their non-aelin sttistics remins to e proven. Let us first recll how non-aelin sttistics of vortices rises in spinless D p+ip superconductor 10,11. Ultimtely, this cn e deduced y considering two vortices which ind Mjorn fermions γ 1 nd γ. As the spinless fermion opertors effectively chnge sign on dvncing the superconducting phse y π, one introduces rnch cuts emnting from the vortices; crucilly, Mjorn fermion chnges sign whenever crossing such cut. On exchnging the vortices, γ (sy) crosses the rnch cut emnting from the other vortex, leding to the trnsformtion rule γ 1 γ nd γ γ 1, which is generted y the unitry opertor U 1 = exp(πγ γ 1 /4). With mny vortices, the nlogous unitry opertors U ij implementing exchnge of γ i nd γ j do not generlly commute, implying non-aelin sttistics. Following n pproch similr to Stern nd collegues 34, we now rgue tht Mjorn fermions in wires trnsform exctly like those ound to vortices under exchnge, nd hence lso exhiit non-aelin sttistics. This cn e estlished most simply y considering the exchnge of two Mjorn fermions γ 1 nd γ, s illustrted in Fig. 3 d. At ech step of the exchnge, there re two degenerte ground sttes 0 nd 1=f 0, where f = (γ 1 +iγ )/ nnihiltes 0. In principle, one cn deduce the trnsformtion rule from the Berry phses χ n Im dtn t n cquired y the mny-ody ground sttes n = 0 nd 1, lthough in prctice these re hrd to evlute. As exchnge sttistics is universl property, however, we re free to deform the prolem to our convenience provided the energy gp remins finite. As first simplifiction, ecuse the semiconductor Hmiltonin nd Kitev s model in eqution (1) cn e smoothly connected, let us consider the cse where ech wire in the T-junction is descried y the ltter. More importntly, we further deform Kitev s Hmiltonin to e purely rel s we exchnge γ 1,. The sttes 0 nd 1 cn then lso e chosen rel, leding to n enormous simplifiction: lthough these sttes still evolve nontrivilly the Berry phse ccumulted during this evolution vnishes. For concreteness, we deform the Hmiltonin such tht µ<0 nd t = = 0 in the non-topologicl regions of Fig. 3. For the topologicl segments, relity implies tht the superconducting phses must e either 0 or π. It is useful to visulize the sign choice for the piring with rrows s in Fig. 3. (To e concrete, we tke the piring e iφ c j c j+1 such tht the site indices increse moving rightwrd/upwrd in the horizontl/verticl wires; the cse φ = 0 then corresponds to rightwrd/upwrd rrows, wheres leftwrd/downwrd rrows indicte φ = π.) To void generting π junctions, when two topologicl segments meet t the junction, one rrow must point into the junction while the other must point out. With this simple rule in mind, we see in Fig. 3 tht lthough we cn successfully swp the Mjorns while keeping the Hmiltonin rel, we inevitly end up reversing the rrows long the topologicl region. In other words, the sign of the piring hs flipped reltive to our initil Hmiltonin. To complete the exchnge we must then perform guge trnsformtion which restores the Hmiltonin to its originl form. This cn e ccomplished y multiplying ll fermion cretion opertors y i; in prticulr, f = (γ 1 iγ )/ if = (γ +iγ 1 )/. It follows tht γ 1 γ nd γ γ 1, which the unitry trnsformtion L i R i Figure 4 Experimentl set-ups tht llow the proing of non-aelin sttistics nd Mjorn-fermion fusion rules., Exmple of semiconductor wire network which llows for efficient exchnge of mny Mjorn fermions. Adjcent Mjorns cn e exchnged s in Fig. 3, wheres non-djcent Mjorns cn e trnsported to the lower wire to e similrly exchnged., Miniml set-up designed to detect the non-trivil Mjorn fusion rules. Mjorns γ 1, re first creted out of the vcuum. In the left pth, γ is shuttled rightwrd, nd Mjorns γ 3,4 lwys comine to form finite-energy stte which is unoccupied. In the right pth, γ 3,4 re lso creted out of the vcuum, nd then γ nd γ 3 fuse with 50% proility into either the vcuum or finite-energy qusiprticle. The Josephson current flowing cross the junction llows the deduction of the presence or sence of this extr qusiprticle. U 1 = exp(πγ γ 1 /4) genertes s in the D p + ip cse. (Note tht one could lterntively multiply ll fermion cretion opertors y i insted of i to chnge the sign of the piring, which would led to the slightly different trnsformtion γ 1 γ nd γ 1 γ. The miguity disppers if one exchnges the Mjorns while keeping the superconducting phses fixed s one would in prctice; see the Supplementry Informtion for detiled discussion.) We stress tht this result pplies lso in the physiclly relevnt cse where gtes trnsport the Mjorns while the superconducting phses remin fixed; we hve merely used our freedom to deform the Hmiltonin to expose the nswer with miniml formlism. Furthermore, ecuse Fig. 3e h lso represents counterclockwise exchnge, it is nturl to expect the sme result for this cse. The Supplementry Informtion nlyses oth types of exchnges from complementry perspective (nd when the superconducting phses re held fixed), confirming their equivlence. There we lso estlish rigorously tht in networks supporting ritrrily mny Mjorns exchnge is implemented y set of unitry opertors U ij nlogous to those in D p+ip superconductor. (The Methods section outlines the nlysis.) Thus the sttistics is non-aelin s dvertised. Discussion The keyord of gtes shown in Fig. nd the T-junction of Fig. 3 provide the sic elements llowing mnipultion of topologicl quits in semiconducting wires. In principle, single T-junction cn 4 NATURE PHYSICS VOL 7 MAY

5 support numerous well-seprted Mjorn modes, ech of which cn e exchnged with ny other. (First, crete mny Mjorns in the horizontl wire of the T-junction. To exchnge given pir, shuttle ll intervening Mjorns down to the end of the verticl wire nd then crry out the exchnge using the methods of Fig. 3.) However, networks consisting of severl T-junctions such s the set-up of Fig. 4 enle more efficient Mjorn exchnge. In the figure, ll djcent Mjorn fermions cn e immeditely swpped using Fig. 3, wheres non-djcent Mjorns cn e shuttled down to the lower wire to e exchnged. This ldder configurtion strightforwrdly scles up y introducing extr rungs nd/or legs. As Fu nd Kne suggested in the topologicl insultor context 13, fusing Mjorn fermions cross Josephson junction provides redout method for the topologicl quit sttes. We illustrte the physics with the schemtic set-up of Fig. 4, which extends the experiments proposed in refs 1, to llow the Mjorn fusion rules to e directly proed. Here semiconducting wire ridges two s-wve superconductors with initil phses ϕ L/R i ; we ssume ϕ i ϕ L i ϕ R i = π. Three gtes drive the wire from n initilly non-topologicl ground stte into topologicl phse. Importntly, the order in which one pplies these gtes qulittively ffects the physics. As we now discuss, only in the left pth of Fig. 4 cn the quit stte t the junction e determined in single mesurement. Consider first germinting Mjorn fermions γ 1 nd γ y pplying the left gte. Assuming f A = (γ 1 + iγ )/ initilly costs finite energy s γ 1 nd γ seprte, the system initilizes into ground stte with f A unoccupied. Applying the centrl nd then right gtes shuttles γ to the other end (see the left pth of Fig. 4). As nrrow insulting rrier seprtes the superconductors, n ordinry fermion f B = (γ 3 + iγ 4 )/ rises from two coupled Mjorns γ 3,4 t the junction. Similr to eqution (6), the energy of this mode is well-cptured y 1 3 H J i i γ 3 γ 4 = i (f B f B 1), where i = δcos(ϕ i /) with non-universl δ. The system hs een prepred in ground stte, so the f B fermion will e sent if i > 0 ut occupied otherwise. Suppose we now vry the phse difference cross the junction wy from its initil vlue to ϕ. The mesured Josephson current (see Supplementry Informtion for pedgogicl derivtion) will then e I = e h de dϕ = eδ h sgn(i )sin(ϕ/)+i e (7) where E is the ground-stte energy nd I e denotes the usul Cooper-pir-tunnelling contriution. The first term on the right reflects single-electron tunnelling originting from the Mjorns γ 3,4. This frctionl Josephson current exhiits 4π periodicity in ϕ, ut π periodicity in the initil phse difference ϕ i. The right pth in Fig. 4 yields very different results, reflecting the nontrivil Mjorn fusion rules. Here, fter creting γ 1,, one pplies the rightmost gte to nuclete nother pir γ 3,4. Assuming f A nd f B defined s ove initilly cost finite energy, the system initilizes into the ground stte 0, 0 stisfying f A/B 0, 0 =0. Applying the centrl gte then fuses γ nd γ 3 t the junction. To understnd the outcome, it is useful to re-express the ground stte in terms of f A = (γ 1 + iγ 4 )/ nd f B = (γ + iγ 3 )/. In this sis 0,0=( 0,0 i 1,1 )/, where fa,b nnihilte 0,0 nd 1,1 =fa f B 0,0. Following our previous discussion, f B cquires finite energy t the junction, lifting the degenercy etween 0,0 nd 1,1. Mesuring the Josephson current then collpses the wvefunction with 50% proility onto either the ground stte, or n excited stte with n extr qusiprticle loclized t the junction. In the former cse eqution (7) gin descries the current, wheres in the ltter cse the frctionl contriution simply chnges sign. NATURE PHYSICS DOI: /NPHYS1915 In more complex networks, such s tht of Fig. 4, fusing the Mjorns cross Josephson junction nd in prticulr mesuring the sign of the frctionl Josephson current similrly llows quit redout. Alterntively, the interesting recent proposl of Hssler et l. 6 for reding quit sttes vi ncillry non-topologicl flux quits cn e dpted to these setups (nd indeed ws originlly discussed in terms of n isolted semiconducting wire 6 ). To conclude, we hve introduced surprising new venue for riding, non-aelin sttistics, nd topologicl quntum informtion processing networks of one-dimensionl semiconducting wires. From fundmentl stndpoint, the ility to relize non- Aelin sttistics in this setting is remrkle. Perhps even more ppeling, however, re the physicl trnsprency nd experimentl promise of our proposl, prticulrly given the fets lredy chieved in ref. 35. Although topologicl quntum informtion processing in wire networks requires much experimentl progress, oserving the distinct fusion chnnels chrcteristic of the two pths of Fig. 4 would provide remrkle step en route to this gol. And ultimtely, if riding in this setting cn e supplemented y π/8 phse gte nd topologicl chrge mesurement of four Mjorns, wire networks my provide fesile pth to universl quntum computtion 6,7 30. Methods In the Supplementry Informtion we provide rigorous, systemtic derivtion of non-aelin sttistics of Mjorn fermions in wire networks, thus estlishing solid mthemticl foundtion for the results otined in the min text. As the nlysis is rther lengthy, here we riefly outline the pproch. We first define the mny-ody ground sttes in the presence of ritrrily mny Mjorn fermions in n ritrry wire network. We then estlish three importnt generl results tht gretly fcilitte the derivtion of non-aelin sttistics. (1) If two Mjorns re exchnged without disturing ny other Mjorns in the network, ll of these other Mjorns simply fctor out in the sense tht their presence in no wy ffects how the degenerte ground sttes trnsform. () If we know how given pir of Mjorns trnsforms under exchnge in some miniml setting, then the sme trnsformtion holds when ritrrily mny extr Mjorns re introduced, provided they re fr from those eing exchnged. These first two properties re rther nturl nd follow from the loclity of the Mjorn wvefunctions. (3) The trnsformtion of the degenerte ground sttes under exchnge (up to n overll non-universl phse) cn e deduced solely y understnding how the Mjorn opertors trnsform. This provides n enormous simplifiction, s it distills the prolem down to understnding the ehviour of the single-ody Mjorn opertors eing rided. It follows from these results tht to understnd non-aelin sttistics in wire networks composed of trijunctions, it suffices to deduce how the Mjorn opertors trnsform under the two types of rids shown in Fig. 3. We susequently nlyse these exchnges (when the superconducting phses re held fixed, s would e the cse in prctice) nd show tht the opertors trnsform similrly to vortices in D p+ip superconductor, therey estlishing non-aelin sttistics. Interestingly, the picture we develop in the Supplementry Informtion closely resemles Ivnov s construction for non-aelin sttistics of vortices, despite their sence in wire networks. Very crudely, s the Mjorn fermions move long the network to e exchnged, the effective p-wve superconducting phses they feel vry, in loose nlogy to wht hppens when Mjorn fermions ound to vortices rid one nother. It is lso interesting to note tht it is not only the clockwise versus counterclockwise nture of the rid tht determines how the Mjorn opertors trnsform, unlike in D p+ip superconductor. In ddition to the hndedness, the superconducting phses of the wires forming the junction lso ply criticl role in governing the outcome of n exchnge. For exmple, counterclockwise exchnge with given set of superconducting phses cn hve the sme effect s clockwise exchnge when the superconducting phses re modified. Thus, wire networks feture more ville knos tht one cn tune to control how n exchnge impcts quit sttes, which my hve useful pplictions. Received 9 June 010; ccepted Decemer 010; pulished online 13 Ferury 011 References 1. Kitev, A. Fult-tolernt quntum computtion y nyons. Ann. Phys. 303, 30 (003).. Freedmn, M. H. P/NP, nd the quntum field computer. Proc. Ntl Acd. Sci. USA 95, (1998). 416 NATURE PHYSICS VOL 7 MAY 011

6 NATURE PHYSICS DOI: /NPHYS Freedmn, M. H., Kitev, A., Lrsen, M. J. & Wng, Z. Topologicl quntum computtion. Bull. Am. Mth. Soc. 40, (003). 4. Ds Srm, S., Freedmn, M. & Nyk, C. Topologiclly protected quits from possile non-aelin frctionl quntum Hll stte. Phys. Rev. Lett. 94, (005). 5. Bonderson, P., Freedmn, M. & Nyk, C. Mesurement-only topologicl quntum computtion. Phys. Rev. Lett. 101, (008). 6. Nyk, C., Simon, S. H., Stern, A., Freedmn, M. & Ds Srm, S. Non-Aelin nyons nd topologicl quntum computtion. Rev. Mod. Phys. 80, (008). 7. Leins, J. M. & Myrheim, J. On the theory of identicl prticles. Nuovo Cimento Soc. Itl. Fis. B 37B, 1 3 (1977). 8. Fredenhgen, K., Rehren, K. H. & Schroer, B. Superselection sectors with rid group sttistics nd exchnge lgers. Commun. Mth. Phys. 15, 01 6 (1989). 9. Fröhlich, J. & Gini, F. Brid sttistics in locl quntum theory. Rev. Mth. Phys., (1990). 10. Red, N. & Green, D. Pired sttes of fermions in two dimensions with reking of prity nd time-reversl symmetries nd the frctionl quntum Hll effect. Phys. Rev. B 61, (000). 11. Ivnov, D. A. Non-Aelin sttistics of hlf-quntum vortices in p-wve superconductors. Phys. Rev. Lett. 86, (001). 1. Moore, G. & Red, N. Nonelions in the frctionl quntum Hll effect. Nucl. Phys. B 360, (1991). 13. Fu, L. & Kne, C. L. Superconducting proximity effect nd Mjorn fermions t the surfce of topologicl insultor. Phys. Rev. Lett. 100, (008). 14. Linder, J., Tnk, Y., Yokoym, T., Sudø, A. & Ngos, N. Unconventionl superconductivity on topologicl insultor. Phys. Rev. Lett. 104, (010). 15. Su, J. D., Lutchyn, R. M., Tewri, S. & Ds Srm, S. Generic new pltform for topologicl quntum computtion using semiconductor heterostructures. Phys. Rev. Lett. 104, (010). 16. Alice, J. Mjorn fermions in tunle semiconductor device. Phys. Rev. B 81, (010). 17. Sto, M. & Fujimoto, S. Topologicl phses of noncentrosymmetric superconductors: Edge sttes, Mjorn fermions, nd non-aelin sttistics. Phys. Rev. B 79, (009). 18. Lee, P. A. Proposl for creting spin-polrized p x +ip y stte nd Mjorn fermions. Preprint t (009). 19. Ghosh, P., Su, J. D., Tewri, S. & Ds Srm, S. Non-Aelin topologicl order in noncentrosymmetric superconductors with roken time-reversl symmetry. Phys. Rev. B 8, (010). 0. Qi, X-L., Hughes, T. L. & Zhng, S-C. Chirl topologicl superconductor from the quntum Hll stte. Phys. Rev. B 8, (010). 1. Lutchyn, R. M., Su, J. D. & Ds Srm, S. Mjorn fermions nd topologicl phse trnsition in semiconductor superconductor heterostructures. Phys. Rev. Lett. 105, (010).. Oreg, Y., Refel, G. & von Oppen, F. Helicl liquids nd Mjorn ound sttes in quntum wires. Phys. Rev. Lett. 105, (010). 3. Kitev, A. Y. Unpired Mjorn fermions in quntum wires. Phys.-Usp. 44, (001). 4. Wimmer, M., Akhmerov, A. R., Medvedyev, M. V., Tworzydło, J. & Beenkker, C. W. J. Mjorn ound sttes without vortices in topologicl superconductors with electrosttic defects. Phys. Rev. Lett. 105, (010). 5. Fu, L. & Kne, C. L. Josephson current nd noise t superconductor/quntum-spin-hll-insultor/superconductor junction. Phys. Rev. B 79, (R) (009). 6. Hssler, F., Akhmerov, A. R., Hou, C-Y. & Beenkker, C. W. J. Anyonic interferometry without nyons: How flux quit cn red out topologicl quit. New J. Phys. 1, 1500 (010). 7. Brvyi, S. & Kitev, A. Universl quntum computtion with idel Clifford gtes nd noisy ncills. Phys. Rev. A 71, 0316 (005). 8. Freedmn, M., Nyk, C. & Wlker, K. Towrds universl topologicl quntum computtion in the ν = 5/ frctionl quntum Hll stte. Phys. Rev. B 73, (006). 9. Bonderson, P., Ds Srm, S., Freedmn, M. & Nyk, C. A lueprint for topologiclly fult-tolernt quntum computer. Preprint t (010). 30. Bonderson, P., Clrke, D. J., Nyk, C. & Shtengel, K. Implementing ritrry phse gtes with Ising nyons. Phys. Rev. Lett. 104, (010). 31. Dresselhus, G. Spin orit coupling effects in zinc lende structures. Phys. Rev. 100, (1955). 3. Bychkov, Y. A. & Rsh, E. I. Oscilltory effects nd the mgnetic susceptiility of crriers in inversion lyers. J. Phys. C 17, (1984). 33. Winkler, R. Spin Orit Coupling Effects in Two-Dimensionl Electron nd Hole Systems (Springer, 003). 34. Stern, A., von Oppen, F. & Mrini, E. Geometric phses nd quntum entnglement s uilding locks for non-aelin qusiprticle sttistics. Phys. Rev. B 70, (004). 35. Doh, Y-J., vn Dm, J. A., Roest, A. L., Bkkers, E. P. A. M., Kouwenhoven, L. P. & De Frnceschi, S. Tunle supercurrent through semiconductor nnowires. Science 309, 7 75 (005). Acknowledgements We hve enefited gretly from stimulting converstions with P. Bonderson, S. Ds Srm, L. Fidkowski, E. Henriksen, A. Kitev, P. Lee, X. Qi nd A. Stern. We lso grtefully cknowledge support from the Lee A. DuBridge Foundtion, ISF, BSF, DIP nd SPP 185 grnts, Pckrd nd Slon fellowships, the Institute for Quntum Informtion under NSF grnts PHY nd PHY , nd the Ntionl Science Foundtion through grnt DMR Author contriutions All uthors contriuted to the inception of the ides in the mnuscript, design of networks nd proposed experimentl setups, nd proof of non-aelin sttistics. Additionl informtion The uthors declre no competing finncil interests. Supplementry informtion ccompnies this pper on Reprints nd permissions informtion is ville online t Correspondence nd requests for mterils should e ddressed to J.A. NATURE PHYSICS VOL 7 MAY

Measurement-Only Topological Quantum Computation

Measurement-Only Topological Quantum Computation Mesurement-Only Topologicl Quntum Computtion Prs Bonderson Microsoft Sttion Q University of Virgini Condensed Mtter Seminr October, 8 work done in collbortion with: Mike Freedmn nd Chetn Nyk rxiv:8.79

More information

Measurement-Only Topological Quantum Computation

Measurement-Only Topological Quantum Computation Mesurement-Only Topologicl Quntum Computtion Prs Bonderson Microsoft Sttion Q UIUC Workshop on Topologicl Phses of Mtter October 24, 2008 work done in collbortion with: Mike Freedmn nd Chetn Nyk rxiv:0802.0279

More information

Topological Quantum Compiling

Topological Quantum Compiling Topologicl Quntum Compiling Work in collbortion with: Lyl Hormozi Georgios Zikos Steven H. Simon Michel Freedmn Nd Petrovic Florid Stte University Lucent Technologies Microsoft Project Q UCSB NEB, L. Hormozi,

More information

Parse trees, ambiguity, and Chomsky normal form

Parse trees, ambiguity, and Chomsky normal form Prse trees, miguity, nd Chomsky norml form In this lecture we will discuss few importnt notions connected with contextfree grmmrs, including prse trees, miguity, nd specil form for context-free grmmrs

More information

Measurement-Only Topological Quantum Computation

Measurement-Only Topological Quantum Computation Mesurement-Only Topologicl Quntum Computtion Prs Bonderson Microsoft Sttion Q DAS Theoreticl Physics Seminr August 21, 2008 work done in collbortion with: Mike Freedmn nd Chetn Nyk rxiv:0802.0279 (PRL

More information

Entanglement Purification

Entanglement Purification Lecture Note Entnglement Purifiction Jin-Wei Pn 6.5. Introduction( Both long distnce quntum teleporttion or glol quntum key distriution need to distriute certin supply of pirs of prticles in mximlly entngled

More information

Torsion in Groups of Integral Triangles

Torsion in Groups of Integral Triangles Advnces in Pure Mthemtics, 01,, 116-10 http://dxdoiorg/1046/pm011015 Pulished Online Jnury 01 (http://wwwscirporg/journl/pm) Torsion in Groups of Integrl Tringles Will Murry Deprtment of Mthemtics nd Sttistics,

More information

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

I1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3 2 The Prllel Circuit Electric Circuits: Figure 2- elow show ttery nd multiple resistors rrnged in prllel. Ech resistor receives portion of the current from the ttery sed on its resistnce. The split is

More information

expression simply by forming an OR of the ANDs of all input variables for which the output is

expression simply by forming an OR of the ANDs of all input variables for which the output is 2.4 Logic Minimiztion nd Krnugh Mps As we found ove, given truth tle, it is lwys possile to write down correct logic expression simply y forming n OR of the ANDs of ll input vriles for which the output

More information

C/CS/Phys C191 Bell Inequalities, No Cloning, Teleportation 9/13/07 Fall 2007 Lecture 6

C/CS/Phys C191 Bell Inequalities, No Cloning, Teleportation 9/13/07 Fall 2007 Lecture 6 C/CS/Phys C9 Bell Inequlities, o Cloning, Teleporttion 9/3/7 Fll 7 Lecture 6 Redings Benenti, Csti, nd Strini: o Cloning Ch.4. Teleporttion Ch. 4.5 Bell inequlities See lecture notes from H. Muchi, Cltech,

More information

Designing Information Devices and Systems I Discussion 8B

Designing Information Devices and Systems I Discussion 8B Lst Updted: 2018-10-17 19:40 1 EECS 16A Fll 2018 Designing Informtion Devices nd Systems I Discussion 8B 1. Why Bother With Thévenin Anywy? () Find Thévenin eqiuvlent for the circuit shown elow. 2kΩ 5V

More information

dx dt dy = G(t, x, y), dt where the functions are defined on I Ω, and are locally Lipschitz w.r.t. variable (x, y) Ω.

dx dt dy = G(t, x, y), dt where the functions are defined on I Ω, and are locally Lipschitz w.r.t. variable (x, y) Ω. Chpter 8 Stility theory We discuss properties of solutions of first order two dimensionl system, nd stility theory for specil clss of liner systems. We denote the independent vrile y t in plce of x, nd

More information

Topological Insulators in 2D and 3D

Topological Insulators in 2D and 3D Topologicl Insultors in D nd 3D I. Introduction - Grphene - Time reversl symmetry nd Krmers theorem II. D quntum spin Hll insultor - Z topologicl invrint - Edge sttes - HgCdTe quntum wells, expts III.

More information

Designing Information Devices and Systems I Spring 2018 Homework 7

Designing Information Devices and Systems I Spring 2018 Homework 7 EECS 16A Designing Informtion Devices nd Systems I Spring 2018 omework 7 This homework is due Mrch 12, 2018, t 23:59. Self-grdes re due Mrch 15, 2018, t 23:59. Sumission Formt Your homework sumission should

More information

p-adic Egyptian Fractions

p-adic Egyptian Fractions p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction

More information

Lecture 08: Feb. 08, 2019

Lecture 08: Feb. 08, 2019 4CS4-6:Theory of Computtion(Closure on Reg. Lngs., regex to NDFA, DFA to regex) Prof. K.R. Chowdhry Lecture 08: Fe. 08, 2019 : Professor of CS Disclimer: These notes hve not een sujected to the usul scrutiny

More information

1 Nondeterministic Finite Automata

1 Nondeterministic Finite Automata 1 Nondeterministic Finite Automt Suppose in life, whenever you hd choice, you could try oth possiilities nd live your life. At the end, you would go ck nd choose the one tht worked out the est. Then you

More information

Reading from Young & Freedman: For this topic, read the introduction to chapter 24 and sections 24.1 to 24.5.

Reading from Young & Freedman: For this topic, read the introduction to chapter 24 and sections 24.1 to 24.5. PHY1 Electricity Topic 5 (Lectures 7 & 8) pcitors nd Dielectrics In this topic, we will cover: 1) pcitors nd pcitnce ) omintions of pcitors Series nd Prllel 3) The energy stored in cpcitor 4) Dielectrics

More information

Name Solutions to Test 3 November 8, 2017

Name Solutions to Test 3 November 8, 2017 Nme Solutions to Test 3 November 8, 07 This test consists of three prts. Plese note tht in prts II nd III, you cn skip one question of those offered. Some possibly useful formuls cn be found below. Brrier

More information

Energy Bands Energy Bands and Band Gap. Phys463.nb Phenomenon

Energy Bands Energy Bands and Band Gap. Phys463.nb Phenomenon Phys463.nb 49 7 Energy Bnds Ref: textbook, Chpter 7 Q: Why re there insultors nd conductors? Q: Wht will hppen when n electron moves in crystl? In the previous chpter, we discussed free electron gses,

More information

2. VECTORS AND MATRICES IN 3 DIMENSIONS

2. VECTORS AND MATRICES IN 3 DIMENSIONS 2 VECTORS AND MATRICES IN 3 DIMENSIONS 21 Extending the Theory of 2-dimensionl Vectors x A point in 3-dimensionl spce cn e represented y column vector of the form y z z-xis y-xis z x y x-xis Most of the

More information

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

Intermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4 Intermedite Mth Circles Wednesdy, Novemer 14, 2018 Finite Automt II Nickols Rollick nrollick@uwterloo.c Regulr Lnguges Lst time, we were introduced to the ide of DFA (deterministic finite utomton), one

More information

Lecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations.

Lecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations. Lecture 3 3 Solving liner equtions In this lecture we will discuss lgorithms for solving systems of liner equtions Multiplictive identity Let us restrict ourselves to considering squre mtrices since one

More information

ODE: Existence and Uniqueness of a Solution

ODE: Existence and Uniqueness of a Solution Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =

More information

Designing finite automata II

Designing finite automata II Designing finite utomt II Prolem: Design DFA A such tht L(A) consists of ll strings of nd which re of length 3n, for n = 0, 1, 2, (1) Determine wht to rememer out the input string Assign stte to ech of

More information

10 Vector Integral Calculus

10 Vector Integral Calculus Vector Integrl lculus Vector integrl clculus extends integrls s known from clculus to integrls over curves ("line integrls"), surfces ("surfce integrls") nd solids ("volume integrls"). These integrls hve

More information

Sufficient condition on noise correlations for scalable quantum computing

Sufficient condition on noise correlations for scalable quantum computing Sufficient condition on noise correltions for sclble quntum computing John Presill, 2 Februry 202 Is quntum computing sclble? The ccurcy threshold theorem for quntum computtion estblishes tht sclbility

More information

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions

More information

Quantum Physics III (8.06) Spring 2005 Solution Set 5

Quantum Physics III (8.06) Spring 2005 Solution Set 5 Quntum Physics III (8.06 Spring 005 Solution Set 5 Mrch 8, 004. The frctionl quntum Hll effect (5 points As we increse the flux going through the solenoid, we increse the mgnetic field, nd thus the vector

More information

CS12N: The Coming Revolution in Computer Architecture Laboratory 2 Preparation

CS12N: The Coming Revolution in Computer Architecture Laboratory 2 Preparation CS2N: The Coming Revolution in Computer Architecture Lortory 2 Preprtion Ojectives:. Understnd the principle of sttic CMOS gte circuits 2. Build simple logic gtes from MOS trnsistors 3. Evlute these gtes

More information

Week 10: Line Integrals

Week 10: Line Integrals Week 10: Line Integrls Introduction In this finl week we return to prmetrised curves nd consider integrtion long such curves. We lredy sw this in Week 2 when we integrted long curve to find its length.

More information

Lecture Solution of a System of Linear Equation

Lecture Solution of a System of Linear Equation ChE Lecture Notes, Dept. of Chemicl Engineering, Univ. of TN, Knoville - D. Keffer, 5/9/98 (updted /) Lecture 8- - Solution of System of Liner Eqution 8. Why is it importnt to e le to solve system of liner

More information

Linear Systems with Constant Coefficients

Linear Systems with Constant Coefficients Liner Systems with Constnt Coefficients 4-3-05 Here is system of n differentil equtions in n unknowns: x x + + n x n, x x + + n x n, x n n x + + nn x n This is constnt coefficient liner homogeneous system

More information

Compiler Design. Fall Lexical Analysis. Sample Exercises and Solutions. Prof. Pedro C. Diniz

Compiler Design. Fall Lexical Analysis. Sample Exercises and Solutions. Prof. Pedro C. Diniz University of Southern Cliforni Computer Science Deprtment Compiler Design Fll Lexicl Anlysis Smple Exercises nd Solutions Prof. Pedro C. Diniz USC / Informtion Sciences Institute 4676 Admirlty Wy, Suite

More information

Discrete Mathematics and Probability Theory Summer 2014 James Cook Note 17

Discrete Mathematics and Probability Theory Summer 2014 James Cook Note 17 CS 70 Discrete Mthemtics nd Proility Theory Summer 2014 Jmes Cook Note 17 I.I.D. Rndom Vriles Estimting the is of coin Question: We wnt to estimte the proportion p of Democrts in the US popultion, y tking

More information

Lecture 2: January 27

Lecture 2: January 27 CS 684: Algorithmic Gme Theory Spring 217 Lecturer: Év Trdos Lecture 2: Jnury 27 Scrie: Alert Julius Liu 2.1 Logistics Scrie notes must e sumitted within 24 hours of the corresponding lecture for full

More information

Chapter 14. Matrix Representations of Linear Transformations

Chapter 14. Matrix Representations of Linear Transformations Chpter 4 Mtrix Representtions of Liner Trnsformtions When considering the Het Stte Evolution, we found tht we could describe this process using multipliction by mtrix. This ws nice becuse computers cn

More information

Quantum Nonlocality Pt. 2: No-Signaling and Local Hidden Variables May 1, / 16

Quantum Nonlocality Pt. 2: No-Signaling and Local Hidden Variables May 1, / 16 Quntum Nonloclity Pt. 2: No-Signling nd Locl Hidden Vriles My 1, 2018 Quntum Nonloclity Pt. 2: No-Signling nd Locl Hidden Vriles My 1, 2018 1 / 16 Non-Signling Boxes The primry lesson from lst lecture

More information

Special Relativity solved examples using an Electrical Analog Circuit

Special Relativity solved examples using an Electrical Analog Circuit 1-1-15 Specil Reltivity solved exmples using n Electricl Anlog Circuit Mourici Shchter mourici@gmil.com mourici@wll.co.il ISRAE, HOON 54-54855 Introduction In this pper, I develop simple nlog electricl

More information

September 13 Homework Solutions

September 13 Homework Solutions College of Engineering nd Computer Science Mechnicl Engineering Deprtment Mechnicl Engineering 5A Seminr in Engineering Anlysis Fll Ticket: 5966 Instructor: Lrry Cretto Septemer Homework Solutions. Are

More information

Chapter 5. , r = r 1 r 2 (1) µ = m 1 m 2. r, r 2 = R µ m 2. R(m 1 + m 2 ) + m 2 r = r 1. m 2. r = r 1. R + µ m 1

Chapter 5. , r = r 1 r 2 (1) µ = m 1 m 2. r, r 2 = R µ m 2. R(m 1 + m 2 ) + m 2 r = r 1. m 2. r = r 1. R + µ m 1 Tor Kjellsson Stockholm University Chpter 5 5. Strting with the following informtion: R = m r + m r m + m, r = r r we wnt to derive: µ = m m m + m r = R + µ m r, r = R µ m r 3 = µ m R + r, = µ m R r. 4

More information

Genetic Programming. Outline. Evolutionary Strategies. Evolutionary strategies Genetic programming Summary

Genetic Programming. Outline. Evolutionary Strategies. Evolutionary strategies Genetic programming Summary Outline Genetic Progrmming Evolutionry strtegies Genetic progrmming Summry Bsed on the mteril provided y Professor Michel Negnevitsky Evolutionry Strtegies An pproch simulting nturl evolution ws proposed

More information

Chapter 4: Techniques of Circuit Analysis. Chapter 4: Techniques of Circuit Analysis

Chapter 4: Techniques of Circuit Analysis. Chapter 4: Techniques of Circuit Analysis Chpter 4: Techniques of Circuit Anlysis Terminology Node-Voltge Method Introduction Dependent Sources Specil Cses Mesh-Current Method Introduction Dependent Sources Specil Cses Comprison of Methods Source

More information

Fully Kinetic Simulations of Ion Beam Neutralization

Fully Kinetic Simulations of Ion Beam Neutralization Fully Kinetic Simultions of Ion Bem Neutrliztion Joseph Wng University of Southern Cliforni Hideyuki Usui Kyoto University E-mil: josephjw@usc.edu; usui@rish.kyoto-u.c.jp 1. Introduction Ion em emission/neutrliztion

More information

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies Stte spce systems nlysis (continued) Stbility A. Definitions A system is sid to be Asymptoticlly Stble (AS) when it stisfies ut () = 0, t > 0 lim xt () 0. t A system is AS if nd only if the impulse response

More information

MA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp.

MA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp. MA123, Chpter 1: Formuls for integrls: integrls, ntiderivtives, nd the Fundmentl Theorem of Clculus (pp. 27-233, Gootmn) Chpter Gols: Assignments: Understnd the sttement of the Fundmentl Theorem of Clculus.

More information

MTH 505: Number Theory Spring 2017

MTH 505: Number Theory Spring 2017 MTH 505: Numer Theory Spring 207 Homework 2 Drew Armstrong The Froenius Coin Prolem. Consider the eqution x ` y c where,, c, x, y re nturl numers. We cn think of $ nd $ s two denomintions of coins nd $c

More information

2.4 Linear Inequalities and Interval Notation

2.4 Linear Inequalities and Interval Notation .4 Liner Inequlities nd Intervl Nottion We wnt to solve equtions tht hve n inequlity symol insted of n equl sign. There re four inequlity symols tht we will look t: Less thn , Less thn or

More information

Discrete Mathematics and Probability Theory Spring 2013 Anant Sahai Lecture 17

Discrete Mathematics and Probability Theory Spring 2013 Anant Sahai Lecture 17 EECS 70 Discrete Mthemtics nd Proility Theory Spring 2013 Annt Shi Lecture 17 I.I.D. Rndom Vriles Estimting the is of coin Question: We wnt to estimte the proportion p of Democrts in the US popultion,

More information

7.1 Integral as Net Change and 7.2 Areas in the Plane Calculus

7.1 Integral as Net Change and 7.2 Areas in the Plane Calculus 7.1 Integrl s Net Chnge nd 7. Ares in the Plne Clculus 7.1 INTEGRAL AS NET CHANGE Notecrds from 7.1: Displcement vs Totl Distnce, Integrl s Net Chnge We hve lredy seen how the position of n oject cn e

More information

Chapter 2 Finite Automata

Chapter 2 Finite Automata Chpter 2 Finite Automt 28 2.1 Introduction Finite utomt: first model of the notion of effective procedure. (They lso hve mny other pplictions). The concept of finite utomton cn e derived y exmining wht

More information

12.1 Nondeterminism Nondeterministic Finite Automata. a a b ε. CS125 Lecture 12 Fall 2016

12.1 Nondeterminism Nondeterministic Finite Automata. a a b ε. CS125 Lecture 12 Fall 2016 CS125 Lecture 12 Fll 2016 12.1 Nondeterminism The ide of nondeterministic computtions is to llow our lgorithms to mke guesses, nd only require tht they ccept when the guesses re correct. For exmple, simple

More information

The Dirichlet Problem in a Two Dimensional Rectangle. Section 13.5

The Dirichlet Problem in a Two Dimensional Rectangle. Section 13.5 The Dirichlet Prolem in Two Dimensionl Rectngle Section 13.5 1 Dirichlet Prolem in Rectngle In these notes we will pply the method of seprtion of vriles to otin solutions to elliptic prolems in rectngle

More information

set is not closed under matrix [ multiplication, ] and does not form a group.

set is not closed under matrix [ multiplication, ] and does not form a group. Prolem 2.3: Which of the following collections of 2 2 mtrices with rel entries form groups under [ mtrix ] multipliction? i) Those of the form for which c d 2 Answer: The set of such mtrices is not closed

More information

Resistive Network Analysis

Resistive Network Analysis C H A P T E R 3 Resistive Network Anlysis his chpter will illustrte the fundmentl techniques for the nlysis of resistive circuits. The methods introduced re sed on the circuit lws presented in Chpter 2:

More information

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn

More information

Bases for Vector Spaces

Bases for Vector Spaces Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything

More information

Section 4: Integration ECO4112F 2011

Section 4: Integration ECO4112F 2011 Reding: Ching Chpter Section : Integrtion ECOF Note: These notes do not fully cover the mteril in Ching, ut re ment to supplement your reding in Ching. Thus fr the optimistion you hve covered hs een sttic

More information

13: Diffusion in 2 Energy Groups

13: Diffusion in 2 Energy Groups 3: Diffusion in Energy Groups B. Rouben McMster University Course EP 4D3/6D3 Nucler Rector Anlysis (Rector Physics) 5 Sept.-Dec. 5 September Contents We study the diffusion eqution in two energy groups

More information

Review of Gaussian Quadrature method

Review of Gaussian Quadrature method Review of Gussin Qudrture method Nsser M. Asi Spring 006 compiled on Sundy Decemer 1, 017 t 09:1 PM 1 The prolem To find numericl vlue for the integrl of rel vlued function of rel vrile over specific rnge

More information

Extended nonlocal games from quantum-classical games

Extended nonlocal games from quantum-classical games Extended nonlocl gmes from quntum-clssicl gmes Theory Seminr incent Russo niversity of Wterloo October 17, 2016 Outline Extended nonlocl gmes nd quntum-clssicl gmes Entngled vlues nd the dimension of entnglement

More information

CS103B Handout 18 Winter 2007 February 28, 2007 Finite Automata

CS103B Handout 18 Winter 2007 February 28, 2007 Finite Automata CS103B ndout 18 Winter 2007 Ferury 28, 2007 Finite Automt Initil text y Mggie Johnson. Introduction Severl childrens gmes fit the following description: Pieces re set up on plying ord; dice re thrown or

More information

CHAPTER 1 PROGRAM OF MATRICES

CHAPTER 1 PROGRAM OF MATRICES CHPTER PROGRM OF MTRICES -- INTRODUCTION definition of engineering is the science y which the properties of mtter nd sources of energy in nture re mde useful to mn. Thus n engineer will hve to study the

More information

9.4. The Vector Product. Introduction. Prerequisites. Learning Outcomes

9.4. The Vector Product. Introduction. Prerequisites. Learning Outcomes The Vector Product 9.4 Introduction In this section we descrie how to find the vector product of two vectors. Like the sclr product its definition my seem strnge when first met ut the definition is chosen

More information

Model Reduction of Finite State Machines by Contraction

Model Reduction of Finite State Machines by Contraction Model Reduction of Finite Stte Mchines y Contrction Alessndro Giu Dip. di Ingegneri Elettric ed Elettronic, Università di Cgliri, Pizz d Armi, 09123 Cgliri, Itly Phone: +39-070-675-5892 Fx: +39-070-675-5900

More information

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b. Mth 255 - Vector lculus II Notes 4.2 Pth nd Line Integrls We begin with discussion of pth integrls (the book clls them sclr line integrls). We will do this for function of two vribles, but these ides cn

More information

Coalgebra, Lecture 15: Equations for Deterministic Automata

Coalgebra, Lecture 15: Equations for Deterministic Automata Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined

More information

Homework Assignment 6 Solution Set

Homework Assignment 6 Solution Set Homework Assignment 6 Solution Set PHYCS 440 Mrch, 004 Prolem (Griffiths 4.6 One wy to find the energy is to find the E nd D fields everywhere nd then integrte the energy density for those fields. We know

More information

Vectors , (0,0). 5. A vector is commonly denoted by putting an arrow above its symbol, as in the picture above. Here are some 3-dimensional vectors:

Vectors , (0,0). 5. A vector is commonly denoted by putting an arrow above its symbol, as in the picture above. Here are some 3-dimensional vectors: Vectors 1-23-2018 I ll look t vectors from n lgeric point of view nd geometric point of view. Algericlly, vector is n ordered list of (usully) rel numers. Here re some 2-dimensionl vectors: (2, 3), ( )

More information

Continuous Random Variables Class 5, Jeremy Orloff and Jonathan Bloom

Continuous Random Variables Class 5, Jeremy Orloff and Jonathan Bloom Lerning Gols Continuous Rndom Vriles Clss 5, 8.05 Jeremy Orloff nd Jonthn Bloom. Know the definition of continuous rndom vrile. 2. Know the definition of the proility density function (pdf) nd cumultive

More information

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007 A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus

More information

Preparation of decoherence-free cluster states with optical superlattices

Preparation of decoherence-free cluster states with optical superlattices PHYSICAL REVIEW A 79, 0309 009 Preprtion of decoherence-free cluster sttes with opticl superlttices Ling Jing, 1 An Mri Rey,,3 Oriol Romero-Isrt, 4 Jun José Grcí-Ripoll, 5 Ann Snper, 4,6 nd Mikhil D. Lukin

More information

PH12b 2010 Solutions HW#3

PH12b 2010 Solutions HW#3 PH 00 Solutions HW#3. The Hmiltonin of this two level system is where E g < E e The experimentlist sis is H E g jgi hgj + E e jei hej j+i p (jgi + jei) j i p (jgi jei) ) At t 0 the stte is j (0)i j+i,

More information

Physics Graduate Prelim exam

Physics Graduate Prelim exam Physics Grdute Prelim exm Fll 2008 Instructions: This exm hs 3 sections: Mechnics, EM nd Quntum. There re 3 problems in ech section You re required to solve 2 from ech section. Show ll work. This exm is

More information

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.) MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give

More information

Intro to Nuclear and Particle Physics (5110)

Intro to Nuclear and Particle Physics (5110) Intro to Nucler nd Prticle Physics (5110) Feb, 009 The Nucler Mss Spectrum The Liquid Drop Model //009 1 E(MeV) n n(n-1)/ E/[ n(n-1)/] (MeV/pir) 1 C 16 O 0 Ne 4 Mg 7.7 14.44 19.17 8.48 4 5 6 6 10 15.4.41

More information

12.1 Nondeterminism Nondeterministic Finite Automata. a a b ε. CS125 Lecture 12 Fall 2014

12.1 Nondeterminism Nondeterministic Finite Automata. a a b ε. CS125 Lecture 12 Fall 2014 CS125 Lecture 12 Fll 2014 12.1 Nondeterminism The ide of nondeterministic computtions is to llow our lgorithms to mke guesses, nd only require tht they ccept when the guesses re correct. For exmple, simple

More information

Jackson 2.26 Homework Problem Solution Dr. Christopher S. Baird University of Massachusetts Lowell

Jackson 2.26 Homework Problem Solution Dr. Christopher S. Baird University of Massachusetts Lowell Jckson 2.26 Homework Problem Solution Dr. Christopher S. Bird University of Msschusetts Lowell PROBLEM: The two-dimensionl region, ρ, φ β, is bounded by conducting surfces t φ =, ρ =, nd φ = β held t zero

More information

The practical version

The practical version Roerto s Notes on Integrl Clculus Chpter 4: Definite integrls nd the FTC Section 7 The Fundmentl Theorem of Clculus: The prcticl version Wht you need to know lredy: The theoreticl version of the FTC. Wht

More information

1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true.

1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true. York University CSE 2 Unit 3. DFA Clsses Converting etween DFA, NFA, Regulr Expressions, nd Extended Regulr Expressions Instructor: Jeff Edmonds Don t chet y looking t these nswers premturely.. For ech

More information

d 2 Area i K i0 ν 0 (S.2) d 3 x t 0ν

d 2 Area i K i0 ν 0 (S.2) d 3 x t 0ν PHY 396 K. Solutions for prolem set #. Prolem 1: Let T µν = λ K λµ ν. Regrdless of the specific form of the K λµ ν φ, φ tensor, its ntisymmetry with respect to its first two indices K λµ ν K µλ ν implies

More information

and that at t = 0 the object is at position 5. Find the position of the object at t = 2.

and that at t = 0 the object is at position 5. Find the position of the object at t = 2. 7.2 The Fundmentl Theorem of Clculus 49 re mny, mny problems tht pper much different on the surfce but tht turn out to be the sme s these problems, in the sense tht when we try to pproimte solutions we

More information

Convert the NFA into DFA

Convert the NFA into DFA Convert the NF into F For ech NF we cn find F ccepting the sme lnguge. The numer of sttes of the F could e exponentil in the numer of sttes of the NF, ut in prctice this worst cse occurs rrely. lgorithm:

More information

8Similarity UNCORRECTED PAGE PROOFS. 8.1 Kick off with CAS 8.2 Similar objects 8.3 Linear scale factors. 8.4 Area and volume scale factors 8.

8Similarity UNCORRECTED PAGE PROOFS. 8.1 Kick off with CAS 8.2 Similar objects 8.3 Linear scale factors. 8.4 Area and volume scale factors 8. 8.1 Kick off with S 8. Similr ojects 8. Liner scle fctors 8Similrity 8. re nd volume scle fctors 8. Review U N O R R E TE D P G E PR O O FS 8.1 Kick off with S Plese refer to the Resources t in the Prelims

More information

Surface maps into free groups

Surface maps into free groups Surfce mps into free groups lden Wlker Novemer 10, 2014 Free groups wedge X of two circles: Set F = π 1 (X ) =,. We write cpitl letters for inverse, so = 1. e.g. () 1 = Commuttors Let x nd y e loops. The

More information

Emission of K -, L - and M - Auger Electrons from Cu Atoms. Abstract

Emission of K -, L - and M - Auger Electrons from Cu Atoms. Abstract Emission of K -, L - nd M - uger Electrons from Cu toms Mohmed ssd bdel-rouf Physics Deprtment, Science College, UEU, l in 17551, United rb Emirtes ssd@ueu.c.e bstrct The emission of uger electrons from

More information

SUMMER KNOWHOW STUDY AND LEARNING CENTRE

SUMMER KNOWHOW STUDY AND LEARNING CENTRE SUMMER KNOWHOW STUDY AND LEARNING CENTRE Indices & Logrithms 2 Contents Indices.2 Frctionl Indices.4 Logrithms 6 Exponentil equtions. Simplifying Surds 13 Opertions on Surds..16 Scientific Nottion..18

More information

Fault Modeling. EE5375 ADD II Prof. MacDonald

Fault Modeling. EE5375 ADD II Prof. MacDonald Fult Modeling EE5375 ADD II Prof. McDonld Stuck At Fult Models l Modeling of physicl defects (fults) simplify to logicl fult l stuck high or low represents mny physicl defects esy to simulte technology

More information

Chapter 9 Many Electron Atoms

Chapter 9 Many Electron Atoms Chem 356: Introductory Quntum Mechnics Chpter 9 Mny Electron Atoms... 11 MnyElectron Atoms... 11 A: HrtreeFock: Minimize the Energy of Single Slter Determinnt.... 16 HrtreeFock Itertion Scheme... 17 Chpter

More information

378 Relations Solutions for Chapter 16. Section 16.1 Exercises. 3. Let A = {0,1,2,3,4,5}. Write out the relation R that expresses on A.

378 Relations Solutions for Chapter 16. Section 16.1 Exercises. 3. Let A = {0,1,2,3,4,5}. Write out the relation R that expresses on A. 378 Reltions 16.7 Solutions for Chpter 16 Section 16.1 Exercises 1. Let A = {0,1,2,3,4,5}. Write out the reltion R tht expresses > on A. Then illustrte it with digrm. 2 1 R = { (5,4),(5,3),(5,2),(5,1),(5,0),(4,3),(4,2),(4,1),

More information

Lecture 13 - Linking E, ϕ, and ρ

Lecture 13 - Linking E, ϕ, and ρ Lecture 13 - Linking E, ϕ, nd ρ A Puzzle... Inner-Surfce Chrge Density A positive point chrge q is locted off-center inside neutrl conducting sphericl shell. We know from Guss s lw tht the totl chrge on

More information

Designing Information Devices and Systems I Spring 2018 Homework 8

Designing Information Devices and Systems I Spring 2018 Homework 8 EECS 16A Designing Informtion Devices nd Systems I Spring 2018 Homework 8 This homework is due Mrch 19, 2018, t 23:59. Self-grdes re due Mrch 22, 2018, t 23:59. Sumission Formt Your homework sumission

More information

MAC-solutions of the nonexistent solutions of mathematical physics

MAC-solutions of the nonexistent solutions of mathematical physics Proceedings of the 4th WSEAS Interntionl Conference on Finite Differences - Finite Elements - Finite Volumes - Boundry Elements MAC-solutions of the nonexistent solutions of mthemticl physics IGO NEYGEBAUE

More information

Exam 1 Solutions (1) C, D, A, B (2) C, A, D, B (3) C, B, D, A (4) A, C, D, B (5) D, C, A, B

Exam 1 Solutions (1) C, D, A, B (2) C, A, D, B (3) C, B, D, A (4) A, C, D, B (5) D, C, A, B PHY 249, Fll 216 Exm 1 Solutions nswer 1 is correct for ll problems. 1. Two uniformly chrged spheres, nd B, re plced t lrge distnce from ech other, with their centers on the x xis. The chrge on sphere

More information

Improper Integrals. The First Fundamental Theorem of Calculus, as we ve discussed in class, goes as follows:

Improper Integrals. The First Fundamental Theorem of Calculus, as we ve discussed in class, goes as follows: Improper Integrls The First Fundmentl Theorem of Clculus, s we ve discussed in clss, goes s follows: If f is continuous on the intervl [, ] nd F is function for which F t = ft, then ftdt = F F. An integrl

More information

Polynomials and Division Theory

Polynomials and Division Theory Higher Checklist (Unit ) Higher Checklist (Unit ) Polynomils nd Division Theory Skill Achieved? Know tht polynomil (expression) is of the form: n x + n x n + n x n + + n x + x + 0 where the i R re the

More information

Physics 1402: Lecture 7 Today s Agenda

Physics 1402: Lecture 7 Today s Agenda 1 Physics 1402: Lecture 7 Tody s gend nnouncements: Lectures posted on: www.phys.uconn.edu/~rcote/ HW ssignments, solutions etc. Homework #2: On Msterphysics tody: due Fridy Go to msteringphysics.com Ls:

More information

5. (±±) Λ = fw j w is string of even lengthg [ 00 = f11,00g 7. (11 [ 00)± Λ = fw j w egins with either 11 or 00g 8. (0 [ ffl)1 Λ = 01 Λ [ 1 Λ 9.

5. (±±) Λ = fw j w is string of even lengthg [ 00 = f11,00g 7. (11 [ 00)± Λ = fw j w egins with either 11 or 00g 8. (0 [ ffl)1 Λ = 01 Λ [ 1 Λ 9. Regulr Expressions, Pumping Lemm, Right Liner Grmmrs Ling 106 Mrch 25, 2002 1 Regulr Expressions A regulr expression descries or genertes lnguge: it is kind of shorthnd for listing the memers of lnguge.

More information

4 VECTORS. 4.0 Introduction. Objectives. Activity 1

4 VECTORS. 4.0 Introduction. Objectives. Activity 1 4 VECTRS Chpter 4 Vectors jectives fter studying this chpter you should understnd the difference etween vectors nd sclrs; e le to find the mgnitude nd direction of vector; e le to dd vectors, nd multiply

More information

Improper Integrals, and Differential Equations

Improper Integrals, and Differential Equations Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted

More information