Math 172 Spring 2010 Haiman Notes on ordinary generating functions

Size: px
Start display at page:

Download "Math 172 Spring 2010 Haiman Notes on ordinary generating functions"

Transcription

1 Math 72 Sprig 200 Haima Notes o ordiary geeratig fuctios How do we cout with geeratig fuctios? May eumeratio problems which are ot so easy to hadle by elemetary meas ca be solved usig geeratig fuctios I these otes I ll describe the geeral set-up i which ordiary geeratig fuctios apply Expoetial geeratig fuctios are useful i a somewhat differet set-up, which we will discuss later Our basic problem will be to cout objects of a give size, or weight, The specific meaig of the weight will vary with the cotext, but here are some typical possibilities: might be the legth of a word, or the size of a subset or multisubset of a give set, or we might be coutig compositios of, or partitios of We ca also have situatios i which there is more tha oe relevat weight For example i coutig partitios λ = (λ,, λ k ), we may wat to keep track of both the size of the partitio = w(λ) = λ + λ λ k, ad the umber of parts l(λ) = k, to arrive at the umber p(, k) of partitios of with k parts What ofte happes is that if we do t fix the weight i advace, but rather try to cout objects of all weights simultaeously, it allows us extra freedom to make idepedet choices ad thereby simplify the problem But we have to do this i a way that keeps track of the weights, so we ca solve our origial problem We will also have to deal with the fact that the set of all objects of all possible weights is typically ifiite Both of these difficulties ca be hadled by geeralizig our usual idea of the umber of elemets of a fiite set to a weight eumerator for elemets of a possibly ifiite set with weights Defiitio Let S be a set equipped with a fuctio w : S N, called the weight fuctio Assume that for each, the subset {s S : w(s) = } is fiite, ad let s = {s S : w(s) = } be its umber of elemets (the whole set S is allowed to be ifiite) The weight eumerator for S is the geeratig fuctio S(x) = x w(s) s x = s S Note that if S is fiite, the S() is just the umber of elemets of S I geeral, S(x) should be thought of as a kid of weighted cout of the elemets of S, where a elemet of weight couts as x istead of The sum priciple for weight eumerators is just like that for elemetary coutig, ad follows immediately from the defiitio: Sum Priciple If S is the uio S = A B of two disjoit subsets A B =, the S(x) = A(x) + B(x), where S(x), A(x), B(x) deote the weight eumerators for S, A ad B respectively (takig the weight fuctios o A ad B to be the restrictios of the give oe o S) There is also a aalog for weight eumerators of the product priciple from elemetary coutig For this, however, we have to be careful about how weights o the elemets of the product are related to those o the compoets: the weights are required to be additive Product Priciple If S is a Cartesia product S = A A k of weighted sets, ad if the weights satisfy w(s) = w(a ) + + w(a k ) for s = (a,, a k ), the S(x) = A (x)a 2 (x) A k (x) where S(x), A i (x) deote the weight eumerators for S ad the sets A i

2 To see why the product priciple works, observe that for two sets S = A B, we have S(x) = x w((a,b)) = x w(a)+w(b) = x w(b) = A(x)B(x) (a,b) S (a,b) S (a,b) S x w(a) x w(b) = a A x w(a) b B The geeral case of a product of k sets follows from the two-set case by iductio o k If our set S is equipped with more tha oe weight fuctio, we will have a correspodig weight eumerator which is a geeratig fuctio i more tha oe variable, for example, if we have two weight fuctios w ad z, we would have a weight eumerator S(x, y) = x w(s) y z(s) = s,k x y k, s S k=0 where s,k is the umber of elemets s S such that w(s) = ad z(s) = k 2 Words, compositios I may istaces, typified by the examples i this sectio, we ca assemble a object from smaller pieces by first decidig o the umber of pieces to use, say j, ad the choosig the j pieces idepedetly, i a defiite order This leads to situatios i which we use the product priciple for each j, ad the sum over all j, leadig to a geometric series ivolvig a previously kow geeratig fuctio As a first example, let us determie the umber g of words w of legth i the symbols {0, } which do ot cotai cosecutive s Before cosiderig the geeratig fuctio, we might observe that g satisfies the same recurrece as the Fiboacci umbers To see this, ote that the word w must either start with a 0 or a If it starts with a 0, the rest of the word ca be ay word of legth without cosecutive s, givig g choices Provided that 2, if our word starts with, the it must i fact start with 0 This ca be followed by aythig, givig g 2 choices Hece g = g + g 2, ( 2) Sice we also clearly have g 0 = ad g = 2, we ca deduce that g is equal to the Fiboacci umber F + We could i tur obtai the geeratig fuctio by usig the recurrece, as explaied i your textbook Istead we ll take a differet approach As a little thought will covice you, ay word without cosecutive s ca be built up i a uique way by cocateatig a sequece of subwords of the forms 0 or 0, followed by a optioal at the ed Assigig each word a weight equal to its legth, their weight eumerator is G(x) = g x Let us try to evaluate this directly Suppose our word is built from j subwords 0 or 0 We ca choose each of these idepedetly ad multiply together the weight eumerators for each of the j choices The weights are additive, sice the total legth of the word we build up will be the sum of the legths of the subwords we build it from Now for each choice of a subword 0 or 0, we have a correspodig weight eumerator (x+x 2 ), so we get (x + x 2 ) j as the geeratig fuctio eumeratig all cocatetatios of j of these subwords Summig this over all j, we get (x + x 2 ) j = (x + x 2 ) j=0

