Lecture J. 10 Counting subgraphs Kirchhoff s Matrix-Tree Theorem.

Size: px
Start display at page:

Download "Lecture J. 10 Counting subgraphs Kirchhoff s Matrix-Tree Theorem."

Transcription

1 Lecture J jacques@ucsd.edu Notation: Let [n] [n] := [n] 2. A weighted digraph is a function W : [n] 2 R. An arborescence is, loosely speaking, a digraph which consists in orienting eery edge of a rooted tree towards its root. Let τ(w, ) be the (weighted) number of arborescences in W rooted at. Adjacency matrix A(W ) and Laplacian matrix L(W ) of a weighted digraph W, outdegree and indegree d + (i) and d (i) of a ertex i, dual G of a planar graph G, constructions G G and G G, entropy h(n). 10 Counting subgraphs A subgraph of a graph G = (V, E) is a graph H = (W, F ) with W V and F E. A spanning subgraph of G is a subgraph H with V (H) = V (G). One of the fundamental problems is to count the number of subgraphs of a graph G isomorphic to a graph from a family F of graphs. If F is finite, this depends highly on local features of the graph, for instance on the density of G. In the present lecture, we consider the case of counting spanning subgraphs. The interesting cases, especially in statistical physics, are spanning trees and perfect matchings. Spanning paths and cycles are interesting from a complexity point of iew in the context of the traelling salesman problem Kirchhoff s atrix-tree Theorem Let [n] [n] = [n] 2. A weighted digraph with ertex set [n] is a function W : [n] 2 R. The outdegree and indegree of a ertex i in a weighted digraph W are respectiely defined by d + (i) = (i,j) [n] 2 W (i, j) and d (i) = (j,i) [n 2 ] W (j, i). An arborescence is a weighted digraph W : [n] 2 {0, 1} which arises from a rooted tree T on [n] by defining W (i, j) = 1 if {i, j} is an edge of T and j is closer to the root than i, and W (i, j) = 0 otherwise, for (i, j) [n] 2. In other words, loosely speaking, we orient eery edge of T towards the root of T. If T is rooted at i [n], then the associated arborescence is called an i-arborescence. Let T i be the set of all i-arborescences on [n]. Let W be a weighted digraph on [n] and i [n]. Define τ(w, i) = W 0 T i 1 (i,j) [n] 2 W 0 (i,j)=1 W (i, j)

2 We will show that τ(w, i) can be expressed as a determinant of a certain matrix. Let U i denote the set of weighted digraphs W : [n] 2 {0, 1} in which eery ertex other than i has outdegree 1 and i has outdegree 0. Note that W i U i. Figure 1 : Typical elements of W and U. The adjacency matrix of a weighted digraph W on [n], denoted A = A(W ), is the matrix whose rows and columns are indexed by [n] and where A ij = W (i, j) for i, j [n]. Let D = D(W ) be the diagonal matrix with D ii = d + (i). The Laplacian matrix of W is L = L(W ) = D A. For i [n], let L i denote the minor matrix obtained from L by remoing row and column i from L. Theorem 1 Let W be a weighted digraph on [n]. Then for any [n], τ(w, ) = det(l ). Proof We may assume = n without loss of generality. Let = (X(i, j) : (i, j) [n] X 2 ) and consider the polynomial ring R[ X]. Let L = L( X) denote the corresponding Laplacian matrix. Then the determinant of L is a polynomial Φ( X) = n 1 sgn(π) L iπ(i) ( X). π S n 1 i=1 Each monomial in the expansion of this polynomial has a special form, due to the definition of L iπ(i). Precisely, for U U, let π = π(u) denote the permutation in S n 1 defined by π(i) = i if i is not in any cycle of U, and π(i) = j if U(i, j) = 1 and i is in a cycle of U. In other words, we map the cycles of U to cycles in the permutation π(u) and leae all other 2

3 ertices of [n]\{} as fixed points of π(u). Let X U denote the monomial n 1 i=1 X i,π(i) with π = π(u). Then eery monomial in Φ( X) has the form X U for some U U. Fixing U U, we determine [ X U ]Φ( X). First consider the case that U is not an arborescence. Then π(u) has m 1 cycles. Let σ be a permutation containing r of these cycles, say γ 1, γ 2,..., γ r, and fixed points elsewhere. The contribution of such a permutation to [ X U ]Φ( X) is r sgn(γ i )( 1) γi = ( 1) r where γ i is the length of the cycle γ i. We conclude that i=1 [ X U ]Φ( X) = m r=0 ( ) m ( 1) r = 0. r Finally, suppose U U is an arborescence i.e. U W. Then π(u) is the identity and n 1 ( [ X U ]Φ( X) = [ X U ] i=1 j [n] ) X(i, j) = 1. We hae shown that Φ( X) = U W XU. Finally, replacing X(i, j) with W (i, j) in this expression, we obtain the required formula τ(w, ) = det(l ). If W is symmetric, then the Laplacian matrix L(W ) is symmetric and can be diagonalized. Note that L(W ) always has a zero eigenalue. By the aboe theorem, if L(W ) has two zero eigenalues, then τ(w, ) = 0 for eery. If L(W ) is symmetric and has only one zero eigenalue, let λ 1, λ 2,..., λ n 1 be the non-zero eigenalues. Then the preceding theorem shows τ(w, ) = λ 1 λ 2... λ n 1 regardless of which we pick for the root. A consequence is that the eigenalues determine the number of spanning trees for graphs: Theorem 2 Let G be a connected graph with Laplacian matrix L haing non-zero eigenalues λ 1, λ 2,..., λ n 1, and let τ(g) be the number of spanning trees of G. Then τ(g) = 1 n λ 1λ 2... λ n 1. In particular, if K n is the complete graph on n ertices, then τ(k n ) = n n 2. 3

