An Introduction to Relevant Graph Theory and Matrix Theory
|
|
- Frederica Owen
- 6 years ago
- Views:
Transcription
1 Chapter 0 A Itroducto to Relevat Graph heory ad Matrx heory hs boo s cocered wth the calculato of the umber of spag trees of a multgraph usg algebrac ad aalytc techques. We also clude several results o optmzg the umber of spag trees amog all multgraphs a class,.e., those havg a specfed umber of odes,, ad edges, e, deoted Ω (, e). he problem has some practcal use etwor relablty theory. Some of the materal ths boo has appeared elsewhere dvdual publcatos ad has bee collected here for the purpose of exposto. I preparato, we frst collect some relevat graph theoretcal ad matrx theoretcal results. 0. Graph heory hough we assume that the reader of ths wor s well versed Graph heory, ths secto we provde the prmary graph theoretc deftos ad operatos that are used the body of the succeedg chapters. For ay other termology ad otato ot provded here we refer the reader to Chartrad, Lesa ad Zhag [Chartrad, 0]. A multgraph s a par M = ( V, m), where m s a oegatve tegervalued fucto defed o the collecto of all two-elemet subsets of V, deoted V (). I the case there are several multgraphs uder
2 Spag ree Results for Graphs ad Multgraphs cosderato we use the otato ( ) M = ( V M, m M ). he elemets of V are called the odes of the multgraph. We assume that V s a fte set ad = V s the order of the multgraph,.e. the order s the umber of ( ) m u, v 0 ; odes. A multedge s a elemet { u, v} V() such that { } m( { u, v }) s called the multplcty of the multedge. If for each {, } m( { u, v} ) { 0,}, the M s a graph, ad m ({ } ) u v, = E s called the edge set. I ths case, we use G stead of M ad employ the alterate otato ( V, E) G =. Remar 0. he set of multgraphs cludes the set of graphs. hus ay result that s stated for multgraphs also holds for graphs. O the other had, results that are stated for graphs are oly applcable to graphs ad do ot hold for multgraphs. A multgraph has a geometrc represetato whch each elemet (ode) of V s depcted by a pot, ad two pots u ad v are oed by ({, }) m u v curves. Fgure 0. shows the geometrc represetato of a multgraph M ad a graph G. It s tradtoal to refer to each pot the represetato as a ode ad the collecto of all such pots as V. Also we refer to each curve the represetato as a edge, ad the collecto of all such curves as E. I the case that ({ }) m u, v we represet ay sgle edge betwee the odes u ad v by uv. he umber of edges, deoted by e, s the sze of the multgraph,.e. e E m( { u, v} ) = =. { u, v} V ( )
3 A Itroducto to Relevat Graph heory ad Matrx heory 3 We deote the class of all multgraphs of order ad sze e by Ω ( e) I Fgure 0. (5,0) M Ω ad G Ω ( 5,7),. M G Fgure 0.: A multgraph M ad a graph G. Note that a multgraph may have several geometrc represetatos that loo dfferet. We say that the multgraphs M ( V, m ) (, ) = ad M = V m are somorphc f there s a becto f : V V such that for every { v, v } V, m { v, v } = m f ( v ), f ( v ) () ( ) ({ }). he two multgraphs depcted Fgure 0. are somorphc, uder the becto f ( v ) = u. Fgure 0.: wo somorphc multgraphs.
4 4 Spag ree Results for Graphs ad Multgraphs Edges are cdet at ts ed-odes, ad two odes whch have a edge betwee them are called adacet. Node u has degree deg(u) equal to the umber of edges havg that ode as a ed-ode,.e. =. ({ }) deg( u) m u, v v u he followg theorem, the Frst heorem of Multgraph heory, was proved by Euler 736. heorem 0. (he Frst heorem of Multgraph heory) he sum of the degrees of all the odes of a multgraph M s equal to twce the umber of edges. Proof Let x = vv be a edge of M, the x cotrbutes to both deg( v ) ad deg ( v ). hus whe summg the degrees of the odes of M, each edge s couted twce. Aother way to represet a multgraph s by a matrx. Let M = ( V, m) =,,,. he be a multgraph of order, wth ode set V { v v v } adacecy matrx of M, deoted A ( M ) or smply A s the matrx a where a m( { v, v } ). = the a = deg( v ) =. Note f A s the adacecy matrx of M, Example 0. he adacecy matrx of the multgraph Fgure 0. s
5 A Itroducto to Relevat Graph heory ad Matrx heory A = A multgraph M s r-regular f each ode has degree equal to r. Whe the specfc value of r s ot eeded we say the multgraph s regular. he multgraph M ( V, m ) ( V, m) M = f V V = s called a submultgraph of ad m ({ u, v} ) m( { u, v} ) for all { u, v} V () V = V, the M s called a spag submultgraph. If M s a graph the we use the terms subgraph ad spag subgraph. If ({, }) = ({, }) for all { u, v} V (), the M ( V, m ) m u v m u v. If = s a duced submultgraph ad s deoted by V. If V cotas o edges,.e. m( { u, v }) = 0 for all { u, v} V () the V s called a ( ) { ({ }) } depedet set of odes. If V = V ad m { u, v} = m m u, v, for all { u, v} V (), the M ( V, m ) = s a spag subgraph called the uderlyg graph of the multgraph ( V, m ). I Fgure 0. G s the uderlyg graph of multgraph M. A path a multgraph M s a alteratg sequece of odes ad edges 3 v, x, v, x, v,, x, v, where { v v v },,, are dstct odes ad x s a edge betwee v ad v +. If the multgraph s fact a graph the t s oly ecessary to lst the odes. he legth of a path s the umber of edges the path. It s evdet from the defto that a path o odes has legth. A cycle a multgraph M s a alteratg
6 6 Spag ree Results for Graphs ad Multgraphs sequece of odes ad edges v, x, v, x, v3,, x, v, x, v, where { v v v },,, are dstct odes ad 0 x s a edge betwee v ad v,, ad x s a edge betwee v ad v 0. he legth of a cycle s the umber of edges the cycle, so a cycle o odes has legth. I a multgraph t s possble to have cycles of legth,.e. f there are multple edges betwee a par of odes, but a graph the mmum cycle legth s 3. A graph G s acyclc f t has o subgraphs whch are cycles. A multgraph s coected whe every partto of the ode set V = V V, V, V, ad V V = has at least oe multedge wth oe edpot V ad the other V. Alterately, a multgraph s coected f there s at least oe path betwee every par of odes. A multgraph whch s ot coected s dscoected. A compoet of a multgraph M s a maxmal coected submultgraph M,.e. f M s a submultgraph of M that properly cotas M, the M s dscoected. A dscoected multgraph cotas at least two compoets, thus a multgraph s coected f ad oly f t has oe compoet. A tree s a coected graph wth odes ad edges. Cosderg a logest path a tree t s easy to see that a tree has at least two odes of degree, called leaves or pedat edges. A spag subgraph that s also a tree s called a spag tree. Fgure 0.3 depcts a multgraph ad oe of ts spag trees. It s easy to see that a multgraph has spag trees f ad oly f t s coected.
7 A Itroducto to Relevat Graph heory ad Matrx heory 7 M Fgure 0.3: A multgraph M ad a spag tree. Oe of the purposes of ths boo s to determe whch multgraph wth odes ad e edges,.e. e, spag trees amog all multgraphs e,, has the greatest umber of. Sce spag trees exst oly f the multgraph s coected, gve a coected multgraph M ( Vm, ), the followg procedure wll produce a spag tree. Choose a ode u at radom, set V u, V V V, ad E. If V the sce M s coected there s at least oe edge wth oe edpot V ad the other V. Choose oe such edge, add the edge to E ad remove the edpot from set V ad add t to V. Cotue ths process utl V ad therefore V V, V E s a spag tree.. he resultg graph he process foud above ca be used to fd spag trees but t s effcet for fdg all spag trees of a multgraph; the multgraph Fgure 0.3 has 34 other spag trees. M Vm,, where m s a A drected multgraph s a par oegatve teger-valued fucto defed o V V u, u u V. As for multgraphs, we refer to the elemets of V as odes. A mult-arc s
8 8 Spag ree Results for Graphs ad Multgraphs ( ) m u, v 0 ; a elemet ( u, v) V V { ( u, u) u V} such that (( )) m (( u, v) ) ( u, v ), ( ) s called the multplcty of the mult-arc. If for each par m u v ad m ({ } ) (, ) { 0,}, the ( V, m ) s a drected graph or a dgraph, = A s called the arc-set. We sometmes employ the D = V, A. alterate otato ( ) As the case of multgraphs, drected multgraphs have geometrc represetatos as well. Each elemet of V s depcted by a pot, ad m u, v drected curves, drected from two pots u ad v are oed by (( )) u to v. Fgure 0.4 shows a drected multgraph ad a drected graph. It s tradtoal to refer to each drected curve the represetato as a arc, ad the collecto of all such arcs as A. A arc from u to v s cdet from u ad cdet to v; f such a arc exsts we say u s adacet to v ad v s adacet from u. Node u has degree, deg(u), equal to the umber of arcs cdet to u ad outdegree, outdeg(u), equal to the deg( u) = m v, u ad umber of arcs cdet from u,.e. (( )) =. (( )) outdeg( u) m u, v v u v u M D Fgure 0.4: A drected multgraph M ad a drected graph D.
9 A Itroducto to Relevat Graph heory ad Matrx heory 9 A theorem for drected multgraphs aalogous to the Frst heorem of Multgraph heory follows from the observato that each arc cotrbutes to the degree of a ode ad to the outdegree of aother ode. heorem 0. (he Frst heorem of Drected Multgraph heory) he sum of the degrees of all the odes of a drected multgraph s equal to the sum of the outdegrees, ad these both equal the umber of arcs. Let M = ( V, m) m u v m u v m v u ({, }) = ((, )) + ((, )) { u, v} V() be a drected multgraph ad defe for each two elemet subset. he multgraph M = ( V, m) s called the uderlyg multgraph of M. Alteratvely, f M s a gve multgraph, the ay drected multgraph havg M as ts uderlyg multgraph s referred to as a oretato of M. I Fgure 0.5, M s the uderlyg multgraph of the mult drected graph M, whle M ca be cosdered a oretato of M. M Fgure 0.5
10 0 Spag ree Results for Graphs ad Multgraphs wor. We ow troduce some specal graphs that we wll ecouter ths A complete graph s a graph of the form ( () ) edge betwee every par of odes. If V graph of order by V, V,.e. there s a = we deote the complete K. We depct two complete graphs Fgure 0.6. K 4 K 5 Fgure 0.6: he complete graphs K 4 ad K 5. A subgraph G ( V, E ) = of a graph G = V, E s a clque f t s a maxmal complete subgraph of G,.e. E = V() ad for ay subset of odes V that properly cota V, V s ot complete. I the graph depcted Fgure 0.7, { v, v, v, v } s a clque, whle {,, } complete but ot a clque. 3 4 ( ) v v v s 3 v v v 4 v 3 Fgure 0.7: A clque sde a graph. he clque edges are thcer.
11 A graph A Itroducto to Relevat Graph heory ad Matrx heory G = s bpartte f V ca be parttoed to two sets V ad V such that ay edge E has oe edpot V ad the other V. A bpartte graph s a complete bpartte graph f for every ad every v V, uv E. If V = p ad V = q we deote the complete bpartte graph by K p, q. Whe p =, we refer to the graph K,q as a star. More geerally, a graph G ( V, E) = s -partte f V ca be parttoed to sets V, V,, V, such that ay edge E has oe edpot V ad the other ( V, E) u V V, for some <. Note a -partte graph s bpartte. A -partte graph s a complete -partte graph f for every u V ad every v V, uv E wheever. If a complete -partte graph s regular, the each part has the same order. If V = for, the we deote the complete -partte graph by K.,,, Fgure 0.8 depcts the complete bpartte graph K,3, the star K,4 ad the complete 3-partte graph K,,3. Fgure 0.8: -partte graphs.
12 Spag ree Results for Graphs ad Multgraphs Fgure 0.8: -partte graphs (cotued). Suppose,,..., ad are postve tegers such that < < <. he crculat graph C (,,..., ) s the graph havg ode set V = { 0,,,, } wth ode adacet to each ode ( ± )mod for each,. he,,..., deote the ump szes. If = for all,, we deote the crculat by Fgure 0.9 shows two crculats. C Fgure 0.9: he crculats C 8 ad C (,3). 8
13 A Itroducto to Relevat Graph heory ad Matrx heory 3 Gve a graph G ( V, E) graph ( V, V() E) =, the complemet of G, deoted G, s the,.e. G has the same ode set as G ad uv s a edge of G f ad oly f uv s ot a edge of G. A graph ad ts complemet are show Fgure 0.0. G Fgure 0.0: A graph ad ts complemet. O occaso t s ecessary to delete a set of odes or a set of edges from a multgraph. Let M = ( V, m) be a multgraph wth edge set E. If U V s a set of odes, the M U s the multgraph obtaed by deletg the ode set U ad all edges cdet o a ode U,.e. M U ( V U, m') { u, v} ( V U ) (). If U { u} F = where m' ({ u, v} ) m( { u, v} ) = we wrte M u = for all stead of M { u} E s a set of edges, the, M F s the multgraph obtaed by deletg the edges F, but ot the ed-odes. If x s a edge of M ad F = { x} we wrte M x stead of M { x}.. If Remar 0. here s a ambguous case,.e. M { u, v}, where { u, v } ca be ether the set cosstg of the two odes u ad v or a multedge cdet o the two odes u ad v. If we are deletg the two ode set we
14 4 Spag ree Results for Graphs ad Multgraphs wll wrte M u v ad f we are deletg a edge cdet o u ad v we wll wrte M uv. Remar 0.3 Oe ca also th of the complemet of a graph ( V, E) G = as the graph obtaed by deletg the edge set E from the complete graph o ode set V. Example 0. Cosder the multgraph M, depcted Fgure 0.a, wth specfed odes labeled u ad v ad specfed edges x ad y. he multgraphs M u v 0.c, respectvely. ad M { x, y} are show Fgure 0.b ad x u y v a) A multgraph M b) c) Fgure 0.
15 A Itroducto to Relevat Graph heory ad Matrx heory 5 A set of edges a multgraph s a matchg or a depedet set of edges f o two edges the set are cdet at the same ode. A matchg cossts of edges, whch we deote by K, sce each edge s somorphc to K. We ote that by the defto of a matchg,. A specal case of edge deleto that we wll ecouter s mus a matchg, deoted K K. I Fgure 0. we depct K 5 K. Note, the two edges deleted are arbtrary as log as they are ot cdet o a ode, as all such graphs are somorphc. K Fgure 0.: K5 K. he deleted edges are dcated by the dotted edges. At tmes t may be ecessary to add a edge to a multgraph. Let M = ( V, m) be a multgraph ad u, v V, the uv M + s the multgraph obtaed by addg edges betwee the odes u ad v,.e. M = ( V, m ), where m { u, v } + uv Whe =, we wrte uv M + ({, }) f {, } {, } ({ u, v }) otherwse m u v + u v = u v ( ) = m. If x s a arbtrary edge, the the multgraph wth edges added betwee a par of odes. x M + deotes. Example 0.3 Cosder the multgraph M, depcted Fgure 0.3a, wth specfed odes labeled u, v ad w. he multgraphs uv M + ad
16 6 Spag ree Results for Graphs ad Multgraphs uw M + are show Fgure 0.3b ad 0.3c, respectvely. I Fgure 0.4 x we show K + 5, the placemet of the edge x s arbtrary. u w v a) A multgraph M u u w w b) { u v} v v { }, M + u, w c) M + Fgure 0.3 x x Fgure 0.4: K + 5.
17 A Itroducto to Relevat Graph heory ad Matrx heory 7 If x = uv s a edge of a multgraph M, the the cotracto M x s the multgraph obtaed from coalescg u ad v, the ed-odes of x, ad deletg ay loops whch result. he cotracto results a multgraph wth oe fewer ode ad, m u v fewer edges. Example 0.4 Cosder the multgraph M, depcted Fgure 0.5a, wth specfed edges labeled x ad y. he multgraphs M x ad M y are show Fgure 0.5b ad 0.5c, respectvely. x y a) A multgraph M b) M x c) M y Fgure 0.5: Cotractos. We ed ths secto by troducg some bary operatos o graphs. Let G V, E ad G V, E graphs ad wth V V. he uo of the G, deoted G G, s the graph V V, E E G.
18 8 Spag ree Results for Graphs ad Multgraphs he o of the graphs G ad G, deoted G + G, cossts of G G ad all possble edges betwee the odes G ad those G (see Fgure 0.6b). he product of the graphs G ad G, deoted G G, s the graph ( V V, E ) where {(, ),(, )} u v u v E f ad oly f u = u v v ad E or v = v ad uu E (see Fgure 0.6c). v a) v 3 u v u v v 3 b) K K c) 3 Fgure 0.6: he o ad the product of two graphs.
19 A Itroducto to Relevat Graph heory ad Matrx heory 9 0. Matrx heory Some fudametal but perhaps less well-ow results from matrx theory to be used the sequel are cluded wth proofs for the sae of completeess. We assume that the reader s famlar wth basc matrx deftos ad operatos, such as sze of a matrx, matrx addto, matrx multplcato, scalar multplcato traspose, ad determat. For deftos of these ad ay other cocepts ot explctly defed here we refer the reader to Lacaster ad smeetsy [Lacaster, 985]. We wll frst expla some matrx otato that wll be used. If P s a matrx of sze r s, the p p p s p p p pr pr prs s P = = p. If the sze s uderstood we wll suppress the subscrpt the latter. We refer to a matrx of sze s or r (.e., a row matrx or a colum matrx, respectvely) as a vector. Uless explctly stated, all vectors are colum matrces ad we wrte matrx, r r s x x x =. Fally, I r deotes the r r detty x O r s deotes the r s matrx zero matrx wth all etres 0, 0 r the zero vector wth all etres 0, ad r the vector wth all etres. If the sze s uderstood we suppress the subscrpts. We ote that all matrces ad vectors are bold-faced.
20 0 Spag ree Results for Graphs ad Multgraphs he frst result we preset cocers the determat of a product of two matrces. heorem 0.3 he Bèt-Cauchy heorem [Lacaster, 985]. If P ad Q = q are matrces over a arbtrary feld, wth = p l l, the det(pq) = l det P det < <... < l Q, 3 p where the mor C 3 deotes the submatrx of C p obtaed by deletg all rows except,,, p ad all colums except,,, p. I other words, the determat of the product PQ s equal to the sum of the products of all possble mors of (the maxmal) order of P wth correspodg mors of Q of the same order. Proof Observe that
21 A Itroducto to Relevat Graph heory ad Matrx heory l l l pτ q τ pτ q τ pτ q τ τ = τ = τ = l l l pτ q τ pτ q τ p q τ τ PQ =. τ = τ = τ = l l l pτ q τ pτ q τ pτ q τ τ = τ = τ = Now, by successvely applyg the learty of the determat for a specfc colum, we obta p q p q p q l l l p q p q p q det( PQ) det τ = τ = τ = p q p q p q τ τ τ τ τ τ τ τ τ τ τ τ = τ τ τ τ τ τ whch s a sum of l determats. Of course, f a b τ = τ, where a b, the the correspodg term the sum vashes ad the sum reduces to oly those terms for whch τ, τ,, τ are dstct. Now cosder a specfc lst < < < l, ad usg σ to deote permutato, t follows that det ( PQ ) = < <... < l σ (,,..., ) = ( τ, τ,..., τ ) p q p q p q p q p q p q p q p q p q τ τ τ τ τ τ τ τ τ τ τ τ det. τ τ τ τ τ τ But
22 Spag ree Results for Graphs ad Multgraphs p q p q p q p q p q p q det p q p q p q τ τ τ τ τ τ τ τ τ τ τ τ = τ τ τ τ τ τ p q p q p q I p q p q p q σ det, p q p q p q ( ) where I σ deotes the umber of versos the permutato (,,, ) = (,,, ) σ τ τ τ learty of determats for a fxed colum,. Aga, successvely applyg the Iσ q q q < <... < l σ (,,..., ) = ( τ, τ,..., τ ) det( PQ) = ( ) det P. Fally, the result follows from the observato that Iσ det Q = ( ) q q q. σ Example 0.5 Let Bèt-Cauchy: 4 0 P = 3 ad Q =, the applyg 3
23 A Itroducto to Relevat Graph heory ad Matrx heory 3 det( PQ ) 4 0 det det det det det det Multplyg the matrces, PQ = ad det Before we proceed wth the remader of ths secto, we wll revew some pertet materal from Lear Algebra. A set of vectors a subspace of f the followg three codtos hold: () W s 0 W, () x y W for every xy, W, ad () cx W for every c, x. Gve a set of vectors x,x,,x the spa of the vectors, spa x,x,,x s the set cosstg of all lear combatos of the vectors,.e. c c c c c c spa x,x,,x x x x,,,. It s a easy exercse to show that spa x,x,,x s a subspace of. A set of vectors x,x,,x s learly depedet f cx c x c x 0 oly whe c 0, for all < <. If the set of vectors s ot learly depedet, the t s learly depedet,.e. there exst c, c,, c at least oe of whch s ot 0 such that cx c x c x 0. A bass of a subspace W s a learly depedet set of vectors that spa W. he dmeso of a subspace W, dm W, s the umber of vectors ay bass of W. Gve two vectors
24 4 Spag ree Results for Graphs ad Multgraphs x x x = ad x the otato y y y =, the dot product y x y = = x y. We wll also use x y. wo vectors x ad y are orthogoal f 0 he orthogoal complemet of a subspace { y R y x = 0, for all x W} a vector, e x y =. W R, W =. he Eucldea orm or ust orm of x or smply x, s gve by x = x x. A set of vectors e { x,x,,x } s orthoormal f the vectors each have orm ad are parwse orthogoal,.e., x x = 0, =. Ay set of orthoormal vectors s ecessarly learly depedet. A orthoormal bass s a bass whose vectors form a orthoormal set. Let A be a matrx. A egevalue of A s a scalar λ such that Ax = λx for some o-zero vector x. Ay o-zero vector x such that Ax = λx s a egevector assocated wth the egevalue λ. he characterstc polyomal of A, P ( λ) = det ( λ ) the roots of the equato PA ( λ ) = 0. A I A. Egevalues are Proposto 0.4 If A s a real symmetrc matrx the t has real egevalues ad a orthoormal bass of assocated egevectors. Proof Suppose A s a real symmetrc matrx, W s a subspace of R ad W s varat uder A ad A ( W ) W. If { x x x } A,.e. ( W ) A W ad,,, s a orthoormal bass for W the there
25 A Itroducto to Relevat Graph heory ad Matrx heory 5 exsts uque real matrces B ad C such that f = = Ax β x, ad = = A x χ x, the χ α = C. It s easy to see that χ α ad A ( W ) W, the A ( ) = = x α x, β α = B ad β α B = C so that f A s symmetrc W W ad B s symmetrc. Our frst clam s that f A s symmetrc the the lear operator x Ax has real egevalues W (cludg multplctes). Ideed, the egevalues of B are those of x Ax. Now det ( λi B ) splts to lear factors over the complex umbers ad therefore has roots (cludg multplctes) whch are readly see to be real. Next we clam that each subspace W of dmeso whch s varat uder A has a orthoormal bass of egevectors { y y y },,, correspodg to the egevalues λ, λ,, λ. We prove ths by ducto o. If = the W s spaed by the ut vector y ad sce W s varat uder A we have that Ay = λy,.e. λ s a real egevalue ad { y } s the orthoormal bass. Now suppose ad the clam s true for all varat W of dmeso <. Let dm(w) = ad ( W ) A W. Let y W be a egevalue of orm oe assocated wth the real egevalue λ. he spa{ } W = y s varat uder A. But the W W, the collecto of all vectors W orthogoal to W, s also varat uder the symmetrc matrx A,.e. f x W the
26 6 Spag ree Results for Graphs ad Multgraphs ( y A) x y ( Ax ). Sce ( ) 0 = = dm W W =, there exsts real egevalues ad assocated orthoormal egevectors y, y3,, y for A o W W, thereby establshg the clam. Fally we may apply ths clam to = sce A( R ) R. heorem 0.5 (Courat-Fscher Max-M heorem) [Lacaster, 985] If the egevalues of the symmetrc matrx A are amed order of creasg value,.e. λ λ λ, the λ = max m L vares over all ( ) L + -dmesoal subspaces of x Ax 0 x L x x R. where o prove the Courat-Fscher heorem, we frst requre a Lemma. Lemma 0.6 For each let dmesoal subspace of egevalues λ λ λ. he L deote a arbtrary ( ) + - R, ad cosder a symmetrc matrx A wth λ x Ax m 0 x L x x x Ax ad λ + max 0 x L x x. Proof (of Lemma 0.6) Let x,x,,x be a orthoormal system of egevectors for the correspodg egevalues λ λ λ of A,.e., Ax = λx, ad let L ˆ = spa{ } x,x,,x for =,,,. Fx, ad observe that, sce dm( ) dm( ˆ ) ( ) L + L = + + >, there
27 A Itroducto to Relevat Graph heory ad Matrx heory 7 exsts a ozero vector x0 partcular, sce x 0 L, t follows that x0 ˆ R belogg to both of these subspaces. I = = α x ad thus, Hece, x0 Ax0 = αx A αx = λ α = = =. x0 Ax 0 = = λ α λ α x Ax, or λ x x λ. he frst result must follow because x 0 L, ad so m 0 x L x Ax x Ax λ. x x x x 0 0 he secod result s a cosequece of replacg L {,,..., } spa x x x. by Proof (of Courat-Fscher) Because of Lemma 0.5, t suffces to show the exstece of a ( +)-dmesoal subspace such that m ( Ax, x) 0 x L such a subspace. = λ Ideed, tag L. spa{ x, x +,..., x} =, we obta A matrx A s postve sem-defte f x Ax 0 for all vectors x. Note: a matrx wth all ts prcpal mors o-egatve s postve semdefte. A matrx A s postve defte f x Ax > 0 for all vectors x 0.
28 8 Spag ree Results for Graphs ad Multgraphs Proposto 0.7 If A s a postve sem-defte real symmetrc matrx, the ts egevalues satsfy λ λ λ. If A s postve defte, 0 the ts egevalues satsfy < λ λ λ. 0 Proof Let A be a postve sem-defte real symmetrc matrx. We ow from Proposto 0.4 that all λ are real. Next cosder where Ax = λx, x 0, so that 0 x Ax ad hece λ 0. he result for postve defte matrces follows by replacg the equalty 0 x Ax wth 0 < x Ax. We refer to the lst of egevalues of a matrx as the spectrum of the matrx. Corollary 0.8 Suppose that A s a postve sem-defte real symmetrc matrx, ad B s a real symmetrc matrx. Let α, α,, α deote the egevalues of A + B ad β, β,, β deote the egevalues of B. he α β for all =,,,. Proof Note that ( ) + = + x A B x x Ax x Bx x Bx so that for each =,,,. x ( A + B) x x Bx α = max max = β, ad L x x L x x ( + ) x A B x α = max m L 0 x L x x x Bx max m = m max x Bx = β L 0 x L x x y = x = x y =, 0 e e = +,... = +,...
29 A Itroducto to Relevat Graph heory ad Matrx heory 9 he followg Lemma, the cotrapostve of the Levy-Desplaques- Haddamard heorem [Lacaster, 985], presets a useful property of sgular matrces: heorem 0.9 (Domat Matrx heorem) If A s a sgular matrx,. the there exsts a row such that a a Proof If a matrx A s sgular, the there s a o-zero vector x so that Ax = 0. Hece, a x = 0 for all, or a x = a x for all, ad a x a x,. Clearly,, ( max ) a x x a for all. Let ow be chose so that x s the largest value of x for =,,, ; hece, max x x = max x for all. Further, sce x 0, x = max x > 0. herefore, a a. Cosder the matrx A = M λi whch s sgular for ay λ, a egevalue of M. Applyg heorem 0.7 we see that there exsts a such that m λ = λ m m. Now, usg the secod tragle equalty x y x y, we get m λ λ m m ad λ m λ m m. Sce these equaltes are true for each egevalue λ, ad some, t follows that
30 30 Spag ree Results for Graphs ad Multgraphs m max m m λ λ m. m max + m Of course, f we are dealg wth postve sem-defte matrces, the λ = λ. hs leads to the followg corollary: Corollary 0.0 (Gersgor s heorem) Gve a -square complex matrx M m we have egevalue bouds = λ m m m m ad λmax max m m. Our ext result gves a relatoshp betwee egevalues of a square matrx to the trace ad to the determat of the matrx. heorem 0. Let A be a matrx, wth egevalues λ, λ,, λ, the λ = trace( A ) ad λ = det ( ) = Proof Let = A. = A a be a matrx ad P ( λ) = det ( λ ) the characterstc polyomal of A. Sce P ( λ) A I A be A s a polyomal of degree we ca wrte t the form the ( λ) = λ λ + + ( ) P p p A 0. From ths form we see that (0) ( ) A = p0. But pluggg 0 to P ( λ) = det ( λ ) P A ( 0) det ( A) ( ) det( A ), thus p 0 = det ( ) P = = ( I ) A I A we get A. Now evaluatg det λ A ad collectg le terms we see that the coeffcet of λ, p a a a trace. If λ, λ,, λ are, s ( ) = ( A)
31 A Itroducto to Relevat Graph heory ad Matrx heory 3 the egevalues of A,.e. the roots of PA ( λ ) = 0, the we ca also express PA ( λ ) the form P ( λ) = ( λ λ )( λ λ ) ( λ λ ) Multplyg out we get ( ) = ( ) + + ( ) A. PA λ λ λ λ λ λ λ λ λ. Sce the coeffcets of the polyomal are uque, the results follow from equatg the coeffcet of expasos. λ ad the costat term both he followg developmet of some algebrac graph theoretcal deas wll be useful the sequel. If B ad C are ad m l matrces over a arbtrary feld, the the Kroeecer product of B ad C, B C, s the m l matrx wth bloc form bc b C b C b b b C C C. bc b C bc he Kroeecer sum of a matrx B ad m m matrx C, deoted B C, s smply B Im + I C. Example = =
32 3 Spag ree Results for Graphs ad Multgraphs ad = 3 I + I = I I = I I =
33 A Itroducto to Relevat Graph heory ad Matrx heory heorem 0. (A Assocatve Law of Products) If the products EF ad UV are defed, the ( EF) ( UV) = ( E U)( F V). Proof Wthout loss of geeralty, suppose that EF s m ad UV s ( ) ( ) αβ ( ) pq l. he ( EF) ( UV) = EF UV where = ( α ) l + p wth p l, α ; ad q, β m. O the other had, f E has s colums ad U has t colums, the ( αγ )( γβ ) (( E U)( F V) = ( E U) ( F V) = E U F V, z z pr rq z z where ad are as above, ad ( γ ) s z = m + r wth γ s, r t. Hece, = ( αγ γβ ) ( ) = ( ) ( ) αβ ( E U )( F V ) E F U V EF UV. t pr rq pq γ = r= A mmedate cosequece cocers the verse of a Kroeecer product: Corollary 0.3 (Iverse of a Kroeecer Product) If P ad Q are vertble, the so s P Q = P Q. P Q ad ( )
34 34 Spag ree Results for Graphs ad Multgraphs Proof Cosder ( P Q)( P Q ) PP QQ Im I Im = = =, where P s m m ad Q s. heorem 0.4 (Egevalues of a Kroeecer Polyomal) Let B ad φ( B; C) = α B C a fte sum. C be square matrces, ad set ( ), he the egevalues of φ( B; C) are gve by = φ( β ; γ ) α β γ, where β ad γ ru through the egevalues of B ad C, respectvely., Proof Sce the etres of B ad C are complex, there exst vertble matrces P ad Q such that B = PBP ad C = QCQ are upper tragular. Of course, = B PB P ad = tragular, ad therefore so s each matrx ( α ) sum α ( B C ), 0.3 that C QC Q are also upper B C as well as the. Now t follows from heorem 0. ad Corollary ( B C ) = P B P Q C Q = ( P Q) ( B C ) = ( P Q) φ( B ; C ) = α B C = P Q whch s equal to ad thus ( ) ( ), ( ) ( ) = ( ) φ ( ; )( ) α B C P Q P Q B C P Q.,
35 A Itroducto to Relevat Graph heory ad Matrx heory 35 herefore, φ ( B ; C ) ad ( ; ) ( ; ) φ B C have the same egevalues, but φ B C s upper tragular wth dagoal etres gve by = αβ γ as β ad, ( ; ) φ β γ γ vary through the egevalues of B ad C, respectvely. Hece, the result follows. Corollary 0.5 If B ad C are square matrces, the the egevalues of B C ad B C are gve by βγ ad β + γ, respectvely, as β ad γ vary through the egevalues of B ad C. Proof that hs result follows from heorem 0.4 after observg B C ad 0 0 ( ; ) B C are obtaed from ( ; ) φ b c = bc ad p φ s b c = b c + bc, respectvely, upo substtuto of B for b ad C for c, ad the replacemet of ordary multplcato by Kroeecer product.
MATH 247/Winter Notes on the adjoint and on normal operators.
MATH 47/Wter 00 Notes o the adjot ad o ormal operators I these otes, V s a fte dmesoal er product space over, wth gve er * product uv, T, S, T, are lear operators o V U, W are subspaces of V Whe we say
More informationChapter 9 Jordan Block Matrices
Chapter 9 Jorda Block atrces I ths chapter we wll solve the followg problem. Gve a lear operator T fd a bass R of F such that the matrx R (T) s as smple as possble. f course smple s a matter of taste.
More information18.413: Error Correcting Codes Lab March 2, Lecture 8
18.413: Error Correctg Codes Lab March 2, 2004 Lecturer: Dael A. Spelma Lecture 8 8.1 Vector Spaces A set C {0, 1} s a vector space f for x all C ad y C, x + y C, where we take addto to be compoet wse
More informationMaps on Triangular Matrix Algebras
Maps o ragular Matrx lgebras HMED RMZI SOUROUR Departmet of Mathematcs ad Statstcs Uversty of Vctora Vctora, BC V8W 3P4 CND sourour@mathuvcca bstract We surveys results about somorphsms, Jorda somorphsms,
More information4 Inner Product Spaces
11.MH1 LINEAR ALGEBRA Summary Notes 4 Ier Product Spaces Ier product s the abstracto to geeral vector spaces of the famlar dea of the scalar product of two vectors or 3. I what follows, keep these key
More informationCHAPTER 4 RADICAL EXPRESSIONS
6 CHAPTER RADICAL EXPRESSIONS. The th Root of a Real Number A real umber a s called the th root of a real umber b f Thus, for example: s a square root of sce. s also a square root of sce ( ). s a cube
More informationAssignment 5/MATH 247/Winter Due: Friday, February 19 in class (!) (answers will be posted right after class)
Assgmet 5/MATH 7/Wter 00 Due: Frday, February 9 class (!) (aswers wll be posted rght after class) As usual, there are peces of text, before the questos [], [], themselves. Recall: For the quadratc form
More informationAN UPPER BOUND FOR THE PERMANENT VERSUS DETERMINANT PROBLEM BRUNO GRENET
AN UPPER BOUND FOR THE PERMANENT VERSUS DETERMINANT PROBLEM BRUNO GRENET Abstract. The Permaet versus Determat problem s the followg: Gve a matrx X of determates over a feld of characterstc dfferet from
More informationApplication of Legendre Bernstein basis transformations to degree elevation and degree reduction
Computer Aded Geometrc Desg 9 79 78 www.elsever.com/locate/cagd Applcato of Legedre Berste bass trasformatos to degree elevato ad degree reducto Byug-Gook Lee a Yubeom Park b Jaechl Yoo c a Dvso of Iteret
More informationNumerical Analysis Formulae Booklet
Numercal Aalyss Formulae Booklet. Iteratve Scemes for Systems of Lear Algebrac Equatos:.... Taylor Seres... 3. Fte Dfferece Approxmatos... 3 4. Egevalues ad Egevectors of Matrces.... 3 5. Vector ad Matrx
More informationPTAS for Bin-Packing
CS 663: Patter Matchg Algorthms Scrbe: Che Jag /9/00. Itroducto PTAS for B-Packg The B-Packg problem s NP-hard. If we use approxmato algorthms, the B-Packg problem could be solved polyomal tme. For example,
More informationMA 524 Homework 6 Solutions
MA 524 Homework 6 Solutos. Sce S(, s the umber of ways to partto [] to k oempty blocks, ad c(, s the umber of ways to partto to k oempty blocks ad also the arrage each block to a cycle, we must have S(,
More information1 Onto functions and bijections Applications to Counting
1 Oto fuctos ad bectos Applcatos to Coutg Now we move o to a ew topc. Defto 1.1 (Surecto. A fucto f : A B s sad to be surectve or oto f for each b B there s some a A so that f(a B. What are examples of
More information{ }{ ( )} (, ) = ( ) ( ) ( ) Chapter 14 Exercises in Sampling Theory. Exercise 1 (Simple random sampling): Solution:
Chapter 4 Exercses Samplg Theory Exercse (Smple radom samplg: Let there be two correlated radom varables X ad A sample of sze s draw from a populato by smple radom samplg wthout replacemet The observed
More informationQR Factorization and Singular Value Decomposition COS 323
QR Factorzato ad Sgular Value Decomposto COS 33 Why Yet Aother Method? How do we solve least-squares wthout currg codto-squarg effect of ormal equatos (A T A A T b) whe A s sgular, fat, or otherwse poorly-specfed?
More informationUNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS
UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS Postpoed exam: ECON430 Statstcs Date of exam: Jauary 0, 0 Tme for exam: 09:00 a.m. :00 oo The problem set covers 5 pages Resources allowed: All wrtte ad prted
More informationAlgorithms Theory, Solution for Assignment 2
Juor-Prof. Dr. Robert Elsässer, Marco Muñz, Phllp Hedegger WS 2009/200 Algorthms Theory, Soluto for Assgmet 2 http://lak.formatk.u-freburg.de/lak_teachg/ws09_0/algo090.php Exercse 2. - Fast Fourer Trasform
More informationRademacher Complexity. Examples
Algorthmc Foudatos of Learg Lecture 3 Rademacher Complexty. Examples Lecturer: Patrck Rebesch Verso: October 16th 018 3.1 Itroducto I the last lecture we troduced the oto of Rademacher complexty ad showed
More informationLecture 3 Probability review (cont d)
STATS 00: Itroducto to Statstcal Iferece Autum 06 Lecture 3 Probablty revew (cot d) 3. Jot dstrbutos If radom varables X,..., X k are depedet, the ther dstrbuto may be specfed by specfyg the dvdual dstrbuto
More informationmeans the first term, a2 means the term, etc. Infinite Sequences: follow the same pattern forever.
9.4 Sequeces ad Seres Pre Calculus 9.4 SEQUENCES AND SERIES Learg Targets:. Wrte the terms of a explctly defed sequece.. Wrte the terms of a recursvely defed sequece. 3. Determe whether a sequece s arthmetc,
More informationh-analogue of Fibonacci Numbers
h-aalogue of Fboacc Numbers arxv:090.0038v [math-ph 30 Sep 009 H.B. Beaoum Prce Mohammad Uversty, Al-Khobar 395, Saud Araba Abstract I ths paper, we troduce the h-aalogue of Fboacc umbers for o-commutatve
More informationChapter 2 - Free Vibration of Multi-Degree-of-Freedom Systems - II
CEE49b Chapter - Free Vbrato of Mult-Degree-of-Freedom Systems - II We ca obta a approxmate soluto to the fudametal atural frequecy through a approxmate formula developed usg eergy prcples by Lord Raylegh
More informationF. Inequalities. HKAL Pure Mathematics. 進佳數學團隊 Dr. Herbert Lam 林康榮博士. [Solution] Example Basic properties
進佳數學團隊 Dr. Herbert Lam 林康榮博士 HKAL Pure Mathematcs F. Ieualtes. Basc propertes Theorem Let a, b, c be real umbers. () If a b ad b c, the a c. () If a b ad c 0, the ac bc, but f a b ad c 0, the ac bc. Theorem
More informationMu Sequences/Series Solutions National Convention 2014
Mu Sequeces/Seres Solutos Natoal Coveto 04 C 6 E A 6C A 6 B B 7 A D 7 D C 7 A B 8 A B 8 A C 8 E 4 B 9 B 4 E 9 B 4 C 9 E C 0 A A 0 D B 0 C C Usg basc propertes of arthmetc sequeces, we fd a ad bm m We eed
More informationMOLECULAR VIBRATIONS
MOLECULAR VIBRATIONS Here we wsh to vestgate molecular vbratos ad draw a smlarty betwee the theory of molecular vbratos ad Hückel theory. 1. Smple Harmoc Oscllator Recall that the eergy of a oe-dmesoal
More informationA Study on Generalized Generalized Quasi hyperbolic Kac Moody algebra QHGGH of rank 10
Global Joural of Mathematcal Sceces: Theory ad Practcal. ISSN 974-3 Volume 9, Number 3 (7), pp. 43-4 Iteratoal Research Publcato House http://www.rphouse.com A Study o Geeralzed Geeralzed Quas (9) hyperbolc
More informationThe Mathematical Appendix
The Mathematcal Appedx Defto A: If ( Λ, Ω, where ( λ λ λ whch the probablty dstrbutos,,..., Defto A. uppose that ( Λ,,..., s a expermet type, the σ-algebra o λ λ λ are defed s deoted by ( (,,...,, σ Ω.
More informationLattices. Mathematical background
Lattces Mathematcal backgroud Lattces : -dmesoal Eucldea space. That s, { T x } x x = (,, ) :,. T T If x= ( x,, x), y = ( y,, y), the xy, = xy (er product of xad y) x = /2 xx, (Eucldea legth or orm of
More informationLecture 07: Poles and Zeros
Lecture 07: Poles ad Zeros Defto of poles ad zeros The trasfer fucto provdes a bass for determg mportat system respose characterstcs wthout solvg the complete dfferetal equato. As defed, the trasfer fucto
More informationIII-16 G. Brief Review of Grand Orthogonality Theorem and impact on Representations (Γ i ) l i = h n = number of irreducible representations.
III- G. Bref evew of Grad Orthogoalty Theorem ad mpact o epresetatos ( ) GOT: h [ () m ] [ () m ] δδ δmm ll GOT puts great restrcto o form of rreducble represetato also o umber: l h umber of rreducble
More informationFunctions of Random Variables
Fuctos of Radom Varables Chapter Fve Fuctos of Radom Varables 5. Itroducto A geeral egeerg aalyss model s show Fg. 5.. The model output (respose) cotas the performaces of a system or product, such as weght,
More informationAssignment 7/MATH 247/Winter, 2010 Due: Friday, March 19. Powers of a square matrix
Assgmet 7/MATH 47/Wter, 00 Due: Frday, March 9 Powers o a square matrx Gve a square matrx A, ts powers A or large, or eve arbtrary, teger expoets ca be calculated by dagoalzg A -- that s possble (!) Namely,
More informationInvestigating Cellular Automata
Researcher: Taylor Dupuy Advsor: Aaro Wootto Semester: Fall 4 Ivestgatg Cellular Automata A Overvew of Cellular Automata: Cellular Automata are smple computer programs that geerate rows of black ad whte
More informationChapter 4 (Part 1): Non-Parametric Classification (Sections ) Pattern Classification 4.3) Announcements
Aoucemets No-Parametrc Desty Estmato Techques HW assged Most of ths lecture was o the blacboard. These sldes cover the same materal as preseted DHS Bometrcs CSE 90-a Lecture 7 CSE90a Fall 06 CSE90a Fall
More informationChapter 4 Multiple Random Variables
Revew for the prevous lecture: Theorems ad Examples: How to obta the pmf (pdf) of U = g (, Y) ad V = g (, Y) Chapter 4 Multple Radom Varables Chapter 44 Herarchcal Models ad Mxture Dstrbutos Examples:
More informationCS286.2 Lecture 4: Dinur s Proof of the PCP Theorem
CS86. Lecture 4: Dur s Proof of the PCP Theorem Scrbe: Thom Bohdaowcz Prevously, we have prove a weak verso of the PCP theorem: NP PCP 1,1/ (r = poly, q = O(1)). Wth ths result we have the desred costat
More informationNon-uniform Turán-type problems
Joural of Combatoral Theory, Seres A 111 2005 106 110 wwwelsevercomlocatecta No-uform Turá-type problems DhruvMubay 1, Y Zhao 2 Departmet of Mathematcs, Statstcs, ad Computer Scece, Uversty of Illos at
More informationIdeal multigrades with trigonometric coefficients
Ideal multgrades wth trgoometrc coeffcets Zarathustra Brady December 13, 010 1 The problem A (, k) multgrade s defed as a par of dstct sets of tegers such that (a 1,..., a ; b 1,..., b ) a j = =1 for all
More informationρ < 1 be five real numbers. The
Lecture o BST 63: Statstcal Theory I Ku Zhag, /0/006 Revew for the prevous lecture Deftos: covarace, correlato Examples: How to calculate covarace ad correlato Theorems: propertes of correlato ad covarace
More information3D Geometry for Computer Graphics. Lesson 2: PCA & SVD
3D Geometry for Computer Graphcs Lesso 2: PCA & SVD Last week - egedecomposto We wat to lear how the matrx A works: A 2 Last week - egedecomposto If we look at arbtrary vectors, t does t tell us much.
More informationIntroduction to Matrices and Matrix Approach to Simple Linear Regression
Itroducto to Matrces ad Matrx Approach to Smple Lear Regresso Matrces Defto: A matrx s a rectagular array of umbers or symbolc elemets I may applcatos, the rows of a matrx wll represet dvduals cases (people,
More informationThe internal structure of natural numbers, one method for the definition of large prime numbers, and a factorization test
Fal verso The teral structure of atural umbers oe method for the defto of large prme umbers ad a factorzato test Emmaul Maousos APM Isttute for the Advacemet of Physcs ad Mathematcs 3 Poulou str. 53 Athes
More informationSome Different Perspectives on Linear Least Squares
Soe Dfferet Perspectves o Lear Least Squares A stadard proble statstcs s to easure a respose or depedet varable, y, at fed values of oe or ore depedet varables. Soetes there ests a deterstc odel y f (,,
More informationLecture Notes 2. The ability to manipulate matrices is critical in economics.
Lecture Notes. Revew of Matrces he ablt to mapulate matrces s crtcal ecoomcs.. Matr a rectagular arra of umbers, parameters, or varables placed rows ad colums. Matrces are assocated wth lear equatos. lemets
More informationX X X E[ ] E X E X. is the ()m n where the ( i,)th. j element is the mean of the ( i,)th., then
Secto 5 Vectors of Radom Varables Whe workg wth several radom varables,,..., to arrage them vector form x, t s ofte coveet We ca the make use of matrx algebra to help us orgaze ad mapulate large umbers
More informationANALYSIS ON THE NATURE OF THE BASIC EQUATIONS IN SYNERGETIC INTER-REPRESENTATION NETWORK
Far East Joural of Appled Mathematcs Volume, Number, 2008, Pages Ths paper s avalable ole at http://www.pphm.com 2008 Pushpa Publshg House ANALYSIS ON THE NATURE OF THE ASI EQUATIONS IN SYNERGETI INTER-REPRESENTATION
More informationA BASIS OF THE GROUP OF PRIMITIVE ALMOST PYTHAGOREAN TRIPLES
Joural of Algebra Number Theory: Advaces ad Applcatos Volume 6 Number 6 Pages 5-7 Avalable at http://scetfcadvaces.co. DOI: http://dx.do.org/.864/ataa_77 A BASIS OF THE GROUP OF PRIMITIVE ALMOST PYTHAGOREAN
More informationExercises for Square-Congruence Modulo n ver 11
Exercses for Square-Cogruece Modulo ver Let ad ab,.. Mark True or False. a. 3S 30 b. 3S 90 c. 3S 3 d. 3S 4 e. 4S f. 5S g. 0S 55 h. 8S 57. 9S 58 j. S 76 k. 6S 304 l. 47S 5347. Fd the equvalece classes duced
More informationChapter 3. Linear Equations and Matrices
Vector Spaces Physcs 8/6/05 hapter Lear Equatos ad Matrces wde varety of physcal problems volve solvg systems of smultaeous lear equatos These systems of lear equatos ca be ecoomcally descrbed ad effcetly
More informationTESTS BASED ON MAXIMUM LIKELIHOOD
ESE 5 Toy E. Smth. The Basc Example. TESTS BASED ON MAXIMUM LIKELIHOOD To llustrate the propertes of maxmum lkelhood estmates ad tests, we cosder the smplest possble case of estmatg the mea of the ormal
More information1 Mixed Quantum State. 2 Density Matrix. CS Density Matrices, von Neumann Entropy 3/7/07 Spring 2007 Lecture 13. ψ = α x x. ρ = p i ψ i ψ i.
CS 94- Desty Matrces, vo Neuma Etropy 3/7/07 Sprg 007 Lecture 3 I ths lecture, we wll dscuss the bascs of quatum formato theory I partcular, we wll dscuss mxed quatum states, desty matrces, vo Neuma etropy
More informationTaylor s Series and Interpolation. Interpolation & Curve-fitting. CIS Interpolation. Basic Scenario. Taylor Series interpolates at a specific
CIS 54 - Iterpolato Roger Crawfs Basc Scearo We are able to prod some fucto, but do ot kow what t really s. Ths gves us a lst of data pots: [x,f ] f(x) f f + x x + August 2, 25 OSU/CIS 54 3 Taylor s Seres
More informationON THE ELEMENTARY SYMMETRIC FUNCTIONS OF A SUM OF MATRICES
Joural of lgebra, umber Theory: dvaces ad pplcatos Volume, umber, 9, Pages 99- O THE ELEMETRY YMMETRIC FUCTIO OF UM OF MTRICE R.. COT-TO Departmet of Mathematcs Uversty of Calfora ata Barbara, C 96 U...
More informationLINEAR RECURRENT SEQUENCES AND POWERS OF A SQUARE MATRIX
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 6 2006, #A12 LINEAR RECURRENT SEQUENCES AND POWERS OF A SQUARE MATRIX Hacèe Belbachr 1 USTHB, Departmet of Mathematcs, POBox 32 El Ala, 16111,
More informationGG313 GEOLOGICAL DATA ANALYSIS
GG33 GEOLOGICAL DATA ANALYSIS 3 GG33 GEOLOGICAL DATA ANALYSIS LECTURE NOTES PAUL WESSEL SECTION 3 LINEAR (MATRIX ALGEBRA OVERVIEW OF MATRIX ALGEBRA (or All you ever wated to kow about Lear Algebra but
More informationC-1: Aerodynamics of Airfoils 1 C-2: Aerodynamics of Airfoils 2 C-3: Panel Methods C-4: Thin Airfoil Theory
ROAD MAP... AE301 Aerodyamcs I UNIT C: 2-D Arfols C-1: Aerodyamcs of Arfols 1 C-2: Aerodyamcs of Arfols 2 C-3: Pael Methods C-4: Th Arfol Theory AE301 Aerodyamcs I Ut C-3: Lst of Subects Problem Solutos?
More informationA scalar t is an eigenvalue of A if and only if t satisfies the characteristic equation of A: det (A ti) =0
Chapter 5 a glace: Let e a lear operator whose stadard matrx s wth sze x. he, a ozero vector x s sad to e a egevector of ad f there exsts a scalar sch that (x) x x. he scalar s called a egevale of (or
More information1 Lyapunov Stability Theory
Lyapuov Stablty heory I ths secto we cosder proofs of stablty of equlbra of autoomous systems. hs s stadard theory for olear systems, ad oe of the most mportat tools the aalyss of olear systems. It may
More informationFeature Selection: Part 2. 1 Greedy Algorithms (continued from the last lecture)
CSE 546: Mache Learg Lecture 6 Feature Selecto: Part 2 Istructor: Sham Kakade Greedy Algorthms (cotued from the last lecture) There are varety of greedy algorthms ad umerous amg covetos for these algorthms.
More informationGraphs and graph models-graph terminology and special types of graphs-representing graphs and graph isomorphism -connectivity-euler and Hamilton
Prepare by Dr. A.R.VIJAYALAKSHMI Graphs a graph moels-graph termology a specal types of graphs-represetg graphs a graph somorphsm -coectty-euler a Hamlto paths Graph Graph: A graph G = (V, E) cossts of
More informationOn Eccentricity Sum Eigenvalue and Eccentricity Sum Energy of a Graph
Aals of Pure ad Appled Mathematcs Vol. 3, No., 7, -3 ISSN: 79-87X (P, 79-888(ole Publshed o 3 March 7 www.researchmathsc.org DOI: http://dx.do.org/.7/apam.3a Aals of O Eccetrcty Sum Egealue ad Eccetrcty
More informationEntropy ISSN by MDPI
Etropy 2003, 5, 233-238 Etropy ISSN 1099-4300 2003 by MDPI www.mdp.org/etropy O the Measure Etropy of Addtve Cellular Automata Hasa Aı Arts ad Sceces Faculty, Departmet of Mathematcs, Harra Uversty; 63100,
More informationx y exp λ'. x exp λ 2. x exp 1.
egecosmcd Egevalue-egevector of the secod dervatve operator d /d hs leads to Fourer seres (se, cose, Legedre, Bessel, Chebyshev, etc hs s a eample of a systematc way of geeratg a set of mutually orthogoal
More informationn -dimensional vectors follow naturally from the one
B. Vectors ad sets B. Vectors Ecoomsts study ecoomc pheomea by buldg hghly stylzed models. Uderstadg ad makg use of almost all such models requres a hgh comfort level wth some key mathematcal sklls. I
More informationOrdinary Least Squares Regression. Simple Regression. Algebra and Assumptions.
Ordary Least Squares egresso. Smple egresso. Algebra ad Assumptos. I ths part of the course we are gog to study a techque for aalysg the lear relatoshp betwee two varables Y ad X. We have pars of observatos
More information( q Modal Analysis. Eigenvectors = Mode Shapes? Eigenproblem (cont) = x x 2 u 2. u 1. x 1 (4.55) vector and M and K are matrices.
4.3 - Modal Aalyss Physcal coordates are ot always the easest to work Egevectors provde a coveet trasformato to modal coordates Modal coordates are lear combato of physcal coordates Say we have physcal
More informationOn L- Fuzzy Sets. T. Rama Rao, Ch. Prabhakara Rao, Dawit Solomon And Derso Abeje.
Iteratoal Joural of Fuzzy Mathematcs ad Systems. ISSN 2248-9940 Volume 3, Number 5 (2013), pp. 375-379 Research Ida Publcatos http://www.rpublcato.com O L- Fuzzy Sets T. Rama Rao, Ch. Prabhakara Rao, Dawt
More informationInvestigation of Partially Conditional RP Model with Response Error. Ed Stanek
Partally Codtoal Radom Permutato Model 7- vestgato of Partally Codtoal RP Model wth Respose Error TRODUCTO Ed Staek We explore the predctor that wll result a smple radom sample wth respose error whe a
More informationThe Lucas and Babbage congruences
The Lucas ad Baage cogrueces Dar Grerg Feruary 26, 2018 Cotets 01 Itroducto 1 1 The cogrueces 2 11 Bomal coeffcets 2 12 Negatve 3 13 The two cogrueces 4 2 Proofs 5 21 Basc propertes of omal coeffcets modulo
More informationarxiv:math/ v1 [math.gm] 8 Dec 2005
arxv:math/05272v [math.gm] 8 Dec 2005 A GENERALIZATION OF AN INEQUALITY FROM IMO 2005 NIKOLAI NIKOLOV The preset paper was spred by the thrd problem from the IMO 2005. A specal award was gve to Yure Boreko
More informationTransforms that are commonly used are separable
Trasforms s Trasforms that are commoly used are separable Eamples: Two-dmesoal DFT DCT DST adamard We ca the use -D trasforms computg the D separable trasforms: Take -D trasform of the rows > rows ( )
More informationSingular Value Decomposition. Linear Algebra (3) Singular Value Decomposition. SVD and Eigenvectors. Solving LEs with SVD
Sgular Value Decomosto Lear Algera (3) m Cootes Ay m x matrx wth m ca e decomosed as follows Dagoal matrx A UWV m x x Orthogoal colums U U I w1 0 0 w W M M 0 0 x Orthoormal (Pure rotato) VV V V L 0 L 0
More informationCHAPTER VI Statistical Analysis of Experimental Data
Chapter VI Statstcal Aalyss of Expermetal Data CHAPTER VI Statstcal Aalyss of Expermetal Data Measuremets do ot lead to a uque value. Ths s a result of the multtude of errors (maly radom errors) that ca
More informationA tighter lower bound on the circuit size of the hardest Boolean functions
Electroc Colloquum o Computatoal Complexty, Report No. 86 2011) A tghter lower boud o the crcut sze of the hardest Boolea fuctos Masak Yamamoto Abstract I [IPL2005], Fradse ad Mlterse mproved bouds o the
More informationD KL (P Q) := p i ln p i q i
Cheroff-Bouds 1 The Geeral Boud Let P 1,, m ) ad Q q 1,, q m ) be two dstrbutos o m elemets, e,, q 0, for 1,, m, ad m 1 m 1 q 1 The Kullback-Lebler dvergece or relatve etroy of P ad Q s defed as m D KL
More informationEconometric Methods. Review of Estimation
Ecoometrc Methods Revew of Estmato Estmatg the populato mea Radom samplg Pot ad terval estmators Lear estmators Ubased estmators Lear Ubased Estmators (LUEs) Effcecy (mmum varace) ad Best Lear Ubased Estmators
More informationα1 α2 Simplex and Rectangle Elements Multi-index Notation of polynomials of degree Definition: The set P k will be the set of all functions:
Smplex ad Rectagle Elemets Mult-dex Notato = (,..., ), o-egatve tegers = = β = ( β,..., β ) the + β = ( + β,..., + β ) + x = x x x x = x x β β + D = D = D D x x x β β Defto: The set P of polyomals of degree
More informationAlgorithms Design & Analysis. Hash Tables
Algorthms Desg & Aalyss Hash Tables Recap Lower boud Order statstcs 2 Today s topcs Drect-accessble table Hash tables Hash fuctos Uversal hashg Perfect Hashg Ope addressg 3 Symbol-table problem Symbol
More informationPart 4b Asymptotic Results for MRR2 using PRESS. Recall that the PRESS statistic is a special type of cross validation procedure (see Allen (1971))
art 4b Asymptotc Results for MRR usg RESS Recall that the RESS statstc s a specal type of cross valdato procedure (see Alle (97)) partcular to the regresso problem ad volves fdg Y $,, the estmate at the
More informationOn the construction of symmetric nonnegative matrix with prescribed Ritz values
Joural of Lear ad Topologcal Algebra Vol. 3, No., 14, 61-66 O the costructo of symmetrc oegatve matrx wth prescrbed Rtz values A. M. Nazar a, E. Afshar b a Departmet of Mathematcs, Arak Uversty, P.O. Box
More informationUnit 9. The Tangent Bundle
Ut 9. The Taget Budle ========================================================================================== ---------- The taget sace of a submafold of R, detfcato of taget vectors wth dervatos at
More informationSome Notes on the Probability Space of Statistical Surveys
Metodološk zvezk, Vol. 7, No., 200, 7-2 ome Notes o the Probablty pace of tatstcal urveys George Petrakos Abstract Ths paper troduces a formal presetato of samplg process usg prcples ad cocepts from Probablty
More informationLecture 1. (Part II) The number of ways of partitioning n distinct objects into k distinct groups containing n 1,
Lecture (Part II) Materals Covered Ths Lecture: Chapter 2 (2.6 --- 2.0) The umber of ways of parttog dstct obects to dstct groups cotag, 2,, obects, respectvely, where each obect appears exactly oe group
More informationSolution of General Dual Fuzzy Linear Systems. Using ABS Algorithm
Appled Mathematcal Sceces, Vol 6, 0, o 4, 63-7 Soluto of Geeral Dual Fuzzy Lear Systems Usg ABS Algorthm M A Farborz Aragh * ad M M ossezadeh Departmet of Mathematcs, Islamc Azad Uversty Cetral ehra Brach,
More informationv 1 -periodic 2-exponents of SU(2 e ) and SU(2 e + 1)
Joural of Pure ad Appled Algebra 216 (2012) 1268 1272 Cotets lsts avalable at ScVerse SceceDrect Joural of Pure ad Appled Algebra joural homepage: www.elsever.com/locate/jpaa v 1 -perodc 2-expoets of SU(2
More informationComplete Convergence and Some Maximal Inequalities for Weighted Sums of Random Variables
Joural of Sceces, Islamc Republc of Ira 8(4): -6 (007) Uversty of Tehra, ISSN 06-04 http://sceces.ut.ac.r Complete Covergece ad Some Maxmal Iequaltes for Weghted Sums of Radom Varables M. Am,,* H.R. Nl
More informationHomework 1: Solutions Sid Banerjee Problem 1: (Practice with Asymptotic Notation) ORIE 4520: Stochastics at Scale Fall 2015
Fall 05 Homework : Solutos Problem : (Practce wth Asymptotc Notato) A essetal requremet for uderstadg scalg behavor s comfort wth asymptotc (or bg-o ) otato. I ths problem, you wll prove some basc facts
More information6.867 Machine Learning
6.867 Mache Learg Problem set Due Frday, September 9, rectato Please address all questos ad commets about ths problem set to 6.867-staff@a.mt.edu. You do ot eed to use MATLAB for ths problem set though
More information(b) By independence, the probability that the string 1011 is received correctly is
Soluto to Problem 1.31. (a) Let A be the evet that a 0 s trasmtted. Usg the total probablty theorem, the desred probablty s P(A)(1 ɛ ( 0)+ 1 P(A) ) (1 ɛ 1)=p(1 ɛ 0)+(1 p)(1 ɛ 1). (b) By depedece, the probablty
More informationSpecial Instructions / Useful Data
JAM 6 Set of all real umbers P A..d. B, p Posso Specal Istructos / Useful Data x,, :,,, x x Probablty of a evet A Idepedetly ad detcally dstrbuted Bomal dstrbuto wth parameters ad p Posso dstrbuto wth
More informationPROJECTION PROBLEM FOR REGULAR POLYGONS
Joural of Mathematcal Sceces: Advaces ad Applcatos Volume, Number, 008, Pages 95-50 PROJECTION PROBLEM FOR REGULAR POLYGONS College of Scece Bejg Forestry Uversty Bejg 0008 P. R. Cha e-mal: sl@bjfu.edu.c
More informationTHE COMPLETE ENUMERATION OF FINITE GROUPS OF THE FORM R 2 i ={R i R j ) k -i=i
ENUMERATON OF FNTE GROUPS OF THE FORM R ( 2 = (RfR^'u =1. 21 THE COMPLETE ENUMERATON OF FNTE GROUPS OF THE FORM R 2 ={R R j ) k -= H. S. M. COXETER*. ths paper, we vestgate the abstract group defed by
More informationChapter 3 Sampling For Proportions and Percentages
Chapter 3 Samplg For Proportos ad Percetages I may stuatos, the characterstc uder study o whch the observatos are collected are qualtatve ature For example, the resposes of customers may marketg surveys
More informationDecomposition of Hadamard Matrices
Chapter 7 Decomposto of Hadamard Matrces We hae see Chapter that Hadamard s orgal costructo of Hadamard matrces states that the Kroecer product of Hadamard matrces of orders m ad s a Hadamard matrx of
More information( ) ( ) ( ( )) ( ) ( ) ( ) ( ) ( ) = ( ) ( ) + ( ) ( ) = ( ( )) ( ) + ( ( )) ( ) Review. Second Derivatives for f : y R. Let A be an m n matrix.
Revew + v, + y = v, + v, + y, + y, Cato! v, + y, + v, + y geeral Let A be a atr Let f,g : Ω R ( ) ( ) R y R Ω R h( ) f ( ) g ( ) ( ) ( ) ( ( )) ( ) dh = f dg + g df A, y y A Ay = = r= c= =, : Ω R he Proof
More information13. Parametric and Non-Parametric Uncertainties, Radial Basis Functions and Neural Network Approximations
Lecture 7 3. Parametrc ad No-Parametrc Ucertates, Radal Bass Fuctos ad Neural Network Approxmatos he parameter estmato algorthms descrbed prevous sectos were based o the assumpto that the system ucertates
More informationSome properties of symmetry classes of tensors
The d Aual Meetg Mathematcs (AMM 07) Departmet of Mathematcs, Faculty of Scece Chag Ma Uversty, Chag Ma Thalad Some propertes of symmetry classes of tesors Kulathda Chmla, ad Kjt Rodtes Departmet of Mathematcs,
More informationMatrix Algebra Tutorial With Examples in Matlab
Matr Algebra Tutoral Wth Eamples Matlab by Klaus Moelter Departmet of Agrcultural ad Appled Ecoomcs Vrga Tech emal: moelter@vt.edu web: http://faculty.ageco.vt.edu/moelter/ Specfcally desged as a / day
More informationLecture Note to Rice Chapter 8
ECON 430 HG revsed Nov 06 Lecture Note to Rce Chapter 8 Radom matrces Let Y, =,,, m, =,,, be radom varables (r.v. s). The matrx Y Y Y Y Y Y Y Y Y Y = m m m s called a radom matrx ( wth a ot m-dmesoal dstrbuto,
More informationPERRON FROBENIUS THEOREM FOR NONNEGATIVE TENSORS K.C. CHANG, KELLY PEARSON, AND TAN ZHANG
PERRON FROBENIUS THEOREM FOR NONNEGATIVE TENSORS K.C. CHANG, KELLY PEARSON, AND TAN ZHANG Abstract. We geeralze the Perro Frobeus Theorem for oegatve matrces to the class of oegatve tesors. 1. Itroducto
More information