Then the number of elements of S of weight n is exactly the number of compositions of n into k parts.

Similar documents
Chapter 19 Webassign Help Problems

Several new identities involving Euler and Bernoulli polynomials

Chapter 3: Theory of Modular Arithmetic 38

Math 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs

3.1 Random variables

V V The circumflex (^) tells us this is a unit vector

Estimation and Confidence Intervals: Additional Topics

Goodness-of-fit for composite hypotheses.

On the quadratic support of strongly convex functions

Solutions Practice Test PHYS 211 Exam 2

Solutions to Problem Set 8

radians). Figure 2.1 Figure 2.2 (a) quadrant I angle (b) quadrant II angle is in standard position Terminal side Terminal side Terminal side

Fall 2004/05 Solutions to Assignment 5: The Stationary Phase Method Provided by Mustafa Sabri Kilic. I(x) = e ixt e it5 /5 dt (1) Z J(λ) =

Σr2=0. Σ Br. Σ br. Σ r=0. br = Σ. Σa r-s b s (1.2) s=0. Σa r-s b s-t c t (1.3) t=0. cr = Σ. dr = Σ. Σa r-s b s-t c t-u d u (1.4) u =0.

ASTR 3740 Relativity & Cosmology Spring Answers to Problem Set 4.

Solution to HW 3, Ma 1a Fall 2016

H.W.GOULD West Virginia University, Morgan town, West Virginia 26506

So, if we are finding the amount of work done over a non-conservative vector field F r, we do that long ur r b ur =

On a quantity that is analogous to potential and a theorem that relates to it

9.1 The multiplicative group of a finite field. Theorem 9.1. The multiplicative group F of a finite field is cyclic.

(n 1)n(n + 1)(n + 2) + 1 = (n 1)(n + 2)n(n + 1) + 1 = ( (n 2 + n 1) 1 )( (n 2 + n 1) + 1 ) + 1 = (n 2 + n 1) 2.

A Crash Course in (2 2) Matrices

Section 25 Describing Rotational Motion

Theorem 2: Proof: Note 1: Proof: Note 2:

The Substring Search Problem

10/04/18. P [P(x)] 1 negl(n).

Physics 2A Chapter 10 - Moment of Inertia Fall 2018

Absolute Specifications: A typical absolute specification of a lowpass filter is shown in figure 1 where:

Auchmuty High School Mathematics Department Advanced Higher Notes Teacher Version

How can you find the dimensions of a square or a circle when you are given its area? When you multiply a number by itself, you square the number.

A Bijective Approach to the Permutational Power of a Priority Queue

Problem Set #10 Math 471 Real Analysis Assignment: Chapter 8 #2, 3, 6, 8

PDF Created with deskpdf PDF Writer - Trial ::

CALCULUS II Vectors. Paul Dawkins

Question 1: The dipole

Physics 121 Hour Exam #5 Solution

of the contestants play as Falco, and 1 6

arxiv: v1 [math.cv] 7 Nov 2018

Complex Eigenvalues. Prepared by Vince Zaccone For Campus Learning Assistance Services at UCSB

Lecture 3. January 9, 2018

Gravity. David Barwacz 7778 Thornapple Bayou SE, Grand Rapids, MI David Barwacz 12/03/2003

f h = u, h g = v, we have u + v = f g. So, we wish

Journal of Number Theory

Miskolc Mathematical Notes HU e-issn Tribonacci numbers with indices in arithmetic progression and their sums. Nurettin Irmak and Murat Alp

To Feel a Force Chapter 7 Static equilibrium - torque and friction

Chapter Eight Notes N P U1C8S4-6

MASSACHUSETTS INSTITUTE OF TECHNOLOGY Physics Department Physics 8.07: Electromagnetism II September 15, 2012 Prof. Alan Guth PROBLEM SET 2

THE CONE THEOREM JOEL A. TROPP. Abstract. We prove a fixed point theorem for functions which are positive with respect to a cone in a Banach space.

F-IF Logistic Growth Model, Abstract Version

On the integration of the equations of hydrodynamics

OLYMON. Produced by the Canadian Mathematical Society and the Department of Mathematics of the University of Toronto. Issue 9:2.

THE NUMBER OF TWO CONSECUTIVE SUCCESSES IN A HOPPE-PÓLYA URN

15 Solving the Laplace equation by Fourier method

Multiple Experts with Binary Features

Inference for A One Way Factorial Experiment. By Ed Stanek and Elaine Puleo

Section 8.2 Polar Coordinates

defined on a domain can be expanded into the Taylor series around a point a except a singular point. Also, f( z)

MO-ARML --- September, POWER OF A POINT

SPH3UW/SPH4U Unit 3.2 Forces in Cetripetal Motion Page 1 of 6. Notes Physics Tool Box

Probabilistic number theory : A report on work done. What is the probability that a randomly chosen integer has no square factors?

Exploration of the three-person duel

In many engineering and other applications, the. variable) will often depend on several other quantities (independent variables).

SIMPLE LOW-ORDER AND INTEGRAL-ACTION CONTROLLER SYNTHESIS FOR MIMO SYSTEMS WITH TIME DELAYS