4 Proof Define W (u, ) = W (, u) = 1 if {u, } E(G) and W (u, ) = 0 otherwise. For any V (G), τ(w, ) = λ 1 λ 2... λ n 1. Now each spanning tree of G gies rise to n arborescences, based on where the root is chosen. Therefore τ(g) = 1 τ(w, ) and the n proof is complete. For the second part, obsere that the Laplacian matrix of K n has 1 off the main diagonal and n 1 on the main diagonal. Therefore n is an eigenalue of the Laplacian matrix with algebraic multiplicity n 1, and so τ(k n ) = 1 n nn 1 by the first part of the proof Spanning trees in grids In statistical physics, counting spanning trees and matchings is important in the case that the graph is a finite portion of a lattice. In particular, matchings of the hexagonal lattice correspond to so-called stepped surfaces in Z 3, and there is a tremendous theory behind random surfaces. We consider the special case of the m n box B m,n, which is the graph on ertex set [m] [n] where (x, y) is adjacent to the points (x + 1, y), (x, y + 1), (x 1, y), (x, y 1) [m] [n]. Eigenfunctions for the Laplacian matrix of the integer grid Z 2 are found as functions f : Z 2 R such that 4f(x, y) = f(x, y + 1) + f(x + 1, y) + f(x, y 1) + f(x 1, y) + λf(x, y). If z and w are two complex numbers with unit modulus and f(x, y) = z x w y and λ = 4 z w 1 z 1 w, then f is an eigenfunction for Z2 with eigenalue λ. By restricting f to B m,n in the right way, we get that the eigenalues of B m,n are all gien by 4 πi m n where 0 i m 1 and 0 j n 1. The zero eigenalue occurs when i = j = 0 and the remaining ones are positie. By the matrix-tree theorem, τ(b m,n ) = 1 [4 πi m n mn ]. (i,j) (0,0) For portions of arious other lattices, such as the triangular portions of the hexagonal or triangular lattices, the number of spanning trees can be found, but the formulas for eigenalues of the Laplacian quickly become more complicated for other lattice. Instead we turn to a well-known bijection due to Temperley for relating spanning trees to perfect matchings in certain graphs The Temperley Bijection Temperley showed that the number of perfect matchings of a (2m 1) (2n 1) grid with the top right corner remoed equals the number of spanning trees of the m n grid graph. 4

