MATRIX INTEGRALS AND MAP ENUMERATION 1

Size: px
Start display at page:

Download "MATRIX INTEGRALS AND MAP ENUMERATION 1"

Transcription

1 MATRIX INTEGRALS AND MAP ENUMERATION 1 IVAN CORWIN Abstract. We explore the connection between integration with respect to the GUE and enumeration of maps. This connection is faciliated by the Wick Formula. Random matrix integration methods provide an important tool is deriving exact formulas and recurrence relations for certain important enumerative quantities. Connections exist with QFT and QCD which are not explored. Much of this material is from the article Matrix Integrals and Map Enumeration by A. Zvonkin, as well as from the maps book by Lando and Zvonkin. 1. Wick formula and GUE 1.1. Wick formula. (1) Given a (centered) Gaussian measure µ on R n it can be written in terms of its covariance matrix C as dµ(x) = cexp{ 1 2 (Bx,x)}dx where c = (2π) n/2 (det B) 1/2 and where B = C 1. (2) The matrix C gives covariances so that x i x j = c ij. (3) If f(x) is a monomial of odd degree, then f = 0 (by symmetry of µ). Theorem 1.1 (Wick formula). Let f 1,f 2,...,f 2k be a set of linear functions (not necessarily different) of x 1,...,x n. Then, f 1 f 2 f 2k = f p1 f q1 f p2 f q2 f pk f qk, where the sum is taken over all permutations p 1 q 1 p 2 q 2 p k q k of the set of indices 1,2,...,2k such that p 1 < p 2 < < p k and p i < q i for all i. There are a total of (2k 1)!! = (2k 1) terms to sum over, and each such permutation is known as a Wick coupling. (4) Compute the 2k th moment of the standard one-dimensional Gaussian measure to be (2k 1)!!. (5) Proof idea is to express the moment generating function in terms of the coefficients for the Taylor series of the log of the moment generating function which happens to terminate after quadratic terms The GUE. (1) The Gaussian Unitary Ensemble (GUE) is a Gaussian measure on the space of Hermitian matrices. Let H = (h ij ) be a N N Hermitian matrix (h ij = h ji ) and denote H N the space of all such matrices. As a vector space this is isomorphic to R N2 where we set x ij = R(h ij ) and y ij = I(h ij ) for 1 i < j N and x ii = h ii, where the x and y are real parameters. Let dv(h) be the Lebesgue measure on this real vector space N dv(h) := dx ii dx ij dy ij. Date: October 17, i<j 1

2 MATRIX INTEGRALS AND MAP ENUMERATION 1 2 We fix a quadratic form tr(h 2 ) and compute the matrix B for this form: tr(h 2 ) = N h ij h ji = i,j=1 N h ij h ij = i,j=1 N x 2 ii + i j (x 2 ij + y2 ij ) = N x i i i<j (x 2 ij + y2 ij ), so B has N ones on the diagonal, followed by N 2 N twos on the diagonal, and no off diagonal terms. Therefore detb = 2 N2 N. Using this quadratic form we have { dµ(h) = (2π) N2 /2 2 (N2 N)/2 exp 1 } 2 tr(h2 ) dv(h). Lemma 1.2. With respect to the measure µ above we have h ij h ji = 1 while all other second moments are zero. (2) Calculating tr(h 2n ) using Wicks formula: We can write tr(h 2n ) = h i1 i 2 h i2 i 3 h i2n 1 i 2n h i2n i 1 where we sum over all N 2n values for the indices. To calculate expectations we may use Wicks formula and the lemma above. (3) Example for n = 4: We first choose some Wicks coupling for the eight terms in the trace product. Lets couple as follows h i1 i 2 h i4 i 5 h i2 i 3 h i5 i 6 h i3 i 4 h i8 i 1 h i6 i 7 h i7 i 8. Now determine what conditions are necessary for this product not to be zero. From the Lemma, From this we can read off that h i1 i 2 h i4 i 5 = 1 i 1 = i 5, i 2 = i 4, h i2 i 3 h i5 i 6 = 1 i 2 = i 6, i 3 = i 5, h i3 i 4 h i8 i 1 = 1 i 3 = i 1, i 4 = i 8, h i6 i 7 h i7 i 8 = 1 i 6 = i 8, i 7 = i 7. i 1 = i 5 = i 3 = i 1, i 2 = i 4 = i 8 = i 6 = i 2, i 7 = i 7. Thus there are only N V combinations of indices, where V = 3 is the number of free indices. If we sum over all Wick couplings and determine the contribution of each, we get our desired answer. (4) We can represent this Wick coupling graphically as in the figure above. We will see that every Wicks coupling corresponds with a way of gluing a 2k polygon, and that the power of N will correspond with the number of vertices in the resulting map. This connection will allow us to solve certain combinatorial enumeration problems using the analytic tools of random matrix integrals we will soon develop. 2. Maps 2.1. Definition and properties. (1) A map is a graph imbedded into a compact oriented surface so that edges do not intersect, vertices are distinct, and the complement of the graph is a disjoint union of disks (the faces of the map).

