11.3. DIAGRAMMATIC PERTURBATION THEORY

Size: px
Start display at page:

Download "11.3. DIAGRAMMATIC PERTURBATION THEORY"

Transcription

1 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p DIAGRAMMATIC PERTURBATION THEORY In prctice, the nonliner response functions s written ove provide little insight into wht the moleculr origin of prticulr nonliner signls is. These multiply nested terms re difficult to understnd when fced the numerous light-mtter interctions, which cn tke on huge rnge of permuttions when performing experiments on system with multiple quntum sttes. The different terms in the response function cn led to n rry of different nonliner signls tht vry not only microscopiclly y the time-evolution of the moleculr system, ut lso differ mcroscopiclly in terms of the frequency nd wvevector of the emitted rdition. Digrmmtic perturtion theory (DPT) is simplified wy of keeping trck of the contriutions to prticulr nonliner signl given prticulr set of sttes in H 0 tht re proed in n experiment. It uses series of simple digrms to represent the evolution of the density mtrix for H 0, showing repeted interction of ρ with the fields followed y time-propgtion under H 0. From prcticl sense, DPT llows us to interpret the microscopic origin of signl with prticulr frequency nd wvevector of detection, given the specifics of the quntum system we re studying nd the detils of the incident rdition. It provides shorthnd form of the correltion functions contriuting to prticulr nonliner signl, which cn e used to understnd the microscopic informtion content of prticulr experiments. It is lso ookkeeping method tht llows us to keep trck of the contriutions of the incident fields to the frequency nd wvevector of the nonliner polriztion. There re two types of digrms we will discuss, Feynmn nd ldder digrms, ech of which hs certin dvntges nd disdvntges. For oth types of digrms, the first step in drwing digrm is to identify the sttes of H 0 tht will e interrogted y the light-fields. The digrms show n explicit series of sorption or stimulted emission events induced y the incident fields which pper s ction of the dipole opertor on the r or ket side of the density mtrix. They lso symolize the coherence or popultion stte in which the density mtrix evolves during given time intervl. The trce tken t the end following the ction of the finl dipole opertor, i.e. the signl emission, is represented y finl wvy line connecting dipole coupled sttes.

2 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. -6 Feynmn Digrms Feynmn digrms re the esiest wy of trcking the stte of coherences in different time periods, nd for noting sorption nd emission events.. Doule line represents ket nd r side of ρ.. Time-evolution is upwrd. 3. Lines intersecting digrm represent field interction. Asorption is designted through n inwrd pointing rrow. Emission is n outwrd pointing rrow. Action on the left line is ction on the ket, wheres the right line is r.. System evolves freely under H 0 etween interctions, nd density mtrix element for tht period is often explicitly written. Ldder Digrms Ldder digrms re helpful for descriing experiments on multistte systems nd/or with multiple frequencies; however, it is difficult to immeditely see the stte of the system during given time intervl. They nturlly lend themselves to description of interctions in terms of the eigensttes of H 0.. Multiple sttes rrnged verticlly y energy.. Time propgtes to right. 3. Arrows connecting levels indicte resonnt interctions. Asorption is n upwrd rrow nd emission is downwrd. A solid line is used to indicte ction on the ket, wheres dotted line is ction on the r.. Free propgtion under H 0 etween interctions, ut the stte of the density mtrix is not lwys ovious.

3 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. -7 For ech light-mtter interctions represented in digrm, there is n understnding of how this ction contriutes to the response function nd the finl nonliner polriztion stte. Ech light-mtter interction cts on one side of ρ, either through sorption or stimulted emission. Ech interction dds dipole mtrix element ij tht descries the interction mplitude nd ny orienttionl effects. Ech interction dds input electric field fctors to the polriztion, which re used to descrie the frequency nd wvevector of the rdited signl. The ction of the finl dipole opertor must return you to digonl element to contriute to the signl. Rememer tht ction on the r is the complex conjugte of ket nd sorption is complex conjugte of stimulted emission. A tle summrizing these interctions contriuting to digrm is elow. Interction Digrmmtic Representtion contri. to ( n) R contriution to k & sig ωsig KET SIDE Asorption ( En )exp ikn r iωnt E n ε ˆ n + k n +ω n Stimulted Emission ( ) E exp ik r + iω t n n n E n ε ˆ n k n ω n BRA SIDE Asorption ( En ) exp ikn r + iωnt E n ε ˆ n k n ω n Stimulted Emission ( En ) exp ikn r iωnt E n ε ˆ n + k n +ω n SIGNAL EMISSION: (Finl trce, convention: ket side) ˆ n ε