5 The bijection inoles a simple use of planar duality, and the argument works for planar graphs in general. Start with a connected graph G embedded in the plane, where the edges are identified with simple cures. Recall the combinatorial dual is a graph G embedded in the plane in which we place in the interior of each face f of G a ertex f and where f is joined by a cure γ e to g for each edge e in common to the boundary of f and g and such that the cure γ e passes through an interior point of e. The union of the graphs G and G is a new graph drawn in the plane, but it has crossings, namely at the points e γ e. Let G G be obtained from G G by placing a ertex at each crossing. This graph is shown below on the left. The original graph G is shown in blue, the dual G is in orange, and the ertices at crossings are drawn in green. The ertex corresponds to the outer face and all the orange half-edges hae as their other endpoint. * Figure 2 : The graphs G G and G G. For an edge e E(G), there is a unique ertex (e) in the interior of e which was placed at a crossing of some other edge with e, and we call (e) the crossing ertex of e these are green in the figure aboe. Fix a ertex V (G) and a ertex V (G ). Let G G be obtained from G G by deleting and. Note that the graph G G is bipartite, and one of the parts is V (G)\{} V (G )\{ } whereas the other part consists of all E(G) crossing ertices. This graph and its bipartition is shown to the right in Figure 2. The parts both hae the same number of ertices, since V (G) + V (G 2 = (2 + E(G) F (G) ) + F (G) 2 = E(G) by Euler s Formula and since G is connected. We now gie a bijection from the spanning trees of G rooted at to the perfect matchings of G G. Let T be a spanning tree of G 5

6 rooted at. Let T 1 G G be the tree whose ertex set consists of V (T ) together with all crossing ertices in edges of T, and let the edge set of T 1 be the set of all edges {x, (e)} and {y, (e)} with e = {x, y} E(T ). If we remoe the ertices of T 1 from G G, then what remains of G G is a tree T 2 which contains all the ertices of G and we root T 2 at. Since T 1 {} and T 2 { } are acyclic, they each hae a unique perfect matching. Let be the union of the unique perfect matching of T 1 {} and the unique perfect matching of T 2 { }. Then there is a one-to-one correspondence between and the pair of trees (T 1, T 2 ), and therefore between and the tree T. Continuing on from Figure 2, we draw in the trees T 1 and T 2 and the matching, with T 1 in blue and T 2 in orange: * Figure 3 : The trees T 1 and T 2 and the matching. In fact, this setup can be generalized to the case where G is actually a weighted digraph embedded in the plane without crossings. We do not do this here, although it proes ery useful for counting matchings in general planar graphs. of the m n grid graph. Instead, we focus on the case In that case, the aboe argument shows that the number of spanning trees of the m by n grid graph is equal to the number of perfect matchings of the (2m 1) (2n 1) grid graph minus the top right corner. To see this, let be the top right ertex of the m n grid graph embedded in the usual way, and let be ertex representing the infinite face in the dual. Then G G is exactly the (2m 1) (2n 1) grid graph with the top right ertex remoed. In particular, the number of perfect matchings in this graph is τ(b m,n ) = 1 mn (i,j) (0,0) [4 πi m n ]. A trick can be applied to determine the number of perfect matchings in the m n grid when at least one of m and n is een. For instance, in the case that m = 2k 2 is een 6

7 and n = 2l 1 is odd, add to B k,l a new ertex joined to all the rightmost ertices in B k,l this ertex has degree m. Let this graph be G. Then one checks that G G is the m n grid when when is the ertex of G corresponding to the outer face of G. Then the eigenalues of this altered Laplacian are 4 π(2i+1) 2m+1 n and their product oer (i, j) (0, 0) with 0 i m 1 and 0 j n 1 gies the number of spanning trees and hence perfect matchings in the m n grid. We leae it to the reader to decide how to obtain the number of perfect matchings in the m n grid when m and n are both een Asymptotics Define the entropy h(n) = 1 log τ(b n n,n) where τ(b n,n ) is the number of spanning trees of the n n grid. It is natural to consider the logarithm in iew of the product representation of τ(b n,n ) determined aboe. For the infinite grid, one has the eigenalues 4 θ ϕ where 0 θ, ϕ 2π. The entropy conerges to a double integral since it is a Riemann sum, and it conerges as n to 1 2π 4π 2 0 2π 0 [4 θ ϕ]dθdϕ = 4 π ( 1) k = k 2 k=1 Thus the number of spanning trees in the n n grid is roughly n. 7

Laplacian Energy of Graphs

Laplacian Energy of Graphs Laplacian Energy of Graphs Sigma Xi Research Exhibition Claire T. Carney Library Uniersity of Massachusetts Dartmouth April 28 th & 29 th, 2009 Leanne R. Silia & Gary E. Dais Department of Mathematics

More information

A spectral Turán theorem

A spectral Turán theorem A spectral Turán theorem Fan Chung Abstract If all nonzero eigenalues of the (normalized) Laplacian of a graph G are close to, then G is t-turán in the sense that any subgraph of G containing no K t+ contains

More information

Lecture 1. 1 Overview. 2 Maximum Flow. COMPSCI 532: Design and Analysis of Algorithms August 26, 2015

Lecture 1. 1 Overview. 2 Maximum Flow. COMPSCI 532: Design and Analysis of Algorithms August 26, 2015 COMPSCI 532: Design and Analysis of Algorithms August 26, 205 Lecture Lecturer: Debmalya Panigrahi Scribe: Allen Xiao Oeriew In this lecture, we will define the maximum flow problem and discuss two algorithms

More information

Pyramidal Sum Labeling In Graphs

Pyramidal Sum Labeling In Graphs ISSN : 48-96, Vol 8, Issue 4, ( Part -I) April 8, pp-9 RESEARCH ARTICLE Pyramidal Sum Labeling In Graphs OPEN ACCESS HVelet Getzimah, D S T Ramesh ( department Of Mathematics, Pope s College, Sayerpuram-68,Ms

More information

9 - The Combinatorial Nullstellensatz

9 - The Combinatorial Nullstellensatz 9 - The Combinatorial Nullstellensatz Jacques Verstraëte jacques@ucsd.edu Hilbert s nullstellensatz says that if F is an algebraically closed field and f and g 1, g 2,..., g m are polynomials in F[x 1,

More information

Optimization Problems in Multiple Subtree Graphs

Optimization Problems in Multiple Subtree Graphs Optimization Problems in Multiple Subtree Graphs Danny Hermelin Dror Rawitz February 28, 2010 Abstract We study arious optimization problems in t-subtree graphs, the intersection graphs of t- subtrees,

More information

International Journal of Scientific & Engineering Research, Volume 7, Issue 11, November-2016 ISSN Nullity of Expanded Smith graphs

International Journal of Scientific & Engineering Research, Volume 7, Issue 11, November-2016 ISSN Nullity of Expanded Smith graphs 85 Nullity of Expanded Smith graphs Usha Sharma and Renu Naresh Department of Mathematics and Statistics, Banasthali Uniersity, Banasthali Rajasthan : usha.sharma94@yahoo.com, : renunaresh@gmail.com Abstract

More information

1 Counting spanning trees: A determinantal formula

1 Counting spanning trees: A determinantal formula Math 374 Matrix Tree Theorem Counting spanning trees: A determinantal formula Recall that a spanning tree of a graph G is a subgraph T so that T is a tree and V (G) = V (T ) Question How many distinct

More information

Statistical Mechanics and Combinatorics : Lecture IV

Statistical Mechanics and Combinatorics : Lecture IV Statistical Mechanics and Combinatorics : Lecture IV Dimer Model Local Statistics We ve already discussed the partition function Z for dimer coverings in a graph G which can be computed by Kasteleyn matrix

More information

Math 425 Lecture 1: Vectors in R 3, R n

Math 425 Lecture 1: Vectors in R 3, R n Math 425 Lecture 1: Vectors in R 3, R n Motiating Questions, Problems 1. Find the coordinates of a regular tetrahedron with center at the origin and sides of length 1. 2. What is the angle between the

More information

arxiv: v1 [math.co] 10 Jun 2018

arxiv: v1 [math.co] 10 Jun 2018 Some Mixed Graphs Determined by arxi:1806.036341 [math.co] 10 Jun 2018 Their Spectrum S. Akbari a, A. Ghafari a, M. Nahi b and M.A. Nematollahi a a Department of Mathematical Sciences, Sharif Uniersity

More information

Combinatorial and physical content of Kirchhoff polynomials

Combinatorial and physical content of Kirchhoff polynomials Combinatorial and physical content of Kirchhoff polynomials Karen Yeats May 19, 2009 Spanning trees Let G be a connected graph, potentially with multiple edges and loops in the sense of a graph theorist.

More information

Graph G = (V, E). V ={vertices}, E={edges}. V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)}

Graph G = (V, E). V ={vertices}, E={edges}. V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)} Graph Theory Graph G = (V, E). V ={vertices}, E={edges}. a b c h k d g f e V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)} E =16. Digraph D = (V, A). V ={vertices}, E={edges}.

More information

THE MINIMUM MATCHING ENERGY OF BICYCLIC GRAPHS WITH GIVEN GIRTH