3 as the geeratig fuctio for all words (icludig the empty word) built by cocateatig ay sequece of ay umber of subwords 0 or 0 Fially, we ca choose to add a at the ed or ot, either cotributig othig or oe extra to the weight, so we should multiply the above geeratig fuctio by + x, obtaiig G(x) = + x x x 2 Note, by the way, that xg(x) + = /( x x 2 ) The coefficiet of x i xg(x) + is g = F for, ad is = F 0 for = 0, so the Fiboacci umber geeratig fuctio is give by F (x) = F x = x x 2, i agreemet with the formula you would obtai by usig the recurrece (see Boa, Chapter 8, Ex 4) What we have doe i this example is a istace of a more geeral method, which we may formalize as a separate eumeratio priciple for geeratig fuctios Sequece priciple Let A be a set with weighted elemets ad geeratig fuctio A(x) Assume there are o elemets of weight zero, so A(0) = 0 The the geeratig fuctio for ordered sequeces α, α 2,, α j of of elemets of A (of ay legth, icludig the empty sequece), with weight defied to be the sum of the weights of the elemets α i, is give by A(x) Some cautio is due, whe usig the sequece priciple, to be sure the set A has o elemets of weight zero This is essetial for two reasos First of all, the expressio /( A(x)) makes o sese as a formal series if A has o-zero costat term Secodly, it makes o sese to eumerate all sequeces if there is a elemet α of weight zero i A, sice we could pad ay sequece with a ulimited umber of copies of α without chagig its weight, givig ifiitely may sequeces of the same weight (These two difficulties are related to each other) Here are some more examples Example Let us fid the geeratig fuctio for all words from the alphabet [k] = {,, k} I this case A is just [k], ad each of its k elemets has weight, so A(x) = kx Hece the geeratig fuctio for all words is kx = k x, which shows that there are k words with letters from [k] Of course we kew this already This example was just a warm-up Example A compositio of is a expressio = λ + λ λ k of as a sum of positive itegers I a compositio of, as a opposed to a partitio of, the order of the parts matters Thus ad , for istace, cout as two differet compositios of 7 Let m(, k) deote the umber of compositios of with k parts We will fid the geeratig fuctio M(, k) =,k m(, k)x y k, ad use it to solve for m(, k) I this case, we will use the sequece priciple for a two-variable geeratig fuctio, which works just like the oe-variable case Note that we are ot fixig or k i advace, so a compositio is just a arbitrary sequece of positive itegers The set A here is therefore the set of all positive itegers We have assiged each compositio two weights Oe is its legth, which is the expoet of y, while the other is

4 its size, which is the expoet of x i our geeratig fuctio Each iteger i i the compositio cotributes oe to the legth ad i to the size, so is couted by the moomial x i y i the geeratig fuctio for A Summig over all i this gives A(x, y) = yx/( x), ad hece M(x, y) = To solve for m(, k) it is coveiet to rewrite this as yx/( x) = x x xy M(x, y) = + xy x( + y) = + xy x j ( + y) j j=0 = + xy j x j i ( ) j y i i Extractig the coefficiet of x y k, we see that this moomial occurs oly i the term with j =, i = k, so ( ) m(, k) = k Stricly ( speakig, this derivatio is ot correct for = 0, although the aswer is correct, sice ) ( k = 0 for k > 0, ad ) 0 = Compositos of with k parts are really the same thig as -elemet multisets from [k] that use every elemet at least oce From our table of distributio problems, their umber is the same as the umber of ( k)-elemet multisets from [k], or ( k+( k) ) ( k = ) ( k = k ), i agreemet with the aswer above Exercise: modify the above example to allow compositios of i which some of the parts ca be zero Note that as log as we use a two-variable geeratig fuctio, coutig the compositios by legth as well as size, this does ot put a elemet of weight zero i A The iteger zero has weight for the legth, ad is couted by the moomial y, so the modified A(x, y) will still have o costat term 3 Catala umbers We defie the Catala umber C to be the umber of words formed from left ad right paretheses, with all paretheses balaced We may tabulate the first few Catala umbers by listig all the possibilities Let C 0 () 2 2 ()(), (()) 3 5 ()()(), (())(), ()(()), (()()), ((())) C(x) = C x be the geeratig fuctio for Catala umbers We will use the sequece priciple to evaluate it Observe that each balaced parethesis word, or Catala word, ca be uiquely expressed as a sequece of outermost groups ( w )( w 2 ) ( w k ),

5 where the words w i iside each outer pair of paretheses are themselves Catala words Therefore, let us apply the sequece priciple takig A to be the set of words of the form ( w ) with w a Catala word Note that the weight of ( w ) is oe more tha that of w, sice the weight is the umber of left paretheses, or equivaletly, the umber of right paretheses I particular, there are o elemets of weight zero i A, eve though w ca be the empty word We get each elemet of A by choosig a Catala word, ad surroudig it with a extra pair of paretheses We ca thik of this extra pair as a forced choice, with geeratig fuctio x because it adds oe to the weight Thus by a trivial applicatio of the product priciple, we have the geeratig fuctio However, by the sequece priciple, we also have A(x) = xc(x) C(x) = A(x) Substiutig xc(x) for A(x) ad clearig the deomiator yields the quadratic equatio xc(x) 2 C(x) + = 0 for the Catala umber geeratig fuctio Hece C(x) = 4x 2x A iterestig poit is how we kow whether to take + 4x or 4x here To see that the sig must be right, ote that 2xC(x) must equal the umerator i the above fractio, so this umerator must have zero costat term as a formal series Sice + 4x does ot vaish at x = 0, it is the wrog umerator Now we ca use the exteded biomial theorem to solve for the Catala umbers C themselves We have ( ) /2 2xC(x) = ( 4x) /2 = ( 4) x To extract C, compare coefficiets of x + o both sides, obtaiig the rather messy formula ( ) ( ) C = ( 4)+ /2 /2 = ( ) Writig out the biomial coefficiet ( /2 +) = (/2)( /2)( 3/2) ( (2 )/2)/( + )!, multiplyig both umerator ad deomiator by!, ad simplifyig, we evetually get C = + There is aother iterpretatio of Catala umbers i terms of lattice paths, as follows The coditio for a parethesis word to be balaced is that every iitial segmet of it have at least as may left paretheses as right paretheses If we traslate the word ito a lattice path that takes oe step orth for each left parethesis ad oe step east for each right parethesis, the we get all paths from (0, 0) to (, ) that ever go below the diagoal lie x = y Hece the Catala umber C is equal to the umber of these special lattice paths (kow as Dyck paths) There are may other iterestig combiatorial objects whose umber turs out to be C ( 2 )

