LETTER. Quantum annealing with manufactured spins

Size: px
Start display at page:

Download "LETTER. Quantum annealing with manufactured spins"

Transcription

1 doi:.38/nture2 Quntum nneling with mnufctured spins M. W. Johnson, M. H. S. Amin, S. Gildert, T. Lnting, F. Hmze, N. Dickson,R.Hrris, A. J. Berkley, J. Johnsson 2, P. Bunyk, E. M. Chpple, C. Enderud, J. P. Hilton, K. Krimi, E. Ldizinsky, N. Ldizinsky,T.Oh, I. Perminov, C. Rich, M. C. Thom, E. Tolkchev, C. J. S. Truncik 3, S. Uchikin, J. Wng, B. Wilson & G. Rose Mny interesting ut prcticlly intrctle prolems cn e reduced to tht of finding the ground stte of system of intercting spins; however, finding such ground stte remins computtionlly difficult. It is elieved tht the ground stte of some nturlly occurring spin systems cn e effectively ttined through process clled quntum nneling 2,3. If it could e hrnessed, quntum nneling might improve on known methods for solving certin types of prolem 4,5. However, physicl investigtion of quntum nneling hs een lrgely confined to microscopic spins in condensed-mtter systems 6 2. Here we use quntum nneling to find the ground stte of n rtificil Ising spin system comprising n rry of eight superconducting flux quntum its with progrmmle spin spin couplings. We oserve cler signture of quntum nneling, distinguishle from clssicl therml nneling through the temperture dependence of the time t which the system dynmics freezes. Our implementtion cn e configured in situ to relize wide vriety of different spin networks, ech of which cn e monitored s it moves towrds low-energy configurtion 3,4. This progrmmle rtificil spin network ridges the gp etween the theoreticl study of idel isolted spin networks nd the experimentl investigtion of ulk mgnetic smples. Moreover, with n incresed numer of spins, such system my provide prcticl physicl mens to implement quntum lgorithm, possily llowing more-effective pproches to solving certin clsses of hrd comintoril optimiztion prolems. Physiclly interesting in their own right, systems of intercting spins lso hve prcticl importnce for quntum computtion 5. One widely studied exmple is the Ising spin model, where spins my tke on one of two possile vlues: up or down long preferred xis. Mny seemingly unrelted yet importnt hrd prolems, in fields rnging from rtificil intelligence 6 to zoology 7, cn e reformulted s the prolem of finding the lowest energy configurtion, or ground stte, of n Ising spin system. Quntum nneling hs een proposed s n effective wy for finding such ground stte 2 5. To implement processor tht uses quntum nneling to help solve difficult prolems, we would need progrmmle quntum spin system in which we could control individul spins nd their couplings, perform quntum nneling nd then determine the stte of ech spin. Until recently, physicl investigtion of quntum nneling hs een confined to configurtions chievle in condensed-mtter systems, such s moleculr nnomgnets 6 or ulk solids with quntum criticl ehviour,2. Unfortuntely, these systems cnnot e controlled or mesured t the level of individul spins, nd re typiclly investigted through the mesurement of ulk properties. They re not progrmmle. Nucler mgnetic resonnce techniques hve een used to demonstrte quntum nneling lgorithm on three quntum spins 8. Recently, three trpped ions were used to perform quntum simultion of smll, frustrted Ising spin system 9. One possile implementtion of n rtificil Ising spin system involves superconducting flux quntum its 2 28 (quits). We hve implemented such spin system, interconnected s iprtite grph, using n in situ reconfigurle rry of coupled superconducting flux quits 4. The device friction is discussed in Methods nd in Supplementry Informtion. The simplified schemtic in Fig. shows two superconducting loops in the quit, ech suject to n externl flux is W x or W 2x, respectively. The device dynmics cn e modelled s quntum mechnicl doule-well potentil with respect to the flux, W, in loop (Fig. ). The rrier height, du, is controlled y W 2x. The energy difference etween the two minim, 2h, is controlled y W x. The two lowest energy sttes of the system, corresponding to clockwise or nticlockwise circulting current in loop, re lelled j#æ nd j"æ, with flux loclized in the left- or the right-hnd well (Fig. ), respectively. If we consider only these two sttes ( vlid restriction t low temperture), the quit dynmics is equivlent to those of n Ising spin, nd we tret the quits s such in wht follows. Quits (spins) re Φ 2x Φ x Josephson junction U Φ Φ 2 ω p Spin-down circulting current δu Spin-up circulting current Figure Superconducting flux quit., Simplified schemtic of superconducting flux quit cting s quntum mechnicl spin. Circulting current in the quit loop gives rise to flux inside, encoding two distinct spin sttes tht cn exist in superposition., Doule-well potentil energy digrm nd the lowest quntum energy levels corresponding to the quit. Sttes "æ nd #æ re the lowest two levels, respectively. The intr-well energy spcing is v p. The mesurement detects mgnetiztion, nd does not distinguish etween, sy, "æ nd excited sttes within the right-hnd well. In prctice, these excittions re exceedingly improle t the time the stte is mesured. 2h ωp Φ D-Wve Systems Inc., -44 Still Creek Drive, Burny, British Columi V5C 6G9, Cnd. 2 Deprtment of Nturl Sciences, University of Agder, Post Box 422, NO-464 Kristinsnd, Norwy. 3 Deprtment of Physics, Simon Frser University, Burny, British Columi V5A S6, Cnd. 94 NATURE VOL MAY 2