THE MINIMUM MATCHING ENERGY OF BICYCLIC GRAPHS WITH GIVEN GIRTH ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 46, Number 4, 2016 THE MINIMUM MATCHING ENERGY OF BICYCLIC GRAPHS WITH GIVEN GIRTH HONG-HAI LI AND LI ZOU ABSTRACT. The matching energy of a graph was introduced

More information

Astrometric Errors Correlated Strongly Across Multiple SIRTF Images

Astrometric Errors Correlated Strongly Across Multiple SIRTF Images Astrometric Errors Correlated Strongly Across Multiple SIRTF Images John Fowler 28 March 23 The possibility exists that after pointing transfer has been performed for each BCD (i.e. a calibrated image

More information

arxiv: v1 [math.co] 25 Apr 2016

arxiv: v1 [math.co] 25 Apr 2016 On the zone complexity of a ertex Shira Zerbib arxi:604.07268 [math.co] 25 Apr 206 April 26, 206 Abstract Let L be a set of n lines in the real projectie plane in general position. We show that there exists

More information

18.312: Algebraic Combinatorics Lionel Levine. Lecture 19

18.312: Algebraic Combinatorics Lionel Levine. Lecture 19 832: Algebraic Combinatorics Lionel Levine Lecture date: April 2, 20 Lecture 9 Notes by: David Witmer Matrix-Tree Theorem Undirected Graphs Let G = (V, E) be a connected, undirected graph with n vertices,

More information

Packing and decomposition of graphs with trees

Packing and decomposition of graphs with trees Packing and decomposition of graphs with trees Raphael Yuster Department of Mathematics University of Haifa-ORANIM Tivon 36006, Israel. e-mail: raphy@math.tau.ac.il Abstract Let H be a tree on h 2 vertices.

More information

UNDERSTAND MOTION IN ONE AND TWO DIMENSIONS

UNDERSTAND MOTION IN ONE AND TWO DIMENSIONS SUBAREA I. COMPETENCY 1.0 UNDERSTAND MOTION IN ONE AND TWO DIMENSIONS MECHANICS Skill 1.1 Calculating displacement, aerage elocity, instantaneous elocity, and acceleration in a gien frame of reference

More information

1 :: Mathematical notation

1 :: Mathematical notation 1 :: Mathematical notation x A means x is a member of the set A. A B means the set A is contained in the set B. {a 1,..., a n } means the set hose elements are a 1,..., a n. {x A : P } means the set of

More information

An Application of the permanent-determinant method: computing the Z-index of trees

An Application of the permanent-determinant method: computing the Z-index of trees Department of Mathematics wtrnumber2013-2 An Application of the permanent-determinant method: computing the Z-index of trees Daryl Deford March 2013 Postal address: Department of Mathematics, Washington

More information

Isoperimetric problems

Isoperimetric problems CHAPTER 2 Isoperimetric problems 2.1. History One of the earliest problems in geometry was the isoperimetric problem, which was considered by the ancient Greeks. The problem is to find, among all closed

More information

CPSC 536N: Randomized Algorithms Term 2. Lecture 9

CPSC 536N: Randomized Algorithms Term 2. Lecture 9 CPSC 536N: Randomized Algorithms 2011-12 Term 2 Prof. Nick Harvey Lecture 9 University of British Columbia 1 Polynomial Identity Testing In the first lecture we discussed the problem of testing equality

More information

5 Flows and cuts in digraphs

5 Flows and cuts in digraphs 5 Flows and cuts in digraphs Recall that a digraph or network is a pair G = (V, E) where V is a set and E is a multiset of ordered pairs of elements of V, which we refer to as arcs. Note that two vertices

More information

Lecture 8: Construction of Expanders

Lecture 8: Construction of Expanders Spectral Graph Theory and Applications WS 0/0 Lecture 8: Construction of Expanders Lecturer: Thomas Sauerwald & He Sun In this lecture we study the explicit constructions of expander graphs. Although we

More information

arxiv: v1 [math.gt] 2 Nov 2010

arxiv: v1 [math.gt] 2 Nov 2010 CONSTRUCTING UNIVERSAL ABELIAN COVERS OF GRAPH MANIFOLDS HELGE MØLLER PEDERSEN arxi:101105551 [mathgt] 2 No 2010 Abstract To a rational homology sphere graph manifold one can associate a weighted tree

More information

1 Reductions from Maximum Matchings to Perfect Matchings

1 Reductions from Maximum Matchings to Perfect Matchings 15-451/651: Design & Analysis of Algorithms November 21, 2013 Lecture #26 last changed: December 3, 2013 When we first studied network flows, we saw how to find maximum cardinality matchings in bipartite

More information

MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM

MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM (FP1) The exclusive or operation, denoted by and sometimes known as XOR, is defined so that P Q is true iff P is true or Q is true, but not both. Prove (through

More information

Probabilistic Proofs of Existence of Rare Events. Noga Alon

Probabilistic Proofs of Existence of Rare Events. Noga Alon Probabilistic Proofs of Existence of Rare Events Noga Alon Department of Mathematics Sackler Faculty of Exact Sciences Tel Aviv University Ramat-Aviv, Tel Aviv 69978 ISRAEL 1. The Local Lemma In a typical

More information

NP and NP-Completeness

NP and NP-Completeness 0/2/206 Algorithms NP-Completeness 7- Algorithms NP-Completeness 7-2 Efficient Certification NP and NP-Completeness By a solution of a decision problem X we understand a certificate witnessing that an

More information

A = A U. U [n] P(A U ). n 1. 2 k(n k). k. k=1

A = A U. U [n] P(A U ). n 1. 2 k(n k). k. k=1 Lecture I jacques@ucsd.edu Notation: Throughout, P denotes probability and E denotes expectation. Denote (X) (r) = X(X 1)... (X r + 1) and let G n,p denote the Erdős-Rényi model of random graphs. 10 Random

More information

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

(x 1 +x 2 )(x 1 x 2 )+(x 2 +x 3 )(x 2 x 3 )+(x 3 +x 1 )(x 3 x 1 ). CMPSCI611: Verifying Polynomial Identities Lecture 13 Here is a problem that has a polynomial-time randomized solution, but so far no poly-time deterministic solution. Let F be any field and let Q(x 1,...,

More information

A NEW INTERPRETATION OF THE MATRIX TREE THEOREM USING WEAK WALK CONTRIBUTORS AND CIRCLE ACTIVATION HONORS THESIS

A NEW INTERPRETATION OF THE MATRIX TREE THEOREM USING WEAK WALK CONTRIBUTORS AND CIRCLE ACTIVATION HONORS THESIS A NEW INTERPRETATION OF THE MATRIX TREE THEOREM USING WEAK WALK CONTRIBUTORS AND CIRCLE ACTIVATION HONORS THESIS Presented to the Honors College of Texas State University in Partial Fulfillment of the

More information

Xihe Li, Ligong Wang and Shangyuan Zhang

Xihe Li, Ligong Wang and Shangyuan Zhang Indian J. Pre Appl. Math., 49(1): 113-127, March 2018 c Indian National Science Academy DOI: 10.1007/s13226-018-0257-8 THE SIGNLESS LAPLACIAN SPECTRAL RADIUS OF SOME STRONGLY CONNECTED DIGRAPHS 1 Xihe

More information

Rapidly mixing Markov chains

Rapidly mixing Markov chains Randomized and Approximation Algorithms Leonard Schulman Scribe: Rajneesh Hegde Georgia Tech, Fall 997 Dec., 997 Rapidly mixing Marko chains Goal: To sample from interesting probability distributions.

More information

Scalar multiplication and algebraic direction of a vector

Scalar multiplication and algebraic direction of a vector Roberto s Notes on Linear Algebra Chapter 1: Geometric ectors Section 5 Scalar multiplication and algebraic direction of a ector What you need to know already: of a geometric ectors. Length and geometric

More information

Laplacians of Graphs, Spectra and Laplacian polynomials

Laplacians of Graphs, Spectra and Laplacian polynomials Laplacians of Graphs, Spectra and Laplacian polynomials Lector: Alexander Mednykh Sobolev Institute of Mathematics Novosibirsk State University Winter School in Harmonic Functions on Graphs and Combinatorial

More information

Linear algebra and applications to graphs Part 1

Linear 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 information

The number of Euler tours of random directed graphs

The number of Euler tours of random directed graphs The number of Euler tours of random directed graphs Páidí Creed School of Mathematical Sciences Queen Mary, University of London United Kingdom P.Creed@qmul.ac.uk Mary Cryan School of Informatics University

More information

Combinatorial Optimization

Combinatorial Optimization Combinatorial Optimization Problem set 8: solutions 1. Fix constants a R and b > 1. For n N, let f(n) = n a and g(n) = b n. Prove that f(n) = o ( g(n) ). Solution. First we observe that g(n) 0 for all

More information

COUNTING AND ENUMERATING SPANNING TREES IN (di-) GRAPHS

COUNTING AND ENUMERATING SPANNING TREES IN (di-) GRAPHS COUNTING AND ENUMERATING SPANNING TREES IN (di-) GRAPHS Xuerong Yong Version of Feb 5, 9 pm, 06: New York Time 1 1 Introduction A directed graph (digraph) D is a pair (V, E): V is the vertex set of D,

More information

ACO Comprehensive Exam October 14 and 15, 2013

ACO Comprehensive Exam October 14 and 15, 2013 1. Computability, Complexity and Algorithms (a) Let G be the complete graph on n vertices, and let c : V (G) V (G) [0, ) be a symmetric cost function. Consider the following closest point heuristic for

More information

Lecture 22: Counting

Lecture 22: Counting CS 710: Complexity Theory 4/8/2010 Lecture 22: Counting Instructor: Dieter van Melkebeek Scribe: Phil Rydzewski & Chi Man Liu Last time we introduced extractors and discussed two methods to construct them.

More information

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

Using Laplacian Eigenvalues and Eigenvectors in the Analysis of Frequency Assignment Problems Using Laplacian Eigenvalues and Eigenvectors in the Analysis of Frequency Assignment Problems Jan van den Heuvel and Snežana Pejić Department of Mathematics London School of Economics Houghton Street,

More information

Enumeration of domino tilings of a double Aztec rectangle

Enumeration of domino tilings of a double Aztec rectangle Enumeration of domino tilings of a double Aztec rectangle University of Nebraska Lincoln Lincoln, NE 68505 AMS Fall Central Sectional Meeting University of St. Thomas Minneapolis, MN, October 30, 2015

More information

Discrete Mathematics & Mathematical Reasoning Course Overview

Discrete Mathematics & Mathematical Reasoning Course Overview Discrete Mathematics & Mathematical Reasoning Course Overview Colin Stirling Informatics Colin Stirling (Informatics) Discrete Mathematics Today 1 / 19 Teaching staff Lecturers: Colin Stirling, first half

More information

Laplacians of Graphs, Spectra and Laplacian polynomials

Laplacians of Graphs, Spectra and Laplacian polynomials Mednykh A. D. (Sobolev Institute of Math) Laplacian for Graphs 27 June - 03 July 2015 1 / 30 Laplacians of Graphs, Spectra and Laplacian polynomials Alexander Mednykh Sobolev Institute of Mathematics Novosibirsk

More information

Trees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic).

Trees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic). Trees A tree is a graph which is (a) Connected and (b) has no cycles (acyclic). 1 Lemma 1 Let the components of G be C 1, C 2,..., C r, Suppose e = (u, v) / E, u C i, v C j. (a) i = j ω(g + e) = ω(g).

More information

Advanced Combinatorial Optimization Feb 13 and 25, Lectures 4 and 6

Advanced Combinatorial Optimization Feb 13 and 25, Lectures 4 and 6 18.438 Advanced Combinatorial Optimization Feb 13 and 25, 2014 Lectures 4 and 6 Lecturer: Michel X. Goemans Scribe: Zhenyu Liao and Michel X. Goemans Today, we will use an algebraic approach to solve the

More information

The complexity of acyclic subhypergraph problems

The complexity of acyclic subhypergraph problems The complexity of acyclic subhypergraph problems David Duris and Yann Strozecki Équipe de Logique Mathématique (FRE 3233) - Université Paris Diderot-Paris 7 {duris,strozecki}@logique.jussieu.fr Abstract.

More information

Notes on the Matrix-Tree theorem and Cayley s tree enumerator

Notes on the Matrix-Tree theorem and Cayley s tree enumerator Notes on the Matrix-Tree theorem and Cayley s tree enumerator 1 Cayley s tree enumerator Recall that the degree of a vertex in a tree (or in any graph) is the number of edges emanating from it We will

More information

Combinatorial Optimization

Combinatorial Optimization Combinatorial Optimization 2017-2018 1 Maximum matching on bipartite graphs Given a graph G = (V, E), find a maximum cardinal matching. 1.1 Direct algorithms Theorem 1.1 (Petersen, 1891) A matching M is

More information

ALGEBRAIC TOPOLOGY IV. Definition 1.1. Let A, B be abelian groups. The set of homomorphisms ϕ: A B is denoted by

ALGEBRAIC TOPOLOGY IV. Definition 1.1. Let A, B be abelian groups. The set of homomorphisms ϕ: A B is denoted by ALGEBRAIC TOPOLOGY IV DIRK SCHÜTZ 1. Cochain complexes and singular cohomology Definition 1.1. Let A, B be abelian groups. The set of homomorphisms ϕ: A B is denoted by Hom(A, B) = {ϕ: A B ϕ homomorphism}

More information

Tree Decomposition of Graphs

Tree Decomposition of Graphs Tree Decomposition of Graphs Raphael Yuster Department of Mathematics University of Haifa-ORANIM Tivon 36006, Israel. e-mail: raphy@math.tau.ac.il Abstract Let H be a tree on h 2 vertices. It is shown

More information

Discrete Applied Mathematics

Discrete Applied Mathematics Discrete Applied Mathematics 194 (015) 37 59 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: wwwelseviercom/locate/dam Loopy, Hankel, and combinatorially skew-hankel

More information

Cluster Variables and Perfect Matchings of Subgraphs of the dp 3 Lattice

Cluster Variables and Perfect Matchings of Subgraphs of the dp 3 Lattice Cluster Variables and Perfect Matchings of Subgraphs of the dp Lattice Sicong Zhang October 8, 0 Abstract We give a combinatorial intepretation of cluster variables of a specific cluster algebra under

More information

Proof of a generalization of Aztec diamond theorem

Proof of a generalization of Aztec diamond theorem Proof of a generalization of Aztec diamond theorem Institute for Mathematics and its Applications University of Minnesota Minneapolis, MN 55455 December 5, 2014 Aztec Diamond Theorem Definition The Aztec

More information

arxiv: v3 [math.co] 20 Sep 2016

arxiv: v3 [math.co] 20 Sep 2016 PLANAR GRAPHS ARE 9/-COLORABLE DANIEL W. CRANSTON AND LANDON RABERN arxi:0.7 [math.co] 0 Sep 06 Abstract. We show that eery planar graph G has a -fold 9-coloring. In particular, this implies that G has

More information

A reciprocity theorem for domino tilings

A reciprocity theorem for domino tilings A reciprocity theorem for domino tilings James Propp Department of Mathematics University of Wisconsin Madison, Wisconsin, USA propp@math.wisc.edu Submitted: April 1, 2001; Accepted: April 30, 2001 MR

More information

Graphs and Networks Lecture 5. PageRank. Lecturer: Daniel A. Spielman September 20, 2007

Graphs and Networks Lecture 5. PageRank. Lecturer: Daniel A. Spielman September 20, 2007 Graphs and Networks Lectre 5 PageRank Lectrer: Daniel A. Spielman September 20, 2007 5.1 Intro to PageRank PageRank, the algorithm reportedly sed by Google, assigns a nmerical rank to eery web page. More

More information

An Explicit Lower Bound of 5n o(n) for Boolean Circuits

An Explicit Lower Bound of 5n o(n) for Boolean Circuits An Eplicit Lower Bound of 5n o(n) for Boolean Circuits Kazuo Iwama, Oded Lachish, Hiroki Morizumi, and Ran Raz Graduate School of Informatics, Kyoto Uniersity, Kyoto, JAPAN {iwama, morizumi}@kuis.kyoto-u.ac.jp

More information

Patterns of Non-Simple Continued Fractions

Patterns of Non-Simple Continued Fractions Patterns of Non-Simple Continued Fractions Jesse Schmieg A final report written for the Uniersity of Minnesota Undergraduate Research Opportunities Program Adisor: Professor John Greene March 01 Contents

More information

The Evolution of Grötzsch s Theorem

The Evolution of Grötzsch s Theorem The Eolution of Grötzsch s Theorem Lauren DeDieu September 26, 2011 A thesis submitted in partial fulfillment of the requirements for MATH 490, in the department of Mathematics, Physics and Geology, Cape

More information

A Blossoming Algorithm for Tree Volumes of Composite Digraphs

A Blossoming Algorithm for Tree Volumes of Composite Digraphs A Blossoming Algorithm for Tree Volumes of Composite Digraphs Victor J. W. Guo Center for Combinatorics, LPMC, Nankai University, Tianjin 30007, People s Republic of China Email: jwguo@eyou.com Abstract.

More information

arxiv: v1 [math.co] 20 Dec 2016

arxiv: v1 [math.co] 20 Dec 2016 F-POLYNOMIAL FORMULA FROM CONTINUED FRACTIONS MICHELLE RABIDEAU arxiv:1612.06845v1 [math.co] 20 Dec 2016 Abstract. For cluster algebras from surfaces, there is a known formula for cluster variables and

More information

Sampling Binary Contingency Tables with a Greedy Start

Sampling Binary Contingency Tables with a Greedy Start Sampling Binary Contingency Tables with a Greedy Start Iona Bezákoá Nayantara Bhatnagar Eric Vigoda Abstract We study the problem of counting and randomly sampling binary contingency tables. For gien row

More information

ALTERNATING KNOT DIAGRAMS, EULER CIRCUITS AND THE INTERLACE POLYNOMIAL

ALTERNATING KNOT DIAGRAMS, EULER CIRCUITS AND THE INTERLACE POLYNOMIAL ALTERNATING KNOT DIAGRAMS, EULER CIRCUITS AND THE INTERLACE POLYNOMIAL P. N. BALISTER, B. BOLLOBÁS, O. M. RIORDAN AND A. D. SCOTT Abstract. We show that two classical theorems in graph theory and a simple

More information

ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS

ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 4 (2004), #A21 ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS Sergey Kitaev Department of Mathematics, University of Kentucky,

More information

Recall: Matchings. Examples. K n,m, K n, Petersen graph, Q k ; graphs without perfect matching

Recall: Matchings. Examples. K n,m, K n, Petersen graph, Q k ; graphs without perfect matching Recall: Matchings A matching is a set of (non-loop) edges with no shared endpoints. The vertices incident to an edge of a matching M are saturated by M, the others are unsaturated. A perfect matching of

More information

The optimal pebbling number of the complete m-ary tree

The optimal pebbling number of the complete m-ary tree Discrete Mathematics 222 (2000) 89 00 www.elseier.com/locate/disc The optimal pebbling number of the complete m-ary tree Hung-Lin Fu, Chin-Lin Shiue Department of Applied Mathematics, National Chiao Tung

More information

Theory of Network Communication

Theory of Network Communication Theory of Network Communication Dr. Christian Scheideler Johns Hopkins Uniersity, Sept. 9 2002 Introduction The goal of this lecture is to gie an introduction to the state of the art in the theory of network

More information

Long Monochromatic Cycles in Edge-Colored Complete Graphs

Long Monochromatic Cycles in Edge-Colored Complete Graphs Long Monochromatic Cycles in Edge-Colored Complete Graphs Linda Lesniak lindalesniak@gmail.com Drew Uniersity and Western Michigan Uniersity May 2012 L. Lesniak (Drew, WMU) Long Monochromatic Cycles May

More information

arxiv: v2 [math.gr] 17 Dec 2017

arxiv: v2 [math.gr] 17 Dec 2017 The complement of proper power graphs of finite groups T. Anitha, R. Rajkumar arxiv:1601.03683v2 [math.gr] 17 Dec 2017 Department of Mathematics, The Gandhigram Rural Institute Deemed to be University,

More information

Math 5707: Graph Theory, Spring 2017 Midterm 3

Math 5707: Graph Theory, Spring 2017 Midterm 3 University of Minnesota Math 5707: Graph Theory, Spring 2017 Midterm 3 Nicholas Rancourt (edited by Darij Grinberg) December 25, 2017 1 Exercise 1 1.1 Problem Let G be a connected multigraph. Let x, y,

More information

1 Basic Combinatorics

1 Basic Combinatorics 1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set

More information

A Lower Bound for the Size of Syntactically Multilinear Arithmetic Circuits

A Lower Bound for the Size of Syntactically Multilinear Arithmetic Circuits A Lower Bound for the Size of Syntactically Multilinear Arithmetic Circuits Ran Raz Amir Shpilka Amir Yehudayoff Abstract We construct an explicit polynomial f(x 1,..., x n ), with coefficients in {0,

More information

On diamond-free subposets of the Boolean lattice

On diamond-free subposets of the Boolean lattice On diamond-free subposets of the Boolean lattice Lucas Kramer, Ryan R Martin, Michael Young 2 Department of Mathematics, Iowa State Uniersity, Ames, Iowa 500 Abstract The Boolean lattice of dimension two,

More information

The Pentagram map: a discrete integrable system

The Pentagram map: a discrete integrable system The Pentagram map: a discrete integrable system Valentin Osienko Richard Schwartz Serge Tabachniko Abstract The pentagram map is a projectiely natural transformation defined on (twisted) polygons. A twisted

More information

Network Flow Problems Luis Goddyn, Math 408

Network Flow Problems Luis Goddyn, Math 408 Network Flow Problems Luis Goddyn, Math 48 Let D = (V, A) be a directed graph, and let s, t V (D). For S V we write δ + (S) = {u A : u S, S} and δ (S) = {u A : u S, S} for the in-arcs and out-arcs of S

More information

The adjacent vertex-distinguishing total chromatic number of 1-tree

The adjacent vertex-distinguishing total chromatic number of 1-tree The adjacent ertex-distinguishing total chromatic number of 1-tree Haiying Wang The School of Information Engineering China Uniersity of Geosciences(Beijing) Beijing 100083, P.R.China Abstract Let G =

More information

Acyclic Digraphs arising from Complete Intersections

Acyclic Digraphs arising from Complete Intersections Acyclic Digraphs arising from Complete Intersections Walter D. Morris, Jr. George Mason University wmorris@gmu.edu July 8, 2016 Abstract We call a directed acyclic graph a CI-digraph if a certain affine

More information

5. Biconnected Components of A Graph

5. Biconnected Components of A Graph 5. Biconnected Components of A Graph If one city s airport is closed by bad eather, can you still fly beteen any other pair of cities? If one computer in a netork goes don, can a message be sent beteen

More information

The Budgeted Minimum Cost Flow Problem with Unit Upgrading Cost

The Budgeted Minimum Cost Flow Problem with Unit Upgrading Cost The Budgeted Minimum Cost Flow Problem with Unit Upgrading Cost Christina Büsing Sarah Kirchner Arie Koster Annika Thome October 6, 2015 Abstract The budgeted minimum cost flow problem (BMCF(K)) with unit

More information

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)}

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)} Preliminaries Graphs G = (V, E), V : set of vertices E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) 1 2 3 5 4 V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)} 1 Directed Graph (Digraph)