4 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. -8 Once you hve written down the relevnt digrms, eing creful to identify ll permuttions of interctions of your system sttes with the fields relevnt to your signl, the correltion functions contriuting to the mteril response nd the frequency nd wvevector of the signl field cn e redily otined. It is convenient to write the correltion function s product of severl fctors for ech event during the series of interctions: ) Strt with fctor p n signifying the proility of occupying the initil stte, typiclly Boltzmnn fctor. ) Red off products of trnsition dipole moments for interctions with the incident fields, nd for the finl signl emission. 3) Multiply y terms tht descrie the propgtion under H 0 etween interctions. As strting point for understnding n experiment, it is vlule to include the effects of relxtion of the system eigensttes in the time-evolution using simple phenomenologicl pproch. Coherences nd popultions re propgted y ssigning the dmping constnt Note Γ to propgtion of the ρ element: Gˆ τ ρ = exp iω τ Γ τ ρ. () ( ) [ ] Γ =Γ nd G = G. We cn then recognize Γ ii = T s the popultion relxtion rte for stte i nd Γ ij = T the dephsing rte for the coherence ρ ij. ) Multiply y fctor of ( ) n where n is the numer of r side interctions. This fctor ccounts for the fct tht in evluting the nested commuttor, some correltion functions re sutrcted from others. 5) The rdited signl will hve frequency ωsig = ωi nd wve vector ksig = ki i i Exmple: Liner Response for Two-Level System Let s consider the digrmmtic pproch to the liner sorption prolem, using two-level system with lower level nd upper level. There is only one independent correltion function in the liner response function,

5 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. -9 ( ) ( ) ( 0) C t Tr t ρ = eq () = Tr Gˆ t ρ eq This does not need to e known efore strting, ut is useful to consider, since it should e recovered in the end. The system will e tken to strt in the ground stte ρ. Liner response only llows for one input field interction, which must e sorption, nd which we tke to e ket side interction. We cn now drw two digrms: () () Act on ket with nd tke trce. (3) Propgte under H 0 : i Γ ( τ ) G e ω τ τ =. () Act on ket with (0) to crete ρ. () Strt in ρ (dd fctor of p when reding). With this digrm, we cn egin y descriing the signl chrcteristics in terms of the induced polriztion. The product of incident fields indictes: E () i t ik i r sigt iksig r e ω + P t e ω + (3) so tht ω = ω k = k. () sig As expected the signl will rdite with the sme frequency nd in the sme direction s the incoming em. Next we cn write down the correltion function for this term. Working from ottom up: () () (3) () sig iωt Γt () = [ ] [ ] C t p e = p e iωt Γt More sophisticted wys of treting the time-evolution under H 0 in step (3) could tke the form of some of our erlier tretments of the sorption lineshpe: (5)

6 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. -0 ( τ ) ρ ρ [ ωτ] ( τ) = ρ exp iω τ g() t Gˆ ~ exp i F Note tht one could drw four possile permuttions of the liner digrm when considering r nd ket side interctions, nd initil popultion in sttes nd : (6) However, there is no new dynmicl content in these extr digrms, nd they re generlly tken to e understood through one digrm. Digrm ii is just the complex conjugte of eq. (5) so dding this signl contriution gives: () () Γ t C t C t i p ωt e = sin( ). (7) Accounting for the thermlly excited popultion initilly in leds to the expected two-level system response function tht depends on the popultion difference h () = ( ) Γt R t p p sin( ωte ). (8) Exmple: Second-Order Response for Three-Level System The second-order response is the simplest nonliner cse, ut in moleculr spectroscopy is less commonly used thn third-order mesurements. The signl genertion requires lck of inversion symmetry, which mkes it useful for studies of interfces nd chirl systems. However, let s show how one would digrmmticlly evlute the second order response for very specific system pictured t right. If we only hve popultion in the ground stte t equilirium nd if there re only resonnt interctions llowed, the permuttions of unique digrms re s follows:

