Audrey Terras U.C.S.D. 2008 Lecture 2: Ruelle Zeta and Prime Number Theorem for Graphs.

Slides:



Advertisements
Similar presentations
The Function Concept DEFINITION: A function consists of two nonempty sets X and Y and a rule f that associates each element x in X with one.
Advertisements

5.1 Real Vector Spaces.
 Theorem 5.9: Let G be a simple graph with n vertices, where n>2. G has a Hamilton circuit if for any two vertices u and v of G that are not adjacent,
Singularity of a Holomorphic Map Jing Zhang State University of New York, Albany.
Elementary Linear Algebra Anton & Rorres, 9th Edition
Introduction to Graph “theory”
What are primes in graphs and how many of them have a given length? Audrey Terras Math. Club Oct. 30, 2008.
GOLOMB RULERS AND GRACEFUL GRAPHS
Lecture 4. Proof of Ihara’s Theorem, Edge Zetas, Quantum Chaos.
CHAPTER ONE Matrices and System Equations
Math 3121 Abstract Algebra I
Lecture 17 Introduction to Eigenvalue Problems
Fun with Zeta of Graphs Audrey Terras. Thank You ! Joint work with H. Stark, M. Horton, etc.
Random Walks Ben Hescott CS591a1 November 18, 2002.
3.III. Matrix Operations 3.III.1. Sums and Scalar Products 3.III.2. Matrix Multiplication 3.III.3. Mechanics of Matrix Multiplication 3.III.4. Inverses.
Symmetric Groups and Ramanujan Graphs Mike Krebs, Cal State LA (joint work with A. Shaheen)
ENGG2013 Unit 11 Row-Rank Feb,
Chapter 5 Orthogonality
Complexity 5-1 Complexity Andrei Bulatov Complexity of Problems.
Audrey Terras CRM Montreal 2009 Lecture 1: Riemann, Dedekind, Selberg, and Ihara Zetas.
Lecture 3. A Proof of Ihara’s Theorem, Edge & Path Zetas, Connections with Quantum Chaos Audrey Terras Correction to lecture 1 The 4-regular tree T 4 can.
Audrey Terras CRM Montreal, 2009 Lecture 2: Ruelle Zeta and Prime Number Theorem for Graphs.
Expanders Eliyahu Kiperwasser. What is it? Expanders are graphs with no small cuts. The later gives several unique traits to such graph, such as: – High.
What is the Riemann Hypothesis for Zeta Functions of Irregular Graphs? Audrey Terras Banff February, 2008 Joint work with H. M. Stark, M. D. Horton, etc.
Volume and Angle Structures on closed 3-manifolds Feng Luo Rutgers University Oct. 28, 2006 Texas Geometry/Topology conference Rice University.
Elementary Linear Algebra Anton & Rorres, 9 th Edition Lecture Set – 08 Chapter 8: Linear Transformations.
Graphs, relations and matrices
Scientific Computing Matrix Norms, Convergence, and Matrix Condition Numbers.
Orthogonal Matrices and Spectral Representation In Section 4.3 we saw that n  n matrix A was similar to a diagonal matrix if and only if it had n linearly.
1/22/03Tucker, Applied Combinatorics, Section EDGE COUNTING TUCKER, APPLIED COMBINATORICS, SECTION 1.3, GROUP B Michael Duquette & Amanda Dargie.
Fun with Zeta Functions of Graphs Audrey Terras Thanks to the AWM !!!!!!!!!!!!!!!!! from Wikipedia Amalie Emmy Noether.
Preperiodic Points and Unlikely Intersections joint work with Laura DeMarco Matthew Baker Georgia Institute of Technology AMS Southeastern Section Meeting.
What is the Riemann Hypothesis for Zeta Functions of Irregular Graphs? Audrey Terras UCLA, IPAM February, 2008 Joint work with H. M. Stark, M. D. Horton,
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach Wayne Lawton Department of Mathematics National University of Singapore S ,
Piyush Kumar (Lecture 2: PageRank) Welcome to COT5405.
Wei Wang Xi’an Jiaotong University Generalized Spectral Characterization of Graphs: Revisited Shanghai Conference on Algebraic Combinatorics (SCAC), Shanghai,
12-5 Warm Up Lesson Presentation Lesson Quiz
Linear Algebra Chapter 4 Vector Spaces.
1 A fast algorithm for Maximum Subset Matching Noga Alon & Raphael Yuster.
Network Systems Lab. Korea Advanced Institute of Science and Technology No.1 Appendix A. Mathematical Background EE692 Parallel and Distribution Computation.
Chapter 3 Vector Spaces. The operations of addition and scalar multiplication are used in many contexts in mathematics. Regardless of the context, however,
Chap. 6 Linear Transformations
Discrete Math for CS Binary Relation: A binary relation between sets A and B is a subset of the Cartesian Product A x B. If A = B we say that the relation.
Three different ways There are three different ways to show that ρ(A) is a simple eigenvalue of an irreducible nonnegative matrix A:
Number Theory Project The Interpretation of the definition Andre (JianYou) Wang Joint with JingYi Xue.
Computing Eigen Information for Small Matrices The eigen equation can be rearranged as follows: Ax = x  Ax = I n x  Ax - I n x = 0  (A - I n )x = 0.
Lecture #11 Stability of switched system: Arbitrary switching João P. Hespanha University of California at Santa Barbara Hybrid Control and Switched Systems.
Fundamental Theorem of Calculus: Makes a connection between Indefinite Integrals (Antiderivatives) and Definite Integrals (“Area”) Historically, indefinite.
Chapter 2 Nonnegative Matrices. 2-1 Introduction.
2.4 Irreducible Matrices. Reducible is reducible if there is a permutation P such that where A 11 and A 22 are square matrices each of size at least one;
Chapter 3 Determinants Linear Algebra. Ch03_2 3.1 Introduction to Determinants Definition The determinant of a 2  2 matrix A is denoted |A| and is given.
Addressing and hashing Question: For a network of computers it is desirable to be able to send a message from A to B without B knowing that a message is.
Chapter 24 Sturm-Liouville problem Speaker: Lung-Sheng Chien Reference: [1] Veerle Ledoux, Study of Special Algorithms for solving Sturm-Liouville and.
Chap. 4 Vector Spaces 4.1 Vectors in Rn 4.2 Vector Spaces
Positively Expansive Maps and Resolution of Singularities Wayne Lawton Department of Mathematics National University of Singapore
Graphs, Vectors, and Matrices Daniel A. Spielman Yale University AMS Josiah Willard Gibbs Lecture January 6, 2016.
 In the previews parts we have seen some kind of segmentation method.  In this lecture we will see graph cut, which is a another segmentation method.