More information

Matching Polynomials of Graphs

Matching Polynomials of Graphs 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

More information

Review of Matrices and Vectors 1/45

Review of Matrices and Vectors 1/45 Reiew of Matrices and Vectors /45 /45 Definition of Vector: A collection of comple or real numbers, generally put in a column [ ] T "! Transpose + + + b a b a b b a a " " " b a b a Definition of Vector

More information

2 hours THE UNIVERSITY OF MANCHESTER. 6 June :45 11:45

2 hours THE UNIVERSITY OF MANCHESTER. 6 June :45 11:45 2 hours THE UNIVERSITY OF MANCHESTER DISCRETE MATHEMATICS 6 June 2016 9:45 11:45 Answer ALL THREE questions in Section A (30 marks in total) and TWO of the THREE questions in Section B (50 marks in total).

More information

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

are the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1). Lecture A jacques@ucsd.edu Notation: N, R, Z, F, C naturals, reals, integers, a field, complex numbers. p(n), S n,, b(n), s n, partition numbers, Stirling of the second ind, Bell numbers, Stirling of the

More information

Spanning Trees in Grid Graphs

Spanning Trees in Grid Graphs Spanning Trees in Grid Graphs Paul Raff arxiv:0809.2551v1 [math.co] 15 Sep 2008 July 25, 2008 Abstract A general method is obtained for finding recurrences involving the number of spanning trees of grid

