Group Theory in Physics
|
|
- Kelly Francis
- 6 years ago
- Views:
Transcription
1 Group Theory n Physcs Lng-Fong L (Insttute) Representaton Theory / 4
2 Theory of Group Representaton In physcal applcaton, group representaton s mportant n deducng the consequence of the symmetres of the system. Most mportant one s realzaton of group operaton by matrces. De nton of Representaton Gven a group G = fa, = ng. If for each A G, there are an n n matrces D (A ) such that D (A ) D (A j ) = D (A A j ) () then D s forms a n-dmensonal representaton of the group G.e. correspondence A! D (A ) s a homomorphsm. If ths s an somorphsm, representaton s called fathful. A matrx M j can be vewed as lnear operator M actng on some vector space V wth repect to some bass e, Me = e j M j j Note that the choce of the bass s not unque. If we make a change to a new bass, e = f n S n, S non-sngular j then n Mf n S n = f k S kj M j k,j (Insttute) Representaton Theory / 4
3 Multply by S m, Mf m = f k S kj M j Sm k,j, = f k k SMS km = f k k M 0 km where M 0 = SMS To generate such matrces for the symmetry of certan geometrc objects s to use the group nduced transformatons, dscussed before. Recall that each element A a nduces a transformaton of the coordnate vector ~r, ~r! A a ~r Then for any functon of ~r, say ϕ (~r ) and for any group element A a de ne a new transformaton P Aa by P Aa ϕ (~r ) = ϕ A a ~r Among the transformed functons obtaned ths way, P A ϕ (~r ), P A ϕ (~r ), P An ϕ (~r ), we select the lnearly ndependent set ϕ (~r ), ϕ (~r ) ϕ` (~r ).Then t s clear that P A ϕ a can be expressed as lnear combnaton of ϕ.ths s because Thus we can wrte P Ab ϕ a = P Ab P Aa ϕ (~r ) = P Ab ϕ Aa ~r = ϕ Aa Ab ~r = ϕ (A b A a ) ~r (Insttute) Representaton Theory 3 / 4
4 ` P A ϕ a = ϕ b D ba (A ) b= and D ba (A ) forms a representaton of G. Ths can be seen as follows. P A A j ϕ a = P A P Aj ϕ a = P A b φ b D ba (A j ) = φ c D cb (A ) D ba (A j ) b.c. On the other hand, Ths gves P A A j ϕ a = ϕ c D (A A j ) ca c D (A A j ) ca = D cb (A ) D ba (A j ) whch means that D (A ) 0 s form representaton of the group. (Insttute) Representaton Theory 4 / 4
5 Example: Group D 3, symmetry of the trangle. As seen before, choosng a coordnate system on the plane, we can represent the group elements by the followng matrces, A = K = p! 3 p 3, B = p 3 0, L = 0 Choose f (~r ) = f (x, y ) = x y, we get P A f (~r ) = f A ~r = 4 p! 3 0, E = 0 p! 3 p 3, M = p 3 p! 3 x + p p 3y 3x y = 4 x y + p 3xy. We now have a new functon g (x, y ) = xy showng up. We can operate on g (r ) to get, P A g (~r ) = g A ~r = = hp 3 x + p p 3y 3x p 3 x y xy = y x y (xy ) Thus we have P A (f, g ) = (f, g ) p 3 p! 3 (Insttute) Representaton Theory 5 / 4
6 The matrx generated ths way s the same as A f we change g to -g. Smlarly same as B Remarks P B f (~r ) = f B ~r = p p x 3y 3x + y = 4 4 x y p 3xy P B g (~r ) = g B ~r p p = x 3y 3x + y r h p = x y p 3 xy = x y (xy ) P B (f, g ) = (f, g ) p 3 p! 3 If D () (A) and D () (A) are both representaton of the group, then D (3) D (A) = () (A) 0 0 D () (A) (block dagonal form) also forms a representaton. We wll denote t as a drect sum, D (3) (A) = D () (A) D () (A) drect sum (Insttute) Representaton Theory 6 / 4
7 If D () (A) and D () (A) are representatons of G wth same dmenson and 9 a non-sngular matrx U such that D () (A ) = UD () (A ) U for all A G. then D () and D () are equvalent representatons. (Insttute) Representaton Theory 7 / 4
8 Reducble and Irreducble Representatons A representaton D of a group G s called rreducble representaton (rrep) f t s de ned on a vector space V (D ) whch has no non-trval nvarant subspace. Otherwse, t s reducble. In other words, all group actons can be realzed n ths subspace. Suppose representaon D s reducble on the vector space V. Then 9 subspace S nvarant under D. For any vector v V, we can wrte, v = s + s? where s S and s? belongs to the complement S? of S. If we wrte, v = s s? then the representaton matrx s D (A) Av = D (A) v = D 3 (A) Snce S s nvarant under group operators, we get D (A) D 4 (A) D 3 (A ) = 0, 8 A G (Insttute) Representaton Theory 8 / 4
9 .e. D (A ) are all of the upper trangular form, D (A D (A ) = ) D (A ) 0 D 4 (A ), 8 A G () Note that D D D = D 0 D 0 0 D 4 0 D4 0 = D D 0 D D 0 + D D D 4 D 0 4 Thus nvarant subspace s stll nvarant f operate on t many tmes. A representaton s completely reducble f all matrces D (A ) can be smultaneously brought nto block dagonal form by the same smlarty transformaton U, UD (A ) U D (A = ) 0, for all A 0 D (A ) G Theorem: Any untary reducble representaton s completely reducble. Proof: For smplcty we assume that the vector space V s equpped wth a scalar product (u, v ). We can choose the complement space S? to be perpendcular to S,.e. (u, v ) = 0, f u S, v S? Snce scalar product s nvarant under the untary transformaton, 0 = (u, v ) = (D (A ) u, D (A ) v ) (Insttute) Representaton Theory 9 / 4
10 Thus f D (A ) u S, then D (A ) v S? whch mples that S? s also nvarant under the group operaton. In physcal applcatons, we deal mostly wth untary representatons and they are completely reducble. Untary Representaton Snce untary operators preserve the scalar product, representaton by untary matrces wll smplfy the analyss of group theory. For nte groups, we can show that rep can always be transformed nto untay one. Fundamental Theorem Every rrep of a nte group s equvalent to a untary rrep (rep by untary matrces) Proof: Let D (A r ) be a representaton of the group G = fe, A A n g Consder the sum n H = D (A r ) D (A r ) then H = H r = Snce H s postve semde nte, de ne squre root h by h = H, h + = h Ths can be acheved by dagonzng ths hermtan matrx H by untary transformaton and then transformng t back after takng the square root of the egvalues. De ne new set of matrces by smlarty transformaton D (A r ) = h D (A r ) h r =,,, n D (A r ) s equvalent to D (A r ). We wll now show that D (A r ) s untary, (Insttute) Representaton Theory 0 / 4
11 D (A r ) D (A r ) = h D (A r ) h h hd (A r ) h = h D (A r ) = h " n where we have used rearrangement theorem. n h D (A S ) D (A S ) D (A r ) h s= # D (A r A s ) D (A r A s ) h s= = h n D (A S 0 ) D (A s 0 ) h = h h h = s 0 = (Insttute) Representaton Theory / 4
12 Schur s Lemma an mportant theorems n rreducble reprentaton () Any matrx whch commutes wth all matrces of rrep s a multple of dentty matrx. Proof: Assume 9 M MD (A r ) = D (A r ) M 8 A r G Hermtan conjugate D (A r ) M = M D (A r ) Snce D (A r ) s untary, we get M = D (A r ) M D (A r ) or M D (A r ) = D (A r ) M =) M also commutes wth all D s and so are M + M and M M, whch are hermtan. Thus, we take M to be hermtan. Start by dagonalzng M by untary matrx U, M = UdU d : dagonal De ne D (A r ) = U D (A r ) U, then we have d D (A r ) = D (A r ) d (Insttute) Representaton Theory / 4
13 or n terms of matrx elements, Snce d s dagonal, we get d αβ D βr (A s ) = β β D αβ (A s ) d βγ (d αα d γγ ) D αγ (A s ) = 0 =) f d αα 6= d γγ, then D αγ (A s ) = 0 _ =) f dagonal elements d are all d erent, then o -dagonal elements of D _ are all zero. The only possble non-zero o -dagonal elements of D can arse when some of dααs 0 _ are equal. For example, f d = d, then D can be non-zero. Thus D s n block dagonal form,.e. (Insttute) Representaton Theory 3 / 4
14 f d = d d d d... 3 d then D = 6 4 D 0 0 D Ths s true for every matrx n the rep. Thus all the matrces n rep are block dagonal. But D s rreducble =) not all matrces can be block dagonal. Thus all d s have to be equal d = ci. or M = UdU = duu = d = ci (Insttute) Representaton Theory 4 / 4
15 () If the only matrx that commutes wth all the matrces of a representaton s a multple of dentty, then the representaton s rrep. Proof: Suppose D s reducble, then we can transform them nto construct M = D D (A ) = () (A ) I 0 0 I then D () (A ) for all A G D (A ) M = MD (A ) for all But M s not a multple of dentty (contradcton). rreducble. Therefore D must be Remarks. Any rrep of Abelan group s dmensonal. Because for any element A, D (A) commutes wth all D (A ). Then Schur s lemma =) D (A) = ci 8A G. But D s rrep, so D has to be matrx.. In any rrep, the dentty element E s always represented by dentty matrx. Ths follows Schur s lemma. 3. From D (A) D A = D (E ) = I., =) D A = [D (A)] and for untary representaton D A = D (A). (Insttute) Representaton Theory 5 / 4
16 () If D () and D () are rreps of dmenson l, and dmenson l and MD () (A ) = D () (A ) M. (3) then (a) f l 6= l M = 0 (b) f l = l, then ether M = 0 or det M 6= 0 and reps are equvalent. Proof: : take l l. Hermtan conjugate of Eq(3) gves D () M = M D (), MM D () (A ) = MD () (A ) M = D () (A ) MM or MM D () (A ) = D () (A ) MM 8 (A ) G Then from Schur s lemma () we get MM = ci,where I s a l dmensonal dentty matrx. Frst consder the case l = l, where we get jdet M j = c `. Then ether det M 6= 0, ) M s non-sngular and from Eq(3) D () (A ) = M D () (A ) M 8 (A ) G Ths means D () (A ) and D () (A ) are equvalent. Otherwse f the determnant s zero, det M = 0 =) c = 0 or MM = 0 =) M αγ M βγ = 0 γ 8α.β. (Insttute) Representaton Theory 6 / 4
17 In partcular, for α = β γ jm αγ j = 0 M αγ = 0 for all α.γ =) M = 0. Next, f l < l, then M s a rectangular l l, matrx.. M = l.. {z } l De ne a square matrx by addng colums of zeros l z } { N = [M, 0]gl l l square matrx then M N = 0 M and NN = (M, 0) = MM = ci 0 where I s the l l dentty matrx. But from constructon det N = 0. Hence c = 0, =) NN = 0 or M = 0 dentcally. (Insttute) Representaton Theory 7 / 4
18 Great Orthogonalty Theorem most mportant theorem for the representaton of the nte group. Theorem(Great orthogonalty theorem): Suppose G a group wth n elements, fa, =,, ng, and D (α) (A ), α =, are all the nequvalent rreps of G wth dmenson l α. Then n D (α) j (A α ) D (β) k` (A α ) = n δ α= l αβ δ k δ j` α Proof: De ne M = a D (α) (A a ) XD (β) Aa where X s an arbtrary l α l β matrx. Multplyng M by representaton matrx, D (α) (A b ) M = D (α) (A b ) a D (α) (A a ) XD (β) Aa h D (β) Ab D (β) (A b ) = D (α) (A b A a ) XD (β) (A b A a ) D (β) (A b ) = MD (β) (A b ) a (Insttute) Representaton Theory 8 / 4
19 () If α 6= β, then M = 0 from Schur s lemma, we get M = a D (α) r (A a ) X rs D (β) sk Aa = a D (α) r (A a ) X rs D (β) ks (A a ) = 0 Choose X rs = δ rj δ sl (.e. X s zero except the jl element). Then a D (α) j (A α ) D (β) k` (A α ) = 0 =) for d erent rreps, the matrx elements, after summng over group elements, are orthogonal to each other. () α = β then we can wrte M = D (α) (A a ) XD (α) A a.ths mples a Then Take h T r a D (α) (A a ) M = MD (α) (A b ) =) M = ci D (α) (A a ) XD (α) Aa X rs = δ rj δ s` then T r X = δ j` and = cl or nt r X = cl, or c = (T r X ) n l α D (α) (A a ) j D (α) (A a ) k` = n δ k δ a l j` α Ths gves orthogonalty for d erent matrx elements wthn a gven rreducble representaton. (Insttute) Representaton Theory 9 / 4
20 Geometrc Interpretaton Imagne a complex n dm vector space, axes (or componenets) are labeled by group elements E, A.A 3 A n (Group element space). Components of vector are made out of matrx element of rreducble representaton matrx D (α) (A a ) j.each vector n ths n dm space s labeled by 3 ndces,, µ.ν ~D µν () = D µν () (E ), D µν () (A ), D µν () (A n ) Great orthogonalty theorem =) these vectors are? to each other. As a result l n because no more than n mutually? vectors n n-dm vector space. As an example, we take the -dmensonal representaton we have work out before, E = K = 0, A = 0 0, L = 0 p! 3 p 3, B = p 3 p! 3 p 3, M = p 3 p! 3 p! 3 (4) (5) (Insttute) Representaton Theory 0 / 4
21 Label the axses by the groupl elements n the order (E, A, B, K, L, M ). Then we can construct four 6-dmensonal ectors from these matrces, D () = (,,,,, ) D () p p p p = (0, 3 3, 0, 3, 3 ) D () p p p p = (0, 3, 3, 0 3, 3 ) D () = (,,,,, ) It s straghtforward to check that these 4 vectors are perpendcular to each other. Note that the other two vectors whch are orthogonal to these vectors are of the form, D E = (,,,,, ) D A = (,,,,, ) (6) comng from the dentty representaton and other -dmensonal representaton. (Insttute) Representaton Theory / 4
22 Character of Representaton Matrces n rrep are not unque because of smlarty transformaton. But trace of matrx s nvarant under smlarty transformaton, Tr SAS = TrA We can use trace, or character, to characterze the rrep. χ (α) (A ) T r hd (α) (A ) = D aa (α) (A ) a Useful Propertes If D (α) and D (β) are equvalent, then χ (α) (A ) = χ (β) (A ) 8 A G If A and B are n the same class χ (α) (A) = χ (α) (B ) Proof: If A and B are n same class =) 9x G such that xax = B =) D (α) (x ) D (α) (A) D (α) x = D (α) (B ) Usng D (α) x = D (α) (x ) (Insttute) Representaton Theory / 4
23 we get h T r D (α) (x ) D (α) (A) D (α) (x ) = T r hd (α) (B ) or χ (α) (A) = χ (α) (B ) Hence χ (α) s a functon of class, not of each element 3 Denote χ = χ (C ), character of th class. Let n c : number of classes n G, and n : number of group elements n C. From great orthogonalty theorem whch mples or r D (α) j (A r ) D (β) k` (A r ) = n δ l αβ δ k δ jl α χ (α) (A r ) χ (β) (A r ) = n δ r l αβ l α = nδ αβ α n χ (α) (C ) χ (β) (C ) = nδ αβ Ths s the great orthogonalty theorem for the characters. (Insttute) Representaton Theory 3 / 4
24 De ne U α = q n n χ(α) (C ), then great orthogonalty theorem mples, n c = U α U β = δ αβ Thus, f we consder U α as components n n c dm vector space, ~ Uα = (U α, U α, U αnc ), then ~ Uα α =,, 3 n r (n r : # of ndep rreps)form an othornormal set of vectors,.e. n c U β U α = U α U β = δ αβ = Ths mples that n r n c As an llustraton, characters for rep gven n Eqs(4,5) are χ (3) (E ) =, χ (3) (A) = χ (3) (B ) =, χ (3) (K ) = χ (3) (L) = χ (3) (M ) = 0 From these form a 3-dm vector, χ (3) = (,, 0) (7) Smlarly for rep n Eq(6) we get χ () (E ) =, χ () (A) = χ () (B ) =, χ () (K ) = χ () (L) = χ () (M ) = (Insttute) Representaton Theory 4 / 4
25 χ () (E ) =, χ () (A) = χ () (B ) =, χ () (K ) = χ () (L) = χ () (M ) = Form another two 3-dmensonal vectors, χ () = (,, ) χ () = (,, ) The orthogonalty relatons n Eq (??) these 3-dmensonal vectors are orthogonal to each other when weghted by # of elements n the class. For example, χ (), χ (3) = + ( ) + 0 ( ) 3 = 0 χ (), χ (3) = + ( ) = 0 (Insttute) Representaton Theory 5 / 4
26 Decomposton of Reducble Representaton For a reducble rep, we can wrte D = D () D () D.e. D (A ) = () (A ) D () (A ) 8A G The trace s χ (A ) = χ () (A ) + χ () (A ) Denote by D (α), α =, n r, all nequvalent untary rrep. decomposed as In terms of traces, Then any rep D can be D = c α D (α) c α : some nteger, # of tme D (α) appears α χ (C ) = c α χ (α) (C ) α The coe cent can be calculated as follows (by usng orthogonty theorem). Multply by n χ (β) and sum over or χ χ (β) n = c α χ (α) α c β = n χ (β) χ χ (β) n n = c α nδ αβ = nc β α (Insttute) Representaton Theory 6 / 4
27 From ths, n χ χ = n c α χ (α) c β χ (β) α,β = n jc α j α Ths leads to the followng theorem: Theorem: If rep D wth character χ sat es, then the representaton D s rreducble. n χ χ = n (Insttute) Representaton Theory 7 / 4
28 Regular Representaton Gven a group G = fa = E, A A n g.we can construct the regular rep as follows: Take any A G. If AA = A 3 = 0A + 0A + A 3 + 0A 4 +.e. we wrte the product "formally" as lnear combnaton of group elements, n n AA s = C rs A r = A r D rs (A),.e. C rs = D rs (A) s ether 0 or. (8) r = r =.e. D rs (A) = f AA s = A r or A = A r As = 0 otherwse Strctly speakng, the sum over group elments s unde ned. But here only one group element shows up n the rght-hand sde n Eq(8). No need to de ne the sum of group elements. Then D (A) s form a rep of G : regular representaton wth dmensonal n. Ths can be seen as follows: or r A r D rs (AB ) = ABA s = A t A t D ts (B ) = D ts (B ) A r D rt (A) tr D rs (AB ) = D rt (A) D ts (B ) (Insttute) Representaton Theory 8 / 4
29 From de nton of regular representaton dagonal elements are, D rs (A) = AA s = A r D rr (A) = AA r = A r or A = E Then every character s zero except for dentty class, Reduce D (reg ) to rreps. then Wrte c α = n χ (reg ) (C ) = 0 6= χ (reg ) (C ) = n = (9) D (reg ) = c α D (α) α χ (reg ) χ (α) n = n χ(reg ) χ (α) = n nl α = l α =) D reg contans rreps as many tmes as ts dmenson, χ (reg ) n r = l α χ (α) or χ (reg ) n r = χ (α) χ (α) = nδ α α= (Insttute) Representaton Theory 9 / 4
30 For dentty class χ reg = n, χ (α) = l α, then α l α = n Ths constrants the possble dmensonaltes of rreps becuase both n and l α have to be ntegers. For D 3, wth n = 6, the only possble soluton for α l α = 6 s l =. l =. l 3 =, and ther permutatons. (Insttute) Representaton Theory 30 / 4
31 We now want to show that n c = n r.e. # of classes = # of rreps. We wll derve another orthogonal relatons χ (α) wth summaton over rreps rather than classes, χ (α) χ (α) j α The dervaton s separated nto several steps. De ne D (α) by D (α) = AC D (α) (A) Then we can show that D (α) D (α) (A j ) D (α) D (α) Aj s a multple of dentty. Frst, = D (α) (A j ) D (α) (A) D (α) Aj AC = D (α) A j AAj = D (α) AC Usng D (α) Aj = D (α) (A j ) (Insttute) Representaton Theory 3 / 4
32 we get.e. D (α) D (α) D (α) (A j ) D (α) = D (α) D (α) (A j ) commutes wth all matrce n the rrep. From Schur s lemma, we get = λ (α) where λ (α) s some number. Takng the trace, n χ (α) = λ (α) l α, or λ (α) = n χ (α) l α = n χ (α) χ (α) where χ (α) s the character of dentty class. From the property of the class multplcaton, we have C C j = C jk C k k LHS C C j s a collectons of group element of the type A A j where A C and A j C j. Map these products nto rrep matrces and sum over to get D (α) D (α) j = C jk D (α) k k or λ (α) λ (α) j = C jk λ (α) k k (Insttute) Representaton Theory 3 / 4
33 For example, n the group D 3, we have classes, C = fe g, C = fa, B g, C 3 = fk, L, M g. Then C C 3 = fa, B g fk, L, M g = fak, AL, AM, BK, BL, BM g = fk, L, M g = C 3 Map these elements to ther matrx representaton and sum over, LHS = D (AK ) + D (AL) + D (AM ) + D (BK ) + D (BL) + D (BM ) = D (A)D (K ) + D (A)D (L) + D (A)D (M ) + D (B )D (K ) + D (B )D (L) + D (B )D (M = [D (A) + D (B )] [D (L) + D (M ) + D (K ] and RHS = [D (L) + D (M ) + D (K ] Ths llustrates the relaton.usng the values of λ (α) n Eq(??), n χ (α) χ (α) n j χ (α) j χ (α) = k n k χ (α) k C jk χ (α) or n n j χ (α) χ (α) j = χ (α) C jk n k χ (α) k k Sum over the rrep α, α n n j χ (α) χ (α) j = α C jk n k χ (α) χ (α) k k (Insttute) Representaton Theory 33 / 4
34 3 We now compute the coe cents C jk. If any element A belongs to th class, let the class whch contans A be denoted by 0 th class. We then get 0 C j = n for j 6= 0 for j = 0 We make use of the property of regular rep, α χ α χα k = nδ k, n Eq(??) to get, α n n j χ (α) χ (α) j = α C jk n k χ (α) χk α 0 = nc j = nn k for j 6= 0 for j = 0 Then Snce rep s untary n r χ (α) χ (α) j = n δj 0 α= n j we get and D (α) (A ) = D (α) (A ) = D (α) A = D (α) (A 0 ) Ths s the orthogonal relaton for χ (α). χ (α) 0 = χ (α) n r χ (α) χ (α) j α= = n n j δj (Insttute) Representaton Theory 34 / 4
35 If we now consder χ (α) as a vector n n r dm space! χ = χ (), χ (),... χ (nr ) we get n c n r Combne ths wth the result n r n c, we have derved before, we get n r = n c (Insttute) Representaton Theory 35 / 4
36 Character Table For a nte group, the essental nformaton about the rrep can be summarzed n a table wtth characters of each rrep n terms of the classes. To construct such table, use the followng useful nformaton: # of columns = # of rows = # of classes α l α = n 3 n χ (α) χ (β) = nδ αβ and χ (α) α χ (α) j = n n δ j 4 If l α =, χ s tself a rep. 5 χ (α) A = T r D (α) A = T r D (α)+ A = χ (α) (A) If A and A are n the same class then χ (A) s real. 6 D (α) s a rep =) D (α) s also a rep so f χ (α) s are complex numbers, another row wll be ther complex conjugate 7 If l α >, χ (α) = 0 for at least one class. Ths follows from the relaton n jχ j = n and n = n 8 For physcal symmetry group, x.y and z form a bass of a rep. Example : D 3 character table (Insttute) Representaton Theory 36 / 4
37 E C 3 3C 0 x + y, z A R z, z. A (xz, yz) (x, y ) E 0 x y, xy (R x.r y ) Here, typcal bass functons up to quadratc n coordnate system are lsted. Remark: the bass functons are not necessarly normalzed. Usng the transformaton propertes of the coordnate, we can also nfer the transformaton propertes of any vectors. For example, the usual coordnates have the transformaton property, ~r = (x, y, z) A E n D 3 Ths means that electrc eld of ~ E or magnetc eld ~ B wll have same transformaton property, ~ B s ~ E s A E because they all transform the same way under the rotaton. (Insttute) Representaton Theory 37 / 4
38 Product Representaton (Kronecker product) Let x be the bass for D (α),.e. x 0 = `α x j D (α) j (A) j= `β y` be the bass for D (β),.e. yk 0 = y`d (β) `k (A) `= then the products x j y l transform as x 0 y 0 k = D (α) j j` (A) D (β) k` (A) x j y` j` D (αβ) j`;k (A) x j y` where D (αβ) j`;k (A) = D (α) j (A) D (β) `k (A) Note that matrces, row and column are labelled by ndces, nstead of one. We can show that D (αβ) forms a rep of the group. h D (αβ) (A) D (αβ) (B ) = D (αβ) (A) j;k` j,st D (αβ) (B ) st;k` s.t = s.t D (α) s (A) D (β) jt (A) D (α) sk (B ) D (β) t` (B ) = D (α) k (AB ) D (β) j` (AB ) = D (αβ) (AB ) k;k` or D (αβ) (A) D (αβ) (B ) = D (αβ) (AB ) (Insttute) Representaton Theory 38 / 4
39 The bass functons for D (αβ) are x y j The character of ths rep can be calculated by makng the row and colum ndces the same and sum over, χ (αβ) (A) = j` D (αβ) j`;j` (A) = j` D (α) jj χ (αβ) (A) = χ (α) (A) χ (β) (A) (A) D (β) `` (A) = χ (α) (A) χ (β) (A) If α = β, we can further decompose the product rep by symmetrzaton or antsymmetrzaton; D fααg k,j` (A) = h D (α) j (A) D (α) (α) k` (A) + D ` (A) D (α) kj (A) bass p (x y k + x k y ) D [αα] k,j` (A) = h D (α) j (A) D (α) k` (A) D (α) ` (A) D (α) kj (A) These matrces also form rep of G and the characters are gven by bass p (x y k x k y ) χ fααg (A) = χ (α) (A) + χ (α) A, χ [αα] (A) = χ (α) (A) χ (α) A Example D 3 E. C 3 3C 0 Γ R z. z Γ (xz, yz) (x, y ) Γ 3 0 x y, xy Γ 3 Γ = Γ Γ Γ 3 (Γ 3 Γ 3 ) s 3 0 = Γ Γ 3 (Γ 3 Γ 3 ) a = Γ (Insttute) Representaton Theory 39 / 4
40 Drect Product Group Gven groups G = fe, A A n g, G = fe, B B m g, de ne product group as G G = fa B j ; = n, j = mg wth multplcaton law (A k B`) (A k 0 B`0 ) = (A k B k 0 ) (B`B`0 ) It turns out that rrep of G G are just drect product of rreps of G, and G. Let D (α) (A ) be an rrep of G and D (β) (B j ) an rrep of G then the matrces de ned by wll have the property D (αβ) (A B j ) ab;cd D (α) (A ) ac D (β) (B j ) bd h D (αβ) (A B j ) D (αβ) (A k B`) ab;cd h h = D (αβ) (A B j ) D (αβ) (A k B`) ab;ef ef ;cd ef = hd (α) (A ) ac D (α) (A k ) ec hd (β) (B j ) bf D (β) (B e ) fd ef = D (α) (A A k ) ac D (β) (B j B`) bd = D (αβ) (A A k. B j B`) ab;cd Thus matrce D (αβ) (A B j ) form a representaton of the product group G G. The characters are, χ (αβ) (A B j ) = D (αβ) (A B j ) ab;ab = ab D (α) (A ) aa D (β) (B j ) bb = χ (α) (A ) χ (β) (B j ) ab (Insttute) Representaton Theory 40 / 4
41 Then j χ (αβ) (A B j ) =! χ (α) (A ) j! χ (β) (B j ) = nm =) D (αβ) s rrep. Example, G = D 3 = fe, C 3, 3C 0 g, G = fe, σ h g = ϕ where σ h : re ecton on the plane of trangle. Drect product group s then D 3h D 3 ϕ = E, A, B = fe, C 3, 3C 0, σ h, C 3 σ h, 3C 0 σ hg Character Table ϕ E σ h Γ + Γ Character Table E C 3 C 0 σ h C 3 σ h C 0 σ h Γ + Γ + Γ Γ + Γ + Γ C 3 C 0 D 3 E AB KLM Γ Γ Γ 3 0 (Insttute) Representaton Theory 4 / 4
Lorentz Group. Ling Fong Li. 1 Lorentz group Generators Simple representations... 3
Lorentz Group Lng Fong L ontents Lorentz group. Generators............................................. Smple representatons..................................... 3 Lorentz group In the dervaton of Drac
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More informationInner Product. Euclidean Space. Orthonormal Basis. Orthogonal
Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,
More informationRepresentation theory and quantum mechanics tutorial Representation theory and quantum conservation laws
Representaton theory and quantum mechancs tutoral Representaton theory and quantum conservaton laws Justn Campbell August 1, 2017 1 Generaltes on representaton theory 1.1 Let G GL m (R) be a real algebrac
More information7. Products and matrix elements
7. Products and matrx elements 1 7. Products and matrx elements Based on the propertes of group representatons, a number of useful results can be derved. Consder a vector space V wth an nner product ψ
More information763622S ADVANCED QUANTUM MECHANICS Solution Set 1 Spring c n a n. c n 2 = 1.
7636S ADVANCED QUANTUM MECHANICS Soluton Set 1 Sprng 013 1 Warm-up Show that the egenvalues of a Hermtan operator  are real and that the egenkets correspondng to dfferent egenvalues are orthogonal (b)
More informationMEM 255 Introduction to Control Systems Review: Basics of Linear Algebra
MEM 255 Introducton to Control Systems Revew: Bascs of Lnear Algebra Harry G. Kwatny Department of Mechancal Engneerng & Mechancs Drexel Unversty Outlne Vectors Matrces MATLAB Advanced Topcs Vectors A
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationSL n (F ) Equals its Own Derived Group
Internatonal Journal of Algebra, Vol. 2, 2008, no. 12, 585-594 SL n (F ) Equals ts Own Derved Group Jorge Macel BMCC-The Cty Unversty of New York, CUNY 199 Chambers street, New York, NY 10007, USA macel@cms.nyu.edu
More informationLecture 6/7 (February 10/12, 2014) DIRAC EQUATION. The non-relativistic Schrödinger equation was obtained by noting that the Hamiltonian 2
P470 Lecture 6/7 (February 10/1, 014) DIRAC EQUATION The non-relatvstc Schrödnger equaton was obtaned by notng that the Hamltonan H = P (1) m can be transformed nto an operator form wth the substtutons
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More informationQuantum Mechanics I - Session 4
Quantum Mechancs I - Sesson 4 Aprl 3, 05 Contents Operators Change of Bass 4 3 Egenvectors and Egenvalues 5 3. Denton....................................... 5 3. Rotaton n D....................................
More information2 More examples with details
Physcs 129b Lecture 3 Caltech, 01/15/19 2 More examples wth detals 2.3 The permutaton group n = 4 S 4 contans 4! = 24 elements. One s the dentty e. Sx of them are exchange of two objects (, j) ( to j and
More informationQuantum Mechanics for Scientists and Engineers. David Miller
Quantum Mechancs for Scentsts and Engneers Davd Mller Types of lnear operators Types of lnear operators Blnear expanson of operators Blnear expanson of lnear operators We know that we can expand functons
More information8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS
SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 493 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces you have studed thus far n the text are real vector spaces because the scalars
More information5 The Rational Canonical Form
5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces
More informationAdvanced Quantum Mechanics
Advanced Quantum Mechancs Rajdeep Sensarma! sensarma@theory.tfr.res.n ecture #9 QM of Relatvstc Partcles Recap of ast Class Scalar Felds and orentz nvarant actons Complex Scalar Feld and Charge conjugaton
More informationAppendix for Causal Interaction in Factorial Experiments: Application to Conjoint Analysis
A Appendx for Causal Interacton n Factoral Experments: Applcaton to Conjont Analyss Mathematcal Appendx: Proofs of Theorems A. Lemmas Below, we descrbe all the lemmas, whch are used to prove the man theorems
More information9 Characteristic classes
THEODORE VORONOV DIFFERENTIAL GEOMETRY. Sprng 2009 [under constructon] 9 Characterstc classes 9.1 The frst Chern class of a lne bundle Consder a complex vector bundle E B of rank p. We shall construct
More informationSalmon: Lectures on partial differential equations. Consider the general linear, second-order PDE in the form. ,x 2
Salmon: Lectures on partal dfferental equatons 5. Classfcaton of second-order equatons There are general methods for classfyng hgher-order partal dfferental equatons. One s very general (applyng even to
More information= = = (a) Use the MATLAB command rref to solve the system. (b) Let A be the coefficient matrix and B be the right-hand side of the system.
Chapter Matlab Exercses Chapter Matlab Exercses. Consder the lnear system of Example n Secton.. x x x y z y y z (a) Use the MATLAB command rref to solve the system. (b) Let A be the coeffcent matrx and
More informationDISCRIMINANTS AND RAMIFIED PRIMES. 1. Introduction A prime number p is said to be ramified in a number field K if the prime ideal factorization
DISCRIMINANTS AND RAMIFIED PRIMES KEITH CONRAD 1. Introducton A prme number p s sad to be ramfed n a number feld K f the prme deal factorzaton (1.1) (p) = po K = p e 1 1 peg g has some e greater than 1.
More informationFormulas for the Determinant
page 224 224 CHAPTER 3 Determnants e t te t e 2t 38 A = e t 2te t e 2t e t te t 2e 2t 39 If 123 A = 345, 456 compute the matrx product A adj(a) What can you conclude about det(a)? For Problems 40 43, use
More informationProblem Do any of the following determine homomorphisms from GL n (C) to GL n (C)?
Homework 8 solutons. Problem 16.1. Whch of the followng defne homomomorphsms from C\{0} to C\{0}? Answer. a) f 1 : z z Yes, f 1 s a homomorphsm. We have that z s the complex conjugate of z. If z 1,z 2
More informationDifference Equations
Dfference Equatons c Jan Vrbk 1 Bascs Suppose a sequence of numbers, say a 0,a 1,a,a 3,... s defned by a certan general relatonshp between, say, three consecutve values of the sequence, e.g. a + +3a +1
More informationMATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS
MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS These are nformal notes whch cover some of the materal whch s not n the course book. The man purpose s to gve a number of nontrval examples
More informationHomework Notes Week 7
Homework Notes Week 7 Math 4 Sprng 4 #4 (a Complete the proof n example 5 that s an nner product (the Frobenus nner product on M n n (F In the example propertes (a and (d have already been verfed so we
More informationLECTURE V. 1. More on the Chinese Remainder Theorem We begin by recalling this theorem, proven in the preceeding lecture.
LECTURE V EDWIN SPARK 1. More on the Chnese Remander Theorem We begn by recallng ths theorem, proven n the preceedng lecture. Theorem 1.1 (Chnese Remander Theorem). Let R be a rng wth deals I 1, I 2,...,
More information1 Vectors over the complex numbers
Vectors for quantum mechancs 1 D. E. Soper 2 Unversty of Oregon 5 October 2011 I offer here some background for Chapter 1 of J. J. Sakura, Modern Quantum Mechancs. 1 Vectors over the complex numbers What
More information1 Matrix representations of canonical matrices
1 Matrx representatons of canoncal matrces 2-d rotaton around the orgn: ( ) cos θ sn θ R 0 = sn θ cos θ 3-d rotaton around the x-axs: R x = 1 0 0 0 cos θ sn θ 0 sn θ cos θ 3-d rotaton around the y-axs:
More informationSingular Value Decomposition: Theory and Applications
Sngular Value Decomposton: Theory and Applcatons Danel Khashab Sprng 2015 Last Update: March 2, 2015 1 Introducton A = UDV where columns of U and V are orthonormal and matrx D s dagonal wth postve real
More informationMTH 819 Algebra I S13. Homework 1/ Solutions. 1 if p n b and p n+1 b 0 otherwise ) = 0 if p q or n m. W i = rw i
MTH 819 Algebra I S13 Homework 1/ Solutons Defnton A. Let R be PID and V a untary R-module. Let p be a prme n R and n Z +. Then d p,n (V) = dm R/Rp p n 1 Ann V (p n )/p n Ann V (p n+1 ) Note here that
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationSupplemental document
Electronc Supplementary Materal (ESI) for Physcal Chemstry Chemcal Physcs. Ths journal s the Owner Socetes 01 Supplemental document Behnam Nkoobakht School of Chemstry, The Unversty of Sydney, Sydney,
More informationC/CS/Phy191 Problem Set 3 Solutions Out: Oct 1, 2008., where ( 00. ), so the overall state of the system is ) ( ( ( ( 00 ± 11 ), Φ ± = 1
C/CS/Phy9 Problem Set 3 Solutons Out: Oct, 8 Suppose you have two qubts n some arbtrary entangled state ψ You apply the teleportaton protocol to each of the qubts separately What s the resultng state obtaned
More informationYong Joon Ryang. 1. Introduction Consider the multicommodity transportation problem with convex quadratic cost function. 1 2 (x x0 ) T Q(x x 0 )
Kangweon-Kyungk Math. Jour. 4 1996), No. 1, pp. 7 16 AN ITERATIVE ROW-ACTION METHOD FOR MULTICOMMODITY TRANSPORTATION PROBLEMS Yong Joon Ryang Abstract. The optmzaton problems wth quadratc constrants often
More informationMEM633 Lectures 7&8. Chapter 4. Descriptions of MIMO Systems 4-1 Direct Realizations. (i) x u. y x
MEM633 Lectures 7&8 Chapter 4 Descrptons of MIMO Systems 4- Drect ealzatons y() s s su() s y () s u () s ( s)( s) s y() s u (), s y() s u() s s s y() s u(), s y() s u() s ( s)( s) s () ( s ) y ( s) u (
More information332600_08_1.qxp 4/17/08 11:29 AM Page 481
336_8_.qxp 4/7/8 :9 AM Page 48 8 Complex Vector Spaces 8. Complex Numbers 8. Conjugates and Dvson of Complex Numbers 8.3 Polar Form and DeMovre s Theorem 8.4 Complex Vector Spaces and Inner Products 8.5
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationALGEBRA MID-TERM. 1 Suppose I is a principal ideal of the integral domain R. Prove that the R-module I R I has no non-zero torsion elements.
ALGEBRA MID-TERM CLAY SHONKWILER 1 Suppose I s a prncpal deal of the ntegral doman R. Prove that the R-module I R I has no non-zero torson elements. Proof. Note, frst, that f I R I has no non-zero torson
More informationCSCE 790S Background Results
CSCE 790S Background Results Stephen A. Fenner September 8, 011 Abstract These results are background to the course CSCE 790S/CSCE 790B, Quantum Computaton and Informaton (Sprng 007 and Fall 011). Each
More informationPerron Vectors of an Irreducible Nonnegative Interval Matrix
Perron Vectors of an Irreducble Nonnegatve Interval Matrx Jr Rohn August 4 2005 Abstract As s well known an rreducble nonnegatve matrx possesses a unquely determned Perron vector. As the man result of
More informationCOMPLEX NUMBERS AND QUADRATIC EQUATIONS
COMPLEX NUMBERS AND QUADRATIC EQUATIONS INTRODUCTION We know that x 0 for all x R e the square of a real number (whether postve, negatve or ero) s non-negatve Hence the equatons x, x, x + 7 0 etc are not
More informationLecture 12: Discrete Laplacian
Lecture 12: Dscrete Laplacan Scrbe: Tanye Lu Our goal s to come up wth a dscrete verson of Laplacan operator for trangulated surfaces, so that we can use t n practce to solve related problems We are mostly
More informationChat eld, C. and A.J.Collins, Introduction to multivariate analysis. Chapman & Hall, 1980
MT07: Multvarate Statstcal Methods Mke Tso: emal mke.tso@manchester.ac.uk Webpage for notes: http://www.maths.manchester.ac.uk/~mkt/new_teachng.htm. Introducton to multvarate data. Books Chat eld, C. and
More informationFACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
More informationLinear Approximation with Regularization and Moving Least Squares
Lnear Approxmaton wth Regularzaton and Movng Least Squares Igor Grešovn May 007 Revson 4.6 (Revson : March 004). 5 4 3 0.5 3 3.5 4 Contents: Lnear Fttng...4. Weghted Least Squares n Functon Approxmaton...
More informationAn Inequality for the trace of matrix products, using absolute values
arxv:1106.6189v2 [math-ph] 1 Sep 2011 An Inequalty for the trace of matrx products, usng absolute values Bernhard Baumgartner 1 Fakultät für Physk, Unverstät Wen Boltzmanngasse 5, A-1090 Venna, Austra
More informationFINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN
FINITELY-GENERTED MODULES OVER PRINCIPL IDEL DOMIN EMMNUEL KOWLSKI Throughout ths note, s a prncpal deal doman. We recall the classfcaton theorem: Theorem 1. Let M be a fntely-generated -module. (1) There
More informationCanonical transformations
Canoncal transformatons November 23, 2014 Recall that we have defned a symplectc transformaton to be any lnear transformaton M A B leavng the symplectc form nvarant, Ω AB M A CM B DΩ CD Coordnate transformatons,
More informationECEN 5005 Crystals, Nanocrystals and Device Applications Class 19 Group Theory For Crystals
ECEN 5005 Crystals, Nanocrystals and Devce Applcatons Class 9 Group Theory For Crystals Dee Dagram Radatve Transton Probablty Wgner-Ecart Theorem Selecton Rule Dee Dagram Expermentally determned energy
More informationSTAT 309: MATHEMATICAL COMPUTATIONS I FALL 2018 LECTURE 16
STAT 39: MATHEMATICAL COMPUTATIONS I FALL 218 LECTURE 16 1 why teratve methods f we have a lnear system Ax = b where A s very, very large but s ether sparse or structured (eg, banded, Toepltz, banded plus
More informationNorms, Condition Numbers, Eigenvalues and Eigenvectors
Norms, Condton Numbers, Egenvalues and Egenvectors 1 Norms A norm s a measure of the sze of a matrx or a vector For vectors the common norms are: N a 2 = ( x 2 1/2 the Eucldean Norm (1a b 1 = =1 N x (1b
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationRandom Walks on Digraphs
Random Walks on Dgraphs J. J. P. Veerman October 23, 27 Introducton Let V = {, n} be a vertex set and S a non-negatve row-stochastc matrx (.e. rows sum to ). V and S defne a dgraph G = G(V, S) and a drected
More informationGELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n
GELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n KANG LU FINITE DIMENSIONAL REPRESENTATIONS OF gl n Let e j,, j =,, n denote the standard bass of the general lnear Le algebra gl n over the feld of
More information12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product
12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA Here s an outlne of what I dd: (1) categorcal defnton (2) constructon (3) lst of basc propertes (4) dstrbutve property (5) rght exactness (6) localzaton
More informationChapter 5. Solution of System of Linear Equations. Module No. 6. Solution of Inconsistent and Ill Conditioned Systems
Numercal Analyss by Dr. Anta Pal Assstant Professor Department of Mathematcs Natonal Insttute of Technology Durgapur Durgapur-713209 emal: anta.bue@gmal.com 1 . Chapter 5 Soluton of System of Lnear Equatons
More informationSection 8.3 Polar Form of Complex Numbers
80 Chapter 8 Secton 8 Polar Form of Complex Numbers From prevous classes, you may have encountered magnary numbers the square roots of negatve numbers and, more generally, complex numbers whch are the
More informationNote 2. Ling fong Li. 1 Klein Gordon Equation Probablity interpretation Solutions to Klein-Gordon Equation... 2
Note 2 Lng fong L Contents Ken Gordon Equaton. Probabty nterpretaton......................................2 Soutons to Ken-Gordon Equaton............................... 2 2 Drac Equaton 3 2. Probabty nterpretaton.....................................
More informationFixed points of IA-endomorphisms of a free metabelian Lie algebra
Proc. Indan Acad. Sc. (Math. Sc.) Vol. 121, No. 4, November 2011, pp. 405 416. c Indan Academy of Scences Fxed ponts of IA-endomorphsms of a free metabelan Le algebra NAIME EKICI 1 and DEMET PARLAK SÖNMEZ
More informationMath 594. Solutions 1
Math 594. Solutons 1 1. Let V and W be fnte-dmensonal vector spaces over a feld F. Let G = GL(V ) and H = GL(W ) be the assocated general lnear groups. Let X denote the vector space Hom F (V, W ) of lnear
More informationU.C. Berkeley CS294: Beyond Worst-Case Analysis Luca Trevisan September 5, 2017
U.C. Berkeley CS94: Beyond Worst-Case Analyss Handout 4s Luca Trevsan September 5, 07 Summary of Lecture 4 In whch we ntroduce semdefnte programmng and apply t to Max Cut. Semdefnte Programmng Recall that
More informationPHZ 6607 Lecture Notes
NOTE PHZ 6607 Lecture Notes 1. Lecture 2 1.1. Defntons Books: ( Tensor Analyss on Manfols ( The mathematcal theory of black holes ( Carroll (v Schutz Vector: ( In an N-Dmensonal space, a vector s efne
More informationFirst day August 1, Problems and Solutions
FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve
More informationPolynomials. 1 More properties of polynomials
Polynomals 1 More propertes of polynomals Recall that, for R a commutatve rng wth unty (as wth all rngs n ths course unless otherwse noted), we defne R[x] to be the set of expressons n =0 a x, where a
More informationD.K.M COLLEGE FOR WOMEN (AUTONOMOUS), VELLORE DEPARTMENT OF MATHEMATICS
D.K.M COLLEGE FOR WOMEN (AUTONOMOUS), VELLORE DEPARTMENT OF MATHEMATICS SUB: ALGEBRA SUB CODE: 5CPMAA SECTION- A UNIT-. Defne conjugate of a n G and prove that conjugacy s an equvalence relaton on G. Defne
More informationSome Comments on Accelerating Convergence of Iterative Sequences Using Direct Inversion of the Iterative Subspace (DIIS)
Some Comments on Acceleratng Convergence of Iteratve Sequences Usng Drect Inverson of the Iteratve Subspace (DIIS) C. Davd Sherrll School of Chemstry and Bochemstry Georga Insttute of Technology May 1998
More informationHomework 1 Lie Algebras
Homework 1 Le Algebras Joshua Ruter February 9, 018 Proposton 0.1 Problem 1.7a). Let A be a K-algebra, wth char K. Then A s alternatve f and only f the folowng two lnear) denttes hold for all a, b, y A.
More informationCHAPTER 4. Vector Spaces
man 2007/2/16 page 234 CHAPTER 4 Vector Spaces To crtcze mathematcs for ts abstracton s to mss the pont entrel. Abstracton s what makes mathematcs work. Ian Stewart The man am of ths tet s to stud lnear
More informationDECOUPLING THEORY HW2
8.8 DECOUPLIG THEORY HW2 DOGHAO WAG DATE:OCT. 3 207 Problem We shall start by reformulatng the problem. Denote by δ S n the delta functon that s evenly dstrbuted at the n ) dmensonal unt sphere. As a temporal
More informationAPPENDIX D: PROPERTIES OF PRODUCT OPERATORS
Propertes of Product Operators 147 APPENDIX D: PROPERTIES OF PRODUCT OPERATORS A system of m spn 1/2 nucle has N 2 m states The bass set for ths system conssts of N 2 product operators (PO) whch are N
More informationThe Prncpal Component Transform The Prncpal Component Transform s also called Karhunen-Loeve Transform (KLT, Hotellng Transform, oregenvector Transfor
Prncpal Component Transform Multvarate Random Sgnals A real tme sgnal x(t can be consdered as a random process and ts samples x m (m =0; ;N, 1 a random vector: The mean vector of X s X =[x0; ;x N,1] T
More informationA new construction of 3-separable matrices via an improved decoding of Macula s construction
Dscrete Optmzaton 5 008 700 704 Contents lsts avalable at ScenceDrect Dscrete Optmzaton journal homepage: wwwelsevercom/locate/dsopt A new constructon of 3-separable matrces va an mproved decodng of Macula
More informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
More informationAn Introduction to Morita Theory
An Introducton to Morta Theory Matt Booth October 2015 Nov. 2017: made a few revsons. Thanks to Nng Shan for catchng a typo. My man reference for these notes was Chapter II of Bass s book Algebrac K-Theory
More informationNOTES ON SIMPLIFICATION OF MATRICES
NOTES ON SIMPLIFICATION OF MATRICES JONATHAN LUK These notes dscuss how to smplfy an (n n) matrx In partcular, we expand on some of the materal from the textbook (wth some repetton) Part of the exposton
More informationON MECHANICS WITH VARIABLE NONCOMMUTATIVITY
ON MECHANICS WITH VARIABLE NONCOMMUTATIVITY CIPRIAN ACATRINEI Natonal Insttute of Nuclear Physcs and Engneerng P.O. Box MG-6, 07725-Bucharest, Romana E-mal: acatrne@theory.npne.ro. Receved March 6, 2008
More informationThe Geometry of Logit and Probit
The Geometry of Logt and Probt Ths short note s meant as a supplement to Chapters and 3 of Spatal Models of Parlamentary Votng and the notaton and reference to fgures n the text below s to those two chapters.
More informationOrthogonal Functions and Fourier Series. University of Texas at Austin CS384G - Computer Graphics Spring 2010 Don Fussell
Orthogonal Functons and Fourer Seres Vector Spaces Set of ectors Closed under the followng operatons Vector addton: 1 + 2 = 3 Scalar multplcaton: s 1 = 2 Lnear combnatons: Scalars come from some feld F
More informationPHYS 705: Classical Mechanics. Calculus of Variations II
1 PHYS 705: Classcal Mechancs Calculus of Varatons II 2 Calculus of Varatons: Generalzaton (no constrant yet) Suppose now that F depends on several dependent varables : We need to fnd such that has a statonary
More informationOn the symmetric character of the thermal conductivity tensor
On the symmetrc character of the thermal conductvty tensor Al R. Hadjesfandar Department of Mechancal and Aerospace Engneerng Unversty at Buffalo, State Unversty of New York Buffalo, NY 146 USA ah@buffalo.edu
More informationChapter 7 Generalized and Weighted Least Squares Estimation. In this method, the deviation between the observed and expected values of
Chapter 7 Generalzed and Weghted Least Squares Estmaton The usual lnear regresson model assumes that all the random error components are dentcally and ndependently dstrbuted wth constant varance. When
More informationFall 2012 Analysis of Experimental Measurements B. Eisenstein/rev. S. Errede
Fall 0 Analyss of Expermental easurements B. Esensten/rev. S. Errede We now reformulate the lnear Least Squares ethod n more general terms, sutable for (eventually extendng to the non-lnear case, and also
More information1 (1 + ( )) = 1 8 ( ) = (c) Carrying out the Taylor expansion, in this case, the series truncates at second order:
68A Solutons to Exercses March 05 (a) Usng a Taylor expanson, and notng that n 0 for all n >, ( + ) ( + ( ) + ) We can t nvert / because there s no Taylor expanson around 0 Lets try to calculate the nverse
More informationThis model contains two bonds per unit cell (one along the x-direction and the other along y). So we can rewrite the Hamiltonian as:
1 Problem set #1 1.1. A one-band model on a square lattce Fg. 1 Consder a square lattce wth only nearest-neghbor hoppngs (as shown n the fgure above): H t, j a a j (1.1) where,j stands for nearest neghbors
More informationBézier curves. Michael S. Floater. September 10, These notes provide an introduction to Bézier curves. i=0
Bézer curves Mchael S. Floater September 1, 215 These notes provde an ntroducton to Bézer curves. 1 Bernsten polynomals Recall that a real polynomal of a real varable x R, wth degree n, s a functon of
More informationw ). Then use the Cauchy-Schwartz inequality ( v w v w ).] = in R 4. Can you find a vector u 4 in R 4 such that the
Math S-b Summer 8 Homework #5 Problems due Wed, July 8: Secton 5: Gve an algebrac proof for the trangle nequalty v+ w v + w Draw a sketch [Hnt: Expand v+ w ( v+ w) ( v+ w ) hen use the Cauchy-Schwartz
More informationNotes on Analytical Dynamics
Notes on Analytcal Dynamcs Jan Peters & Mchael Mstry October 7, 004 Newtonan Mechancs Basc Asssumptons and Newtons Laws Lonely pontmasses wth postve mass Newtons st: Constant velocty v n an nertal frame
More informationBezier curves. Michael S. Floater. August 25, These notes provide an introduction to Bezier curves. i=0
Bezer curves Mchael S. Floater August 25, 211 These notes provde an ntroducton to Bezer curves. 1 Bernsten polynomals Recall that a real polynomal of a real varable x R, wth degree n, s a functon of the
More information12. The Hamilton-Jacobi Equation Michael Fowler
1. The Hamlton-Jacob Equaton Mchael Fowler Back to Confguraton Space We ve establshed that the acton, regarded as a functon of ts coordnate endponts and tme, satsfes ( ) ( ) S q, t / t+ H qpt,, = 0, and
More informationFrom Biot-Savart Law to Divergence of B (1)
From Bot-Savart Law to Dvergence of B (1) Let s prove that Bot-Savart gves us B (r ) = 0 for an arbtrary current densty. Frst take the dvergence of both sdes of Bot-Savart. The dervatve s wth respect to
More informationMathematical Preparations
1 Introducton Mathematcal Preparatons The theory of relatvty was developed to explan experments whch studed the propagaton of electromagnetc radaton n movng coordnate systems. Wthn expermental error the
More informationA how to guide to second quantization method.
Phys. 67 (Graduate Quantum Mechancs Sprng 2009 Prof. Pu K. Lam. Verson 3 (4/3/2009 A how to gude to second quantzaton method. -> Second quantzaton s a mathematcal notaton desgned to handle dentcal partcle
More informationPh 219a/CS 219a. Exercises Due: Wednesday 23 October 2013
1 Ph 219a/CS 219a Exercses Due: Wednesday 23 October 2013 1.1 How far apart are two quantum states? Consder two quantum states descrbed by densty operators ρ and ρ n an N-dmensonal Hlbert space, and consder
More informationGoogle PageRank with Stochastic Matrix
Google PageRank wth Stochastc Matrx Md. Sharq, Puranjt Sanyal, Samk Mtra (M.Sc. Applcatons of Mathematcs) Dscrete Tme Markov Chan Let S be a countable set (usually S s a subset of Z or Z d or R or R d
More informationDeriving the X-Z Identity from Auxiliary Space Method
Dervng the X-Z Identty from Auxlary Space Method Long Chen Department of Mathematcs, Unversty of Calforna at Irvne, Irvne, CA 92697 chenlong@math.uc.edu 1 Iteratve Methods In ths paper we dscuss teratve
More informationDistribution det x s on p-adic matrices
January 30, 207 Dstruton det x s on p-adc matrces aul arrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Let e a p-adc feld wth ntegers o, local parameter, and resdue feld cardnalty q. Let A
More informationPRIMES 2015 reading project: Problem set #3
PRIMES 2015 readng project: Problem set #3 page 1 PRIMES 2015 readng project: Problem set #3 posted 31 May 2015, to be submtted around 15 June 2015 Darj Grnberg The purpose of ths problem set s to replace
More information