Linear Algebra for Quantum Mechanics

Size: px
Start display at page:

Download "Linear Algebra for Quantum Mechanics"

Transcription

1 prevous ndex next Lnear Algebra for Quantum Mechancs Mchael Fowler 0/4/08 Introducton We ve seen that n quantum mechancs, the state of an electron n some potental s gven by a ψ x t, and physcal varables are represented by operators on ths wave wave functon (, ) functon, such as the momentum n the x-drecton p = / x The Schrödnger wave equaton s a lnear equaton, whch means that f ψ and ψ are solutons, then so s cψ + cψ, where c, c are arbtrary complex numbers Ths lnearty of the sets of possble solutons s true generally n quantum mechancs, as s the representaton of physcal varables by operators on the wave functons The mathematcal structure ths descrbes, the lnear set of possble states and sets of operators on those states, s n fact a lnear algebra of operators actng on a vector space From now on, ths s the language we ll be usng most of the tme To clarfy, we ll gve some defntons What s a Vector Space? The prototypcal vector space s of course the set of real vectors n ordnary three-dmensonal v, v, v measurng the space, these vectors can be represented by tros of real numbers ( ) components n the x, y and z drectons respectvely The basc propertes of these vectors are: x 3 any vector multpled by a number s another vector n the space, a( v, v, v ) ( av, av, av ) = ; 3 3 the sum of two vectors s another vector n the space, that gven by just addng the correspondng components together:( v + w, v + w, v + w ) 3 3 These two propertes together are referred to as closure : addng vectors and multplyng them by numbers cannot get you out of the space A further property s that there s a unque null vector ( 0,0,0 ) and each vector has an addtve nverse ( v, v, v ) whch added to the orgnal vector gves the null vector 3 Mathematcans have generalzed the defnton of a vector space: a general vector space has the propertes we ve lsted above for three-dmensonal real vectors, but the operatons of addton and multplcaton by a number are generalzed to more abstract operatons between more general enttes The operators are, however, restrcted to beng commutatve and assocatve

2 Notce that the lst of necessary propertes for a general vector space does not nclude that the vectors have a magntude that would be an addtonal requrement, gvng what s called a normed vector space More about that later To go from the famlar three-dmensonal vector space to the vector spaces relevant to quantum mechancs, frst the real numbers (components of the vector and possble multplyng factors) are to be generalzed to complex numbers, and second the three-component vector goes an n component vector The consequent n-dmensonal complex space s suffcent to descrbe the quantum mechancs of angular momentum, an mportant subject But to descrbe the wave functon of a partcle n a box requres an nfnte dmensonal space, one dmenson for each Fourer component, and to descrbe the wave functon for a partcle on an nfnte lne requres the set of all normalzable contnuous dfferentable functons on that lne Fortunately, all these generalzatons are to fnte or nfnte sets of complex numbers, so the mathematcans vector space requrements of commutatvty and assocatvty are always trvally satsfed We use Drac s notaton for vectors,, and call them kets, so, n hs language, f, belong to the space, so does c + c for arbtrary complex constants c, c Snce our vectors are made up of complex numbers, multplyng any vector by zero gves the null vector, and the addtve nverse s gven by reversng the sgns of all the numbers n the vector Clearly, the set of solutons of Schrödnger s equaton for an electron n a potental satsfes the requrements for a vector space: ψ ( x, t) s just a complex number at each pont n space, so only complex numbers are nvolved n formng cψ + cψ, and commutatvty, assocatvty, etc, follow at once Vector Space Dmensonalty The vectors,,3 are lnearly ndependent f mples c + c + c 3 = 0 3 c = c = c3 = 0 A vector space s n-dmensonal f the maxmum number of lnearly ndependent vectors n the space s n Such a space s often called V n (C), or V n (R) f only real numbers are used Now, vector spaces wth fnte dmenson n are clearly nsuffcent for descrbng functons of a contnuous varable x But they are well worth revewng here: as we ve mentoned, they are fne for descrbng quantzed angular momentum, and they serve as a natural ntroducton to the nfnte-dmensonal spaces needed to descrbe spatal wavefunctons

3 3 A set of n lnearly ndependent vectors n n-dmensonal space s a bass any vector can be wrtten n a unque way as a sum over a bass: V = v You can check the unqueness by takng the dfference between two supposedly dstnct sums: t wll be a lnear relaton between ndependent vectors, a contradcton Snce all vectors n the space can be wrtten as lnear sums over the elements of the bass, the sum of multples of any two vectors has the form: a V + b W = ( av + bw ) Inner Product Spaces The vector spaces of relevance n quantum mechancs also have an operaton assocatng a number wth a par of vectors, a generalzaton of the dot product of two ordnary threedmensonal vectors, ab = ab Followng Drac, we wrte the nner product of two ket vectors V, to ths W as WV Drac refers form as a bracket made up of a bra and a ket Ths means that each ket vector V has an assocated bra V For the case of a real n-dmensonal vector, V, dentcal but we requre for the more general case that V are WV = VW where * denotes complex conjugate Ths mples that for a ket ( v v ),, n the bra wll be ( v,, vn ) (Actually, bras are usually wrtten as rows, kets as columns, so that the nner product follows the standard rules for matrx multplcaton) Evdently for the n-dmensonal complex vector VV s real and postve except for the null vector: n VV = v For the more general nner product spaces consdered later we requre VV to be postve, except for the null vector (These requrements do restrct the classes of vector spaces we are consderng no Lorentz metrc, for example but they are all satsfed by the spaces relevant to nonrelatvstc quantum mechancs)

4 4 The norm of V s then defned by V = V V If V s a member of V n (C), so s av, for any complex number a We requre the nner product operaton to commute wth multplcaton by a number, so W ( a V ) = a W V The complex conjugate of the rght hand sde s a V W For consstency, the bra correspondng to the ket av must therefore be V a n any case obvous from the defnton of the bra n n complex dmensons gven above It follows that f j j V = v, W = w, then V W = v w Constructng an Orthonormal Bass: the Gram-Schmdt Process To have somethng better resemblng the standard dot product of ordnary three vectors, we need j = δ j, that s, we need to construct an orthonormal bass n the space There s a straghtforward procedure for dong ths called the Gram-Schmdt process We begn wth a lnearly ndependent set of bass vectors,,,3, We frst normalze by dvdng t by ts norm Call the normalzed vector I Now cannot be parallel to I, because the orgnal bass was of lnearly ndependent vectors, but n general has a nonzero component parallel to I, equal to I I, snce I s normalzed Therefore, the vector I I s perpendcular to I, as s easly verfed It s also easy to compute the norm of ths vector, and dvde by t to get II, the second member of the orthonormal bass Next, we take 3 and subtract off ts components n the drectons I and II, normalze the remander, and so on In an n-dmensonal space, havng constructed an orthonormal bass wth members, any vector V can be wrtten as a column vector,

5 5 V v v 0 = v =, where = and so on v n 0 The correspondng bra s V =, whch we wrte as a row vector wth the elements v complex conjugated, V ( v, v, vn ) = Ths operaton, gong from columns to rows and takng the complex conjugate, s called takng the adjont, and can also be appled to matrces, as we shall see shortly The reason for representng the bra as a row s that the nner product of two vectors s then gven by standard matrx multplcaton: w VW = ( v, v,, vn ) wn (Of course, ths only works wth an orthonormal base) The Schwartz Inequalty The Schwartz nequalty s the generalzaton to any nner product space of the result ab a b (or cos θ ) for ordnary three-dmensonal vectors The equalty sgn n that result only holds when the vectors are parallel To generalze to hgher dmensons, one mght just note that two vectors are n a two-dmensonal subspace, but an llumnatng way of understandng the nequalty s to wrte the vector a as a sum of two components, one parallel to b and one perpendcular to b The component parallel to b s just b( a b) / b, so the component perpendcular to b s the vector a = a b( a b) / b Substtutng ths expresson nto a a 0, the nequalty follows Ths same pont can be made n a general nner product space: f V, W are two vectors, then Z W W V = V W

6 6 s the component of V perpendcular to W, as s easly checked by takng ts nner product wth W Then Z Z 0 gves mmedately V W V W Lnear Operators A lnear operator A takes any vector n a lnear vector space to a vector n that space, A V = V, and satsfes wth c, c arbtrary complex constants ( ) A c V c V c A V c A V The dentty operator I s (obvously!) defned by: + = +, I V = V for all V For an n-dmensonal vector space wth an orthonormal bass,, n, snce any vector n the space can be expressed as a sum V = v, the lnear operator s completely determned by ts acton on the bass vectors ths s all we need to know It s easy to fnd an expresson for the dentty operator n terms of bras and kets Takng the nner product of both sdes of the equaton V = v, so V v wth the bra gves = V = v = V Snce ths s true for any vector n the space, t follows that that the dentty operator s just n I = Ths s an mportant result: t wll reappear n many dsguses To analyze the acton of a general lnear operator A, we just need to know how t acts on each bass vector Begnnng wth A, ths must be some sum over the bass vectors, and snce they are orthonormal, the component n the drecton must be just A That s,

