Matching Polynomials of Graphs

Similar documents
Bipartite Ramanujan Graphs of Every Degree

Ramanujan Graphs of Every Size

Effective Resistance and Schur Complements

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

Spectral Analysis of Random Walks

Quadrature for the Finite Free Convolution

Lecture 16: Roots of the Matching Polynomial

Fiedler s Theorems on Nodal Domains

Walks, Springs, and Resistor Networks

Properties of θ-super positive graphs

1 Adjacency matrix and eigenvalues

Fiedler s Theorems on Nodal Domains

Random Lifts of Graphs

Graphs with Integer Matching Polynomial Roots

ALGEBRAIC MATCHING THEORY. C. D. Godsil 1

Combinatorial and physical content of Kirchhoff polynomials

Graph coloring, perfect graphs

Convergence of Random Walks

Rings, Paths, and Paley Graphs

Physical Metaphors for Graphs

Laplacian Integral Graphs with Maximum Degree 3

Course : Algebraic Combinatorics

An Introduction to Spectral Graph Theory

Graph Sparsification III: Ramanujan Graphs, Lifts, and Interlacing Families

The Simplest Construction of Expanders

Rings, Paths, and Cayley Graphs

Graph fundamentals. Matrices associated with a graph

This section is an introduction to the basic themes of the course.

A Questionable Distance-Regular Graph

Sparsification by Effective Resistance Sampling

Iterative solvers for linear equations

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

Tree-width and algorithms

Characterization of Fixed Points in Sequential Dynamical Systems

Lecture 18. Ramanujan Graphs continued

Combinatorial Optimization

On the Adjacency Spectra of Hypertrees

18.312: Algebraic Combinatorics Lionel Levine. Lecture 19

Characteristic polynomials of skew-adjacency matrices of oriented graphs

Recitation 8: Graphs and Adjacency Matrices

Spectral Partitiong in a Stochastic Block Model

On the adjacency matrix of a block graph

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

ACO Comprehensive Exam March 17 and 18, Computability, Complexity and Algorithms

4 a b 1 1 c 1 d 3 e 2 f g 6 h i j k 7 l m n o 3 p q 5 r 2 s 4 t 3 3 u v 2

(x 1 +x 2 )(x 1 x 2 )+(x 2 +x 3 )(x 2 x 3 )+(x 3 +x 1 )(x 3 x 1 ).

ORIE 6334 Spectral Graph Theory September 8, Lecture 6. In order to do the first proof, we need to use the following fact.

Strongly Regular Graphs, part 1

Math 5707: Graph Theory, Spring 2017 Midterm 3

Lecture: Modeling graphs with electrical networks

DOMINO TILING. Contents 1. Introduction 1 2. Rectangular Grids 2 Acknowledgments 10 References 10

Convergence of Random Walks and Conductance - Draft

NOTES ON MATCHINGS IN CONVERGENT GRAPH SEQUENCES

Eigenvalue comparisons in graph theory

Kernels of Directed Graph Laplacians. J. S. Caughman and J.J.P. Veerman

The structure of bull-free graphs I three-edge-paths with centers and anticenters

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

Iterative solvers for linear equations

INTERLACING PROPERTIES FOR HERMITIAN MATRICES WHOSE GRAPH IS A GIVEN TREE

18.312: Algebraic Combinatorics Lionel Levine. Lecture (u, v) is a horizontal edge K u,v = i (u, v) is a vertical edge 0 else

are the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1).

HOMEWORK #2 - MATH 3260

Building Graphs from Colored Trees

Average Mixing Matrix of Trees

Lecture 13: Spectral Graph Theory

Containment restrictions

The expansion of random regular graphs

Multi-coloring and Mycielski s construction

CS 6820 Fall 2014 Lectures, October 3-20, 2014

Eigenvectors Via Graph Theory

Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set

Random Walks on Graphs. One Concrete Example of a random walk Motivation applications

1 Counting spanning trees: A determinantal formula

Proof Techniques (Review of Math 271)

Spectra of Semidirect Products of Cyclic Groups

CPSC 536N: Randomized Algorithms Term 2. Lecture 9

On the mean connected induced subgraph order of cographs

Ma/CS 6b Class 20: Spectral Graph Theory

Introduction. 1.1 First Things. 1.2 Introduction. 1.3 Mechanics. Spectral Graph Theory Lecture 1. Daniel A. Spielman August 29, 2018

ALGEBRAIC COMBINATORICS. c1993 C. D. Godsil

UMA Putnam Talk LINEAR ALGEBRA TRICKS FOR THE PUTNAM

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

6.842 Randomness and Computation March 3, Lecture 8

Math 443/543 Graph Theory Notes 5: Graphs as matrices, spectral graph theory, and PageRank

4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**

Conductance, the Normalized Laplacian, and Cheeger s Inequality

Lecture 5. Shearer s Lemma

Hamiltonicity in Connected Regular Graphs

The Local Spectra of Regular Line Graphs

Cographs; chordal graphs and tree decompositions

MINIMALLY NON-PFAFFIAN GRAPHS

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

