SPECTRAL THEOREM AND APPLICATIONS
|
|
- Prosper Casey
- 5 years ago
- Views:
Transcription
1 SPECTRAL THEOREM AND APPLICATIONS JINGJING (JENNY) LI Abstract. This paper is dedicated to preset a proof of the Spectral Theorem, ad to discuss how the Spectral Theorem is applied i combiatorics ad graph theory. I this paper, we also give isights ito the ways i which this theorem uveils some mysteries i graph theory, such as expader graphs ad graph colorig. Cotets 1. Itroductio 1 2. Proof of the Spectral Theorem 2 3. Cosequeces ad Applicatios Spectral Graph Theory 3 Ackowledgmets 8 Refereces 8 1. Itroductio The topic of this paper is a fudametal theorem of mathematics: The Spectral Theorem. This theorem cocers symmetric trasformatios o fiite dimesioal Euclidea spaces. It specifies a coditio for matrix diagoalizatio, which is widely used i discrete mathematics ad other fields icludig physical scieces (for example, quatum mechaics). I order to uderstad the Spectral Theorem, first we eed to look at some defiitios: Defiitio 1.1. Let V be a Euclidea vector space. A set of vectors {b 1,..., b k } V forms a orthoormal basis if { 0 if i j, b i, b j = 1 if i = j. ad the set spas V. Defiitio 1.2. Let V be as above ad let φ be a liear trasformatio from V to itself. φ is a symmetric trasformatio if ( x, y V )( φ(x), y = x, φ(y) ). If we represet φ with respect to a orthoormal basis the we get a symmetric matrix, i.e. A ij = A ji. The coverse is also true: if A is a symmetric matrix, the it defies a symmetric trasformatio o R. This justifies the use of the same adjective for both otios. [ ] 1 2 For example, A = defies a symmetric trasformatio o R Date: September 23,
2 2 JINGJING (JENNY) LI Now let us state the Spectral Theorem: Theorem 1.3. I a fiite-dimesioal Euclidea space, every symmetric trasformatio has a orthoormal eigebasis. I this paper, we will prove this theorem i several steps that will be preseted as a series of separate lemmas. We will coclude by icludig specific examples of the theorem s applicatio to graph theory, such as the theory of expader graphs. 2. Proof of the Spectral Theorem To prove the Spectral Theorem, the first step is to prove that there exists oe eigevector. The, we wat to show that assumig the theorem holds true for a subspace, we ca prove the theorem for the orthogoal complemet of that space. Lastly, combiig the first ad secod steps, we ca prove the etire Spectral Theorem by iductio, because we kow there always exists oe eigevector. φv, v Defiitio 2.1. For every v 0, defie the Rayleigh quotiet as v, v. Furthermore, defie φv, v λ = sup v 0 v, v. Note that the fuctio v φv, v is a cotiuous fuctio o the compact set {v v = 1}. Therefore, by the Extreme Value Theorem, the umber λ is attaied. To prove the Spectral Theorem, we eed to fid a eigebasis. So the first step is to fid oe eigevector. The ext lemma will show that a vector that maximizes the Rayleigh quotiet is actually a eigevector. Lemma 2.2. Suppose v 0 = 1 satisfies φv 0, v 0 = λ, the φv 0 = λv 0. Proof. Sice λ is the supremum of all Rayleigh quotiets, for all v ad w such that v + w 0, we have λ φ(v + w), v + w v + w, v + w = λ v + w, v + w φ(v + w), v + w. We otice that this last iequality holds eve if v + w = 0. Expadig both sides of the iequality, we have λ( v, v + w, w + 2 v, w ) φv, v + φw, w + φv, w + φw, v. Sice φ is symmetric, φw, v = w, φv = φv, w, ad thus we get λ v, v + λ w, w + 2 λv, w φv, v + φw, w + 2 φv, w. Sice the iequality holds for ay v ad w, it holds particularly for v = v 0 ad w = tu, where t R ad u V is ay vector. Sice v 0 = 1 ad φv 0, v 0 = λ, the previous iequality becomes λ + λt 2 u, u + 2t λu, u λ + t 2 φu, u + 2t φv 0, u = t 2 (λ u, u φu, u ) + 2t( λv 0 φv 0, u ) 0. As t varies we see that the left-had side of the iequality traces a parabola i t. At t = 0 the parabola vaishes, ad the iequality demostrates that t = 0 is i fact a global miimum, so the derivative at 0 vaishes. Thus, for all u U,
3 SPECTRAL THEOREM AND APPLICATIONS 3 we deduce that λv 0 φv 0, u = 0. I particular for u = λv 0 φv 0, we get 0 = λv 0 φv 0, λv 0 φv 0 = λv 0 φv 0 2. So φv 0 = λv 0. Now that we have oe eigevector, we eed to cotiue this process ad produce additioal eigevectors iside {v 0 }. Lemma 2.3. Let U be a subspace of V. If U is φ-ivariat, the U is also φ-ivariat. Proof. Let u U. We wat to show that φu U, i.e. for every u U, it holds that φu, u = 0. Sice φ is symmetric, u, φu = u, φu = 0, because the φ-ivariace of U implies φu U ad u U. Lemma 2.4. Let V be a Euclidea vector space, ad let U V be a liear subspace with ier product iduced from V. As before, let φ be a symmetric trasformatio. If U is φ-ivariat, the φ U is symmetric. Proof. By defiitio, φu = φ U (u). So for all u, u U, the symmetry of φ implies φu, u V = u, φu V. Sice the ier product o U is the restrictio of the ier product o V, we have φ U (u), u U = u, φ U (u ) U. Therefore φ U is symmetric. With the lemmas prove above, we ca ow proceed to prove the Spectral Theorem. Proof of Theorem 1.3. Base case: dim V = 1. Take ay ozero vector v i this oe-dimesioal vector space. Divide v by its orm so that it becomes a orthoormal basis. The vector φv is a scalar multiple of the give vector v. Iductio hypothesis: for k = 1, a symmetric k k matrix has a orthoormal eigebasis. The sice dim U = 1, U is φ-ivariat. Iductive step: Let λ = max x, φx = v 0, φv 0. By Lemma 2.2, we have φv 0 = x =1 λv 0. Defie U = spa{v 0 } as a φ -ivariat subspace of V. Sice dim U = 1, it follows that dim U = 1. By Lemma 2.3, U is φ-ivariat, ad by Lemma 2.4, φ U is symmetric. By the iductio hypothesis, φ U has orthoormal eigebasis {v 1,..., v 1 } o U. Therefore, we coclude {v 0, v 1,..., v 1 } is a orthoormal eigebasis of φ o V. 3. Cosequeces ad Applicatios Spectral Graph Theory Now, we will look at the specific ways i which the Spectral Theorem ad its cosequeces are applied to solve problems i graph theory, icludig how eigevalues illumiate some mysteries of graphs. We have defied λ to be the supremum of all Rayleigh quotiets. The ext lemma shows that λ is the maximum of all eigevalues. Lemma 3.1. For ay eigevalue λ i of φ, we have λ i λ, where λ = max x, φx. x =1
4 4 JINGJING (JENNY) LI Proof. If λ i is a eigevalue of V ad v i is a correspodig eigevector, without loss of geerality, we may assume that v i = 1. So we deduce λ i = λ i v i, v i = v i, λ i v i = v i, φv i max x, φx = λ. x =1 I the same way that we fid λ, we ca fid all eigevalues. Throughout this sectio, we deote orthoormal eigevectors v 1,..., v, where for all i [], v i has correspodig eigevalue λ i. Additioally, the λ s are decreasig, ad so λ 1 λ 2... λ. Oe of the most widely used cosequeces of the Spectral Theorem is the Courat-Fischer mi-max priciple. Theorem 3.2 (Courat-Fischer Priciple). The eigevalues λ 1 λ of the symmetric matrix A are give by λ k = max mi S R x S,x 0 dim(s)=k x t x = mi S R max x S,x 0 dim(s )= k+1 x t x. Proof. First we prove that λ k is achievable. By the Spectral Theorem, there exists a orthoormal eigebasis for A. Suppose v 1,..., v form such a orthoormal eigebasis. Let S k = spa {v 1,..., v k }. For all x S k, we ca expad ad express x = quotiet x t x = k λ i (v t i x) 2 k (v it x) 2 k (v i t x)v i. Cosiderig the Rayleigh k λ k (v t i x) 2 = λ k. k (v it x) 2 Next we prove that λ k is the maximum over all such expressios. Let S k = spa {v k,..., v }. Sice dim S k = k + 1, for all S such that dim S = k we have S S k. The we ca deduce that mi x S x t x mi x t x. Similar to previous expressios, for all x S S, we ca write x = Sice for all i k we have λ k λ i, it follows that x t λ i (v t i x) 2 λ k (v t i x) 2 Ax x t x = i=k i=k = λ k. (v it x) 2 (v it x) 2 i=k i=k x S S k i=k (v i t x)v i. We have thus prove for all S R with dimesio k that λ k mi x S x t x. The proof for the equality λ k = mi max S R x S x t x is aalogous. dim(s )= k+1 Now, we will look at the specific ways i which the Spectral Theorem ad its cosequeces are applied to solve problems i combiatorics ad graph theory. For
5 SPECTRAL THEOREM AND APPLICATIONS 5 all the followig examples, let G be a fiite graph, whose vertices are labeled 1 through. Example 3.3 (Adjacecy matrix). We defie A to be the adjacecy matrix such that { 1 if i ad j are adjacet, A ij = 0 otherwise. We ote that the matrix A ij is symmetric, ad this will provide the coectio betwee the Spectral Theorem ad its applicatio to graph theory. We ca use adjacecy matrices i a lot of differet ways. For example, deote 0. e i = 1, where 1 is i the i-th place. The [1,..., 1]Ae i = the umber of vertices adjacet to the i-th vertex. We defie this umber to be the degree of the i-th vertex, deoted by deg(v i ). Example 3.4 (Laplacia matrix). The Laplacia matrix is a matrix that averages over the eighbors of every vertex, ad it is defied as follows: Let D be the degree matrix whose i-th etry is equal to the degree of the i-th vertex. The Laplacia matrix of G is defied as L = D A. More formally, deg(v i ) if i = j, L ij = 1 if i j ad v i is adjacet to v j, 0 otherwise. The Laplacia matrix plays a importat role i radom walks o graphs. Defiitio 3.5. We let λ deote the largest absolute value of ay eigevalue other max λ i λ>1 tha the largest oe, that is, λ =. The spectral gap is the differece d betwee the largest eigevalue ad the eigevalue whose absolute value is the secod largest, which is equal to λ 1 λ. We are iterested i the spectral gap because it is related to the radomess of the graph i a subtle way, which we will later see more clearly i the Expader Mixig Lemma. Further, i order to get a quatity that ca be compared across differet graphs, we proceed to ormalize the spectral gap. Defiitio 3.6. A graph is d-regular if all of its vertices have degree d, which represets the regularity ad equals the largest eigevalue. We defie. 0 spectral expasio = spectral gap. d Remark 3.7. Cosider a d-regular graph G = (V, E) whose adjacecy matrix A has eigevalues λ 1 λ 2 λ. We let d = λ 1, which is the largest eigevalue of A. Let S ad T be sets of vertices from G, i.e. S, T V. The umber of possible
6 6 JINGJING (JENNY) LI pairs of vertices from S ad T is S T. The umber of edges betwee pairs of d vertices from S ad T is expected to be S T, because for a arbitrary 1 pair of vertices i, j of G, the probability that there is a edge betwee i ad j is d umber of edges ( = ( 2 = = 2) 2) d 1. d 2 ( 1) 2 Before we state the Expader Mixig Lemma, let us take a look at the followig lemma that cocers the relatioship betwee the largest eigevalue of S ad degree of vertices i the subgraph of S. Lemma 3.8 (Average Degree Lemma). Let S V be a subset of vertices, ad cosider the subgraph of V spaed by S. Let deg ave (S) deote the average degree of vertices i the subgraph S (whose edges are all betwee vertices of S). The deg ave (S) λ 1. Proof. Let v(s) ad v(t ) be the characteristic vectors of S ad T. Cosiderig the Rayleigh quotiet, we ca deduce The we get λ 1 = max x 0 By the defiitio of v(s), we have We kow x t x v(s)t Av(S) v(s) t v(s). v(s) t v(s) = v(s) 2 = S. v(s) t Av(S) = (u,v) S S A(u, v) = u S (u,v) S S A(u, v). A(u, v) = deg(u), because here we are coutig the umber of eighborig vertices of u, which is the defiitio of degree. Let be the size of S. The we get v(s) t v(s) =. I coclusio, λ 1 = max x 0 x t x v(s)t Av(S) v(s) t v(s) = v S (u,v) S S A(u, v) = u S deg(u) = deg ave (S). Oe fial igrediet for the Expader Mixig Lemma is the expader graph. Defiitio 3.9. A λ-expader graph is a d-regular graph whose spectral expasio is 1 λ (which is equal to λ 1 d λ). Ituitively, o a expader graph radom walks coverge quickly to the statioary distributio. The speed of covergece is a cosequece of the Expader Mixig Lemma, which we will prove ext. It is importat to ote that give the size of the spectral expasio, this lemma allows us to kow how close the graph is from beig i the radom situatio.
7 SPECTRAL THEOREM AND APPLICATIONS 7 Theorem 3.10 (Expader Mixig Lemma). Let G = (V, E) be a d-regular, -vertex graph with spectral expasio 1 λ, such that its adjacecy matrix A has eigevalues λ 1 = d λ 2 λ. Let S, T V be two subsets, ad let E(S, T ) = {s S, t T : {s, t} E} be the set of edges betwee the elemets of S ad T. The we have d S T E(S, T ) λd S T. Proof. Let {v 1,..., v } be a eigebasis correspodig to the eigevalues λ 1... λ. As we saw i the proof of the Average Degree Lemma, we ca expad v(s) ad v(t ) ito v(s) = α i v i ad v(t ) = β i v i. For all i [], let λ i be the eigevalue correspodig to eigevector v i. The we have ( ( ) E(S, T ) = v(s) t A v(t ) = α i v i )ta β i v i = λ i α i β i. We kow the graph is d-regular, ad so every vertex has d edges comig out of it. Thus whe we apply A to the vector 1 = (1, 1, 1,...), the result is d times the vector 1. To ormalize this quatity, we divide it by its orm, ad the result we get is v 1. The, sice v 1 = 1 1 = 1, we coclude α 1 = v(s), v 1 = S I [1] it is show that the largest eigevalue λ 1 d. Thus we kow the eigevalue of 1 is d, which proves that λ 1 = d. The we get E(S, T ) = λ 1 α 1 β 1 + λ i α i β i = d i=2 S T + λ i α i β i. max λ i λ>1 Give λ =, we kow λ i λ d, for all i > 1. The we deduce d d S T E(S, T ) λ i α i β i λ d α i β i. By Cauchy-Schwartz Iequality, we ca deduce d S T E(S, T ) λ d v(s) v(t ) = λ d S T. i=2 To grasp Wilf s Theorem, which allows us to determie elusive properties of graphs with the tool of eigevalues, we eed the followig defiitio. Defiitio A legal k-colorig of a graph G is a map c : V {1, 2,..., k} such that for all {i, j} E we have c(i) c(j). The chromatic umber of G, deoted χ(g), is the smallest value of k for which a legal k-colorig exists. I simpler terms, the chromatic umber of a graph is the smallest umber of colors eeded to assig colors to the vertices of a graph without assigig the same color to ay pair of adjacet vertices. Theorem 3.12 (Wilf s Theorem). χ(g) 1 + λ 1. i=2 i=2.
8 8 JINGJING (JENNY) LI Wilf s Theorem reveals how a graph is cotrolled by eigevalues. Determiig colorig is laborious, ad there is o quick ad easy way to do so without goig through ad checkig all possible colorigs. Thus, Wilf s Theorem is very powerful because it guaratees that there exists oe colorig ad a upper boud of the umber of colors eeded to color the graph, without havig to kow ay specific colorig of the graph. Proof. To prove Wilf s Theorem, it is sufficiet to show there exists a orderig for the vertices v 1, v 2,..., v such that for all i [], the umber of eighbors that v i has amog the oes that come before it is at most λ 1. If we ca order the vertices this way, the we ca color the vertices oe by oe with λ may colors. Now we wat to show such a orderig exists. We prove by iductio o i that we ca costruct v i. We begi with i = 0 ad show that we ca choose v with at most λ 1 may eighborig vertices. Let V be the set of all vertices v 1, v 2,..., v. We kow such v exists because by Lemma 3.8, deg ave V λ 1, which implies that there exists v V such that deg V (v ) λ 1. For the iductio hypothesis assume that we have already chose v k+1,..., v. We wat to show that we ca choose v k. Let S be the collectio of all vertices except for v k+1,..., v. The we get a subgraph with k vertices. Applyig Lemma 3.8 to S, we kow there exists v k S such that deg S (v k ) λ 1. By reverse iductio, we have thus prove that we ca costruct a orderig of vertices such that every vertex v i has at most λ 1 may eighbors amog the previous vertices. I coclusio, the Spectral Theorem ca reveal deep isights ito a graph, as demostrated by its applicatios i graph theory such as Wilf s Theorem. This is exactly the beauty of the Spectral Theorem, which is uveilig rather iaccessible aspects of the graph by providig easily computable ivariats of a graph, i the form of eigevalues. Ackowledgmets. It is a pleasure to thak my metor, Nir Gadish, who has dedicated sigificat amout of time ad effort to my research edeavor. I sicerely appreciate his geerous support ad help with formalizig the proof of the Spectral Theorem, ad explorig elighteig cosequeces ad iterestig applicatios i spectral graph theory. Refereces [1] Daiel A. Spielma. Chapter 16 Spectral Graph Theory. spielma/papers/sgtchapter.pdf [2] Daiel A. Spielma. Spectral Graph Theory Lecture 3: The Adjacecy Matrix ad Graph Colorig. [3] Daiel A. Spielma. Spectral Graph Theory Lecture 4: Courat-Fischer ad Graph Colorig. [4] Fa Chug Graham. Chapter 1: Eigevalues ad the Laplacia of a graph. ucsd.edu/~fa/research/cb/ch1.pdf [5] Laszlo Babai. Liear algebra ad applicatios to graphs Part II. edu/~laci/reu01/lialg2.pdf [6] Madhur Tulsiai. REU 2013: Appretice Program Lecture 7: July 8, uchicago.edu/~madhurt/courses/reu2013/lecture7.pdf [7] Madhur Tulsiai. REU 2013: Appretice Program Lecture 15: July 22, uchicago.edu/~madhurt/courses/reu2013/class722.pdf
9 SPECTRAL THEOREM AND APPLICATIONS 9 [8] Salil Vadha. CS225: Pseudoradomess Lecture 7: Expader Graphs. harvard.edu/~salil/cs225/sprig07/lecotes/lec7.pdf [9] Thomas Sauerwald ad He Su. Spectral Graph Theory ad Applicatios Lecture 3: Expader Mixig Lemma. ws11/sgt/lecture3.pdf
AN INTRODUCTION TO SPECTRAL GRAPH THEORY
AN INTRODUCTION TO SPECTRAL GRAPH THEORY JIAQI JIANG Abstract. Spectral graph theory is the study of properties of the Laplacia matrix or adjacecy matrix associated with a graph. I this paper, we focus
More informationNotes for Lecture 11
U.C. Berkeley CS78: Computatioal Complexity Hadout N Professor Luca Trevisa 3/4/008 Notes for Lecture Eigevalues, Expasio, ad Radom Walks As usual by ow, let G = (V, E) be a udirected d-regular graph with
More informationMath 778S Spectral Graph Theory Handout #3: Eigenvalues of Adjacency Matrix
Math 778S Spectral Graph Theory Hadout #3: Eigevalues of Adjacecy Matrix The Cartesia product (deoted by G H) of two simple graphs G ad H has the vertex-set V (G) V (H). For ay u, v V (G) ad x, y V (H),
More information5.1. The Rayleigh s quotient. Definition 49. Let A = A be a self-adjoint matrix. quotient is the function. R(x) = x,ax, for x = 0.
40 RODICA D. COSTIN 5. The Rayleigh s priciple ad the i priciple for the eigevalues of a self-adjoit matrix Eigevalues of self-adjoit matrices are easy to calculate. This sectio shows how this is doe usig
More informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
More informationLecture 8: October 20, Applications of SVD: least squares approximation
Mathematical Toolkit Autum 2016 Lecturer: Madhur Tulsiai Lecture 8: October 20, 2016 1 Applicatios of SVD: least squares approximatio We discuss aother applicatio of sigular value decompositio (SVD) of
More informationA Proof of Birkhoff s Ergodic Theorem
A Proof of Birkhoff s Ergodic Theorem Joseph Hora September 2, 205 Itroductio I Fall 203, I was learig the basics of ergodic theory, ad I came across this theorem. Oe of my supervisors, Athoy Quas, showed
More informationLecture 2. The Lovász Local Lemma
Staford Uiversity Sprig 208 Math 233A: No-costructive methods i combiatorics Istructor: Ja Vodrák Lecture date: Jauary 0, 208 Origial scribe: Apoorva Khare Lecture 2. The Lovász Local Lemma 2. Itroductio
More informationA class of spectral bounds for Max k-cut
A class of spectral bouds for Max k-cut Miguel F. Ajos, José Neto December 07 Abstract Let G be a udirected ad edge-weighted simple graph. I this paper we itroduce a class of bouds for the maximum k-cut
More informationThe Random Walk For Dummies
The Radom Walk For Dummies Richard A Mote Abstract We look at the priciples goverig the oe-dimesioal discrete radom walk First we review five basic cocepts of probability theory The we cosider the Beroulli
More informationLecture 9: Expanders Part 2, Extractors
Lecture 9: Expaders Part, Extractors Topics i Complexity Theory ad Pseudoradomess Sprig 013 Rutgers Uiversity Swastik Kopparty Scribes: Jaso Perry, Joh Kim I this lecture, we will discuss further the pseudoradomess
More informationChapter 6 Infinite Series
Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat
More informationMath Solutions to homework 6
Math 175 - Solutios to homework 6 Cédric De Groote November 16, 2017 Problem 1 (8.11 i the book): Let K be a compact Hermitia operator o a Hilbert space H ad let the kerel of K be {0}. Show that there
More informationMa 4121: Introduction to Lebesgue Integration Solutions to Homework Assignment 5
Ma 42: Itroductio to Lebesgue Itegratio Solutios to Homework Assigmet 5 Prof. Wickerhauser Due Thursday, April th, 23 Please retur your solutios to the istructor by the ed of class o the due date. You
More informationProblem Set 2 Solutions
CS271 Radomess & Computatio, Sprig 2018 Problem Set 2 Solutios Poit totals are i the margi; the maximum total umber of poits was 52. 1. Probabilistic method for domiatig sets 6pts Pick a radom subset S
More information5.1 Review of Singular Value Decomposition (SVD)
MGMT 69000: Topics i High-dimesioal Data Aalysis Falll 06 Lecture 5: Spectral Clusterig: Overview (cotd) ad Aalysis Lecturer: Jiamig Xu Scribe: Adarsh Barik, Taotao He, September 3, 06 Outlie Review of
More informationSpectral Partitioning in the Planted Partition Model
Spectral Graph Theory Lecture 21 Spectral Partitioig i the Plated Partitio Model Daiel A. Spielma November 11, 2009 21.1 Itroductio I this lecture, we will perform a crude aalysis of the performace of
More informationDefinition 2 (Eigenvalue Expansion). We say a d-regular graph is a λ eigenvalue expander if
Expaer Graphs Graph Theory (Fall 011) Rutgers Uiversity Swastik Kopparty Throughout these otes G is a -regular graph 1 The Spectrum Let A G be the ajacecy matrix of G Let λ 1 λ λ be the eigevalues of A
More informationTENSOR PRODUCTS AND PARTIAL TRACES
Lecture 2 TENSOR PRODUCTS AND PARTIAL TRACES Stéphae ATTAL Abstract This lecture cocers special aspects of Operator Theory which are of much use i Quatum Mechaics, i particular i the theory of Quatum Ope
More informationMetric Space Properties
Metric Space Properties Math 40 Fial Project Preseted by: Michael Brow, Alex Cordova, ad Alyssa Sachez We have already poited out ad will recogize throughout this book the importace of compact sets. All
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationFastest mixing Markov chain on a path
Fastest mixig Markov chai o a path Stephe Boyd Persi Diacois Ju Su Li Xiao Revised July 2004 Abstract We ider the problem of assigig trasitio probabilities to the edges of a path, so the resultig Markov
More informationOptimally Sparse SVMs
A. Proof of Lemma 3. We here prove a lower boud o the umber of support vectors to achieve geeralizatio bouds of the form which we cosider. Importatly, this result holds ot oly for liear classifiers, but
More informationBrief Review of Functions of Several Variables
Brief Review of Fuctios of Several Variables Differetiatio Differetiatio Recall, a fuctio f : R R is differetiable at x R if ( ) ( ) lim f x f x 0 exists df ( x) Whe this limit exists we call it or f(
More informationLarge holes in quasi-random graphs
Large holes i quasi-radom graphs Joaa Polcy Departmet of Discrete Mathematics Adam Mickiewicz Uiversity Pozań, Polad joaska@amuedupl Submitted: Nov 23, 2006; Accepted: Apr 10, 2008; Published: Apr 18,
More informationPhysics 324, Fall Dirac Notation. These notes were produced by David Kaplan for Phys. 324 in Autumn 2001.
Physics 324, Fall 2002 Dirac Notatio These otes were produced by David Kapla for Phys. 324 i Autum 2001. 1 Vectors 1.1 Ier product Recall from liear algebra: we ca represet a vector V as a colum vector;
More informationZeros of Polynomials
Math 160 www.timetodare.com 4.5 4.6 Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered with fidig the solutios of polyomial equatios of ay degree
More informationDefinition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.
4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad
More informationLECTURE 8: ORTHOGONALITY (CHAPTER 5 IN THE BOOK)
LECTURE 8: ORTHOGONALITY (CHAPTER 5 IN THE BOOK) Everythig marked by is ot required by the course syllabus I this lecture, all vector spaces is over the real umber R. All vectors i R is viewed as a colum
More informationApply change-of-basis formula to rewrite x as a linear combination of eigenvectors v j.
Eigevalue-Eigevector Istructor: Nam Su Wag eigemcd Ay vector i real Euclidea space of dimesio ca be uiquely epressed as a liear combiatio of liearly idepedet vectors (ie, basis) g j, j,,, α g α g α g α
More information4 The Sperner property.
4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More informationMath 2784 (or 2794W) University of Connecticut
ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really
More informationApplication to Random Graphs
A Applicatio to Radom Graphs Brachig processes have a umber of iterestig ad importat applicatios. We shall cosider oe of the most famous of them, the Erdős-Réyi radom graph theory. 1 Defiitio A.1. Let
More informationReal Numbers R ) - LUB(B) may or may not belong to B. (Ex; B= { y: y = 1 x, - Note that A B LUB( A) LUB( B)
Real Numbers The least upper boud - Let B be ay subset of R B is bouded above if there is a k R such that x k for all x B - A real umber, k R is a uique least upper boud of B, ie k = LUB(B), if () k is
More informationLecture 12: November 13, 2018
Mathematical Toolkit Autum 2018 Lecturer: Madhur Tulsiai Lecture 12: November 13, 2018 1 Radomized polyomial idetity testig We will use our kowledge of coditioal probability to prove the followig lemma,
More informationMachine Learning for Data Science (CS 4786)
Machie Learig for Data Sciece CS 4786) Lecture & 3: Pricipal Compoet Aalysis The text i black outlies high level ideas. The text i blue provides simple mathematical details to derive or get to the algorithm
More informationAdvanced Stochastic Processes.
Advaced Stochastic Processes. David Gamarik LECTURE 2 Radom variables ad measurable fuctios. Strog Law of Large Numbers (SLLN). Scary stuff cotiued... Outlie of Lecture Radom variables ad measurable fuctios.
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS
MASSACHUSTTS INSTITUT OF TCHNOLOGY 6.436J/5.085J Fall 2008 Lecture 9 /7/2008 LAWS OF LARG NUMBRS II Cotets. The strog law of large umbers 2. The Cheroff boud TH STRONG LAW OF LARG NUMBRS While the weak
More informationSingular Continuous Measures by Michael Pejic 5/14/10
Sigular Cotiuous Measures by Michael Peic 5/4/0 Prelimiaries Give a set X, a σ-algebra o X is a collectio of subsets of X that cotais X ad ad is closed uder complemetatio ad coutable uios hece, coutable
More information6.3 Testing Series With Positive Terms
6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial
More informationIntroduction to Optimization Techniques
Itroductio to Optimizatio Techiques Basic Cocepts of Aalysis - Real Aalysis, Fuctioal Aalysis 1 Basic Cocepts of Aalysis Liear Vector Spaces Defiitio: A vector space X is a set of elemets called vectors
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More informationlim za n n = z lim a n n.
Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget
More informationMath 155 (Lecture 3)
Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,
More information(VII.A) Review of Orthogonality
VII.A Review of Orthogoality At the begiig of our study of liear trasformatios i we briefly discussed projectios, rotatios ad projectios. I III.A, projectios were treated i the abstract ad without regard
More informationSeunghee Ye Ma 8: Week 5 Oct 28
Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value
More information5 Birkhoff s Ergodic Theorem
5 Birkhoff s Ergodic Theorem Amog the most useful of the various geeralizatios of KolmogorovâĂŹs strog law of large umbers are the ergodic theorems of Birkhoff ad Kigma, which exted the validity of the
More informationn=1 a n is the sequence (s n ) n 1 n=1 a n converges to s. We write a n = s, n=1 n=1 a n
Series. Defiitios ad first properties A series is a ifiite sum a + a + a +..., deoted i short by a. The sequece of partial sums of the series a is the sequece s ) defied by s = a k = a +... + a,. k= Defiitio
More informationChapter 3. Strong convergence. 3.1 Definition of almost sure convergence
Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i
More informationMath 299 Supplement: Real Analysis Nov 2013
Math 299 Supplemet: Real Aalysis Nov 203 Algebra Axioms. I Real Aalysis, we work withi the axiomatic system of real umbers: the set R alog with the additio ad multiplicatio operatios +,, ad the iequality
More information2 Markov Chain Monte Carlo Sampling
22 Part I. Markov Chais ad Stochastic Samplig Figure 10: Hard-core colourig of a lattice. 2 Markov Chai Mote Carlo Samplig We ow itroduce Markov chai Mote Carlo (MCMC) samplig, which is a extremely importat
More informationSpectral Graph Theory and its Applications. Lillian Dai Oct. 20, 2004
Spectral raph Theory ad its Applicatios Lillia Dai 6.454 Oct. 0, 004 Outlie Basic spectral graph theory raph partitioig usig spectral methods D. Spielma ad S. Teg, Spectral Partitioig Works: Plaar raphs
More informationModern Discrete Probability Spectral Techniques
Moder Discrete Probability VI - Spectral Techiques Backgroud Sébastie Roch UW Madiso Mathematics December 1, 2014 1 Review 2 3 4 Mixig time I Theorem (Covergece to statioarity) Cosider a fiite state space
More informationsubcaptionfont+=small,labelformat=parens,labelsep=space,skip=6pt,list=0,hypcap=0 subcaption ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, 2/16/2016
subcaptiofot+=small,labelformat=pares,labelsep=space,skip=6pt,list=0,hypcap=0 subcaptio ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, /6/06. Self-cojugate Partitios Recall that, give a partitio λ, we may
More informationAn Introduction to Randomized Algorithms
A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis
More informationLecture 2: April 3, 2013
TTIC/CMSC 350 Mathematical Toolkit Sprig 203 Madhur Tulsiai Lecture 2: April 3, 203 Scribe: Shubhedu Trivedi Coi tosses cotiued We retur to the coi tossig example from the last lecture agai: Example. Give,
More informationIntroductory Ergodic Theory and the Birkhoff Ergodic Theorem
Itroductory Ergodic Theory ad the Birkhoff Ergodic Theorem James Pikerto Jauary 14, 2014 I this expositio we ll cover a itroductio to ergodic theory. Specifically, the Birkhoff Mea Theorem. Ergodic theory
More informationREAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS
REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS 18th Feb, 016 Defiitio (Lipschitz fuctio). A fuctio f : R R is said to be Lipschitz if there exists a positive real umber c such that for ay x, y i the domai
More informationChapter 2. Periodic points of toral. automorphisms. 2.1 General introduction
Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad
More informationDisjoint Systems. Abstract
Disjoit Systems Noga Alo ad Bey Sudaov Departmet of Mathematics Raymod ad Beverly Sacler Faculty of Exact Scieces Tel Aviv Uiversity, Tel Aviv, Israel Abstract A disjoit system of type (,,, ) is a collectio
More informationMa 530 Introduction to Power Series
Ma 530 Itroductio to Power Series Please ote that there is material o power series at Visual Calculus. Some of this material was used as part of the presetatio of the topics that follow. What is a Power
More informationLecture 20. Brief Review of Gram-Schmidt and Gauss s Algorithm
8.409 A Algorithmist s Toolkit Nov. 9, 2009 Lecturer: Joatha Keler Lecture 20 Brief Review of Gram-Schmidt ad Gauss s Algorithm Our mai task of this lecture is to show a polyomial time algorithm which
More informationVISUALIZING THE UNIT BALL OF THE AGY NORM
VISUALIZING THE UNIT BALL OF THE AGY NORM ALEX WRIGHT 1. Abstract Avila-Gouëzel-Yoccoz defied a orm o the relative cohomology H 1 (X, Σ) of a traslatio surface (X, ω), i [AGY06, Sectio 2] ad also [AG13,
More informationA sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as
More information(3) If you replace row i of A by its sum with a multiple of another row, then the determinant is unchanged! Expand across the i th row:
Math 50-004 Tue Feb 4 Cotiue with sectio 36 Determiats The effective way to compute determiats for larger-sized matrices without lots of zeroes is to ot use the defiitio, but rather to use the followig
More informationif j is a neighbor of i,
We see that if i = j the the coditio is trivially satisfied. Otherwise, T ij (i) = (i)q ij mi 1, (j)q ji, ad, (i)q ij T ji (j) = (j)q ji mi 1, (i)q ij. (j)q ji Now there are two cases, if (j)q ji (i)q
More informationThe log-behavior of n p(n) and n p(n)/n
Ramauja J. 44 017, 81-99 The log-behavior of p ad p/ William Y.C. Che 1 ad Ke Y. Zheg 1 Ceter for Applied Mathematics Tiaji Uiversity Tiaji 0007, P. R. Chia Ceter for Combiatorics, LPMC Nakai Uivercity
More informationLecture Notes for Analysis Class
Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios
More informationSolutions to Math 347 Practice Problems for the final
Solutios to Math 347 Practice Problems for the fial 1) True or False: a) There exist itegers x,y such that 50x + 76y = 6. True: the gcd of 50 ad 76 is, ad 6 is a multiple of. b) The ifiimum of a set is
More informationWeek 5-6: The Binomial Coefficients
Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers
More information3.2 Properties of Division 3.3 Zeros of Polynomials 3.4 Complex and Rational Zeros of Polynomials
Math 60 www.timetodare.com 3. Properties of Divisio 3.3 Zeros of Polyomials 3.4 Complex ad Ratioal Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered
More informationSpectral Graph Theory, Expanders, and Ramanujan Graphs
Spectral Graph Theory, Expaders, ad Ramauja Graphs Christopher Williamso 204 Abstract We will itroduce spectral graph theory by seeig the value of studyig the eigevalues of various matrices associated
More informationMath 220B Final Exam Solutions March 18, 2002
Math 0B Fial Exam Solutios March 18, 00 1. (1 poits) (a) (6 poits) Fid the Gree s fuctio for the tilted half-plae {(x 1, x ) R : x 1 + x > 0}. For x (x 1, x ), y (y 1, y ), express your Gree s fuctio G(x,
More informationRiesz-Fischer Sequences and Lower Frame Bounds
Zeitschrift für Aalysis ud ihre Aweduge Joural for Aalysis ad its Applicatios Volume 1 (00), No., 305 314 Riesz-Fischer Sequeces ad Lower Frame Bouds P. Casazza, O. Christese, S. Li ad A. Lider Abstract.
More informationSequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece 1, 1, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet
More informationEmpirical Processes: Glivenko Cantelli Theorems
Empirical Processes: Gliveko Catelli Theorems Mouliath Baerjee Jue 6, 200 Gliveko Catelli classes of fuctios The reader is referred to Chapter.6 of Weller s Torgo otes, Chapter??? of VDVW ad Chapter 8.3
More informationLecture 4: April 10, 2013
TTIC/CMSC 1150 Mathematical Toolkit Sprig 01 Madhur Tulsiai Lecture 4: April 10, 01 Scribe: Haris Agelidakis 1 Chebyshev s Iequality recap I the previous lecture, we used Chebyshev s iequality to get a
More informationFor a 3 3 diagonal matrix we find. Thus e 1 is a eigenvector corresponding to eigenvalue λ = a 11. Thus matrix A has eigenvalues 2 and 3.
Closed Leotief Model Chapter 6 Eigevalues I a closed Leotief iput-output-model cosumptio ad productio coicide, i.e. V x = x = x Is this possible for the give techology matrix V? This is a special case
More informationReview Problems 1. ICME and MS&E Refresher Course September 19, 2011 B = C = AB = A = A 2 = A 3... C 2 = C 3 = =
Review Problems ICME ad MS&E Refresher Course September 9, 0 Warm-up problems. For the followig matrices A = 0 B = C = AB = 0 fid all powers A,A 3,(which is A times A),... ad B,B 3,... ad C,C 3,... Solutio:
More informationCHAPTER I: Vector Spaces
CHAPTER I: Vector Spaces Sectio 1: Itroductio ad Examples This first chapter is largely a review of topics you probably saw i your liear algebra course. So why cover it? (1) Not everyoe remembers everythig
More informationSingular value decomposition. Mathématiques appliquées (MATH0504-1) B. Dewals, Ch. Geuzaine
Lecture 11 Sigular value decompositio Mathématiques appliquées (MATH0504-1) B. Dewals, Ch. Geuzaie V1.2 07/12/2018 1 Sigular value decompositio (SVD) at a glace Motivatio: the image of the uit sphere S
More informationAchieving Stationary Distributions in Markov Chains. Monday, November 17, 2008 Rice University
Istructor: Achievig Statioary Distributios i Markov Chais Moday, November 1, 008 Rice Uiversity Dr. Volka Cevher STAT 1 / ELEC 9: Graphical Models Scribe: Rya E. Guerra, Tahira N. Saleem, Terrace D. Savitsky
More informationLecture #20. n ( x p i )1/p = max
COMPSCI 632: Approximatio Algorithms November 8, 2017 Lecturer: Debmalya Paigrahi Lecture #20 Scribe: Yua Deg 1 Overview Today, we cotiue to discuss about metric embeddigs techique. Specifically, we apply
More informationMa/CS 6b Class 19: Extremal Graph Theory
/9/05 Ma/CS 6b Class 9: Extremal Graph Theory Paul Turá By Adam Sheffer Extremal Graph Theory The subfield of extremal graph theory deals with questios of the form: What is the maximum umber of edges that
More informationCSE 1400 Applied Discrete Mathematics Number Theory and Proofs
CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of
More informationIt is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.
MATH 532 Measurable Fuctios Dr. Neal, WKU Throughout, let ( X, F, µ) be a measure space ad let (!, F, P ) deote the special case of a probability space. We shall ow begi to study real-valued fuctios defied
More informationMA131 - Analysis 1. Workbook 3 Sequences II
MA3 - Aalysis Workbook 3 Sequeces II Autum 2004 Cotets 2.8 Coverget Sequeces........................ 2.9 Algebra of Limits......................... 2 2.0 Further Useful Results........................
More information7.1 Convergence of sequences of random variables
Chapter 7 Limit Theorems Throughout this sectio we will assume a probability space (, F, P), i which is defied a ifiite sequece of radom variables (X ) ad a radom variable X. The fact that for every ifiite
More informationPAPER : IIT-JAM 2010
MATHEMATICS-MA (CODE A) Q.-Q.5: Oly oe optio is correct for each questio. Each questio carries (+6) marks for correct aswer ad ( ) marks for icorrect aswer.. Which of the followig coditios does NOT esure
More informationChapter IV Integration Theory
Chapter IV Itegratio Theory Lectures 32-33 1. Costructio of the itegral I this sectio we costruct the abstract itegral. As a matter of termiology, we defie a measure space as beig a triple (, A, µ), where
More informationA Hadamard-type lower bound for symmetric diagonally dominant positive matrices
A Hadamard-type lower boud for symmetric diagoally domiat positive matrices Christopher J. Hillar, Adre Wibisoo Uiversity of Califoria, Berkeley Jauary 7, 205 Abstract We prove a ew lower-boud form of
More informationStatistics 511 Additional Materials
Cofidece Itervals o mu Statistics 511 Additioal Materials This topic officially moves us from probability to statistics. We begi to discuss makig ifereces about the populatio. Oe way to differetiate probability
More informationCommutativity in Permutation Groups
Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are
More informationChapter 3 Inner Product Spaces. Hilbert Spaces
Chapter 3 Ier Product Spaces. Hilbert Spaces 3. Ier Product Spaces. Hilbert Spaces 3.- Defiitio. A ier product space is a vector space X with a ier product defied o X. A Hilbert space is a complete ier
More informationTopics. Homework Problems. MATH 301 Introduction to Analysis Chapter Four Sequences. 1. Definition of convergence of sequences.
MATH 301 Itroductio to Aalysis Chapter Four Sequeces Topics 1. Defiitio of covergece of sequeces. 2. Fidig ad provig the limit of sequeces. 3. Bouded covergece theorem: Theorem 4.1.8. 4. Theorems 4.1.13
More informationChimica Inorganica 3
himica Iorgaica Irreducible Represetatios ad haracter Tables Rather tha usig geometrical operatios, it is ofte much more coveiet to employ a ew set of group elemets which are matrices ad to make the rule
More informationProbability, Expectation Value and Uncertainty
Chapter 1 Probability, Expectatio Value ad Ucertaity We have see that the physically observable properties of a quatum system are represeted by Hermitea operators (also referred to as observables ) such
More information1.3 Convergence Theorems of Fourier Series. k k k k. N N k 1. With this in mind, we state (without proof) the convergence of Fourier series.
.3 Covergece Theorems of Fourier Series I this sectio, we preset the covergece of Fourier series. A ifiite sum is, by defiitio, a limit of partial sums, that is, a cos( kx) b si( kx) lim a cos( kx) b si(
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More information