Rings, Paths, and Paley Graphs

Similar documents
Rings, Paths, and Cayley Graphs

Spectral Graph Theory Lecture 3. Fundamental Graphs. Daniel A. Spielman September 5, 2018

Spectral Graph Theory Lecture 2. The Laplacian. Daniel A. Spielman September 4, x T M x. ψ i = arg min

Fiedler s Theorems on Nodal Domains

An Algorithmist s Toolkit September 15, Lecture 2

Fiedler s Theorems on Nodal Domains

Effective Resistance and Schur Complements

Strongly Regular Graphs, part 1

Specral Graph Theory and its Applications September 7, Lecture 2 L G1,2 = 1 1.

Algebraic Constructions of Graphs

12x + 18y = 30? ax + by = m

An Algorithmist s Toolkit September 10, Lecture 1

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

Matching Polynomials of Graphs

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

Physical Metaphors for Graphs

Quadrature for the Finite Free Convolution

6.842 Randomness and Computation March 3, Lecture 8

Walks, Springs, and Resistor Networks

Spectral Analysis of Random Walks

AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS

Introduction. Disclaimer. 1.1 First Things. 1.2 Introduction. Spectral Graph Theory Lecture 1. Daniel A. Spielman September 2, 2015

Ma/CS 6b Class 23: Eigenvalues in Regular Graphs

U.C. Berkeley CS270: Algorithms Lecture 21 Professor Vazirani and Professor Rao Last revised. Lecture 21

Eigenvalues, random walks and Ramanujan graphs

Lecture 1. 1 if (i, j) E a i,j = 0 otherwise, l i,j = d i if i = j, and

Bipartite Ramanujan Graphs of Every Degree

Questionnaire for CSET Mathematics subset 1

Number Theory. Introduction

Convergence of Random Walks and Conductance - Draft

Mathematical Foundations of Cryptography

Convergence of Random Walks

j=1 u 1jv 1j. 1/ 2 Lemma 1. An orthogonal set of vectors must be linearly independent.

Spectra of Semidirect Products of Cyclic Groups

Meaning of the Hessian of a function in a critical point

Ramanujan Graphs of Every Size

Graph fundamentals. Matrices associated with a graph

1 Last time: least-squares problems

Solution Sheet (i) q = 5, r = 15 (ii) q = 58, r = 15 (iii) q = 3, r = 7 (iv) q = 6, r = (i) gcd (97, 157) = 1 = ,

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

7.2 Applications of Euler s and Fermat s Theorem.

Error Correcting Codes Questions Pool

1 Adjacency matrix and eigenvalues

Lectures 15: Cayley Graphs of Abelian Groups

6 Cosets & Factor Groups