7 7 n A = A = A, wrtng A A n = So f the lnear operator A actng on lnearty tells us that V v gves V = = v, that s, A V = V, the j j v = V = A V = v A j = v A j = v A j j, j, j where n the fourth step we just nserted the dentty operator Snce the s are all orthogonal, the coeffcent of a partcular on the left-hand sde of the equaton must be dentcal wth the coeffcent of the same on the rght-hand sde That s, v = Ajvj Therefore the operator A s smply equvalent to matrx multplcaton: v A A A n v v A A v = na na nan v v n n Evdently, then, applyng two lnear operators one after the other s equvalent to successve matrx multplcaton and, therefore, snce matrces do not n general commute, nor do lnear operators (Of course, f we hope to represent quantum varables as lnear operators on a vector space, ths has to be true the momentum operator p = d / dxcertanly doesn t commute wth x!) Projecton Operators It s mportant to note that a lnear operator appled successvely to the members of an orthonormal bass mght gve a new set of vectors whch no longer span the entre space To gve an example, the lnear operator appled to any vector n the space pcks out the vector s component n the drecton It s called a projecton operator The operator ( + ) projects a vector nto ts components n the subspace spanned by the vectors and, and so on f we extend the sum to be over the whole bass, we recover the dentty operator

8 Exercse: prove that the 8 n n matrx representaton of the projecton operator ( + ) has all elements zero except the frst two dagonal elements, whch are equal to one There can be no nverse operator to a nontrval projecton operator, snce the nformaton about components of the vector perpendcular to the projected subspace s lost The Adjont Operator and Hermtan Matrces As we ve dscussed, f a ket V n the n-dmensonal space s wrtten as a column vector wth n (complex) components, the correspondng bra s a row vector havng as elements the complex conjugates of the ket elements WV = VW then follows automatcally from standard matrx multplcaton rules, and on multplyng V by a complex number a to get av (meanng that each element n the column of numbers s multpled by a) the correspondng bra goes to V a = a V But suppose that nstead of multplyng a ket by a number, we operate on t wth a lnear operator What generates the parallel transformaton among the bras? In other words, f A V = V, what operator sends the bra V to V? It must be a lnear operator, because A s lnear, that s, f under A V V, V V and V 3 = V V, + then under A 3 3 V s requred to go to V = V + V Consequently, under the parallel bra transformaton we must have V V, V V and V3 V 3, the bra transformaton s necessarly also lnear Recallng that the bra s an n-element row vector, the most general lnear transformaton sendng t to another bra s an n n matrx operatng on the bra from the rght Ths bra operator s called the adjont of A, wrtten bra A That s, the ket A V has correspondng V A In an orthonormal bass, usng the notaton A to denote the bra correspondng to the ket A = A, say, ( ) A A j Aj ja = = = = A j j So the adjont operator s the transpose complex conjugate Important: for a product of two operators (prove ths!), A ( AB) = B A An operator equal to ts adjont A= A s called Hermtan As we shall fnd n the next lecture, Hermtan operators are of central mportance n quantum mechancs An operator equal to mnus ts adjont, A= A, s ant Hermtan (sometmes termed skew Hermtan) These two

9 9 operator types are essentally generalzatons of real and magnary number: any operator can be expressed as a sum of a Hermtan operator and an ant Hermtan operator, A = ( A+ A ) + ( A A ) The defnton of adjont naturally extends to vectors and numbers: the adjont of a ket s the correspondng bra, the adjont of a number s ts complex conjugate Ths s useful to bear n mnd when takng the adjont of an operator whch may be partally constructed of vectors and numbers, such as projecton-type operators The adjont of a product of matrces, vectors and numbers s the product of the adjonts n reverse order (Of course, for numbers the order doesn t matter) Untary Operators An operator s untary f UU= Ths mples frst that U operatng on any vector gves a vector havng the same norm, snce the new norm VUUV = VV Furthermore, nner products are preserved, WUUV = WV Therefore, under a untary transformaton the orgnal orthonormal bass n the space must go to another orthonormal bass Conversely, any transformaton that takes one orthonormal bass nto another one s a untary transformaton To see ths, suppose that a lnear transformaton A sends the members of the orthonormal bass (,,, n )to the dfferent orthonormal set (,,, n ), so A =,etc Then the vector V = v wll go to V = A V v, = havng the same norm, V V = V V = v A matrx elememt W V = W V = w * v, but also W V = W A A V That s, WV = W AAV for arbtrary kets V, W Ths s only possble f AA= I, so A s untary A untary operaton amounts to a rotaton (possbly combned wth a reflecton) n the space Evdently, snce UU=, the adjont U rotates the bass back t s the nverse operaton, and so UU = also, that s, U and U commute Determnants We revew n ths secton the determnant of a matrx, a functon closely related to the operator propertes of the matrx Let s start wth matrces: A a a = a a The determnant of ths matrx s defned by: det A= A = a a a a

10 0 Wrtng the two rows of the matrx as vectors: a = a a a a a (, ) (, ) R R = R R (R denotes row), det A = a a s just the area (wth approprate sgn) of the parallelogram havng the two row vectors as adjacent sdes: ( a, a ) ( a, a ) Ths s zero f the two vectors are parallel (lnearly dependent) and s not changed by addng any R R multple of a to a (because the new parallelogram has the same base and the same heght as the orgnal check ths by drawng) Let s go on to the more nterestng case of 3 3matrces: a a a A a a a a a a 3 = The determnant of A s defned as det A = εjkaa ja3k where ε jk = 0 f any two are equal, + f jk = 3, 3 or 3 (that s to say, an even permutaton of 3) and f jk s an odd permutaton of 3 Repeated suffxes, of course, mply summaton here Wrtng ths out explctly, det A= a a a + a a a + a a a a a a a a a a a a

11 Just as n two dmensons, t s worth lookng at ths expresson n terms of vectors representng the rows of the matrx so R a = ( a, a, a3) R a = ( a, a, a3) a = ( a, a, a ) R R a R R R R A = a, and we see that det A= ( a a ) a3 R a 3 Ths s the volume of the parallelopped formed by the three vectors beng adjacent sdes (meetng at one corner, the orgn) Ths parallelepped volume wll of course be zero f the three vectors le n a plane, and t s not changed f a multple of one of the vectors s added to another of the vectors That s to say, the determnant of a matrx s not changed f a multple of one row s added to another row Ths s because the determnant s lnear n the elements of a sngle row, a + λa a a det det det R R R R R R R a = a + λ a R R R a3 a3 a3 and the last term s zero because two rows are dentcal so the trple vector product vanshes A more general way of statng ths, applcable to larger determnants, s that for a determnant wth two dentcal rows, the symmetry of the two rows, together wth the antsymmetry of ε jk, ensures that the terms n the sum all cancel n pars Snce the determnant s not altered by addng some multple of one row to another, f the rows are lnearly dependent, one row could be made dentcally zero by addng the rght multples of

12 the other rows Snce every term n the expresson for the determnant has one element from each row, the determnant would then be dentcally zero For the three-dmensonal case, the lnear dependence of the rows means the correspondng vectors le n a plane, and the parallelepped s flat The algebrac argument generalzes easly to n n determnants: they are dentcally zero f the rows are lnearly dependent The generalzaton from 3 3 to n n determnants s that det A = ε jkaa ja3k becomes: det A = ε aa a a jk p j 3k np where jk p s summed over all permutatons of 3 n, and the ε symbol s zero f any two of ts suffxes are equal, + for an even permutaton and for an odd permutaton (Note: any permutaton can be wrtten as a product of swaps of neghbors Such a representaton s n general not unque, but for a gven permutaton, all such representatons wll have ether an odd number of elements or an even number) An mportant theorem s that for a product of two matrces A, B the determnant of the product s the product of the determnants, det AB = det A det B Ths can be verfed by brute force for matrces, and a proof n the general case can be found n any book on mathematcal physcs (for example, Byron and Fuller) It can also be proved that f the rows are lnearly ndependent, the determnant cannot be zero (Here s a proof: take an n n matrx wth the n row vectors lnearly ndependent Now consder the components of those vectors n the n dmensonal subspace perpendcular to (, 0,,0) These n vectors, each wth only n components, must be lnearly dependent, snce there are more of them than the dmenson of the space So we can take some combnaton of the rows below the frst row and subtract t from the frst row to leave the frst row (a, 0, 0,,0), and a cannot be zero snce we have a matrx wth n lnearly ndependent rows We can then subtract multples of ths frst row from the other rows to get a determnant havng zeros n the frst column below the frst row Now look at the n by n determnant to be multpled by a Its rows must be lnearly ndependent snce those of the orgnal matrx were Now proceed by nducton) To return to three dmensons, t s clear from the form of det A= aaa33 + aa3a3 + a3aa3 aa3a3 aaa33 a3aa3 that we could equally have taken the columns of A as three vectors, A = ( a C, a C, a C 3 ) n an C C C obvous notaton, det A = ( a a ) a3, and lnear dependence among the columns wll also ensure the vanshng of the determnant so, n fact, lnear dependence of the columns ensures lnear dependence of the rows