7 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. - From the frequency conservtion conditions, it should e cler tht process i is sum-frequency signl for the incident fields, wheres digrms ii-iv refer to difference frequency schemes. To etter interpret wht these digrms refer to let s look t iii. Reding in time-ordered mnner, we cn write the correltion function corresponding to this digrm s C Tr τ ( ) ρeq( 0) ( ) Gˆ ( ) Gˆ ( ) = = τ τ ρ c c c iωτ Γτ iωcτ Γcτ cc = p e e. (9) Note tht literl interprettion of the finl trce in digrm iv would imply n sorption event n upwrd trnsition from to c. Wht does this hve to do with rditing signl? On the one hnd it is importnt to rememer tht digrm is just mthemticl shorthnd, nd tht one cn t distinguish sorption nd emission in the finl ction of the dipole opertor prior to tking trce. The other thing to rememer is tht such digrm lwys hs complex conjugte ssocited with it in the response function. The complex conjugte of iv, Q ket/r term, shown t right hs downwrd trnsition emission s the finl interction. The comintion Q Q ultimtely descries the oservle.

8 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. - Now, consider the wvevector mtching conditions for the second order signl iii. Rememering tht the mgnitude of the wvevector is k = ω c= π λ, the length of the vectors will e scled y the resonnce frequencies. When the two incident fields re crossed s slight ngle, the signl would e phse-mtched such tht the signl is rdited closest to em. Note tht the most efficient wvevector mtching here would e when fields nd re colliner.

9 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. -3 Third-Order Nonliner Spectroscopy Now let s look t exmples of digrmmtic perturtion theory pplied to third-order nonliner spectroscopy. Third-order nonlinerities descrie the mjority of coherent nonliner experiments tht re used including pump-proe experiments, trnsient grtings, photon echoes, coherent nti-stokes Rmn spectroscopy (CARS), nd degenerte four wve mixing (WM). These experiments re descried y some or ll of the eight correltion functions contriuting to 3 3 i = α α h α = ( 3) R : ( ) R R R (0) The digrms nd corresponding response first requires tht we specify the system eigensttes. The simplest cse, which llows us discuss numer of exmples of third-order spectroscopy is two-level system. Let s write out the digrms nd correltion functions for two-level system strting in ρ, where the dipole opertor couples nd. R R R3 R ket/ket/ket r/ket/r r/r/ket ket/r/r τ 3 E 3 E τ τ E + ω ω + ω3 ω+ ω + ω3 ω+ ω + ω3 + ω ω + ω3 ksig =+ k k + k3 k+ k + k3 k+ k + k3 + k k + k3

10 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. - As n exmple, let s write out the correltion function for R otined from the digrm ove. This term is importnt for understnding photon echo experiments nd contriutes to pump-proe nd degenerte four-wve mixing experiments. iωτ Γτ i Γτ iω ( ) ( ) τ3 Γτ3 ( ) ( )( ) e ( ) R = p e e ω τ = p exp iω ( τ3 τ) Γ ( τ+ τ3) Γ ( τ) The digrms show how the input field contriutions dictte the signl field frequency nd wvevector. Recognizing the dependence of product of the incident field contriutions ( 3) ( 3) ( ) 3 () E ~ P ~ R E E E, these re otined from the sig + iωt ik r iωt+ ik r + iω3t ik3 r3 ( e )( e )( e ) EEE = E E E 3 3 EE Ee 3 ωsigt+ iksig r sig 3 () ωsig = ω+ ω + ω3. (3) k = k + k + k Now, let s compre this to the response otined from R. These we otin ( ) ( ) ( ) = exp ω τ3 + τ Γ τ+ τ3 Γ τ R p i () ω = + ω ω + ω sig 3 k =+ k k + k sig 3 Note tht R nd R terms re identicl, except for the phse cquired during the initil period: [ iφ ] [ iω τ ] exp exp = ±. The (5) R term evolves in conjugte coherences during the τ nd τ 3 periods, wheres the R term evolves in the sme coherence stte during oth periods: Coherences in τ nd τ 3 Phse cquired in τ nd τ 3 R i ( + 3) e ω τ τ R i ( 3) e ω τ τ The R term hs the property of time-reversl: the phse cquired during τ is reversed in τ 3. For tht reson the term is clled rephsing. Rephsing signls re selected in photon echo experiments nd re used to distinguish line rodening mechnisms nd study spectrl diffusion. For R, the phse cquired continuously in τ nd τ 3, nd this term is clled non-