2 RESEARCH coupled together using progrmmle coupling elements 29 which provide spin spin coupling energy tht is continuously tunle etween ferromgnetic nd ntiferromgnetic coupling. This llows spins to fvour lignment or nti-lignment, respectively. The ehviour of this system cn e descried with n Ising model Hmiltonin H P ~ XN i~ h i s z i z XN i,j~ J ij s z i sz j where for spin i s z i is the Puli spin mtrix with eigenvectors {j"æ, j#æ} nd 2h i is the energy is; nd 2J ij is the coupling energy etween the spins i nd j. Our implementtion llows ech J ij nd h i to e progrmmed independently within the constrints of the connectivity of our devices. The quntum mechnicl properties of the individul devices hve een well chrcterized 3, ut we re interested in wht hppens when severl of them re coupled together. It is resonle to sk whether this mnufctured, mcroscopic (, mm) system of rtificil spins ehves quntum mechniclly. We report here on n experiment tht demonstrtes signture of quntum nneling in coupled set of eight rtificil Ising spins. Wheres therml nneling uses progressively weker therml fluctutions to llow system to explore its energy lndscpe nd rrive t low-energy configurtion, quntum nneling uses progressively weker quntum fluctutions, medited y tunnelling. In oth therml nd quntum nneling, system strts with mixture of ll possile sttes: clssicl mixed stte in the former nd coherent superposition in the ltter. Quntum nneling cn e performed y slowly chnging the system Hmiltonin H(t)~C(t) XN i~ D i s x i zl(t)h P where C decreses from one to zero nd L increses from zero to one monotoniclly with time, nd D i prmeterizes quntum mechnicl tunnelling etween j"æ nd j#æ. At the eginning of the nneling, C 5, L 5 nd the system is fully chrcterized y the trnsverse terms, P N i~ D is x i. The ground stte of this is superposition of ll sttes in the s z sis. It is strightforwrd to initilize the system in this stte. During quntum nneling, the trnsverse term is grdully turned off (C R ) nd the weight of the Ising Hmiltonin, H P, is incresed (L R ) (Fig. 2). If this nneling is done slowly enough, the system should remin in the ground stte t ll times, thus ending up in the ground stte of H P (ref. 4). The ove description of quntum nneling is in the lnguge of n idel Ising spin system. Let us look more closely t wht this mens for n individul flux quit. During nneling, the energy rrier, du(t), etween the two wells is grdully rised (Fig. 2). If therml fluctutions re dominnt, then the quit dynmics my e viewed s therml ctivtion over the rrier with rte tht is proportionl to e {du=kbt t temperture T (k B, Boltzmnn s constnt). This suggests tht the dynmics stops when du?k B T. Becuse du is incresing with time, this freezing out hppens t t<tfreeze TA, where du(tta freeze )<k BT. Within the relevnt regime, du is nerly liner in time, therefore clssiclly we expect tfreeze TA to e linerly dependent on T. If, however, the dominnt fluctutions re quntum mechnicl, then the quit my tunnel etween the two wells, tht is, etween sttes j#æ nd j"æ. Rising the rrier, y incresing du, reduces this tunnelling until t some point it ecomes negligile. In this picture, we expect to find quntum freeze-out time, t QA freeze, tht is independent of (or t lest very wekly dependent on) T. By mesuring the T dependence of t freeze, the time t which the system cn no longer respond to chnges in its energy lndscpe, we cn determine whether clssicl therml ðþ Clssicl therml nneling Quntum nneling.5 c h d Γ t/t finl h t Erly t/t finl ctivtion or quntum tunnelling is the dominnt effect governing quit dynmics. Here we modify this nneling procedure to perform specilized experiment tht permits us to distinguish etween these two cses, y llowing the h i in eqution () to e time dependent. We mesure the step response of the system to rpid chnges in h (rpid y comprison with chnges in C nd L) t different stges during the nneling process. In this wy, we re le to mesure t freeze. By mesuring t freeze s function of T, we cn infer whether the system dynmics is dominted y therml or quntum fluctutions. We ruptly increse h from zero to level h t t dely time t d during nneling s shown in Fig. 2c, nd then mesure the proility of the spin eing in either configurtion t the end of nneling. If h is switched on very erly in the nneling process, while the rrier du is still smll in comprison with the therml or quntum trnsition Lte Λ. Erly Lte Figure 2 Quntum nneling., Anneling is performed y grdully rising the energy rrier etween sttes. In therml nneling, when the rrier ecomes much lrger thn k B T therml excittion over the rrier eventully ceses, t some time tfreeze TA. In quntum nneling, tunnelling etween sttes lso will eventully cese, t time t QA freeze., The vlue of the prmeters C nd L during nneling re not independent of ech other in the flux quit. The nneling ends t t finl 5 48 ms. c, Chnging the vlue of h(t) (see d) t vrious points during nneling cn e used to proe the freeze-out time, t freeze. d, Doule-well potentil during nneling. If h is turned on erly enough (lue line), the system follows the ground stte through nneling nd reches the finl ground stte of eqution () with high proility. If h(t) is turned on too lte (red line), the stte proilities re determined y the erlier Hmiltonin, for which h MAY 2 VOL 473 NATURE 95

3 RESEARCH LETTER energy scles, then the quit will quickly respond nd will e le to evolve into the lower energy well, such tht P ", the proility of the spin eing in stte j"æ, is greter thn /2. The vlue of P " will depend on oth h t nd T, s the system will strive to chieve Boltzmnn distriution of its popultion sttistics etween j#æ nd j"æ. However, if h is not turned on until fter the rrier hs een rised sufficiently high (t d. t freeze ), the system will not e le to follow it nd will e eqully likely to settle into either potentil energy well, such tht P " < /2. These two situtions re illustrted in Fig. 2d. For intermedite vlues of t d, the quit will only prtly succeed in responding to the sudden ppliction of the is h. Exmple plots of mesured P " vlues versus t d for single quit t different tempertures re shown in Fig. 3. In this cse, h t GHz nd D GHz. Experimentl prmeters controlling the nneling process re discussed in Supplementry Informtion. As expected, P " shows n initil (t d <) T dependence nd then converges to /2 t lte dely times. These curves were numericlly fitted to extrct t freeze, the time t the middle of this trnsition region, which in turn is plotted versus T in Fig. 3. The curve used for the fitting ws otined y numericl simultions of this P t freeze (μs) 5 mk 22 mk Erly P.9 9 mk Dely time (μs) Model Mesured Temperture (mk) 9 Quntum model 2-level Quntum model 4-level Clssicl model Mesurement Temperture (mk) Figure 3 Single-quit results., Mesured finl ground-stte proility, P ", in single quit versus the dely time, t d, of step h t GHz in energy is, for T 5 22 mk (lue), 5 mk (green) nd 9 mk (red). The solid lines re the result of fits used to extrct the freeze-out time, t freeze. Inset, mesured nd simulted (four-level quntum model) T dependence of P " for t d <., Mesured t freeze versus T (red points). We lso show simulted plots of t freeze from two-level (dshed lue) nd four-level (solid lue) quntum mechnicl models nd from clssicl model of the quit (lck). Error rs, s s.e. process using quntum mechnicl model s discussed in the Supplementry Informtion. In ddition to the experimentl results, in Fig. 3 we show the results of three different numericl simultions. In ll three cses, the model prmeters were independently mesured for the individul devices, leving no free prmeters. A simultion, sed on clssicl model, treted the flux in the two superconducting loops s the coordintes of discrete prticle inside the two-dimensionl flux quit potentil, nd then coupled tht prticle to therml th. The dynmics ws simulted y numericlly solving the Lngevin eqution, s descried in Supplementry Informtion. The clssiclly simulted t freeze vlue vries linerly with T, s expected. The other two simultions involved solving quntum mechnicl model of flux quit coupled to therml th in which only the two or, respectively, four lowest-lying energy levels of the flux quit were kept. The dynmics ws simulted y numericlly solving non-mrkovin density mtrix eqution of motion (Supplementry Informtion). These two models will e referred to here s the two-level nd four-level quntum models. The experimentl results clerly show sturtion of t freeze elow 45 mk, in greement with oth the two-level nd the four-level quntum models nd in disgreement with the clssicl model. The experimentl dt devite from the two-level model ove 45 mk, s the upper energy levels in the flux quit strt to ecome thermlly occupied. The fourlevel quntum model descries the ehviour of the system well up to 8 mk, where more energy levels strt to e occupied. The experimentl dt symptoticlly pproch the clssicl simultion results t higher tempertures. We propose tht if the quntum mechnicl modelling were extended y keeping even more energy levels, then it would reproduce the dt to ever higher tempertures. Both the mesured nd the simulted (four-level quntum model) T dependence of P " for t d < re shown in the inset of Fig. 3. Becuse this proility hs strong T dependence for t d, t freeze, its mesurement provides us with n independent check on the effective temperture of the spin system in this regime. Moreover, ecuse the proility does not sturte t 45 mk, where t freeze sturtes, it is cler indiction tht sturtion of t freeze is not result of sturtion of quit temperture. The key conclusion we drw from Fig. 3 is tht our quit dynmics is est chrcterized s eing quntum mechnicl in nture for T=8 mk. The system evolves to its ground stte through process of quntum nneling. But so fr we hve shown this only for n individul quit. It remins to e shown whether quntum nneling cn e performed on severl spins coupled together. To investigte this, we now configure our rry into chin of eight ferromgneticlly coupled rtificil spins (Fig. 4), with J i,i 52J for i 5, 2,, 7 long the chin nd J ij 5 otherwise. In our experiment, we used J GHz, which is ner the mximum ville for the couplers. The lowest-energy configurtions of this system correspond to the two ferromgnetic sttes j""""""""æ nd j########æ. Applying strong ut opposing ises, h B 562J, to the ends of the chin introduces frustrtion into the system, nd the lowest-energy configurtion will hve rek in the ferromgnetic order; this is known s domin wll (where the spins chnge direction). For exmple, we depict the stte j""""####æ in Fig. 4, for which the domin wll is the middle of the chin. In our step response experiment with the spins configured s chin, ll six spins internl to the chin egin nneling with h 5. In this sitution, it is energeticlly equivlent for the domin wll to e etween ny djcent pir of spins, nd ech such stte should occur with proility P 5 /7. If we leve h 5 for too long (t d?t freeze ), we expect to oserve this distriution of single-domin-wll sttes. At t 5 t d, we pply uniform is, h t 5.J, to the six intermedite spins. Now the ground stte is j"""""""#æ, with the domin wll t the righthnd end of Fig. 4. More system energy is required for the domin wll to occupy positions to the left in Fig. 4. If t d =t freeze, we should oserve stte j"""""""#æ occurring with proility P. /7. As in the single-quit cse, we mesure t freeze y finding the trnsition point 96 NATURE VOL MAY 2

4 RESEARCH +h B 2h t J Domin wll h t h B P mk 5 mk Erly P.6.4 Model Mesured Temperture (mk) 9 mk 2h t.2 Figure 4 Eight-quit ferromgnetic chin., Chin of eight ferromgneticlly coupled quits with uniform coupling coefficient J i,i 52J, fori 5, 2,, 7. The two end quits re ised in opposite directions with h B 562J,suchtht domin wll hs to form within the chin. All middle quits re ised with trget h t 5.J. The configurtion depicted is n excited stte. The fint grey rrows indicte the spin ises h i., Effective energy of the spin stte corresponding to there eing domin wll t ech position long the chin t finite h t. The ground stte is the rightmost site. etween these two stte distriutions (Fig. 5). As efore, we re le to determine the dominnt mechnism (therml or quntum nneling) y mesuring the T dependence of t freeze. A summry of the experimentl results for the eight-quit chin is shown in Fig. 5. As with the single-quit cse, the experimentlly determined t freeze vlues show sturtion t low T nd crossover to ner-liner T dependence for T>45 mk. In this cse, the clssicl model trets the fluxes of ll eight quits s coordintes of discrete prticle in sixteen-dimensionl potentil. The clssicl model does not cpture the ehviour oserved t low T. However, the quntum models quntittively gree with the experimentl results for T=5 mk. At higher tempertures, the clssicl model nd the four-level quntum model re oth in qulittive greement with the experimentl results. The sturtion of t freeze t low T for the single-spin nd eight-spin systems is cler signture of quntum nneling. It cnnot e explined y n experimentl filure to rech lower T, sp """""""#, for t d =t freeze, follows its expected temperture dependence t low T (Fig. 5, inset). Nor cn it e explined y clssicl therml ctivtion processes, ecuse for these lowering T would lwys decrese the rte of therml ctivtion. This mens tht, clssiclly, freeze-out should hppen erlier in the evolution, where the rrier is smller, tht is, sturtion is not possile. This qulittive rgument is independent of the detiled model used to descrie clssicl dynmics. The lowtemperture ehviour of t freeze in this system of eight coupled rtificil spins cnnot e explined y therml ctivtion ut is nturlly explined y quntum tunnelling. This mesurement nd its result re reminiscent of the T-dependent escpe rte mesurements in the pioneering works on mcroscopic quntum tunnelling 3,3, which demonstrted cler signture of quntum tunnelling in currentised Josephson junctions. This rings us to our min conclusion: progrmmle rtificil spin system mnufctured s n integrted circuit cn e used to implement quntum lgorithm. The experiments presented here constitute step etween understnding single-quit nneling nd understnding the multi-quit processes tht could e used to find low-energy configurtions in relistic ditic quntum processor. In ddition to its prolem-solving potentil, system such s this lso provides n interesting test ed for investigting the physics of intercting quntum spins, nd is n importnt step in n ongoing investigtion into much more complex spin systems relized using this type of rchitecture. Although our mnufctured spin system is not yet t freeze (μs) Dely time (μs) 9 Quntum model 2-level Quntum model 4-level Clssicl model Mesurement Temperture (mk) Figure 5 Results for the eight-quit ferromgnetic chin., Mesured finl ground-stte proility, P """""""#, in the eight-quit chin versus t d for h t 5.J nd T 5 22 mk (lue), 5 mk (green) nd 9 mk (red). The solid lines re the result of fits used to extrct the freeze-out time, t freeze. Inset, mesured nd simulted (four-level quntum model) T dependence of P """""""# for t d <., Mesured t freeze versus T (red points). We lso show simulted plots of t freeze from two-level (dshed lue) nd four-level (solid lue) quntum mechnicl models nd from clssicl model of the quits (lck). Error rs, s s.e. universl quntum computer 5, y dding new type of coupler etween the quits, universl quntum computtion would ecome possile 32. METHODS SUMMARY Smple friction. We fricted smples in four-nioium-lyer superconducting integrted circuit process using stndrd N/AlO x /N trilyer, TiPt resistor lyer nd plnrized SiO 2 dielectric lyers pplied y plsm-enhnced chemicl vpour deposition. Design rules included.25-mm lines nd spces for wiring lyers nd minimum junction dimeter of.6 mm. Circuit detils re discussed in ref. 3. Thermometry. We mesured the effective device temperture ttined during these experiments in two wys. The first is sed on nlysis of the single-quit mcroscopic resonnt tunnelling. The second is sed on mesurement of P " versus W x t equilirium nd t fixed rrier height. Both methods re descried in ref. 33 nd in Supplementry Informtion. Both mesurements generlly greed with the ruthenium oxide thermometer on the dilution refrigertor mixing chmer to within few millikelvin over the rnge of tempertures used in the experiment. Confirmtion of the thermometry comes from the greement etween the mesured T dependence of P : (t d =t freeze ) nd tht predicted y the four-level quntum model (insets of Fig. 3 nd Fig. 5). This is discussed further in Supplementry Informtion. 2 MAY 2 VOL 473 NATURE 97

5 RESEARCH LETTER Anneling. Anneling ws performed y sweeping W 2x (Fig. ) from.592w to.652w linerly over period of 48 ms, where W is the mgnetic flux quntum. These vlues rcket the point t which the quit ecomes istle. The devices used re those nlysed in ref. 4. (See Supplementry Informtion for more detils.) Received 3 June 2; ccepted 5 Mrch 2.. Brhon, F. On the computtionl complexity of Ising spin glss models. J. Phys. Mth. Gen. 5, (982). 2. Kdowki, T. & Nishimori, H. Quntum nneling in the trnsverse Ising model. Phys. Rev. E 58, (998). 3. Finnil, A. B., Gomez, M. A., Seenik, C., Stenson, C. & Doll, J. D. Quntum nneling: new method for minimizing multidimensionl functions. Chem. Phys. Lett. 29, (994). 4. Frhi, E. et l. A quntum ditic evolution lgorithm pplied to rndom instnces of n NP-complete prolem. Science 292, (2). 5. Hogg, T. Quntum serch heuristics. Phys. Rev. A 6, 523 (2). 6. Wernsdorfer, W. Moleculr nnomgnets: towrds moleculr spintronics. Int. J. Nnotechnol. 7, (2). 7. Crrett, S., Liviotti, E., Mgnni, N., Sntini, P. & Amoretti, G. Smixingnd quntum tunneling of the mgnetiztion in moleculr nnomgnets. Phys. Rev. Lett. 92, 2725 (24). 8. Cciuffo, R. et l. Spin dynmics of heterometllic Cr 7 M wheels (M 5 Mn, Zn, Ni) proed y inelstic neutron scttering. Phys. Rev. B 7, 7447 (25). 9. Guidi, T. et l. Inelstic neutron scttering study of the moleculr grid nnomgnet Mn-[3 3 3]. Phys. Rev. B 69, 4432 (24).. Wldmnn, O., Guidi, T., Crrett, S., Mondelli, C. & Derden, A. L. Elementry excittions in the cyclic moleculr nnomgnet Cr 8. Phys. Rev. Lett. 9, (23).. Brooke, J., Bitko, D., Rosenum, T. F. & Aeppli, G. Quntum nneling of disordered mgnet. Science 284, (999). 2. Ghosh, S. & Rosenum, T. F. Aeppli, G. & Coppersmith, S. N. Entngled quntum stte of mgnetic dipoles. Nture 425, 48 5 (23). 3. Hrris, R. et l. Experimentl demonstrtion of roust nd sclle flux quit. Phys. Rev. B 8, 345 (2). 4. Hrris, R. et l. Experimentl investigtion of n eight-quit unit cell in superconducting optimiztion processor. Phys. Rev. B 82, 245 (2). 5. Ahronov, D. et l. Aditic quntum computtion is equivlent to stndrd quntum computtion. SIAM J. Comput. 37, (27). 6. Hinton, G. E. & Slkhutdinov, R. R. Reducing the dimensionlity of dt with neurl networks. Science 33, (26). 7. Chen, X. & Tomp, M. Comprtive ssessment of methods for ligning multiple genome sequences. Nture Biotechnol. 28, (2). 8. Steffen, M., vn Dm, W., Hogg, T., Breyt, G. & Chung, I. Experimentl implementtion of n ditic quntum optimiztion lgorithm. Phys. Rev. Lett. 9, 6793 (23). 9. Kim, K. et l. Quntum simultion of frustrted Ising spins with trpped ions. Nture 465, (2). 2. Lupşcu, A. et l. Quntum non-demolition mesurement of superconducting two-level system. Nture Phys. 3, 9 25 (27). 2. Berns, D. M. et l. Amplitude spectroscopy of solid-stte rtificil tom. Nture 455, 5 58 (28). 22. Poletto, S. et l. Coherent oscilltions in superconducting tunle flux quit mnipulted without microwves. N. J. Phys., 39 (29). 23. DiCrlo, L. et l. Demonstrtion of two-quit lgorithms with superconducting quntum processor. Nture 46, (29). 24. Bennett, D. A. et l. Decoherence in rf SQUID quits. Quntum Inf. Process. 8, (29). 25. Yoshihr, F., Nkmur, Y. & Tsi, J. S. Correlted flux noise nd decoherence in two inductively coupled flux quits. Phys. Rev. B 8, 3252 (2). 26. Il ichev, E. et l. Multiphoton excittions nd inverse popultion in system of two flux quits. Phys. Rev. B 8, 256 (2). 27. Vion, D. et l. Mnipulting the quntum stte of n electricl circuit. Science 296, (22). 28. Burkrd, G., Koch, R. H. & DiVincenzo, D. P. Multilevel quntum description of decoherence in superconducting quits. Phys. Rev. B 69, 6453 (24). 29. Hrris, R. et l. Compound Josephson-junctioncoupler for fluxquitswith miniml crosstlk. Phys. Rev. B 8, 5256 (29). 3. Voss, R. F. & We, R. A. Mcroscopic quntum tunneling in -mm N Josephson junctions. Phys. Rev. Lett. 47, (98). 3. Devoret, M. H., Mrtinis, J. M. & Clrke, J. Mesurements of mcroscopic quntum tunneling out of the zero-voltge stte of current-ised josephson junction. Phys. Rev. Lett. 55, 98 9 (985). 32. Bimonte, J. D. & Love, P. J. Relizle Hmiltonins for universl ditic quntum computers. Phys. Rev. A 78, 2352 (28). 33. Hrris, R. et l. Proing noise in flux quits vi mcroscopic resonnt tunneling. Phys. Rev. Lett., 73 (28). Supplementry Informtion is linked to the online version of the pper t Acknowledgements We would like to thnk J. Preskill, A. Kitev, D. A. Lidr, F. Wilhelm, A. Lupşcu, A. Blis, T. A. Brun, P. Smith, F. Altomre, E. Hoskinson, T. Przyysz, T. Mhon nd R. Neufeld for discussions. We re grteful to the volunteers of the AQUA@home BOINC project for their help in running the clssicl simultions. Author Contriutions M.H.S.A. nd M.W.J. developed the ide for the experiment; M.W.J. conducted the experiment; T.L., R.H., M.W.J. nd J.W. conducted supporting experiments; M.H.S.A. developed the theory; N.D., F.H. nd M.H.S.A. developed simultion code; N.D., M.H.S.A., M.W.J., F.H. nd C.J.S.T. performed simultions nd nlysed results; M.W.J., M.H.S.A., S.G. nd R.H. wrote the rticle; M.W.J., S.G., M.H.S.A. nd N.D. generted the figures; A.J.B., R.H., J.J., M.W.J., T.L., I.P., E.M.C. nd B.W. developed mesurement lgorithms nd testing softwre; C.R., S.U. nd M.C.T. chieved the low-mgnetic-field environment for the device; C.E. nd C.R. mounted the smple, P.B., E.T., A.J.B., R.H., J.J., M.W.J. nd T.L. designed the devices; E.L., N.L. ndt.o. fricted the devices; M.C.T. nd S.U. developed the testing pprtus; K.K. llowed use of BOINC for clssicl simultions; J.P.H. nd G.R. provided logisticl support; nd J.P.H. selected the chip. Author Informtion Reprints nd permissions informtion is ville t The uthors declre competing finncil interests: detils ccompny the full-text HTML version of the pper t Reders re welcome to comment on the online version of this rticle t Correspondence nd requests for mterils should e ddressed to M.W.J. (mwjohnson@dwvesys.com). 98 NATURE VOL MAY 2

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

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

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

Session 13

Session 13 780.20 Session 3 (lst revised: Februry 25, 202) 3 3. 780.20 Session 3. Follow-ups to Session 2 Histogrms of Uniform Rndom Number Distributions. Here is typicl figure you might get when histogrmming uniform

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

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

1B40 Practical Skills

1B40 Practical Skills B40 Prcticl Skills Comining uncertinties from severl quntities error propgtion We usully encounter situtions where the result of n experiment is given in terms of two (or more) quntities. We then need

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

The Minimum Label Spanning Tree Problem: Illustrating the Utility of Genetic Algorithms

The Minimum Label Spanning Tree Problem: Illustrating the Utility of Genetic Algorithms The Minimum Lel Spnning Tree Prolem: Illustrting the Utility of Genetic Algorithms Yupei Xiong, Univ. of Mrylnd Bruce Golden, Univ. of Mrylnd Edwrd Wsil, Americn Univ. Presented t BAE Systems Distinguished

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

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

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

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

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

Nondeterminism and Nodeterministic Automata

Nondeterminism and Nodeterministic Automata Nondeterminism nd Nodeterministic Automt 61 Nondeterminism nd Nondeterministic Automt The computtionl mchine models tht we lerned in the clss re deterministic in the sense tht the next move is uniquely

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

SOUND INTENSITY PROBE CALIBRATOR FOR FIELD USE: CALCULATING THE SOUND FIELD IN THE CALIBRATOR USING BOUNDARY ELEMENT MODELLING

SOUND INTENSITY PROBE CALIBRATOR FOR FIELD USE: CALCULATING THE SOUND FIELD IN THE CALIBRATOR USING BOUNDARY ELEMENT MODELLING Pge 1 of 1 SOUND INTENSITY PROBE CALIBRATOR FOR FIELD USE: CALCULATING THE SOUND FIELD IN THE CALIBRATOR USING BOUNDARY ELEMENT MODELLING PACS REFERENCE: 43.58 Fm Ginn, Bernrd; Olsen,Erling; Cutnd,Vicente;

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

CMPSCI 250: Introduction to Computation. Lecture #31: What DFA s Can and Can t Do David Mix Barrington 9 April 2014

CMPSCI 250: Introduction to Computation. Lecture #31: What DFA s Can and Can t Do David Mix Barrington 9 April 2014 CMPSCI 250: Introduction to Computtion Lecture #31: Wht DFA s Cn nd Cn t Do Dvid Mix Brrington 9 April 2014 Wht DFA s Cn nd Cn t Do Deterministic Finite Automt Forml Definition of DFA s Exmples of DFA

More information

CS415 Compilers. Lexical Analysis and. These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University

CS415 Compilers. Lexical Analysis and. These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University CS415 Compilers Lexicl Anlysis nd These slides re sed on slides copyrighted y Keith Cooper, Ken Kennedy & Lind Torczon t Rice University First Progrmming Project Instruction Scheduling Project hs een posted

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

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

221B Lecture Notes WKB Method

221B Lecture Notes WKB Method Clssicl Limit B Lecture Notes WKB Method Hmilton Jcobi Eqution We strt from the Schrödinger eqution for single prticle in potentil i h t ψ x, t = [ ] h m + V x ψ x, t. We cn rewrite this eqution by using

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

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

Classical Mechanics. From Molecular to Con/nuum Physics I WS 11/12 Emiliano Ippoli/ October, 2011

Classical Mechanics. From Molecular to Con/nuum Physics I WS 11/12 Emiliano Ippoli/ October, 2011 Clssicl Mechnics From Moleculr to Con/nuum Physics I WS 11/12 Emilino Ippoli/ October, 2011 Wednesdy, October 12, 2011 Review Mthemtics... Physics Bsic thermodynmics Temperture, idel gs, kinetic gs theory,

More information

Formal Languages and Automata

Formal Languages and Automata Moile Computing nd Softwre Engineering p. 1/5 Forml Lnguges nd Automt Chpter 2 Finite Automt Chun-Ming Liu cmliu@csie.ntut.edu.tw Deprtment of Computer Science nd Informtion Engineering Ntionl Tipei University

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

Lecture 09: Myhill-Nerode Theorem

Lecture 09: Myhill-Nerode Theorem CS 373: Theory of Computtion Mdhusudn Prthsrthy Lecture 09: Myhill-Nerode Theorem 16 Ferury 2010 In this lecture, we will see tht every lnguge hs unique miniml DFA We will see this fct from two perspectives

More information

Math 8 Winter 2015 Applications of Integration

Math 8 Winter 2015 Applications of Integration Mth 8 Winter 205 Applictions of Integrtion Here re few importnt pplictions of integrtion. The pplictions you my see on n exm in this course include only the Net Chnge Theorem (which is relly just the Fundmentl

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

Assignment 1 Automata, Languages, and Computability. 1 Finite State Automata and Regular Languages

Assignment 1 Automata, Languages, and Computability. 1 Finite State Automata and Regular Languages Deprtment of Computer Science, Austrlin Ntionl University COMP2600 Forml Methods for Softwre Engineering Semester 2, 206 Assignment Automt, Lnguges, nd Computility Smple Solutions Finite Stte Automt nd

More information

CSCI 340: Computational Models. Transition Graphs. Department of Computer Science

CSCI 340: Computational Models. Transition Graphs. Department of Computer Science CSCI 340: Computtionl Models Trnsition Grphs Chpter 6 Deprtment of Computer Science Relxing Restrints on Inputs We cn uild n FA tht ccepts only the word! 5 sttes ecuse n FA cn only process one letter t

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

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

Monte Carlo method in solving numerical integration and differential equation

Monte Carlo method in solving numerical integration and differential equation Monte Crlo method in solving numericl integrtion nd differentil eqution Ye Jin Chemistry Deprtment Duke University yj66@duke.edu Abstrct: Monte Crlo method is commonly used in rel physics problem. The

More information

On the Uncertainty of Sensors Based on Magnetic Effects. E. Hristoforou, E. Kayafas, A. Ktena, DM Kepaptsoglou

On the Uncertainty of Sensors Based on Magnetic Effects. E. Hristoforou, E. Kayafas, A. Ktena, DM Kepaptsoglou On the Uncertinty of Sensors Bsed on Mgnetic Effects E. ristoforou, E. Kyfs, A. Kten, DM Kepptsoglou Ntionl Technicl University of Athens, Zogrfou Cmpus, Athens 1578, Greece Tel: +3177178, Fx: +3177119,

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

Minimal DFA. minimal DFA for L starting from any other

Minimal DFA. minimal DFA for L starting from any other Miniml DFA Among the mny DFAs ccepting the sme regulr lnguge L, there is exctly one (up to renming of sttes) which hs the smllest possile numer of sttes. Moreover, it is possile to otin tht miniml DFA

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

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

Summarizing Remarks λ λ λ. : equilibrium geometry

Summarizing Remarks λ λ λ. : equilibrium geometry 112 Summrizing Remrks... 112 Summrizing Remrks The theory underlying chemicl processes, in prticulr chemicl equilibrium is mture science. The bsis of the edifice is Quntum Mechnics! For prticulr volume

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

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

CS 275 Automata and Formal Language Theory

CS 275 Automata and Formal Language Theory CS 275 utomt nd Forml Lnguge Theory Course Notes Prt II: The Recognition Prolem (II) Chpter II.5.: Properties of Context Free Grmmrs (14) nton Setzer (Bsed on ook drft y J. V. Tucker nd K. Stephenson)

More information

Math 31S. Rumbos Fall Solutions to Assignment #16

Math 31S. Rumbos Fall Solutions to Assignment #16 Mth 31S. Rumbos Fll 2016 1 Solutions to Assignment #16 1. Logistic Growth 1. Suppose tht the growth of certin niml popultion is governed by the differentil eqution 1000 dn N dt = 100 N, (1) where N(t)

More information

Homework 3 Solutions

Homework 3 Solutions CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 3 Solutions 1. Give NFAs with the specified numer of sttes recognizing ech of the following lnguges. In ll cses, the lphet is Σ = {,1}.

More information

THE INTERVAL LATTICE BOLTZMANN METHOD FOR TRANSIENT HEAT TRANSFER IN A SILICON THIN FILM

THE INTERVAL LATTICE BOLTZMANN METHOD FOR TRANSIENT HEAT TRANSFER IN A SILICON THIN FILM ROMAI J., v.9, no.2(2013), 173 179 THE INTERVAL LATTICE BOLTZMANN METHOD FOR TRANSIENT HEAT TRANSFER IN A SILICON THIN FILM Alicj Piseck-Belkhyt, Ann Korczk Institute of Computtionl Mechnics nd Engineering,

More information

DIRECT CURRENT CIRCUITS

DIRECT CURRENT CIRCUITS DRECT CURRENT CUTS ELECTRC POWER Consider the circuit shown in the Figure where bttery is connected to resistor R. A positive chrge dq will gin potentil energy s it moves from point to point b through

More information

potentials A z, F z TE z Modes We use the e j z z =0 we can simply say that the x dependence of E y (1)

potentials A z, F z TE z Modes We use the e j z z =0 we can simply say that the x dependence of E y (1) 3e. Introduction Lecture 3e Rectngulr wveguide So fr in rectngulr coordintes we hve delt with plne wves propgting in simple nd inhomogeneous medi. The power density of plne wve extends over ll spce. Therefore

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

Homework Solution - Set 5 Due: Friday 10/03/08

Homework Solution - Set 5 Due: Friday 10/03/08 CE 96 Introduction to the Theory of Computtion ll 2008 Homework olution - et 5 Due: ridy 10/0/08 1. Textook, Pge 86, Exercise 1.21. () 1 2 Add new strt stte nd finl stte. Mke originl finl stte non-finl.

More information

Energy (kcal mol -1 ) Force (kcal mol -1 Å -1 ) Pore axis (Å) Mixed Mo-only S-only Graphene

Energy (kcal mol -1 ) Force (kcal mol -1 Å -1 ) Pore axis (Å) Mixed Mo-only S-only Graphene Force (kcl mol -1 Å -1 ) Energy (kcl mol -1 ) 3 1-1 - -3 Mixed Mo-only S-only Grphene 6 5 3 1 Mixed Mo-only S-only Grphene - -1-1 1 Pore xis (Å) -1 1 Pore xis (Å) Supplementry Figure 1 Energy Brriers.

More information

#6A&B Magnetic Field Mapping

#6A&B Magnetic Field Mapping #6A& Mgnetic Field Mpping Gol y performing this lb experiment, you will: 1. use mgnetic field mesurement technique bsed on Frdy s Lw (see the previous experiment),. study the mgnetic fields generted by

More information

Describe in words how you interpret this quantity. Precisely what information do you get from x?

Describe in words how you interpret this quantity. Precisely what information do you get from x? WAVE FUNCTIONS AND PROBABILITY 1 I: Thinking out the wve function In quntum mechnics, the term wve function usully refers to solution to the Schrödinger eqution, Ψ(x, t) i = 2 2 Ψ(x, t) + V (x)ψ(x, t),

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

3 Regular expressions

3 Regular expressions 3 Regulr expressions Given n lphet Σ lnguge is set of words L Σ. So fr we were le to descrie lnguges either y using set theory (i.e. enumertion or comprehension) or y n utomton. In this section we shll

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

CS 311 Homework 3 due 16:30, Thursday, 14 th October 2010

CS 311 Homework 3 due 16:30, Thursday, 14 th October 2010 CS 311 Homework 3 due 16:30, Thursdy, 14 th Octoer 2010 Homework must e sumitted on pper, in clss. Question 1. [15 pts.; 5 pts. ech] Drw stte digrms for NFAs recognizing the following lnguges:. L = {w

More information

Chapter Five: Nondeterministic Finite Automata. Formal Language, chapter 5, slide 1

Chapter Five: Nondeterministic Finite Automata. Formal Language, chapter 5, slide 1 Chpter Five: Nondeterministic Finite Automt Forml Lnguge, chpter 5, slide 1 1 A DFA hs exctly one trnsition from every stte on every symol in the lphet. By relxing this requirement we get relted ut more

More information

Electrically Tunable g Factors in Quantum Dot Molecular Spin States

Electrically Tunable g Factors in Quantum Dot Molecular Spin States Electriclly Tunle g ctors in Quntum Dot Moleculr Spin Sttes M.. Doty,, * M. Scheiner, I. V. Ponomrev, E. A. Stinff, A. S. Brcker, V. L. Korenev, 2 T. L. Reinecke, nd D. Gmmon Nvl Reserch Lortory, Wshington,

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

Physics 201 Lab 3: Measurement of Earth s local gravitational field I Data Acquisition and Preliminary Analysis Dr. Timothy C. Black Summer I, 2018

Physics 201 Lab 3: Measurement of Earth s local gravitational field I Data Acquisition and Preliminary Analysis Dr. Timothy C. Black Summer I, 2018 Physics 201 Lb 3: Mesurement of Erth s locl grvittionl field I Dt Acquisition nd Preliminry Anlysis Dr. Timothy C. Blck Summer I, 2018 Theoreticl Discussion Grvity is one of the four known fundmentl forces.

More information

AUTOMATA AND LANGUAGES. Definition 1.5: Finite Automaton

AUTOMATA AND LANGUAGES. Definition 1.5: Finite Automaton 25. Finite Automt AUTOMATA AND LANGUAGES A system of computtion tht only hs finite numer of possile sttes cn e modeled using finite utomton A finite utomton is often illustrted s stte digrm d d d. d q

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

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

Rates of chemical reactions

Rates of chemical reactions Rtes of chemicl rections Mesuring rtes of chemicl rections Experimentl mesuring progress of the rection Monitoring pressure in the rection involving gses 2 NO( g) 4 NO ( g) + O ( g) 2 5 2 2 n(1 α) 2αn

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

4.1. Probability Density Functions

4.1. Probability Density Functions STT 1 4.1-4. 4.1. Proility Density Functions Ojectives. Continuous rndom vrile - vers - discrete rndom vrile. Proility density function. Uniform distriution nd its properties. Expected vlue nd vrince of

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

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

Topics Covered AP Calculus AB

Topics Covered AP Calculus AB Topics Covered AP Clculus AB ) Elementry Functions ) Properties of Functions i) A function f is defined s set of ll ordered pirs (, y), such tht for ech element, there corresponds ectly one element y.