3 MATRIX INTEGRALS AND MAP ENUMERATION 1 3 ded_figure Figure 1. A polygon representation for the Wicks coupling ross_roads (2) The degree of a vertex is the number of edges incident to it (a loop is incident twice) and the degree of a face is the number of boundary edges. (3) The quantity χ = V E + F = 2 2g depends on the genus g of the surface on which the map is drawn, and not on the actual map itself. (4) Can draw maps using darts, half edges, fat ribbons, or directed arrows. (5) From a map we can create a dual map (6) There are many ways of create a map: (a) You can start with a graph and then specify a cyclic ordering of the edges arond each vertex. This uniquely determines a map. There are v (d v 1)! such cyclic orderings (d v is the degree of vertex v). (b) You can start with a collection of oriented faces and then glue edges together respecting the orientation. (c) Dual to this you can start with a collection of round-abouts and glue these together respecting traffic flow direction. Figure 2. A round-about 2.2. Enumerating one face maps. (1) Consider a 2n-gon and fix an orientation (clockwise) and label vertices i 1,i 2,...,i 2n (or just fix a marked vertex). Could, dually, consider a 2n star. (2) There are (2n 1)!! different possible gluing and hence that many possible maps. We would like to enumerate them in terms of their genus. Clearly the maximal genus is n/2. Let ǫ g (n) := #(gluing of 2n-gon of genus g). We know n/2 g=0 ǫ g(n) = (2n 1)!!.

4 MATRIX INTEGRALS AND MAP ENUMERATION 1 4 (3) From the Euler characteristic, we know that F = 1, E = k so V = n + 1 2g. (4) What is ǫ 0 (n)? It is none-other-than the Catalan numbers C n = 1 ( ) 2n. 1 + n n A genus zero map correspond with a resulting graph which is a tree and come from non-crossing partitions of the edges Connection with GUE. (1) We graphically represent tr(h 2n ) by a polygon with 2n sides and vertices i 1 through i 2n labeled clockwise. For each of the (2n 1)!! Wick couplings we associate a gluing of edges. The number V of free indices in the Wick coupling is equal to the number of vertices of the resulting map. The contribution of the coupling is N V or equivalently N n+1 2g. This is also known as a Feynman diagram. Theorem 2.1. Let T n (N) be T n (N) := tr(h 2n ) = tr(h 2n )dµ(h). H N Then (2) Let T n (N) = n/2 g=0 n/2 ǫ g (n)n k+1 2g = N k+1 g=0 ( ) 1 g ǫ g (n) N 2, where ǫ g (n) is the number of label one-face maps of genus g with n edges. T(N,s) = 1 + 2Ns + 2s n=1 T n (N) (2n 1)!! sn. Then we can determine what the ǫ g (n) are from the following result Theorem 2.2. The generating function T(N,s) is equal to ( ) 1 + s N T(N,s) =. 1 s From this we have that the numbers ǫ g (n) satisfy the recurrence relation (n + 2)ǫ g (n + 1) = (4n + 2)ǫ g (n) + (4n 3 n)ǫ g 1 (n 1) where ǫ g (0) = 1 for g = 0 and 0 otherwise. We will show how to prove this next week. 3. Other enumeration problems and their relationships with matrix integrals 3.1. Arbitrary (finite) gluing. (1) We can either glue edges or glue pairs of arrows, since these are dual to each other. (2) Consider a collection of m polygons with α 1,...,α m edges each. Orient each one and fix a marked vertex (or a fixed set of indices). Consider the collection of gluing and the resulting maps. Not all maps will be connected. and therefore define the number of vertices for a (possibly non-connected) map resulting from a gluing σ to be the sum over all connected components of the number of vertices.

5 MATRIX INTEGRALS AND MAP ENUMERATION 1 5 Theorem 3.1. We have s N V (σ) = tr Hi α σ where the sum is over all possible gluing of edges. (3) Work out examples: A single square; two 2-gons; a square and a 2-gon, two loops, a square and a loop, etc. (have a sheet of these examples worked out) 3.2. Enumerating quadrangulations. (1) Consider gluing of n squares. The enumeration of the numbers of vertices in the resulting maps is given by F n (N) = tr(h 4 ) n = N F(σ). σ (2) If we want to enumerate just connected maps, this just won t do. However, there is a way to go from maps to connected maps. (3) Owing to a general enumerative combinatoric theorem, we can go between general and connected maps, however, if we look to the exponential generating function for F n (N), considered as a series in n. Let 1 F(s,N) = n! F n(n)s n be the exponential generating function for F n (N). Now define C n (N) to be n=0 C n (N) = σ c N F(σc) where σ c is restricted to all gluing which result in a connected map. Let 1 C(s,N) = n! C n(n)s n n=0 be the exponential generating function for C n (N). Then Proposition 3.2. The exponential generating functions F(s, N) and C(s, N) are related by log(f(s,n)) = C(s,N). (4) Observe that F( t,n) = e t tr H4. Therefore by studying this expectation and in particular its log, we can learn about enumeration connected maps which are quadrangulations. More on this next week. I. Corwin, Courant Institute of the Mathematical Sciences, New York University, 251 Mercer Street, New York, NY 10012, USA address: corwin@cims.nyu.edu

arxiv: v1 [math.co] 4 Sep 2017

arxiv: v1 [math.co] 4 Sep 2017 Abstract Maximal chord diagrams up to all isomorphisms are enumerated. The enumerating formula is based on a bijection between rooted one-vertex one-face maps on locally orientable surfaces andacertain

More information

Enumerating Graphs Using Integrals From Quantum Field Theory

Enumerating Graphs Using Integrals From Quantum Field Theory Georgia Southern University Digital Commons@Georgia Southern Electronic Theses and Dissertations Graduate Studies, Jack N. Averitt College of Summer 2015 Enumerating Graphs Using Integrals From Quantum

More information

6.2 Classification of Closed Surfaces

6.2 Classification of Closed Surfaces Table 6.1: A polygon diagram 6.1.2 Second Proof: Compactifying Teichmuller Space 6.2 Classification of Closed Surfaces We saw that each surface has a triangulation. Compact surfaces have finite triangulations.