11 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. -5 rephsing. Anlysis of R nd R 3 revels tht these terms re non-rephsing nd rephsing, respectively. phse cquired φ 0 e ω τ e ω τ i 3 i i 3 e + ω τ τ τ 3 non-rephsing rephsing P() t t t 3 t t For the present cse of third-order spectroscopy pplied to two-level system, we oserve tht the two rephsing functions R nd R 3 hve the sme emission frequency nd wvevector, nd would therefore oth contriute eqully to given detection geometry. The two terms differ in which popultion stte they propgte during the τ vrile. Similrly, the nonrephsing functions R nd R ech hve the sme emission frequency nd wvevector, ut differ y the τ popultion. For trnsitions etween more thn two system sttes, these terms could e seprted y frequency or wvevector (see ppendix). Since the rephsing pir R nd R 3 oth contriute eqully to signl scttered in the k+ k + k3 direction, they re lso referred to s S I. The nonrephsing pir R nd R oth sctter in the + k k + k3 direction nd re leled s S II. Our findings for the four independent correltion functions re summrized elow. S I S II rephsing non-rephsing R ω ω ω3 R 3 ω ω ω3 R ω ω ω3 R ω ω ω3 ω sig k sig τ popultion + + k+ k + k3 excited stte + + k+ k + k3 ground stte k k + k3 ground stte k k + k3 excited stte

12 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. -6 Frequency Domin Representtion 3 A Fourier-Lplce trnsform of P ( 3 ) ( ) t with respect to the time intervls llows us to otin n ( ) ( ) 3 expression for the third order nonliner susceptiility, χ ω, ω, ω : P ( 3 ) ( 3 ( ω ) ) sig χ ( ω ;,, sig ω ω ω ) 3 = E E E (6) 3 3 where ( n ) i n n i ( n d e τ Ω Ω τ d e R ) (,, ) χ τ L τ τ τ K τ. (7) = 0 n 0 n Here the Fourier trnsform conjugte vriles Ω m to the time-intervl τ m re the sum over ll frequencies for the incident field interctions up to the period for which you re evolving: m m Ω = ω (8) i= For instnce, the conjugte vrile for the third time-intervl of + k k + k3 experiment is the sum over the three preceding incident frequencies Ω 3 = ω ω + ω3. In generl, χ (3) is sum over mny correltion functions nd includes sum over sttes: 3 3 i,, 3 = p α α 6 h cd α = ( χ ) ( ω ω ω ) χ χ (9) Here is the initil stte nd the sum is over ll possile intermedite sttes. Also, to descrie frequency domin experiments, we hve to permute over ll possile time orderings. Most generlly, the eight terms in i ( 3) ( 3) R led to 8 terms for χ, s result of the 3!=6 permuttions of the time-ordering of the input fields. Given set of digrms, we cn write the nonliner susceptiility directly s follows: ) Red off products of light-mtter interction fctors. ) Multiply y resonnce denomintor terms tht descrie the propgtion under H 0. In the frequency domin, if we pply eq. (7) to response functions tht use phenomenologicl time-propgtors of the form eq. (), we otin Gˆ Ω m is defined in eq. (8). ( τ ) m ρ Ω i. (0) Γ ( ω ) m 3) As for the time domin, multiply y fctor of ( ) n for n r side interctions. ) The rdited signl will hve frequency ωsig = ωi nd wvevector ksig = ki. i i

13 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. -7 As n exmple, consider the term for R pplied to two-level system tht we wrote in the time domin in eq. () ( ) ( ) iγ ( ω ω ) χ = ω ω ω iγ ( ) ( ) ( ) ( ) 3 = ω ω iγ ω ω iγ ω + ω ω ω iγ 3 ω ω + ω ω iγ The terms re written from digrm with ech interction nd propgtion dding resonnt denomintor term (here reding left to right). The full frequency domin response is sum over multiple terms like these. ()

14 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. -8 Appendix: Third-order digrms for four-level system The third order response function cn descrie interction with up to four eigensttes of the system Hmiltonin. These re exmples of correltion functions within R (3) for four-level system representtive of vironic trnsitions ccompnying n electronic excittion, s relevnt to resonnce Rmn spectroscopy. Note tht these digrms present only one exmple of multiple permuttions tht must e considered given prticulr time-sequence of incident fields tht my hve vrile frequency. R ket / ket / ket R r/ket/r R 3 r/r/ket R ket/r/r d τ 3 d c d c E 3 E c τ τ d c E d d d d c c c c c dc d d c cd cdcd dcd c ω =+ ω ω + ω sig 3 = ω + ω + ω = ω c dc d ω + ω + ω 3 ω + ω ω = ω d c dc ω + ω + ω 3 ω ω + ω = ω c d dc + ω ω + ω 3 ω ω ω = ω d cd c The signl frequency comes from summing ll incident resonnce frequencies ccounting for the sign of the excittion. The products of trnsition mtrix elements re written in time-ordered fshion without the projection onto the incident field polriztion needed to properly ccount for orienttionl effects. The R term is more properly written ( ˆ ε )( ˆ ε )( ˆ ε )( ˆ ε ). c dc 3 d n Note tht the product of trnsition dipole mtrix elements otined from the sequence of interctions cn lwys e re-written in the cycliclly invrint form ccd d. This is one further mnifesttion of closed loops formed y the sequence of interctions.