1 Chapter 8 – Symmetric Matrices and Quadratic Forms Outline 8.1 Symmetric Matrices 8.2Quardratic Forms 8.3Singular ValuesSymmetric MatricesQuardratic.
Network Systems Lab. Korea Advanced Institute of Science and Technology No.1 Maximum Norms & Nonnegative Matrices  Weighted maximum norm e.g.) x1x1 x2x2.
Fundamental Theorem of Calculus: Makes a connection between Indefinite Integrals (Antiderivatives) and Definite Integrals (“Area”) Historically, indefinite.
1 Objective To provide background material in support of topics in Digital Image Processing that are based on matrices and/or vectors. Review Matrices.
Numerical Computation Lecture 6: Linear Systems – part II United International College.
CHAPTER ONE Matrices and System Equations Objective:To provide solvability conditions of a linear equation Ax=b and introduce the Gaussian elimination.
CHAPTER 7 Determinant s. Outline - Permutation - Definition of the Determinant - Properties of Determinants - Evaluation of Determinants by Elementary.
MTH108 Business Math I Lecture 20.
Relations Chapter 9.
Degree and Eigenvector Centrality
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach
Arithmetic Statistics in Function Fields
Linear Algebra Lecture 28.
Presentation transcript:

Audrey Terras U.C.S.D Lecture 2: Ruelle Zeta and Prime Number Theorem for Graphs

Ihara Zeta Function Ihara’s Theorem (Bass, Hashimoto, etc.) A = adjacency matrix of X Q = diagonal matrix jth diagonal entry = degree jth vertex -1; r = rank fundamental group = |E|-|V|+1 primes in X

The Edge Matrix W 1 Define W 1 to be the 2|E|  2|E| matrix with i j entry 1 if edge i feeds into edge j, (end vertex of i is start vertex of j) provided i  opposite of j, otherwise the i j entry is 0. Theorem.  (u,X) -1 =det(I- W 1 u). Corollary. The poles of Ihara zeta are the reciprocals of the eigenvalues of W 1. Recall that R = radius of convergence of Dirichlet series for Ihara zeta. Note: R is closest pole of zeta to 0. The pole R of zeta is: R=1/Perron-Frobenius eigenvalue of W 1. See Horn & Johnson, Matrix Analysis i j

Ruelle Zeta which may also be called Dynamical Systems Zeta or Smale Zeta Reference: D. Ruelle, Dynamical Zeta Functions for Piecewise Monotone Maps of the Interval, CRM Monograph Series, Vol. 4, AMS, 1994 T. Bedford, M. Keane, and C. Series, (Eds), Ergodic Theory, Symbolic Dynamics, and Hyperbolic Spaces