13 3 Ths, too, generalzes to n n: n the defnton of determnant det A = ε jk paa ja3k anp, the row suffx s fxed and the column suffx goes over all permssble permutatons, wth the approprate sgn but the same terms would be generated by havng the column suffxes kept n numercal order and allowng the row suffx to undergo the permutatons An Asde: Recprocal Lattce Vectors It s perhaps worth mentonng how the nverse of a 3 3 matrx operator can be understood n terms of vectors For a set of lnearly ndependent vectors ( a, a, a3), a recprocal set ( b, b, b3) can be defned by a a3 b = a a a 3 and the obvous cyclc defntons for the other two recprocal vectors We see mmedately that from whch t follows that the nverse matrx to a b = δ j j a A = a B = b b b 3 a R R C C C s R 3 ( ) (These recprocal vectors are mportant n x-ray crystallography, for example If a crystallne lattce has certan atoms at postons na + na + na 3 3, where n, n, n 3 are ntegers, the recprocal vectors are the set of normals to possble planes of the atoms, and these planes of atoms are the mportant elements n the dffractve x-ray scatterng) Egenkets and Egenvalues If an operator A operatng on a ket V gves a multple of the same ket, A V = λ V then V s sad to be an egenket (or, just as often, egenvector, or egenstate!) of A wth egenvalue λ Egenkets and egenvalues are of central mportance n quantum mechancs: dynamcal varables are operators, a physcal measurement of a dynamcal varable yelds an egenvalue of the operator, and forces the system nto an egenket In ths secton, we shall show how to fnd the egenvalues and correspondng egenkets for an operator A We ll use the notaton A a = a a for the set of egenkets a wth

14 4 correspondng egenvalues a (Obvously, n the egenvalue equaton here the suffx s not summed over) The frst step n solvng A V = λ V s to fnd the allowed egenvalues a Wrtng the equaton n matrx form: A λ A A n v A A λ v = 0 An Ann λ v n Ths equaton s actually tellng us that the columns of the matrx A λi are lnearly dependent! To see ths, wrte the matrx as a row vector each element of whch s one of ts columns, and the equaton becomes v C C C ( M, M,, Mn ) = 0 v n whch s to say C C C vm + vm = + vm = 0, the columns of the matrx are ndeed a lnearly dependent set We know that means the determnant of the matrx A λi s zero, n n A λ A A n A = 0 A n A λ A nn λ Evaluatng the determnant usng det A = ε jk paa ja3k anp gves an n th order polynomal n λ sometmes called the characterstc polynomal Any polynomal can be wrtten n terms of ts roots: C λ a λ a λ a n ( )( )( ) = 0