More information

List all of the possible rational roots of each equation. Then find all solutions (both real and imaginary) of the equation. 1.

List all of the possible rational roots of each equation. Then find all solutions (both real and imaginary) of the equation. 1. Mth Anlysis CP WS 4.X- Section 4.-4.4 Review Complete ech question without the use of grphing clcultor.. Compre the mening of the words: roots, zeros nd fctors.. Determine whether - is root of 0. Show

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

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

Physics 202, Lecture 14

Physics 202, Lecture 14 Physics 202, Lecture 14 Tody s Topics Sources of the Mgnetic Field (Ch. 28) Biot-Svrt Lw Ampere s Lw Mgnetism in Mtter Mxwell s Equtions Homework #7: due Tues 3/11 t 11 PM (4th problem optionl) Mgnetic

More information

221A Lecture Notes WKB Method

221A Lecture Notes WKB Method A Lecture Notes WKB Method Hmilton Jcobi Eqution We strt from the Schrödinger eqution for single prticle in potentil i h t ψ x, t = [ ] h m + V x ψ x, t. We cn rewrite this eqution by using ψ x, t = e

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

Finite Automata-cont d

Finite Automata-cont d Automt Theory nd Forml Lnguges Professor Leslie Lnder Lecture # 6 Finite Automt-cont d The Pumping Lemm WEB SITE: http://ingwe.inghmton.edu/ ~lnder/cs573.html Septemer 18, 2000 Exmple 1 Consider L = {ww