15 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. -9 Appendix: Third-order digrms for virtion The third-order nonliner response functions for infrred virtionl spectroscopy re often pplied to wekly nhrmonic virtion. For high frequency virtions in which only the v = 0 stte is initilly populted, when the incident fields re resonnt with the fundmentl virtionl trnsition, we generlly consider digrms involving the system eigensttes v = 0, nd, nd which include v=0- nd v=- resonnces. Then, there re three distinct signl contriutions: Signl k sig Digrms nd Trnsition Dipole Scling R/NR S I k+ k + k3 rephsing S II + k k + k3 non-rephsing S III + k+ k k3 non-rephsing 0 0

16 Andrei Tokmkoff, MIT Deprtment of Chemistry, /30/009 p. -30 Note tht for the S I nd S II signls there re two types of contriutions: two digrms in which ll interctions re with the v=0- trnsition (fundmentl) nd one digrm in which there re two interctions with v=0- nd two with v=- (the overtone). These two types of contriutions hve opposite signs, which cn e seen y counting the numer of r side interctions, nd hve emission frequencies of ω 0 or ω. Therefore, for hrmonic oscilltors, which hve ω 0 = ω nd 0 =, we cn see tht the signl contriutions should destructively interfere nd vnish. This is mnifesttion of the finding tht hrmonic systems disply no nonliner response. Some devition from hrmonic ehvior is required to oserve signl, such s virtionl nhrmonicity ω 0 ω, electricl nhrmonicity 0, or level-dependent dmping Γ 0 Γ or Γ 00 Γ.. D. Lee nd A. C. Alrecht, A unified view of Rmn, resonnce Rmn, nd fluorescence spectroscopy (nd their nlogues in two-photon sorption). Adv. Infrred nd Rmn Spectr., 79 (985).. To properly ccount for ll orienttionl fctors, the trnsition dipole moment must e projected onto the incident electric field polriztion ˆε leding to the terms in the tle. This leds to nonliner polriztion tht cn hve x, y, nd z polriztion components in the l frme. The re otined y projecting the mtrix element prior to the finl trce onto the desired nlyzer xis ˆn ε. 3. Prior, Y. A complete expression for the third order susceptiility χ ( 3) -perturtive nd digrmtic pproches. IEEE J. Quntum Electron. QE-0, 37 (98). See lso, Dick, B. Response functions nd susceptiilities for multiresonnt nonliner opticl spectroscopy: Perturtive computer lger solution including feeding. Chem. Phys. 7, 59 (993).. Bloemergen, N., Lotem, H. & Lynch, R. T. Lineshpes in coherent resonnt Rmn scttering. Indin J. Pure Appl. Phys. 6, 5 (978).

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

Things to Memorize: A Partial List. January 27, 2017

Things to Memorize: A Partial List. January 27, 2017 Things to Memorize: A Prtil List Jnury 27, 2017 Chpter 2 Vectors - Bsic Fcts A vector hs mgnitude (lso clled size/length/norm) nd direction. It does not hve fixed position, so the sme vector cn e moved

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

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

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

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

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

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

The area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O

The area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O 1 Section 5. The Definite Integrl Suppose tht function f is continuous nd positive over n intervl [, ]. y = f(x) x The re under the grph of f nd ove the x-xis etween nd is denoted y f(x) dx nd clled the

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

Chapter 4 Contravariance, Covariance, and Spacetime Diagrams

Chapter 4 Contravariance, Covariance, and Spacetime Diagrams Chpter 4 Contrvrince, Covrince, nd Spcetime Digrms 4. The Components of Vector in Skewed Coordintes We hve seen in Chpter 3; figure 3.9, tht in order to show inertil motion tht is consistent with the Lorentz

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

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

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

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

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

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

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

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

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

Let's start with an example:

Let's start with an example: Finite Automt Let's strt with n exmple: Here you see leled circles tht re sttes, nd leled rrows tht re trnsitions. One of the sttes is mrked "strt". One of the sttes hs doule circle; this is terminl stte

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

How do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?

How do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique? XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk out solving systems of liner equtions. These re prolems tht give couple of equtions with couple of unknowns, like: 6= x + x 7=

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

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

Combinational Logic. Precedence. Quick Quiz 25/9/12. Schematics à Boolean Expression. 3 Representations of Logic Functions. Dr. Hayden So.