15 5 where the a s, the roots of the polynomal, and C s an overall constant, whch from nspecton of the determnant we can see to be ( ) n n (It s the coeffcent of λ ) The polynomal roots (whch we don t yet know) are n fact the egenvalues For example, puttng λ = a n the matrx, det A a I 0, whch means that A a I V = has a nontrval soluton V, and ( ) = ( ) ths s our egenvector a 0 Notce that the dagonal term n the determnant ( A λ)( A λ) ( Ann λ) leadng two orders n the polynomal ( ) n n n λ ( + + ) λ terms too) Equatng the coeffcent of generates the ( A A nn ), (and some lower order n λ n here wth that n ( ) ( λ )( λ )( λ ), n n a A = = = A = Tr a a a n Puttng λ = 0 n both the determnantal and the polynomal representatons (n other words, equatng the λ -ndependent terms), n = a = det A So we can fnd both the sum and the product of the egenvalues drectly from the determnant, and for a matrx ths s enough to solve the problem For anythng bgger, the method s to solve the polynomal equaton ( A λi) det = 0 to fnd the set of egenvalues, then use them to calculate the correspondng egenvectors Ths s done one at a tme Labelng the frst egenvalue found as a, the correspondng equaton for the components v of the egenvector a s A a A A n v A A a v = 0 An Ann a v n Ths looks lke n equatons for the n numbers v, but t sn t: remember the rows are lnearly dependent, so there are only n ndependent equatons However, that s enough to determne the ratos of the vector components v,, v n, then fnally the egenvector s normalzed The process s then repeated for each egnevalue (Extra care s needed f the polynomal has concdent roots we ll dscuss that case later)

16 6 Egenvalues and Egenstates of Hermtan Matrces For a Hermtan matrx, t s easy to establsh that the egenvalues are always real (Note: A basc postulate of Quantum Mechancs, dscussed n the next lecture, s that physcal observables are represented by Hermtan operators) Takng (n ths secton) A to be hermtan, A= A, and labelng the egenkets by the egenvalue, that s, A a = a a the nner product wth the bra a gves a A a = a a a But the nner product of the adjont equaton (rememberng A= A ) a A a a = wth a gves a A a a a a, = so a = a, and all the egenvalues must be real They certanly don t have to all be dfferent for example, the unt matrx I s Hermtan, and all ts egenvalues are of course But let s frst consder the case where they are all dfferent It s easy to show that the egenkets belongng to dfferent egenvalues are orthogonal If A a = a a A a a a =, take the adjont of the frst equaton and then the nner product wth a the nner product of the second equaton wth a :, and compare t wth a A a = a a a = a a a so a a = 0 unless the egenvalues are equal (If they are equal, they are referred to as degenerate egenvalues) Let s frst consder the nondegenerate case: A has all egenvalues dstnct The egenkets of A, approprately normalzed, form an orthonormal bass n the space Wrte v v v v n v v v vn a, and consder the matrx V = = = ( a a a n ) v v v v n n n nn

17 7 Now so ( n ) ( n n ) AV = A a a a = a a a a a a a a 0 0 a 0 a 0 = ( n n ) = a n 0 0 an V AV a a a a a a Note also that, obvously, V s untary: a 0 0 a 0 0 ( n ) = = a n 0 0 VV a a a We have establshed, then, that for a Hermtan matrx wth dstnct egenvalues (nondegenerate case), the untary matrx V havng columns dentcal to the normalzed egenkets of A dagonalzes A, that s, V AV s dagonal Furthermore, ts (dagonal) elements equal the correspondng egenvalues of A Another way of sayng ths s that the untary matrx V s the transformaton from the orgnal orthonormal bass n ths space to the bass formed of the normalzed egenkets of A Proof that the Egenvectors of a Hermtan Matrx Span the Space We ll now move on to the general case: what f some of the egenvalues of A are the same? In ths case, any lnear combnaton of them s also an egenvector wth the same egenvalue Assumng they form a bass n the subspace, the Gram Schmdt procedure can be used to make t orthonormal, and so part of an orthonormal bass of the whole space However, we have not actually establshed that the egenvectors do form a bass n a degenerate subspace Could t be that (to take the smplest case) the two egenvectors for the sngle egenvalue turn out to be parallel? Ths s actually the case for some matrces for example,, we need to prove t s not true for Hermtan matrces, and nor are the analogous 0 statements for hgher-dmensonal degenerate subspaces A clear presentaton s gven n Byron and Fuller, secton 47 We follow t here The procedure s by nducton from the case The general Hermtan matrx has the form

18 8 a b b c where a, c are real It s easy to check that f the egenvalues are degenerate, ths matrx becomes a real multple of the dentty, and so trvally has two orthonormal egenvectors Snce we already know that f the egenvalues of a Hermtan matrx are dstnct t can be dagonalzed by the untary transformaton formed from ts orthonormal egenvectors, we have establshed that any Hermtan matrx can be so dagonalzed To carry out the nducton process, we now assume any (n ) (n ) Hermtan matrx can be dagonalzed by a untary transformaton We need to prove ths means t s also true for an n n Hermtan matrx A (Recall a untary transformaton takes one complete orthonormal bass to another If t dagonalzes a Hermtan matrx, the new bass s necessarly the set of orthonormalzed egenvectors Hence, f the matrx can be dagonalzed, the egenvectors do span the n-dmensonal space) T Choose an egenvalue a of A, wth normalzed egenvector a = ( v, v,, v n ) (We put n T for transpose, to save the awkwardness of fllng the page wth a few column vectors) We construct a untary operator V by makng ths the frst column, then fllng n wth n other normalzed vectors to construct, wth a, an n-dmensonal orthonormal bass Now, snce A a = a a, the frst column of the matrx AV wll just be a a, and the rows of the matrx V V = wll be a followed by n normalzed vectors orthogonal to t, so the frst column of the matrx V AV wll be a followed by zeros It s easy to check that V AV s Hermtan, snce A s, so ts frst row s also zero beyond the frst dagonal term Ths establshes that for an n n Hermtan matrx, a untary transformaton exsts to put t n the form: V AV a M Mn = Mn M nn But we can now perform a second untary transformaton n the (n ) (n ) subspace orthogonal to a (ths of course leaves a nvarant), to complete the full dagonalzaton that s to say, the exstence of the (n ) (n ) dagonalzaton, plus the argument above, guarantees the exstence of the n n dagonalzaton: the nducton s complete

19 9 Dagonalzng a Hermtan Matrx As dscussed above, a Hermtan matrx s dagonal n the orthonormal bass of ts set of egenvectors: a, a,, an, snce a A a = a a a = a a a = a δ j j j j j j j If we are gven the matrx elements of A n some other orthonormal bass, to dagonalze t we need to rotate from the ntal orthonormal bass to one made up of the egenkets of A Denotng the ntal orthonormal bass n the standard fashon = 0 = 0 = n = th,, ( n place down), the elements of the matrx are Aj = Aj A transformaton from one orthonormal bass to another s a untary transformaton, as dscussed above, so we wrte t V V = U V Under ths transformaton, the matrx element W AV W A V = W U AU V So we can fnd the approprate transformaton matrx U by requrng that U AU be dagonal wth respect to the orgnal set of bass vectors (Transformng the operator n ths way, leavng the vector space alone, s equvalent to rotatng the vector space and leavng the operator alone Of course, n a system wth more than one operator, the same transformaton would have to be appled to all the operators) In fact, just as we dscussed for the nondegenerate (dstnct egenvalues) case, the untary matrx U we need s just composed of the normalzed egenkets of the operator A, And t follows as before that (,,, n ) U = a a a

20 ( ) j 0 U AU = a a a = δ a j j j j (The repeated suffxes here are of course not summed over), a dagonal matrx If some of the egenvalues are the same, the Gram Schmdt procedure may be needed to generate an orthogonal set, as mentoned earler Functons of Matrces The same untary operator U that dagonalzes an Hermtan matrx A wll also dagonalze A, because = = U A U U AAU U AUU AU so a a 0 0 U AU = 0 0 a a n Evdently, ths same process works for any power of A, and formally for any functon of A expressble as a power seres, but of course convergence propertes need to be consdered, and ths becomes trcker on gong from fnte matrces to operators on nfnte spaces Commutng Hermtan Matrces From the above, the set of powers of an Hermtan matrx all commute wth each other, and have a common set of egenvectors (but not the same egenvalues, obvously) In fact t s not dffcult to show that any two Hermtan matrces that commute wth each other have the same set of egenvectors (after possble Gram Schmdt rearrangements n degenerate subspaces) If two n n Hermtan matrces A, B commute, that s, AB = BA, and A has a nondegenerate set of egenvectors A a = a a, then AB a = BAa = Ba a = aba, that s, Ba s an egenvector of A wth egenvalue a Snce A s nondegenerate, Ba must be some multple of, and we conclude that A, B have the same set of egenvectors a Now suppose A s degenerate, and consder the m msubspace S a spanned by the egenvectors a,, a,, of A havng egenvalue Applyng the argument n the paragraph above, a Ba,, Ba,, must also le n ths subspace Therefore, f we transform B wth the same untary transformaton that dagonalzed A, B wll not n general be dagonal n the subspace S a,

21 but t wll be what s termed block dagonal, n that f B operates on any vector n vector n S a S a t gves a B can be wrtten as two dagonal blocks: one m m these dagonal blocks, for example, for m =, n = 5:, one ( n m) ( n m), wth zeroes outsde b b b b b b b b b b b b b And, n fact, f there s only one degenerate egenvalue that second block wll only have nonzero terms on the dagonal: b b b b b b b 5 B therefore operates on two subspaces, one m-dmensonal, one (n m)-dmensonal, ndependently a vector entrely n one subspace stays there Ths means we can complete the dagonalzaton of B wth a untary operator that only operates on the m m block S Such an operator wll also affect the egenvectors of A, but that doesn t a matter, because all vectors n ths subspace are egenvectors of A wth the same egenvalue, so as far as A s concerned, we can choose any orthonormal bass we lke the bass vectors wll stll be egenvectors Ths establshes that any two commutng Hermtan matrces can be dagonalzed at the same tme Obvously, ths can never be true of noncommutng matrces, snce all dagonal matrces commute Dagonalzng a Untary Matrx Any untary matrx can be dagonalzed by a untary transformaton To see ths, recall that any matrx M can be wrtten as a sum of a Hermtan matrx and an ant Hermtan matrx, M + M M M M = + = A+ B

22 where both A, B are Hermtan Ths s the matrx analogue of wrtng an arbtrary complex number as a sum of real and magnary parts If A, B commute, they can be smultaneously dagonalzed (see the prevous secton), and therefore M can be dagonalzed Now, f a untary matrx s expressed n ths form U = A+ Bwth A, B Hermtan, t easly follows fromuu = U U = that A, B commute, so any untary matrx U can be dagonalzed by a untary transformaton More generally, f a matrx M commutes wth ts adjont M, t can be dagonalzed (Note: t s not possble to dagonalze M unless both A, B are smultaneously dagonalzed Ths follows from U AU, U BU beng Hermtan and anthermtan for any untary operator U, so ther off-dagonal elements cannot cancel each other, they must all be zero f M has been dagonalzed by U, n whch case the two transformed matrces U AU, U BU are dagonal, therefore commute, and so do the orgnal matrces A, B) It s worthwhle lookng at a specfc example, a smple rotaton of one orthonormal bass nto another n three dmensons Obvously, the axs through the orgn about whch the bass s rotated s an egenvector of the transformaton It s less clear what the other two egenvectors mght be or, equvalently, what are the egenvectors correspondng to a two dmensonal rotaton of bass n a plane? The way to fnd out s to wrte down the matrx and dagonalze t The matrx cosθ snθ U ( θ ) = snθ cosθ Note that the determnant s equal to unty The egenvalues are gven by solvng cosθ λ snθ ± = 0 to gve λ = e θ snθ cosθ λ The correspondng egenvectors satsfy ± ± cosθ snθ u ± θ u e ± = ± snθ cosθ u u The egenvectors, normalzed, are: ± u ± = u ± Note that, n contrast to a Hermtan matrx, the egenvalues of a untary matrx do not have to be real In fact, from UU=, sandwched between the bra and ket of an egenvector, we see that any egenvalue of a untary matrx must have unt modulus t s a complex number on the unt crcle Wth hndsght, we should have realzed that one egenvalue of a two-dmensonal

23 3 rotaton had to be e θ, the product of two two-dmensonal rotatons s gven be addng the angles of rotaton, and a rotaton through π changes all sgns, so has egenvalue - Note that the egenvector tself s ndependent of the angle of rotaton the rotatons all commute, so they must have common egenvectors Successve rotaton operators appled to the plus egenvector add ther angles, when appled to the mnus egenvector, all angles are subtracted prevous ndex next

8.5 UNITARY AND HERMITIAN MATRICES. The conjugate transpose of a complex matrix A, denoted by A*, is given by

8.5 UNITARY AND HERMITIAN MATRICES. The conjugate transpose of a complex matrix A, denoted by A*, is given by 6 CHAPTER 8 COMPLEX VECTOR SPACES 5. Fnd the kernel of the lnear transformaton gven n Exercse 5. In Exercses 55 and 56, fnd the mage of v, for the ndcated composton, where and are gven by the followng

More information

v a 1 b 1 i, a 2 b 2 i,..., a n b n i.

v a 1 b 1 i, a 2 b 2 i,..., a n b n i. SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 455 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces we have studed thus far n the text are real vector spaces snce the scalars are

More information

where the coordinates are related to those in the old frame as follows.

where the coordinates are related to those in the old frame as follows. Chapter 2 - Cartesan Vectors and Tensors: Ther Algebra Defnton of a vector Examples of vectors Scalar multplcaton Addton of vectors coplanar vectors Unt vectors A bass of non-coplanar vectors Scalar product

More information

Recurrence. 1 Definitions and main statements

Recurrence. 1 Definitions and main statements Recurrence 1 Defntons and man statements Let X n, n = 0, 1, 2,... be a MC wth the state space S = (1, 2,...), transton probabltes p j = P {X n+1 = j X n = }, and the transton matrx P = (p j ),j S def.

More information

21 Vectors: The Cross Product & Torque

21 Vectors: The Cross Product & Torque 21 Vectors: The Cross Product & Torque Do not use our left hand when applng ether the rght-hand rule for the cross product of two vectors dscussed n ths chapter or the rght-hand rule for somethng curl

More information

BERNSTEIN POLYNOMIALS

BERNSTEIN POLYNOMIALS On-Lne Geometrc Modelng Notes BERNSTEIN POLYNOMIALS Kenneth I. Joy Vsualzaton and Graphcs Research Group Department of Computer Scence Unversty of Calforna, Davs Overvew Polynomals are ncredbly useful

More information

PERRON FROBENIUS THEOREM

PERRON FROBENIUS THEOREM PERRON FROBENIUS THEOREM R. CLARK ROBINSON Defnton. A n n matrx M wth real entres m, s called a stochastc matrx provded () all the entres m satsfy 0 m, () each of the columns sum to one, m = for all, ()

More information

n + d + q = 24 and.05n +.1d +.25q = 2 { n + d + q = 24 (3) n + 2d + 5q = 40 (2)

n + d + q = 24 and.05n +.1d +.25q = 2 { n + d + q = 24 (3) n + 2d + 5q = 40 (2) MATH 16T Exam 1 : Part I (In-Class) Solutons 1. (0 pts) A pggy bank contans 4 cons, all of whch are nckels (5 ), dmes (10 ) or quarters (5 ). The pggy bank also contans a con of each denomnaton. The total

More information

We are now ready to answer the question: What are the possible cardinalities for finite fields?

We are now ready to answer the question: What are the possible cardinalities for finite fields? Chapter 3 Fnte felds We have seen, n the prevous chapters, some examples of fnte felds. For example, the resdue class rng Z/pZ (when p s a prme) forms a feld wth p elements whch may be dentfed wth the

More information

+ + + - - This circuit than can be reduced to a planar circuit

+ + + - - This circuit than can be reduced to a planar circuit MeshCurrent Method The meshcurrent s analog of the nodeoltage method. We sole for a new set of arables, mesh currents, that automatcally satsfy KCLs. As such, meshcurrent method reduces crcut soluton to

More information

1 Example 1: Axis-aligned rectangles

1 Example 1: Axis-aligned rectangles COS 511: Theoretcal Machne Learnng Lecturer: Rob Schapre Lecture # 6 Scrbe: Aaron Schld February 21, 2013 Last class, we dscussed an analogue for Occam s Razor for nfnte hypothess spaces that, n conjuncton

More information

Support Vector Machines

Support Vector Machines Support Vector Machnes Max Wellng Department of Computer Scence Unversty of Toronto 10 Kng s College Road Toronto, M5S 3G5 Canada wellng@cs.toronto.edu Abstract Ths s a note to explan support vector machnes.

More information

HÜCKEL MOLECULAR ORBITAL THEORY

HÜCKEL MOLECULAR ORBITAL THEORY 1 HÜCKEL MOLECULAR ORBITAL THEORY In general, the vast maorty polyatomc molecules can be thought of as consstng of a collecton of two electron bonds between pars of atoms. So the qualtatve pcture of σ

More information

The OC Curve of Attribute Acceptance Plans

The OC Curve of Attribute Acceptance Plans The OC Curve of Attrbute Acceptance Plans The Operatng Characterstc (OC) curve descrbes the probablty of acceptng a lot as a functon of the lot s qualty. Fgure 1 shows a typcal OC Curve. 10 8 6 4 1 3 4

More information

L10: Linear discriminants analysis

L10: Linear discriminants analysis L0: Lnear dscrmnants analyss Lnear dscrmnant analyss, two classes Lnear dscrmnant analyss, C classes LDA vs. PCA Lmtatons of LDA Varants of LDA Other dmensonalty reducton methods CSCE 666 Pattern Analyss

More information

Loop Parallelization

Loop Parallelization - - Loop Parallelzaton C-52 Complaton steps: nested loops operatng on arrays, sequentell executon of teraton space DECLARE B[..,..+] FOR I :=.. FOR J :=.. I B[I,J] := B[I-,J]+B[I-,J-] ED FOR ED FOR analyze

More information

Rotation Kinematics, Moment of Inertia, and Torque

Rotation Kinematics, Moment of Inertia, and Torque Rotaton Knematcs, Moment of Inerta, and Torque Mathematcally, rotaton of a rgd body about a fxed axs s analogous to a lnear moton n one dmenson. Although the physcal quanttes nvolved n rotaton are qute

More information

Module 2 LOSSLESS IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur

Module 2 LOSSLESS IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur Module LOSSLESS IMAGE COMPRESSION SYSTEMS Lesson 3 Lossless Compresson: Huffman Codng Instructonal Objectves At the end of ths lesson, the students should be able to:. Defne and measure source entropy..

More information

Linear Circuits Analysis. Superposition, Thevenin /Norton Equivalent circuits

Linear Circuits Analysis. Superposition, Thevenin /Norton Equivalent circuits Lnear Crcuts Analyss. Superposton, Theenn /Norton Equalent crcuts So far we hae explored tmendependent (resste) elements that are also lnear. A tmendependent elements s one for whch we can plot an / cure.

More information

Matrix Multiplication I

Matrix Multiplication I Matrx Multplcaton I Yuval Flmus February 2, 2012 These notes are based on a lecture gven at the Toronto Student Semnar on February 2, 2012. The materal s taen mostly from the boo Algebrac Complexty Theory

More information

Series Solutions of ODEs 2 the Frobenius method. The basic idea of the Frobenius method is to look for solutions of the form 3

Series Solutions of ODEs 2 the Frobenius method. The basic idea of the Frobenius method is to look for solutions of the form 3 Royal Holloway Unversty of London Department of Physs Seres Solutons of ODEs the Frobenus method Introduton to the Methodology The smple seres expanson method works for dfferental equatons whose solutons

More information

Least Squares Fitting of Data

Least Squares Fitting of Data Least Squares Fttng of Data Davd Eberly Geoetrc Tools, LLC http://www.geoetrctools.co/ Copyrght c 1998-2016. All Rghts Reserved. Created: July 15, 1999 Last Modfed: January 5, 2015 Contents 1 Lnear Fttng

More information

Extending Probabilistic Dynamic Epistemic Logic

Extending Probabilistic Dynamic Epistemic Logic Extendng Probablstc Dynamc Epstemc Logc Joshua Sack May 29, 2008 Probablty Space Defnton A probablty space s a tuple (S, A, µ), where 1 S s a set called the sample space. 2 A P(S) s a σ-algebra: a set

More information

Ring structure of splines on triangulations

Ring structure of splines on triangulations www.oeaw.ac.at Rng structure of splnes on trangulatons N. Vllamzar RICAM-Report 2014-48 www.rcam.oeaw.ac.at RING STRUCTURE OF SPLINES ON TRIANGULATIONS NELLY VILLAMIZAR Introducton For a trangulated regon

More information

Implementation of Deutsch's Algorithm Using Mathcad

Implementation of Deutsch's Algorithm Using Mathcad Implementaton of Deutsch's Algorthm Usng Mathcad Frank Roux The followng s a Mathcad mplementaton of Davd Deutsch's quantum computer prototype as presented on pages - n "Machnes, Logc and Quantum Physcs"

More information

Goals Rotational quantities as vectors. Math: Cross Product. Angular momentum

Goals Rotational quantities as vectors. Math: Cross Product. Angular momentum Physcs 106 Week 5 Torque and Angular Momentum as Vectors SJ 7thEd.: Chap 11.2 to 3 Rotatonal quanttes as vectors Cross product Torque expressed as a vector Angular momentum defned Angular momentum as a

More information

Section 5.4 Annuities, Present Value, and Amortization

Section 5.4 Annuities, Present Value, and Amortization Secton 5.4 Annutes, Present Value, and Amortzaton Present Value In Secton 5.2, we saw that the present value of A dollars at nterest rate per perod for n perods s the amount that must be deposted today

More information

Politecnico di Torino. Porto Institutional Repository

Politecnico di Torino. Porto Institutional Repository Poltecnco d orno Porto Insttutonal Repostory [Proceedng] rbt dynamcs and knematcs wth full quaternons rgnal Ctaton: Andres D; Canuto E. (5). rbt dynamcs and knematcs wth full quaternons. In: 16th IFAC

More information

benefit is 2, paid if the policyholder dies within the year, and probability of death within the year is ).

benefit is 2, paid if the policyholder dies within the year, and probability of death within the year is ). REVIEW OF RISK MANAGEMENT CONCEPTS LOSS DISTRIBUTIONS AND INSURANCE Loss and nsurance: When someone s subject to the rsk of ncurrng a fnancal loss, the loss s generally modeled usng a random varable or

More information

Conversion between the vector and raster data structures using Fuzzy Geographical Entities

Conversion between the vector and raster data structures using Fuzzy Geographical Entities Converson between the vector and raster data structures usng Fuzzy Geographcal Enttes Cdála Fonte Department of Mathematcs Faculty of Scences and Technology Unversty of Combra, Apartado 38, 3 454 Combra,

More information

Luby s Alg. for Maximal Independent Sets using Pairwise Independence

Luby s Alg. for Maximal Independent Sets using Pairwise Independence Lecture Notes for Randomzed Algorthms Luby s Alg. for Maxmal Independent Sets usng Parwse Independence Last Updated by Erc Vgoda on February, 006 8. Maxmal Independent Sets For a graph G = (V, E), an ndependent

More information

What is Candidate Sampling

What is Candidate Sampling What s Canddate Samplng Say we have a multclass or mult label problem where each tranng example ( x, T ) conssts of a context x a small (mult)set of target classes T out of a large unverse L of possble

More information

Faraday's Law of Induction

Faraday's Law of Induction Introducton Faraday's Law o Inducton In ths lab, you wll study Faraday's Law o nducton usng a wand wth col whch swngs through a magnetc eld. You wll also examne converson o mechanc energy nto electrc energy

More information

Texas Instruments 30X IIS Calculator

Texas Instruments 30X IIS Calculator Texas Instruments 30X IIS Calculator Keystrokes for the TI-30X IIS are shown for a few topcs n whch keystrokes are unque. Start by readng the Quk Start secton. Then, before begnnng a specfc unt of the

More information

How To Calculate The Accountng Perod Of Nequalty

How To Calculate The Accountng Perod Of Nequalty Inequalty and The Accountng Perod Quentn Wodon and Shlomo Ytzha World Ban and Hebrew Unversty September Abstract Income nequalty typcally declnes wth the length of tme taen nto account for measurement.

More information

1. Measuring association using correlation and regression

1. Measuring association using correlation and regression How to measure assocaton I: Correlaton. 1. Measurng assocaton usng correlaton and regresson We often would lke to know how one varable, such as a mother's weght, s related to another varable, such as a

More information

An Alternative Way to Measure Private Equity Performance

An Alternative Way to Measure Private Equity Performance An Alternatve Way to Measure Prvate Equty Performance Peter Todd Parlux Investment Technology LLC Summary Internal Rate of Return (IRR) s probably the most common way to measure the performance of prvate

More information

Institute of Informatics, Faculty of Business and Management, Brno University of Technology,Czech Republic

Institute of Informatics, Faculty of Business and Management, Brno University of Technology,Czech Republic Lagrange Multplers as Quanttatve Indcators n Economcs Ivan Mezník Insttute of Informatcs, Faculty of Busness and Management, Brno Unversty of TechnologCzech Republc Abstract The quanttatve role of Lagrange

More information

Answer: A). There is a flatter IS curve in the high MPC economy. Original LM LM after increase in M. IS curve for low MPC economy