More information

Name Ima Sample ASU ID

Name Ima Sample ASU ID Nme Im Smple ASU ID 2468024680 CSE 355 Test 1, Fll 2016 30 Septemer 2016, 8:35-9:25.m., LSA 191 Regrding of Midterms If you elieve tht your grde hs not een dded up correctly, return the entire pper to

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

Factors affecting the phonation threshold pressure and frequency

Factors affecting the phonation threshold pressure and frequency 3SC Fctors ffecting the phontion threshold pressure nd frequency Zhoyn Zhng School of Medicine, University of Cliforni Los Angeles, CA, USA My, 9 57 th ASA Meeting, Portlnd, Oregon Acknowledgment: Reserch

More information

LAMEPS Limited area ensemble forecasting in Norway, using targeted EPS

LAMEPS Limited area ensemble forecasting in Norway, using targeted EPS Limited re ensemle forecsting in Norwy, using trgeted Mrit H. Jensen, Inger-Lise Frogner* nd Ole Vignes, Norwegin Meteorologicl Institute, (*held the presenttion) At the Norwegin Meteorologicl Institute

More information

5.7 Improper Integrals

5.7 Improper Integrals 458 pplictions of definite integrls 5.7 Improper Integrls In Section 5.4, we computed the work required to lift pylod of mss m from the surfce of moon of mss nd rdius R to height H bove the surfce of the

