MATRIX INTEGRALS AND MAP ENUMERATION 2

Size: px
Start display at page:

Download "MATRIX INTEGRALS AND MAP ENUMERATION 2"

Transcription

1 MATRIX ITEGRALS AD MAP EUMERATIO 2 IVA CORWI Abstract. We prove the generating function formula for one face maps and for plane diagrams using techniques from Random Matrix Theory and orthogonal polynomials. 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.. Matrix Integrals () A function F : H H is unitary invariant if F(U HU) = F(H) for every unitary matrix U (i.e., U = U ). Such a function can then be considered as just a function of Λ, the diagonal matrix of eigenvalues λ,...,λ). Proposition.. If F is a unitary invariant function on H then F(H)dµ(H) = c F(Λ) (λ i λ j ) 2 dµ(λ ) dµ(λ ) H i<j for some constant c depending only on the dimension of matrices. Here the matrix Λ is the diagonal eigenvalue matrix, and dµ(h) is the Gaussian measure defined on H via the quadratic form 2 tr(h2 ), and dµ(λ) is standard Gaussian measure on the line. (2) It is worth noting that the product term is just the square of the Vandermonde determinant and so 2 λ λ 2 λ (λ i λ j ) 2 = λ 2 λ 2 2 λ 2 i<j λ λ2 λ (3) We will, later, use orthogonal polynomials to determine the constant c. 2. Generating function for one face maps () Recall the connection between one face maps and matrix integrals: Theorem 2.. Let T n () be T n () := tr(h 2n ) = tr(h 2n )dµ(h). H Then n/2 n/2 ( ) g T n () = ǫ g (n) k+ 2g = k+ ǫ g (n) 2, g=0 where ǫ g (n) is the number of label one-face maps of genus g with n edges. Date: October 26, Mathematics Subject Classification. 82C22, 60K35. Key words and phrases. Asymmetric Simple Exclusion Process, Interacting Particle Systems, Last Passage Percolation. g=0

2 MATRIX ITEGRALS AD MAP EUMERATIO 2 2 (2) Let T(,s) = + 2s + 2s n= T n () (2n )!! sn. Then we can determine what the ǫ g (n) are from the following result Theorem 2.2. The generating function T(,s) is equal to ( ) + s T(,s) =. s From this we have that the numbers ǫ g (n) satisfy the recurrence relation (n + 2)ǫ g (n + ) = (4n + 2)ǫ g (n) + (4n 3 n)ǫ g (n ) where ǫ g (0) = for g = 0 and 0 otherwise. (3) We prove this in two steps, the first uses random matrices and the second is purely combinatoric. (a) We have the following result which we prove using random matrix theory: Lemma 2.3. The function t(,n) = is a polynomial in n of degree. Proof. H tr H 2n dµ(h) = c R tr(λ 2n ) T n() (2n )!! i<j (λ i λ j ) 2 dµ(λ i ). Replace tr(λ 2n ) by λ using symmetry. Expand the Vandermonde and integrate over every λ i for i. We are left with a polynomial in λ of degree 2n+2 2 with coefficients constant for fixed. Moreover, every monomial is of the form λ 2n+2k for 0 k. Integrating such a monomial against Gaussian measure gives (2n + 2k )!! (2n )!! which is a polynomial of degree k in n. (b) We can interprete T n () as the number of gluing of the 2n-gon which agree with possible colors of the vertices in (not more than) colors. Then letting T n () be the number of gluings which agree with colors with precisely colors, we have T n () = L= ( L ) T n (L). (c) Observe that T 0 () = T () = = T 2 () = 0 since the resulting graph of a 2n-gon on a surface has at most n + vertices. By the previous lemma and the formula above, one sees by induction that t(,n) = T n () (2n )!! is also a polynomial in n of degree. We know the roots of this polynomial are 0,,2,..., 2. So ( ) n t(n,) = A ( )!. i=

3 MATRIX ITEGRALS AD MAP EUMERATIO 2 3 Substituting this gives T n () = (2n )!! L= A L ( n L )( L ) (L )!. We can find the constant by considering the leading term (coefficient of n+ in T n ()) and using the fact that it coincides with the Catalan numbers A n+ (2n )!! (n + )! n! = Cat n = (2n)! n!(n + )!, thus we find A n+ = 2 n /n! and T n () = (2n )!! ( )( ) n 2 L. L L L= It is easy now to check that this gives the desired generating function. 3. Solving for c () Recall the formula for integrating a unitary invariant function against the Gaussian measure on H. If we consider the function F(Λ) =, then we have = dµ(h) = c (λ i λ j ) 2 dµ(λ i ). H R So if we can evaluate that integral, we can find c. (2) Introduce the Hermite polynomials: Listing a few we have i<j i= H n (x) = ( ) n e x2 /2 dn dx n(e x2 /2 ). H 0 (x) = H (x) = x H 2 (x) = x 2 H 3 (x) = x 3 3x H 4 (X) = x 4 6x (a) H is a polynomial in x of degree n; (b) The leading coefficient of H n equals ; (c) The polynomials H 0,H,...,H n form an orthogonal basis in the polynomials of degree n with respect to the standard Gaussian measure on R and the scalar product (P,Q) = R PQdµ(λ); (d) H n uniquely satisfies the previous property; (e) (H n,h n ) = n(h n,h n ). (3) Using elementary row operations we can rewrite the Vandermonde determinant in terms of the Hermite polynomials: 2 H 0 (λ ) H 0 (λ 2 ) H 0 (λ ) (λ i λ j ) 2 = H (λ ) H (λ 2 ) H (λ ) i<j H (λ ) H (λ 2 ) H (λ )