6 4 Ordered rooted trees A tree is a coected graph without cycles If we fix the set of vertices of our tree to be, say, [] = {,, }, the we call the tree a labelled tree, the elemets of the vertex set beig the labels It is a famous theorem of Cayley that there are 2 differet labelled trees o vertices A rooted tree is a tree i which oe of the vertices is distiguished ad called the root It is covetioal to draw a rooted tree with the root at the bottom ad the path from the root to each vertex goig up, like this Sice there are choices for the root, there are differet rooted labelled trees o vertices The vertex directly below a vertex v i a rooted tree is the paret of v (the root has o paret) The vertices directly above v, if ay, are its childre Besides labelled trees, we ca also cout various sorts of ulabelled trees Techically, a ulabelled tree is a equivalece classes of labelled trees, two trees beig equivalet if they differ oly by a permutatio of the labels I this sectio we will oly cosider ordered, rooted, ulabelled trees By ordered, we mea that i additio to the tree itself, there is give a liear orderig of the childre of each vertex I practice, the orderig is idicated implicitly by drawig the tree so that the childre of each vertex are ordered left-to-right This meas, for istace, that the drawig above represets a differet ordered tree tha the tree However, these two drawigs would represet the same uordered, ulabelled tree We ca use geeratig fuctios to cout ordered rooted trees Let t deote the umber of these trees with vertices, icludig the root, ad let T (x) = t x be their geeratig fuctio To build ay tree, we ca first place the root, ad the choose the (ordered) sequece of braches based o each child of the root Each brach is itself a ordered rooted tree, ad there ca be ay umber of them The geeratig fuctio for the collectio of braches is the /( T (x)) by the sequece priciple We must multiply this by a factor of x to accout for the additioal vertex at the root, givig x T (x) = T (x)

7 As with the Catala umber geeratig fuctio, this leads to a quadratic equatio for T (x): whose solutio is T (x) 2 T (x) + x = 0, T (x) = 4x 2 Note that T (x) = xc(x) Hece, comparig coefficiets of x, we see that t = C for > 0, while t 0 = 0, sice by defiitio a rooted tree is ot empty Icidetally, for ordered trees, it is easy to switch betwee the labelled ad ulabelled versios of the problem The orderig of the tree effectively ames every vertex, so that o a labelled ordered rooted tree, every permutatio of the labels gives a differet tree Hece the umber of ordered, rooted labelled trees o vertices is simply!t =!C

Math 155 (Lecture 3)

Math 155 (Lecture 3) Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,

More information

1 Generating functions for balls in boxes

1 Generating functions for balls in boxes Math 566 Fall 05 Some otes o geeratig fuctios Give a sequece a 0, a, a,..., a,..., a geeratig fuctio some way of represetig the sequece as a fuctio. There are may ways to do this, with the most commo ways

More information

Math 475, Problem Set #12: Answers

Math 475, Problem Set #12: Answers Math 475, Problem Set #12: Aswers A. Chapter 8, problem 12, parts (b) ad (d). (b) S # (, 2) = 2 2, sice, from amog the 2 ways of puttig elemets ito 2 distiguishable boxes, exactly 2 of them result i oe

More information

Infinite Sequences and Series

Infinite Sequences and Series Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet

More information

Sequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

Sequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece 1, 1, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet

More information

A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as

More information

Lecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) =

Lecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) = COMPSCI 230: Discrete Mathematics for Computer Sciece April 8, 2019 Lecturer: Debmalya Paigrahi Lecture 22 Scribe: Kevi Su 1 Overview I this lecture, we begi studyig the fudametals of coutig discrete objects.

More information

Chapter 6. Advanced Counting Techniques

Chapter 6. Advanced Counting Techniques Chapter 6 Advaced Coutig Techiques 6.: Recurrece Relatios Defiitio: A recurrece relatio for the sequece {a } is a equatio expressig a i terms of oe or more of the previous terms of the sequece: a,a2,a3,,a

More information

Solutions to Final Exam

Solutions to Final Exam Solutios to Fial Exam 1. Three married couples are seated together at the couter at Moty s Blue Plate Dier, occupyig six cosecutive seats. How may arragemets are there with o wife sittig ext to her ow

More information

CIS Spring 2018 (instructor Val Tannen)

CIS Spring 2018 (instructor Val Tannen) CIS 160 - Sprig 2018 (istructor Val Tae) Lecture 5 Thursday, Jauary 25 COUNTING We cotiue studyig how to use combiatios ad what are their properties. Example 5.1 How may 8-letter strigs ca be costructed

More information