Contents. Counting Methods and Induction

arxiv: v1 [math.co] 5 May 2016

An Algorithmist s Toolkit September 24, Lecture 5

1 More finite deterministic automata

Counting Clusters on a Grid

Lecture 4. 1 Estimating the number of connected components and minimum spanning tree

On graphs with largest Laplacian eigenvalue at most 4

The Minimum Rank, Inverse Inertia, and Inverse Eigenvalue Problems for Graphs. Mark C. Kempton

Transcription:

Spectral Graph Theory Lecture 25 Matching Polynomials of Graphs Daniel A Spielman December 7, 2015 Disclaimer 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 I sometimes edit the notes after class to make them way what I wish I had said There may be small mistakes, so I recommend that you check any mathematically precise statement before using it in your own work These notes were last revised on December 7, 2015 251 Overview The coefficients of the matching polynomial of a graph count the numbers of matchings of various sizes in that graph It was first defined by Heilmann and Lieb [HL72], who proved that it has some amazing properties, including that it is real rooted They also proved that all root of the matching polynomial of a graph of maximum degree d are at most 2 d 1 In the next lecture, we will use this fact to derive the existence of Ramanujan graphs Our proofs today come from a different approach to the matching polynomial that appears in the work of Godsil [God93, God81] My hope is that someone can exploit Godsil s approach to connect the 2 d 1 bound from today s lecture with that from last lecture In today s lecture, 2 d 1 appears as an upper bound on the spectral radius of a d-ary tree Infinite d-ary trees appear as the graphs of free groups in free probability I feel like there must be a formal relation between these that I am missing 252 The Matching Polynomial A matching in a graph G = (V, E) is a subgraph of G in which every vertex has degree 1 We say that a matching has size k if it has k edges We let m k (G) denote the number of matchings in G of size k Throughout this lecture, we let V = n Observe that m 1 (G) is the number of edges in G, and that m n/2 (G) is the number of perfect matchings 25-1

Lecture 25: December 7, 2015 25-2 in G By convention we set m 0 (G) = 1, as the empty set is matching with no edges Computing the number of perfect matchings is a #P -hard problem This means that it is much harder than solving NP -hard problems, so you shouldn t expect to do it quickly on large graphs The matching polynomial of G, written, is def = n/2 x n 2k ( 1) k m k (G) Our convention that m 0 (G) = 1 ensures that this is a polynomial of degree n k=0 This is a fundamental example of a polynomial that is defined so that its coefficients count something When the something is interesting, the polynomial usually is as well 253 Properties of the Matching Polynomial We begin by establishing some fundamental properties of the matching polynomial For graphs G and H on different vertex sets, we write G H for their disjoint union Lemma 2531 Let G and H be graphs on different vertex sets Then, µ x [G H] = µ x [H] Proof Every matching in G H is the union of a matchings in G and a matching in H Thus, The lemma follows m k (G H) = k µ j (G)µ k j (H) j=0 For a a vertex of G = (V, E), we write G a for the graph G(V {a}) This notation will prove very useful when reasoning about matching polynmomials Fix a vertex a of G, and divide the matchings in G into two classes: those that involve vertex a and those that do not The number of matchings of size k that do not involve a is m k (G a) On the other hand, those that do involve a connect a to one of its neighbors To count these, we enumerate the neighbors b of a A matching of size k that includes edge (a, b) can be written as the union of (a, b) and a matching of size k 1 in G a b So, the number of matchings that involve a is m k 1 (G a b) So, b a To turn this into a recurrence for, write m k (G) = m k (G a) + b a m k 1 (G a b) x n 2k ( 1) k m k (G) = x x n 1 2k ( 1) k m k (G a) x n 2 2(k 1) ( 1) k 1 m k 1 (G a b) This establishes the following formula

Lecture 25: December 7, 2015 25-3 Lemma 2532 = x b a µ x [G a b] The matching polynomials of trees are very special they are exactly the same as the characteristic polynomial of the adjacency matrix Theorem 2533 Let G be a tree Then Proof Expand = χ x (A G ) χ x (A G ) = det(xi A G ) by summing over permutations We obtain π S n ( 1) sgn(π) x {a:π(a)=a} a:π(a) a ( A G (a, π(a))) We will prove that the only permutations that contribute to this sum are those for which π(π(a)) = a for every a And, these correspond to matchings If π is a permutation for which there is an a so that π(π(a)) a, then there are a = a 1,, a k with k > 2 so that π(a i ) = a i+1 for 1 i < k, and π(a k ) = a 1 For this term to contribute, it must be the case that A G (a i, a i+1 ) = 1 for all i, and that A G (a k, a 1 ) = 1 For k > 2, this would be a cycle of length k in G However, G is a tree and so cannot have a cycle So, the only permutations that contribute are the involutions: the permutations π that are their own inverse An involution has only fixed points and cycles of length 2 Each cycle of length 2 that contributes a nonzero term corresponds to an edge in the graph Thus, the number of permutations with k cycles of length 2 is equal to the number of matchings with k edges As the sign of an involution with k cycles of length 2 is ( 1) k, the coefficient of x n 2k is ( 1) k m k (G) 254 The Path Tree Godsil proves that the matching polynomial of a graph is real rooted by proving that it divides the matching polynomial of a tree As the matching polynomial of a tree is the same as the characteristic polynomial of its adjacency matrix, it is real rooted Thus, the matching polynomial of the graph is as well The tree that Godsil uses is the path tree of G starting at a vertex of G For a a vertex of G, the path tree of G starting at a, written T a (G) is a tree whose vertices correspond to paths in G that start at a and do not contain any vertex twice One path is connected to another if one extends the other by one vertex For example, here is a graph and its path tree starting at a

