Spectral Continuity Properties of Graph Laplacians
|
|
- Janice Day
- 5 years ago
- Views:
Transcription
1 Spectral Continuity Properties of Graph Laplacians David Jekel May 24, 2017
2 Overview Spectral invariants of the graph Laplacian depend continuously on the graph. We consider triples (G, x, T ), where G is a graph, x is a root vertex, and T is symmetric diagonally dominant operator (generalized Laplacian) associated to the graph. We say that (G n, x n, T n ) (G, r, T ) locally if for every R > 0, the ball B Gn (x n, R) is evetually the same as B G (x, R) and also T n BGn (x n,r) T BG (x,r) 0. First Main Result: If (G n, x n, T n ) (G, r, T ) locally, then the spectral measures associated to (T n, δ xn ) on l 2 (G n ) converge to the spectral measure of (T, δ x ). Second Main Result: Assume also that T n C. Then we get an explicit estimate on rate of convergence δ xn, φ(t n )δ xn in terms of the modulus of continuity of φ.
3 Graph Laplacians For a (countable, locally finite) graph G = (V, E). The Laplacian C V C V is given by Lf (x) = y x(f (x) f (y)). For positive weights w(x, y) = w(y, x), we can define a weighted Laplacian Lf (x) = y x w(x, y)(f (x) f (y)).
4 Graph Laplacians Kenyon Spanning Forests and the Vector Bundle Laplacian considers a Laplacian Lf (x) = y x(f (x) U x,y f (y)), where f is a function from V to a Hilbert space H, and U x,y = U y,x is a unitary automorphism of H. Remark: This is an analogue of the Laplacian on a manifold with nontrivial curvature. There is a generalization of the matrix-tree theorem to this setting. See also Forman, Determinants of Laplacians on Graphs.
5 Symmetric Diagonally Dominant Operators These Laplacian variants are examples of SDD operators associated to a graph. Let H be a Hilbert space. An infinite matrix {T i,j } i,j N with entries in B(H) is called SDD if T j,i = T i,j and T i,i j T i,j. Remark: We ll show that such a matrix defines a (possibly unbounded) self-adjoint operator on j=1 H. If G is a graph, then an SDD matrix associated to G (and H) is an SDD matrix with entries indexed by V such that T x,y = 0 when x y.
6 The Metric of Local Convergence Consider a triple G = (G, x, T ), where G is a graph, x is a root vertex, and T is an associated SDD operator. For real R > 0, let B R (G) denote the closed ball in G centered at x with respect to the path metric. Let P R : l 2 (G) l 2 (G) be the projection onto functions supported in B R. Define d(g 1, G 2 ) to be the infimum of all ɛ > 0 such that (1) there exists a root-preserving graph isomorphism B 1/ɛ (G 1 ) B 1/ɛ (G 2 ) and (2) we have P 1/ɛ T 1 P 1/ɛ P 1/ɛ T 2 P 1/ɛ ɛ, where we have identified l 2 (B 1/ɛ (G 1 )) with l 2 (B 1/ɛ (G 2 )) by the given isomorphism. This defines a complete metric space G. For further background and applications, see Aldous and Steele The Objective Method (c. 2003).
7 First Main Result Fix h 0 H. For φ : R C continuous, let φ : G B(H) be given by φ (G, x, T ) = δ x h 0, φ(t )[δ x h 0 ] whenever this quantity is defined (in terms of the spectral measure for δ x h 0 ). We will show that T is self-adjoint and positive. Then we will show that if φ is continuous with polynomial growth, then φ is defined and continuous. For most of the proof, we will work with SDD operators with entries indexed by N rather than V (G).
8 SDD Operators: Results Let F l 2 (N, H) denote the space of finitely supported functions. We will prove: Lemma 1: If T = {T i,j } is an SDD matrix, then T defines a positive operator dom T l 2 (N, H), where dom T will be defined explicitly in the next slide. Lemma 2: For every c > 0, the space (c + T )F is dense in l 2 (N, H). Lemma 3: Suppose T n and T are SDD and T n f Tf for every f F. Then for every bounded continuous φ : R C, we have φ(t n ) φ(t ) strongly.
9 SDD Operators: Domain Let {T i,j } be SDD operator over H. Because j T i,j < + for each i, multiplication by T yields a well-defined map T : l (N, H) H N. Therefore, we can define the l 2 domain of T to be dom T = {f l 2 (N, H) such that Tf l 2 (N, H)}. Note that F dom H because i T i,j < + for each j. Straightforward computation checks that f, Tg = Tf, g and Tf, f 0 for f, g F.
10 SDD Operators: Proof of Lemma 2 It is not immediate that f, Tg = Tf, g is true for f, g dom T because this requires exchanging the order of summation in i j f i, T i,j g j without knowing absolute convergence a priori. Thus, we will first prove Lemma 2 that (c + T )F is dense. Suppose that f l 2 (N, H) is orthogonal to (c + T )F. Since f l (N, H), Tf is defined. Also, for h H, we have (c + T )f (j), h H = f, (c + T )(δ j h) l 2 (N,H) = 0. This implies that (c + T )f = 0. Since f l 2 (N, H), there exists a point j where f (j) H is maximized.
11 SDD Operators: Proof of Lemma 2 Then we have 0 = [(c + T )f ](j) H (c + T )f (j), f (j) H = (c + T j,j )f (j), f (j) H + T j,i f (i), f (j) i j c f (j) 2 + T j,i f (j) 2 T j,i f (i) f (j) i j i j c f (j) 2. This implies that f (j) = 0 and hence f = 0. So Lemma 2 is proved.
12 SDD Operators: Proof of Self-Adjointness Lemma 2 implies that for each f dom T, there exists f n F such that (c + T )f n (c + T )f. Since (c + T ) c on F, this implies that f n converges, and one can deduce that the limit must be f. Hence, we have f n f and Tf n Tf. This implies that the symmetry and positivity properties of T hold on all of dom T, not just F. Finally, to check self-adjointness, it suffices to show that if Tf, h = f, Th for all h dom T, then f dom T and Tf = g. We know Tf is defined pointwise since f l (N, H). But by taking g to supported at j, we obtain Tf (j) = g(j). Since g l 2 (N, H), this implies that f dom T.
13 SDD Operators: Proof of Convergence To prove Lemma 3: Assume that T n f Tf for all f F, and we will show that φ(t n ) φ(t ) strongly for every bounded continuous φ : [0, + ) C. First, consider φ(t) = (c + t) 1. Suppose that f (c + T )F. Then we have (c + T n ) 1 f (c + T ) 1 f = (c + T n ) 1 (T T n )(c + T ) 1 f c 1 (T T n )(c + T ) 1 f 0 because (c + T ) 1 f F. Since (c + T )F is dense and (c + T n ) 1 is uniformly bounded, we have (c + T n ) 1 (c + T ) 1 strongly.
14 SDD Operators: Proof of Convergence The case of general bounded continuous φ : [0, + ) C follows by standard approximation arguments for instance: We know the result holds for every φ which has a limit at + because the Stone-Weierstrass theorem on [0, + ] implies that such a φ can be uniformly approximated by polynomials in (1 + T ) 1. For general φ, we approximate by multiplying by a cut-off in a neighborhood of +. (Ask for details at the end, if desired.)
15 First Main Result Theorem A: Let φ : G C be given by φ (G, x, T ) = δ x h 0, φ(t )[δ x h 0 ], where h 0 H. If φ has polynomial growth, then φ is continuous. Proof: Assume that G n G. Choose an identification of V (G n ) and V (G) with N (or a finite subset of N) such that the root vertex is identified with 0 and, whenever d(g n, G) < ɛ, the identification with N is the same for B 1/ɛ (G n ) and B 1/ɛ (G). If φ is bounded and continuous, then modulo this identification we have φ(t n ) φ(t ) strongly which implies that φ (G n ) φ (G).
16 First Main Result Thus, if µ n and µ are the spectral measures associated to G n and G, we know that µ n µ weakly and hence φ dµ lim infn φ dµn for every LSC φ 0. Since each graph is assumed locally finite, we have (1 + t 2 ) k dµ n = δ xn, (1 + T 2 ) k δ xn < +. R Moreover, R (1 + t2 ) k dµ n R (1 + t2 ) k dµ because this expression is given by a finitely linear combination of T i,j s.. Hence, if we assume that φ(t) C(1 + t 2 ) k, then we obtain φ (G n ) φ (G) using the proof of the generalized dominated convergence theorem.
17 First Main Result: Remarks As a corollary, if φ is nonnegative and LSC, then φ is LSC. In the theorem, we do not have to assume that P R T n P R P R TP R 0 in norm for each R, only that it goes to zero strongly. If we do assume P R T n P R P R TP R 0 in norm, this proof does not guarantee that P {xn}t n P {xn} P {x} TP {x} in norm. Is this true without any additional restrictions on the growth of T i,j? This is a philosophical result which assumes a soft hypothesis and gets a soft conclusion. Next, we ll do some explicit estimates...
18 Second Main Result Given a modulus of continuity ω : [0, + ) [0, + ), we define ω ω(s) (t) = t s 2 ds. We denote by G 0 the space of triples (G, x, T ) with T 1. As before, for φ : R C, we define φ : G C by φ (G, x, T ) = δ x h, φ(t )[δ x h]. Theorem B: Let f : [0, 1] C be continuous with modulus of continuity ω φ. Then for G 1 and G 2 in G 0, we have φ (G 1 ) φ (G 2 ) Cω φ (d(g 1, G 2 )), where C is a universal constant. t
19 Second Main Result: Ingredients We ll approximate φ uniformly by a polynomial using Jackson s theorem: Theorem: Let φ : [0, 1] C be continuous. Then there exists a polynomial φ n of degree n such that φ n φ Cω φ (1/n), ω φn (t) Cω φ (t). Remark: The reason that ω φn Cω φ is that (in most proofs) the polynomial p n is obtained by convolution on R (or convolution on S 1 after a change of variables).
20 Second Main Result: Ingredients We ll combine this with the results of Aleksandrov and Peller (2013 to present) in Operator Hölder-Zygmund Functions and Functions of Perturbed Unbounded Self-Adjoint Operators... : Theorem: Let φ : R C be uniformly continuous. Then for self-adjoint operators A and B, we have φ(a) φ(b) Cωφ ( A B ). Remarks: The authors first prove a Bernstein type inequality that if φ is supported in [ σ, σ], then φ(a) φ(b) Cσ A B. For a general φ, they use a dyadic decomposition of the frequency space. Examining their proof shows C 99.
21 Second Main Result: Proof Let φ : [0, 1] C continuous. Let δ = d(g 1, G 2 ). Let n = floor(1/δ), so that B n (G 1 ) = B n (G 2 ). Let φ n be the polynomial given by Jackson s theorem. Then we have Hence, φ n (T j ) φ(t j ) φ n φ Cω φ (δ). φ (T 1 ) φ (T 2 ) (φ n ) (T 1 ) (φ n ) (T 2 ) + 2Cω φ (δ).
22 Second Main Result: Proof Now because T j only allows interactions between adjacent vertices, we have δ x h 0, φ n (T j )[δ x h 0 ] = δ x h 0, φ n (P n T j P n )[δ x h 0 ], that is, (φ n ) (T j ) = (φ n ) (P n T j P n ). Therefore, using Aleksandrov and Peller s result, (φ n ) (T 1 ) (φ n ) (T 2 ) φ n (P n T 1 P n ) φ n (P n T 2 P n ) Cω φ n ( P n T 1 P n P n T 2 P n ) Cω φ (δ).
23 Second Main Result: Proof Altogether, we have φ (T 1 ) φ (T 2 ) Cω φ (d(g 1, G 2 )). Here we use the fact that ω φ ω φ. A few remarks: The constant in this theorem can be crudely estimated by 222. If we have P n T 1 P n = P n T 2 P n, then the proof only requires Jackson s theorem, and the error is bounded by 2Cω φ (δ), where C is the optimal constant in Jackson s theorem. Thus, in this case, the modulus of continuity of φ is the same as the modulus of continuity of φ up to constants. This confirms that we are using the right metric on G 0.
24 Further Questions: Random Graphs For random elements G 1 and G 2 of G 0, our previous results imply that E φ (G 1 ) φ (G 2 ) C Eω φ (d(g 1, G 2 )) 2C ω φ (E d(g 1, G 2 )). But in fact, in certain cases, we can get ω φ rather than ω φ. We already saw that this is the case if we change the graph without changing the weights.
25 Further Questions: Random Graphs Suppose that G is a Cayley graph with set of generators S. Let Ω be a probability space, and {X s } s S and {Y s } s S scalar random variables representing random edge weights for the edges from e to s. For the other edges, define edge weights by making i.i.d. copies of Ω (hence {X s } and {Y s }) translated by the action of the group on G. Then the weighted Laplacians T X and T Y are elements of a von Neumann algebra on which τ(t ) = E δ e, T δ e is a trace. Since we have a trace, we can argue that τ(φ(t X ) φ(t Y )) 4ω φ ( T X T Y ) Cω φ ( s S E X s Y s ).
26 Further Questions: Random Graphs In general, if a random graph is given by a unimodular probability measure, then the Laplacian lives in a von Neumann algebra where E δ e, T δ e. However, it is not clear in general how to take two unimodular random rooted graphs and put both Laplacians in the same tracial von Neumann algebra. In the above argument, we implicitly did this using independence. One difficulty is that we do not have a good structure theorem for unimodular probability measures. Russ Lyons conjectures that they are weak limits of distributions which take a finite graph and choose each vertex as the root with equal probability.
27 Further Questions: Unbounded Functions Our results here considered only continuous φ. If we allow φ to have some discontinuities or be unbounded, then we also need to have to estimates for the concentration of the spectral measure near the singularities, which cannot be done in such a general setting. Russ Lyons in 2005 considered φ(t) = log t, which relates to entropy. He defined a quantity called tree entropy. He gave a formula relating the tree entropy and E log (G) for the unimodular case. He also showed that the tree entropy depends continuously on the graph by expressing it in terms of random walk probabilities. Based on his proof, one can conclude that the modulus of continuity of the tree entropy on G 0 is bounded by the square root function.
Functional Analysis Review
Outline 9.520: Statistical Learning Theory and Applications February 8, 2010 Outline 1 2 3 4 Vector Space Outline A vector space is a set V with binary operations +: V V V and : R V V such that for all
More informationSpectral theory for compact operators on Banach spaces
68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy
More informationON MATRIX VALUED SQUARE INTEGRABLE POSITIVE DEFINITE FUNCTIONS
1 2 3 ON MATRIX VALUED SQUARE INTERABLE POSITIVE DEFINITE FUNCTIONS HONYU HE Abstract. In this paper, we study matrix valued positive definite functions on a unimodular group. We generalize two important
More informationSolutions: Problem Set 4 Math 201B, Winter 2007
Solutions: Problem Set 4 Math 2B, Winter 27 Problem. (a Define f : by { x /2 if < x
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationUpper triangular forms for some classes of infinite dimensional operators
Upper triangular forms for some classes of infinite dimensional operators Ken Dykema, 1 Fedor Sukochev, 2 Dmitriy Zanin 2 1 Department of Mathematics Texas A&M University College Station, TX, USA. 2 School
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationNon commutative Khintchine inequalities and Grothendieck s theo
Non commutative Khintchine inequalities and Grothendieck s theorem Nankai, 2007 Plan Non-commutative Khintchine inequalities 1 Non-commutative Khintchine inequalities 2 µ = Uniform probability on the set
More informationEigenvalues, random walks and Ramanujan graphs
Eigenvalues, random walks and Ramanujan graphs David Ellis 1 The Expander Mixing lemma We have seen that a bounded-degree graph is a good edge-expander if and only if if has large spectral gap If G = (V,
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
More informationA new proof of Gromov s theorem on groups of polynomial growth
A new proof of Gromov s theorem on groups of polynomial growth Bruce Kleiner Courant Institute NYU Groups as geometric objects Let G a group with a finite generating set S G. Assume that S is symmetric:
More informationCOUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE. Nigel Higson. Unpublished Note, 1999
COUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE Nigel Higson Unpublished Note, 1999 1. Introduction Let X be a discrete, bounded geometry metric space. 1 Associated to X is a C -algebra C (X) which
More informationhere, this space is in fact infinite-dimensional, so t σ ess. Exercise Let T B(H) be a self-adjoint operator on an infinitedimensional
15. Perturbations by compact operators In this chapter, we study the stability (or lack thereof) of various spectral properties under small perturbations. Here s the type of situation we have in mind:
More informationBorel complexity and automorphisms of C*-algebras
Martino Lupini York University Toronto, Canada January 15th, 2013 Table of Contents 1 Auto-homeomorphisms of compact metrizable spaces 2 Measure preserving automorphisms of probability spaces 3 Automorphisms
More informationChapter 8 Integral Operators
Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,
More informationSPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS
SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint
More informationPart II Probability and Measure
Part II Probability and Measure Theorems Based on lectures by J. Miller Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationRecall that any inner product space V has an associated norm defined by
Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner
More informationThe Dirichlet-to-Neumann operator
Lecture 8 The Dirichlet-to-Neumann operator The Dirichlet-to-Neumann operator plays an important role in the theory of inverse problems. In fact, from measurements of electrical currents at the surface
More information1. Subspaces A subset M of Hilbert space H is a subspace of it is closed under the operation of forming linear combinations;i.e.,
Abstract Hilbert Space Results We have learned a little about the Hilbert spaces L U and and we have at least defined H 1 U and the scale of Hilbert spaces H p U. Now we are going to develop additional
More informationSpectral Theory, with an Introduction to Operator Means. William L. Green
Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps
More informationMathematical foundations - linear algebra
Mathematical foundations - linear algebra Andrea Passerini passerini@disi.unitn.it Machine Learning Vector space Definition (over reals) A set X is called a vector space over IR if addition and scalar
More informationLINEAR PRESERVER PROBLEMS: generalized inverse
LINEAR PRESERVER PROBLEMS: generalized inverse Université Lille 1, France Banach Algebras 2011, Waterloo August 3-10, 2011 I. Introduction Linear preserver problems is an active research area in Matrix,
More informationOllivier Ricci curvature for general graph Laplacians
for general graph Laplacians York College and the Graduate Center City University of New York 6th Cornell Conference on Analysis, Probability and Mathematical Physics on Fractals Cornell University June
More informationPopa s rigidity theorems and II 1 factors without non-trivial finite index subfactors
Popa s rigidity theorems and II 1 factors without non-trivial finite index subfactors Stefaan Vaes March 19, 2007 1/17 Talk in two parts 1 Sorin Popa s cocycle superrigidity theorems. Sketch of proof.
More informationCHAPTER X THE SPECTRAL THEOREM OF GELFAND
CHAPTER X THE SPECTRAL THEOREM OF GELFAND DEFINITION A Banach algebra is a complex Banach space A on which there is defined an associative multiplication for which: (1) x (y + z) = x y + x z and (y + z)
More informationVector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.
Vector Spaces Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms. For each two vectors a, b ν there exists a summation procedure: a +
More informationTHE PROBLEMS FOR THE SECOND TEST FOR BRIEF SOLUTIONS
THE PROBLEMS FOR THE SECOND TEST FOR 18.102 BRIEF SOLUTIONS RICHARD MELROSE Question.1 Show that a subset of a separable Hilbert space is compact if and only if it is closed and bounded and has the property
More informationMATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY
MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationBOUNDARY VALUE PROBLEMS ON A HALF SIERPINSKI GASKET
BOUNDARY VALUE PROBLEMS ON A HALF SIERPINSKI GASKET WEILIN LI AND ROBERT S. STRICHARTZ Abstract. We study boundary value problems for the Laplacian on a domain Ω consisting of the left half of the Sierpinski
More informationSELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY
Electronic Journal of Differential Equations, Vol. 2003(2003), No.??, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) SELF-ADJOINTNESS
More informationMAT 578 FUNCTIONAL ANALYSIS EXERCISES
MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.
More informationNonamenable Products are not Treeable
Version of 30 July 1999 Nonamenable Products are not Treeable by Robin Pemantle and Yuval Peres Abstract. Let X and Y be infinite graphs, such that the automorphism group of X is nonamenable, and the automorphism
More informationMaximal vectors in Hilbert space and quantum entanglement
Maximal vectors in Hilbert space and quantum entanglement William Arveson arveson@math.berkeley.edu UC Berkeley Summer 2008 arxiv:0712.4163 arxiv:0801.2531 arxiv:0804.1140 Overview Quantum Information
More informationGaussian automorphisms whose ergodic self-joinings are Gaussian
F U N D A M E N T A MATHEMATICAE 164 (2000) Gaussian automorphisms whose ergodic self-joinings are Gaussian by M. L e m a ńc z y k (Toruń), F. P a r r e a u (Paris) and J.-P. T h o u v e n o t (Paris)
More informationNotation. General. Notation Description See. Sets, Functions, and Spaces. a b & a b The minimum and the maximum of a and b
Notation General Notation Description See a b & a b The minimum and the maximum of a and b a + & a f S u The non-negative part, a 0, and non-positive part, (a 0) of a R The restriction of the function
More informationA VERY BRIEF REVIEW OF MEASURE THEORY
A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and
More informationThe circular law. Lewis Memorial Lecture / DIMACS minicourse March 19, Terence Tao (UCLA)
The circular law Lewis Memorial Lecture / DIMACS minicourse March 19, 2008 Terence Tao (UCLA) 1 Eigenvalue distributions Let M = (a ij ) 1 i n;1 j n be a square matrix. Then one has n (generalised) eigenvalues
More informationHilbert space methods for quantum mechanics. S. Richard
Hilbert space methods for quantum mechanics S. Richard Spring Semester 2016 2 Contents 1 Hilbert space and bounded linear operators 5 1.1 Hilbert space................................ 5 1.2 Vector-valued
More informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
More informationCHAPTER 6. Representations of compact groups
CHAPTER 6 Representations of compact groups Throughout this chapter, denotes a compact group. 6.1. Examples of compact groups A standard theorem in elementary analysis says that a subset of C m (m a positive
More informationTHE COLORED BENJAMINI-SCHRAMM TOPOLOGY
THE COLORED BEJAMII-SCHRAMM TOPOLOGY MOSTAFA SABRI Abstract. These are lecture notes on the Benjamini-Schramm topology. We discuss basic notions, examples and implications for the spectral measures.. Introduction
More informationFactorization of unitary representations of adele groups Paul Garrett garrett/
(February 19, 2005) Factorization of unitary representations of adele groups Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The result sketched here is of fundamental importance in
More informationEntropy, mixing, and independence
Entropy, mixing, and independence David Kerr Texas A&M University Joint work with Hanfeng Li Let (X, µ) be a probability space. Two sets A, B X are independent if µ(a B) = µ(a)µ(b). Suppose that we have
More informationAnalysis Preliminary Exam Workshop: Hilbert Spaces
Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H
More informationHard-Core Model on Random Graphs
Hard-Core Model on Random Graphs Antar Bandyopadhyay Theoretical Statistics and Mathematics Unit Seminar Theoretical Statistics and Mathematics Unit Indian Statistical Institute, New Delhi Centre New Delhi,
More informationSpectral Theorem for Self-adjoint Linear Operators
Notes for the undergraduate lecture by David Adams. (These are the notes I would write if I was teaching a course on this topic. I have included more material than I will cover in the 45 minute lecture;
More information2 Garrett: `A Good Spectral Theorem' 1. von Neumann algebras, density theorem The commutant of a subring S of a ring R is S 0 = fr 2 R : rs = sr; 8s 2
1 A Good Spectral Theorem c1996, Paul Garrett, garrett@math.umn.edu version February 12, 1996 1 Measurable Hilbert bundles Measurable Banach bundles Direct integrals of Hilbert spaces Trivializing Hilbert
More informationAnalysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More informationMath 123 Homework Assignment #2 Due Monday, April 21, 2008
Math 123 Homework Assignment #2 Due Monday, April 21, 2008 Part I: 1. Suppose that A is a C -algebra. (a) Suppose that e A satisfies xe = x for all x A. Show that e = e and that e = 1. Conclude that e
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationAmenable groups, Jacques Tits Alternative Theorem
Amenable groups, Jacques Tits Alternative Theorem Cornelia Druţu Oxford TCC Course 2014, Lecture 3 Cornelia Druţu (Oxford) Amenable groups, Alternative Theorem TCC Course 2014, Lecture 3 1 / 21 Last lecture
More informationHarmonic Polynomials and Dirichlet-Type Problems. 1. Derivatives of x 2 n
Harmonic Polynomials and Dirichlet-Type Problems Sheldon Axler and Wade Ramey 30 May 1995 Abstract. We take a new approach to harmonic polynomials via differentiation. Surprisingly powerful results about
More informationHilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.
Hilbert Spaces Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space. Vector Space. Vector space, ν, over the field of complex numbers,
More informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More informationAnalysis in weighted spaces : preliminary version
Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.
More informationAPPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2.
APPENDIX A Background Mathematics A. Linear Algebra A.. Vector algebra Let x denote the n-dimensional column vector with components 0 x x 2 B C @. A x n Definition 6 (scalar product). The scalar product
More information2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.
Chapter 3 Duality in Banach Space Modern optimization theory largely centers around the interplay of a normed vector space and its corresponding dual. The notion of duality is important for the following
More informationCOMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE
COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE MICHAEL LAUZON AND SERGEI TREIL Abstract. In this paper we find a necessary and sufficient condition for two closed subspaces, X and Y, of a Hilbert
More informationCONSTRAINED PERCOLATION ON Z 2
CONSTRAINED PERCOLATION ON Z 2 ZHONGYANG LI Abstract. We study a constrained percolation process on Z 2, and prove the almost sure nonexistence of infinite clusters and contours for a large class of probability
More informationNORMS ON SPACE OF MATRICES
NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system
More informationFunctional Analysis HW #1
Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X
More informationStatistical Inference on Large Contingency Tables: Convergence, Testability, Stability. COMPSTAT 2010 Paris, August 23, 2010
Statistical Inference on Large Contingency Tables: Convergence, Testability, Stability Marianna Bolla Institute of Mathematics Budapest University of Technology and Economics marib@math.bme.hu COMPSTAT
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationOPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic
OPERATOR THEORY ON HILBERT SPACE Class notes John Petrovic Contents Chapter 1. Hilbert space 1 1.1. Definition and Properties 1 1.2. Orthogonality 3 1.3. Subspaces 7 1.4. Weak topology 9 Chapter 2. Operators
More informationProofs for Large Sample Properties of Generalized Method of Moments Estimators
Proofs for Large Sample Properties of Generalized Method of Moments Estimators Lars Peter Hansen University of Chicago March 8, 2012 1 Introduction Econometrica did not publish many of the proofs in my
More informationFréchet differentiability of the norm of L p -spaces associated with arbitrary von Neumann algebras
Fréchet differentiability of the norm of L p -spaces associated with arbitrary von Neumann algebras (Part I) Fedor Sukochev (joint work with D. Potapov, A. Tomskova and D. Zanin) University of NSW, AUSTRALIA
More informationMATH 426, TOPOLOGY. p 1.
MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationLOCAL CONVERGENCE OF GRAPHS AND ENUMERATION OF SPANNING TREES. 1. Introduction
LOCAL CONVERGENCE OF GRAPHS AND ENUMERATION OF SPANNING TREES MUSTAZEE RAHMAN 1 Introduction A spanning tree in a connected graph G is a subgraph that contains every vertex of G and is itself a tree Clearly,
More informationDISTRIBUTION THEORY ON P.C.F. FRACTALS
DISTRIBUTION THEORY ON P.C.F. FRACTALS LUKE G. ROGERS AND ROBERT S. STRICHARTZ Abstract. We construct a theory of distributions in the setting of analysis on post-critically finite self-similar fractals,
More informationThe Symmetric Space for SL n (R)
The Symmetric Space for SL n (R) Rich Schwartz November 27, 2013 The purpose of these notes is to discuss the symmetric space X on which SL n (R) acts. Here, as usual, SL n (R) denotes the group of n n
More informationFrom Bernstein approximation to Zauner s conjecture
From Bernstein approximation to Zauner s conjecture Shayne Waldron Mathematics Department, University of Auckland December 5, 2017 Shayne Waldron (University of Auckland) Workshop on Spline Approximation
More informationAutomorphism groups of wreath product digraphs
Automorphism groups of wreath product digraphs Edward Dobson Department of Mathematics and Statistics Mississippi State University PO Drawer MA Mississippi State, MS 39762 USA dobson@math.msstate.edu Joy
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More informationarxiv: v2 [math.fa] 17 May 2016
ESTIMATES ON SINGULAR VALUES OF FUNCTIONS OF PERTURBED OPERATORS arxiv:1605.03931v2 [math.fa] 17 May 2016 QINBO LIU DEPARTMENT OF MATHEMATICS, MICHIGAN STATE UNIVERSITY EAST LANSING, MI 48824, USA Abstract.
More information1 Lyapunov theory of stability
M.Kawski, APM 581 Diff Equns Intro to Lyapunov theory. November 15, 29 1 1 Lyapunov theory of stability Introduction. Lyapunov s second (or direct) method provides tools for studying (asymptotic) stability
More informationvon Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)
von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) Lecture 3 at IIT Mumbai, April 24th, 2007 Finite-dimensional C -algebras: Recall: Definition: A linear functional tr
More informationU.C. Berkeley Better-than-Worst-Case Analysis Handout 3 Luca Trevisan May 24, 2018
U.C. Berkeley Better-than-Worst-Case Analysis Handout 3 Luca Trevisan May 24, 2018 Lecture 3 In which we show how to find a planted clique in a random graph. 1 Finding a Planted Clique We will analyze
More informationA Sharpened Hausdorff-Young Inequality
A Sharpened Hausdorff-Young Inequality Michael Christ University of California, Berkeley IPAM Workshop Kakeya Problem, Restriction Problem, Sum-Product Theory and perhaps more May 5, 2014 Hausdorff-Young
More informationTOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NW-SE diagonals constant. f e C :
TOEPLITZ OPERATORS EFTON PARK 1. Introduction to Toeplitz Operators Otto Toeplitz lived from 1881-1940 in Goettingen, and it was pretty rough there, so he eventually went to Palestine and eventually contracted
More informationLinear algebra and applications to graphs Part 1
Linear algebra and applications to graphs Part 1 Written up by Mikhail Belkin and Moon Duchin Instructor: Laszlo Babai June 17, 2001 1 Basic Linear Algebra Exercise 1.1 Let V and W be linear subspaces
More informationRICCI SOLITONS ON COMPACT KAHLER SURFACES. Thomas Ivey
RICCI SOLITONS ON COMPACT KAHLER SURFACES Thomas Ivey Abstract. We classify the Kähler metrics on compact manifolds of complex dimension two that are solitons for the constant-volume Ricci flow, assuming
More informationVISCOSITY SOLUTIONS. We follow Han and Lin, Elliptic Partial Differential Equations, 5.
VISCOSITY SOLUTIONS PETER HINTZ We follow Han and Lin, Elliptic Partial Differential Equations, 5. 1. Motivation Throughout, we will assume that Ω R n is a bounded and connected domain and that a ij C(Ω)
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationLecture III: Applications of Voiculescu s random matrix model to operator algebras
Lecture III: Applications of Voiculescu s random matrix model to operator algebras Steen Thorbjørnsen, University of Aarhus Voiculescu s Random Matrix Model Theorem [Voiculescu]. For each n in N, let X
More informationACO Comprehensive Exam 19 March Graph Theory
1. Graph Theory Let G be a connected simple graph that is not a cycle and is not complete. Prove that there exist distinct non-adjacent vertices u, v V (G) such that the graph obtained from G by deleting
More informationPCMI LECTURE NOTES ON PROPERTY (T ), EXPANDER GRAPHS AND APPROXIMATE GROUPS (PRELIMINARY VERSION)
PCMI LECTURE NOTES ON PROPERTY (T ), EXPANDER GRAPHS AND APPROXIMATE GROUPS (PRELIMINARY VERSION) EMMANUEL BREUILLARD 1. Lecture 1, Spectral gaps for infinite groups and non-amenability The final aim of
More informationFree Probability Theory and Non-crossing Partitions. Roland Speicher Queen s University Kingston, Canada
Free Probability Theory and Non-crossing Partitions Roland Speicher Queen s University Kingston, Canada Freeness Definition [Voiculescu 1985]: Let (A, ϕ) be a non-commutative probability space, i.e. A
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationDefinition and basic properties of heat kernels I, An introduction
Definition and basic properties of heat kernels I, An introduction Zhiqin Lu, Department of Mathematics, UC Irvine, Irvine CA 92697 April 23, 2010 In this lecture, we will answer the following questions:
More informationSpectral Measures, the Spectral Theorem, and Ergodic Theory
Spectral Measures, the Spectral Theorem, and Ergodic Theory Sam Ziegler The spectral theorem for unitary operators The presentation given here largely follows [4]. will refer to the unit circle throughout.
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationBOUNDARY VALUE PROBLEMS IN KREĬN SPACES. Branko Ćurgus Western Washington University, USA
GLASNIK MATEMATIČKI Vol. 35(55(2000, 45 58 BOUNDARY VALUE PROBLEMS IN KREĬN SPACES Branko Ćurgus Western Washington University, USA Dedicated to the memory of Branko Najman. Abstract. Three abstract boundary
More information