3.6 Applied Optimization

RECTIFYING THE CIRCUMFERENCE WITH GEOGEBRA

Lecture 8 - Gauss s Law

Hopefully Helpful Hints for Gauss s Law

Last time: S n xt y where T tpijq 1 i j nu.

Geometry Contest 2013

Method for Approximating Irrational Numbers

Divisibility. c = bf = (ae)f = a(ef) EXAMPLE: Since 7 56 and , the Theorem above tells us that

arxiv: v1 [math.co] 4 May 2017

working pages for Paul Richards class notes; do not copy or circulate without permission from PGR 2004/11/3 10:50

Conflict Exam Issue. Sorry, Can t do it. Please see Kevin Pitts if you have any additional questions or concerns about this. Office is 231 Loomis

6 PROBABILITY GENERATING FUNCTIONS

Linear Systems With Coeæcient Matrices. Having Fields of Values. Ren-Cang Li. Department of Mathematics. University of California at Berkeley

Math 1105: Calculus I (Math/Sci majors) MWF 11am / 12pm, Campion 235 Written homework 3

The physics of induction stoves

Probablistically Checkable Proofs

Physics 161 Fall 2011 Extra Credit 2 Investigating Black Holes - Solutions The Following is Worth 50 Points!!!

Histogram Processing

CBE Transport Phenomena I Final Exam. December 19, 2013

1 Similarity Analysis

What to Expect on the Placement Exam

you of a spring. The potential energy for a spring is given by the parabola U( x)

PHYS Summer Professor Caillault Homework Solutions. Chapter 9

Scattering in Three Dimensions

Berkeley Math Circle AIME Preparation March 5, 2013

Homework Set 3 Physics 319 Classical Mechanics

Pascal s Triangle (mod 8)

763620SS STATISTICAL PHYSICS Solutions 2 Autumn 2012

THE EVALUATION OF CERTAIN ARITHMETIC SUMS

On Locally Convex Topological Vector Space Valued Null Function Space c 0 (S,T, Φ, ξ, u) Defined by Semi Norm and Orlicz Function

On the Quasi-inverse of a Non-square Matrix: An Infinite Solution

When two numbers are written as the product of their prime factors, they are in factored form.

Basic propositional and. The fundamentals of deduction

Topic 4a Introduction to Root Finding & Bracketing Methods

Two figures are similar fi gures when they have the same shape but not necessarily the same size.

HW Solutions # MIT - Prof. Please study example 12.5 "from the earth to the moon". 2GmA v esc

Greatest term (numerically) in the expansion of (1 + x) Method 1 Let T

Transcription:

Geneating Function In a geneal combinatoial poblem, we have a univee S of object, and we want to count the numbe of object with a cetain popety. Fo example, if S i the et of all gaph, we might want to count how many gaph in S have n vetice. O if S i the et of all equence of poitive intege of length, we might want to count how many of thee equence add up to n. A geneal appoach to thee poblem i to ue geneating function (alo called geneating eie). We let w define the popety of object in S that we e inteeted in: we efe to w a a weight function, and it aign to each element of S a non-negative intege. Fo example, if we want to count compoition of n into pat, then S i the et of all equence of poitive intege of length, and the weight w of a equence (x, x,..., x ) S i w(x, x,..., x ) = x x... x. Then the numbe of element of S of weight n i exactly the numbe of compoition of n into pat. Let S be a et of object with weight function w, and let a n be the numbe of element of S of weight n. The geneating function fo S with epect to weight function w i given by Φ S (x) := a n x n. The idea i that if we can figue out a fomula fo the geneating function Φ S (x), then the numbe of element of S of weight n (which i jut a n ) can be found by looing at the coefficient of x n in Φ S (x). Let do ome example whee we now a n, and we want to wo out Φ S (x). Then we ll evee thing, and loo at poblem whee we don t now a n, but we can wo it out by looing at Φ S (x). Example. Let S = {0,,,...} and w(i) = i fo i = 0,,,.... So the object ae jut numbe, and the weight of a numbe i that numbe. Now to find Φ S (x), we fit wo out a n. Since a n i the numbe of object of weight n, and the only object of weight n i n itelf, we ee that a n = fo all n 0. Theefoe Φ S (x) = a n x n = x 0 x x... = x x.... n=0 You hould ecognie thi a the familia geometic eie with um /( x), o we conclude Φ S (x) = x. Example. Let S = {0,,,..., } and w(i) = i fo i =,,...,. Thi i the ame a the lat example, except a n = only fo n. So n=0 Φ S (x) = x x... x