4 MATRIX ITEGRALS AD MAP EUMERATIO 2 4 When you expect this determinant each term H i (λ j ) appears with at most degree two. Moreover, each monomial has the λ j term occur exactly twice, so we can split it into each pair. By orthogonality the only terms which contribute to the integral are H 2 0 (λ σ())h 2 (λ σ(2)) H 2 (λ σ()) where σ S. Each such monomial contributes the same, and there are! of them. So (λ i λ j ) 2 dµ(λ i ) =!(H 0,H 0 ) (H,H ). R i<j i= Using the recurrence relation for (H n,h n ) = n(h n,h n ) we find that (H n,h n ) = n! and so (λ i λ j ) 2 dµ(λ i ) =!( )! 2!! and hence R i<j c = i=!( )! 2!!. 4. Enumeration of Quadrangulations () We will enumerate labeled quadrangulations, where we define a labeled quadrangulation as a connected graph with n faces, all the face being of degree 4, faces are labeled by numbers,...,n, the edges incident to each face are labeled by numbers,2,3,4 and this labeling corresponds to their cyclic order. Alternatively we can use the dual notion of a diagram which is a connected graph with n vertices, all the vertices being of degree 4, vertices are labeled by numbers,..., n, the edges incident to each vertex are labeled by numbers,2,3,4 and this labeling corresponds to their cyclic order. (2) A coupling will have the same labeling properties as the above definitions, however the underlying graph need not be connected. It will be easier to count couplings than diagrams. (3) Count the number of couplings and diagrams with n = and n = 2. (4) Let C g (n) be the number of couplings with n vertices and Euler characteristic χ = 2 2g (we use Euler characteristic since the coupling may involve disjoint graphs and hence characteristics add). Let D g (n) be the number of diagrams with n vertices and genus g (it is alright to use genus since the graph is connected). By Taylor expansion and the Wick formula Theorem 4.. (5) Similarly define Z(t,) := { } t exp tr H4 = D(t,) := ( t) n C g (n) 2 2g. n! n=0 ( t) n D g (n) 2 2g. n! n= (6) A standard result in enumerative combinatorics shows that these two generating functions, one of general labeled objects and the other for connected labeled objects, are related as follows:

5 MATRIX ITEGRALS AD MAP EUMERATIO 2 5 Lemma 4.2. (7) Factoring out the 2 we have Theorem 4.3. Let E(t, ) be Then, where log Z(t,) = D(t,) E(t,) := log Z(t,) = 2 2 log E(t,) = g 0 E g (t) = n ( ) g 2 E g (t), n! ( t)n D g (n) exp { t } tr H4. and D g (n) is the number of connected diagrams of genus g with n vertices. 5. The free energy of the V = λ 4 ensemble and the planar approximation () Consider the measure dµ V (λ) = e tv (λ) dµ(λ) on the line, where dµ is standard Gaussian measure and Define a scalar product V = V (λ) = λ 4. (P,Q) V = PQdµ V. (2) With respect to this measure define generalized Hermite polynomials P V,0 (λ),p V, (λ),... such that P V,k is a polynomial of degree k with leading term λ k, The P V,k are orthogonal with respect to dµ V. If V = 0 then these are the regular Hermite polynomials. (3) For V (λ) = λ 4, P V,k are even for k even and odd for k odd. (4) As a function of t, let h k (t) = h k = (P k,p k ) V. Just as before, we can replace the Vandermonde determinant with these polynomials and using orthogonality show that t tr H4 dµ(h) = c!h h 2 h 0. H e As we will be taking the log of this, it is very convenient to have this product structure. We need to find these h n (t) though. (5) For every family of orthogonal polynomials we have a three term recurrence, which, due to the parity, takes the form here of Lemma 5.. λp k = P k+ + R k P k for some constant R k = R V,k (t). From this lemma we can relate h k = (P k,λp k ) V = (λp k,p k ) V = (P k+ + R k P k,p k ) V = R k h k,

6 MATRIX ITEGRALS AD MAP EUMERATIO 2 6 and therefore ttr H4 e dµ(h) = c!r R2 2 R h 0. H Finally, for P,Q polynomials, integration by parts gives (P,Q ) V = PQ e 2 λ2 tv (λ) dλ = (P,Q) V + (P,(λ + tv )Q) V. sqrt2π Using these tools we have kh k = (P k,p k ) V and factoring out h k we get = (P k,p k) V + (P k,(λ + 4tλ 3 )P k ) V = (λp k,p k ) V + 4t(λP k,λ 2 P k ) V = h k + 4t(P k + R k P k 2,λ 2 P k ) V = h k + 4t [ (λp k,λp k ) V + R k (λ 2 P k 2,P k ) V ] = h k + 4t(h k+ + R 2 k h k + R k h k ) = h k (R k + 4tR k (R k+ + R k + R k )), k = R k + 4tR k (R k+ + R k + R k ), which is the discrete Painlevé I equation. (6) We are interested in E 0 (t) which is the first order term in the asymptotics of E(t,) as goes to infinity: E 0 (t) = lim 2 log e t tr H4 dµ(h). H This corresponds to the generating function for planar diagrams (labeled gluings of squares). So if we substitute t/ in for t everywhere and divide everything by our discrete Painlevé I equation becomes k = r k(t)( + 4t(r k+ (t) + r k (t) + r k (t))) with r k (t) = R k (t)/. Taking k and to infinity together so that k/ x [0,], we get (non-rigorously) x = r( + 2tr) R where r = r(x,t) = lim x (t) n. We non-rigorously assume that this ratio tends to a continuous function. (7) Take x = and solve for r(,t) = α(t) as r(,t) = α(t) = t 24t = n 0( ) n (2t) n Cat n. ow recall that e t tr H4 dµ(h) =!R R2 2 R h 0. c H Here c can be intepreted as the same integral with t = 0. Therefore, taking logs we have 2 log e t tr H4 dµ(h) = ( k ) log R k(t) H R k (0) log h 0(t) h 0 (0). k=

