Lecturer: Naoki Saito Scribe: Ashley Evans/Allen Xue. May 31, Graph Laplacians and Derivatives

Similar documents
Spectra of Adjacency and Laplacian Matrices

Eigenvalues of graphs

On Brooks Coloring Theorem

Spectral Graph Theory and its Applications

U.C. Berkeley Better-than-Worst-Case Analysis Handout 3 Luca Trevisan May 24, 2018

Eigenvalue comparisons in graph theory

Markov Chains, Random Walks on Graphs, and the Laplacian

Group Colorability of Graphs

Eight theorems in extremal spectral graph theory

Spectral Bounds on the Chromatic Number

Graph coloring, perfect graphs

MAT 280: Laplacian Eigenfunctions: Theory, Applications, and Computations Lecture 7: Nodal Sets

The chromatic number and the least eigenvalue of a graph

Inverse Perron values and connectivity of a uniform hypergraph

Random Lifts of Graphs

Improved Upper Bounds for the Laplacian Spectral Radius of a Graph

Fiedler s Theorems on Nodal Domains

Using Laplacian Eigenvalues and Eigenvectors in the Analysis of Frequency Assignment Problems

Coloring. Basics. A k-coloring of a loopless graph G is a function f : V (G) S where S = k (often S = [k]).

Some spectral inequalities for triangle-free regular graphs

Mysteries Around Graph Laplacian Eigenvalue 4

Note on the normalized Laplacian eigenvalues of signed graphs

GROWTH AND THE SPECTRUM OF THE LAPLACIAN OF AN INFINITE GRAPH* (Received January 17, 1995, revised May 8, 1995)

On sums of eigenvalues, and what they reveal about graphs and manifolds

Diffusion and random walks on graphs

Networks and Their Spectra

Spectral densest subgraph and independence number of a graph 1

The Adjacency Matrix, Standard Laplacian, and Normalized Laplacian, and Some Eigenvalue Interlacing Results

Current; Forest Tree Theorem; Potential Functions and their Bounds

Eigenvalues, random walks and Ramanujan graphs

Lectures 15: Cayley Graphs of Abelian Groups

Eugene Wigner [4]: in the natural sciences, Communications in Pure and Applied Mathematics, XIII, (1960), 1 14.

Four new upper bounds for the stability number of a graph

ORIE 6334 Spectral Graph Theory September 22, Lecture 11

3 rd class Mech. Eng. Dept. hamdiahmed.weebly.com Fourier Series

A New Spectral Technique Using Normalized Adjacency Matrices for Graph Matching 1

Laplacian Integral Graphs with Maximum Degree 3

Lecture 1: Graphs, Adjacency Matrices, Graph Laplacian

Isoperimetric inequalities for cartesian products of graphs

An Introduction to Algebraic Graph Theory

Nonnegative and spectral matrix theory Lecture notes

WAITING FOR A BAT TO FLY BY (IN POLYNOMIAL TIME)

Semidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 5

Conductance, the Normalized Laplacian, and Cheeger s Inequality

Analysis of the physical Laplacian and the heat flow on a locally finite graph

Fractional and circular 1-defective colorings of outerplanar graphs

COMPSCI 514: Algorithms for Data Science

On uniquely 3-colorable plane graphs without prescribed adjacent faces 1

The Signless Laplacian Spectral Radius of Graphs with Given Degree Sequences. Dedicated to professor Tian Feng on the occasion of his 70 birthday

Lecture 4. Random graphs II. 4.1 Automorphisms. 4.2 The number of simple graphs

Laplacian eigenvalues and optimality: II. The Laplacian of a graph. R. A. Bailey and Peter Cameron

Dominator Colorings and Safe Clique Partitions

Fiedler s Theorems on Nodal Domains

1 Motivation. Lecturer: Naoki Saito Scribe: Lawrence Austria/Allen Xue. May 23, This lecture is based on [1] and [2].

Laplacian and Random Walks on Graphs

arxiv: v1 [math.co] 20 Sep 2014

Lecture 8: Spectral Graph Theory III

More Counterexamples to the Alon-Saks-Seymour and Rank-Coloring Conjectures

Lecture 14: SVD, Power method, and Planted Graph problems (+ eigenvalues of random matrices) Lecturer: Sanjeev Arora

Hanna Furmańczyk EQUITABLE COLORING OF GRAPH PRODUCTS

EIGENVECTOR NORMS MATTER IN SPECTRAL GRAPH THEORY