Lecture 25: December 7, 2015 25-4 When G is a tree, T a (G) is isomorphic to G Godsil s proof begins by deriving a somewhat strange equality Since I haven t yet found a better proof, I ll take this route too Theorem 2541 For every graph G and vertex a of G, = µ x [T a (G)] The term on the upper-right hand side is a little odd It is a forrest obtained by removing the root of the tree T a (G) We may write it as a disjoint union of trees as T a (G) a = b a T b (G a) Proof If G is a tree, then the left and right sides are identical, and so the inequality holds As the only graphs on less than 3 vertices are trees, the theorem holds for all graphs on at most 2 vertices We will now prove it by induction on the number of vertices We may use Lemma 2532 to expand the reciprocal of the left-hand side: = xµ x [G a] b a µ x [G a b] = x µ x [G a b] b a By applying the inductive hypothesis to G a, we see that this equals x b a µ x [T b (G a) b] (251) µ x [T b (G a)] To simplify this expression, we examine these graphs carefully By the observtion we made before the proof, T b (G a) b = T c (G a b) Similarly, c b,c a T a (G) a = c a T c (G a), which implies = c a µ x [T c (G a)]

Lecture 25: December 7, 2015 25-5 Let ab be the vertex in T a (G) corresponding to the path from a to b We also have T a (G) a ab = T c (G a) T c (G a b) = c a,c b c a,c b c b,c a T c (G a) (T b (G a) b) which implies µ x [T a (G) a ab] = µ x [T c (G a)] µ x [T b (G a) b] c a,c b Thus, µ x [T a (G) a ab] ( c a,c b µ x [T c (G a)]) µ x [T b (G a) b] = c a µ x [T c (G a)] = µ x [T b (G a) b] µ x [T b (G a)] Plugging this in to (251), we obtain = x b a µ x [T a (G) a ab] = x b a µ x [T a (G) a ab] = µ x [T a (G)] Be obtain the equality claimed in the theorem by taking the reciprocals of both sides Theorem 2542 For every vertex a of G, the polynomial divides the polynomial µ x [T a (G)] Proof We again prove this by induction on the number of vertices in G, using as our base case graphs with at most 2 vertices We then know, by induction, that for b a, divides µ x [T b (G a)] As Thus, T a (G) a = b a T b (G a), µ x [T b (G a)] divides divides,

Lecture 25: December 7, 2015 25-6 and so is a polynomial in x To finish the proof, we apply Theorem 2541, which implies µ x [T a (G)] = = 255 Root bounds If every vertex of G has degree at most d, then the same is true of T a (G) We will show that the norm of the adjacency matrix of a tree in which every vertex has degree at most d is at most 2 d 1 Thus, all of the roots of the matching polynomial of a graph of maximum degree d are at most 2 d 1 Theorem 2551 Let T be a tree in which every vertex has degree at most d Then, all eigenvalues of χ x (A T ) have absolute value at most 2 d 1 Proof Let A be the adjacency matrix of T Choose some vertex to be the root of the tree, and define its height to be 0 For every other vertex a, define its height, h(a), to be its distance to the root Define D to be the diagonal matrix with D(a, a) = ( d 1 ) h(a) Recall that the eigenvalues of A are the same as the eigenvalues of DAD 1 We will use the fact that all eigenvalues of a nonnegative matrix are upper bounded in absolute value by its maximum row sum So, we need to prove that all row sums of DAD 1 are at most 2 d 1 There are three types of vertices to consider First, the row of the root has up to d entries that are all 1/ d 1 For d 2, d/ d 1 2 d 1 The intermediate vertices have one entry in their row that equals d 1, and up to d 1 entries that are equal to 1/ d 1, for a total of 2 d 1 Finally, every leaf only has one nonzero entry in its row, and that entry equals d 1 When combined with Theorem 2542, this tells us that that matching polynomial of a graph with all degrees at most d has all of its roots bounded in absolute value by 2 d 1 References [God81] C D Godsil Matchings and walks in graphs Journal of Graph Theory, 5(3):285 297, 1981

Lecture 25: December 7, 2015 25-7 [God93] Chris Godsil Algebraic Combinatorics Chapman & Hall, 1993 [HL72] Ole J Heilmann and Elliott H Lieb Theory of monomer-dimer systems Communications in Mathematical Physics, 25(3):190 232, 1972