Definition 2 (Eigenvalue Expansion). We say a d-regular graph is a λ eigenvalue expander if
|
|
- Geraldine Cornelia Hamilton
- 6 years ago
- Views:
Transcription
1 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 G Sometimes we will also be itereste i the Laplacia matrix of G This is efie to be L G = D A G, where D is the iagoal matrix where D vv equals the egree of the vertex v For -regular graphs, L G = I A G, a hece the eigevalues of L G are λ 1, λ,, λ Lemma 1 λ 1 = λ = λ 3 = = λ k = if a oly if G has at least k coecte compoets Proof For the first part, verify that the vector 1 is a eigevector with eigevalue For the seco part, let C 1,, C r be all the coecte compoets of G The 1 C1,, 1 Cr are all mutually orthogoal eigevectors with eigevalue if G has at least k coecte compoets, the λ = = λ r = Suppose there is a eigevector f ot i the spa of 1 C1,, 1 Cr with eigevalue Let C i be a compoet o which that eigevector is ot costat Let v C i be a vertex such that f(v) is maximum Sice f has eigevalue, f(v) = u Γ(v) f(u), a by maximality this implies that f(u) = f(v) for each u Γ(v) Repeatig this, we coclue that f must be costat o the compoet C i, a cotraictio I particular, coecte graphs have λ < We ow stuy the otio of expasio, where λ is less tha by a sigificat amout; this ca be thought of as a strog form of coecteess Expasio Defiitio (Eigevalue Expasio) We say a -regular graph is a λ eigevalue expaer if λ λ We say a -regular graph is a λ absolute eigevalue expaer if λ, λ λ If we have a family of graphs with teig to a with costat, we iformally call these graphs expaer graphs if they are all λ eigevalue expaers for some costat λ < Similarly we call these graphs absolute expaer graphs if they are all λ absolute eigevalue expaers for some costat λ < 1
2 Havig mae this efiitio, we ow show that families of expaer graphs (a absolute expaer graphs) exist Theorem 3 For every 3, there exists λ < such that for all sufficietly large, there exists a -vertex -regular λ absolute eigevalue expaer graph The proof is eferre to the e of these otes We first see why this otio is useful 3 Properties of Expaers May combiatorial properties of a graph ca be expresse i terms of the eigevalues of the ajacecy matrix I the case of eigevalue expaers, this coectio becomes very clea a powerful Let G = (V G, E G ) be a -regular -vertex graph with eigevalues = λ 1 λ λ Let v 1 = 1 1, v,, v be a orthoormal basis cosistig of eigevectors for λ 1,, λ respectively Let v : V G R The v ca be writte as a 1 v a v, where a i = v, v i We have v = i=1 a i Note that v, L G v = x V G v(x) v, A G v = x V G y Γ(x) x V G y Γ(x) v(x)v(y), v(x)v(y) = 1 x V G y Γ(x) (v(x) v(y)) We ca also express these quatities i terms of the eigevalues We have A G v = a i λ i v i a L G v = a i ( λ i )v i Therefore v, A G v = a i λ i a v, L G v = a i ( λ i) Utilizig such expressios, we ca erive a large umber of combiatorial properties of expaer graphs Theorem 4 (Ege Expasio) Suppose G is a λ eigevalue expaer The for every S V G with S / we have e(s, S c ) λ S Proof We first wat to express the quatity e(s, S c ) i terms of the ajacecy matrix Let 1 S : V G R be the iicator fuctio of the set S The e(s, S c ) = 1 S, A G (1 1 S ) = S 1 S, A G 1 S Let S = i=1 a iv i We have a 1 = 1 S, 1 1 = S Further, we have a i = 1 S = S
3 So 1 S, A G 1 S = a i v i, a i λ i v i = a i λ i = S + a i λ i S S + λ( S ) = S ( λ) + λ S e(s, S c ) = ( λ) ) ( S S λ S Theorem 5 (Expaer Mixig Lemma) Suppose G is a λ absolute eigevalue expaer The for every S, T V G, we have e(s, T ) S T λ S T Proof Let 1 S = a k v i a 1 T = b i v i We have a 1 = S a a i = S, a similarly b 1 = T a b i = T The quatity of iterest e(s, T ) ca be expresse spectrally as follows: e(s, T ) = 1 S, A G 1 T = i a i v i, j b j λ j v j = i,j a i b j λ j v i, v j = i a i b i λ i = a 1 b 1 + = S T a i b i λ i + a i b i λ i The absolute value of seco term i this expressio ca be boue (usig the Cauchy-Schwarz iequality) by: ( ) 1/ ( ) 1/ λ b i λ S T This completes the proof a i 3
4 Theorem 6 (Vertex Expasio) Suppose G is a λ eigevalue expaer Let S V G The the eighborhoo of S is large: 1 Γ(S) S ( ) λ + 1 λ S I this theorem, if λ < (1 Ω(1)), a S < (1 Ω(1)), the Γ(S) = S (1 + Ω(1)), which is calle vertex expasio Proof Let 1 S = i a iv i The a 1 = S a a i = S Γ(S) is ot a quatity that ca be capture precisely i terms of the spectrum of G (ulike e(s, S c )) However it ca be lower boue usig the followig observatio: If f is a fuctio, the supp(f) f 1 f We apply this to f = A 1 S The supp(f) clearly equals Γ(S) We ow compute f 1 a f f 1 equals S f = A1 S = i a i λ i v i ( ( S + λ S 1 S )) 1/ Γ(S) S S + λ S S S = S + λ ( S ) 1 = S ( ) λ + 1 λ S This completes the proof Theorem 7 (Rapi Mixig of Raom Walks) Suppose G is a λ absolute eigevalue expaer Let v 0 V G be ay vertex Let µ be the probability istributio of the k-th step of the raom walk o G startig at v 0 The the statistical istace of µ from uiform is boue as follows: µ U 1 ( ) λ k, where U is the uiform istributio o V G Proof Let P be the matrix 1 A G If π R V G is a probability istributio o the vertices of G, the P π is the probability istributio of the vertex v, obtaie by pickig a vertex u accorig to π a the lettig v be a raom eighbor of that vertex Let π 0 be the probability istributio supporte o v 0 The probability istributio µ of the k-th step of the raom walk equals P k π 0 4
5 Let π 0 = i a iv i Note that a 1 = 1, a i a i = x V G π 0 (x) = 1 The µ = P k π 0 = i ( ) k λi a i v i = U + ( ) k λi a i v i Therefore µ U = ( a i ( ) λ k µ U 1 ( ) ) k 1/ λi ( ) λ k The ext theorem says that absolute eigevalue expaers have o large iepeet sets a hece they have large chromatic umber Theorem 8 (Iepeet Sets/Chromatic Number) The largest iepeet set i G has size at λ most λ the chromatic umber of G is at least λ λ You will prove this i your homework 4 Limits o eigevalue expasio How goo a eigevalue expaer ca a -regular graph be? This questio is aswere by a theorem of Alo a Boppaa Theorem 9 (Alo-Boppaa, simpler versio) Let G be a -regular graph which is a λ absolute eigevalue expaer The λ 1 o(1) (where the o(1) term tes to 0 as the umber of vertices tes to ifiity) 1 is ot just ay ol umber, it has very eep origis The ifiite ajacecy matrix of the ifiite -regular tree (this is the ultimate expaer graph) has its spectral raius equal to 1 Proof The mai iea is to stuy the eigevalues through the trace of a high eve power of A G We have: Tr(A k G ) = i=1 λ k i k + ( 1)λ k O the other ha, Tr(A k G ) couts the umber of close walks of legth k i G It is easy to see that the umber of such walks is at least as large as times the umber of such walks i the ifiite -regular tree The latter ca be coute by elemets σ of [] ([ 1] β) k 1 5
6 with exactly k β s, havig the property that ay prefix of σ of legth t has at most t/ β s This ca be coute easily i terms of Catala umbers; we get that the total umber of close walks i G of legth k is at least: ( 1 k + 1 Takig k = ω(1) a simplifyig, we get: ( ) k ) ( 1) k 1 k ( ( ) 1 k k + ( 1)λ k ) ( 1) k 1 k + 1 k λ 1 o(1) The full theorem of Alo-Boppaa shows that if G is a λ eigevalue expaer (ot ecessarily a absolute eigevalue expaer), eve the λ 1 o(1) This is a more elicate fact a the proof is more serious 5 Combiatorial versios of eigevalue expasio Defie the ege expasio of the graph G, eote h(g), by: h(g) = mi S V G, S / e(s, S c ) S h(g) beig large meas that most eges iciet o vertices of S are betwee S a S c By Theorem 4, we have that if G is a λ eigevalue expaer, the h(g) λ I particular, if λ = Ω(1), the h(g) Ω(1) We ow see the coverse of this statemet: if h(g) Ω(1), the G is a λ eigevalue expaer for λ Ω(1) Theorem 10 (Cheeger-Alo-Milma) Suppose λ R satisfies The G is a λ eigevalue expaer h(g) ( λ) Proof Let f : V G R be a uit orm eigevector of the eigevalue λ {x,y} E G (f(x) f(y)) = f, Lf = λ We will use f to fi a set S V G, with S /, such that e(s, S c ) ( λ ) S (this will show that h(g) ( λ ), as esire) First write f = f + f, where f + a f are oegative value Let V + a V be their supports Note that for each x V +, Lf + (x) Lf(x) = ( λ )f(x) = λ f + (x), 6
7 a for each x V, Lf (x) Lf(x) = ( λ )f(x) = ( λ )f (x) f +, Lf + ( λ ) f + a f, Lf ( λ ) f Now at least oe of the fuctios f + a f has support of size at most / Let us call that fuctio g We just showe that g, Lg ( λ ) g We will ow fi the esire S as a subset of the support of g It will be through a elicate probabilistic argumet Pick a [0, max x VG g(x)] uiformly at raom Let T = {x V G g(x) a} (ote that T is a raom set, with 0 < T /) The for a ege {x, y} E G, the probability that it gets coute i e(t, T c ) equals the probability that a lies i betwee g(x) a g(y), which equals g(x) g(y) : E[e(T, T c )] = g(x) g(y) {x,y} E G = (g(x) g(y)) (g(x) + g(y)) {x,y} E G 1/ (g(x) g(y)) (g(x) + g(y)) {x,y} E G {x,y} E G g, Lg 1/ ( g ( λ ) g ) 1/ O the other ha, E[ T ] = x V G g (x) = g E[e(T, T c )] E[ T ] ( λ ) This implies (verify this!) that with positive probability, e(t,t c ) T ( λ ), as esire Absolute eigevalue expasio ca also be characterize i terms of combiatorial properties of a graph A fuametal theorem of Bilu a Liial roughly says that a graph is a absolute eigevalue expaer if a oly if it satisfies the coclusio of the expaer mixig lemma 1/ 7
Sparsification using Regular and Weighted. Graphs
Sparsificatio usig Regular a Weighte 1 Graphs Aly El Gamal ECE Departmet a Cooriate Sciece Laboratory Uiversity of Illiois at Urbaa-Champaig Abstract We review the state of the art results o spectral approximatio
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 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 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 information(average number of points per unit length). Note that Equation (9B1) does not depend on the
EE603 Class Notes 9/25/203 Joh Stesby Appeix 9-B: Raom Poisso Poits As iscusse i Chapter, let (t,t 2 ) eote the umber of Poisso raom poits i the iterval (t, t 2 ]. The quatity (t, t 2 ) is a o-egative-iteger-value
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 informationMachine Learning for Data Science (CS 4786)
Machie Learig for Data Sciece CS 4786) Lecture 9: Pricipal Compoet Aalysis The text i black outlies mai ideas to retai from the lecture. The text i blue give a deeper uderstadig of how we derive or get
More informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
More informationModular orientations of random and quasi-random regular graphs
Moular orietatios of raom a quasi-raom regular graphs Noga Alo Pawe l Pra lat Abstract Exteig a ol cojecture of Tutte, Jaeger cojecture i 1988 that for ay fixe iteger p 1, the eges of ay 4p-ege coecte
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 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 information# fixed points of g. Tree to string. Repeatedly select the leaf with the smallest label, write down the label of its neighbour and remove the leaf.
Combiatorics Graph Theory Coutig labelled ad ulabelled graphs There are 2 ( 2) labelled graphs of order. The ulabelled graphs of order correspod to orbits of the actio of S o the set of labelled graphs.
More informationChapter 2 Transformations and Expectations
Chapter Trasformatios a Epectatios Chapter Distributios of Fuctios of a Raom Variable Problem: Let be a raom variable with cf F ( ) If we efie ay fuctio of, say g( ) g( ) is also a raom variable whose
More informationAlgorithms in The Real World Fall 2002 Homework Assignment 2 Solutions
Algorithms i The Real Worl Fall 00 Homewor Assigmet Solutios Problem. Suppose that a bipartite graph with oes o the left a oes o the right is costructe by coectig each oe o the left to raomly-selecte oes
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 information1 Review and Overview
CS229T/STATS231: Statistical Learig Theory Lecturer: Tegyu Ma Lecture #12 Scribe: Garrett Thomas, Pega Liu October 31, 2018 1 Review a Overview Recall the GAN setup: we have iepeet samples x 1,..., x raw
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 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 informationFall 2013 MTH431/531 Real analysis Section Notes
Fall 013 MTH431/531 Real aalysis Sectio 8.1-8. Notes Yi Su 013.11.1 1. Defiitio of uiform covergece. We look at a sequece of fuctios f (x) ad study the coverget property. Notice we have two parameters
More informationMath 508 Exam 2 Jerry L. Kazdan December 9, :00 10:20
Math 58 Eam 2 Jerry L. Kazda December 9, 24 9: :2 Directios This eam has three parts. Part A has 8 True/False questio (2 poits each so total 6 poits), Part B has 5 shorter problems (6 poits each, so 3
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 informationSequences and Series of Functions
Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges
More informationIntroduction to Probability. Ariel Yadin
Itroductio to robability Ariel Yadi Lecture 2 *** Ja. 7 ***. Covergece of Radom Variables As i the case of sequeces of umbers, we would like to talk about covergece of radom variables. There are may ways
More informationDistribution of Random Samples & Limit theorems
STAT/MATH 395 A - PROBABILITY II UW Witer Quarter 2017 Néhémy Lim Distributio of Radom Samples & Limit theorems 1 Distributio of i.i.d. Samples Motivatig example. Assume that the goal of a study is to
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 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 informationAN 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 informationECE 6980 An Algorithmic and Information-Theoretic Toolbox for Massive Data
ECE 6980 A Algorithmic ad Iformatio-Theoretic Toolbo for Massive Data Istructor: Jayadev Acharya Lecture # Scribe: Huayu Zhag 8th August, 017 1 Recap X =, ε is a accuracy parameter, ad δ is a error parameter.
More informationThe structure of Fourier series
The structure of Fourier series Valery P Dmitriyev Lomoosov Uiversity, Russia Date: February 3, 2011) Fourier series is costructe basig o the iea to moel the elemetary oscillatio 1, +1) by the expoetial
More informationACO Comprehensive Exam 9 October 2007 Student code A. 1. Graph Theory
1. Graph Theory Prove that there exist o simple plaar triagulatio T ad two distict adjacet vertices x, y V (T ) such that x ad y are the oly vertices of T of odd degree. Do ot use the Four-Color Theorem.
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 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 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 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 informationCombinatorics and Newton s theorem
INTRODUCTION TO MATHEMATICAL REASONING Key Ideas Worksheet 5 Combiatorics ad Newto s theorem This week we are goig to explore Newto s biomial expasio theorem. This is a very useful tool i aalysis, but
More informationf n (x) f m (x) < ɛ/3 for all x A. By continuity of f n and f m we can find δ > 0 such that d(x, x 0 ) < δ implies that
Lecture 15 We have see that a sequece of cotiuous fuctios which is uiformly coverget produces a limit fuctio which is also cotiuous. We shall stregthe this result ow. Theorem 1 Let f : X R or (C) be a
More informationMachine Learning Brett Bernstein
Machie Learig Brett Berstei Week 2 Lecture: Cocept Check Exercises Starred problems are optioal. Excess Risk Decompositio 1. Let X = Y = {1, 2,..., 10}, A = {1,..., 10, 11} ad suppose the data distributio
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 informationThe Choice Number of Random Bipartite Graphs
Aals of Combiatorics 2 (998) **-** The Choice umber of Raom Bipartite Graphs oga Alo a Michael Krivelevich 2 Departmet of Mathematics, Raymo a Beverly Sackler Faculty of Exact Scieces, Tel Aviv Uiversity,
More information36-755, Fall 2017 Homework 5 Solution Due Wed Nov 15 by 5:00pm in Jisu s mailbox
Poits: 00+ pts total for the assigmet 36-755, Fall 07 Homework 5 Solutio Due Wed Nov 5 by 5:00pm i Jisu s mailbox We first review some basic relatios with orms ad the sigular value decompositio o matrices
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 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 informationLecture 6: Integration and the Mean Value Theorem
Math 8 Istructor: Padraic Bartlett Lecture 6: Itegratio ad the Mea Value Theorem Week 6 Caltech - Fall, 2011 1 Radom Questios Questio 1.1. Show that ay positive ratioal umber ca be writte as the sum of
More informationLesson 10: Limits and Continuity
www.scimsacademy.com Lesso 10: Limits ad Cotiuity SCIMS Academy 1 Limit of a fuctio The cocept of limit of a fuctio is cetral to all other cocepts i calculus (like cotiuity, derivative, defiite itegrals
More informationLecture #3. Math tools covered today
Toay s Program:. Review of previous lecture. QM free particle a particle i a bo. 3. Priciple of spectral ecompositio. 4. Fourth Postulate Math tools covere toay Lecture #3. Lear how to solve separable
More informationFrequentist Inference
Frequetist Iferece The topics of the ext three sectios are useful applicatios of the Cetral Limit Theorem. Without kowig aythig about the uderlyig distributio of a sequece of radom variables {X i }, for
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 information1+x 1 + α+x. x = 2(α x2 ) 1+x
Math 2030 Homework 6 Solutios # [Problem 5] For coveiece we let α lim sup a ad β lim sup b. Without loss of geerality let us assume that α β. If α the by assumptio β < so i this case α + β. By Theorem
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 informationMATH301 Real Analysis (2008 Fall) Tutorial Note #7. k=1 f k (x) converges pointwise to S(x) on E if and
MATH01 Real Aalysis (2008 Fall) Tutorial Note #7 Sequece ad Series of fuctio 1: Poitwise Covergece ad Uiform Covergece Part I: Poitwise Covergece Defiitio of poitwise covergece: A sequece of fuctios f
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 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 informationInfinite Products Associated with Counting Blocks in Binary Strings
Ifiite Products Associated with Coutig Blocks i Biary Strigs J.-P. Allouche U. A. 226, Mathématiques et Iformatique J. O. Shallit Departmet of Computer Sciece Uiversité de Bordeaux Uiversity of Chicago
More informationMath 216A Notes, Week 5
Math 6A Notes, Week 5 Scribe: Ayastassia Sebolt Disclaimer: These otes are ot early as polished (ad quite possibly ot early as correct) as a published paper. Please use them at your ow risk.. Thresholds
More informationIt is often useful to approximate complicated functions using simpler ones. We consider the task of approximating a function by a polynomial.
Taylor Polyomials ad Taylor Series It is ofte useful to approximate complicated fuctios usig simpler oes We cosider the task of approximatig a fuctio by a polyomial If f is at least -times differetiable
More informationLecture 19: Convergence
Lecture 19: Covergece Asymptotic approach I statistical aalysis or iferece, a key to the success of fidig a good procedure is beig able to fid some momets ad/or distributios of various statistics. I may
More informationLovász Local Lemma a new tool to asymptotic enumeration?
Lovász Local Lemma a ew tool to asymptotic eumeratio? Liyua Licol Lu László Székely Uiversity of South Carolia Supported by NSF DMS Overview LLL ad its geeralizatios LLL a istace of the Poisso paradigm
More informationTheorem 3. A subset S of a topological space X is compact if and only if every open cover of S by open sets in X has a finite subcover.
Compactess Defiitio 1. A cover or a coverig of a topological space X is a family C of subsets of X whose uio is X. A subcover of a cover C is a subfamily of C which is a cover of X. A ope cover of X is
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 informationHomework 3. = k 1. Let S be a set of n elements, and let a, b, c be distinct elements of S. The number of k-subsets of S is
Homewor 3 Chapter 5 pp53: 3 40 45 Chapter 6 p85: 4 6 4 30 Use combiatorial reasoig to prove the idetity 3 3 Proof Let S be a set of elemets ad let a b c be distict elemets of S The umber of -subsets of
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 informationSPECTRAL THEOREM AND APPLICATIONS
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
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 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 informationThe Brunn-Minkowski Theorem and Influences of Boolean Variables
Lecture 7 The Bru-Mikowski Theorem ad Iflueces of Boolea Variables Friday 5, 005 Lecturer: Nati Liial Notes: Mukud Narasimha Theorem 7.1 Bru-Mikowski). If A, B R satisfy some mild assumptios i particular,
More informationOn Random Line Segments in the Unit Square
O Radom Lie Segmets i the Uit Square Thomas A. Courtade Departmet of Electrical Egieerig Uiversity of Califoria Los Ageles, Califoria 90095 Email: tacourta@ee.ucla.edu I. INTRODUCTION Let Q = [0, 1] [0,
More informationHomework 9. (n + 1)! = 1 1
. Chapter : Questio 8 If N, the Homewor 9 Proof. We will prove this by usig iductio o. 2! + 2 3! + 3 4! + + +! +!. Base step: Whe the left had side is. Whe the right had side is 2! 2 +! 2 which proves
More informationLecture 23 Rearrangement Inequality
Lecture 23 Rearragemet Iequality Holde Lee 6/4/ The Iequalities We start with a example Suppose there are four boxes cotaiig $0, $20, $50 ad $00 bills, respectively You may take 2 bills from oe box, 3
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 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 informationIntroduction to expander graphs
Itrouctio to expaer graphs Michael A. Nielse 1, 1 School of Physical Scieces, The Uiversity of Queesla, Brisbae, Queesla 407, Australia Date: Jue, 005) I. INTRODUCTION TO EXPANDERS Expaer graphs are oe
More informationANSWERS TO MIDTERM EXAM # 2
MATH 03, FALL 003 ANSWERS TO MIDTERM EXAM # PENN STATE UNIVERSITY Problem 1 (18 pts). State ad prove the Itermediate Value Theorem. Solutio See class otes or Theorem 5.6.1 from our textbook. Problem (18
More informationDefinitions and Theorems. where x are the decision variables. c, b, and a are constant coefficients.
Defiitios ad Theorems Remember the scalar form of the liear programmig problem, Miimize, Subject to, f(x) = c i x i a 1i x i = b 1 a mi x i = b m x i 0 i = 1,2,, where x are the decisio variables. c, b,
More informationThe Boolean Ring of Intervals
MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,
More informationProposition 2.1. There are an infinite number of primes of the form p = 4n 1. Proof. Suppose there are only a finite number of such primes, say
Chater 2 Euclid s Theorem Theorem 2.. There are a ifiity of rimes. This is sometimes called Euclid s Secod Theorem, what we have called Euclid s Lemma beig kow as Euclid s First Theorem. Proof. Suose to
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 informationFundamental Theorem of Algebra. Yvonne Lai March 2010
Fudametal Theorem of Algebra Yvoe Lai March 010 We prove the Fudametal Theorem of Algebra: Fudametal Theorem of Algebra. Let f be a o-costat polyomial with real coefficiets. The f has at least oe complex
More informationLecture 19. sup y 1,..., yn B d n
STAT 06A: Polyomials of adom Variables Lecture date: Nov Lecture 19 Grothedieck s Iequality Scribe: Be Hough The scribes are based o a guest lecture by ya O Doell. I this lecture we prove Grothedieck s
More informationLecture 6 Testing Nonlinear Restrictions 1. The previous lectures prepare us for the tests of nonlinear restrictions of the form:
Eco 75 Lecture 6 Testig Noliear Restrictios The previous lectures prepare us for the tests of oliear restrictios of the form: H 0 : h( 0 ) = 0 versus H : h( 0 ) 6= 0: () I this lecture, we cosier Wal,
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 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 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 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 informationLecture 1:Limits, Sequences and Series
Math 94 Professor: Paraic Bartlett Lecture :Limits, Sequeces a Series Week UCSB 205 This is the first week of the Mathematics Subject Test GRE prep course! We start by reviewig the cocept of a it, with
More informationMcGill University Math 354: Honors Analysis 3 Fall 2012 Solutions to selected problems
McGill Uiversity Math 354: Hoors Aalysis 3 Fall 212 Assigmet 3 Solutios to selected problems Problem 1. Lipschitz fuctios. Let Lip K be the set of all fuctios cotiuous fuctios o [, 1] satisfyig a Lipschitz
More informationInhomogeneous Poisson process
Chapter 22 Ihomogeeous Poisso process We coclue our stuy of Poisso processes with the case of o-statioary rates. Let us cosier a arrival rate, λ(t), that with time, but oe that is still Markovia. That
More informationCounting trees in graphs
Coutig trees i graphs Dhruv Mubayi Jacques Verstraëte August 4, 206 Abstract Erdős a Simoovits proved that the umber of paths of legth t i a - vertex graph of average degree d is at least ( δ)(d ) (d t
More informationA generalization of the Leibniz rule for derivatives
A geeralizatio of the Leibiz rule for erivatives R. DYBOWSKI School of Computig, Uiversity of East Loo, Docklas Campus, Loo E16 RD e-mail: ybowski@uel.ac.uk I will shamelessly tell you what my bottom lie
More informationLecture 7: Properties of Random Samples
Lecture 7: Properties of Radom Samples 1 Cotiued From Last Class Theorem 1.1. Let X 1, X,...X be a radom sample from a populatio with mea µ ad variace σ
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 information1 Adiabatic and diabatic representations
1 Adiabatic ad diabatic represetatios 1.1 Bor-Oppeheimer approximatio The time-idepedet Schrödiger equatio for both electroic ad uclear degrees of freedom is Ĥ Ψ(r, R) = E Ψ(r, R), (1) where the full molecular
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 informationAnalytic Number Theory Solutions
Aalytic Number Theory Solutios Sea Li Corell Uiversity sl6@corell.eu Ja. 03 Itrouctio This ocumet is a work-i-progress solutio maual for Tom Apostol s Itrouctio to Aalytic Number Theory. The solutios were
More informationCS 336. of n 1 objects with order unimportant but repetition allowed.
CS 336. The importat issue is the logic you used to arrive at your aswer.. Use extra paper to determie your solutios the eatly trascribe them oto these sheets. 3. Do ot submit the scratch sheets. However,
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 informationMath 104: Homework 2 solutions
Math 04: Homework solutios. A (0, ): Sice this is a ope iterval, the miimum is udefied, ad sice the set is ot bouded above, the maximum is also udefied. if A 0 ad sup A. B { m + : m, N}: This set does
More informationLinear Regression Demystified
Liear Regressio Demystified Liear regressio is a importat subject i statistics. I elemetary statistics courses, formulae related to liear regressio are ofte stated without derivatio. This ote iteds to
More informationUniversity of Colorado Denver Dept. Math. & Stat. Sciences Applied Analysis Preliminary Exam 13 January 2012, 10:00 am 2:00 pm. Good luck!
Uiversity of Colorado Dever Dept. Math. & Stat. Scieces Applied Aalysis Prelimiary Exam 13 Jauary 01, 10:00 am :00 pm Name: The proctor will let you read the followig coditios before the exam begis, ad
More informationHOMEWORK 2 SOLUTIONS
HOMEWORK SOLUTIONS CSE 55 RANDOMIZED AND APPROXIMATION ALGORITHMS 1. Questio 1. a) The larger the value of k is, the smaller the expected umber of days util we get all the coupos we eed. I fact if = k
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 information