Let us consider the following problem to warm up towards a more general statement.

Let us consider the following problem to warm up towards a more general statement. Lecture 4: Sequeces with repetitios, distributig idetical objects amog distict parties, the biomial theorem, ad some properties of biomial coefficiets Refereces: Relevat parts of chapter 15 of the Math

More information

Counting Well-Formed Parenthesizations Easily

Counting Well-Formed Parenthesizations Easily Coutig Well-Formed Parethesizatios Easily Pekka Kilpeläie Uiversity of Easter Filad School of Computig, Kuopio August 20, 2014 Abstract It is well kow that there is a oe-to-oe correspodece betwee ordered

More information

It is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.

It is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function. MATH 532 Measurable Fuctios Dr. Neal, WKU Throughout, let ( X, F, µ) be a measure space ad let (!, F, P ) deote the special case of a probability space. We shall ow begi to study real-valued fuctios defied

More information

MT5821 Advanced Combinatorics

MT5821 Advanced Combinatorics MT5821 Advaced Combiatorics 9 Set partitios ad permutatios It could be said that the mai objects of iterest i combiatorics are subsets, partitios ad permutatios of a fiite set. We have spet some time coutig

More information

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of

More information

REVIEW FOR CHAPTER 1

REVIEW FOR CHAPTER 1 REVIEW FOR CHAPTER 1 A short summary: I this chapter you helped develop some basic coutig priciples. I particular, the uses of ordered pairs (The Product Priciple), fuctios, ad set partitios (The Sum Priciple)

More information

Complex Numbers Solutions

Complex Numbers Solutions Complex Numbers Solutios Joseph Zoller February 7, 06 Solutios. (009 AIME I Problem ) There is a complex umber with imagiary part 64 ad a positive iteger such that Fid. [Solutio: 697] 4i + + 4i. 4i 4i

More information

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3 MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special

More information

Worksheet on Generating Functions