More information

Part II. Graph Theory. Year

Part II. Graph Theory. Year Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 53 Paper 3, Section II 15H Define the Ramsey numbers R(s, t) for integers s, t 2. Show that R(s, t) exists for all s,

More information

Planar Graphs. 1 Graphs and maps. 1.1 Planarity and duality

Planar Graphs. 1 Graphs and maps. 1.1 Planarity and duality Planar Graphs In the first half of this book, we consider mostly planar graphs and their geometric representations, mostly in the plane. We start with a survey of basic results on planar graphs. This chapter

More information

The Graphs of Triangulations of Polygons

The Graphs of Triangulations of Polygons The Graphs of Triangulations of Polygons Matthew O Meara Research Experience for Undergraduates Summer 006 Basic Considerations Let Γ(n) be the graph with vertices being the labeled planar triangulation

More information

Coloring. Radhika Gupta. Problem 1. What is the chromatic number of the arc graph of a polygonal disc of N sides?

Coloring. Radhika Gupta. Problem 1. What is the chromatic number of the arc graph of a polygonal disc of N sides? Coloring Radhika Gupta 1 Coloring of A N Let A N be the arc graph of a polygonal disc with N sides, N > 4 Problem 1 What is the chromatic number of the arc graph of a polygonal disc of N sides? Or we would

More information

INTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES

INTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES INTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES RACHEL CARANDANG Abstract. This paper provides an overview of the homology groups of a 2- dimensional complex. It then demonstrates a proof of the Invariance

More information

Lecture 3A: Generalized associahedra

Lecture 3A: Generalized associahedra Lecture 3A: Generalized associahedra Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop, August 2011 Introduction Associahedron and cyclohedron

More information

Genus Ranges of 4-Regular Rigid Vertex Graphs

Genus Ranges of 4-Regular Rigid Vertex Graphs Genus Ranges of 4-Regular Rigid Vertex Graphs Dorothy Buck Department of Mathematics Imperial College London London, England, UK d.buck@imperial.ac.uk Nataša Jonoska Egor Dolzhenko Molecular and Computational

More information

Automorphism Groups of Cyclic Polytopes

Automorphism Groups of Cyclic Polytopes 8 Automorphism Groups of Cyclic Polytopes (Volker Kaibel and Arnold Waßmer ) It is probably well-known to most polytope theorists that the combinatorial automorphism group of a cyclic d-polytope with n

More information

T. Background material: Topology

T. Background material: Topology MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 T. Background material: Topology For convenience this is an overview of basic topological ideas which will be used in the course. This material

More information

BAR-MAGNET POLYHEDRA AND NS-ORIENTATIONS OF MAPS

BAR-MAGNET POLYHEDRA AND NS-ORIENTATIONS OF MAPS University of Ljubljana Institute of Mathematics, Physics and Mechanics Department of Mathematics Jadranska 19, 1111 Ljubljana, Slovenia Preprint series, Vol. 42 (2004), 940 BAR-MAGNET POLYHEDRA AND NS-ORIENTATIONS

More information

Hamiltonian cycles in bipartite quadrangulations on the torus

Hamiltonian cycles in bipartite quadrangulations on the torus Hamiltonian cycles in bipartite quadrangulations on the torus Atsuhiro Nakamoto and Kenta Ozeki Abstract In this paper, we shall prove that every bipartite quadrangulation G on the torus admits a simple

More information

Discrete mathematics , Fall Instructor: prof. János Pach

Discrete mathematics , Fall Instructor: prof. János Pach Discrete mathematics 2016-2017, Fall Instructor: prof. János Pach - covered material - Lecture 1. Counting problems To read: [Lov]: 1.2. Sets, 1.3. Number of subsets, 1.5. Sequences, 1.6. Permutations,

More information

Discrete Mathematics Introduction

Discrete Mathematics Introduction Discrete Mathematics Introduction Saad Mneimneh 1 Introduction College mathematics will often focus on calculus, and while it is true that calculus is the most important field that started modern mathematics,

More information

Pebble Sets in Convex Polygons

Pebble Sets in Convex Polygons 2 1 Pebble Sets in Convex Polygons Kevin Iga, Randall Maddox June 15, 2005 Abstract Lukács and András posed the problem of showing the existence of a set of n 2 points in the interior of a convex n-gon

More information

6.3 Poincare's Theorem

6.3 Poincare's Theorem Figure 6.5: The second cut. for some g 0. 6.3 Poincare's Theorem Theorem 6.3.1 (Poincare). Let D be a polygon diagram drawn in the hyperbolic plane such that the lengths of its edges and the interior angles

More information

Surfaces Beyond Classification

Surfaces Beyond Classification Chapter XII Surfaces Beyond Classification In most of the textbooks which present topological classification of compact surfaces the classification is the top result. However the topology of 2- manifolds

More information

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial.

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial. 2301-670 Graph theory 1.1 What is a graph? 1 st semester 2550 1 1.1. What is a graph? 1.1.2. Definition. A graph G is a triple (V(G), E(G), ψ G ) consisting of V(G) of vertices, a set E(G), disjoint from

More information

Algebraic Graph Theory- Adjacency Matrix and Spectrum

Algebraic Graph Theory- Adjacency Matrix and Spectrum Algebraic Graph Theory- Adjacency Matrix and Spectrum Michael Levet December 24, 2013 Introduction This tutorial will introduce the adjacency matrix, as well as spectral graph theory. For those familiar

More information