7 MATRIX ITEGRALS AD MAP EUMERATIO 2 7 Taking the limit as for t fixed gives ( ) r(x,t) E 0 (t) = ( x)log dx. x 0 We can change this into an integral over r instead of x since dx/dr = + 2rt which is positive for t and r positive. Hence we get E 0 (t) = α 0 ( r 2tr)( + 24tr)log( + 2tr)dr = 2 log α + ( α)(α 9). 24 Using the series for α(t) we get n (2n )! t n E 0 (t) = ( 2) (n + 2)! n! = ( 2) n Cat n 2n(n + 2) tn. m= (8) Therefore the number of plane diagrams of n vertices (or dually n faces) is given by n= n (2n )! D 0 (n) = (2) (n + 2)!. 6. The free energy for invariant ensembles See Asymptotics of the Partition Function for Random Matrices via Riemann-Hilbert Techniques, and Applications to Graphical Enumeration by.m. Ercolani and K.D. T-R McLaughlin. I. Corwin, Courant Institute of the Mathematical Sciences, ew York University, 25 Mercer Street, ew York, Y 002, USA address: corwin@cims.nyu.edu

Random Matrices and graph counting. Ken McLaughlin

Random Matrices and graph counting. Ken McLaughlin Random Matrices and graph counting Ken McLaughlin 1 exp = Random Matrices and Combinatorics Z exp M N M: N N Hermitean matrix 1 exp = Random Matrices and Combinatorics Z exp M N M: N N Hermitean matrix

More information

Wigner s semicircle law

Wigner s semicircle law CHAPTER 2 Wigner s semicircle law 1. Wigner matrices Definition 12. A Wigner matrix is a random matrix X =(X i, j ) i, j n where (1) X i, j, i < j are i.i.d (real or complex valued). (2) X i,i, i n are

More information

Markov operators, classical orthogonal polynomial ensembles, and random matrices

Markov operators, classical orthogonal polynomial ensembles, and random matrices Markov operators, classical orthogonal polynomial ensembles, and random matrices M. Ledoux, Institut de Mathématiques de Toulouse, France 5ecm Amsterdam, July 2008 recent study of random matrix and random

More information

Exponential tail inequalities for eigenvalues of random matrices

Exponential tail inequalities for eigenvalues of random matrices Exponential tail inequalities for eigenvalues of random matrices M. Ledoux Institut de Mathématiques de Toulouse, France exponential tail inequalities classical theme in probability and statistics quantify

More information

Beyond the Gaussian universality class

Beyond the Gaussian universality class Beyond the Gaussian universality class MSRI/Evans Talk Ivan Corwin (Courant Institute, NYU) September 13, 2010 Outline Part 1: Random growth models Random deposition, ballistic deposition, corner growth

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

A determinantal formula for the GOE Tracy-Widom distribution

A determinantal formula for the GOE Tracy-Widom distribution A determinantal formula for the GOE Tracy-Widom distribution Patrik L. Ferrari and Herbert Spohn Technische Universität München Zentrum Mathematik and Physik Department e-mails: ferrari@ma.tum.de, spohn@ma.tum.de

More information

q-counting hypercubes in Lucas cubes

q-counting hypercubes in Lucas cubes Turkish Journal of Mathematics http:// journals. tubitak. gov. tr/ math/ Research Article Turk J Math (2018) 42: 190 203 c TÜBİTAK doi:10.3906/mat-1605-2 q-counting hypercubes in Lucas cubes Elif SAYGI

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

Generating Functions

Generating Functions 8.30 lecture notes March, 0 Generating Functions Lecturer: Michel Goemans We are going to discuss enumeration problems, and how to solve them using a powerful tool: generating functions. What is an enumeration

More information

RANDOM MATRIX THEORY AND TOEPLITZ DETERMINANTS

RANDOM MATRIX THEORY AND TOEPLITZ DETERMINANTS RANDOM MATRIX THEORY AND TOEPLITZ DETERMINANTS David García-García May 13, 2016 Faculdade de Ciências da Universidade de Lisboa OVERVIEW Random Matrix Theory Introduction Matrix ensembles A sample computation:

More information

Calculus C (ordinary differential equations)

Calculus C (ordinary differential equations) Calculus C (ordinary differential equations) Lesson 9: Matrix exponential of a symmetric matrix Coefficient matrices with a full set of eigenvectors Solving linear ODE s by power series Solutions to linear

More information

LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS

LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS Bull. Korean Math. Soc. 51 (2014), No. 4, pp. 1229 1240 http://dx.doi.org/10.4134/bkms.2014.51.4.1229 LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS Su Hyung An, Sen-Peng Eu, and Sangwook Kim Abstract.

More information

Some notes on Coxeter groups

Some notes on Coxeter groups Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three

More information

Replica Condensation and Tree Decay

Replica Condensation and Tree Decay Replica Condensation and Tree Decay Arthur Jaffe and David Moser Harvard University Cambridge, MA 02138, USA Arthur Jaffe@harvard.edu, David.Moser@gmx.net June 7, 2007 Abstract We give an intuitive method

More information

September 29, Gaussian integrals. Happy birthday Costas

September 29, Gaussian integrals. Happy birthday Costas September 29, 202 Gaussian integrals Happy birthday Costas Of course only non-gaussian problems are of interest! Matrix models of 2D-gravity Z = dme NTrV (M) in which M = M is an N N matrix and V (M) =

More information

REPRESENTATION THEORY WEEK 7