Combinational Logic. Precedence. Quick Quiz 25/9/12. Schematics à Boolean Expression. 3 Representations of Logic Functions. Dr. Hayden So. 5/9/ Comintionl Logic ENGG05 st Semester, 0 Dr. Hyden So Representtions of Logic Functions Recll tht ny complex logic function cn e expressed in wys: Truth Tle, Boolen Expression, Schemtics Only Truth

More information

Bridging the gap: GCSE AS Level

Bridging the gap: GCSE AS Level Bridging the gp: GCSE AS Level CONTENTS Chpter Removing rckets pge Chpter Liner equtions Chpter Simultneous equtions 8 Chpter Fctors 0 Chpter Chnge the suject of the formul Chpter 6 Solving qudrtic equtions

More information

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner

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

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 9 Definite Integrals

Chapter 9 Definite Integrals Chpter 9 Definite Integrls In the previous chpter we found how to tke n ntiderivtive nd investigted the indefinite integrl. In this chpter the connection etween ntiderivtives nd definite integrls is estlished

More information

1 From NFA to regular expression

1 From NFA to regular expression Note 1: How to convert DFA/NFA to regulr expression Version: 1.0 S/EE 374, Fll 2017 Septemer 11, 2017 In this note, we show tht ny DFA cn e converted into regulr expression. Our construction would work

More information

Fast Boolean Algebra

Fast Boolean Algebra Fst Boolen Alger ELEC 267 notes with the overurden removed A fst wy to lern enough to get the prel done honorly Printed; 3//5 Slide Modified; Jnury 3, 25 John Knight Digitl Circuits p. Fst Boolen Alger

More information

Chapters Five Notes SN AA U1C5

Chapters Five Notes SN AA U1C5 Chpters Five Notes SN AA U1C5 Nme Period Section 5-: Fctoring Qudrtic Epressions When you took lger, you lerned tht the first thing involved in fctoring is to mke sure to fctor out ny numers or vriles

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

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

Analytically, vectors will be represented by lowercase bold-face Latin letters, e.g. a, r, q.

Analytically, vectors will be represented by lowercase bold-face Latin letters, e.g. a, r, q. 1.1 Vector Alger 1.1.1 Sclrs A physicl quntity which is completely descried y single rel numer is clled sclr. Physiclly, it is something which hs mgnitude, nd is completely descried y this mgnitude. Exmples

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

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

NOTES ON HILBERT SPACE

NOTES ON HILBERT SPACE NOTES ON HILBERT SPACE 1 DEFINITION: by Prof C-I Tn Deprtment of Physics Brown University A Hilbert spce is n inner product spce which, s metric spce, is complete We will not present n exhustive mthemticl

More information

7. Indefinite Integrals

7. Indefinite Integrals 7. Indefinite Integrls These lecture notes present my interprettion of Ruth Lwrence s lecture notes (in Herew) 7. Prolem sttement By the fundmentl theorem of clculus, to clculte n integrl we need to find

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

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

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

Matrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24

Matrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24 Mtrix lger Mtrix ddition, Sclr Multipliction nd rnsposition Mtrix lger Section.. Mtrix ddition, Sclr Multipliction nd rnsposition rectngulr rry of numers is clled mtrix ( the plurl is mtrices ) nd the

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

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

Interpreting Integrals and the Fundamental Theorem

Interpreting Integrals and the Fundamental Theorem Interpreting Integrls nd the Fundmentl Theorem Tody, we go further in interpreting the mening of the definite integrl. Using Units to Aid Interprettion We lredy know tht if f(t) is the rte of chnge of

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

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

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

Types of Finite Automata. CMSC 330: Organization of Programming Languages. Comparing DFAs and NFAs. NFA for (a b)*abb.

Types of Finite Automata. CMSC 330: Organization of Programming Languages. Comparing DFAs and NFAs. NFA for (a b)*abb. CMSC 330: Orgniztion of Progrmming Lnguges Finite Automt 2 Types of Finite Automt Deterministic Finite Automt () Exctly one sequence of steps for ech string All exmples so fr Nondeterministic Finite Automt

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

Thoery of Automata CS402

Thoery of Automata CS402 Thoery of Automt C402 Theory of Automt Tle of contents: Lecture N0. 1... 4 ummry... 4 Wht does utomt men?... 4 Introduction to lnguges... 4 Alphets... 4 trings... 4 Defining Lnguges... 5 Lecture N0. 2...

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

Jack Simons, Henry Eyring Scientist and Professor Chemistry Department University of Utah