The Matrix-Tree Theorem and Its Applications to Complete and Complete Bipartite Graphs

The Matrix-Tree Theorem and Its Applications to Complete and Complete Bipartite Graphs The Matrix-Tree Theorem and Its Applications to Complete and Complete Bipartite Graphs Frankie Smith Nebraska Wesleyan University fsmith@nebrwesleyan.edu May 11, 2015 Abstract We will look at how to represent

More information

WUCT121. Discrete Mathematics. Graphs

WUCT121. Discrete Mathematics. Graphs WUCT121 Discrete Mathematics Graphs WUCT121 Graphs 1 Section 1. Graphs 1.1. Introduction Graphs are used in many fields that require analysis of routes between locations. These areas include communications,

More information

Counting the number of spanning tree. Pied Piper Department of Computer Science and Engineering Shanghai Jiao Tong University

Counting the number of spanning tree. Pied Piper Department of Computer Science and Engineering Shanghai Jiao Tong University Counting the number of spanning tree Pied Piper Department of Computer Science and Engineering Shanghai Jiao Tong University 目录 Contents 1 Complete Graph 2 Proof of the Lemma 3 Arbitrary Graph 4 Proof

More information

The Cyclic Cycle Complex of a Surface

The Cyclic Cycle Complex of a Surface The Cyclic Cycle Complex of a Surface Allen Hatcher A recent paper [BBM] by Bestvina, Bux, and Margalit contains a construction of a cell complex that gives a combinatorial model for the collection of

More information

Assignment 4 Solutions of graph problems

Assignment 4 Solutions of graph problems Assignment 4 Solutions of graph problems 1. Let us assume that G is not a cycle. Consider the maximal path in the graph. Let the end points of the path be denoted as v 1, v k respectively. If either of

More information

1. A busy airport has 1500 takeo s perday. Provetherearetwoplanesthatmusttake o within one minute of each other. This is from Bona Chapter 1 (1).

1. A busy airport has 1500 takeo s perday. Provetherearetwoplanesthatmusttake o within one minute of each other. This is from Bona Chapter 1 (1). Math/CS 415 Combinatorics and Graph Theory Fall 2017 Prof. Readdy Homework Chapter 1 1. A busy airport has 1500 takeo s perday. Provetherearetwoplanesthatmusttake o within one minute of each other. This

More information

The geometry and combinatorics of closed geodesics on hyperbolic surfaces

The geometry and combinatorics of closed geodesics on hyperbolic surfaces The geometry and combinatorics of closed geodesics on hyperbolic surfaces CUNY Graduate Center September 8th, 2015 Motivating Question: How are the algebraic/combinatoric properties of closed geodesics

More information

Combinatorics MAP363 Sheet 1. Mark: /10. Name. Number. Hand in by 19th February. date marked: / /2007

Combinatorics MAP363 Sheet 1. Mark: /10. Name. Number. Hand in by 19th February. date marked: / /2007 Turn over Combinatorics MAP6 Sheet Hand in by 9th February Name Number Year Mark: /0 date marked: / /200 Please attach your working, with this sheet at the front. Guidance on notation: graphs may have

More information

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS PAUL BALISTER Abstract It has been shown [Balister, 2001] that if n is odd and m 1,, m t are integers with m i 3 and t i=1 m i = E(K n) then K n can be decomposed

More information

CS 177 Homework 1. Julian Panetta. October 22, We want to show for any polygonal disk consisting of vertex set V, edge set E, and face set F:

CS 177 Homework 1. Julian Panetta. October 22, We want to show for any polygonal disk consisting of vertex set V, edge set E, and face set F: CS 177 Homework 1 Julian Panetta October, 009 1 Euler Characteristic 1.1 Polyhedral Formula We want to show for any polygonal disk consisting of vertex set V, edge set E, and face set F: V E + F = 1 First,

More information

pα i + q, where (n, m, p and q depend on i). 6. GROMOV S INVARIANT AND THE VOLUME OF A HYPERBOLIC MANIFOLD

pα i + q, where (n, m, p and q depend on i). 6. GROMOV S INVARIANT AND THE VOLUME OF A HYPERBOLIC MANIFOLD 6. GROMOV S INVARIANT AND THE VOLUME OF A HYPERBOLIC MANIFOLD of π 1 (M 2 )onπ 1 (M 4 ) by conjugation. π 1 (M 4 ) has a trivial center, so in other words the action of π 1 (M 4 ) on itself is effective.

More information

Graphs (MTAT , 6 EAP) Lectures: Mon 14-16, hall 404 Exercises: Wed 14-16, hall 402

Graphs (MTAT , 6 EAP) Lectures: Mon 14-16, hall 404 Exercises: Wed 14-16, hall 402 Graphs (MTAT.05.080, 6 EAP) Lectures: Mon 14-16, hall 404 Exercises: Wed 14-16, hall 402 homepage: http://courses.cs.ut.ee/2012/graafid (contains slides) For grade: Homework + three tests (during or after

More information

CS6702 GRAPH THEORY AND APPLICATIONS 2 MARKS QUESTIONS AND ANSWERS

CS6702 GRAPH THEORY AND APPLICATIONS 2 MARKS QUESTIONS AND ANSWERS CS6702 GRAPH THEORY AND APPLICATIONS 2 MARKS QUESTIONS AND ANSWERS 1 UNIT I INTRODUCTION CS6702 GRAPH THEORY AND APPLICATIONS 2 MARKS QUESTIONS AND ANSWERS 1. Define Graph. A graph G = (V, E) consists