REPRESENTATION THEORY WEEK 7 REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable

More information

A Numerical Algorithm for Block-Diagonal Decomposition of Matrix -Algebras, Part II: General Algorithm

A Numerical Algorithm for Block-Diagonal Decomposition of Matrix -Algebras, Part II: General Algorithm A Numerical Algorithm for Block-Diagonal Decomposition of Matrix -Algebras, Part II: General Algorithm Takanori Maehara and Kazuo Murota May 2008 / May 2009 Abstract An algorithm is proposed for finding

More information

Classification of root systems

Classification of root systems Classification of root systems September 8, 2017 1 Introduction These notes are an approximate outline of some of the material to be covered on Thursday, April 9; Tuesday, April 14; and Thursday, April

More information

4. Ergodicity and mixing

4. Ergodicity and mixing 4. Ergodicity and mixing 4. Introduction In the previous lecture we defined what is meant by an invariant measure. In this lecture, we define what is meant by an ergodic measure. The primary motivation

More information

Universality for random matrices and log-gases

Universality for random matrices and log-gases Universality for random matrices and log-gases László Erdős IST, Austria Ludwig-Maximilians-Universität, Munich, Germany Encounters Between Discrete and Continuous Mathematics Eötvös Loránd University,

More information

Hyperdeterminants of Polynomials