Worksheet on Generating Functions Worksheet o Geeratig Fuctios October 26, 205 This worksheet is adapted from otes/exercises by Nat Thiem. Derivatives of Geeratig Fuctios. If the sequece a 0, a, a 2,... has ordiary geeratig fuctio A(x,

More information

Course : Algebraic Combinatorics

Course : Algebraic Combinatorics Course 8.32: Algebraic Combiatorics Lecture Notes # Addedum by Gregg Musier February 4th - 6th, 2009 Recurrece Relatios ad Geeratig Fuctios Give a ifiite sequece of umbers, a geeratig fuctio is a compact

More information

Combinatorics and Newton s theorem

Combinatorics and Newton s theorem INTRODUCTION TO MATHEMATICAL REASONING Key Ideas Worksheet 5 Combiatorics ad Newto s theorem This week we are goig to explore Newto s biomial expasio theorem. This is a very useful tool i aalysis, but

More information

Generating Functions II

Generating Functions II Geeratig Fuctios II Misha Lavrov ARML Practice 5/4/2014 Warm-up problems 1. Solve the recursio a +1 = 2a, a 0 = 1 by usig commo sese. 2. Solve the recursio b +1 = 2b + 1, b 0 = 1 by usig commo sese ad

More information

Linear Regression Demystified

Linear Regression Demystified Liear Regressio Demystified Liear regressio is a importat subject i statistics. I elemetary statistics courses, formulae related to liear regressio are ofte stated without derivatio. This ote iteds to

More information

Discrete Mathematics Recurrences

Discrete Mathematics Recurrences Discrete Mathematics Recurreces Saad Meimeh 1 What is a recurrece? It ofte happes that, i studyig a sequece of umbers a, a coectio betwee a ad a 1, or betwee a ad several of the previous a i, i

More information

MT5821 Advanced Combinatorics

MT5821 Advanced Combinatorics MT5821 Advaced Combiatorics 1 Coutig subsets I this sectio, we cout the subsets of a -elemet set. The coutig umbers are the biomial coefficiets, familiar objects but there are some ew thigs to say about

More information

Once we have a sequence of numbers, the next thing to do is to sum them up. Given a sequence (a n ) n=1

Once we have a sequence of numbers, the next thing to do is to sum them up. Given a sequence (a n ) n=1 . Ifiite Series Oce we have a sequece of umbers, the ext thig to do is to sum them up. Give a sequece a be a sequece: ca we give a sesible meaig to the followig expressio? a = a a a a While summig ifiitely

More information

MT5821 Advanced Combinatorics

MT5821 Advanced Combinatorics MT5821 Advaced Combiatorics 3 Formal power series Geeratig fuctios are the most powerful tool available to combiatorial eumerators. This week we are goig to look at some of the thigs they ca do. 3.1 Commutative

More information

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 22

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 22 CS 70 Discrete Mathematics for CS Sprig 2007 Luca Trevisa Lecture 22 Aother Importat Distributio The Geometric Distributio Questio: A biased coi with Heads probability p is tossed repeatedly util the first

More information

Math 61CM - Solutions to homework 3

Math 61CM - Solutions to homework 3 Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig

More information

(k) x n. n! tk = x a. (i) x p p! ti ) ( q 0. i 0. k A (i) n p

(k) x n. n! tk = x a. (i) x p p! ti ) ( q 0. i 0. k A (i) n p Math 880 Bigraded Classes & Stirlig Cycle Numbers Fall 206 Bigraded classes. Followig Flajolet-Sedgewic Ch. III, we defie a bigraded class A to be a set of combiatorial objects a A with two measures of

More information

4.3 Growth Rates of Solutions to Recurrences

4.3 Growth Rates of Solutions to Recurrences 4.3. GROWTH RATES OF SOLUTIONS TO RECURRENCES 81 4.3 Growth Rates of Solutios to Recurreces 4.3.1 Divide ad Coquer Algorithms Oe of the most basic ad powerful algorithmic techiques is divide ad coquer.

More information

Lecture 12: November 13, 2018

Lecture 12: November 13, 2018 Mathematical Toolkit Autum 2018 Lecturer: Madhur Tulsiai Lecture 12: November 13, 2018 1 Radomized polyomial idetity testig We will use our kowledge of coditioal probability to prove the followig lemma,

More information

CALCULATION OF FIBONACCI VECTORS

CALCULATION OF FIBONACCI VECTORS CALCULATION OF FIBONACCI VECTORS Stuart D. Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithaca.edu ad Dai Novak Departmet of Mathematics, Ithaca College

More information

MATH 31B: MIDTERM 2 REVIEW

MATH 31B: MIDTERM 2 REVIEW MATH 3B: MIDTERM REVIEW JOE HUGHES. Evaluate x (x ) (x 3).. Partial Fractios Solutio: The umerator has degree less tha the deomiator, so we ca use partial fractios. Write x (x ) (x 3) = A x + A (x ) +

More information

6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer.

6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer. 6 Itegers Modulo I Example 2.3(e), we have defied the cogruece of two itegers a,b with respect to a modulus. Let us recall that a b (mod ) meas a b. We have proved that cogruece is a equivalece relatio

More information

GENERATING FUNCTIONS AND RANDOM WALKS

GENERATING FUNCTIONS AND RANDOM WALKS GENERATING FUNCTIONS AND RANDOM WALKS SIMON RUBINSTEIN-SALZEDO 1 A illustrative example Before we start studyig geeratig fuctios properly, let us look a example of their use Cosider the umbers a, defied

More information

The Random Walk For Dummies

The Random Walk For Dummies The Radom Walk For Dummies Richard A Mote Abstract We look at the priciples goverig the oe-dimesioal discrete radom walk First we review five basic cocepts of probability theory The we cosider the Beroulli

More information

arxiv: v1 [math.co] 23 Mar 2016

arxiv: v1 [math.co] 23 Mar 2016 The umber of direct-sum decompositios of a fiite vector space arxiv:603.0769v [math.co] 23 Mar 206 David Ellerma Uiversity of Califoria at Riverside August 3, 208 Abstract The theory of q-aalogs develops

More information

6.3 Testing Series With Positive Terms

6.3 Testing Series With Positive Terms 6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial

More information

CS / MCS 401 Homework 3 grader solutions

CS / MCS 401 Homework 3 grader solutions CS / MCS 401 Homework 3 grader solutios assigmet due July 6, 016 writte by Jāis Lazovskis maximum poits: 33 Some questios from CLRS. Questios marked with a asterisk were ot graded. 1 Use the defiitio of

More information

NICK DUFRESNE. 1 1 p(x). To determine some formulas for the generating function of the Schröder numbers, r(x) = a(x) =

NICK DUFRESNE. 1 1 p(x). To determine some formulas for the generating function of the Schröder numbers, r(x) = a(x) = AN INTRODUCTION TO SCHRÖDER AND UNKNOWN NUMBERS NICK DUFRESNE Abstract. I this article we will itroduce two types of lattice paths, Schröder paths ad Ukow paths. We will examie differet properties of each,

More information

( ) GENERATING FUNCTIONS

( ) GENERATING FUNCTIONS GENERATING FUNCTIONS Solve a ifiite umber of related problems i oe swoop. *Code the problems, maipulate the code, the decode the aswer! Really a algebraic cocept but ca be eteded to aalytic basis for iterestig

More information

Sequences I. Chapter Introduction

Sequences I. Chapter Introduction Chapter 2 Sequeces I 2. Itroductio A sequece is a list of umbers i a defiite order so that we kow which umber is i the first place, which umber is i the secod place ad, for ay atural umber, we kow which

More information

Combinatorics. Stephan Wagner

Combinatorics. Stephan Wagner Combiatorics Stepha Wager Jue 207 Chapter Elemetary eumeratio priciples Sequeces Theorem. There are differet sequeces of legth that ca be formed from elemets of a set X cosistig of elemets (elemets are

More information

MA131 - Analysis 1. Workbook 2 Sequences I

MA131 - Analysis 1. Workbook 2 Sequences I MA3 - Aalysis Workbook 2 Sequeces I Autum 203 Cotets 2 Sequeces I 2. Itroductio.............................. 2.2 Icreasig ad Decreasig Sequeces................ 2 2.3 Bouded Sequeces..........................

More information

Enumerative & Asymptotic Combinatorics

Enumerative & Asymptotic Combinatorics C50 Eumerative & Asymptotic Combiatorics Notes 4 Sprig 2003 Much of the eumerative combiatorics of sets ad fuctios ca be geeralised i a maer which, at first sight, seems a bit umotivated I this chapter,

More information

Course : Algebraic Combinatorics

Course : Algebraic Combinatorics Course 18.312: Algebraic Combiatorics Lecture Notes # 18-19 Addedum by Gregg Musier March 18th - 20th, 2009 The followig material ca be foud i a umber of sources, icludig Sectios 7.3 7.5, 7.7, 7.10 7.11,

More information

Randomized Algorithms I, Spring 2018, Department of Computer Science, University of Helsinki Homework 1: Solutions (Discussed January 25, 2018)

Randomized Algorithms I, Spring 2018, Department of Computer Science, University of Helsinki Homework 1: Solutions (Discussed January 25, 2018) Radomized Algorithms I, Sprig 08, Departmet of Computer Sciece, Uiversity of Helsiki Homework : Solutios Discussed Jauary 5, 08). Exercise.: Cosider the followig balls-ad-bi game. We start with oe black

More information

Zeros of Polynomials

Zeros of Polynomials Math 160 www.timetodare.com 4.5 4.6 Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered with fidig the solutios of polyomial equatios of ay degree

More information

Lecture notes for Enumerative Combinatorics

Lecture notes for Enumerative Combinatorics Lecture otes for Eumerative Combiatorics Aa de Mier Uiversity of Oxford Michaelmas Term 2004 Cotets Subsets, multisets, ad balls-i-bis 3. Words ad permutatios............................. 3.2 Subsets ad

More information

7 Sequences of real numbers

7 Sequences of real numbers 40 7 Sequeces of real umbers 7. Defiitios ad examples Defiitio 7... A sequece of real umbers is a real fuctio whose domai is the set N of atural umbers. Let s : N R be a sequece. The the values of s are

More information

Series: Infinite Sums

Series: Infinite Sums Series: Ifiite Sums Series are a way to mae sese of certai types of ifiitely log sums. We will eed to be able to do this if we are to attai our goal of approximatig trascedetal fuctios by usig ifiite degree

More information

Math 2784 (or 2794W) University of Connecticut

Math 2784 (or 2794W) University of Connecticut ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really

More information

Math 113 Exam 3 Practice

Math 113 Exam 3 Practice Math Exam Practice Exam will cover.-.9. This sheet has three sectios. The first sectio will remid you about techiques ad formulas that you should kow. The secod gives a umber of practice questios for you

More information

4 The Sperner property.

4 The Sperner property. 4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,

More information

(ii) Two-permutations of {a, b, c}. Answer. (B) P (3, 3) = 3! (C) 3! = 6, and there are 6 items in (A). ... Answer.

(ii) Two-permutations of {a, b, c}. Answer. (B) P (3, 3) = 3! (C) 3! = 6, and there are 6 items in (A). ... Answer. SOLUTIONS Homewor 5 Due /6/19 Exercise. (a Cosider the set {a, b, c}. For each of the followig, (A list the objects described, (B give a formula that tells you how may you should have listed, ad (C verify

More information

3. Z Transform. Recall that the Fourier transform (FT) of a DT signal xn [ ] is ( ) [ ] = In order for the FT to exist in the finite magnitude sense,

3. Z Transform. Recall that the Fourier transform (FT) of a DT signal xn [ ] is ( ) [ ] = In order for the FT to exist in the finite magnitude sense, 3. Z Trasform Referece: Etire Chapter 3 of text. Recall that the Fourier trasform (FT) of a DT sigal x [ ] is ω ( ) [ ] X e = j jω k = xe I order for the FT to exist i the fiite magitude sese, S = x [

More information

P1 Chapter 8 :: Binomial Expansion

P1 Chapter 8 :: Binomial Expansion P Chapter 8 :: Biomial Expasio jfrost@tiffi.kigsto.sch.uk www.drfrostmaths.com @DrFrostMaths Last modified: 6 th August 7 Use of DrFrostMaths for practice Register for free at: www.drfrostmaths.com/homework

More information

Bertrand s Postulate

Bertrand s Postulate Bertrad s Postulate Lola Thompso Ross Program July 3, 2009 Lola Thompso (Ross Program Bertrad s Postulate July 3, 2009 1 / 33 Bertrad s Postulate I ve said it oce ad I ll say it agai: There s always a

More information

Sequences, Mathematical Induction, and Recursion. CSE 2353 Discrete Computational Structures Spring 2018

Sequences, Mathematical Induction, and Recursion. CSE 2353 Discrete Computational Structures Spring 2018 CSE 353 Discrete Computatioal Structures Sprig 08 Sequeces, Mathematical Iductio, ad Recursio (Chapter 5, Epp) Note: some course slides adopted from publisher-provided material Overview May mathematical

More information

Problem Set 2 Solutions

Problem Set 2 Solutions CS271 Radomess & Computatio, Sprig 2018 Problem Set 2 Solutios Poit totals are i the margi; the maximum total umber of poits was 52. 1. Probabilistic method for domiatig sets 6pts Pick a radom subset S

More information

Week 5-6: The Binomial Coefficients

Week 5-6: The Binomial Coefficients Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers

More information

A Combinatorial Proof of a Theorem of Katsuura

A Combinatorial Proof of a Theorem of Katsuura Mathematical Assoc. of America College Mathematics Joural 45:1 Jue 2, 2014 2:34 p.m. TSWLatexiaTemp 000017.tex A Combiatorial Proof of a Theorem of Katsuura Bria K. Miceli Bria Miceli (bmiceli@triity.edu)

More information

An Introduction to Randomized Algorithms

An Introduction to Randomized Algorithms A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis

More information

(3) If you replace row i of A by its sum with a multiple of another row, then the determinant is unchanged! Expand across the i th row:

(3) If you replace row i of A by its sum with a multiple of another row, then the determinant is unchanged! Expand across the i th row: Math 50-004 Tue Feb 4 Cotiue with sectio 36 Determiats The effective way to compute determiats for larger-sized matrices without lots of zeroes is to ot use the defiitio, but rather to use the followig

More information

Generating Functions. 1 Operations on generating functions

Generating Functions. 1 Operations on generating functions Geeratig Fuctios The geeratig fuctio for a sequece a 0, a,..., a,... is defied to be the power series fx a x. 0 We say that a 0, a,... is the sequece geerated by fx ad a is the coefficiet of x. Example

More information

Lecture 3: Catalan Numbers

Lecture 3: Catalan Numbers CCS Discrete Math I Professor: Padraic Bartlett Lecture 3: Catala Numbers Week 3 UCSB 2014 I this week, we start studyig specific examples of commoly-occurrig sequeces of umbers (as opposed to the more

More information

MATH 304: MIDTERM EXAM SOLUTIONS

MATH 304: MIDTERM EXAM SOLUTIONS MATH 304: MIDTERM EXAM SOLUTIONS [The problems are each worth five poits, except for problem 8, which is worth 8 poits. Thus there are 43 possible poits.] 1. Use the Euclidea algorithm to fid the greatest

More information

Properties and Tests of Zeros of Polynomial Functions

Properties and Tests of Zeros of Polynomial Functions Properties ad Tests of Zeros of Polyomial Fuctios The Remaider ad Factor Theorems: Sythetic divisio ca be used to fid the values of polyomials i a sometimes easier way tha substitutio. This is show by

More information

We are mainly going to be concerned with power series in x, such as. (x)} converges - that is, lims N n

We are mainly going to be concerned with power series in x, such as. (x)} converges - that is, lims N n Review of Power Series, Power Series Solutios A power series i x - a is a ifiite series of the form c (x a) =c +c (x a)+(x a) +... We also call this a power series cetered at a. Ex. (x+) is cetered at

More information

Lesson 10: Limits and Continuity

Lesson 10: Limits and Continuity www.scimsacademy.com Lesso 10: Limits ad Cotiuity SCIMS Academy 1 Limit of a fuctio The cocept of limit of a fuctio is cetral to all other cocepts i calculus (like cotiuity, derivative, defiite itegrals

More information

C. Complex Numbers. x 6x + 2 = 0. This equation was known to have three real roots, given by simple combinations of the expressions

C. Complex Numbers. x 6x + 2 = 0. This equation was known to have three real roots, given by simple combinations of the expressions C. Complex Numbers. Complex arithmetic. Most people thik that complex umbers arose from attempts to solve quadratic equatios, but actually it was i coectio with cubic equatios they first appeared. Everyoe

More information

The Growth of Functions. Theoretical Supplement

The Growth of Functions. Theoretical Supplement The Growth of Fuctios Theoretical Supplemet The Triagle Iequality The triagle iequality is a algebraic tool that is ofte useful i maipulatig absolute values of fuctios. The triagle iequality says that

More information

INEQUALITIES BJORN POONEN

INEQUALITIES BJORN POONEN INEQUALITIES BJORN POONEN 1 The AM-GM iequality The most basic arithmetic mea-geometric mea (AM-GM) iequality states simply that if x ad y are oegative real umbers, the (x + y)/2 xy, with equality if ad

More information

Application to Random Graphs

Application to Random Graphs A Applicatio to Radom Graphs Brachig processes have a umber of iterestig ad importat applicatios. We shall cosider oe of the most famous of them, the Erdős-Réyi radom graph theory. 1 Defiitio A.1. Let

More information

TEACHER CERTIFICATION STUDY GUIDE

TEACHER CERTIFICATION STUDY GUIDE COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra

More information

September 2012 C1 Note. C1 Notes (Edexcel) Copyright - For AS, A2 notes and IGCSE / GCSE worksheets 1

September 2012 C1 Note. C1 Notes (Edexcel) Copyright   - For AS, A2 notes and IGCSE / GCSE worksheets 1 September 0 s (Edecel) Copyright www.pgmaths.co.uk - For AS, A otes ad IGCSE / GCSE worksheets September 0 Copyright www.pgmaths.co.uk - For AS, A otes ad IGCSE / GCSE worksheets September 0 Copyright

More information

Recursive Algorithm for Generating Partitions of an Integer. 1 Preliminary

Recursive Algorithm for Generating Partitions of an Integer. 1 Preliminary Recursive Algorithm for Geeratig Partitios of a Iteger Sug-Hyuk Cha Computer Sciece Departmet, Pace Uiversity 1 Pace Plaza, New York, NY 10038 USA scha@pace.edu Abstract. This article first reviews the

More information

PROPERTIES OF THE POSITIVE INTEGERS

PROPERTIES OF THE POSITIVE INTEGERS PROPERTIES OF THE POSITIVE ITEGERS The first itroductio to mathematics occurs at the pre-school level ad cosists of essetially coutig out the first te itegers with oe s figers. This allows the idividuals

More information

CALCULUS BASIC SUMMER REVIEW

CALCULUS BASIC SUMMER REVIEW CALCULUS BASIC SUMMER REVIEW NAME rise y y y Slope of a o vertical lie: m ru Poit Slope Equatio: y y m( ) The slope is m ad a poit o your lie is, ). ( y Slope-Itercept Equatio: y m b slope= m y-itercept=

More information

Injections, Surjections, and the Pigeonhole Principle

Injections, Surjections, and the Pigeonhole Principle Ijectios, Surjectios, ad the Pigeohole Priciple 1 (10 poits Here we will come up with a sloppy boud o the umber of parethesisestigs (a (5 poits Describe a ijectio from the set of possible ways to est pairs

More information

MA131 - Analysis 1. Workbook 7 Series I

MA131 - Analysis 1. Workbook 7 Series I MA3 - Aalysis Workbook 7 Series I Autum 008 Cotets 4 Series 4. Defiitios............................... 4. Geometric Series........................... 4 4.3 The Harmoic Series.........................

More information

Homework 3. = k 1. Let S be a set of n elements, and let a, b, c be distinct elements of S. The number of k-subsets of S is

Homework 3. = k 1. Let S be a set of n elements, and let a, b, c be distinct elements of S. The number of k-subsets of S is Homewor 3 Chapter 5 pp53: 3 40 45 Chapter 6 p85: 4 6 4 30 Use combiatorial reasoig to prove the idetity 3 3 Proof Let S be a set of elemets ad let a b c be distict elemets of S The umber of -subsets of

More information

PUTNAM TRAINING INEQUALITIES

PUTNAM TRAINING INEQUALITIES PUTNAM TRAINING INEQUALITIES (Last updated: December, 207) Remark This is a list of exercises o iequalities Miguel A Lerma Exercises If a, b, c > 0, prove that (a 2 b + b 2 c + c 2 a)(ab 2 + bc 2 + ca

More information

Legendre-Stirling Permutations

Legendre-Stirling Permutations Legedre-Stirlig Permutatios Eric S. Egge Departmet of Mathematics Carleto College Northfield, MN 07 USA eegge@carleto.edu Abstract We first give a combiatorial iterpretatio of Everitt, Littlejoh, ad Wellma

More information

A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca

A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca Idia J Pure Appl Math 45): 75-89 February 204 c Idia Natioal Sciece Academy A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS Mircea Merca Departmet of Mathematics Uiversity

More information

11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4.

11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4. 11. FINITE FIELDS 11.1. A Field With 4 Elemets Probably the oly fiite fields which you ll kow about at this stage are the fields of itegers modulo a prime p, deoted by Z p. But there are others. Now although

More information

Lecture Notes for CS 313H, Fall 2011

Lecture Notes for CS 313H, Fall 2011 Lecture Notes for CS 313H, Fall 011 August 5. We start by examiig triagular umbers: T () = 1 + + + ( = 0, 1,,...). Triagular umbers ca be also defied recursively: T (0) = 0, T ( + 1) = T () + + 1, or usig

More information

Seunghee Ye Ma 8: Week 5 Oct 28

Seunghee Ye Ma 8: Week 5 Oct 28 Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value

More information

The Method of Least Squares. To understand least squares fitting of data.

The Method of Least Squares. To understand least squares fitting of data. The Method of Least Squares KEY WORDS Curve fittig, least square GOAL To uderstad least squares fittig of data To uderstad the least squares solutio of icosistet systems of liear equatios 1 Motivatio Curve

More information

x a x a Lecture 2 Series (See Chapter 1 in Boas)

x a x a Lecture 2 Series (See Chapter 1 in Boas) Lecture Series (See Chapter i Boas) A basic ad very powerful (if pedestria, recall we are lazy AD smart) way to solve ay differetial (or itegral) equatio is via a series expasio of the correspodig solutio

More information

18.01 Calculus Jason Starr Fall 2005

18.01 Calculus Jason Starr Fall 2005 Lecture 18. October 5, 005 Homework. Problem Set 5 Part I: (c). Practice Problems. Course Reader: 3G 1, 3G, 3G 4, 3G 5. 1. Approximatig Riema itegrals. Ofte, there is o simpler expressio for the atiderivative

More information

MATH 21 SECTION NOTES

MATH 21 SECTION NOTES MATH SECTION NOTES EVAN WARNER. March 9.. Admiistrative miscellay. These weekly sectios will be for some review ad may example problems, i geeral. Attedace will be take as per class policy. We will be

More information

SNAP Centre Workshop. Basic Algebraic Manipulation

SNAP Centre Workshop. Basic Algebraic Manipulation SNAP Cetre Workshop Basic Algebraic Maipulatio 8 Simplifyig Algebraic Expressios Whe a expressio is writte i the most compact maer possible, it is cosidered to be simplified. Not Simplified: x(x + 4x)

More information

Summer High School 2009 Aaron Bertram

Summer High School 2009 Aaron Bertram Summer High School 009 Aaro Bertram 3 Iductio ad Related Stuff Let s thik for a bit about the followig two familiar equatios: Triagle Number Equatio Square Number Equatio: + + 3 + + = ( + + 3 + 5 + + (

More information

Chapter 6 Principles of Data Reduction

Chapter 6 Principles of Data Reduction Chapter 6 for BST 695: Special Topics i Statistical Theory. Kui Zhag, 0 Chapter 6 Priciples of Data Reductio Sectio 6. Itroductio Goal: To summarize or reduce the data X, X,, X to get iformatio about a

More information

ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER / Statistics

ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER / Statistics ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER 1 018/019 DR. ANTHONY BROWN 8. Statistics 8.1. Measures of Cetre: Mea, Media ad Mode. If we have a series of umbers the

More information

+ au n+1 + bu n = 0.)

+ au n+1 + bu n = 0.) Lecture 6 Recurreces - kth order: u +k + a u +k +... a k u k 0 where a... a k are give costats, u 0... u k are startig coditios. (Simple case: u + au + + bu 0.) How to solve explicitly - first, write characteristic

More information

SEQUENCES AND SERIES

SEQUENCES AND SERIES Sequeces ad 6 Sequeces Ad SEQUENCES AND SERIES Successio of umbers of which oe umber is desigated as the first, other as the secod, aother as the third ad so o gives rise to what is called a sequece. Sequeces

More information

David Vella, Skidmore College.

David Vella, Skidmore College. David Vella, Skidmore College dvella@skidmore.edu Geeratig Fuctios ad Expoetial Geeratig Fuctios Give a sequece {a } we ca associate to it two fuctios determied by power series: Its (ordiary) geeratig

More information