More information

Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: lower and upper bounds on the number of pieces

Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: lower and upper bounds on the number of pieces Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: lower and upper bounds on the number of pieces António Leslie Bajuelos 1, Ana Paula Tomás and Fábio Marques 3 1 Dept.

More information

On the Number of Tilings of a Square by Rectangles

On the Number of Tilings of a Square by Rectangles University of Tennessee, Knoxville Trace: Tennessee Research and Creative Exchange University of Tennessee Honors Thesis Projects University of Tennessee Honors Program 5-2012 On the Number of Tilings

More information

Combinatorics Qualifying Exam August, 2016

Combinatorics Qualifying Exam August, 2016 Combinatorics Qualifying Exam August, 2016 This examination consists of two parts, Combinatorics and Graph Theory. Each part contains five problems of which you must select three to do. Each problem is

More information

Math 210 Manifold III, Spring 2018 Euler Characteristics of Surfaces Hirotaka Tamanoi

Math 210 Manifold III, Spring 2018 Euler Characteristics of Surfaces Hirotaka Tamanoi Math 210 Manifold III, Spring 2018 Euler Characteristics of Surfaces Hirotaka Tamanoi 1. Euler Characteristic of Surfaces Leonhard Euler noticed that the number v of vertices, the number e of edges and

More information

EULER S FORMULA AND THE FIVE COLOR THEOREM

EULER S FORMULA AND THE FIVE COLOR THEOREM EULER S FORMULA AND THE FIVE COLOR THEOREM MIN JAE SONG Abstract. In this paper, we will define the necessary concepts to formulate map coloring problems. Then, we will prove Euler s formula and apply

More information

EPIT 2016, Draft version

EPIT 2016, Draft version EPIT 2016, Draft version Gilles Schaeffer May 9, 2016 Contents 1 Boundary triangulations and duality 2 2 Pre-cubic maps and their cores 4 3 The core decomposition and generating functions 5 3.1 Binary

More information

CMSC 380. Graph Terminology and Representation

CMSC 380. Graph Terminology and Representation CMSC 380 Graph Terminology and Representation GRAPH BASICS 2 Basic Graph Definitions n A graph G = (V,E) consists of a finite set of vertices, V, and a finite set of edges, E. n Each edge is a pair (v,w)

More information

Exercise set 2 Solutions

Exercise set 2 Solutions Exercise set 2 Solutions Let H and H be the two components of T e and let F E(T ) consist of the edges of T with one endpoint in V (H), the other in V (H ) Since T is connected, F Furthermore, since T

More information

5 Graphs

5 Graphs 5 Graphs jacques@ucsd.edu Some of the putnam problems are to do with graphs. They do not assume more than a basic familiarity with the definitions and terminology of graph theory. 5.1 Basic definitions

More information

c 2011 BRITTANY NICOLE MOTT ALL RIGHTS RESERVED

c 2011 BRITTANY NICOLE MOTT ALL RIGHTS RESERVED c 2011 BRITTANY NICOLE MOTT ALL RIGHTS RESERVED ANALYSIS OF THE GENERALIZED CATALAN ORBITS A Thesis Presented to The Graduate Faculty of The University of Akron In Partial Fulfillment of the Requirements

More information

Combinatorial Maps. University of Ljubljana and University of Primorska and Worcester Polytechnic Institute. Maps. Home Page. Title Page.

Combinatorial Maps. University of Ljubljana and University of Primorska and Worcester Polytechnic Institute. Maps. Home Page. Title Page. Combinatorial Maps Tomaz Pisanski Brigitte Servatius University of Ljubljana and University of Primorska and Worcester Polytechnic Institute Page 1 of 30 1. Maps Page 2 of 30 1.1. Flags. Given a connected

More information

Lecture notes for Topology MMA100

