LECTURE 8-9: THE BAKER-CAMPBELL-HAUSDORFF FORMULA
|
|
- Augustine Payne
- 5 years ago
- Views:
Transcription
1 LECTURE 8-9: THE BAKER-CAMPBELL-HAUSDORFF FORMULA As we have seen, 1. Taylor s expanson on Le group, Y ] a(y ). So f G s an abelan group, then c(g) : G G s the entty ap for all g G. As a consequence, a() 0. It follows that the Le algebra of an abelan Le group s also abelan,.e., Y ] 0 for all, Y g. Conversely, one can prove (usng proposton 3.1 n lecture 6) that f G s connecte an g s abelan, then G s also abelan. In other wors, the Le bracket operaton on g easures the non-coutatvty of the ultplcaton operaton on G. In what follows we woul lke to characterze ths quanttatvely. In other wors, we woul lke to fn out the fferent between exp() exp(y ) an exp( + Y ) for a general Le group. Let G be a Le group an g a left nvarant vector fel on G. Then (f)(a) a f L a e f e (f L a ) t f(a exp(t)). for any f C (G) an any a G. More generally, for any t R, (f)(a exp(t)) s f(a exp(t) exp(s)) s0 s f(a exp((t+s))) f(a exp(t)). s0 t Usng ths an nucton, one can see that for any k 0, In partcular, ( k f)(a exp(t)) k (f(a exp(t))). tk ( k f)(a) k t k f(a exp(t)). The forulae above can be generalze to ult-varable case. In fact, f 1,, k g, then ( 1 2 f)(a) ( 2 f)(a exp(t 1 1 )) t 1 t 1 t 2 f(a exp(t 1 1 ) exp(t 2 2 )), t2 0 an n general t1 0 ( 1 k f)(a) t1 0 k t 1 t k f(a exp(t 1 1 ) exp(t k k )). t1 t k 0 As a consequence, we get the followng Taylor s expanson forula 1
2 2 LECTURE 8-9: THE BAKER-CAMPBELL-HAUSDORFF FORMULA Proposton 1.1. If f s sooth on G, then for sall t, f(exp(t 1 ) exp(t n )) f(e)+t { f(e)+ t2 2 f(e) + 2 } j f(e) +O(t 3 ). 2 We reark that the prevous forulae hol for vector-value functons as well. Our an result n ths secton s Theore 1.2. Let n 1 an 1,, n g. Then for t suffcently sall, exp(t 1 ) exp(t n ) exp(t 1 n + t2 2 1 n, j ] + O(t 3 )). Proof. We apply proposton 1.1 to the nverse of the exponental ap near e,.e. the ap f efne by f(exp(t)) t for t sall enough. Then obvously, f(e) 0. For any g, (f)(e) t f(exp(t)) t (t) an for any n > 1, ( n f)(e) n t n f(exp(t)) n t n (t) 0. Notce j ( n ) 2 +, j ], t follows that f(exp(t 1 ) exp(t n )) t + t2, j ] + O(t 3 ). 2 On the other han, by the efnton of f, exp(t 1 ) exp(t n ) exp(f(exp(t 1 ) exp(t n ))). Ths copletes the proof. In partcular, we see exp(t) exp(ty ) exp(t + ty + t2 2, Y ] + O( t 3 ) for t sall. So, Y ] onates the fference between exp() exp(y ) an exp( + Y ), an thus onates the non-coutatvty of the group ultplcaton.
3 LECTURE 8-9: THE BAKER-CAMPBELL-HAUSDORFF FORMULA 3 2. The Baker-Capbell-Hausorff Forula Now the queston s: What are the hgher orer ters n O(t 3 ) above? For splcty we wll enote by log the nverse of exp near 0 g. Let µ(, Y ) log(exp() exp(y )) for, Y close to 0 g. We have seen above that µ(, Y ) + Y + 1 2, Y ] + O( 3, Y 3 ) for, Y sall. A rearkable fact about the reaner ters s that they nvolves only Le brackets! In other wors, we have Theore 2.1 (The Baker-Capbell-Hausorff forula (exstence)). For an Y sall, we have µ(, Y ) + Y + 2 P (, Y ), where P (A, B) s a Le polynoal of orer,.e. P (, Y ) s a cobnaton of neste coutators n, Y that nvolves 1 Le brackets. Although n applcaton, the above exstence result s suffcent, we wll prove the followng explct forula: Theore 2.2 (Dynkn s forula). For an Y sall, ( 1) k ( 1) (l + ) (ay ) l 1 µ(, Y ) +Y + k+1 l 1 + +l k +1 l 1! k1 (a) 1 1! (ay )l k l k! where the secon suaton s over l 1,, l k, 1,, k 0, l + > 0. As a consequence, we can wrte own P (, Y ) for sall. Of course, P 2 (, Y ) 1, Y ]. 2 The next ter P 3 (, Y ) coes fro the followng ters n Dynkns s forula: (1) k 1, l 1 1, Y,, Y ]]; 2 2 (2) k 1, l 1 0, ,, Y ]]; (3) k 2, l 1 1, 1 0, l 2 0, Y,, Y ]]; 3 2 (4) k 2, l 1 0, 1 1, l 2 0, ,, Y ]]; 3 1 It follows P 3 (, Y ) 1 (,, Y ]] Y,, Y ]]). 12 Slarly one can calculate the next ter an get P 4 (, Y ) 1, Y, Y, ]]]. 24 (a) k (Y ), k!
4 4 LECTURE 8-9: THE BAKER-CAMPBELL-HAUSDORFF FORMULA To prove the Dynkn s forula, we wll nee the followng forula that coputes the fferental of the exponental ap at an arbtrary pont. Lea 2.3. For each g, ( exp) (L exp ) e φ(a), where φ s the functon φ(z) 1 e z z 0 ( 1) ( + 1)! z. Proof of Dynkn s forula. Wrte Applyng lea 2.3, we get Z(t) log(exp() exp(ty )). t (exp Z(t)) L exp t (exp ty ) L exp L exp ty φ(a(ty ))(Y ) L exp Z(t) (Y ), where we use the fact φ(a(ty ))(Y ) Y. On the other han, by usng lea 2.3 rectly, t (exp Z(t)) L exp Z(t)φ(aZ(t)) Z t. It follows Z t az(t) I exp( az(t)) (Y ) k 0 1 k + 1 (I exp( az(t)))k (Y ). Notce that by the naturalty of exp an by the efnton of a an A, Thus Z t k 0 k 0 exp( az(t)) A exp( Z(t)) A(exp( ty ) exp( )) A(exp( ty )) A(exp( )) exp( ta(y )) exp( a()). (I exp( tay ) exp( a)) k (Y ) k + 1 ( 1) k k + 1 l 1,,l k, 1,, k 0,l + >0 t l ( 1) l + (ay )l 1 (a) 1 l 1! 1! (ay )l k l k! (a) k Y. k! where n the last step we use the fact that a En(g) s an eleent n a lnear Le group, an thus the exponental ap s exactly the atrx exponental. Now the Dynkn s forula follows fro terwse ntegraton over t fro 0 to 1.
5 LECTURE 8-9: THE BAKER-CAMPBELL-HAUSDORFF FORMULA 5 3. The Dervatve of the Exponental Map Fnally we prove lea 2.3. We frst show Lea 3.1. Let γ 1 (t), γ 2 (t) be sooth curves on G, an let γ(t) γ 1 (t)γ 2 (t), then γ(t) L γ1 (t)( γ 2 (t)) + R γ2 (t)( γ 1 (t)). Proof. Notce the fact γ(t) µ(γ 1 (t), γ 2 (t)), where µ s the ultplcaton operaton on G. So the forula above follows fro the followng forula we have proven, µ a,b ( a, Y b ) (L a ) b (Y a ) + (R b ) a ( a ). More generally, by usng nucton one can easly see that f γ 1 (t),, γ (t) are sooth curves on G, an let γ(t) γ 1 (t) γ (t), then γ(t) L γ1 (t) L γk 1 R γk+1 (t) R γ(t)( γ k (t)). k1 Now we are reay to prove lea 2.3. For splcty we wll enote ν(, Y ) : t exp( + ty ) ( exp) (Y ). Obvously ν(, Y ) s lnear n Y for each fxe, an lea 2.3 follows fro Lea 3.2. For any, Y g, t exp( + ty ) (L exp ) e φ(a)(y ). Proof. We notce that for any postve nteger, ν(, Y ) t exp( + t Y ] ) (L exp 1 ) k (R exp ) k (L exp 1 (L exp ) k 1 (R exp ) k ν(, Y ) 1 ) 1 (L exp ) k (R exp ) k ν(, Y ). Recall that the fferental of the conjugaton ap c(a) L a R a 1 c(exp( ] k )) A(exp ] k ) s A, so we get exp( a ] k ).
6 6 LECTURE 8-9: THE BAKER-CAMPBELL-HAUSDORFF FORMULA So we get, for every postve nteger, ν(, Y ) (L exp ) 1 1 Now the result follows snce as, (L exp ) 1 L ( 1) exp 1 exp( a ] k ) ν(, Y ). L exp, ν(, Y ) ν(0, Y ) ( exp) 0(Y ) Y, an, snce a En(g) s a atrx, 1 1 exp( a ] k ) 1 1 exp ( k ) a ( k ) n n! a n0 1 1 ( ) ] n k ( 1) n (a) n n! n0 1 ] ( 1) x n n x (a) n n0 0 n! ( 1) n (n + 1)! (a)n. n0 Fnally we gve several applcatons. Gven the ervatve of the exponental ap exp at an arbtrary pont, we are reay to answer the followng queston: at whch ponts the ap exp s sngular,.e. ( exp) s not nvertble? Snce ( exp) (L exp ) e φ(a) an L exp ) e s always nvertble, we see that ( exp) s not nvertble f an only f the atrx φ(a) En(g) s not nvertble,.e. 0 s not an egenvalue of φ(a). Snce all egenvalues of φ(a) are of the for φ(λ) 1 e λ, where λ s an egenvalue λ of a En(g), we conclue Corollary 3.3. The sngular ponts of the exponental ap exp : g G are precsely those g such that a En(g) has an egenvalue of the for 2πk, wth k Z \ {0}. As an exaple, we see that f G s an abelan Le group, then exp s non-sngular everywhere. More generally, f g s nlpotent, then exp : g G s non-sngular everywhere.
Large-Scale Data-Dependent Kernel Approximation Appendix
Large-Scale Data-Depenent Kernel Approxmaton Appenx Ths appenx presents the atonal etal an proofs assocate wth the man paper [1]. 1 Introucton Let k : R p R p R be a postve efnte translaton nvarant functon
More informationThe Parity of the Number of Irreducible Factors for Some Pentanomials
The Party of the Nuber of Irreducble Factors for Soe Pentanoals Wolfra Koepf 1, Ryul K 1 Departent of Matheatcs Unversty of Kassel, Kassel, F. R. Gerany Faculty of Matheatcs and Mechancs K Il Sung Unversty,
More informationChapter 2 Transformations and Expectations. , and define f
Revew for the prevous lecture Defnton: support set of a ranom varable, the monotone functon; Theorem: How to obtan a cf, pf (or pmf) of functons of a ranom varable; Eamples: several eamples Chapter Transformatons
More informationApplied Mathematics Letters
Appled Matheatcs Letters 2 (2) 46 5 Contents lsts avalable at ScenceDrect Appled Matheatcs Letters journal hoepage: wwwelseverco/locate/al Calculaton of coeffcents of a cardnal B-splne Gradr V Mlovanovć
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 informationExplicit bounds for the return probability of simple random walk
Explct bouns for the return probablty of smple ranom walk The runnng hea shoul be the same as the ttle.) Karen Ball Jacob Sterbenz Contact nformaton: Karen Ball IMA Unversty of Mnnesota 4 Ln Hall, 7 Church
More informationAnalytical classical dynamics
Analytcal classcal ynamcs by Youun Hu Insttute of plasma physcs, Chnese Acaemy of Scences Emal: yhu@pp.cas.cn Abstract These notes were ntally wrtten when I rea tzpatrck s book[] an were later revse to
More informationA Proof of a Conjecture for the Number of Ramified Coverings of the Sphere by the Torus
Journal of Cobnatoral Theory, Seres A 88, 4658 (999) Artcle ID jcta99999, avalable onlne at httpwwwdealbraryco on A Proof of a Conjecture for the Nuber of Rafed Coverngs of the Sphere by the Torus I P
More informationp(z) = 1 a e z/a 1(z 0) yi a i x (1/a) exp y i a i x a i=1 n i=1 (y i a i x) inf 1 (y Ax) inf Ax y (1 ν) y if A (1 ν) = 0 otherwise
Dustn Lennon Math 582 Convex Optmzaton Problems from Boy, Chapter 7 Problem 7.1 Solve the MLE problem when the nose s exponentally strbute wth ensty p(z = 1 a e z/a 1(z 0 The MLE s gven by the followng:
More information1 Definition of Rademacher Complexity
COS 511: Theoretcal Machne Learnng Lecturer: Rob Schapre Lecture #9 Scrbe: Josh Chen March 5, 2013 We ve spent the past few classes provng bounds on the generalzaton error of PAClearnng algorths for the
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 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 informationFORMULAS FOR BINOMIAL SUMS INCLUDING POWERS OF FIBONACCI AND LUCAS NUMBERS
U.P.B. Sc. Bull., Seres A, Vol. 77, Iss. 4, 015 ISSN 13-707 FORMULAS FOR BINOMIAL SUMS INCLUDING POWERS OF FIBONACCI AND LUCAS NUMBERS Erah KILIÇ 1, Iler AKKUS, Neşe ÖMÜR, Yücel Türer ULUTAŞ3 Recently
More informationGENERIC CONTINUOUS SPECTRUM FOR MULTI-DIMENSIONAL QUASIPERIODIC SCHRÖDINGER OPERATORS WITH ROUGH POTENTIALS
GENERIC CONTINUOUS SPECTRUM FOR MULTI-DIMENSIONAL QUASIPERIODIC SCHRÖDINGER OPERATORS WITH ROUGH POTENTIALS YANG FAN AND RUI HAN Abstract. We stuy the mult-mensonal operator (H xu) n = m n = um + f(t n
More informationPARTITIONS WITH PARTS IN A FINITE SET
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volue 28, Nuber 5, Pages 269 273 S 0002-9939(0005606-9 Artcle electroncally publshe on February 7, 2000 PARTITIONS WITH PARTS IN A FINITE SET MELVYN B.
More informationDenote the function derivatives f(x) in given points. x a b. Using relationships (1.2), polynomials (1.1) are written in the form
SET OF METHODS FO SOUTION THE AUHY POBEM FO STIFF SYSTEMS OF ODINAY DIFFEENTIA EUATIONS AF atypov and YuV Nulchev Insttute of Theoretcal and Appled Mechancs SB AS 639 Novosbrs ussa Introducton A constructon
More informationA Radon-Nikodym Theorem for Completely Positive Maps
A Radon-Nody Theore for Copletely Postve Maps V P Belavn School of Matheatcal Scences, Unversty of Nottngha, Nottngha NG7 RD E-al: vpb@aths.nott.ac.u and P Staszews Insttute of Physcs, Ncholas Coperncus
More informationHard Problems from Advanced Partial Differential Equations (18.306)
Har Problems from Avance Partal Dfferental Equatons (18.306) Kenny Kamrn June 27, 2004 1. We are gven the PDE 2 Ψ = Ψ xx + Ψ yy = 0. We must fn solutons of the form Ψ = x γ f (ξ), where ξ x/y. We also
More informationCOS 511: Theoretical Machine Learning
COS 5: Theoretcal Machne Learnng Lecturer: Rob Schapre Lecture #0 Scrbe: José Sões Ferrera March 06, 203 In the last lecture the concept of Radeacher coplexty was ntroduced, wth the goal of showng that
More informationA MULTIDIMENSIONAL ANALOGUE OF THE RADEMACHER-GAUSSIAN TAIL COMPARISON
A MULTIDIMENSIONAL ANALOGUE OF THE RADEMACHER-GAUSSIAN TAIL COMPARISON PIOTR NAYAR AND TOMASZ TKOCZ Abstract We prove a menson-free tal comparson between the Euclean norms of sums of nepenent ranom vectors
More informationTHE ADJACENCY-PELL-HURWITZ NUMBERS. Josh Hiller Department of Mathematics and Computer Science, Adelpi University, New York
#A8 INTEGERS 8 (8) THE ADJACENCY-PELL-HURWITZ NUMBERS Josh Hller Departent of Matheatcs and Coputer Scence Adelp Unversty New York johller@adelphedu Yeş Aküzü Faculty of Scence and Letters Kafkas Unversty
More informationA MULTIDIMENSIONAL ANALOGUE OF THE RADEMACHER-GAUSSIAN TAIL COMPARISON
A MULTIDIMENSIONAL ANALOGUE OF THE RADEMACHER-GAUSSIAN TAIL COMPARISON PIOTR NAYAR AND TOMASZ TKOCZ Abstract We prove a menson-free tal comparson between the Euclean norms of sums of nepenent ranom vectors
More informationExcess Error, Approximation Error, and Estimation Error
E0 370 Statstcal Learnng Theory Lecture 10 Sep 15, 011 Excess Error, Approxaton Error, and Estaton Error Lecturer: Shvan Agarwal Scrbe: Shvan Agarwal 1 Introducton So far, we have consdered the fnte saple
More informationSlobodan Lakić. Communicated by R. Van Keer
Serdca Math. J. 21 (1995), 335-344 AN ITERATIVE METHOD FOR THE MATRIX PRINCIPAL n-th ROOT Slobodan Lakć Councated by R. Van Keer In ths paper we gve an teratve ethod to copute the prncpal n-th root and
More informationLeast Squares Fitting of Data
Least Squares Fttng of Data Davd Eberly Geoetrc Tools, LLC http://www.geoetrctools.co/ Copyrght c 1998-2014. All Rghts Reserved. Created: July 15, 1999 Last Modfed: February 9, 2008 Contents 1 Lnear Fttng
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 informationarxiv:math.nt/ v1 16 Feb 2005
A NOTE ON q-bernoulli NUMBERS AND POLYNOMIALS arv:math.nt/0502333 v1 16 Feb 2005 Taekyun Km Insttute of Scence Eucaton, Kongju Natonal Unversty, Kongju 314-701, S. Korea Abstract. By usng q-ntegraton,
More informationEXACT TRAVELLING WAVE SOLUTIONS FOR THREE NONLINEAR EVOLUTION EQUATIONS BY A BERNOULLI SUB-ODE METHOD
www.arpapress.co/volues/vol16issue/ijrras_16 10.pdf EXACT TRAVELLING WAVE SOLUTIONS FOR THREE NONLINEAR EVOLUTION EQUATIONS BY A BERNOULLI SUB-ODE METHOD Chengbo Tan & Qnghua Feng * School of Scence, Shandong
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 informationMultiplicative Functions and Möbius Inversion Formula
Multplcatve Functons and Möbus Inverson Forula Zvezdelna Stanova Bereley Math Crcle Drector Mlls College and UC Bereley 1. Multplcatve Functons. Overvew Defnton 1. A functon f : N C s sad to be arthetc.
More informationNon-negative Matrices and Distributed Control
Non-negatve Matrces an Dstrbute Control Yln Mo July 2, 2015 We moel a network compose of m agents as a graph G = {V, E}. V = {1, 2,..., m} s the set of vertces representng the agents. E V V s the set of
More informationFinite Fields and Their Applications
Fnte Felds and Ther Applcatons 5 009 796 807 Contents lsts avalable at ScenceDrect Fnte Felds and Ther Applcatons www.elsever.co/locate/ffa Typcal prtve polynoals over nteger resdue rngs Tan Tan a, Wen-Feng
More information,..., k N. , k 2. ,..., k i. The derivative with respect to temperature T is calculated by using the chain rule: & ( (5) dj j dt = "J j. k i.
Suppleentary Materal Dervaton of Eq. 1a. Assue j s a functon of the rate constants for the N coponent reactons: j j (k 1,,..., k,..., k N ( The dervatve wth respect to teperature T s calculated by usng
More informationLeast Squares Fitting of Data
Least Squares Fttng of Data Davd Eberly Geoetrc Tools, LLC http://www.geoetrctools.co/ Copyrght c 1998-2015. All Rghts Reserved. Created: July 15, 1999 Last Modfed: January 5, 2015 Contents 1 Lnear Fttng
More informationarxiv: v1 [math.nt] 31 Oct 2018
On the Deurng Polynomal for Drnfel Moules n Legenre Form Alp Bassa an Peter Beelen arxv:1811.00084v1 [math.nt] 31 Oct 2018 Abstract We stuy a famly ψ λ of F q[t]-drnfel moules, whch s a natural analog
More informationOn Pfaff s solution of the Pfaff problem
Zur Pfaff scen Lösung des Pfaff scen Probles Mat. Ann. 7 (880) 53-530. On Pfaff s soluton of te Pfaff proble By A. MAYER n Lepzg Translated by D. H. Delpenc Te way tat Pfaff adopted for te ntegraton of
More informationHomological methods in Non-commutative Geometry Tokyo, 2007/2008 1
Homologcal methos n Non-commutatve Geometry Tokyo, 2007/2008 1 Lecture 2. Secon bcomplex for cyclc homology. Connes fferental. Cyclc homology an the e Rham cohomology n the HKR case. Homology of small
More informationFermat Varieties of Hodge Witt Type
JOURNAL OF ALGEBRA 180, 136155 1996 ARTICLE NO. 0057 Ferat Varetes of HodgeWtt Type Kesuke Tok Koyaa 3-5-5, Nera-ku, Tokyo 176, Japan Councated by Walter Fet Receved January 31, 1995 1. INTRODUCTION Let
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 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 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 informationTHE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens
THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of
More informationLecture 10 Support Vector Machines II
Lecture 10 Support Vector Machnes II 22 February 2016 Taylor B. Arnold Yale Statstcs STAT 365/665 1/28 Notes: Problem 3 s posted and due ths upcomng Frday There was an early bug n the fake-test data; fxed
More informationwhere a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets
5. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationQuantum Mechanics for Scientists and Engineers
Quantu Mechancs or Scentsts and Engneers Sangn K Advanced Coputatonal Electroagnetcs Lab redkd@yonse.ac.kr Nov. 4 th, 26 Outlne Quantu Mechancs or Scentsts and Engneers Blnear expanson o lnear operators
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 informationUsing T.O.M to Estimate Parameter of distributions that have not Single Exponential Family
IOSR Journal of Mathematcs IOSR-JM) ISSN: 2278-5728. Volume 3, Issue 3 Sep-Oct. 202), PP 44-48 www.osrjournals.org Usng T.O.M to Estmate Parameter of dstrbutons that have not Sngle Exponental Famly Jubran
More informationPhysics 3A: Linear Momentum. Physics 3A: Linear Momentum. Physics 3A: Linear Momentum. Physics 3A: Linear Momentum
Recall that there was ore to oton than just spee A ore coplete escrpton of oton s the concept of lnear oentu: p v (8.) Beng a prouct of a scalar () an a vector (v), oentu s a vector: p v p y v y p z v
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 informationThe Noether theorem. Elisabet Edvardsson. Analytical mechanics - FYGB08 January, 2016
The Noether theorem Elsabet Evarsson Analytcal mechancs - FYGB08 January, 2016 1 1 Introucton The Noether theorem concerns the connecton between a certan kn of symmetres an conservaton laws n physcs. It
More informationarxiv: v1 [math.ac] 23 Oct 2018
arxv:181010055v1 [athac] 23 Oct 2018 Explct Bo-Söderberg theory of deals fro a graph soorphs reducton Alexander Engströ Laura Jakobsson Mlo Orlch October 25, 2018 Abstract In the orgns of coplexty theory
More informationAn Optimal Bound for Sum of Square Roots of Special Type of Integers
The Sxth Internatonal Syposu on Operatons Research and Its Applcatons ISORA 06 Xnang, Chna, August 8 12, 2006 Copyrght 2006 ORSC & APORC pp. 206 211 An Optal Bound for Su of Square Roots of Specal Type
More informationOn the number of regions in an m-dimensional space cut by n hyperplanes
6 On the nuber of regons n an -densonal space cut by n hyperplanes Chungwu Ho and Seth Zeran Abstract In ths note we provde a unfor approach for the nuber of bounded regons cut by n hyperplanes n general
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 informationDifferentiating Gaussian Processes
Dfferentatng Gaussan Processes Andrew McHutchon Aprl 17, 013 1 Frst Order Dervatve of the Posteror Mean The posteror mean of a GP s gven by, f = x, X KX, X 1 y x, X α 1 Only the x, X term depends on the
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 informationR n α. . The funny symbol indicates DISJOINT union. Define an equivalence relation on this disjoint union by declaring v α R n α, and v β R n β
Readng. Ch. 3 of Lee. Warner. M s an abstract manfold. We have defned the tangent space to M va curves. We are gong to gve two other defntons. All three are used n the subject and one freely swtches back
More informationSolving 2D-BKDV Equation by a Sub-ODE Method
Internatonal Conference on Coputer Technology and Scence (ICCTS ) IPCSIT vol 47 () () IACSIT Press Sngapore DOI: 7763/IPCSITV4756 Solvng D-BKDV Equaton by a Sub-ODE Method Bn Zheng + School of Scence Shandong
More informationOn a one-parameter family of Riordan arrays and the weight distribution of MDS codes
On a one-parameter famly of Roran arrays an the weght strbuton of MDS coes Paul Barry School of Scence Waterfor Insttute of Technology Irelan pbarry@wte Patrck Ftzpatrck Department of Mathematcs Unversty
More informationGeneralized Linear Methods
Generalzed Lnear Methods 1 Introducton In the Ensemble Methods the general dea s that usng a combnaton of several weak learner one could make a better learner. More formally, assume that we have a set
More informationThe Feynman path integral
The Feynman path ntegral Aprl 3, 205 Hesenberg and Schrödnger pctures The Schrödnger wave functon places the tme dependence of a physcal system n the state, ψ, t, where the state s a vector n Hlbert space
More information3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X
Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number
More informationLie Algebra Cohomology and the Borel-Weil-Bott Theorem. 1 Lie algebra cohomology and cohomology of G/T with coefficients in a line bundle
Le Algebra Cohomology and the Borel-Wel-Bott Theorem Math G4344, Sprng 2012 We have seen that rreducble fnte dmensonal representatons of a complex smple Le algebra g or correspondng compact Le group are
More informationRandomness and Computation
Randomness and Computaton or, Randomzed Algorthms Mary Cryan School of Informatcs Unversty of Ednburgh RC 208/9) Lecture 0 slde Balls n Bns m balls, n bns, and balls thrown unformly at random nto bns usually
More informationLecture 10: Euler s Equations for Multivariable
Lecture 0: Euler s Equatons for Multvarable Problems Let s say we re tryng to mnmze an ntegral of the form: {,,,,,, ; } J f y y y y y y d We can start by wrtng each of the y s as we dd before: y (, ) (
More informationHigh-Order Hamilton s Principle and the Hamilton s Principle of High-Order Lagrangian Function
Commun. Theor. Phys. Bejng, Chna 49 008 pp. 97 30 c Chnese Physcal Socety Vol. 49, No., February 15, 008 Hgh-Orer Hamlton s Prncple an the Hamlton s Prncple of Hgh-Orer Lagrangan Functon ZHAO Hong-Xa an
More informationOn the Matlis duals of local cohomology modules and modules of generalized fractions
Proc. Indan Acad. Sc. (ath. Sc.) Vol. 120, No. 1, February 2010, pp. 35 43. Indan Acadey of Scences On the atls duals of local cohoology odules and odules of generalzed fractons KAZE KHASHYARANESH Departent
More informationOn the First Integrals of KdV Equation and the Trace Formulas of Deift-Trubowitz Type
2th WSEAS Int. Conf. on APPLIED MATHEMATICS, Caro, Egypt, December 29-3, 2007 25 On the Frst Integrals of KV Equaton an the Trace Formulas of Deft-Trubowtz Type MAYUMI OHMIYA Doshsha Unversty Department
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 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 informationA property of the elementary symmetric functions
Calcolo manuscrpt No. (wll be nserted by the edtor) A property of the elementary symmetrc functons A. Esnberg, G. Fedele Dp. Elettronca Informatca e Sstemstca, Unverstà degl Stud della Calabra, 87036,
More informationTensor Analysis. For orthogonal curvilinear coordinates, ˆ ˆ (98) Expanding the derivative, we have, ˆ. h q. . h q h q
For orthogonal curvlnear coordnates, eˆ grad a a= ( aˆ ˆ e). h q (98) Expandng the dervatve, we have, eˆ aˆ ˆ e a= ˆ ˆ a h e + q q 1 aˆ ˆ ˆ a e = ee ˆˆ ˆ + e. h q h q Now expandng eˆ / q (some of the detals
More informationHidden Markov Models & The Multivariate Gaussian (10/26/04)
CS281A/Stat241A: Statstcal Learnng Theory Hdden Markov Models & The Multvarate Gaussan (10/26/04) Lecturer: Mchael I. Jordan Scrbes: Jonathan W. Hu 1 Hdden Markov Models As a bref revew, hdden Markov models
More informationThis document has been downloaded from Tampub The Institutional Repository of University of Tampere. Publisher's version
Ths ocument has been ownloae from Tampub The Insttutonal Repostory of Unversty of Tampere Publsher's verson Authors: Haukkanen Pentt Name of artcle: Some characterzatons of specally multplcatve functons
More informationA GENERALIZATION OF JUNG S THEOREM. M. Henk
A GENERALIZATION OF JUNG S THEOREM M. Henk Abstract. The theorem of Jung establshes a relaton between crcumraus an ameter of a convex boy. The half of the ameter can be nterprete as the maxmum of crcumra
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 informationP exp(tx) = 1 + t 2k M 2k. k N
1. Subgaussan tals Defnton. Say that a random varable X has a subgaussan dstrbuton wth scale factor σ< f P exp(tx) exp(σ 2 t 2 /2) for all real t. For example, f X s dstrbuted N(,σ 2 ) then t s subgaussan.
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 informationLecture 3. Ax x i a i. i i
18.409 The Behavor of Algorthms n Practce 2/14/2 Lecturer: Dan Spelman Lecture 3 Scrbe: Arvnd Sankar 1 Largest sngular value In order to bound the condton number, we need an upper bound on the largest
More informationBy M. O'Neill,* I. G. Sinclairf and Francis J. Smith
52 Polynoal curve fttng when abscssas and ordnates are both subject to error By M. O'Nell,* I. G. Snclarf and Francs J. Sth Departents of Coputer Scence and Appled Matheatcs, School of Physcs and Appled
More informationPHYS 705: Classical Mechanics. Canonical Transformation II
1 PHYS 705: Classcal Mechancs Canoncal Transformaton II Example: Harmonc Oscllator f ( x) x m 0 x U( x) x mx x LT U m Defne or L p p mx x x m mx x H px L px p m p x m m H p 1 x m p m 1 m H x p m x m m
More informationLecture 14 - Isomorphism Theorem of Harish-Chandra
Lecture 14 - Isomorphsm Theorem of Harsh-Chandra March 11, 2013 Ths lectures shall be focused on central characters and what they can tell us about the unversal envelopng algebra of a semsmple Le algebra.
More informationMath 261 Exercise sheet 2
Math 261 Exercse sheet 2 http://staff.aub.edu.lb/~nm116/teachng/2017/math261/ndex.html Verson: September 25, 2017 Answers are due for Monday 25 September, 11AM. The use of calculators s allowed. Exercse
More informationBernoulli Numbers and Polynomials
Bernoull Numbers and Polynomals T. Muthukumar tmk@tk.ac.n 17 Jun 2014 The sum of frst n natural numbers 1, 2, 3,..., n s n n(n + 1 S 1 (n := m = = n2 2 2 + n 2. Ths formula can be derved by notng that
More informationAnti-van der Waerden numbers of 3-term arithmetic progressions.
Ant-van der Waerden numbers of 3-term arthmetc progressons. Zhanar Berkkyzy, Alex Schulte, and Mchael Young Aprl 24, 2016 Abstract The ant-van der Waerden number, denoted by aw([n], k), s the smallest
More informationBounds for Spectral Radius of Various Matrices Associated With Graphs
45 5 Vol.45, No.5 016 9 AVANCES IN MATHEMATICS (CHINA) Sep., 016 o: 10.11845/sxjz.015015b Bouns for Spectral Raus of Varous Matrces Assocate Wth Graphs CUI Shuyu 1, TIAN Guxan, (1. Xngzh College, Zhejang
More informationarxiv: v2 [math.co] 3 Sep 2017
On the Approxate Asyptotc Statstcal Independence of the Peranents of 0- Matrces arxv:705.0868v2 ath.co 3 Sep 207 Paul Federbush Departent of Matheatcs Unversty of Mchgan Ann Arbor, MI, 4809-043 Septeber
More informationA Numerical Algorithm for Reconstructing Continuous-Time Linear Models with Pure Integrators from Their Discrete-Time Equivalents
A Nuercal Algorth for Reconstructng Contnuous-Te Lnear Models wth Pure Integrators fro Ther Dscrete-Te Equvalents Zaher M Kassas and Greg Morrow Abstract A nuercal algorth for reconstructng contnuous-te
More informationThe exponential map of GL(N)
The exponental map of GLN arxv:hep-th/9604049v 9 Apr 996 Alexander Laufer Department of physcs Unversty of Konstanz P.O. 5560 M 678 78434 KONSTANZ Aprl 9, 996 Abstract A fnte expanson of the exponental
More informationLecture 4: Universal Hash Functions/Streaming Cont d
CSE 5: Desgn and Analyss of Algorthms I Sprng 06 Lecture 4: Unversal Hash Functons/Streamng Cont d Lecturer: Shayan Oves Gharan Aprl 6th Scrbe: Jacob Schreber Dsclamer: These notes have not been subjected
More informationExistence of Higher Dimensional Invariant Tori for Hamiltonian Systems
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 5567 998 ARTICLE NO. AY985939 Exstence of Hgher Densonal Invarant Tor for Haltonan Systes Cong Fuzhong and L Yong Departent of Matheatcs, Jln Unersty,
More informationOn the Calderón-Zygmund lemma for Sobolev functions
arxv:0810.5029v1 [ath.ca] 28 Oct 2008 On the Calderón-Zygund lea for Sobolev functons Pascal Auscher october 16, 2008 Abstract We correct an naccuracy n the proof of a result n [Aus1]. 2000 MSC: 42B20,
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 informationSeveral generation methods of multinomial distributed random number Tian Lei 1, a,linxihe 1,b,Zhigang Zhang 1,c
Internatonal Conference on Appled Scence and Engneerng Innovaton (ASEI 205) Several generaton ethods of ultnoal dstrbuted rando nuber Tan Le, a,lnhe,b,zhgang Zhang,c School of Matheatcs and Physcs, USTB,
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 informationErrors for Linear Systems
Errors for Lnear Systems When we solve a lnear system Ax b we often do not know A and b exactly, but have only approxmatons  and ˆb avalable. Then the best thng we can do s to solve ˆx ˆb exactly whch
More informationPerfect Competition and the Nash Bargaining Solution
Perfect Competton and the Nash Barganng Soluton Renhard John Department of Economcs Unversty of Bonn Adenauerallee 24-42 53113 Bonn, Germany emal: rohn@un-bonn.de May 2005 Abstract For a lnear exchange
More informationU.C. Berkeley CS294: Spectral Methods and Expanders Handout 8 Luca Trevisan February 17, 2016
U.C. Berkeley CS94: Spectral Methods and Expanders Handout 8 Luca Trevsan February 7, 06 Lecture 8: Spectral Algorthms Wrap-up In whch we talk about even more generalzatons of Cheeger s nequaltes, and
More informationRoot Structure of a Special Generalized Kac- Moody Algebra
Mathematcal Computaton September 04, Volume, Issue, PP8-88 Root Structu of a Specal Generalzed Kac- Moody Algebra Xnfang Song, #, Xaox Wang Bass Department, Bejng Informaton Technology College, Bejng,
More informationLimit Cycle Bifurcations in a Class of Cubic System near a Nilpotent Center *
Appled Mateatcs 77-777 ttp://dxdoorg/6/a75 Publsed Onlne July (ttp://wwwscrporg/journal/a) Lt Cycle Bfurcatons n a Class of Cubc Syste near a Nlpotent Center * Jao Jang Departent of Mateatcs Sanga Marte
More information