5 Flows and cuts in digraphs

Linear Algebra and its Applications

Properties of Ramanujan Graphs

Chapter 2 Spectra of Finite Graphs

On the chromatic number of the lexicographic product and the Cartesian sum of graphs

Preliminaries. Graphs. E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)}

Lecture 14: Random Walks, Local Graph Clustering, Linear Programming

arxiv: v4 [math.co] 12 Feb 2017

Sum and shifted-product subsets of product-sets over finite rings

Inequalities for the spectra of symmetric doubly stochastic matrices

EIGENVECTORS FOR A RANDOM WALK ON A LEFT-REGULAR BAND

Spectral radii of graphs with given chromatic number

An Algorithmist s Toolkit September 10, Lecture 1

Cycles with consecutive odd lengths

Lecture 12: Introduction to Spectral Graph Theory, Cheeger s inequality

Topics in Graph Theory

Extremal Graphs for Randić Energy

arxiv: v1 [math.co] 27 Jul 2012

Embedding and Spectrum of Graphs

Eigenvalues of Random Power Law Graphs (DRAFT)

ONE CAN HEAR THE EULER CHARACTERISTIC OF A SIMPLICIAL COMPLEX

Bulletin of the Iranian Mathematical Society

Distinct distances between points and lines in F 2 q

Basic graph theory 18.S995 - L26.

SVD, Power method, and Planted Graph problems (+ eigenvalues of random matrices)

Inequalities for the First-Fit chromatic number

Consequences of Orthogonality

The chromatic covering number of a graph

Homomorphism Bounded Classes of Graphs

12.1 The Achromatic Number of a Graph

Data Analysis and Manifold Learning Lecture 3: Graphs, Graph Matrices, and Graph Embeddings

Some parametric inequalities on strongly regular graphs spectra

Eigenvectors Via Graph Theory

The Miracles of Tropical Spectral Theory

Zero-Sum Flows in Regular Graphs

Linear algebra and applications to graphs Part 1

New feasibility conditions for directed strongly regular graphs

Ma/CS 6b Class 20: Spectral Graph Theory

The Hierarchical Product of Graphs

Transcription:

MAT 280: Laplacian Eigenfunctions: Theory, Applications, and Computations Lecture 19: Introduction to Spectral Graph Theory II. Graph Laplacians and Eigenvalues of Adjacency Matrices and Laplacians Lecturer: Naoki Saito Scribe: Ashley Evans/Allen Xue May 31, 2007 The previous lecture introduced basic ideas of graph theory and defined the adjacency and transition matrices of a graph. In this lecture, we will further introduce the Laplacian of a graph, and the eigenvalues associated with these fundamental matrices of graphs. This lecture is based on [2] and the texts by Van Lint and Wilson [1, Chap. 31] and Chung [3, Sec. 1.1-1.3]. 1 Graph Laplacians and Derivatives There are two versions of the Laplacian of a graph associated with the adjacency and transition matrices which will be characterized. Also the derivative of a graph function and the resulting discrete version of Green s identity will be introduced. 1.1 The Laplacian of a Graph Recall that given a set of nodes (or vertices) V and edges E, a graph G is defined by G = (V, E). The degree of a node is denoted by m(u). 1

Definition 1.1. Given a graph G with adjacency matrix A and transition matrix P as defined in the previous lecture, define the degree matrix of G as D = diag(m(u)) R N N. The adjacency Laplacian of G is defined as A = D A. (1) The transition Laplacian of G (or normalized Laplacian of G) is defined as P = I P, (2) where I is the identity matrix. Note the following relationship: A = D 1/2 P D 1/2, where D 1/2 = diag( m(u)). Notice that this definition in the discrete case corresponds to in the continuum. Figure 1: 1-D lattice graph. Example 1.2. Consider the simple 1D lattice graph in Figure 1 with four nodes. The adjacency and transition matrices are 0 1 0 0 0 1 0 0 A = 1 0 1 0 0 1 0 1, P = 1/2 0 1/2 0 0 1/2 0 1/2. 0 0 1 0 0 0 1 0 2