[06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal.

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

AUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS

HOMEWORK 4 SOLUTIONS TO SELECTED PROBLEMS

Nonnegative Matrices I

Lecture 8 : Eigenvalues and Eigenvectors

Quantum Mechanics- I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras

Iterative solvers for linear equations

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

Lecture 15, 16: Diagonalization

Mathematics for Cryptography

Topics in linear algebra

Cayley Graphs and the Discrete Fourier Transform

Difference sets and Hadamard matrices

MATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators.

Part V. Chapter 19. Congruence of integers

Lecture 10: October 27, 2016

Critical Groups for Cayley Graphs of Bent Functions

Hadamard matrices, difference sets and doubly transitive permutation groups

Course 2316 Sample Paper 1

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

Eigenvalue comparisons in graph theory

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

Definition A finite Markov chain is a memoryless homogeneous discrete stochastic process with a finite number of states.

Galois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a.

Lecture Notes. Advanced Discrete Structures COT S

Linear algebra and applications to graphs Part 1

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

The Simplest Construction of Expanders

Lecture 4: Orbits. Rajat Mittal. IIT Kanpur

Lecture 12 : Graph Laplacians and Cheeger s Inequality

Lecture 3i Complex Systems of Equations (pages )

4 Powers of an Element; Cyclic Groups

Algebraic Methods in Combinatorics

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

1 Inner Product and Orthogonality

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively

GROUPS AS GRAPHS. W. B. Vasantha Kandasamy Florentin Smarandache

Algebraic aspects of Hadamard matrices

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

1/30: Polynomials over Z/n.

MAT1302F Mathematical Methods II Lecture 19

Outline. Number Theory and Modular Arithmetic. p-1. Definition: Modular equivalence a b [mod n] (a mod n) = (b mod n) n (a-b)

w d : Y 0 (N) Y 0 (N)

Recitation 8: Graphs and Adjacency Matrices

Jordan normal form notes (version date: 11/21/07)

Lecture Semidefinite Programming and Graph Partitioning

5 Irreducible representations

[Disclaimer: This is not a complete list of everything you need to know, just some of the topics that gave people difficulty.]

Real representations

Eigenvectors and Hermitian Operators

ORIE 4741: Learning with Big Messy Data. Spectral Graph Theory

22. The Quadratic Sieve and Elliptic Curves. 22.a The Quadratic Sieve

Computations/Applications

PSRGs via Random Walks on Graphs

Transcription:

Spectral Graph Theory Lecture 5 Rings, Paths, and Paley Graphs Daniel A. Spielman September 12, 2012 5.1 About these notes These notes are not necessarily an accurate representation of what happened in class. The notes written before class say what I think I should say. The notes written after class way what I wish I said. All statements in these notes that can be made mathematically rigorous should be taken with a grain of salt and a shot of Tequila. 5.2 Overview This lecture is devoted to an examination of some special graphs and their eigenvalues. 5.3 The Ring Graph The ring graph on n vertices, R n, may be viewed as having a vertex set corresponding to the integers modulo n. In this case, we view the vertices as the numbers 0 through n 1, with edges (i, i + 1), computed modulo n. Lemma 5.3.1. The Laplacian of R n has eigenvectors x k (u) = cos(2πku/n), and y k (u) = sin(2πku/n), for 0 k n/2, ignoring y 0 which is the all-zero vector, and for even n ignoring y n/2 for the same reason. Eigenvectors x k and y k have eigenvalue 2 2 cos(2πk/n). Note that x 0 is the all-ones vector. When n is even, we only have x n/2, which alternates ±1. Proof. We will first see that x 1 and y 1 are eigenvectors by drawing the ring graph on the unit circle in the natural way: plot vertex u at point (cos(2πu/n), sin(2πu/n)). You can see that the average of the neighbors of a vertex is a vector pointing in the same direction as the vector associated with that vertex. This should make it obvious that both the x and y coordinates in this figure are eigenvectors of the same eigenvalue. The same holds for all k. 5-1

Lecture 5: September 12, 2012 5-2 1 1 0.8 0.8 0.6 0.6 0.4 0.4 0.2 0.2 0 0 0.2 0.2 0.4 0.4 0.6 0.6 0.8 0.8 1 1 0.8 0.6 0.4 0.2 0 0.2 0.4 0.6 0.8 1 1 1 0.8 0.6 0.4 0.2 0 0.2 0.4 0.6 0.8 1 (a) The ring graph on 9 vertices. (b) The eigenvectors for k = 2. Figure 5.1: Alternatively, we can verify that these are eigenvectors by a simple computation. (L Rn x k ) (u) = 2x k (u) x k (u + 1) x k (u 1) = 2 cos(2πku/n) cos(2πk(u + 1)/n) cos(2πk(u 1)/n) = 2 cos(2πku/n) cos(2πku/n) cos(2πk/n) + sin(2πku/n) sin(2πk/n) cos(2πku/n) cos(2πk/n) sin(2πku/n) sin(2πk/n) = 2 cos(2πku/n) cos(2πku/n) cos(2πk/n) cos(2πku/n) cos(2πk/n) = (2 2 cos(2πk/n)) cos(2πku/n) = (2 cos(2πk/n))x k (u). The computation for y k follows similarly. 5.4 The Path Graph We will derive the eigenvalues and eigenvectors of the path graph from those of the ring graph. To begin, I will number the vertices of the ring a little differently, as in Figure 5.2. It should be clear by now that re-naming the vertices does not change the eigenvalues of the graphs and merely permutes the eigenvectors appropriately. To see this in a mathematically formal way, observe that any permutation can be represented by a permutation matrix Π. That is, a matrix that is all zeros except for exactly one 1 in each row and column. Permutation matrices are orthonormal, so ΠΠ T = I. If we permute the vertices according to the permutation encoded by Π, we must permute the rows and columns of the corresponding matrix. That is, we multiply by Π T on the left and by Π on the right. So, what I said at the beginning of the paragraph amounts to Lψ = λψ (Π T LΠ)(Π T ψ) = λ(π T ψ).

Lecture 5: September 12, 2012 5-3 3 2 4 1 8 5 7 6 Figure 5.2: The ring on 8 vertices, numbered differently Lemma 5.4.1. Let P n = (V, E) where V = {1,..., n} and E = {(i, i + 1) : 1 i < n}. The Laplacian of P n has the same eigenvalues as R 2n, namely 2(1 cos(πk/n)), and eigenvectors for 0 k < n v k (u) = cos(πku/n πk/2n). Proof. We derive the eigenvectors and eigenvalues by treating P n as a quotient of R 2n : we will identify vertex u of P n with vertices u and u + n of R 2n (under the new numbering of R 2n ). These are pairs of vertices that are above each other in the figure that I drew. Let I n be the n-dimensional identity matrix. You should check that ( ) ( ) I I n I n n LR2n = 2L I Pn. n If there is an eigenvector ψ of R 2n with eigenvalue λ for which ψ(u) = ψ(u + n) for 1 u n, then the above equation gives us a way to turn this into an eigenvector of P n : Let φ IR n be the vector for which φ(u) = ψ(u), for 1 u n. Then, ( ) I n φ = ψ, I n ( ) I L n R2n ψ = λψ, I n and ( ) ( ) I I n I n n LR2n ψ = 2λφ. I n So, if we can find such a vector ψ, then the corresponding φ is an eigenvector of P n of eigenvalue λ. As you ve probably guessed, we can find such vectors ψ. I ve drawn one in Figure 5.2. For each of the two-dimensional eigenspaces of R 2n, we get one such a vector. These provide eigenvectors of eigenvalue 2(1 cos(πk/n)),

Lecture 5: September 12, 2012 5-4 for 1 k < n. Thus, we now know n 1 distinct eigenvalues. The last, of course, is zero. 5.5 Cayley Graphs The ring graph is a type of Cayley graph. In general, the vertices of a Cayley graph are the elements of some group Γ. In the case of the ring, the group is the set of integers modulo n. The edges of a Cayley graph are specified by a set S Γ, which are called the generators of the Cayley graph. Vertices u, v Γ are connected by an edge if there is an s S such that u s = v, where is the group operation. In the case of Abelian groups, like the integers modulo n, this would usually be written u + s = v. To guarantee that the graph is undirected, we must insist that the inverse of every s S also appear in S. In the case of the ring graph, the generators are {1, 1}. Many of the most interesting graphs are Cayley graphs. hybercube. We have seen at least one other: the 5.6 Paley Graphs The Paley graph are Cayley graphs over the group of integer modulo a prime, p, where p is equivalent to 1 modulo 4. Such a group is often written Z/p. I should begin by reminding you a little about the integers modulo p. The first thing to remember is that the integers modulo p are actually a field, written F p. That is, they are closed under both addition and multiplication (completely obvious), have identity elements under addition and multiplication (0 and 1), and have inverses under addition and multiplication. It is obvious that the integers have inverses under addition: x modulo p plus x modulo p equals 0. It is a little less obvious that the integers modulo p have inverses under multiplication. That is, for every x 0, there is a y such that xy = 1 modulo p. When we write 1/x, we mean this element y. I ll quickly explain to some of you why these inveses exist. Recall that the greatest common divisor of p and a number x that is not divisible by p is equal to 1. If we use the extended version of Euclid s algorithm to compute the gcd of x and p, we obtain an a and b such that ax + bp = 1 = ax p 1. The generators of the Paley graphs are the quadratic residues modulo p. That is, the set of numbers s such that there exits an x for which x 2 p s. That is, the vertex set is {0,..., p 1}, and there is an edge between vertices u and v if u v is a square modulo p. I should now prove that s is a quadratic residue if and only if s is. This will hold provided that p is equivalent to 1 modulo 4. To prove that, I need to tell you one more thing about the integers modulo p: their multiplicative group is cyclic.

Lecture 5: September 12, 2012 5-5 Fact 5.6.1. For every prime p, there exists a number g such that for every number x between 1 and p 1, there is an i between 1 and p 1 such that In particular, g p 1 1. x g i mod p. Corollary 5.6.2. If p is a prime equivalent to 1 modulo 4, then 1 is a square modulo p. Proof. We know that 4 divides p 1. Let s = g (p 1)/4. I claim that s 2 = 1. This will follow from s 4 = 1. To see this, consider the equation x 2 1 0 mod p. As the numbers modulo p are a field, it can have at most 2 solutions. Moreover, we already know two solutions, x = 1 and x = 1. As s 4 = 1, we know that s 2 must be one of 1 or 1. However, it cannot be the case that s 2 = 1, because then the powers of g would begin repeating after the (p 1)/2 power, and thus could not represent every number modulo p. We now understand a lot about the squares modulo p (formally called quadratic residues). The squares are exactly the elements g i where i is even. As g i g j = g i+j, the fact that 1 is a square implies that s is a square if and only if s is a square. So, S is closed under negation, and the Cayley graph of Z/p with generator set S is in fact a graph. As S = (p 1)/2, it is regular of degree d = p 1 2. 5.7 Eigenvalues of the Paley Graphs It will prove simpler to compute the eigenvalues of the adjacency matrix of the Paley Graphs. Since these graphs are regular, this will immediately tell us the eigenvalues of the Laplacian. Let A be the adjacency matrix of the Paley graph on p vertices. We will prove that A 2 = p 1 (I + J ) A, (5.1) 4 where J is the all-1 s matrix. This gives us a quadratic equation that every eigenvalue other than d must obey. Let φ be an eigenvector of A of eigenvalue µ 0. As φ is orthogonal to the all-1s vector, J φ = 0. So, µ 2 φ = A 2 φ = p 1 1 I φ Aφ = (p µ)φ. 4 4 So, we find This gives µ 2 + µ p 1 4 = 0. µ = 1 2 ( 1 ± p).

Lecture 5: September 12, 2012 5-6 Let s prove it. It will be easiest to think in terms of the quadratic character: 1 if x is a quadratic residue modulo p χ(x) = 0 if x = 0, and 1 otherwise. This is called a character because it satisfies χ(xy) = χ(x)χ(y). We will use this to define a matrix M by M (u, v) = χ(u v). Note that Lemma 5.7.1. A = 1 (M + J I ). (5.2) 2 M 2 = pi J. When combined with (5.2), this lemma immediately implies (5.1). Proof. The diagonal entries of M 2 are the squares of the norms of the columns of M. As each contains (p 1)/2 entries that are 1, (p 1)/2 entries that are 1, and one entry that is 0, its squared norm is p 1. To handle the off-diagonal entries, we observe that M is symmetric, so the off-diagonal entries are the inner products of columns of M. That is, M (u, v) = x χ(u x)χ(v x) = y χ(y)χ((v u) + y), where we have set y = u x. For convenience, set w = v u, so we can write this more simply. As we are considering a non-diagonal entry, w 0. The term in the sum for y = 0 is zero. When y 0, χ(y) ±1, so χ(y)χ(w + y) = χ(w + y)/χ(y) = χ(w/y + 1). Now, as y varies over {1,..., p 1}, w/y varies over all of {1,..., p 1}. So, w/y 1 varies over all elements other than 1. This means that ( p 1 ) χ(y)χ((v u) + y), = χ(z) χ(1) = 0 1 = 1. So, every off-diagonal entry in M is 1. y z=0 5.8 Implications Let s see what the eigenvalues of A tell us about the graph. First, let s examine Hoffman s bound on the size of the largest independent set. If G is a Paley graph and S is an independent set,

Lecture 5: September 12, 2012 5-7 Hoffman s bound tells us that S n µ n d µ n ( p + 1)/2 = p (p 1)/2 + ( p + 1)/2 p + 1 = p p + p = p. Until recently, there were no significantly better upper bounds on the sizes of independent sets in any explicitly constructed graphs whose degree was half its number of vertices. In Lecture 2, we proved that for every subset of vertices S, (S) λ 2 S ( V S )/n. For a Paley graph, we have λ 2 = d µ 2 = p 1 1 2 2 ( p 1). For now, I just want to point out that this number is very close to d, which is close to p/2. To interpret the lower bound we obtain on the size of the boundary of S, consider how many edges we would expect to find on the boundary of S if we chose a graph uniformly at random, with every edge appearing with probability 1/2. There are S V S edges that could possibly appear on the boundary, and we would expect half of them to appear in a random graph. So, the number of edges on the boundary of every set in a Paley graph is at least a number just slightly lower than what we could expect to find in a random graph. This is one of the reasons that Paley graphs have been called quasi-random graphs [?]. 5.9 Acknowledgment I thank Zeyuan Allen Zhu for pointing out a mistake in my 2009 lecture notes on the path graph.