SPECTRAL THEOREM AND APPLICATIONS

Size: px
Start display at page:

Download "SPECTRAL THEOREM AND APPLICATIONS"

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 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 information

Notes for Lecture 11

Notes 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 information

Math 778S Spectral Graph Theory Handout #3: Eigenvalues of Adjacency Matrix

Math 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 information

5.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.

5.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 information

Math 61CM - Solutions to homework 3

Math 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 information

Lecture 8: October 20, Applications of SVD: least squares approximation

Lecture 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 information

A Proof of Birkhoff s Ergodic Theorem

A 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 information

Lecture 2. The Lovász Local Lemma

Lecture 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 information

A class of spectral bounds for Max k-cut

A 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 information

The Random Walk For Dummies

The 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 information

Lecture 9: Expanders Part 2, Extractors

Lecture 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 information

Chapter 6 Infinite Series

Chapter 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 information

Math Solutions to homework 6

Math 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 information

Ma 4121: Introduction to Lebesgue Integration Solutions to Homework Assignment 5

Ma 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 information

Problem Set 2 Solutions

Problem 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 information

5.1 Review of Singular Value Decomposition (SVD)

5.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 information

Spectral Partitioning in the Planted Partition Model

Spectral 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 information

Definition 2 (Eigenvalue Expansion). We say a d-regular graph is a λ eigenvalue expander if

Definition 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 information

TENSOR PRODUCTS AND PARTIAL TRACES

TENSOR 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 information

Metric Space Properties

Metric 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 information

Infinite Sequences and Series

Infinite 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 information

Fastest mixing Markov chain on a path

Fastest 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 information

Optimally Sparse SVMs

Optimally 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 information

Brief Review of Functions of Several Variables

Brief 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 information

Large holes in quasi-random graphs

Large 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 information

Physics 324, Fall Dirac Notation. These notes were produced by David Kaplan for Phys. 324 in Autumn 2001.

Physics 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 information

Zeros of Polynomials

Zeros 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 information

Definition 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.

Definition 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 information

LECTURE 8: ORTHOGONALITY (CHAPTER 5 IN THE BOOK)

LECTURE 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 information

Apply change-of-basis formula to rewrite x as a linear combination of eigenvectors v j.

Apply 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 information

4 The Sperner property.

4 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 information

Convergence of random variables. (telegram style notes) P.J.C. Spreij

Convergence 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 information

Math 2784 (or 2794W) University of Connecticut

Math 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 information

Application to Random Graphs

Application 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 information

Real 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 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 information

Lecture 12: November 13, 2018

Lecture 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 information

Machine Learning for Data Science (CS 4786)

Machine 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 information

Advanced Stochastic Processes.

Advanced 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 information

MASSACHUSETTS 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

MASSACHUSETTS 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 information

Singular Continuous Measures by Michael Pejic 5/14/10

Singular 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 information

6.3 Testing Series With Positive Terms

6.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 information

Introduction to Optimization Techniques

Introduction 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 information

Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.

Product 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 information

lim za n n = z lim a n n.

lim 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 information

Math 155 (Lecture 3)

Math 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 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 information

Seunghee Ye Ma 8: Week 5 Oct 28

Seunghee 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 information

5 Birkhoff s Ergodic Theorem

5 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 information

n=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

n=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 information

Chapter 3. Strong convergence. 3.1 Definition of almost sure convergence

Chapter 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 information

Math 299 Supplement: Real Analysis Nov 2013

Math 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 information

2 Markov Chain Monte Carlo Sampling

2 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 information

Spectral Graph Theory and its Applications. Lillian Dai Oct. 20, 2004

Spectral 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 information

Modern Discrete Probability Spectral Techniques

Modern 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 information

subcaptionfont+=small,labelformat=parens,labelsep=space,skip=6pt,list=0,hypcap=0 subcaption ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, 2/16/2016

subcaptionfont+=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 information

An Introduction to Randomized Algorithms

An 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 information

Lecture 2: April 3, 2013

Lecture 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 information

Introductory Ergodic Theory and the Birkhoff Ergodic Theorem

Introductory 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 information

REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS

REAL 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 information

Chapter 2. Periodic points of toral. automorphisms. 2.1 General introduction

Chapter 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 information

Disjoint Systems. Abstract

Disjoint 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 information

Ma 530 Introduction to Power Series

Ma 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 information

Lecture 20. Brief Review of Gram-Schmidt and Gauss s Algorithm

Lecture 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 information

VISUALIZING THE UNIT BALL OF THE AGY NORM

VISUALIZING 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 information

A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

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,, 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:

(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 information

if j is a neighbor of i,

if 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 information

The log-behavior of n p(n) and n p(n)/n

The 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 information

Lecture Notes for Analysis Class

Lecture 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 information

Solutions to Math 347 Practice Problems for the final

Solutions 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 information

Week 5-6: The Binomial Coefficients

Week 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 information

3.2 Properties of Division 3.3 Zeros of Polynomials 3.4 Complex and Rational Zeros of Polynomials

3.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 information

Spectral Graph Theory, Expanders, and Ramanujan Graphs

Spectral 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 information

Math 220B Final Exam Solutions March 18, 2002

Math 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 information

Riesz-Fischer Sequences and Lower Frame Bounds

Riesz-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 information

Sequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

Sequences 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 information

Empirical Processes: Glivenko Cantelli Theorems

Empirical 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 information

Lecture 4: April 10, 2013

Lecture 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 information

For 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.

For 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 information

Review 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 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 information

CHAPTER I: Vector Spaces

CHAPTER 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 information

Singular value decomposition. Mathématiques appliquées (MATH0504-1) B. Dewals, Ch. Geuzaine

Singular 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 information

Achieving Stationary Distributions in Markov Chains. Monday, November 17, 2008 Rice University

Achieving 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 information

Lecture #20. n ( x p i )1/p = max

Lecture #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 information

Ma/CS 6b Class 19: Extremal Graph Theory

Ma/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 information

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs

CSE 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 information

It is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.

It 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 information

MA131 - Analysis 1. Workbook 3 Sequences II

MA131 - 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 information

7.1 Convergence of sequences of random variables

7.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 information

PAPER : IIT-JAM 2010

PAPER : 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 information

Chapter IV Integration Theory

Chapter 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 information

A Hadamard-type lower bound for symmetric diagonally dominant positive matrices

A 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 information

Statistics 511 Additional Materials

Statistics 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 information

Commutativity in Permutation Groups

Commutativity 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 information

Chapter 3 Inner Product Spaces. Hilbert Spaces

Chapter 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 information

Topics. Homework Problems. MATH 301 Introduction to Analysis Chapter Four Sequences. 1. Definition of convergence of sequences.

Topics. 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 information

Chimica Inorganica 3

Chimica 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 information

Probability, Expectation Value and Uncertainty

Probability, 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 information

1.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.

1.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

(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