The degree matrix is diag(1, 2, 2, 1). Thus, A = D A = P = I P = 1 1 0 0 1 2 1 0 0 1 2 1 0 0 1 1, 1 1 0 0 1/2 1 1/2 0 0 1/2 1 1/2 0 0 1 1 It is interesting to note that the eigenvectors of the 1D lattice adjacency matrix are the basis vectors for the Discrete Cosine Transform Type II (DCT-II). The basis vectors for the DCT-I, III,... can be generated with subtle changes in the discrete boundary conditions. For more information about the relationships between descrete boundary value problems and the DCT and Discrete Sine Transform (DST), see [4].. Figure 2: 2-D lattice graph. Now, consider a function f on V (f : V R). Recall from the previous lecture that C(V ) = {all functions defined on V s}, and L 2 (V ) = {f C(V ) f = f, f < }, where f, g = u V m(u)f(u)g(u). 3

If f L 2 (V ), then the corresponding Laplacians are applied to f as follows: A f(u) = m(u)f(u) v u f(v), (3) P f(u) = f(u) 1 m(u) f(v), (4) where v u is the sum over all v s that are adjacent to u. Looking at this last transition Laplacian, we can see that it is essentially the function value minus the average of the function values at the nodes connected to u. This can also be re-written as follows: P f(u) = 1 m(u) v u (f(u) f(v)). v u Definition 1.3. A function f C(V ) is called harmonic if A f = 0 or P f = 0. f C(V ) is called superharmonic at x V if Also, A f(x) 0 or P f(x) 0. f(x) superharmonic at x 1 m(x) f(y) f(x). The last equivalence essentially means that when f(x) is superharmonic, it is larger than or equal to the surrounding function averages. Note that these definitions of A and P correspond to in R d. 1.2 Derivatives and Green s Identity Many times in the continuum the results have greatly benefited from Green s identity, and we will see that there is a useful discrete version. Recall that the set of directed edges is denoted by E and that for an edge e with direction, ē denotes a reversal of the direction. y x 4

Definition 1.4. Let C(E) = {ϕ defined on E ϕ(ē) = ϕ(e), e E}. For f C(V ), define the derivative of f as follows: df(e) = df([x, y]) = f(y) f(x), df C(E). (5) where e = [x, y] is the edge connecting nodes x and y. Recall from the previous lecture that C 0 (V ) = {f C(V ) supp f is a finite subset of V }, which indicates that f has a compact support. In the interest of time the proof of the following theorem will be left out, but for more information see [6]. Theorem 1.5 (The discrete version of Green s first identity). For all f 1, f 2 C 0 (V ), we have df 1, df 2 = P f 1, f 2 = u V ( A f 1 )(u)f 2 (u). (6) Corollary 1.6. Note that A and P are both positive operators. f C 0 (V ), we have P f, f = u V ( A f)(u)f(u) = df, df 0. (7) Theorem 1.7 (The discrete version of the minimum principle). Let f C(V ) be superharmonic at x V. If f(x) min y x f(y) Then any z x, we have f(z) = f(x). Proof. We have 1 f(y) f(x) min m(x) f(y) 1 f(y). y x m(x) y x 1 So f(y) = f(x), but because of ( ), this can only happen when f(y) = m(x) y x f(x), y x. 5 ( ) y x

2 Eigenvalue Problems of Finite Graphs The properties of eigenvalues of finite graphs can now be defined. In the interest of time, infinite graphs will not be considered. 2.1 Eigenvalues and the Chromatic Number The following theorem of Perron-Frobenius for the adjacency matrix of a connected graph (finite) is well known, see [5, Chap. 8]. Theorem 2.1 (Perron-Frobenius). Let A be an adjacency matrix of a connected finite graph. The following hold. 1. For any λ(a), an eigenvalue of A, λ(a) λ max (A). (8) Note that λ max is always positive, but other eigenvalues could be negative. Yet the above still holds. 2. λ max (A) has multiplicity one. 3. There exists an eigenvector corresponding to λ max (A) whose entries are all positive. Example 2.2. Figure 3 contains examples of graphs and their eigenvalues that illustrate Theorem 2.1. Theorem 2.3. Let p = #(V ), q = #(E) for G = (V, E). Then: 1. λ max (A) m (G) = the largest degree of G. 2q 2. λ 2q(p 1) p max(a), with the first equality holds if and only if G is p regular and the second equality holds if and only if G = K p. 3. If G K p, p 3, then 2 λ min (A) λ max (A) 2. 6