More information

Flexible Beam. Objectives

Flexible Beam. Objectives Flexile Bem Ojectives The ojective of this l is to lern out the chllenges posed y resonnces in feedck systems. An intuitive understnding will e gined through the mnul control of flexile em resemling lrge

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

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

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

Tunneling out of metastable vacuum in a system consisting of two capacitively coupled phase qubits

Tunneling out of metastable vacuum in a system consisting of two capacitively coupled phase qubits PHYSICAL REVIEW B 73, 064509 006 Tunneling out of metstble vcuum in system consisting of two cpcitively coupled phse qubits Andrei Gliutdinov Brenu University, Ginesville, Georgi 30501, USA Received 3

More information

Module 6: LINEAR TRANSFORMATIONS

Module 6: LINEAR TRANSFORMATIONS Module 6: LINEAR TRANSFORMATIONS. Trnsformtions nd mtrices Trnsformtions re generliztions of functions. A vector x in some set S n is mpped into m nother vector y T( x). A trnsformtion is liner if, for

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

Designing Information Devices and Systems I Anant Sahai, Ali Niknejad. This homework is due October 19, 2015, at Noon.

Designing Information Devices and Systems I Anant Sahai, Ali Niknejad. This homework is due October 19, 2015, at Noon. EECS 16A Designing Informtion Devices nd Systems I Fll 2015 Annt Shi, Ali Niknejd Homework 7 This homework is due Octoer 19, 2015, t Noon. 1. Circuits with cpcitors nd resistors () Find the voltges cross