More information

DECOMPOSING 4-REGULAR GRAPHS INTO TRIANGLE-FREE 2-FACTORS

DECOMPOSING 4-REGULAR GRAPHS INTO TRIANGLE-FREE 2-FACTORS SIAMJ.DISCRETE MATH. c 1997 Society for Industrial and Applied Mathematics Vol. 10, No. 2, pp. 309 317, May 1997 011 DECOMPOSING 4-REGULAR GRAPHS INTO TRIANGLE-FREE 2-FACTORS EDWARD BERTRAM AND PETER HORÁK

More information

Topics in Graph Theory

Topics in Graph Theory Topics in Graph Theory September 4, 2018 1 Preliminaries A graph is a system G = (V, E) consisting of a set V of vertices and a set E (disjoint from V ) of edges, together with an incidence function End

More information

arxiv: v1 [math.co] 19 Aug 2016

arxiv: v1 [math.co] 19 Aug 2016 THE EXCHANGE GRAPHS OF WEAKLY SEPARATED COLLECTIONS MEENA JAGADEESAN arxiv:1608.05723v1 [math.co] 19 Aug 2016 Abstract. Weakly separated collections arise in the cluster algebra derived from the Plücker

More information

Laplacian Integral Graphs with Maximum Degree 3

Laplacian Integral Graphs with Maximum Degree 3 Laplacian Integral Graphs with Maximum Degree Steve Kirkland Department of Mathematics and Statistics University of Regina Regina, Saskatchewan, Canada S4S 0A kirkland@math.uregina.ca Submitted: Nov 5,

