Lecture J. 10 Counting subgraphs Kirchhoff s Matrix-Tree Theorem.
|
|
- Loren Reynolds
- 6 years ago
- Views:
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 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 informationA 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 informationLecture 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 informationPyramidal 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 information9 - 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 informationOptimization 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 informationInternational 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 information1 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 informationStatistical 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 informationMath 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 informationarxiv: 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 informationCombinatorial 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 informationGraph 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 informationTHE 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 informationAstrometric 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 informationarxiv: 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 information18.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 informationPacking 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 informationUNDERSTAND 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 information1 :: 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 informationAn 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 informationIsoperimetric 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 informationCPSC 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 information5 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 informationLecture 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 informationarxiv: 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 information1 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 informationMATH 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 informationProbabilistic 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 informationNP 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 informationA = 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 ).
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 informationA 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 informationXihe 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 informationRapidly 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 informationScalar 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 informationLaplacians 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 informationLinear 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 informationThe 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 informationCombinatorial 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 informationCOUNTING 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 informationACO 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 informationLecture 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 informationUsing 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 informationEnumeration 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 informationDiscrete 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 informationLaplacians 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 informationTrees. 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 informationAdvanced 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 informationThe 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 informationNotes 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 informationCombinatorial 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 informationALGEBRAIC 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 informationTree 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 informationDiscrete 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 informationCluster 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 informationProof 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 informationarxiv: 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 informationA 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 informationGraphs 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 informationAn 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 informationPatterns 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 informationThe 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 informationA 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 informationarxiv: 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 informationSampling 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 informationALTERNATING 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 informationON 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 informationRecall: 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 informationThe 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 informationTheory 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 informationLong 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 informationarxiv: 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 informationMath 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 information1 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 informationA 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 informationOn 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 informationThe 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 informationNetwork 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 informationThe 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 informationAcyclic 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 information5. 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 informationThe 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 informationPreliminaries. 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 informationMatching 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 informationReview 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 information2 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 informationare 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 informationSpanning 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 informationDECOMPOSING 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 informationTopics 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 informationarxiv: 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 informationLaplacian 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 informationOVERVIEW 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 informationFinding 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 informationCHARACTERISING 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 informationDISCRETIZED 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 informationPartial 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 informationREVIEW 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 informationORIE 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