Hyperdeterminants of Polynomials Hyperdeterminants of Polynomials Luke Oeding University of California, Berkeley June 5, 0 Support: NSF IRFP (#085000) while at the University of Florence. Luke Oeding (UC Berkeley) Hyperdets of Polys June

More information

Discrete Geometry. Problem 1. Austin Mohr. April 26, 2012

Discrete Geometry. Problem 1. Austin Mohr. April 26, 2012 Discrete Geometry Austin Mohr April 26, 2012 Problem 1 Theorem 1 (Linear Programming Duality). Suppose x, y, b, c R n and A R n n, Ax b, x 0, A T y c, and y 0. If x maximizes c T x and y minimizes b T

More information

Vector spaces. EE 387, Notes 8, Handout #12

Vector spaces. EE 387, Notes 8, Handout #12 Vector spaces EE 387, Notes 8, Handout #12 A vector space V of vectors over a field F of scalars is a set with a binary operator + on V and a scalar-vector product satisfying these axioms: 1. (V, +) is

More information

Enumeration of Chord Diagrams without Loops and Parallel Chords

Enumeration of Chord Diagrams without Loops and Parallel Chords Enumeration of Chord Diagrams without Loops and Parallel Chords Evgeniy Krasko Alexander Omelchenko St. Petersburg Academic University 8/3 Khlopina Street, St. Petersburg, 9402, Russia {krasko.evgeniy,

More information

MTH 5102 Linear Algebra Practice Final Exam April 26, 2016

MTH 5102 Linear Algebra Practice Final Exam April 26, 2016 Name (Last name, First name): MTH 5 Linear Algebra Practice Final Exam April 6, 6 Exam Instructions: You have hours to complete the exam. There are a total of 9 problems. You must show your work and write

More information

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

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

DOMINO TILING. Contents 1. Introduction 1 2. Rectangular Grids 2 Acknowledgments 10 References 10 DOMINO TILING KASPER BORYS Abstract In this paper we explore the problem of domino tiling: tessellating a region with x2 rectangular dominoes First we address the question of existence for domino tilings

More information

Universality of distribution functions in random matrix theory Arno Kuijlaars Katholieke Universiteit Leuven, Belgium

Universality of distribution functions in random matrix theory Arno Kuijlaars Katholieke Universiteit Leuven, Belgium Universality of distribution functions in random matrix theory Arno Kuijlaars Katholieke Universiteit Leuven, Belgium SEA 06@MIT, Workshop on Stochastic Eigen-Analysis and its Applications, MIT, Cambridge,

More information

Interpolation. Chapter Interpolation. 7.2 Existence, Uniqueness and conditioning

Interpolation. Chapter Interpolation. 7.2 Existence, Uniqueness and conditioning 76 Chapter 7 Interpolation 7.1 Interpolation Definition 7.1.1. Interpolation of a given function f defined on an interval [a,b] by a polynomial p: Given a set of specified points {(t i,y i } n with {t

More information

Orthogonal polynomials

Orthogonal polynomials Orthogonal polynomials Gérard MEURANT October, 2008 1 Definition 2 Moments 3 Existence 4 Three-term recurrences 5 Jacobi matrices 6 Christoffel-Darboux relation 7 Examples of orthogonal polynomials 8 Variable-signed

More information

Theorems of Erdős-Ko-Rado type in polar spaces

Theorems of Erdős-Ko-Rado type in polar spaces Theorems of Erdős-Ko-Rado type in polar spaces Valentina Pepe, Leo Storme, Frédéric Vanhove Department of Mathematics, Ghent University, Krijgslaan 28-S22, 9000 Ghent, Belgium Abstract We consider Erdős-Ko-Rado

More information

a s 1.3 Matrix Multiplication. Know how to multiply two matrices and be able to write down the formula

a s 1.3 Matrix Multiplication. Know how to multiply two matrices and be able to write down the formula Syllabus for Math 308, Paul Smith Book: Kolman-Hill Chapter 1. Linear Equations and Matrices 1.1 Systems of Linear Equations Definition of a linear equation and a solution to a linear equations. Meaning

More information

MULTI-RESTRAINED STIRLING NUMBERS

MULTI-RESTRAINED STIRLING NUMBERS MULTI-RESTRAINED STIRLING NUMBERS JI YOUNG CHOI DEPARTMENT OF MATHEMATICS SHIPPENSBURG UNIVERSITY SHIPPENSBURG, PA 17257, U.S.A. Abstract. Given positive integers n, k, and m, the (n, k)-th m- restrained

More information

The structure of unitary actions of finitely generated nilpotent groups

The structure of unitary actions of finitely generated nilpotent groups The structure of unitary actions of finitely generated nilpotent groups A. Leibman Department of Mathematics The Ohio State University Columbus, OH 4320, USA e-mail: leibman@math.ohio-state.edu Abstract

More information

MATH 564/STAT 555 Applied Stochastic Processes Homework 2, September 18, 2015 Due September 30, 2015

MATH 564/STAT 555 Applied Stochastic Processes Homework 2, September 18, 2015 Due September 30, 2015 ID NAME SCORE MATH 56/STAT 555 Applied Stochastic Processes Homework 2, September 8, 205 Due September 30, 205 The generating function of a sequence a n n 0 is defined as As : a ns n for all s 0 for which

More information

REVIEW OF DIFFERENTIAL CALCULUS

REVIEW OF DIFFERENTIAL CALCULUS REVIEW OF DIFFERENTIAL CALCULUS DONU ARAPURA 1. Limits and continuity To simplify the statements, we will often stick to two variables, but everything holds with any number of variables. Let f(x, y) be

More information

Eigenvalues of Random Matrices over Finite Fields

Eigenvalues of Random Matrices over Finite Fields Eigenvalues of Random Matrices over Finite Fields Kent Morrison Department of Mathematics California Polytechnic State University San Luis Obispo, CA 93407 kmorriso@calpoly.edu September 5, 999 Abstract

More information

Fluctuations of random tilings and discrete Beta-ensembles

Fluctuations of random tilings and discrete Beta-ensembles Fluctuations of random tilings and discrete Beta-ensembles Alice Guionnet CRS (E S Lyon) Workshop in geometric functional analysis, MSRI, nov. 13 2017 Joint work with A. Borodin, G. Borot, V. Gorin, J.Huang

More information

Real symmetric matrices/1. 1 Eigenvalues and eigenvectors

Real symmetric matrices/1. 1 Eigenvalues and eigenvectors Real symmetric matrices 1 Eigenvalues and eigenvectors We use the convention that vectors are row vectors and matrices act on the right. Let A be a square matrix with entries in a field F; suppose that

More information

Generating Functions

Generating Functions Semester 1, 2004 Generating functions Another means of organising enumeration. Two examples we have seen already. Example 1. Binomial coefficients. Let X = {1, 2,..., n} c k = # k-element subsets of X

More information

here, this space is in fact infinite-dimensional, so t σ ess. Exercise Let T B(H) be a self-adjoint operator on an infinitedimensional

here, this space is in fact infinite-dimensional, so t σ ess. Exercise Let T B(H) be a self-adjoint operator on an infinitedimensional 15. Perturbations by compact operators In this chapter, we study the stability (or lack thereof) of various spectral properties under small perturbations. Here s the type of situation we have in mind:

More information

The cycle polynomial of a permutation group

The cycle polynomial of a permutation group The cycle polynomial of a permutation group Peter J. Cameron School of Mathematics and Statistics University of St Andrews North Haugh St Andrews, Fife, U.K. pjc0@st-andrews.ac.uk Jason Semeraro Department

More information

MATHEMATICS 217 NOTES

MATHEMATICS 217 NOTES MATHEMATICS 27 NOTES PART I THE JORDAN CANONICAL FORM The characteristic polynomial of an n n matrix A is the polynomial χ A (λ) = det(λi A), a monic polynomial of degree n; a monic polynomial in the variable

More information

Lemma 8: Suppose the N by N matrix A has the following block upper triangular form:

Lemma 8: Suppose the N by N matrix A has the following block upper triangular form: 17 4 Determinants and the Inverse of a Square Matrix In this section, we are going to use our knowledge of determinants and their properties to derive an explicit formula for the inverse of a square matrix

More information

Radon Transforms and the Finite General Linear Groups

Radon Transforms and the Finite General Linear Groups Claremont Colleges Scholarship @ Claremont All HMC Faculty Publications and Research HMC Faculty Scholarship 1-1-2004 Radon Transforms and the Finite General Linear Groups Michael E. Orrison Harvey Mudd

More information

Hopf algebras and factorial divergent power series: Algebraic tools for graphical enumeration

Hopf algebras and factorial divergent power series: Algebraic tools for graphical enumeration Hopf algebras and factorial divergent power series: Algebraic tools for graphical enumeration Michael Borinsky 1 Humboldt-University Berlin Departments of Physics and Mathematics Workshop on Enumerative

More information

A class of trees and its Wiener index.

A class of trees and its Wiener index. A class of trees and its Wiener index. Stephan G. Wagner Department of Mathematics Graz University of Technology Steyrergasse 3, A-81 Graz, Austria wagner@finanz.math.tu-graz.ac.at Abstract In this paper,

More information

Combining the cycle index and the Tutte polynomial?

Combining the cycle index and the Tutte polynomial? Combining the cycle index and the Tutte polynomial? Peter J. Cameron University of St Andrews Combinatorics Seminar University of Vienna 23 March 2017 Selections Students often meet the following table

More information

Hopf algebras and factorial divergent power series: Algebraic tools for graphical enumeration

Hopf algebras and factorial divergent power series: Algebraic tools for graphical enumeration Hopf algebras and factorial divergent power series: Algebraic tools for graphical enumeration Michael Borinsky 1 Humboldt-University Berlin Departments of Physics and Mathematics Workshop on Enumerative

More information

Power Series Solutions We use power series to solve second order differential equations

Power Series Solutions We use power series to solve second order differential equations Objectives Power Series Solutions We use power series to solve second order differential equations We use power series expansions to find solutions to second order, linear, variable coefficient equations

More information

Lectures 6 7 : Marchenko-Pastur Law

Lectures 6 7 : Marchenko-Pastur Law Fall 2009 MATH 833 Random Matrices B. Valkó Lectures 6 7 : Marchenko-Pastur Law Notes prepared by: A. Ganguly We will now turn our attention to rectangular matrices. Let X = (X 1, X 2,..., X n ) R p n

More information

arxiv: v2 [math-ph] 4 Apr 2018

arxiv: v2 [math-ph] 4 Apr 2018 Enumeration of N-rooted maps using quantum field theory K. Gopala Krishna 1, Patrick Labelle, and Vasilisa Shramchenko 3 arxiv:1709.0100v [math-ph] 4 Apr 018 Abstract A one-to-one correspondence is proved

More information

Rank and Kernel of binary Hadamard codes.

Rank and Kernel of binary Hadamard codes. 1 Rank and Kernel of binary Hadamard codes. K.T. Phelps, J. Rifà Senior Member IEEE, M. Villanueva Abstract In this paper the rank and the dimension of the kernel for (binary) Hadamard codes of length

More information

arxiv: v1 [math-ph] 5 Sep 2017

arxiv: v1 [math-ph] 5 Sep 2017 Enumeration of N-rooted maps using quantum field theory K. Gopala Krishna 1, Patrick Labelle, and Vasilisa Shramchenko 3 arxiv:1709.0100v1 [math-ph] 5 Sep 017 Abstract A one-to-one correspondence is proved

More information

An Introduction to Entropy and Subshifts of. Finite Type

An Introduction to Entropy and Subshifts of. Finite Type An Introduction to Entropy and Subshifts of Finite Type Abby Pekoske Department of Mathematics Oregon State University pekoskea@math.oregonstate.edu August 4, 2015 Abstract This work gives an overview

More information

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism 8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the

More information

Random matrices and the Riemann zeros

Random matrices and the Riemann zeros Random matrices and the Riemann zeros Bruce Bartlett Talk given in Postgraduate Seminar on 5th March 2009 Abstract Random matrices and the Riemann zeta function came together during a chance meeting between

More information

Partitions, permutations and posets Péter Csikvári

Partitions, permutations and posets Péter Csikvári Partitions, permutations and posets Péter Csivári In this note I only collect those things which are not discussed in R Stanley s Algebraic Combinatorics boo Partitions For the definition of (number) partition,

More information

Math 108b: Notes on the Spectral Theorem

Math 108b: Notes on the Spectral Theorem Math 108b: Notes on the Spectral Theorem From section 6.3, we know that every linear operator T on a finite dimensional inner product space V has an adjoint. (T is defined as the unique linear operator

More information

Hurwitz numbers for real polynomials arxiv: v2 [math.ag] 11 Dec 2018

Hurwitz numbers for real polynomials arxiv: v2 [math.ag] 11 Dec 2018 Hurwitz numbers for real polynomials arxiv:609.0529v2 [math.ag] Dec 28 Ilia Itenberg, Dimitri Zvonkine December 2, 28 Abstract We consider the problem of defining and computing real analogs of polynomial

More information

Equations with regular-singular points (Sect. 5.5).

Equations with regular-singular points (Sect. 5.5). Equations with regular-singular points (Sect. 5.5). Equations with regular-singular points. s: Equations with regular-singular points. Method to find solutions. : Method to find solutions. Recall: The

More information

MAC Module 12 Eigenvalues and Eigenvectors. Learning Objectives. Upon completing this module, you should be able to:

MAC Module 12 Eigenvalues and Eigenvectors. Learning Objectives. Upon completing this module, you should be able to: MAC Module Eigenvalues and Eigenvectors Learning Objectives Upon completing this module, you should be able to: Solve the eigenvalue problem by finding the eigenvalues and the corresponding eigenvectors

More information

Introduction to Orthogonal Polynomials: Definition and basic properties

Introduction to Orthogonal Polynomials: Definition and basic properties Introduction to Orthogonal Polynomials: Definition and basic properties Prof. Dr. Mama Foupouagnigni African Institute for Mathematical Sciences, Limbe, Cameroon and Department of Mathematics, Higher Teachers

More information

arxiv: v1 [math.co] 3 Nov 2014

arxiv: v1 [math.co] 3 Nov 2014 SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed

More information

NOTES ON THE PERRON-FROBENIUS THEORY OF NONNEGATIVE MATRICES

NOTES ON THE PERRON-FROBENIUS THEORY OF NONNEGATIVE MATRICES NOTES ON THE PERRON-FROBENIUS THEORY OF NONNEGATIVE MATRICES MIKE BOYLE. Introduction By a nonnegative matrix we mean a matrix whose entries are nonnegative real numbers. By positive matrix we mean a matrix

More information

A linear algebra proof of the fundamental theorem of algebra

A linear algebra proof of the fundamental theorem of algebra A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional

More information

Fluctuations of random tilings and discrete Beta-ensembles

Fluctuations of random tilings and discrete Beta-ensembles Fluctuations of random tilings and discrete Beta-ensembles Alice Guionnet CRS (E S Lyon) Advances in Mathematics and Theoretical Physics, Roma, 2017 Joint work with A. Borodin, G. Borot, V. Gorin, J.Huang

More information

A linear algebra proof of the fundamental theorem of algebra

A linear algebra proof of the fundamental theorem of algebra A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional

More information

Math 354 Transition graphs and subshifts November 26, 2014

Math 354 Transition graphs and subshifts November 26, 2014 Math 54 Transition graphs and subshifts November 6, 04. Transition graphs Let I be a closed interval in the real line. Suppose F : I I is function. Let I 0, I,..., I N be N closed subintervals in I with

More information

1.10 Matrix Representation of Graphs

1.10 Matrix Representation of Graphs 42 Basic Concepts of Graphs 1.10 Matrix Representation of Graphs Definitions: In this section, we introduce two kinds of matrix representations of a graph, that is, the adjacency matrix and incidence matrix

More information

Boolean Inner-Product Spaces and Boolean Matrices

Boolean Inner-Product Spaces and Boolean Matrices Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver

More information

1. General Vector Spaces

1. General Vector Spaces 1.1. Vector space axioms. 1. General Vector Spaces Definition 1.1. Let V be a nonempty set of objects on which the operations of addition and scalar multiplication are defined. By addition we mean a rule

More information

A Recursive Relation for Weighted Motzkin Sequences

A Recursive Relation for Weighted Motzkin Sequences 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 8 (005), Article 05.1.6 A Recursive Relation for Weighted Motzkin Sequences Wen-jin Woan Department of Mathematics Howard University Washington, D.C. 0059

More information

that determines x up to a complex scalar of modulus 1, in the real case ±1. Another condition to normalize x is by requesting that

that determines x up to a complex scalar of modulus 1, in the real case ±1. Another condition to normalize x is by requesting that Chapter 3 Newton methods 3. Linear and nonlinear eigenvalue problems When solving linear eigenvalue problems we want to find values λ C such that λi A is singular. Here A F n n is a given real or complex

More information

The Generating Functions for Pochhammer

The Generating Functions for Pochhammer The Generating Functions for Pochhammer Symbol { }, n N Aleksandar Petoević University of Novi Sad Teacher Training Faculty, Department of Mathematics Podgorička 4, 25000 Sombor SERBIA and MONTENEGRO Email

More information

COUNTING COVERS OF AN ELLIPTIC CURVE

COUNTING COVERS OF AN ELLIPTIC CURVE COUNTING COVERS OF AN ELLIPTIC CURVE ABSTRACT. This note is an exposition of part of Dijkgraaf s article [Dij] on counting covers of elliptic curves and their connection with modular forms. CONTENTS 0.

More information

CAAM 335 Matrix Analysis

CAAM 335 Matrix Analysis CAAM 335 Matrix Analysis Solutions to Homework 8 Problem (5+5+5=5 points The partial fraction expansion of the resolvent for the matrix B = is given by (si B = s } {{ } =P + s + } {{ } =P + (s (5 points

More information

ORTHOGONAL POLYNOMIALS

ORTHOGONAL POLYNOMIALS ORTHOGONAL POLYNOMIALS 1. PRELUDE: THE VAN DER MONDE DETERMINANT The link between random matrix theory and the classical theory of orthogonal polynomials is van der Monde s determinant: 1 1 1 (1) n :=

More information

Free probabilities and the large N limit, IV. Loop equations and all-order asymptotic expansions... Gaëtan Borot

Free probabilities and the large N limit, IV. Loop equations and all-order asymptotic expansions... Gaëtan Borot Free probabilities and the large N limit, IV March 27th 2014 Loop equations and all-order asymptotic expansions... Gaëtan Borot MPIM Bonn & MIT based on joint works with Alice Guionnet, MIT Karol Kozlowski,

More information

Inner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that. (1) (2) (3) x x > 0 for x 0.

Inner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that. (1) (2) (3) x x > 0 for x 0. Inner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that (1) () () (4) x 1 + x y = x 1 y + x y y x = x y x αy = α x y x x > 0 for x 0 Consequently, (5) (6)

More information

1 Unitary representations of the Virasoro algebra

1 Unitary representations of the Virasoro algebra Week 5 Reading material from the books Polchinski, Chapter 2, 15 Becker, Becker, Schwartz, Chapter 3 Ginspargs lectures, Chapters 3, 4 1 Unitary representations of the Virasoro algebra Now that we have

More information

22m:033 Notes: 7.1 Diagonalization of Symmetric Matrices

22m:033 Notes: 7.1 Diagonalization of Symmetric Matrices m:33 Notes: 7. Diagonalization of Symmetric Matrices Dennis Roseman University of Iowa Iowa City, IA http://www.math.uiowa.edu/ roseman May 3, Symmetric matrices Definition. A symmetric matrix is a matrix

More information

DISTINGUISHING PARTITIONS AND ASYMMETRIC UNIFORM HYPERGRAPHS

DISTINGUISHING PARTITIONS AND ASYMMETRIC UNIFORM HYPERGRAPHS DISTINGUISHING PARTITIONS AND ASYMMETRIC UNIFORM HYPERGRAPHS M. N. ELLINGHAM AND JUSTIN Z. SCHROEDER In memory of Mike Albertson. Abstract. A distinguishing partition for an action of a group Γ on a set

More information

Induced subgraphs with many repeated degrees

Induced subgraphs with many repeated degrees Induced subgraphs with many repeated degrees Yair Caro Raphael Yuster arxiv:1811.071v1 [math.co] 17 Nov 018 Abstract Erdős, Fajtlowicz and Staton asked for the least integer f(k such that every graph with

More information

1 Traces, Traces Everywhere (5 points)

1 Traces, Traces Everywhere (5 points) Ph15c Spring 017 Prof. Sean Carroll seancarroll@gmail.com Homework - Solutions Assigned TA: Ashmeet Singh ashmeet@caltech.edu 1 Traces, Traces Everywhere (5 points) (a.) Okay, so the time evolved state

More information

Painlevé Representations for Distribution Functions for Next-Largest, Next-Next-Largest, etc., Eigenvalues of GOE, GUE and GSE

Painlevé Representations for Distribution Functions for Next-Largest, Next-Next-Largest, etc., Eigenvalues of GOE, GUE and GSE Painlevé Representations for Distribution Functions for Next-Largest, Next-Next-Largest, etc., Eigenvalues of GOE, GUE and GSE Craig A. Tracy UC Davis RHPIA 2005 SISSA, Trieste 1 Figure 1: Paul Painlevé,

More information

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

ACO Comprehensive Exam March 17 and 18, Computability, Complexity and Algorithms 1. Computability, Complexity and Algorithms (a) Let G(V, E) be an undirected unweighted graph. Let C V be a vertex cover of G. Argue that V \ C is an independent set of G. (b) Minimum cardinality vertex

More information

Frame Diagonalization of Matrices

Frame Diagonalization of Matrices Frame Diagonalization of Matrices Fumiko Futamura Mathematics and Computer Science Department Southwestern University 00 E University Ave Georgetown, Texas 78626 U.S.A. Phone: + (52) 863-98 Fax: + (52)

More information

GATE Engineering Mathematics SAMPLE STUDY MATERIAL. Postal Correspondence Course GATE. Engineering. Mathematics GATE ENGINEERING MATHEMATICS

GATE Engineering Mathematics SAMPLE STUDY MATERIAL. Postal Correspondence Course GATE. Engineering. Mathematics GATE ENGINEERING MATHEMATICS SAMPLE STUDY MATERIAL Postal Correspondence Course GATE Engineering Mathematics GATE ENGINEERING MATHEMATICS ENGINEERING MATHEMATICS GATE Syllabus CIVIL ENGINEERING CE CHEMICAL ENGINEERING CH MECHANICAL

More information

To get horizontal and slant asymptotes algebraically we need to know about end behaviour for rational functions.

To get horizontal and slant asymptotes algebraically we need to know about end behaviour for rational functions. Concepts: Horizontal Asymptotes, Vertical Asymptotes, Slant (Oblique) Asymptotes, Transforming Reciprocal Function, Sketching Rational Functions, Solving Inequalities using Sign Charts. Rational Function

More information

FRACTIONAL FACTORIAL DESIGNS OF STRENGTH 3 AND SMALL RUN SIZES

FRACTIONAL FACTORIAL DESIGNS OF STRENGTH 3 AND SMALL RUN SIZES FRACTIONAL FACTORIAL DESIGNS OF STRENGTH 3 AND SMALL RUN SIZES ANDRIES E. BROUWER, ARJEH M. COHEN, MAN V.M. NGUYEN Abstract. All mixed (or asymmetric) orthogonal arrays of strength 3 with run size at most

More information

16.1 L.P. Duality Applied to the Minimax Theorem

16.1 L.P. Duality Applied to the Minimax Theorem CS787: Advanced Algorithms Scribe: David Malec and Xiaoyong Chai Lecturer: Shuchi Chawla Topic: Minimax Theorem and Semi-Definite Programming Date: October 22 2007 In this lecture, we first conclude our

More information

arxiv: v1 [quant-ph] 11 Mar 2016

arxiv: v1 [quant-ph] 11 Mar 2016 The Asymptotics of Quantum Max-Flow Min-Cut Matthew B. Hastings 1 Station Q, Microsoft Research, Santa Barbara, CA 93106-6105, USA 2 Quantum Architectures and Computation Group, Microsoft Research, Redmond,

More information

Lecture 6. Eigen-analysis

Lecture 6. Eigen-analysis Lecture 6 Eigen-analysis University of British Columbia, Vancouver Yue-Xian Li March 7 6 Definition of eigenvectors and eigenvalues Def: Any n n matrix A defines a LT, A : R n R n A vector v and a scalar

More information

1 Tridiagonal matrices

1 Tridiagonal matrices Lecture Notes: β-ensembles Bálint Virág Notes with Diane Holcomb 1 Tridiagonal matrices Definition 1. Suppose you have a symmetric matrix A, we can define its spectral measure (at the first coordinate

More information

The maximum size of a partial spread in H(4n + 1,q 2 ) is q 2n+1 + 1

The maximum size of a partial spread in H(4n + 1,q 2 ) is q 2n+1 + 1 The maximum size of a partial spread in H(4n +, 2 ) is 2n+ + Frédéric Vanhove Dept. of Pure Mathematics and Computer Algebra, Ghent University Krijgslaan 28 S22 B-9000 Ghent, Belgium fvanhove@cage.ugent.be

More information

Ir O D = D = ( ) Section 2.6 Example 1. (Bottom of page 119) dim(v ) = dim(l(v, W )) = dim(v ) dim(f ) = dim(v )

Ir O D = D = ( ) Section 2.6 Example 1. (Bottom of page 119) dim(v ) = dim(l(v, W )) = dim(v ) dim(f ) = dim(v ) Section 3.2 Theorem 3.6. Let A be an m n matrix of rank r. Then r m, r n, and, by means of a finite number of elementary row and column operations, A can be transformed into the matrix ( ) Ir O D = 1 O

More information

Modeling and Stability Analysis of a Communication Network System

Modeling and Stability Analysis of a Communication Network System Modeling and Stability Analysis of a Communication Network System Zvi Retchkiman Königsberg Instituto Politecnico Nacional e-mail: mzvi@cic.ipn.mx Abstract In this work, the modeling and stability problem

More information

The Ising Partition Function: Zeros and Deterministic Approximation

The Ising Partition Function: Zeros and Deterministic Approximation The Ising Partition Function: Zeros and Deterministic Approximation Jingcheng Liu Alistair Sinclair Piyush Srivastava University of California, Berkeley Summer 2017 Jingcheng Liu (UC Berkeley) The Ising

More information