Graph G K 5 K 3,3 λ(a) 4, 1, 1, 1, 1 3, 0, 0, 0, 0, 3 3-D cube 3, 1, 1, 1, 1, 1, 1, 3 P 5 2, 1+ 5, 1+ 5, 1 5, 1 5 2 2 2 2 Peterson Graph L 2 (3) (lattice graph) 3, 1, 1, 1, 1, 1, 2, 2, 2, 2 4, 1, 1, 1, 1, 2, 2, 2, 2 Figure 3: Examples of graphs and their eigenvalues. This theorem gives some properties of eigenvalues, which reflect information about the structure of a graph. Definition 2.4. The chromatic number χ(g) of a graph G is the smallest number of colors needed to color the vertices of G so that no two adjacent vertices share the same color. Some examples of graphs and their corresponding chromatic numbers are given in Figure 4. (a) χ(p 5 ) = 3 (b) χ(k 5 ) = 5 (c) χ(s 6 ) = 2 Figure 4: Examples of graphs and their chromatic numbers. Now let s order the eigenvalues of A, P as follows: 0 = λ (A) 1 λ (A) 2 λ (A) p (9) 0 = λ (P ) 1 λ (P ) 2 λ (P ) p (10) 7

Lemma 2.5. The smallest eigenvalues for A, P are both zero, and the corresponding eigenvectors are of the form α(1, 1, 1, 1) T, α is some constant. Note the similarity with the Neumann Laplacian problem in the continuum. The following theorem relates the chromatic number to the eigenvalues. Theorem 2.6. 1. Wilf (1967) [7], χ(g) 1 + λ max (A), with equality if and only if G = K p for any p N or G = P p for p is odd. Here P p is a circuit with p vertices. 2. Tan (2000) [8], χ(g) λ (A) p with equality if and only if G = K p. If m (G) 3 and G K p, then χ(g) p 1 p λ(a) p. 2.2 Some other characterizations of λ (P ) 2 and λ (P ) j, j 2 Theorem 2.7 (See [3] for more information). Let p = V. 1. p j=1 λ (P ) j p, with equality if and only if G has no isolated vertices. 2. For p 2, λ (P ) 2 p p 1, with equality if and only if G = K p. Also, for a graph without isolated vertices, we have λ p (P ) p p 1. 8

3. For G K p, λ (P ) 2 1. 4. If G is connected, then λ (P ) 2 > 0. If λ (P ) j = 0 and λ (P ) j+1 exactly j connected components. 0, then G has 5. λ (P ) j 2, j = 1, 2,, p. Also, λ (P p ) = 2 if and only if a connected component of G is bipartite and nontrivial. 6. The spectrum of a graph is the union of the spectra of its connected components (the same situation as the continuum we discussed before). 7. where λ (P ) 2 1 diam(g) vol(g), vol(g) = u V m(u). 8. Let ϕ (P ) 2 be an eigenfunction corresponding to λ (P ) 2. Then for any x V we have 3 Conclusion λ (P ) 2 ϕ (P ) 2 (x) = 1 m(x) y x ( ϕ (P ) 2 (x) ϕ (P ) 2 (y) From these characteristics of graphs, we have found that essentially the same ideas of the continuum case carry over to discrete graphs. Suppose you have a very large graph. These results can be used to automate the analysis of that graph through the eigenvalues and eigenfunctions of the Laplacian. Next time we will discuss isospectral graphs sharing the same eigenvalues. It can be seen that the Laplacian eigenvalues of a graph contain certain important information about that graph, but the eigenvalues alone cannot recover or uniquely determine the graph. ). References [1] J. H. VAN LINT AND R. M WILSON: A Course in Combinatorics, 2nd Ed., Cambridge Univ. Press, 2001. 9

[2] H. URAKAWA: Spectral geometry and graph theory, Ouyou Suuri (Bulletin of the Japan Society of Industrial and Applied Mathematics), vol. 12, no. 1, pp. 29-45, 2002. In Japanese. [3] F. R. K. CHUNG: Spectral Graph Theory, AMS, 1997. [4] G. STRANG: The discrete cosine transform, SIAM Review, vol. 41, no. 1, pp. 135-147, 1999. [5] C. D. MEYER: Matrix Analysis and Applied Linear Algebra, SIAM, 2000. [6] J. DODZIUK: Difference equations, isoperimetric inequality and transience of certain random walks, Trans. Amer. Math. Soc., vol. 284, no. 2, pp. 787-794, 1984. [7] H. S. WILF: The eigenvalues of a graph and its chromatic number, J. London Math. Soc., vol. s1-42, no. 1, pp. 330-332, 1967. [8] J. TAN: Laplacian spectra and chromatic numbers of graphs, Kyushu J. Math., vol. 54, no. 1, pp. 165-170, 2000. 10