Course : Algebraic Combinatorics

Size: px
Start display at page:

Download "Course : Algebraic Combinatorics"

Transcription

1 Course 18.31: Algebraic Combinatorics Lecture Notes # 10 Addendum by Gregg Musiker (Based on Lauren Williams Notes for Math 19 at Harvard) February 5th - 7th, Introduction to Partitions A partition of n is an ordered set of positive integers λ = (λ 1, λ,..., λ n ) such that i λ i = n and λ 1 λ λ k. Let P(n) denote the set of all partitions of n with p(n) = P(n) and p(0) = 1. For example, the partitions of 4 are {[4], [3, 1], [, ], [, 1, 1], and [1, 1, 1, 1]}, so p(4) = 5. We have the following the identity of infinite products: 1 = (1 + xk + xk + x3k +...) 1 x k = (1 + x + x +... )(1 + x + x )(1 + x3 + x ) The coefficient of xn in this infinite product is p(n) since the term of (1 + xk + x k + x 3k +... ) that we pick in each factor determines how many times the number k appears as one of the λ i s in partition λ. Therefore, 1 = p(n)xn. (1) 1 x k Partitions with Odd or Distinct Parts As an application, we can also leave out some of the j s from the index set for this product, thereby obtaining the generating function for the number of partitions not containing such j s. For example, if we let p o (n) denote the number of partitions with only odd parts, we get 1 = p o (n)xn. () 1 x i 1 i 1 1

2 Similarly, if we truncate the factor (1+x k +x k +... ), we can enumerate partitions where k only appears with specified frequencies. For example, if we let p d (n) denote the number of partitions where all the λ i s are distinct, then n (1 + xk ) = p d (n)x. (3) However, there is an algebraic identity: 1 (1 x k ) = (4) 1 x k 1 (1 x k ) = (1 + xk ). Putting together identities (), (3), and (4), we obtain a Theorem due to Euler, namely the result that p o (n) = p d (n). 3 A Combinatorial Proof of p o (n) = p d (n) We now describe a combinatorial proof of Euler s Theorem. Let P o (n) and P d (n) denote the sets of partitions of n which have odd or distinct parts, respectively. We wish to find a bijection between P o (n) and P d (n). Idea: Let λ P o (n) and for all odd k, let n k be the number of times k appears as a part of λ, i.e. n i = #{i : λ i = k}. Since λ is a partition of a finite number, n k = 0 with a finite set of exceptions. We write each of the n i s in binary: n i = m i,1 + m i, + + m i,r i where m i,j1 is different from m i,j for each j 1 = j. We form a new partition λ, defined as the rearrangement of [ m 1,1 λ 1, m 1, λ 1,..., m 1,r 1 λ1, m,1 λ, m, λ,... ]. We claim that in general λ (a) is a partition of n = λ, and (b) has distinct parts. (a) If we sum the parts of λ, we can reorder and group the summands so that they correspond to the products n i λ i with n i written in binary. Thus the parts of λ sum to the same number as the parts of λ. (b) Since the λ i s are all odd, each expression m i,j λ i is the unique way of writing a certain integer after dividing through by the highest power of two.

3 We have thus shown a mapping from P o (n) into P d (n). To show that this map is a bijection, we construct the inverse map: If n = µ 1 + µ + + µ s is partition, using distinct parts, collect all µ i s with the same highest power of and write down the odd parts with the appropriate multiplicity. Example: If λ = [7 9, 5 5, 1 6 ] = [7 8+1, 5 4+1, , 1 4+ ], then λ = [8 7, 1 7, 4 5, 1 5, 8 3, 4 3, 3, 1 3, 4 1, 1] = [56, 4, 0, 1, 7, 6, 5, 4, 3, ]. Exercise 1: Prove algebraically and combinatorially that the number of partitions with no part divisible by k is equal to the number of partitions with no part appearing k times. 4 Euler s Pentagonal Theorem We now investigate the infinite product whose reciprocal is the generating function for the number of partitions of size n, namely: (1 xk ) = 1 x x + x5 + x7 x1 x15 + x + x6 x35 x40 ±... Observations: 1) All coefficients lie in { 1, 0, 1} and the signs satisfy a simple periodic behavior. ) The exponent sequence 0, 1,, 5, 7, 1, 15,, 6, 35, 40,... can be split into two subsequences, the second of which consists of the pentagonal numbers 1, 5, 1,, 35,... described by the formula f(j) = j. This sequence has such a name because if one draws a regular pentagon where each side has precisely j 1 dots, than the entire pentagon consists of j dots. This motivates Euler s Pentagonal Theorem : (1 xk ) = 1 + ( 1) j (x As an application, we can inductively compute p(n). For example, j 1 p(6) = p(5) + p(4) p(1) = = 11, and p(7) = p(6) + p(5) p() p(0) = = 15 j +j Exercise : Use Euler s Pentagonal Theorem to calculate p(8), p(9), and p(10). + x ).