Ruelle’s motivation for his definition came partially from Artin and Mazur, Annals of Math., 81 (1965). They based their zeta on the zeta function of a projective non-singular algebraic variety V of dimension n over a finite field k with q elements. If N m is the number of points of V with coordinates in the degree m extension field of k, the zeta function of V is: N m =|Fix(F m )|, where F is the Frobenius map taking a point with coordinates x i to the point with coordinates (x i ) q.

Weil conjectures, proved by Deligne, say where the P j are polynomials with zeros of absolute value q -j/2. Moreover the P j have a cohomological meaning as det(1-zF*|H j (V)). Artin and Mazur replace the Frobenius of V with a diffeomorphism f of a smooth compact manifold M - defining their zeta function

Ruelle zeta function Suppose M is a compact manifold and f:M  M. Assume the following set finite: Fix(f m )={x  M|f m (x)=x}. 1st type Ruelle zeta is defined for matrix-valued function  :M  C dxd A special case:  =1 I=finite non-empty set (our alphabet). For a graph X, I is the set of directed edges. The transition matrix t is a matrix of 0’s and 1’s with indices in I. In the case of a graph X, t is the 0,1 edge matrix W 1 defined earlier, which has i,j entry 1 if edge i feeds into edge j (meaning that terminal vertex of I is the initial vertex of j) provided edge i is not the inverse of edge j.

Note: I Z is compact and so is the closed subset In the graph case  corresponds to a path without backtracking. A continuous function  :  such that  (  ) k =  k+1 is called a subshift of finite type. Prop. 1. (Bowen & Lanford). The Ihara zeta is the reciprocal of a polynomial:

Proof. By the first exercise below, we have the first equality in the theorem. Then |Fix(  m )|=Tr(t m ). This implies using the 2nd exercise:  (z)=exp(Tr(-log(1-zt)))=det(I-zt )-1. Exercise A. Show that in the graph case, |Fix(  m )|=the number of length m closed paths without backtracking or tails in the graph X with t=W 1, from our previous discussion of graphs. Exercise B. Show that exp(TrA)=det(expA) for any matrix A. Hint: Use the fact that there is a non-singular matrix B such that BAB -1 =T is upper triangular.

Theorem. (Graph prime number theorem) If the graph is connected and m divides ,  (m) = #{prime paths of length m} ~  R -m /m, as m   Proof. Define R as the radius of convergence of the Ihara zeta. It is also the closest pole to 0. For a (q+1)-regular graph, R=1/q. Define  as the g.c.d. of the prime lengths.

If N m =# {closed paths C,length m,no backtrack,no tails} we have Then  (u,X) -1 =det(I-W 1 u) implies The dominant terms in this sum are those coming from the eigenvalues of W 1 with | |=1/R.

By this theorem, The sum is 0 unless m divides , when it is  R -m. Theorem. (Kotani and Sunada using Perron- Frobenius Thm.) The poles of  on |u|=R have the form Re 2πia/ , where a=1,2,...., .

Möbius inversion implies Next we need a formula to relate N and  This implies Note that  (1)=0 so that when m is prime p, we have N p =  (p). Thus the prime number theorem follows. Exercise. Fill in the details in this proof. 

Tetrahedron example = 24x x x x x x x x x x x x x 16  8 prime paths of length 3 on the tetrahedron. Check it! We count 4 plus their inverses to get 8.  6 paths of length 4. We agree.  0 paths of length 5  16 paths of length 6. That is harder to check. Question: 528 is not divisible by 9. Shouldn't it be? Answer: You only know m divides N m when m is prime.

Exercises 1.List all the zeta functions you can and what they are good for. There is a website that claims to list lots of them: 2.Compute Ihara zeta functions for the cube, dodecahedron, buckyball, your favorite graph. Mathematica should help. 3.Do the basic graph theory exercise 14 on page 24 of the manuscript on my website: Show that the radius of convergence of the Ihara zeta of a (q+1)-regular graph is R=1/q. Explain why the closest pole of zeta to the origin is at R. 5.Prove the functional equations of Ihara zeta for a regular graph. See p. 25 of my manuscript. 6.Look up the paper of Kotani and Sunada and figure out their proof. You need the Perron – Frobenius theorem from linear algebra. [Zeta functions of graphs, J. Math. Soc. Univ. Tokyo, 7 (2000)].

6. Fill in the details in the proof of the graph theory prime number theorem. 7. Prove the prime number theorem for a (q+1)-regular graph using Ihara’s theorem with its 3-term determinant rather than the 1/det(I-uW 1 ) formula. 8. Exercise 16 on page 28 of my manuscript. This is a Mathematica exercise to plot poles of Ihara zetas. 9. Show that in the graph case, |Fix(  m )|=the number of length m closed paths without backtracking or tails in the graph X with t=W 1, from our previous discussion of graphs. 10. Show that exp(TrA)=det(expA) for any matrix A. Hint: Use the fact that there is a non-singular matrix B such that BAB -1 =T is upper triangular.