Course : Algebraic Combinatorics

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

Generating Functions

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

More about partitions

Course : Algebraic Combinatorics

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

Two truncated identities of Gauss

Generating Functions

Generating Functions (Revised Edition)

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

Discrete Mathematics. Spring 2017

Applications. More Counting Problems. Complexity of Algorithms

Basic counting techniques. Periklis A. Papakonstantinou Rutgers Business School

CDM Combinatorial Principles

Partitions, permutations and posets Péter Csikvári

Problem Set 1 Solutions

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

THE REPRESENTATIONS OF THE SYMMETRIC GROUP

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

A Generalization of the Euler-Glaisher Bijection

The Truncated Pentagonal Number Theorem

Math 3000 Section 003 Intro to Abstract Math Homework 6

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

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

Practice Second Midterm Exam III

Equality of P-partition Generating Functions

1 Basic Combinatorics

Some families of identities for the integer partition function

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

Discrete Mathematics, Spring 2004 Homework 4 Sample Solutions

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

Climbing an Infinite Ladder

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

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

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

Addition sequences and numerical evaluation of modular forms

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

MATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1

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.

THE NATURE OF PARTITION BIJECTIONS II. ASYMPTOTIC STABILITY. Introduction

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

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

A Prelude to Euler's Pentagonal Number Theorem

The Kth M-ary Partition Function

Mathematical Induction Assignments

On q-series Identities Arising from Lecture Hall Partitions

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

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

February 2017 February 18, 2017

The Greedy Basis Equals the Theta Basis A Rank Two Haiku

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

Enumerating split-pair arrangements

COMPOSITIONS, PARTITIONS, AND FIBONACCI NUMBERS

A LINEAR BINOMIAL RECURRENCE AND THE BELL NUMBERS AND POLYNOMIALS

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

Lecture 15: Algebraic Geometry II

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

Cylindric Young Tableaux and their Properties

Compositions, Bijections, and Enumerations

STABLE CLUSTER VARIABLES

Character Polynomials

The cycle polynomial of a permutation group

Combinatorial aspects of elliptic curves

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

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

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

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

HOMEWORK #2 - MATH 3260

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

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

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

Math Homework 5 Solutions

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

Determinants of Partition Matrices

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

EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS

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

SYLVESTER S WAVE THEORY OF PARTITIONS

Primary classes of compositions of numbers

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

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

Computer Science Section 1.6

An Introduction to Combinatorial Species

On the Ordinary and Signed Göllnitz-Gordon Partitions

Enumeration Schemes for Words Avoiding Permutations

2 Generating Functions

Generating Functions

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

Math 412: Number Theory Lecture 13 Applications of

Two-boundary lattice paths and parking functions

Upper Bounds for Partitions into k-th Powers Elementary Methods

and the compositional inverse when it exists is A.

RAMANUJAN S MOST BEAUTIFUL IDENTITY

Integer Partitions: An Overview

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

Algebraic Geometry Spring 2009

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

UNIMODALITY OF PARTITIONS WITH DISTINCT PARTS INSIDE FERRERS SHAPES

Counting Palindromic Binary Strings Without r-runs of Ones

PRINCIPLE OF MATHEMATICAL INDUCTION

Transcription:

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, 009 1 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 + x4 +... )(1 + x3 + x6 +... ) 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

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.

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, 3 8+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) = 7 + 5 1 = 11, and p(7) = p(6) + p(5) p() p(0) = 11 + 7 1 = 15 j +j Exercise : Use Euler s Pentagonal Theorem to calculate p(8), p(9), and p(10). + x ).

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)).

Notice that if t + λ 1, then φ(λ) is a partition of t + 1 + (λ 1 1) + (λ 1) + + (λ t 1) = t + 1 + λ 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:

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

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