More information

Designing Information Devices and Systems I Fall 2016 Babak Ayazifar, Vladimir Stojanovic Homework 6. This homework is due October 11, 2016, at Noon.

Designing Information Devices and Systems I Fall 2016 Babak Ayazifar, Vladimir Stojanovic Homework 6. This homework is due October 11, 2016, at Noon. EECS 16A Designing Informtion Devices nd Systems I Fll 2016 Bk Ayzifr, Vldimir Stojnovic Homework 6 This homework is due Octoer 11, 2016, t Noon. 1. Homework process nd study group Who else did you work

More information

The Active Universe. 1 Active Motion

The Active Universe. 1 Active Motion The Active Universe Alexnder Glück, Helmuth Hüffel, Sš Ilijić, Gerld Kelnhofer Fculty of Physics, University of Vienn helmuth.hueffel@univie.c.t Deprtment of Physics, FER, University of Zgreb ss.ilijic@fer.hr

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

CHAPTER 20: Second Law of Thermodynamics

CHAPTER 20: Second Law of Thermodynamics CHAER 0: Second Lw of hermodynmics Responses to Questions 3. kg of liquid iron will hve greter entropy, since it is less ordered thn solid iron nd its molecules hve more therml motion. In ddition, het

More information

5.04 Principles of Inorganic Chemistry II

