FORMULAE FOR ZETA FUNCTIONS FOR INFINITE GRAPHS. Mark Pollicott University of Warwick
|
|
- Timothy Smith
- 5 years ago
- Views:
Transcription
1 FORMULAE FOR ZETA FUNCTIONS FOR INFINITE GRAPHS Mark Pollicott University of Warwick 0. Introduction Given a connected finite d-regular graph G (for d 3) one can associate the Ihara zeta function G (z), a complex function defined in terms of closed cycles in the graph. It transpires that G (z) is the reciprocal of a polynomial, whose explicit form was given by Ihara [Ihara] (cf. also Bass [Bass] and [KS] for generalisations). For an interesting example of such a graph, consider the group PGL(, Q p )which has a natural action on a (p + )-regular tree T. If <PGL(, Q p ) is a torsion free discrete subgroup (necessarily isomorphic to a free group) then the quotient G = T / isa(p + )-regular tree. Consider next an infinite graph G, which is either the Cayley graph of an infinite group or associated to a sequence of d-regular graphs {G n } which converge (in a suitable sense) to the infinite graph. Following Grigorchuk and Zuk [GZ] we can then associate to G the logarithm of its zeta function log G (z) either by using an integral with respect to the spectral measure or by taking suitable limits of the functions log G (z). In particular, log G (z) has a formal power series which converges to an analytic function in the region z < d. The approach for infinite graphs was further studied by Guido-Isola-Lapidus, [GIL] and Clair-Mokhtan-Sharghi [CMS] using Fudge-Kadison determinants and traces on von Neumann algebras. The purpose of this note it to consider new expressions for the zeta functions which naturally lead to the analytic extensions of log G (z) as new explicit convergent series, which is particularly useful in numerical evaluation of the zeta function in the region of its analytic extension. In the case that the associated spectra measure is a Gibbs measure, there is an approach using classical Fredholm-Grothendieck determinants for transfer operators. In some other cases, the transfer operator can be applied directly. In either case, this viewpoint has significant advantages. Firstly, it gives an explicit convergent expression for log G (z) within its domain of analyticity. Secondly, it leads to a simple approach to numerical computation of log G (z) within the domain of analyticity.. Zeta functions for graphs In this section we begin by recalling the properties of the Ihara zeta function for finite d-regular graphs and their extension to suitable infinite graphs.. Ihara zeta function. Let d 3. Given a finite d-regular graph G (with vertices V) we first define the zeta function. Typeset by AMS-TEX
2 MARK POLLICOTT Definition. We can define the Ihara zeta function as! X c k z k G (z) =exp k where c n = Card {closed loops of length n}, which converges for z < d. It is possible to say quite a lot about the analytic extension of the zeta function. We first denote by M the the V V adjacency matrix defined by if v, v are adjacent M(v, v 0 )= 0 otherwise. k= The zeta function G (z) has the following properties. Theorem (Ihara). For a d-regular graph G: () the Ihara zeta function has a closed form given by G (z) =( z ) V (d )/ det(( + (d )z )I zm); () the zeros of / G (z) lie on the following union of a circle and two intervals: apple apple X = z C : z = [, [ (d ) / (d ) (d ),.. The Laplacian. Given any finite d-regular graph G =(V, E) we can associate the Laplacian G : L (V, R)! L (V, R) definedby Gh(v) = d X h(v 0 ) where v V and v v 0 denotes a neighbouring vertex. The operator is self adjoint and thus the spectrum lies in the the interval [, ]. As for any self-adjoint operator, one can write G = R de( ), where E is a spectral measure taking values in projections on L (V, R). For any v Vwe can associate the spectral measure µ(b) =he(b) v, vi on Borel sets B (which is independent of the choice of vertex v). Equivalently, consider the measure µ = spec( G) v 0 v X spec( G) supported on the finite set of eigenvalues in the spectrum of G. We can then write log G (z) = Z d log( z ) log( zdx +(d )z )dµ(x) where µ is the spectral measure associated to G. We could have defined P v 0 v (h(v) h(v0 )), giving a closer analogy with the laplacian on manifolds. However, the present normalization is more convenient for taking limits of measures
3 FORMULAE FOR ZETA FUNCTIONS FOR INFINITE GRAPHS 3.3 Infinite graphs. For definiteness, consider the particular case of taking limits of graphs and associating a zeta function. Let G n be a finite family of graphs and let µ n be the associated measures. In this context, there are two natural ways to approach this, which can be shown to be equivalent using the following result. Proposition. (Serre ([Serre], cf. [GZ, Theorem 4.]). The convergence of µ n! µ in the weak star topology is equivalent to the formal power series log Gn (z) = X k= c (n) k zk k converging termwise to a limit, i.e., c k =lim n!+ c (n) k exists for each k. When convergence in either of these equivalent senses holds then we can define the zeta function for the limiting graph G by: log G (z) := lim n!+ V n log G n (z). The uniqueness of the definition in the connected component V 0 of C X follows from the uniqueness of the analytic extension. Furthermore, given the explicit form of the Ihara zeta function for finite graphs (in Part (i) of Ihara s theorem) we have the following: Proposition.3 (Grigochuk-Zuk) [GZ, Theorem 5.]. When the limit of log Gn (z) exists it takes the form log G (z) := d log( z ) Z log( zdx +(d )z )dµ (x) (.) where µ is the weak star limit of the associated spectral measures µ n. In particular, the expression for log G (z) converges to an analytic function on z < d and has an analytic extension to V 0. More generally, for the Cayley graph associated to an infinite graph we can associate the logarithm of the zeta function log (z) by using the definition (.) where µ is taken to be the Kesten spectral measure for the random walk.. Gibbs measures and integrals. Gibbs measures. In order to calculate the analytic extension of log G (z) using (.) we need to address the same problem for the integral. We can consider a more general problem. Assume that we have a piecewise real analytic expanding map T : X! X for a cube X R d, say, and a real analytic function g : X! R (which has an analytic extension to a the neighbourhood U, say). Definition. The T -invariant Gibbs measure µ associated to g is the unique T - invariant measure on [, ] which realises the supremum in Z P (g) =sup{h(m)+ gdm : m = T -invariant probability}. Consider the pressure function t 7! P (t log(f(z, )) + g( )) where z V 0. The following lemma is now standard
4 4 MARK POLLICOTT Lemma. (Ruelle). Assume that P (g) =0.Themapt7! P (t log(f(z, ))+g( )) is analytic in a neighbourhood of t =0. Moreover, we can write Z P (t log(f(z, )) + g( )) t=0. (.) X.. Gibbs measures and transfer operators. We can consider the contracting local inverses T i : X! X (i =,,k) and the linear operator L : B! B defined on the Banach space B of bounded analytic functions w : U! C (with the supremum nom k k )by Lw(x) = kx e g(tix) w(t i x). i= We then have the following useful theorem on the spectrum of the operator [Ruelle]. Lemma. (Ruelle). The operator L : B! B is compact. In particular, for any 0 < < on can associate: () a positive eigenfunction h B and eigenmeasure B ;and () a finite rank operator Q : B! B with (Q) <, such that for w B. L n w = e np (g) Z wd h + Q n (g)+o( n ). In the particular case that L =we see that h =and = µ is the Gibbs measure associated to g..3. Gibbs measures and determinants. We can use the following result to give another expression for (.) Lemma.3. () The function where, for n d(w, z, t) =exp, we write Z n (t log f(z, )+g( )) = X n= X T n x=x! w n n Z n(t log f(z, )+g( )) (.) exp((t log(f(z, )) + g( )) n (x)) det(i D(T n )(x), (.3) ) is analytic w C, z V 0 and t is su ciently small. Furthermore, we can write X d(w, z, t) =+ a n (z,t)w n where a n = O( n ) for some 0 < <; () Given w, t the value e P (t log f(z, )+g( )) is a simple zero for d(z,w,t); (3) We can write n= Z log(f(z,x))dµ(x) P t=0 z=e P (g). (.4)
5 FORMULAE FOR ZETA FUNCTIONS FOR INFINITE GRAPHS 5 Proof of Lemma.3. Part () and Part () are a direct application of the work of Ruelle, after Grothendieck. For Part (3) we observe that d(z,e P (t log f(z, )+g( )),t)= 0, thus we can use Lemma. and the Implicit Function Theorem to derive (.4). Remark. The operator L in. is actually of trace class and the complex function in (.) corresponds to the determinant of L. 3. Two Theorems We can now state two theorems which can often be used to provide analytic extensions of the logarithm of the zeta function. They are both rather technical, but in the next section we shall apply them to some interesting example. 3.. The first theorem. We begin with the following hypothesis which applies in many examples. Hypothesis I. Assume that there is a Gibbs measure µ, such that log G (z) = d Z log( z ) f(z,x)dµ(z) where f(x, ) :[, ]! R are real analytic (with an analytic extension to a common open neighbourhood U [, ]). This brings us to our main result: Theorem. Under the above hypothesis, for any z V 0 we can write log G (z) = d X log( z ) d k (z) (3.) where: () d k (z) are explicit polynomials in {log f(z,x) : T l x = x, apple l apple k}; and () d k (z) = O( n ). Proof. Using (.4) we can write where Z For w su P,t) @w w=e P = t=0 z=e P X k= = X k= k (z,t) t=0 e kp P k= ka (3.) k(z,0)e (k k (z,t) t=0 e kp X ka k (z,0)e (k )P. k= ciently small we can also expand d(w, z, t) =+ =+ X k= X N= k! w N X w n n Z n(t log f(z, )+g( )) n=! X Z n Z nk k! n n k n + +n k =N {z } =a N! k (3.3)
6 6 MARK POLLICOTT One sees from the definition of Z n that it depends only on the values of the functions at {x : T n x = x}, and thus by (3.3) that a n (z,t) depends only on the values of the functions at [ n l= {x : T l x = x}. On the other hand, when t =0then d(w, z, 0), and e P is clearly independent of log f(z, ). Thus the expression (3.0) follows with d k (z) k a k t=0. e P and part () follows from (3.). It is easy (using Cauchy s theorem) that since a n O(e ck ), for suitable c>0, we can (z,t) t=0 = O(e c0 k ) and ka k (z,0) = O(e c0 k ), for any c>c 0 > 0. This proves part (). A simple special case. In several examples µ can be taken merely to be the normalised Lebesgue measure on [, ] then we can let T :[, ]! [, ] be the doubling map 8 >< x if apple x apple T (x) = x if >: apple x apple x + if apple x apple and g = log. Then we can write 0 Z n = X nx n log f(z,t j x) A. T n x=x We can then construct d(w, z, t) from the definition and the integral by (3.). j=0 R log(f(z,x))dx 3.. The second theorem. We now consider a di erent hypothesis which applies in some other examples. Hypothesis II. Assume that we can find a suitable choice of transfer operator and write X log G (z) = log( z ) L n f(z, )(x 0 ) (3.4) where f(x, ) :[, ]! R are real analytic (with an analytic extension to a common open neighbourhood U [, ]) and x 0 [, ]. This brings us to our second theorem: Theorem. Under the above hypothesis, for any z V 0 we can write the analytic extension in the form n=0 log G (z) = log( z ) (I L) f(z, )(x 0 ) Proof. This is a direct application of the spectral properties of L in Lemma.. Remark. Theorem 3. is appears slightly more complicated to implement, but has the advantage that it gives a method for explicitly constructing the analytic extension whenever it exists. Theorem 3. is easier to use, when applicable, but the size of the extension depends on the size of the second eigenvalue of the operator L.
7 FORMULAE FOR ZETA FUNCTIONS FOR INFINITE GRAPHS 7 4. Examples Example (Cayley graph of Z ). The Cayley graphs G of Z (or the free groups F m ) satisfy G (z) =[GZ, 6]. For k = the Cayley graph of Z k the zeta function is given by log G (z) = log( z ) Z Z dx dx (4.) log(f(z,x + x )) p p x x where f(z,x) = 4zx +3z. However, we can simply change variables in (4.) using x =sin y and x =sin y to write the integral in (4.) as Z 4 Z log 4z sin y +sin y +3z dy dy. Since integral is with respect to normalised Lebesgue measure on [ special case of a Gibbs measure, we can apply Theorem 3., ] which is a Figure. The absolute value of the integral term of log G (z) Example (Fabikovski-Gupta). Following [GZ], Corollary 0., we can write the zeta function for for the Fabikowski-Gupta (described in [BG]) takes the form: log G (z) = log( z ) 3 log( z 3z ) r X q log z ± 6 ± ± ± p!! 6 3 n+ n=
8 8 MARK POLLICOTT In particular, the last two terms can be written as (I L) f(z, ) () where f(z,x) = log( zx +3z ) and Lw(x) = 3 w(t z)+ 3 w(t z) where T (x) = p x + 5 and T (x) =+ p x + 5. Figure. The absolute value of the integral term of log G (z) inexample. Example 3 (cf. [GZ], Proposition 9.4).Grigorchuk and Zuk consider an example of a graph G with d = 8 associated to an automatic group for which the zeta function satisfies log G (z) = 3 log( z ) Z dx log(f (z,x)) p x where F (z,x) = 4z z 8z + 49z 4 + 6z x. We can write x =sin y then dx dy = y cos. This converges for z < 7 and has an analytic extension to V 0. Thus we want to evaluate Z log(f (z,sin y ))dy We can let z = 0 and we have the following approximations I n to the value of the integral:
9 FORMULAE FOR ZETA FUNCTIONS FOR INFINITE GRAPHS 9 Figure 3. The absolute value of the integral term of log G (z) inexample 3. n I n Table. Values of p(c) References [BG] [Bass] [CM] [GZ] [GIL] L. Bartholdi and R. Grigorchuk, ON the spectrum of Hecke type operators related to some fractal groups, Tr.Mat.Inst.Steklova3 (000), D. Guido, T. Isola, and M. Lapidus,, Ihara s zeta function for periodic graphs and its approximation in the amenable case, J.Funct.Anal.55 (008), B. Clair and S. Mokhtari-Sharghi,, Convergence of zeta functions of graphs., Proc.Amer. Math. Soc. 30 (00), R. Grigorchuk and A. Zuk, The Ihara zeta function and spectral measure for infinite graphs, the KNS spectral measure and integrable maps,, Randomwalksandgeometry,, Walter de Gruyter GmbH Co. KG,, Berlin, 004., pp D. Guido, T. Isola, and M. Lapidus, Ihara s zeta function for periodic graphs and its approximation in the amenable case, J. Funct. Anal. 55 (008),
10 0 MARK POLLICOTT [Ihara] Y. Ihara, On discrete subgroups of the two by two projective linear group over p-adic fields., J.Math.Soc.Japan.8 (966), [KS] M. Kotani and T. Sunada, Zeta functions of finite graphs, J.Math.Sci.Univ.Tokyo7 (000), 7-5. [Serre J.-P. Répartition Serre] asymptotique des valeurs propres de l opérateur de Hecke T p,j.amer.math. Soc. 0 (997), Mark Pollicott, Department of Mathematics, University of Warwick, Coventry CV4 7AL address: M.Pollicott@warwick.ac.uk
CONVERGENCE OF ZETA FUNCTIONS OF GRAPHS. Introduction
CONVERGENCE OF ZETA FUNCTIONS OF GRAPHS BRYAN CLAIR AND SHAHRIAR MOKHTARI-SHARGHI Abstract. The L 2 -zeta function of an infinite graph Y (defined previously in a ball around zero) has an analytic extension.
More information13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map
3. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Rotations of a torus, the doubling map In this lecture we give two methods by which one can show that a given
More informationON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES
ON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES S.K. ROUSHON Abstract. We study the Fibered Isomorphism conjecture of Farrell and Jones for groups acting on trees. We show that under certain conditions
More informationCounting geodesic arcs in a fixed conjugacy class on negatively curved surfaces with boundary
Counting geodesic arcs in a fixed conjugacy class on negatively curved surfaces with boundary Mark Pollicott Abstract We show how to derive an asymptotic estimates for the number of closed arcs γ on a
More informationZeta functions in Number Theory and Combinatorics
Zeta functions in Number Theory and Combinatorics Winnie Li Pennsylvania State University, U.S.A. and National Center for Theoretical Sciences, Taiwan 1 1. Riemann zeta function The Riemann zeta function
More informationEntropy for zero-temperature limits of Gibbs-equilibrium states for countable-alphabet subshifts of finite type
Entropy for zero-temperature limits of Gibbs-equilibrium states for countable-alphabet subshifts of finite type I. D. Morris August 22, 2006 Abstract Let Σ A be a finitely primitive subshift of finite
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 informationThe Ihara zeta function of the infinite grid
The Ihara zeta function of the infinite grid Bryan Clair Department of Mathematics and Computer Science Saint Louis University bryan@slu.edu November 3, 2013 An Integral I(k) = 1 2π 2π (2π) 2 log [ 1 k
More informationOn Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem
On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem Carlos A. De la Cruz Mengual Geometric Group Theory Seminar, HS 2013, ETH Zürich 13.11.2013 1 Towards the statement of Gromov
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 informationZeta functions of buildings and Shimura varieties
Zeta functions of buildings and Shimura varieties Jerome William Hoffman January 6, 2008 0-0 Outline 1. Modular curves and graphs. 2. An example: X 0 (37). 3. Zeta functions for buildings? 4. Coxeter systems.
More informationOn the asymptotic spectrum of random walks on infinite families of graphs
On the asymptotic spectrum of random walks on infinite families of graphs Rostislav I. Grigorchuk Steklov Mathematical Institute Vavilova Str. 42 Moscow, 117966, Russia E-mail: grigorch@alesia.ips.ras.ru
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 informationOn combinatorial zeta functions
On combinatorial zeta functions Christian Kassel Institut de Recherche Mathématique Avancée CNRS - Université de Strasbourg Strasbourg, France Colloquium Potsdam 13 May 2015 Generating functions To a sequence
More informationRandom Walks on Hyperbolic Groups IV
Random Walks on Hyperbolic Groups IV Steve Lalley University of Chicago January 2014 Automatic Structure Thermodynamic Formalism Local Limit Theorem Final Challenge: Excursions I. Automatic Structure of
More informationRandom weak limits of self-similar Schreier graphs. Tatiana Nagnibeda
Random weak limits of self-similar Schreier graphs Tatiana Nagnibeda University of Geneva Swiss National Science Foundation Goa, India, August 12, 2010 A problem about invariant measures Suppose G is a
More informationx #{ p=prime p x }, as x logx
1 The Riemann zeta function for Re(s) > 1 ζ s -s ( ) -1 2 duality between primes & complex zeros of zeta using Hadamard product over zeros prime number theorem x #{ p=prime p x }, as x logx statistics
More informationPicard s Existence and Uniqueness Theorem
Picard s Existence and Uniqueness Theorem Denise Gutermuth 1 These notes on the proof of Picard s Theorem follow the text Fundamentals of Differential Equations and Boundary Value Problems, 3rd edition,
More informationNotes on uniform convergence
Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean
More informationLecture 2: Ruelle Zeta and Prime Number Theorem for Graphs
Lecture 2: Ruelle Zeta and Prie Nuber Theore for Graphs Audrey Terras CRM Montreal, 2009 EXAMPLES of Pries in a Graph [C] =[e e 2 e 3 ] e 3 e 2 [D]=[e 4 e 5 e 3 ] e 5 [E]=[e e 2 e 3 e 4 e 5 e 3 ] e 4 ν(c)=3,
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationINVARIANT DISTRIBUTIONS ON PROJECTIVE SPACES OVER LOCAL FIELDS
INVARIANT DISTRIBUTIONS ON PROJECTIVE SPACES OVER LOCAL FIELDS GUYAN ROBERTSON Abstract Let Γ be an Ãn subgroup of PGL n+1(k), with n 2, where K is a local field with residue field of order q and let P
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 informationOn spectra of Koopman, groupoid and quasi-regular representations
On spectra of Koopman, groupoid and quasi-regular representations Artem Dudko Stony Brook University Group Theory International Webinar March 17, 2016 Preliminaries Throughout the talk G is a countable
More informationHeat kernels on regular graphs and generalized Ihara zeta function formulas
Heat kernels on regular graphs and generalized Ihara zeta function formulas G. Chinta, J. Jorgenson, and A. Karlsson Abstract We establish a new formula for the heat kernel on regular trees in terms of
More informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More informationSpectral Continuity Properties of Graph Laplacians
Spectral Continuity Properties of Graph Laplacians David Jekel May 24, 2017 Overview Spectral invariants of the graph Laplacian depend continuously on the graph. We consider triples (G, x, T ), where G
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 information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationA n (T )f = 1 n 1. T i f. i=0
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Volumen 46, Número 1, 2005, Páginas 47 51 A NOTE ON THE L 1 -MEAN ERGODIC THEOREM Abstract. Let T be a positive contraction on L 1 of a σ-finite measure space.
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
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 informationA note on a construction of J. F. Feinstein
STUDIA MATHEMATICA 169 (1) (2005) A note on a construction of J. F. Feinstein by M. J. Heath (Nottingham) Abstract. In [6] J. F. Feinstein constructed a compact plane set X such that R(X), the uniform
More information2.2 Annihilators, complemented subspaces
34CHAPTER 2. WEAK TOPOLOGIES, REFLEXIVITY, ADJOINT OPERATORS 2.2 Annihilators, complemented subspaces Definition 2.2.1. [Annihilators, Pre-Annihilators] Assume X is a Banach space. Let M X and N X. We
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More information13 Maximum Modulus Principle
3 Maximum Modulus Principle Theorem 3. (maximum modulus principle). If f is non-constant and analytic on an open connected set Ω, then there is no point z 0 Ω such that f(z) f(z 0 ) for all z Ω. Remark
More informationL p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by
L p Functions Given a measure space (, µ) and a real number p [, ), recall that the L p -norm of a measurable function f : R is defined by f p = ( ) /p f p dµ Note that the L p -norm of a function f may
More informationA Nonlinear Transfer Operator Theorem
J Stat Phys 207) 66:56 524 DOI 0.007/s0955-06-646- A Nonlinear Transfer Operator Theorem Mark Pollicott Received: 22 June 206 / Accepted: 8 October 206 / Published online: 9 November 206 The Authors) 206.
More information4. Ergodicity and mixing
4. Ergodicity and mixing 4. Introduction In the previous lecture we defined what is meant by an invariant measure. In this lecture, we define what is meant by an ergodic measure. The primary motivation
More informationAnalysis and geometry on groups
Analysis and geometry on groups Andrzej Zuk Paris Contents 1 Introduction 1 2 Amenability 2 2.1 Amenable groups............................. 2 2.2 Automata groups............................. 5 2.3 Random
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 informationShort note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique
Short note on compact operators - Monday 24 th March, 2014 Sylvester Eriksson-Bique 1 Introduction In this note I will give a short outline about the structure theory of compact operators. I restrict attention
More informationLecture 1: Riemann, Dedekind, Selberg, and Ihara Zetas
Lecture 1: Riemann, Dedekind, Selberg, and Ihara Zetas Audrey Terras U.C.S.D. 2008 more details can be found in my webpage: www.math.ucsd.edu /~aterras/ newbook.pdf First the Riemann Zeta 1 The Riemann
More informationFACTORS OF GIBBS MEASURES FOR FULL SHIFTS
FACTORS OF GIBBS MEASURES FOR FULL SHIFTS M. POLLICOTT AND T. KEMPTON Abstract. We study the images of Gibbs measures under one block factor maps on full shifts, and the changes in the variations of the
More information= F (b) F (a) F (x i ) F (x i+1 ). a x 0 x 1 x n b i
Real Analysis Problem 1. If F : R R is a monotone function, show that F T V ([a,b]) = F (b) F (a) for any interval [a, b], and that F has bounded variation on R if and only if it is bounded. Here F T V
More informationMcGill University Department of Mathematics and Statistics. Ph.D. preliminary examination, PART A. PURE AND APPLIED MATHEMATICS Paper BETA
McGill University Department of Mathematics and Statistics Ph.D. preliminary examination, PART A PURE AND APPLIED MATHEMATICS Paper BETA 17 August, 2018 1:00 p.m. - 5:00 p.m. INSTRUCTIONS: (i) This paper
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More information7. Homotopy and the Fundamental Group
7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have
More informationarxiv: v1 [math.oa] 6 Mar 2013
arxiv:303.39v [math.oa] 6 Mar 03 Zeta functions for infinite graphs and functional equations Daniele Guido, Tommaso Isola Abstract. The definitions and main properties of the Ihara and Bartholdi zeta functions
More informationTHE THERMODYNAMIC FORMALISM APPROACH TO SELBERG'S ZETA FUNCTION FOR PSL(2, Z)
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 25, Number 1, July 1991 THE THERMODYNAMIC FORMALISM APPROACH TO SELBERG'S ZETA FUNCTION FOR PSL(2, Z) DIETER H. MAYER I. INTRODUCTION Besides
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationMATH DIFFERENTIAL GEOMETRY. Contents
MATH 3968 - DIFFERENTIAL GEOMETRY ANDREW TULLOCH Contents 1. Curves in R N 2 2. General Analysis 2 3. Surfaces in R 3 3 3.1. The Gauss Bonnet Theorem 8 4. Abstract Manifolds 9 1 MATH 3968 - DIFFERENTIAL
More informationSpectra of adjacency matrices of random geometric graphs
Spectra of adjacency matrices of random geometric graphs Paul Blackwell, Mark Edmondson-Jones and Jonathan Jordan University of Sheffield 22nd December 2006 Abstract We investigate the spectral properties
More information11 COMPLEX ANALYSIS IN C. 1.1 Holomorphic Functions
11 COMPLEX ANALYSIS IN C 1.1 Holomorphic Functions A domain Ω in the complex plane C is a connected, open subset of C. Let z o Ω and f a map f : Ω C. We say that f is real differentiable at z o if there
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 informationDefinition 6.1. A metric space (X, d) is complete if every Cauchy sequence tends to a limit in X.
Chapter 6 Completeness Lecture 18 Recall from Definition 2.22 that a Cauchy sequence in (X, d) is a sequence whose terms get closer and closer together, without any limit being specified. In the Euclidean
More informationINTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES
INTEGRATION WORKSHOP 23 COMPLEX ANALYSIS EXERCISES DOUGLAS ULMER 1. Meromorphic functions on the Riemann sphere It s often useful to allow functions to take the value. This exercise outlines one way to
More informationNetworks and Matrices
Bowen-Lanford Zeta function, Math table talk Oliver Knill, 10/18/2016 Networks and Matrices Assume you have three friends who do not know each other. This defines a network containing 4 nodes in which
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationMORE NOTES FOR MATH 823, FALL 2007
MORE NOTES FOR MATH 83, FALL 007 Prop 1.1 Prop 1. Lemma 1.3 1. The Siegel upper half space 1.1. The Siegel upper half space and its Bergman kernel. The Siegel upper half space is the domain { U n+1 z C
More informationTHE ALTERNATIVE DUNFORD-PETTIS PROPERTY FOR SUBSPACES OF THE COMPACT OPERATORS
THE ALTERNATIVE DUNFORD-PETTIS PROPERTY FOR SUBSPACES OF THE COMPACT OPERATORS MARÍA D. ACOSTA AND ANTONIO M. PERALTA Abstract. A Banach space X has the alternative Dunford-Pettis property if for every
More informationPart 3.3 Differentiation Taylor Polynomials
Part 3.3 Differentiation 3..3.1 Taylor Polynomials Definition 3.3.1 Taylor 1715 and Maclaurin 1742) If a is a fixed number, and f is a function whose first n derivatives exist at a then the Taylor polynomial
More informationThompson s group. Yael Algom Kfir. February 5, 2006
Thompson s group Yael Algom Kfir February 5, 006 In these notes, we follow Introductory notes on Richard Thompson s groups by J. W. Cannon, W. J. Floyd and W. R. Parry published in L Enseignement Mathématique,
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More informationA Characterization of Distance-Regular Graphs with Diameter Three
Journal of Algebraic Combinatorics 6 (1997), 299 303 c 1997 Kluwer Academic Publishers. Manufactured in The Netherlands. A Characterization of Distance-Regular Graphs with Diameter Three EDWIN R. VAN DAM
More informationThe secondary Novikov-Shubin invariants of groups and quasi-isometry
The secondary Novikov-Shubin invariants of groups and quasi-isometry SHIN-ICHI OGUNI 2005.. 6 Abstract We define new L 2 -invariants which we call the secondary Novikov-Shubin invariants. We calculate
More informationLECTURE 4. PROOF OF IHARA S THEOREM, EDGE CHAOS. Ihara Zeta Function. ν(c) ζ(u,x) =(1-u ) det(i-au+qu t(ia )
LCTUR 4. PROOF OF IHARA S THORM, DG ZTAS, QUANTUM CHAOS Ihara Zeta Function ν(c) ( ) - ζ(u,x)= -u [C] prime ν(c) = # edges in C converges for u complex, u small Ihara s Theorem. - 2 r- 2 ζ(u,x) =(-u )
More informationEntropy production for a class of inverse SRB measures
Entropy production for a class of inverse SRB measures Eugen Mihailescu and Mariusz Urbański Keywords: Inverse SRB measures, folded repellers, Anosov endomorphisms, entropy production. Abstract We study
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 informationZeta Functions of Graph Coverings
Journal of Combinatorial Theory, Series B 80, 247257 (2000) doi:10.1006jctb.2000.1983, available online at http:www.idealibrary.com on Zeta Functions of Graph Coverings Hirobumi Mizuno Department of Electronics
More informationAMENABLE ACTIONS AND ALMOST INVARIANT SETS
AMENABLE ACTIONS AND ALMOST INVARIANT SETS ALEXANDER S. KECHRIS AND TODOR TSANKOV Abstract. In this paper, we study the connections between properties of the action of a countable group Γ on a countable
More informationMAT 544 Problem Set 2 Solutions
MAT 544 Problem Set 2 Solutions Problems. Problem 1 A metric space is separable if it contains a dense subset which is finite or countably infinite. Prove that every totally bounded metric space X is separable.
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 informationTranscendental L 2 -Betti numbers Atiyah s question
Transcendental L 2 -Betti numbers Atiyah s question Thomas Schick Göttingen OA Chennai 2010 Thomas Schick (Göttingen) Transcendental L 2 -Betti numbers Atiyah s question OA Chennai 2010 1 / 24 Analytic
More informationRIEMANN S INEQUALITY AND RIEMANN-ROCH
RIEMANN S INEQUALITY AND RIEMANN-ROCH DONU ARAPURA Fix a compact connected Riemann surface X of genus g. Riemann s inequality gives a sufficient condition to construct meromorphic functions with prescribed
More informationFormal Groups. Niki Myrto Mavraki
Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal
More information3 hours UNIVERSITY OF MANCHESTER. 22nd May and. Electronic calculators may be used, provided that they cannot store text.
3 hours MATH40512 UNIVERSITY OF MANCHESTER DYNAMICAL SYSTEMS AND ERGODIC THEORY 22nd May 2007 9.45 12.45 Answer ALL four questions in SECTION A (40 marks in total) and THREE of the four questions in SECTION
More information2.4 Annihilators, Complemented Subspaces
40 CHAPTER 2. WEAK TOPOLOGIES AND REFLEXIVITY 2.4 Annihilators, Complemented Subspaces Definition 2.4.1. (Annihilators, Pre-Annihilators) Assume X is a Banach space. Let M X and N X. We call the annihilator
More informationINVARIANT MEASURES FOR REAL ANALYTIC EXPANDING MAPS
Submitted exclusively to the London Mathematical Society doi:10.1112/s0000000000000000 INVARIANT MEASURES FOR REAL ANALYTIC EXPANDING MAPS OSCAR BANDTLOW AND OLIVER JENKINSON Abstract Let X be a compact
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 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 informationSpectra of Semidirect Products of Cyclic Groups
Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with
More informationERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES. 0. Introduction
Acta Math. Univ. Comenianae Vol. LXXI, 2(2002), pp. 201 210 201 ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES G. R. GOODSON Abstract. We investigate the question of when an ergodic automorphism
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationON EXPONENTIAL GROWTH RATES FOR FREE GROUPS
Publicacions Matemàtiques, Vol 42 (1998), 499 507. ON EXPONENTIAL GROWTH RATES FOR FREE GROUPS Malik Koubi Abstract Let F p be a free group of rank p 2. It is well-known that, with respect to a p-element
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 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 informationHilbert Spaces. Contents
Hilbert Spaces Contents 1 Introducing Hilbert Spaces 1 1.1 Basic definitions........................... 1 1.2 Results about norms and inner products.............. 3 1.3 Banach and Hilbert spaces......................
More informationARTICLE IN PRESS. JID:YJFAN AID:5356 /FLA [m1+; v 1.95; Prn:30/07/2008; 22:22] P.1 (1-23) Journal of Functional Analysis ( )
JID:YJFAN AID:5356 /FLA [m+; v.95; Prn:30/07/2008; 22:22] P.-23 Journal of Functional Analysis www.elsevier.com/locate/jfa Ihara s zeta function for periodic graphs and its approximation in the amenable
More informationRamanujan Graphs, Ramanujan Complexes and Zeta Functions. Emerging Applications of Finite Fields Linz, Dec. 13, 2013
Ramanujan Graphs, Ramanujan Complexes and Zeta Functions Emerging Applications of Finite Fields Linz, Dec. 13, 2013 Winnie Li Pennsylvania State University, U.S.A. and National Center for Theoretical Sciences,
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationThe Heine-Borel and Arzela-Ascoli Theorems
The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More information1 Review of di erential calculus
Review of di erential calculus This chapter presents the main elements of di erential calculus needed in probability theory. Often, students taking a course on probability theory have problems with concepts
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More information