Jack Simons, Henry Eyring Scientist and Professor Chemistry Department University of Utah 1. Born-Oppenheimer pprox.- energy surfces 2. Men-field (Hrtree-Fock) theory- orbitls 3. Pros nd cons of HF- RHF, UHF 4. Beyond HF- why? 5. First, one usully does HF-how? 6. Bsis sets nd nottions 7. MPn,

More information

Deterministic Finite Automata

Deterministic Finite Automata Finite Automt Deterministic Finite Automt H. Geuvers nd J. Rot Institute for Computing nd Informtion Sciences Version: fll 2016 J. Rot Version: fll 2016 Tlen en Automten 1 / 21 Outline Finite Automt Finite

More information

Types of Finite Automata. CMSC 330: Organization of Programming Languages. Comparing DFAs and NFAs. Comparing DFAs and NFAs (cont.) Finite Automata 2

Types of Finite Automata. CMSC 330: Organization of Programming Languages. Comparing DFAs and NFAs. Comparing DFAs and NFAs (cont.) Finite Automata 2 CMSC 330: Orgniztion of Progrmming Lnguges Finite Automt 2 Types of Finite Automt Deterministic Finite Automt () Exctly one sequence of steps for ech string All exmples so fr Nondeterministic Finite Automt

More information

On the diagram below the displacement is represented by the directed line segment OA.

On the diagram below the displacement is represented by the directed line segment OA. Vectors Sclrs nd Vectors A vector is quntity tht hs mgnitude nd direction. One exmple of vector is velocity. The velocity of n oject is determined y the mgnitude(speed) nd direction of trvel. Other exmples

More information

Fig. 1. Open-Loop and Closed-Loop Systems with Plant Variations

Fig. 1. Open-Loop and Closed-Loop Systems with Plant Variations ME 3600 Control ystems Chrcteristics of Open-Loop nd Closed-Loop ystems Importnt Control ystem Chrcteristics o ensitivity of system response to prmetric vritions cn be reduced o rnsient nd stedy-stte responses

More information

CSCI 340: Computational Models. Kleene s Theorem. Department of Computer Science

CSCI 340: Computational Models. Kleene s Theorem. Department of Computer Science CSCI 340: Computtionl Models Kleene s Theorem Chpter 7 Deprtment of Computer Science Unifiction In 1954, Kleene presented (nd proved) theorem which (in our version) sttes tht if lnguge cn e defined y ny

More information

u( t) + K 2 ( ) = 1 t > 0 Analyzing Damped Oscillations Problem (Meador, example 2-18, pp 44-48): Determine the equation of the following graph.

u( t) + K 2 ( ) = 1 t > 0 Analyzing Damped Oscillations Problem (Meador, example 2-18, pp 44-48): Determine the equation of the following graph. nlyzing Dmped Oscilltions Prolem (Medor, exmple 2-18, pp 44-48): Determine the eqution of the following grph. The eqution is ssumed to e of the following form f ( t) = K 1 u( t) + K 2 e!"t sin (#t + $

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

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

CMSC 330: Organization of Programming Languages

CMSC 330: Organization of Programming Languages CMSC 330: Orgniztion of Progrmming Lnguges Finite Automt 2 CMSC 330 1 Types of Finite Automt Deterministic Finite Automt (DFA) Exctly one sequence of steps for ech string All exmples so fr Nondeterministic

More information

Definite Integrals. The area under a curve can be approximated by adding up the areas of rectangles = 1 1 +

Definite Integrals. The area under a curve can be approximated by adding up the areas of rectangles = 1 1 + Definite Integrls --5 The re under curve cn e pproximted y dding up the res of rectngles. Exmple. Approximte the re under y = from x = to x = using equl suintervls nd + x evluting the function t the left-hnd

More information

Thomas Whitham Sixth Form

Thomas Whitham Sixth Form Thoms Whithm Sith Form Pure Mthemtics Unit C Alger Trigonometry Geometry Clculus Vectors Trigonometry Compound ngle formule sin sin cos cos Pge A B sin Acos B cos Asin B A B sin Acos B cos Asin B A B cos

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

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

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

Table of contents: Lecture N Summary... 3 What does automata mean?... 3 Introduction to languages... 3 Alphabets... 3 Strings...

Table of contents: Lecture N Summary... 3 What does automata mean?... 3 Introduction to languages... 3 Alphabets... 3 Strings... Tle of contents: Lecture N0.... 3 ummry... 3 Wht does utomt men?... 3 Introduction to lnguges... 3 Alphets... 3 trings... 3 Defining Lnguges... 4 Lecture N0. 2... 7 ummry... 7 Kleene tr Closure... 7 Recursive