More information

OVERVIEW OF TATE S THESIS

OVERVIEW OF TATE S THESIS OVERVIEW O TATE S THESIS ALEX MINE Abstract. This paper gies an oeriew of the main idea of John Tate s 1950 PhD thesis. I will explain the methods he used without going into too much technical detail.

More information

Finding Paths in Grids with Forbidden Transitions

Finding Paths in Grids with Forbidden Transitions Finding Paths in Grids with Forbidden Transitions M. M. Kanté 1, F. Z. Moataz 2,3, B. Momège 2,3, and N. Nisse 3,2 1 Uni. Blaise Pascal, LIMOS, CNRS, Clermont-Ferrand, France 2 Uni. Nice Sophia Antipolis,

More information

CHARACTERISING VERTEX-STAR TRANSITIVE AND EDGE-STAR TRANSITIVE GRAPHS

CHARACTERISING VERTEX-STAR TRANSITIVE AND EDGE-STAR TRANSITIVE GRAPHS CHARACTERISING VERTEX-STAR TRANSITIVE AND EDGE-STAR TRANSITIVE GRAPHS MICHAEL GIUDICI, CAI HENG LI, ÁKOS SERESS, AND ANNE THOMAS Dedicated to our friend, colleague and coauthor Ákos Seress who passed away

More information

DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS

DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent

More information

Partial cubes: structures, characterizations, and constructions

Partial cubes: structures, characterizations, and constructions Partial cubes: structures, characterizations, and constructions Sergei Ovchinnikov San Francisco State University, Mathematics Department, 1600 Holloway Ave., San Francisco, CA 94132 Abstract Partial cubes

More information

REVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms

REVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms REVIEW QUESTIONS Chapter 1: Foundations: Sets, Logic, and Algorithms 1. Why can t a Venn diagram be used to prove a statement about sets? 2. Suppose S is a set with n elements. Explain why the power set

More information

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

ORIE 6334 Spectral Graph Theory September 8, Lecture 6. In order to do the first proof, we need to use the following fact. ORIE 6334 Spectral Graph Theory September 8, 2016 Lecture 6 Lecturer: David P. Williamson Scribe: Faisal Alkaabneh 1 The Matrix-Tree Theorem In this lecture, we continue to see the usefulness of the graph

More information