Lecture notes for Topology MMA100 Lecture notes for Topology MMA100 J A S, S-11 1 Simplicial Complexes 1.1 Affine independence A collection of points v 0, v 1,..., v n in some Euclidean space R N are affinely independent if the (affine

More information

Uniform edge-c-colorings of the Archimedean Tilings

Uniform edge-c-colorings of the Archimedean Tilings Discrete & Computational Geometry manuscript No. (will be inserted by the editor) Uniform edge-c-colorings of the Archimedean Tilings Laura Asaro John Hyde Melanie Jensen Casey Mann Tyler Schroeder Received:

More information

Generating Functions for Hyperbolic Plane Tessellations

Generating Functions for Hyperbolic Plane Tessellations Generating Functions for Hyperbolic Plane Tessellations by Jiale Xie A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics in

More information

Minimum Number of Palettes in Edge Colorings

Minimum Number of Palettes in Edge Colorings Graphs and Combinatorics (2014) 30:619 626 DOI 10.1007/s00373-013-1298-8 ORIGINAL PAPER Minimum Number of Palettes in Edge Colorings Mirko Horňák Rafał Kalinowski Mariusz Meszka Mariusz Woźniak Received:

More information

Introductory Combinatorics

Introductory Combinatorics Introductory Combinatorics Third Edition KENNETH P. BOGART Dartmouth College,. " A Harcourt Science and Technology Company San Diego San Francisco New York Boston London Toronto Sydney Tokyo xm CONTENTS

More information

Acute Triangulations of Polygons

Acute Triangulations of Polygons Europ. J. Combinatorics (2002) 23, 45 55 doi:10.1006/eujc.2001.0531 Available online at http://www.idealibrary.com on Acute Triangulations of Polygons H. MAEHARA We prove that every n-gon can be triangulated

More information

Week 7 Convex Hulls in 3D

Week 7 Convex Hulls in 3D 1 Week 7 Convex Hulls in 3D 2 Polyhedra A polyhedron is the natural generalization of a 2D polygon to 3D 3 Closed Polyhedral Surface A closed polyhedral surface is a finite set of interior disjoint polygons

More information

Graph theory - solutions to problem set 1

Graph theory - solutions to problem set 1 Graph theory - solutions to problem set 1 1. (a) Is C n a subgraph of K n? Exercises (b) For what values of n and m is K n,n a subgraph of K m? (c) For what n is C n a subgraph of K n,n? (a) Yes! (you

More information

Edge-disjoint Spanning Trees in Triangulated Graphs on Surfaces and application to node labeling 1

Edge-disjoint Spanning Trees in Triangulated Graphs on Surfaces and application to node labeling 1 Edge-disjoint Spanning Trees in Triangulated Graphs on Surfaces and application to node labeling 1 Arnaud Labourel a a LaBRI - Universite Bordeaux 1, France Abstract In 1974, Kundu [4] has shown that triangulated

More information

Lecture 5: Graphs. Rajat Mittal. IIT Kanpur

Lecture 5: Graphs. Rajat Mittal. IIT Kanpur Lecture : Graphs Rajat Mittal IIT Kanpur Combinatorial graphs provide a natural way to model connections between different objects. They are very useful in depicting communication networks, social networks

More information

Domination, Independence and Other Numbers Associated With the Intersection Graph of a Set of Half-planes

Domination, Independence and Other Numbers Associated With the Intersection Graph of a Set of Half-planes Domination, Independence and Other Numbers Associated With the Intersection Graph of a Set of Half-planes Leonor Aquino-Ruivivar Mathematics Department, De La Salle University Leonorruivivar@dlsueduph

More information

Lecture 0: Reivew of some basic material

Lecture 0: Reivew of some basic material Lecture 0: Reivew of some basic material September 12, 2018 1 Background material on the homotopy category We begin with the topological category TOP, whose objects are topological spaces and whose morphisms

More information

1. (10 points) Draw the state diagram of the DFA that recognizes the language over Σ = {0, 1}

1. (10 points) Draw the state diagram of the DFA that recognizes the language over Σ = {0, 1} CSE 5 Homework 2 Due: Monday October 6, 27 Instructions Upload a single file to Gradescope for each group. should be on each page of the submission. All group members names and PIDs Your assignments in

More information

v V Question: How many edges are there in a graph with 10 vertices each of degree 6?

v V Question: How many edges are there in a graph with 10 vertices each of degree 6? ECS20 Handout Graphs and Trees March 4, 2015 (updated 3/9) Notion of a graph 1. A graph G = (V,E) consists of V, a nonempty set of vertices (or nodes) and E, a set of pairs of elements of V called edges.

More information

arxiv: v1 [math.co] 20 Aug 2012

arxiv: v1 [math.co] 20 Aug 2012 ENUMERATING TRIANGULATIONS BY PARALLEL DIAGONALS Alon Regev Department of Mathematical Sciences, Northern Illinois University, DeKalb, Illinois regev@math.niu.edu arxiv:108.91v1 [math.co] 0 Aug 01 1 Introduction

More information

CS6702 GRAPH THEORY AND APPLICATIONS QUESTION BANK

CS6702 GRAPH THEORY AND APPLICATIONS QUESTION BANK CS6702 GRAPH THEORY AND APPLICATIONS 2 MARKS QUESTIONS AND ANSWERS 1 UNIT I INTRODUCTION CS6702 GRAPH THEORY AND APPLICATIONS QUESTION BANK 1. Define Graph. 2. Define Simple graph. 3. Write few problems

More information

Math 170- Graph Theory Notes

Math 170- Graph Theory Notes 1 Math 170- Graph Theory Notes Michael Levet December 3, 2018 Notation: Let n be a positive integer. Denote [n] to be the set {1, 2,..., n}. So for example, [3] = {1, 2, 3}. To quote Bud Brown, Graph theory

More information

THE LABELLED PEER CODE FOR KNOT AND LINK DIAGRAMS 26th February, 2015

THE LABELLED PEER CODE FOR KNOT AND LINK DIAGRAMS 26th February, 2015 THE LABELLED PEER CODE FOR KNOT AND LINK DIAGRAMS 26th February, 2015 A labelled peer code is a descriptive syntax for a diagram of a knot or link on a two dimensional sphere. The syntax is able to describe

More information

On Rainbow Cycles in Edge Colored Complete Graphs. S. Akbari, O. Etesami, H. Mahini, M. Mahmoody. Abstract

On Rainbow Cycles in Edge Colored Complete Graphs. S. Akbari, O. Etesami, H. Mahini, M. Mahmoody. Abstract On Rainbow Cycles in Edge Colored Complete Graphs S. Akbari, O. Etesami, H. Mahini, M. Mahmoody Abstract In this paper we consider optimal edge colored complete graphs. We show that in any optimal edge

More information

Two Characterizations of Hypercubes

Two Characterizations of Hypercubes Two Characterizations of Hypercubes Juhani Nieminen, Matti Peltola and Pasi Ruotsalainen Department of Mathematics, University of Oulu University of Oulu, Faculty of Technology, Mathematics Division, P.O.

More information

Euler s Theorem. Brett Chenoweth. February 26, 2013

Euler s Theorem. Brett Chenoweth. February 26, 2013 Euler s Theorem Brett Chenoweth February 26, 2013 1 Introduction This summer I have spent six weeks of my holidays working on a research project funded by the AMSI. The title of my project was Euler s

More information

Embeddability of Arrangements of Pseudocircles into the Sphere

Embeddability of Arrangements of Pseudocircles into the Sphere Embeddability of Arrangements of Pseudocircles into the Sphere Ronald Ortner Department Mathematik und Informationstechnologie, Montanuniversität Leoben, Franz-Josef-Straße 18, 8700-Leoben, Austria Abstract

More information

Basic Properties The Definition of Catalan Numbers

Basic Properties The Definition of Catalan Numbers 1 Basic Properties 1.1. The Definition of Catalan Numbers There are many equivalent ways to define Catalan numbers. In fact, the main focus of this monograph is the myriad combinatorial interpretations

More information

Basics of Graph Theory

Basics of Graph Theory Basics of Graph Theory 1 Basic notions A simple graph G = (V, E) consists of V, a nonempty set of vertices, and E, a set of unordered pairs of distinct elements of V called edges. Simple graphs have their

More information

Graphs. Pseudograph: multiple edges and loops allowed

Graphs. Pseudograph: multiple edges and loops allowed Graphs G = (V, E) V - set of vertices, E - set of edges Undirected graphs Simple graph: V - nonempty set of vertices, E - set of unordered pairs of distinct vertices (no multiple edges or loops) Multigraph:

More information

LECTURE 1 Basic definitions, the intersection poset and the characteristic polynomial

LECTURE 1 Basic definitions, the intersection poset and the characteristic polynomial R. STANLEY, HYPERPLANE ARRANGEMENTS LECTURE Basic definitions, the intersection poset and the characteristic polynomial.. Basic definitions The following notation is used throughout for certain sets of

More information

Definition For vertices u, v V (G), the distance from u to v, denoted d(u, v), in G is the length of a shortest u, v-path. 1

Definition For vertices u, v V (G), the distance from u to v, denoted d(u, v), in G is the length of a shortest u, v-path. 1 Graph fundamentals Bipartite graph characterization Lemma. If a graph contains an odd closed walk, then it contains an odd cycle. Proof strategy: Consider a shortest closed odd walk W. If W is not a cycle,

More information

A Generalization of the Catalan Numbers

A Generalization of the Catalan Numbers 2 3 47 6 23 Journal of Integer Sequences, Vol 6 (203, Article 368 A Generalization of the Catalan Numbers Reza Kahkeshani Department of Pure Mathematics Faculty of Mathematical Sciences University of Kashan

More information

Divided differences of inverse functions and partitions of a convex polygon

Divided differences of inverse functions and partitions of a convex polygon Divided differences of inverse functions and partitions of a convex polygon Michael S. Floater and Tom Lyche Abstract We derive a formula for an n-th order divided difference of the inverse of a function.

More information

Notes on point set topology, Fall 2010

Notes on point set topology, Fall 2010 Notes on point set topology, Fall 2010 Stephan Stolz September 3, 2010 Contents 1 Pointset Topology 1 1.1 Metric spaces and topological spaces...................... 1 1.2 Constructions with topological

More information

Graphs and Network Flows IE411. Lecture 21. Dr. Ted Ralphs

Graphs and Network Flows IE411. Lecture 21. Dr. Ted Ralphs Graphs and Network Flows IE411 Lecture 21 Dr. Ted Ralphs IE411 Lecture 21 1 Combinatorial Optimization and Network Flows In general, most combinatorial optimization and integer programming problems are

More information

Figure 2.1: A bipartite graph.

Figure 2.1: A bipartite graph. Matching problems The dance-class problem. A group of boys and girls, with just as many boys as girls, want to dance together; hence, they have to be matched in couples. Each boy prefers to dance with

More information

Combinatorial Enumeration of Partitions of a Convex Polygon

Combinatorial Enumeration of Partitions of a Convex Polygon 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 18 2015, Article 15.9.4 Combinatorial Enumeration of Partitions of a Convex Polygon Dong Zhang and Dongyi Wei Peking University Beijing 100871 P. R.

More information

Revisiting the bijection between planar maps and well labeled trees

Revisiting the bijection between planar maps and well labeled trees Revisiting the bijection between planar maps and well labeled trees Daniel Cosmin Porumbel September 1, 2014 Abstract The bijection between planar graphs and well labeled trees was published by Cori and

More information

Which n-venn diagrams can be drawn with convex k-gons?

Which n-venn diagrams can be drawn with convex k-gons? Which n-venn diagrams can be drawn with convex k-gons? Jeremy Carroll Frank Ruskey Mark Weston Abstract We establish a new lower bound for the number of sides required for the component curves of simple

More information

751 Problem Set I JWR. Due Sep 28, 2004

751 Problem Set I JWR. Due Sep 28, 2004 751 Problem Set I JWR Due Sep 28, 2004 Exercise 1. For any space X define an equivalence relation by x y iff here is a path γ : I X with γ(0) = x and γ(1) = y. The equivalence classes are called the path

More information

4. Simplicial Complexes and Simplicial Homology

4. Simplicial Complexes and Simplicial Homology MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 4. Simplicial Complexes and Simplicial Homology Geometric simplicial complexes 4.1 Definition. A finite subset { v 0, v 1,..., v r } R n

More information

4 Generating functions in two variables

4 Generating functions in two variables 4 Generating functions in two variables (Wilf, sections.5.6 and 3.4 3.7) Definition. Let a(n, m) (n, m 0) be a function of two integer variables. The 2-variable generating function of a(n, m) is F (x,

More information

Geometric structures on manifolds

Geometric structures on manifolds CHAPTER 3 Geometric structures on manifolds In this chapter, we give our first examples of hyperbolic manifolds, combining ideas from the previous two chapters. 3.1. Geometric structures 3.1.1. Introductory

More information

REGULAR GRAPHS OF GIVEN GIRTH. Contents

REGULAR GRAPHS OF GIVEN GIRTH. Contents REGULAR GRAPHS OF GIVEN GIRTH BROOKE ULLERY Contents 1. Introduction This paper gives an introduction to the area of graph theory dealing with properties of regular graphs of given girth. A large portion

More information

Mathematics Masters Examination

Mathematics Masters Examination Mathematics Masters Examination OPTION 4 March 30, 2004 COMPUTER SCIENCE 2 5 PM NOTE: Any student whose answers require clarification may be required to submit to an oral examination. Each of the fourteen

More information

CLASSIFICATION OF SURFACES

CLASSIFICATION OF SURFACES CLASSIFICATION OF SURFACES YUJIE ZHANG Abstract. The sphere, Möbius strip, torus, real projective plane and Klein bottle are all important examples of surfaces (topological 2-manifolds). In fact, via the

More information

SPERNER S LEMMA MOOR XU

SPERNER S LEMMA MOOR XU SPERNER S LEMMA MOOR XU Abstract. Is it possible to dissect a square into an odd number of triangles of equal area? This question was first answered by Paul Monsky in 970, and the solution requires elements

More information

INTRODUCTION TO CLUSTER ALGEBRAS

INTRODUCTION TO CLUSTER ALGEBRAS INTRODUCTION TO CLUSTER ALGEBRAS NAN LI (MIT) Cluster algebras are a class of commutative ring, introduced in 000 by Fomin and Zelevinsky, originally to study Lusztig s dual canonical basis and total positivity.

More information

Computing Hyperplanes of Near Polygons

Computing Hyperplanes of Near Polygons of Near Polygons (joint work with Bart De Bruyn) Ghent University anurag.2357@gmail.com CoCoA 2015 - Combinatorics and Computer Algebra Near polygons A near 2d-gon is a graph of diameter d in which for

More information

Problem Set 3. MATH 778C, Spring 2009, Austin Mohr (with John Boozer) April 15, 2009

Problem Set 3. MATH 778C, Spring 2009, Austin Mohr (with John Boozer) April 15, 2009 Problem Set 3 MATH 778C, Spring 2009, Austin Mohr (with John Boozer) April 15, 2009 1. Show directly that P 1 (s) P 1 (t) for all t s. Proof. Given G, let H s be a subgraph of G on s vertices such that

More information

Distribution of the Number of Encryptions in Revocation Schemes for Stateless Receivers

Distribution of the Number of Encryptions in Revocation Schemes for Stateless Receivers Discrete Mathematics and Theoretical Computer Science DMTCS vol. (subm.), by the authors, 1 1 Distribution of the Number of Encryptions in Revocation Schemes for Stateless Receivers Christopher Eagle 1

More information

Lemma of Gessel Viennot

Lemma of Gessel Viennot Advanced Graph Algorithms Jan-Apr 2014 Lemma of Gessel Viennot Speaker: Diptapriyo Majumdar Date: April 22, 2014 1 Overview In the last few lectures, we had learnt different algorithms using matrix multiplication.

More information

SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics. An Introduction to Graph Theory

SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics. An Introduction to Graph Theory SCHOOL OF ENGINEERING & BUILT ENVIRONMENT Mathematics An Introduction to Graph Theory. Introduction. Definitions.. Vertices and Edges... The Handshaking Lemma.. Connected Graphs... Cut-Points and Bridges.

More information

On the Partial Sum of the Laplacian Eigenvalues of Abstract Simplicial Complexes

On the Partial Sum of the Laplacian Eigenvalues of Abstract Simplicial Complexes On the Partial Sum of the Laplacian Eigenvalues of Abstract Simplicial Complexes Rediet Abebe and Joshua Pfeffer Abstract We present progress made in showing the generalized Grone-Merris conjecture for

More information

Three applications of Euler s formula. Chapter 10

Three applications of Euler s formula. Chapter 10 Three applications of Euler s formula Chapter 10 A graph is planar if it can be drawn in the plane R without crossing edges (or, equivalently, on the -dimensional sphere S ). We talk of a plane graph if

More information

Jordan Curves. A curve is a subset of IR 2 of the form

Jordan Curves. A curve is a subset of IR 2 of the form Jordan Curves A curve is a subset of IR 2 of the form α = {γ(x) : x [0, 1]}, where γ : [0, 1] IR 2 is a continuous mapping from the closed interval [0, 1] to the plane. γ(0) and γ(1) are called the endpoints

More information

Noncrossing sets and a Graßmann associahedron

Noncrossing sets and a Graßmann associahedron Noncrossing sets and a Graßmann associahedron Francisco Santos, Christian Stump, Volkmar Welker (in partial rediscovering work of T. K. Petersen, P. Pylyavskyy, and D. E. Speyer, 2008) (in partial rediscovering

More information

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department CS473-Algorithms I Lecture 3-A Graphs Graphs A directed graph (or digraph) G is a pair (V, E), where V is a finite set, and E is a binary relation on V The set V: Vertex set of G The set E: Edge set of

More information

Equipartite polytopes and graphs

Equipartite polytopes and graphs Equipartite polytopes and graphs Branko Grünbaum Tomáš Kaiser Daniel Král Moshe Rosenfeld Abstract A graph G of even order is weakly equipartite if for any partition of its vertex set into subsets V 1

More information