4 5 Proof of Euler s Theorem Q 1 n We use the fact that k ) = (1 x k ) p(n)x. Thus if we write (1 x = c(n)xn, then ( c(n)xn )( p(n)xn ) = 1. Comparing coefficients, we find that the sequence of c(n) s must satisfy c(0) = 1 and c(k)p(n k) = 0 for all n 1. This initial condition and recurrence uniquely n k=0 If we let b(j) = +j for all j Z, then we wish to show for all n that p(n b(j)) p(n b(j)) = 0, determines the sequence of c(n) s. Consolidating terms, we can write the right-hand-side of Euler s Pentagonal The +j orem as j= ( 1)j x, so it suffices to show that 1 if k = +j and j is even c(k) = 1 if k = +j and j is odd. 0 otherwise j even and b(j) n which we rewrite as j even and b(j) n We thus want a bijection p(n b(j)) = j odd and b(j) n We present such a bijection as constructed by Bressoud-Zeilberger. This bijection is actually an involution, φ(φ(λ)) = λ so φ is its own inverse. For λ = [λ 1, λ,...,λ t ] P(n b(j)) (we remind the reader that λ 1 λ i for all i), we set { [(t + 1), (λ 1 1), (λ 1)..., (λ t 1)] if t + λ 1 φ(λ) =, [(λ + 1),..., (λ t + 1), 1, 1,..., 1] if t + < λ 1 j odd and b(j) n φ : P(n b(j)) P(n b(j)). j even j odd where there are λ 1 t 1 copies of 1 in the second case. p(n b(j)).

5 Notice that if t + λ 1, then φ(λ) is a partition of t (λ 1 1) + (λ 1) + + (λ t 1) = t λ i t = 1 + λ i i + j = n b(j) + 1 = n + ( 1) + 5j = n + = n b(j 1). By similar logic, if t + < λ 1, we see that φ(λ) is a partition of n b(j + 1). Thus φ maps elements of P(n b(j)) to an element of P(n b(j ± 1)). By inspection, we see that φ = identity, and we conclude that φ is the desired bijection. Example: We calculate φ([4,, 1]) = [8, 3, 1] for n = 14 and j =, which is a partition of 1 = n b(1). Exercise 3: Calculate φ([3, 3,, 1, 1, 1]) for n = 37 and j = 4. i Solution on next page:

6 The solution is [17,,, 1], a partition of n b(3) =.

7 MIT OpenCourseWare Algebraic Combinatorics Spring 009 For information about citing these materials or our Terms of Use, visit:

EXACT ENUMERATION OF GARDEN OF EDEN PARTITIONS. Brian Hopkins Department of Mathematics and Physics, Saint Peter s College, Jersey City, NJ 07306, USA

EXACT ENUMERATION OF GARDEN OF EDEN PARTITIONS. Brian Hopkins Department of Mathematics and Physics, Saint Peter s College, Jersey City, NJ 07306, USA EXACT ENUMERATION OF GARDEN OF EDEN PARTITIONS Brian Hopkins Department of Mathematics and Physics, Saint Peter s College, Jersey City, NJ 07306, USA bhopkins@spc.edu James A. Sellers Department of Mathematics,

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

Warm-up Quantifiers and the harmonic series Sets Second warmup Induction Bijections. Writing more proofs. Misha Lavrov

Warm-up Quantifiers and the harmonic series Sets Second warmup Induction Bijections. Writing more proofs. Misha Lavrov Writing more proofs Misha Lavrov ARML Practice 3/16/2014 and 3/23/2014 Warm-up Using the quantifier notation on the reference sheet, and making any further definitions you need to, write the following:

More information

More about partitions

More about partitions Partitions 2.4, 3.4, 4.4 02 More about partitions 3 + +, + 3 +, and + + 3 are all the same partition, so we will write the numbers in non-increasing order. We use greek letters to denote partitions, often

More information

Course : Algebraic Combinatorics

Course : Algebraic Combinatorics Course 18.312: Algebraic Combinatorics Lecture Notes #29-31 Addendum by Gregg Musiker April 24th - 29th, 2009 The following material can be found in several sources including Sections 14.9 14.13 of Algebraic

More information

15 th Annual Harvard-MIT Mathematics Tournament Saturday 11 February 2012

15 th Annual Harvard-MIT Mathematics Tournament Saturday 11 February 2012 1 th Annual Harvard-MIT Mathematics Tournament Saturday 11 February 01 1. Let f be the function such that f(x) = { x if x 1 x if x > 1 What is the total length of the graph of f(f(...f(x)...)) from x =

More information

Two truncated identities of Gauss

Two truncated identities of Gauss Two truncated identities of Gauss Victor J W Guo 1 and Jiang Zeng 2 1 Department of Mathematics, East China Normal University, Shanghai 200062, People s Republic of China jwguo@mathecnueducn, http://mathecnueducn/~jwguo

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

Generating Functions (Revised Edition)

Generating Functions (Revised Edition) Math 700 Fall 06 Notes Generating Functions (Revised Edition What is a generating function? An ordinary generating function for a sequence (a n n 0 is the power series A(x = a nx n. The exponential generating

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013 18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and

More information

Discrete Mathematics. Spring 2017

Discrete Mathematics. Spring 2017 Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: rule of inference Mathematical Induction: Conjecturing and Proving Climbing an Infinite Ladder

More information

Applications. More Counting Problems. Complexity of Algorithms

Applications. More Counting Problems. Complexity of Algorithms Recurrences Applications More Counting Problems Complexity of Algorithms Part I Recurrences and Binomial Coefficients Paths in a Triangle P(0, 0) P(1, 0) P(1,1) P(2, 0) P(2,1) P(2, 2) P(3, 0) P(3,1) P(3,

More information

Basic counting techniques. Periklis A. Papakonstantinou Rutgers Business School

Basic counting techniques. Periklis A. Papakonstantinou Rutgers Business School Basic counting techniques Periklis A. Papakonstantinou Rutgers Business School i LECTURE NOTES IN Elementary counting methods Periklis A. Papakonstantinou MSIS, Rutgers Business School ALL RIGHTS RESERVED

More information

CDM Combinatorial Principles

CDM Combinatorial Principles CDM Combinatorial Principles 1 Counting Klaus Sutner Carnegie Mellon University Pigeon Hole 22-in-exclusion 2017/12/15 23:16 Inclusion/Exclusion Counting 3 Aside: Ranking and Unranking 4 Counting is arguably

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

Problem Set 1 Solutions

Problem Set 1 Solutions 18.014 Problem Set 1 Solutions Total: 4 points Problem 1: If ab = 0, then a = 0 or b = 0. Suppose ab = 0 and b = 0. By axiom 6, there exists a real number y such that by = 1. Hence, we have a = 1 a = a

More information

Thesis submitted in partial fulfillment of the requirement for The award of the degree of. Masters of Science in Mathematics and Computing

Thesis submitted in partial fulfillment of the requirement for The award of the degree of. Masters of Science in Mathematics and Computing SOME n-color COMPOSITION Thesis submitted in partial fulfillment of the requirement for The award of the degree of Masters of Science in Mathematics and Computing Submitted by Shelja Ratta Roll no- 301203014

More information

THE REPRESENTATIONS OF THE SYMMETRIC GROUP

THE REPRESENTATIONS OF THE SYMMETRIC GROUP THE REPRESENTATIONS OF THE SYMMETRIC GROUP LAUREN K. WILLIAMS Abstract. In this paper we classify the irreducible representations of the symmetric group S n and give a proof of the hook formula for the

More information

arxiv:math/ v2 [math.co] 19 Sep 2005

arxiv:math/ v2 [math.co] 19 Sep 2005 A COMBINATORIAL PROOF OF THE ROGERS-RAMANUJAN AND SCHUR IDENTITIES arxiv:math/04072v2 [math.co] 9 Sep 2005 CILANNE BOULET AND IGOR PAK Abstract. We give a combinatorial proof of the first Rogers-Ramanujan

More information

A Generalization of the Euler-Glaisher Bijection

A Generalization of the Euler-Glaisher Bijection A Generalization of the Euler-Glaisher Bijection p.1/48 A Generalization of the Euler-Glaisher Bijection Andrew Sills Georgia Southern University A Generalization of the Euler-Glaisher Bijection p.2/48

More information

The Truncated Pentagonal Number Theorem

The Truncated Pentagonal Number Theorem The Truncated Pentagonal Number Theorem George E. Andrews Department of Mathematics The Pennsylvania State University University Park, PA 16802 USA Mircea Merca Doctoral School in Applied Mathematics University

More information

Math 3000 Section 003 Intro to Abstract Math Homework 6

Math 3000 Section 003 Intro to Abstract Math Homework 6 Math 000 Section 00 Intro to Abstract Math Homework 6 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 01 Solutions April, 01 Please note that these solutions are

More information

MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #12

MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #12 MATH0 Introduction to Analysis (007 Fall and 008 Spring) Tutorial Note #1 Limit (Part ) Recurrence Relation: Type 1: Monotone Sequence (Increasing/ Decreasing sequence) Theorem 1: Monotone Sequence Theorem

More information

HIGHER-ORDER DIFFERENCES AND HIGHER-ORDER PARTIAL SUMS OF EULER S PARTITION FUNCTION

HIGHER-ORDER DIFFERENCES AND HIGHER-ORDER PARTIAL SUMS OF EULER S PARTITION FUNCTION ISSN 2066-6594 Ann Acad Rom Sci Ser Math Appl Vol 10, No 1/2018 HIGHER-ORDER DIFFERENCES AND HIGHER-ORDER PARTIAL SUMS OF EULER S PARTITION FUNCTION Mircea Merca Dedicated to Professor Mihail Megan on

More information

Practice Second Midterm Exam III

Practice Second Midterm Exam III CS103 Handout 35 Fall 2018 November 2, 2018 Practice Second Midterm Exam III This exam is closed-book and closed-computer. You may have a double-sided, 8.5 11 sheet of notes with you when you take this

More information

Equality of P-partition Generating Functions

Equality of P-partition Generating Functions Bucknell University Bucknell Digital Commons Honors Theses Student Theses 2011 Equality of P-partition Generating Functions Ryan Ward Bucknell University Follow this and additional works at: https://digitalcommons.bucknell.edu/honors_theses

More information

1 Basic Combinatorics

1 Basic Combinatorics 1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set

More information

Some families of identities for the integer partition function

Some families of identities for the integer partition function MATHEMATICAL COMMUNICATIONS 193 Math. Commun. 0(015), 193 00 Some families of identities for the integer partition function Ivica Martinja 1, and Dragutin Svrtan 1 Department of Physics, University of

More information

Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction

Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction written by Sarah Peluse, revised by Evangelie Zachos and Lisa Sauermann September 27, 2016 1 Introduction

More information

Discrete Mathematics, Spring 2004 Homework 4 Sample Solutions

Discrete Mathematics, Spring 2004 Homework 4 Sample Solutions Discrete Mathematics, Spring 2004 Homework 4 Sample Solutions 4.2 #77. Let s n,k denote the number of ways to seat n persons at k round tables, with at least one person at each table. (The numbers s n,k

More information

Quivers of Period 2. Mariya Sardarli Max Wimberley Heyi Zhu. November 26, 2014

Quivers of Period 2. Mariya Sardarli Max Wimberley Heyi Zhu. November 26, 2014 Quivers of Period 2 Mariya Sardarli Max Wimberley Heyi Zhu ovember 26, 2014 Abstract A quiver with vertices labeled from 1,..., n is said to have period 2 if the quiver obtained by mutating at 1 and then

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

Lecture 2. MATH3220 Operations Research and Logistics Jan. 8, Pan Li The Chinese University of Hong Kong. Integer Programming Formulations

Lecture 2. MATH3220 Operations Research and Logistics Jan. 8, Pan Li The Chinese University of Hong Kong. Integer Programming Formulations Lecture 2 MATH3220 Operations Research and Logistics Jan. 8, 2015 Pan Li The Chinese University of Hong Kong 2.1 Agenda 1 2 3 2.2 : a linear program plus the additional constraints that some or all of

More information

Finding the Median. 1 The problem of finding the median. 2 A good strategy? lecture notes September 2, Lecturer: Michel Goemans

Finding the Median. 1 The problem of finding the median. 2 A good strategy? lecture notes September 2, Lecturer: Michel Goemans 18.310 lecture notes September 2, 2013 Finding the Median Lecturer: Michel Goemans 1 The problem of finding the median Suppose we have a list of n keys that are completely unsorted. If we want to find

More information

1 Introduction 1. 5 Rooted Partitions and Euler s Theorem Vocabulary of Rooted Partitions Rooted Partition Theorems...

1 Introduction 1. 5 Rooted Partitions and Euler s Theorem Vocabulary of Rooted Partitions Rooted Partition Theorems... Contents 1 Introduction 1 Terminology of Partitions 1.1 Simple Terms.......................................... 1. Rank and Conjugate...................................... 1.3 Young Diagrams.........................................4

More information

Addition sequences and numerical evaluation of modular forms

Addition sequences and numerical evaluation of modular forms Addition sequences and numerical evaluation of modular forms Fredrik Johansson (INRIA Bordeaux) Joint work with Andreas Enge (INRIA Bordeaux) William Hart (TU Kaiserslautern) DK Statusseminar in Strobl,

More information

Some Restricted Plane partitions and Associated Lattice Paths S. Bedi Department of Mathematics, D.A.V College, Sector 10 Chandigarh , India

Some Restricted Plane partitions and Associated Lattice Paths S. Bedi Department of Mathematics, D.A.V College, Sector 10 Chandigarh , India Some Restricted Plane partitions and Associated Lattice Paths S. Bedi Department of Mathematics, D.A.V College, Sector 10 Chandigarh - 160010, India Abstract. Anand and Agarwal, (Proc. Indian Acad. Sci.

More information

MATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1

MATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1 MATH 4400 SOLUTIONS TO SOME EXERCISES 1.1.3. If a b and b c show that a c. 1. Chapter 1 Solution: a b means that b = na and b c that c = mb. Substituting b = na gives c = (mn)a, that is, a c. 1.2.1. Find

More information

n f(k) k=1 means to evaluate the function f(k) at k = 1, 2,..., n and add up the results. In other words: n f(k) = f(1) + f(2) f(n). 1 = 2n 2.

n f(k) k=1 means to evaluate the function f(k) at k = 1, 2,..., n and add up the results. In other words: n f(k) = f(1) + f(2) f(n). 1 = 2n 2. Handout on induction and written assignment 1. MA113 Calculus I Spring 2007 Why study mathematical induction? For many students, mathematical induction is an unfamiliar topic. Nonetheless, this is an important

More information

THE NATURE OF PARTITION BIJECTIONS II. ASYMPTOTIC STABILITY. Introduction

THE NATURE OF PARTITION BIJECTIONS II. ASYMPTOTIC STABILITY. Introduction THE NATURE OF PARTITION BIJECTIONS II. ASYMPTOTIC STABILITY IGOR PAK Abstract. We introduce a notion of asymptotic stability for bijections between sets of partitions and a class of geometric bijections.

More information

Sequences that satisfy a(n a(n)) = 0

Sequences that satisfy a(n a(n)) = 0 Sequences that satisfy a(n a(n)) = 0 Nate Kube Frank Ruskey October 13, 2005 Abstract We explore the properties of some sequences for which a(n a(n)) = 0. Under the natural restriction that a(n) < n the

More information

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60 McGill University Faculty of Science Solutions to Practice Final Examination Math 40 Discrete Structures Time: hours Marked out of 60 Question. [6] Prove that the statement (p q) (q r) (p r) is a contradiction

More information

A Prelude to Euler's Pentagonal Number Theorem

A Prelude to Euler's Pentagonal Number Theorem A Prelude to Euler's Pentagonal Number Theorem August 15, 2007 Preliminaries: Partitions In this paper we intend to explore the elementaries of partition theory, taken from a mostly graphic perspective,

More information

The Kth M-ary Partition Function

The Kth M-ary Partition Function Indiana University of Pennsylvania Knowledge Repository @ IUP Theses and Dissertations (All) Fall 12-2016 The Kth M-ary Partition Function Laura E. Rucci Follow this and additional works at: http://knowledge.library.iup.edu/etd

More information

Mathematical Induction Assignments

Mathematical Induction Assignments 1 Mathematical Induction Assignments Prove the Following using Principle of Mathematical induction 1) Prove that for any positive integer number n, n 3 + 2 n is divisible by 3 2) Prove that 1 3 + 2 3 +

More information

On q-series Identities Arising from Lecture Hall Partitions

On q-series Identities Arising from Lecture Hall Partitions On q-series Identities Arising from Lecture Hall Partitions George E. Andrews 1 Mathematics Department, The Pennsylvania State University, University Par, PA 16802, USA andrews@math.psu.edu Sylvie Corteel

More information

DEDEKIND S ETA-FUNCTION AND ITS TRUNCATED PRODUCTS. George E. Andrews and Ken Ono. February 17, Introduction and Statement of Results

DEDEKIND S ETA-FUNCTION AND ITS TRUNCATED PRODUCTS. George E. Andrews and Ken Ono. February 17, Introduction and Statement of Results DEDEKIND S ETA-FUNCTION AND ITS TRUNCATED PRODUCTS George E. Andrews and Ken Ono February 7, 2000.. Introduction and Statement of Results Dedekind s eta function ηz, defined by the infinite product ηz

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

February 2017 February 18, 2017

February 2017 February 18, 2017 February 017 February 18, 017 Combinatorics 1. Kelvin the Frog is going to roll three fair ten-sided dice with faces labelled 0, 1,,..., 9. First he rolls two dice, and finds the sum of the two rolls.

More information

The Greedy Basis Equals the Theta Basis A Rank Two Haiku

The Greedy Basis Equals the Theta Basis A Rank Two Haiku The Greedy Basis Equals the Theta Basis A Rank Two Haiku Man Wai Cheung (UCSD), Mark Gross (Cambridge), Greg Muller (Michigan), Gregg Musiker (University of Minnesota) *, Dylan Rupel (Notre Dame), Salvatore

More information

n=0 xn /n!. That is almost what we have here; the difference is that the denominator is (n + 1)! in stead of n!. So we have x n+1 n=0

n=0 xn /n!. That is almost what we have here; the difference is that the denominator is (n + 1)! in stead of n!. So we have x n+1 n=0 DISCRETE MATHEMATICS HOMEWORK 8 SOL Undergraduate Course Chukechen Honors College Zhejiang University Fall-Winter 204 HOMEWORK 8 P496 6. Find a closed form for the generating function for the sequence

More information

Enumerating split-pair arrangements

Enumerating split-pair arrangements Journal of Combinatorial Theory, Series A 115 (28 293 33 www.elsevier.com/locate/jcta Enumerating split-pair arrangements Ron Graham 1, Nan Zang Department of Computer Science, University of California

More information

COMPOSITIONS, PARTITIONS, AND FIBONACCI NUMBERS

COMPOSITIONS, PARTITIONS, AND FIBONACCI NUMBERS COMPOSITIONS PARTITIONS AND FIBONACCI NUMBERS ANDREW V. SILLS Abstract. A bijective proof is given for the following theorem: the number of compositions of n into odd parts equals the number of compositions

More information

A LINEAR BINOMIAL RECURRENCE AND THE BELL NUMBERS AND POLYNOMIALS

A LINEAR BINOMIAL RECURRENCE AND THE BELL NUMBERS AND POLYNOMIALS Applicable Analysis and Discrete Mathematics, 1 (27, 371 385. Available electronically at http://pefmath.etf.bg.ac.yu A LINEAR BINOMIAL RECURRENCE AND THE BELL NUMBERS AND POLYNOMIALS H. W. Gould, Jocelyn

More information

are the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1).

are the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1). Lecture A jacques@ucsd.edu Notation: N, R, Z, F, C naturals, reals, integers, a field, complex numbers. p(n), S n,, b(n), s n, partition numbers, Stirling of the second ind, Bell numbers, Stirling of the

More information

Lecture 15: Algebraic Geometry II

Lecture 15: Algebraic Geometry II 6.859/15.083 Integer Programming and Combinatorial Optimization Fall 009 Today... Ideals in k[x] Properties of Gröbner bases Buchberger s algorithm Elimination theory The Weak Nullstellensatz 0/1-Integer

More information

AN INVESTIGATION OF THE CHUNG-FELLER THEOREM AND SIMILAR COMBINATORIAL IDENTITIES

AN INVESTIGATION OF THE CHUNG-FELLER THEOREM AND SIMILAR COMBINATORIAL IDENTITIES AN INVESTIGATION OF THE CHUNG-FELLER THEOREM AND SIMILAR COMBINATORIAL IDENTITIES ELI A. WOLFHAGEN Abstract. In this paper, we shall prove the Chung-Feller Theorem in multiple ways as well as extend its

More information

Cylindric Young Tableaux and their Properties

Cylindric Young Tableaux and their Properties Cylindric Young Tableaux and their Properties Eric Neyman (Montgomery Blair High School) Mentor: Darij Grinberg (MIT) Fourth Annual MIT PRIMES Conference May 17, 2014 1 / 17 Introduction Young tableaux

More information

Compositions, Bijections, and Enumerations

Compositions, Bijections, and Enumerations Georgia Southern University Digital Commons@Georgia Southern Electronic Theses & Dissertations COGS- Jack N. Averitt College of Graduate Studies Fall 2012 Compositions, Bijections, and Enumerations Charles

More information

STABLE CLUSTER VARIABLES

STABLE CLUSTER VARIABLES STABLE CLUSTER VARIABLES GRACE ZHANG Abstract. Eager and Franco introduced a transformation on the F-polynomials of Fomin and Zelevinsky that seems to display a surprising stabilization property in the

More information

Character Polynomials

Character Polynomials Character Polynomials Problem From Stanley s Positivity Problems in Algebraic Combinatorics Problem : Give a combinatorial interpretation of the row sums of the character table for S n (combinatorial proof

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

Combinatorial aspects of elliptic curves

Combinatorial aspects of elliptic curves Formal Power Series and Algebraic Combinatorics Séries Formelles et Combinatoire Algébrique San Diego, California 2006 Combinatorial aspects of elliptic curves Gregg Musiker Abstract. Given an elliptic

More information

Partition of Integers into Distinct Summands with Upper Bounds. Partition of Integers into Even Summands. An Example

Partition of Integers into Distinct Summands with Upper Bounds. Partition of Integers into Even Summands. An Example Partition of Integers into Even Summands We ask for the number of partitions of m Z + into positive even integers The desired number is the coefficient of x m in + x + x 4 + ) + x 4 + x 8 + ) + x 6 + x

More information

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A

More information

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction CSC 344 Algorithms and Complexity Lecture #1 Review of Mathematical Induction Proof by Mathematical Induction Many results in mathematics are claimed true for every positive integer. Any of these results

More information

Notice the minus sign on the adder: it indicates that the lower input is subtracted rather than added.

Notice the minus sign on the adder: it indicates that the lower input is subtracted rather than added. 6.003 Homework Due at the beginning of recitation on Wednesday, February 17, 010. Problems 1. Black s Equation Consider the general form of a feedback problem: + F G Notice the minus sign on the adder:

More information

HOMEWORK #2 - MATH 3260

HOMEWORK #2 - MATH 3260 HOMEWORK # - MATH 36 ASSIGNED: JANUARAY 3, 3 DUE: FEBRUARY 1, AT :3PM 1) a) Give by listing the sequence of vertices 4 Hamiltonian cycles in K 9 no two of which have an edge in common. Solution: Here is

More information

Warm-up Simple methods Linear recurrences. Solving recurrences. Misha Lavrov. ARML Practice 2/2/2014

Warm-up Simple methods Linear recurrences. Solving recurrences. Misha Lavrov. ARML Practice 2/2/2014 Solving recurrences Misha Lavrov ARML Practice 2/2/2014 Warm-up / Review 1 Compute 100 k=2 ( 1 1 ) ( = 1 1 ) ( 1 1 ) ( 1 1 ). k 2 3 100 2 Compute 100 k=2 ( 1 1 ) k 2. Homework: find and solve problem Algebra

More information

SELF-AVOIDING WALKS AND FIBONACCI NUMBERS. Arthur T. Benjamin Dept. of Mathematics, Harvey Mudd College, Claremont, CA

SELF-AVOIDING WALKS AND FIBONACCI NUMBERS. Arthur T. Benjamin Dept. of Mathematics, Harvey Mudd College, Claremont, CA SELF-AVOIDING WALKS AND FIBONACCI NUMBERS Arthur T. Benjamin Dept. of Mathematics, Harvey Mudd College, Claremont, CA 91711 benjamin@hmc.edu Abstract. By combinatorial arguments, we prove that the number

More information

Harvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability

Harvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability Harvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability Salil Vadhan September 20, 2012 Reading: Sipser, 1.3 and The Diagonalization Method, pages 174 178 (from just before Definition

More information

Math Homework 5 Solutions

Math Homework 5 Solutions Math 45 - Homework 5 Solutions. Exercise.3., textbook. The stochastic matrix for the gambler problem has the following form, where the states are ordered as (,, 4, 6, 8, ): P = The corresponding diagram

More information

On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers

On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers A tal given at the Institute of Mathematics, Academia Sinica (Taiwan (Taipei; July 6, 2011 On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers Zhi-Wei Sun Nanjing University

More information

Determinants of Partition Matrices

Determinants of Partition Matrices journal of number theory 56, 283297 (1996) article no. 0018 Determinants of Partition Matrices Georg Martin Reinhart Wellesley College Communicated by A. Hildebrand Received February 14, 1994; revised

More information

All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points.

All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points. Math 152, Problem Set 2 solutions (2018-01-24) All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points. 1. Let us look at the following equation: x 5 1

More information

EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS

EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS CHARLES HELOU AND JAMES A SELLERS Abstract Motivated by a recent work about finite sequences where the n-th term is bounded by n, we evaluate some classes

More information

Zero sum partition of Abelian groups into sets of the same order and its applications

Zero sum partition of Abelian groups into sets of the same order and its applications Zero sum partition of Abelian groups into sets of the same order and its applications Sylwia Cichacz Faculty of Applied Mathematics AGH University of Science and Technology Al. Mickiewicza 30, 30-059 Kraków,

More information

SYLVESTER S WAVE THEORY OF PARTITIONS

SYLVESTER S WAVE THEORY OF PARTITIONS SYLVESTER S WAVE THEORY OF PARTITIONS Georgia Southern University DIMACS July 11, 2011 A partition of an integer n is a representation of n as a sum of positive integers where order of summands (parts)

More information

Primary classes of compositions of numbers

Primary classes of compositions of numbers Annales Mathematicae et Informaticae 41 (2013) pp. 193 204 Proceedings of the 15 th International Conference on Fibonacci Numbers and Their Applications Institute of Mathematics and Informatics, Eszterházy

More information

Divide and Conquer. Maximum/minimum. Median finding. CS125 Lecture 4 Fall 2016

Divide and Conquer. Maximum/minimum. Median finding. CS125 Lecture 4 Fall 2016 CS125 Lecture 4 Fall 2016 Divide and Conquer We have seen one general paradigm for finding algorithms: the greedy approach. We now consider another general paradigm, known as divide and conquer. We have

More information

Exploring the infinite : an introduction to proof and analysis / Jennifer Brooks. Boca Raton [etc.], cop Spis treści

Exploring the infinite : an introduction to proof and analysis / Jennifer Brooks. Boca Raton [etc.], cop Spis treści Exploring the infinite : an introduction to proof and analysis / Jennifer Brooks. Boca Raton [etc.], cop. 2017 Spis treści Preface xiii I Fundamentals of Abstract Mathematics 1 1 Basic Notions 3 1.1 A

More information

Computer Science Section 1.6

Computer Science Section 1.6 Computer Science 180 Solutions for Recommended Exercises Section 1.6. Let m and n be any two even integers (possibly the same). Then, there exist integers k and l such that m = k and n = l. Consequently,

More information

An Introduction to Combinatorial Species

An Introduction to Combinatorial Species An Introduction to Combinatorial Species Ira M. Gessel Department of Mathematics Brandeis University Summer School on Algebraic Combinatorics Korea Institute for Advanced Study Seoul, Korea June 14, 2016

More information

On the Ordinary and Signed Göllnitz-Gordon Partitions

On the Ordinary and Signed Göllnitz-Gordon Partitions On the Ordinary and Signed Göllnitz-Gordon Partitions Andrew V. Sills Department of Mathematical Sciences Georgia Southern University Statesboro, Georgia, USA asills@georgiasouthern.edu Version of October

More information

Enumeration Schemes for Words Avoiding Permutations

Enumeration Schemes for Words Avoiding Permutations Enumeration Schemes for Words Avoiding Permutations Lara Pudwell November 27, 2007 Abstract The enumeration of permutation classes has been accomplished with a variety of techniques. One wide-reaching

More information

2 Generating Functions

2 Generating Functions 2 Generating Functions In this part of the course, we re going to introduce algebraic methods for counting and proving combinatorial identities. This is often greatly advantageous over the method of finding

More information

Generating Functions

Generating Functions Generating Functions Karen Ge May, 07 Abstract Generating functions gives us a global perspective when we need to study a local property. We define generating functions and present its applications in

More information

(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition.

(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition. Math 231 Exam Practice Problem Solutions WARNING: This is not a sample test. Problems on the exams may or may not be similar to these problems. These problems are just intended to focus your study of the

More information

Math 412: Number Theory Lecture 13 Applications of

Math 412: Number Theory Lecture 13 Applications of Math 412: Number Theory Lecture 13 Applications of Gexin Yu gyu@wm.edu College of William and Mary Partition of integers A partition λ of the positive integer n is a non increasing sequence of positive

More information

Two-boundary lattice paths and parking functions

Two-boundary lattice paths and parking functions Two-boundary lattice paths and parking functions Joseph PS Kung 1, Xinyu Sun 2, and Catherine Yan 3,4 1 Department of Mathematics, University of North Texas, Denton, TX 76203 2,3 Department of Mathematics

More information

Upper Bounds for Partitions into k-th Powers Elementary Methods

Upper Bounds for Partitions into k-th Powers Elementary Methods Int. J. Contemp. Math. Sciences, Vol. 4, 2009, no. 9, 433-438 Upper Bounds for Partitions into -th Powers Elementary Methods Rafael Jaimczu División Matemática, Universidad Nacional de Luján Buenos Aires,

More information

and the compositional inverse when it exists is A.

and the compositional inverse when it exists is A. Lecture B jacques@ucsd.edu Notation: R denotes a ring, N denotes the set of sequences of natural numbers with finite support, is a generic element of N, is the infinite zero sequence, n 0 R[[ X]] denotes

More information

RAMANUJAN S MOST BEAUTIFUL IDENTITY

RAMANUJAN S MOST BEAUTIFUL IDENTITY RAMANUJAN S MOST BEAUTIFUL IDENTITY MICHAEL D. HIRSCHHORN Abstract We give a simple proof of the identity which for Hardy represented the best of Ramanujan. On the way, we give a new proof of an important

More information

Integer Partitions: An Overview

Integer Partitions: An Overview Integer Partitions: An Overview D Singh, PhD, A M Ibrahim, PhD, J N Singh, Ph D, S M Ladan,PhD, Abstract This paper describes fundamentals of integer partitions and basic tools for their construction and

More information

13 th Annual Harvard-MIT Mathematics Tournament Saturday 20 February 2010

13 th Annual Harvard-MIT Mathematics Tournament Saturday 20 February 2010 13 th Annual Harvard-MIT Mathematics Tournament Saturday 0 February 010 1. [3] Suppose that x and y are positive reals such that Find x. x y = 3, x + y = 13. 3+ Answer: 17 Squaring both sides of x y =

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b), 16. Ring Homomorphisms and Ideals efinition 16.1. Let φ: R S be a function between two rings. We say that φ is a ring homomorphism if for every a and b R, and in addition φ(1) = 1. φ(a + b) = φ(a) + φ(b)

More information

UNIMODALITY OF PARTITIONS WITH DISTINCT PARTS INSIDE FERRERS SHAPES

UNIMODALITY OF PARTITIONS WITH DISTINCT PARTS INSIDE FERRERS SHAPES UNIMODALITY OF PARTITIONS WITH DISTINCT PARTS INSIDE FERRERS SHAPES RICHARD P. STANLEY AND FABRIZIO ZANELLO Abstract. We investigate the rank-generating function F λ of the poset of partitions contained

More information

Counting Palindromic Binary Strings Without r-runs of Ones

Counting Palindromic Binary Strings Without r-runs of Ones 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 16 (013), Article 13.8.7 Counting Palindromic Binary Strings Without r-runs of Ones M. A. Nyblom School of Mathematics and Geospatial Science RMIT University

More information

PRINCIPLE OF MATHEMATICAL INDUCTION

PRINCIPLE OF MATHEMATICAL INDUCTION Chapter 4 PRINCIPLE OF MATHEMATICAL INDUCTION 4.1 Overview Mathematical induction is one of the techniques which can be used to prove variety of mathematical statements which are formulated in terms of

More information