Answer: A). There is a flatter IS curve in the high MPC economy. Original LM LM after increase in M. IS curve for low MPC economy 4.02 Quz Solutons Fall 2004 Multple-Choce Questons (30/00 ponts) Please, crcle the correct answer for each of the followng 0 multple-choce questons. For each queston, only one of the answers s correct.

More information

NMT EE 589 & UNM ME 482/582 ROBOT ENGINEERING. Dr. Stephen Bruder NMT EE 589 & UNM ME 482/582

NMT EE 589 & UNM ME 482/582 ROBOT ENGINEERING. Dr. Stephen Bruder NMT EE 589 & UNM ME 482/582 NMT EE 589 & UNM ME 482/582 ROBOT ENGINEERING Dr. Stephen Bruder NMT EE 589 & UNM ME 482/582 7. Root Dynamcs 7.2 Intro to Root Dynamcs We now look at the forces requred to cause moton of the root.e. dynamcs!!

More information

Face Verification Problem. Face Recognition Problem. Application: Access Control. Biometric Authentication. Face Verification (1:1 matching)

Face Verification Problem. Face Recognition Problem. Application: Access Control. Biometric Authentication. Face Verification (1:1 matching) Face Recognton Problem Face Verfcaton Problem Face Verfcaton (1:1 matchng) Querymage face query Face Recognton (1:N matchng) database Applcaton: Access Control www.vsage.com www.vsoncs.com Bometrc Authentcaton