More information

Lecture V. Introduction to Space Groups Charles H. Lake

Lecture V. Introduction to Space Groups Charles H. Lake Lecture V. Introduction to Spce Groups 2003. Chrles H. Lke Outline:. Introduction B. Trnsltionl symmetry C. Nomenclture nd symols used with spce groups D. The spce groups E. Derivtion nd discussion of

More information

7.2 The Definite Integral

7.2 The Definite Integral 7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where

More information

Linear Inequalities. Work Sheet 1

Linear Inequalities. Work Sheet 1 Work Sheet 1 Liner Inequlities Rent--Hep, cr rentl compny,chrges $ 15 per week plus $ 0.0 per mile to rent one of their crs. Suppose you re limited y how much money you cn spend for the week : You cn spend

More information

EECS 141 Due 04/19/02, 5pm, in 558 Cory

EECS 141 Due 04/19/02, 5pm, in 558 Cory UIVERSITY OF CALIFORIA College of Engineering Deprtment of Electricl Engineering nd Computer Sciences Lst modified on April 8, 2002 y Tufn Krlr (tufn@eecs.erkeley.edu) Jn M. Rey, Andrei Vldemirescu Homework

More information

Chapter 8.2: The Integral

Chapter 8.2: The Integral Chpter 8.: The Integrl You cn think of Clculus s doule-wide triler. In one width of it lives differentil clculus. In the other hlf lives wht is clled integrl clculus. We hve lredy eplored few rooms in

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

Chapter 6 Techniques of Integration

Chapter 6 Techniques of Integration MA Techniques of Integrtion Asst.Prof.Dr.Suprnee Liswdi Chpter 6 Techniques of Integrtion Recll: Some importnt integrls tht we hve lernt so fr. Tle of Integrls n+ n d = + C n + e d = e + C ( n ) d = ln

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

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

Particle Physics. Michaelmas Term 2011 Prof Mark Thomson. Handout 3 : Interaction by Particle Exchange and QED. Recap Prtile Physis Mihelms Term 2011 Prof Mrk Thomson g X g X g g Hnout 3 : Intertion y Prtile Exhnge n QED Prof. M.A. Thomson Mihelms 2011 101 Rep Working towrs proper lultion of ey n sttering proesses lnitilly

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

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

1 Online Learning and Regret Minimization

1 Online Learning and Regret Minimization 2.997 Decision-Mking in Lrge-Scle Systems My 10 MIT, Spring 2004 Hndout #29 Lecture Note 24 1 Online Lerning nd Regret Minimiztion In this lecture, we consider the problem of sequentil decision mking in

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

Matching patterns of line segments by eigenvector decomposition

Matching patterns of line segments by eigenvector decomposition Title Mtching ptterns of line segments y eigenvector decomposition Author(s) Chn, BHB; Hung, YS Cittion The 5th IEEE Southwest Symposium on Imge Anlysis nd Interprettion Proceedings, Snte Fe, NM., 7-9

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

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

First Midterm Examination

First Midterm Examination Çnky University Deprtment of Computer Engineering 203-204 Fll Semester First Midterm Exmintion ) Design DFA for ll strings over the lphet Σ = {,, c} in which there is no, no nd no cc. 2) Wht lnguge does

More information

STRAND J: TRANSFORMATIONS, VECTORS and MATRICES

STRAND J: TRANSFORMATIONS, VECTORS and MATRICES Mthemtics SKE: STRN J STRN J: TRNSFORMTIONS, VETORS nd MTRIES J3 Vectors Text ontents Section J3.1 Vectors nd Sclrs * J3. Vectors nd Geometry Mthemtics SKE: STRN J J3 Vectors J3.1 Vectors nd Sclrs Vectors

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

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

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

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

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

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

Industrial Electrical Engineering and Automation

Industrial Electrical Engineering and Automation CODEN:LUTEDX/(TEIE-719)/1-7/(7) Industril Electricl Engineering nd Automtion Estimtion of the Zero Sequence oltge on the D- side of Dy Trnsformer y Using One oltge Trnsformer on the D-side Frncesco Sull

More information

Section 6: Area, Volume, and Average Value

Section 6: Area, Volume, and Average Value Chpter The Integrl Applied Clculus Section 6: Are, Volume, nd Averge Vlue Are We hve lredy used integrls to find the re etween the grph of function nd the horizontl xis. Integrls cn lso e used to find

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

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

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