5.04 Principles of Inorganic Chemistry II MIT OpenCourseWre http://ocw.mit.edu 5.04 Principles of Inorgnic Chemistry II Fll 2008 For informtion bout citing these mterils or our Terms of Use, visit: http://ocw.mit.edu/terms. 5.04, Principles of

More information

19 Optimal behavior: Game theory

19 Optimal behavior: Game theory Intro. to Artificil Intelligence: Dle Schuurmns, Relu Ptrscu 1 19 Optiml behvior: Gme theory Adversril stte dynmics hve to ccount for worst cse Compute policy π : S A tht mximizes minimum rewrd Let S (,

More information

Hybrid Control and Switched Systems. Lecture #2 How to describe a hybrid system? Formal models for hybrid system

Hybrid Control and Switched Systems. Lecture #2 How to describe a hybrid system? Formal models for hybrid system Hyrid Control nd Switched Systems Lecture #2 How to descrie hyrid system? Forml models for hyrid system João P. Hespnh University of Cliforni t Snt Brr Summry. Forml models for hyrid systems: Finite utomt

More information

A study of Pythagoras Theorem

A study of Pythagoras Theorem CHAPTER 19 A study of Pythgors Theorem Reson is immortl, ll else mortl. Pythgors, Diogenes Lertius (Lives of Eminent Philosophers) Pythgors Theorem is proly the est-known mthemticl theorem. Even most nonmthemticins

More information