More information

7.5. Present Value of an Annuity. Investigate

7.5. Present Value of an Annuity. Investigate 7.5 Present Value of an Annuty Owen and Anna are approachng retrement and are puttng ther fnances n order. They have worked hard and nvested ther earnngs so that they now have a large amount of money on

More information

Product-Form Stationary Distributions for Deficiency Zero Chemical Reaction Networks

Product-Form Stationary Distributions for Deficiency Zero Chemical Reaction Networks Bulletn of Mathematcal Bology (21 DOI 1.17/s11538-1-9517-4 ORIGINAL ARTICLE Product-Form Statonary Dstrbutons for Defcency Zero Chemcal Reacton Networks Davd F. Anderson, Gheorghe Cracun, Thomas G. Kurtz

More information

The Mathematical Derivation of Least Squares

The Mathematical Derivation of Least Squares Pscholog 885 Prof. Federco The Mathematcal Dervaton of Least Squares Back when the powers that e forced ou to learn matr algera and calculus, I et ou all asked ourself the age-old queston: When the hell

More information

Joe Pimbley, unpublished, 2005. Yield Curve Calculations

Joe Pimbley, unpublished, 2005. Yield Curve Calculations Joe Pmbley, unpublshed, 005. Yeld Curve Calculatons Background: Everythng s dscount factors Yeld curve calculatons nclude valuaton of forward rate agreements (FRAs), swaps, nterest rate optons, and forward

More information

Solution: Let i = 10% and d = 5%. By definition, the respective forces of interest on funds A and B are. i 1 + it. S A (t) = d (1 dt) 2 1. = d 1 dt.

Solution: Let i = 10% and d = 5%. By definition, the respective forces of interest on funds A and B are. i 1 + it. S A (t) = d (1 dt) 2 1. = d 1 dt. Chapter 9 Revew problems 9.1 Interest rate measurement Example 9.1. Fund A accumulates at a smple nterest rate of 10%. Fund B accumulates at a smple dscount rate of 5%. Fnd the pont n tme at whch the forces

More information

How Sets of Coherent Probabilities May Serve as Models for Degrees of Incoherence

How Sets of Coherent Probabilities May Serve as Models for Degrees of Incoherence 1 st Internatonal Symposum on Imprecse Probabltes and Ther Applcatons, Ghent, Belgum, 29 June 2 July 1999 How Sets of Coherent Probabltes May Serve as Models for Degrees of Incoherence Mar J. Schervsh

More information

Simple Interest Loans (Section 5.1) :

Simple Interest Loans (Section 5.1) : Chapter 5 Fnance The frst part of ths revew wll explan the dfferent nterest and nvestment equatons you learned n secton 5.1 through 5.4 of your textbook and go through several examples. The second part

More information

How To Assemble The Tangent Spaces Of A Manfold Nto A Coherent Whole

How To Assemble The Tangent Spaces Of A Manfold Nto A Coherent Whole CHAPTER 7 VECTOR BUNDLES We next begn addressng the queston: how do we assemble the tangent spaces at varous ponts of a manfold nto a coherent whole? In order to gude the decson, consder the case of U

More information

FINANCIAL MATHEMATICS. A Practical Guide for Actuaries. and other Business Professionals

FINANCIAL MATHEMATICS. A Practical Guide for Actuaries. and other Business Professionals FINANCIAL MATHEMATICS A Practcal Gude for Actuares and other Busness Professonals Second Edton CHRIS RUCKMAN, FSA, MAAA JOE FRANCIS, FSA, MAAA, CFA Study Notes Prepared by Kevn Shand, FSA, FCIA Assstant

More information

Lecture 2: Single Layer Perceptrons Kevin Swingler

Lecture 2: Single Layer Perceptrons Kevin Swingler Lecture 2: Sngle Layer Perceptrons Kevn Sngler kms@cs.str.ac.uk Recap: McCulloch-Ptts Neuron Ths vastly smplfed model of real neurons s also knon as a Threshold Logc Unt: W 2 A Y 3 n W n. A set of synapses

More information

SIMPLE LINEAR CORRELATION

SIMPLE LINEAR CORRELATION SIMPLE LINEAR CORRELATION Smple lnear correlaton s a measure of the degree to whch two varables vary together, or a measure of the ntensty of the assocaton between two varables. Correlaton often s abused.

More information

Nonbinary Quantum Error-Correcting Codes from Algebraic Curves

Nonbinary Quantum Error-Correcting Codes from Algebraic Curves Nonbnary Quantum Error-Correctng Codes from Algebrac Curves Jon-Lark Km and Judy Walker Department of Mathematcs Unversty of Nebraska-Lncoln, Lncoln, NE 68588-0130 USA e-mal: {jlkm, jwalker}@math.unl.edu

More information

Calculation of Sampling Weights

Calculation of Sampling Weights Perre Foy Statstcs Canada 4 Calculaton of Samplng Weghts 4.1 OVERVIEW The basc sample desgn used n TIMSS Populatons 1 and 2 was a two-stage stratfed cluster desgn. 1 The frst stage conssted of a sample

More information

Using Series to Analyze Financial Situations: Present Value

Using Series to Analyze Financial Situations: Present Value 2.8 Usng Seres to Analyze Fnancal Stuatons: Present Value In the prevous secton, you learned how to calculate the amount, or future value, of an ordnary smple annuty. The amount s the sum of the accumulated

More information

The Noether Theorems: from Noether to Ševera

The Noether Theorems: from Noether to Ševera 14th Internatonal Summer School n Global Analyss and Mathematcal Physcs Satellte Meetng of the XVI Internatonal Congress on Mathematcal Physcs *** Lectures of Yvette Kosmann-Schwarzbach Centre de Mathématques

More information

Chapter 7 Symmetry and Spectroscopy Molecular Vibrations p. 1 -

Chapter 7 Symmetry and Spectroscopy Molecular Vibrations p. 1 - Chapter 7 Symmetry and Spectroscopy Molecular Vbratons p - 7 Symmetry and Spectroscopy Molecular Vbratons 7 Bases for molecular vbratons We nvestgate a molecule consstng of N atoms, whch has 3N degrees

More information

Time Value of Money Module

Time Value of Money Module Tme Value of Money Module O BJECTIVES After readng ths Module, you wll be able to: Understand smple nterest and compound nterest. 2 Compute and use the future value of a sngle sum. 3 Compute and use the

More information

PSYCHOLOGICAL RESEARCH (PYC 304-C) Lecture 12

PSYCHOLOGICAL RESEARCH (PYC 304-C) Lecture 12 14 The Ch-squared dstrbuton PSYCHOLOGICAL RESEARCH (PYC 304-C) Lecture 1 If a normal varable X, havng mean µ and varance σ, s standardsed, the new varable Z has a mean 0 and varance 1. When ths standardsed

More information

1 What is a conservation law?

1 What is a conservation law? MATHEMATICS 7302 (Analytcal Dynamcs) YEAR 2015 2016, TERM 2 HANDOUT #6: MOMENTUM, ANGULAR MOMENTUM, AND ENERGY; CONSERVATION LAWS In ths handout we wll develop the concepts of momentum, angular momentum,

More information

Section 2 Introduction to Statistical Mechanics

Section 2 Introduction to Statistical Mechanics Secton 2 Introducton to Statstcal Mechancs 2.1 Introducng entropy 2.1.1 Boltzmann s formula A very mportant thermodynamc concept s that of entropy S. Entropy s a functon of state, lke the nternal energy.

More information

CHAPTER 5 RELATIONSHIPS BETWEEN QUANTITATIVE VARIABLES

CHAPTER 5 RELATIONSHIPS BETWEEN QUANTITATIVE VARIABLES CHAPTER 5 RELATIONSHIPS BETWEEN QUANTITATIVE VARIABLES In ths chapter, we wll learn how to descrbe the relatonshp between two quanttatve varables. Remember (from Chapter 2) that the terms quanttatve varable

More information

Figure 1. Inventory Level vs. Time - EOQ Problem

Figure 1. Inventory Level vs. Time - EOQ Problem IEOR 54 Sprng, 009 rof Leahman otes on Eonom Lot Shedulng and Eonom Rotaton Cyles he Eonom Order Quantty (EOQ) Consder an nventory tem n solaton wth demand rate, holdng ost h per unt per unt tme, and replenshment

More information

GRAVITY DATA VALIDATION AND OUTLIER DETECTION USING L 1 -NORM

GRAVITY DATA VALIDATION AND OUTLIER DETECTION USING L 1 -NORM GRAVITY DATA VALIDATION AND OUTLIER DETECTION USING L 1 -NORM BARRIOT Jean-Perre, SARRAILH Mchel BGI/CNES 18.av.E.Beln 31401 TOULOUSE Cedex 4 (France) Emal: jean-perre.barrot@cnes.fr 1/Introducton The

More information

Lecture 3: Force of Interest, Real Interest Rate, Annuity

Lecture 3: Force of Interest, Real Interest Rate, Annuity Lecture 3: Force of Interest, Real Interest Rate, Annuty Goals: Study contnuous compoundng and force of nterest Dscuss real nterest rate Learn annuty-mmedate, and ts present value Study annuty-due, and

More information

The quantum mechanics based on a general kinetic energy

The quantum mechanics based on a general kinetic energy The quantum mechancs based on a general knetc energy Yuchuan We * Internatonal Center of Quantum Mechancs, Three Gorges Unversty, Chna, 4400 Department of adaton Oncology, Wake Forest Unversty, NC, 7157

More information

Efficient Project Portfolio as a tool for Enterprise Risk Management

Efficient Project Portfolio as a tool for Enterprise Risk Management Effcent Proect Portfolo as a tool for Enterprse Rsk Management Valentn O. Nkonov Ural State Techncal Unversty Growth Traectory Consultng Company January 5, 27 Effcent Proect Portfolo as a tool for Enterprse

More information

THE METHOD OF LEAST SQUARES THE METHOD OF LEAST SQUARES

THE METHOD OF LEAST SQUARES THE METHOD OF LEAST SQUARES The goal: to measure (determne) an unknown quantty x (the value of a RV X) Realsaton: n results: y 1, y 2,..., y j,..., y n, (the measured values of Y 1, Y 2,..., Y j,..., Y n ) every result s encumbered

More information

Quantization Effects in Digital Filters

Quantization Effects in Digital Filters Quantzaton Effects n Dgtal Flters Dstrbuton of Truncaton Errors In two's complement representaton an exact number would have nfntely many bts (n general). When we lmt the number of bts to some fnte value

More information

LECTURE 1: MOTIVATION

LECTURE 1: MOTIVATION LECTURE 1: MOTIVATION STEVEN SAM AND PETER TINGLEY 1. Towards quantum groups Let us begn by dscussng what quantum groups are, and why we mght want to study them. We wll start wth the related classcal objects.

More information

1.1 The University may award Higher Doctorate degrees as specified from time-to-time in UPR AS11 1.

1.1 The University may award Higher Doctorate degrees as specified from time-to-time in UPR AS11 1. HIGHER DOCTORATE DEGREES SUMMARY OF PRINCIPAL CHANGES General changes None Secton 3.2 Refer to text (Amendments to verson 03.0, UPR AS02 are shown n talcs.) 1 INTRODUCTION 1.1 The Unversty may award Hgher

More information

A Probabilistic Theory of Coherence

A Probabilistic Theory of Coherence A Probablstc Theory of Coherence BRANDEN FITELSON. The Coherence Measure C Let E be a set of n propostons E,..., E n. We seek a probablstc measure C(E) of the degree of coherence of E. Intutvely, we want

More information

REGULAR MULTILINEAR OPERATORS ON C(K) SPACES

REGULAR MULTILINEAR OPERATORS ON C(K) SPACES REGULAR MULTILINEAR OPERATORS ON C(K) SPACES FERNANDO BOMBAL AND IGNACIO VILLANUEVA Abstract. The purpose of ths paper s to characterze the class of regular contnuous multlnear operators on a product of

More information

Chapter 4 ECONOMIC DISPATCH AND UNIT COMMITMENT

Chapter 4 ECONOMIC DISPATCH AND UNIT COMMITMENT Chapter 4 ECOOMIC DISATCH AD UIT COMMITMET ITRODUCTIO A power system has several power plants. Each power plant has several generatng unts. At any pont of tme, the total load n the system s met by the

More information

Laws of Electromagnetism

Laws of Electromagnetism There are four laws of electromagnetsm: Laws of Electromagnetsm The law of Bot-Savart Ampere's law Force law Faraday's law magnetc feld generated by currents n wres the effect of a current on a loop of

More information

Chapter 11 Torque and Angular Momentum

Chapter 11 Torque and Angular Momentum Chapter 11 Torque and Angular Momentum I. Torque II. Angular momentum - Defnton III. Newton s second law n angular form IV. Angular momentum - System of partcles - Rgd body - Conservaton I. Torque - Vector

More information

On Robust Network Planning

On Robust Network Planning On Robust Network Plannng Al Tzghadam School of Electrcal and Computer Engneerng Unversty of Toronto, Toronto, Canada Emal: al.tzghadam@utoronto.ca Alberto Leon-Garca School of Electrcal and Computer Engneerng

More information

1. Fundamentals of probability theory 2. Emergence of communication traffic 3. Stochastic & Markovian Processes (SP & MP)

1. Fundamentals of probability theory 2. Emergence of communication traffic 3. Stochastic & Markovian Processes (SP & MP) 6.3 / -- Communcaton Networks II (Görg) SS20 -- www.comnets.un-bremen.de Communcaton Networks II Contents. Fundamentals of probablty theory 2. Emergence of communcaton traffc 3. Stochastc & Markovan Processes

More information

5.74 Introductory Quantum Mechanics II

5.74 Introductory Quantum Mechanics II MIT OpenCourseWare http://ocw.mt.edu 5.74 Introductory Quantum Mechancs II Sprng 9 For nformaton about ctng these materals or our Terms of Use, vst: http://ocw.mt.edu/terms. 4-1 4.1. INTERACTION OF LIGHT

More information

On Leonid Gurvits s proof for permanents

On Leonid Gurvits s proof for permanents On Leond Gurvts s proof for permanents Monque Laurent and Alexander Schrver Abstract We gve a concse exposton of the elegant proof gven recently by Leond Gurvts for several lower bounds on permanents.

More information

Do Hidden Variables. Improve Quantum Mechanics?

Do Hidden Variables. Improve Quantum Mechanics? Radboud Unverstet Njmegen Do Hdden Varables Improve Quantum Mechancs? Bachelor Thess Author: Denns Hendrkx Begeleder: Prof. dr. Klaas Landsman Abstract Snce the dawn of quantum mechancs physcst have contemplated

More information

copyright 1997 Bruce A. McCarl and Thomas H. Spreen.

copyright 1997 Bruce A. McCarl and Thomas H. Spreen. Appendx I: Usng Summaton Notaton Wth GAMS... AI-1 AI.1 Summaton Mechancs... AI-1 AI.1.1 Sum of an Item.... AI-1 AI.1.2 Multple Sums... AI-2 AI.1.3 Sum of Two Items... AI-2 AI.2 Summaton Notaton Rules...

More information

Mean Molecular Weight

Mean Molecular Weight Mean Molecular Weght The thermodynamc relatons between P, ρ, and T, as well as the calculaton of stellar opacty requres knowledge of the system s mean molecular weght defned as the mass per unt mole of

More information

NON-CONSTANT SUM RED-AND-BLACK GAMES WITH BET-DEPENDENT WIN PROBABILITY FUNCTION LAURA PONTIGGIA, University of the Sciences in Philadelphia

NON-CONSTANT SUM RED-AND-BLACK GAMES WITH BET-DEPENDENT WIN PROBABILITY FUNCTION LAURA PONTIGGIA, University of the Sciences in Philadelphia To appear n Journal o Appled Probablty June 2007 O-COSTAT SUM RED-AD-BLACK GAMES WITH BET-DEPEDET WI PROBABILITY FUCTIO LAURA POTIGGIA, Unversty o the Scences n Phladelpha Abstract In ths paper we nvestgate

More information

Consider a 1-D stationary state diffusion-type equation, which we will call the generalized diffusion equation from now on:

Consider a 1-D stationary state diffusion-type equation, which we will call the generalized diffusion equation from now on: Chapter 1 Boundary value problems Numercal lnear algebra technques can be used for many physcal problems. In ths chapter we wll gve some examples of how these technques can be used to solve certan boundary

More information

Project Networks With Mixed-Time Constraints

Project Networks With Mixed-Time Constraints Project Networs Wth Mxed-Tme Constrants L Caccetta and B Wattananon Western Australan Centre of Excellence n Industral Optmsaton (WACEIO) Curtn Unversty of Technology GPO Box U1987 Perth Western Australa

More information

The Distribution of Eigenvalues of Covariance Matrices of Residuals in Analysis of Variance

The Distribution of Eigenvalues of Covariance Matrices of Residuals in Analysis of Variance JOURNAL OF RESEARCH of the Natonal Bureau of Standards - B. Mathem atca l Scence s Vol. 74B, No.3, July-September 1970 The Dstrbuton of Egenvalues of Covarance Matrces of Resduals n Analyss of Varance

More information

Time Value of Money. Types of Interest. Compounding and Discounting Single Sums. Page 1. Ch. 6 - The Time Value of Money. The Time Value of Money

Time Value of Money. Types of Interest. Compounding and Discounting Single Sums. Page 1. Ch. 6 - The Time Value of Money. The Time Value of Money Ch. 6 - The Tme Value of Money Tme Value of Money The Interest Rate Smple Interest Compound Interest Amortzng a Loan FIN21- Ahmed Y, Dasht TIME VALUE OF MONEY OR DISCOUNTED CASH FLOW ANALYSIS Very Important

More information

Section C2: BJT Structure and Operational Modes

Section C2: BJT Structure and Operational Modes Secton 2: JT Structure and Operatonal Modes Recall that the semconductor dode s smply a pn juncton. Dependng on how the juncton s based, current may easly flow between the dode termnals (forward bas, v

More information

A Novel Methodology of Working Capital Management for Large. Public Constructions by Using Fuzzy S-curve Regression

A Novel Methodology of Working Capital Management for Large. Public Constructions by Using Fuzzy S-curve Regression Novel Methodology of Workng Captal Management for Large Publc Constructons by Usng Fuzzy S-curve Regresson Cheng-Wu Chen, Morrs H. L. Wang and Tng-Ya Hseh Department of Cvl Engneerng, Natonal Central Unversty,

More information

Logistic Regression. Lecture 4: More classifiers and classes. Logistic regression. Adaboost. Optimization. Multiple class classification

Logistic Regression. Lecture 4: More classifiers and classes. Logistic regression. Adaboost. Optimization. Multiple class classification Lecture 4: More classfers and classes C4B Machne Learnng Hlary 20 A. Zsserman Logstc regresson Loss functons revsted Adaboost Loss functons revsted Optmzaton Multple class classfcaton Logstc Regresson

More information

An Overview of Financial Mathematics

An Overview of Financial Mathematics An Overvew of Fnancal Mathematcs Wllam Benedct McCartney July 2012 Abstract Ths document s meant to be a quck ntroducton to nterest theory. It s wrtten specfcally for actuaral students preparng to take

More information

Multiple stage amplifiers

Multiple stage amplifiers Multple stage amplfers Ams: Examne a few common 2-transstor amplfers: -- Dfferental amplfers -- Cascode amplfers -- Darlngton pars -- current mrrors Introduce formal methods for exactly analysng multple

More information

Section 5.3 Annuities, Future Value, and Sinking Funds

Section 5.3 Annuities, Future Value, and Sinking Funds Secton 5.3 Annutes, Future Value, and Snkng Funds Ordnary Annutes A sequence of equal payments made at equal perods of tme s called an annuty. The tme between payments s the payment perod, and the tme

More information

Fisher Markets and Convex Programs

Fisher Markets and Convex Programs Fsher Markets and Convex Programs Nkhl R. Devanur 1 Introducton Convex programmng dualty s usually stated n ts most general form, wth convex objectve functons and convex constrants. (The book by Boyd and

More information

PRACTICE 1: MUTUAL FUNDS EVALUATION USING MATLAB.

PRACTICE 1: MUTUAL FUNDS EVALUATION USING MATLAB. PRACTICE 1: MUTUAL FUNDS EVALUATION USING MATLAB. INDEX 1. Load data usng the Edtor wndow and m-fle 2. Learnng to save results from the Edtor wndow. 3. Computng the Sharpe Rato 4. Obtanng the Treynor Rato

More information

Generalizing the degree sequence problem

Generalizing the degree sequence problem Mddlebury College March 2009 Arzona State Unversty Dscrete Mathematcs Semnar The degree sequence problem Problem: Gven an nteger sequence d = (d 1,...,d n ) determne f there exsts a graph G wth d as ts

More information

On Lockett pairs and Lockett conjecture for π-soluble Fitting classes

On Lockett pairs and Lockett conjecture for π-soluble Fitting classes On Lockett pars and Lockett conjecture for π-soluble Fttng classes Lujn Zhu Department of Mathematcs, Yangzhou Unversty, Yangzhou 225002, P.R. Chna E-mal: ljzhu@yzu.edu.cn Nanyng Yang School of Mathematcs

More information

Causal, Explanatory Forecasting. Analysis. Regression Analysis. Simple Linear Regression. Which is Independent? Forecasting

Causal, Explanatory Forecasting. Analysis. Regression Analysis. Simple Linear Regression. Which is Independent? Forecasting Causal, Explanatory Forecastng Assumes cause-and-effect relatonshp between system nputs and ts output Forecastng wth Regresson Analyss Rchard S. Barr Inputs System Cause + Effect Relatonshp The job of

More information

Hedging Interest-Rate Risk with Duration

Hedging Interest-Rate Risk with Duration FIXED-INCOME SECURITIES Chapter 5 Hedgng Interest-Rate Rsk wth Duraton Outlne Prcng and Hedgng Prcng certan cash-flows Interest rate rsk Hedgng prncples Duraton-Based Hedgng Technques Defnton of duraton

More information