which you hould ecognie a a finite geometic eie, with um (x )/(x ), o Φ S (x) = x x. Example. Let S = {(a, b) : a, b 0} and w(a, b) = a b. Thi i a bit moe ticy; to find a n, we need the numbe of (a, b) uch that a b = n. Well if we chooe a {0,,,..., n}, and thee ae n way to do that, b i fixed to be equal to n a. So a n = n, which mean Φ S (x) = x x 4x.... To um up the ight hand ide, we ue the fact that the left hand ide i the deivative of x x.... So Φ S (x) = d ( x x... ) = d ( ) = dx dx x ( x). Example. The binomial theoem i eally a theoem about geneating function. Fo y = it ay n ( ) n ( x) n = x. =0 Now let S be the et of all ubet of {,,..., n}, and the weight of a et be it ize. Then a = ( n ) thi i the numbe of element of S (et in {,,..., n}) which have weight (which have ize ). So ( ) ( ) ( ) n n n Φ S (x) = x 0 x... x n = ( x) n 0 n by the binomial theoem. Thee ae many moe inteeting example of geneating function, but ou eal aim i to ty to find a n fo poblem whee it i not immediately eay to do o. A mentioned, we ll do thi by fit woing out Φ S (x), and then tying to ee what in font of x n. We ll concentate on woing out a n when S i the et of all equence of length with etiction on the entie of S, and the weight of a equence i the um of it entie. Then a n i exactly the numbe of equence of length which add up to n. Theoem Let S be the et of all equence (x, x,..., x ) uch that x i S i, whee S i i a et of non-negative intege fo i =,,...,, and uppoe a n i the numbe of equence in S which add up to n. Then a n i the coefficient of x n in Φ S (x) = Φ S (x)φ S (x) Φ S (x) whee Φ Si (x) = S i x.

Although thi theoem i not difficult to pove, we will not do it hee. We ll conclude with a numbe of example. Example. Detemine the numbe of compoition of n into pat whee each pat i o. Fit we find Φ S (x) uing the theoem, whee S i the et of equence of length all of whoe entie ae o. In the theoem, S i = {, } fo i =,,...,, ince the ith enty of each equence i in the et {, }. Then fo i =,,...,. By the theoem, Φ Si (x) = x x Φ S (x) = (x x ) = x ( x). So we have found the geneating function fo S. Next we have to wo out a n (the coefficient of x n in Φ S (x)). Well Φ S (x) = x ( x) = x x by the binomial theoem applied to ( x). Thi i the ame a x. To get the coefficient of x n, we put = n, which mean a n =. n Example. Detemine the numbe of compoition of n into pat whee each pat i 0, o. Fit we find Φ S (x) uing the theoem, whee S i the et of equence of length all of whoe entie ae 0, o. In the theoem, S i = {0,, } fo i =,,...,, ince the ith enty of each equence i in the et {0,, }. Then fo i =,,...,. By the theoem, Φ Si (x) = x x Φ S (x) = ( x x ). So we have found the geneating function fo S. Next we have to wo out a n (the coefficient of x n in Φ S (x)). Well let z = x x, o that Φ S (x) = ( z) = z

by the binomial theoem. Thi till doen t help u ee whee x n i ince z = x x. But we can again apply the binomial theoem: z = x ( x) = x Subtituting thi in the oiginal um we get Φ S (x) = x =0 ( ) x = =0 ( ) x. =0 ( )( ) x. We have to put = n to get x n in the um. The coefficient of x n i then ( )( ) n which loo vey complicated, but nevethele it i the anwe. The anwe can be checed fo mall value of n. Fo example, if n = 4 and =, the ix equence adding up to n ae (,, ) (,, ) (,, ) (0,, ) (, 0, ) (,, 0). Let ee if the anwe we got befoe i 6. ( )( ) = 4 0 )( ) 0 4 )( ) )( ) )( ) = 0 0 = 6. The Extended Binomial Theoem. We can define ( a ) when a i a ational numbe a follow: ( ) a a(a )(a )... (a ) =.! Thi i the ame definition a when a i an intege. Then the binomial theoem can be extended to apply to (x y) a : Theoem Extended Binomial Theoem Let a be a ational numbe. Then ( ) a (x y) a = x y a. =0 4

Thi allow u to do moe with geneating function: Example. Detemine the numbe of compoition of n into pat whee each pat i even (including zeo). Fit we find Φ S (x) uing the theoem, whee S i the et of equence of length all of whoe entie ae even. In the theoem, S i = {0,, 4, 6,...} fo i =,,...,, ince the ith enty of each equence i in the et {0,, 4,...}. Then Φ Si (x) = x x 4 x 6... fo i =,,...,. So we now by the theoem Φ S (x) = ( x x 4...) and we have found the geneating function fo S. But it loo athe mey. Fotunately the baceted pat i a geometic eie which ha um /( x ), o Φ S (x) = ( x ). Next we have to wo out a n (the coefficient of x n in Φ S (x)). Well by the extended binomial theoem Φ S (x) = ( x ) = ( ) ( ) x. We have to put = n/ to get x n in the um, and we can t do that if n i odd. So if n i odd, then a n = 0. If n i even, then put = n/ o that ( ) a n =. n/ Let chec mall value of n and : if n = 4 and =, then the equence ae (, ), (0, 4), (4, 0) o thee ae thee of them. Thi agee with ( ) = ( )( )! =. You can ue the extended binomial theoem to pove that thee ae ( n ) compoition of n into pat (o each pat i an element of {,,...}); we poved thi theoem ealie uing a combinatoial tic. 5