Bijective Proofs with Spotted Tilings

Similar documents
Compositions, Bijections, and Enumerations

What you learned in Math 28. Rosa C. Orellana

MULTI-ORDERED POSETS. Lisa Bishop Department of Mathematics, Occidental College, Los Angeles, CA 90041, United States.

Named numbres. Ngày 25 tháng 11 năm () Named numbres Ngày 25 tháng 11 năm / 7

Integer Sequences Related to Compositions without 2 s

Binomial Coefficient Identities/Complements

Generating Functions

Combinatorial Proofs and Algebraic Proofs I

C-COLOR COMPOSITIONS AND PALINDROMES

Enumerating Distinct Chessboard Tilings and Generalized Lucas Sequences Part I

2 - Strings and Binomial Coefficients

arxiv: v1 [math.nt] 4 Mar 2014

Counting. Math 301. November 24, Dr. Nahid Sultana

patterns Lara Pudwell faculty.valpo.edu/lpudwell

Enumerative Combinatorics with Fillings of Polyominoes

Compositions of n with no occurrence of k. Phyllis Chinn, Humboldt State University Silvia Heubach, California State University Los Angeles

Generating Functions

Partition Identities

Some Catalan Musings p. 1. Some Catalan Musings. Richard P. Stanley

COM S 330 Lecture Notes Week of Feb 9 13

Enumerative Combinatorics with Fillings of Polyominoes

The solutions to the two examples above are the same.

Counting with Categories and Binomial Coefficients

Generating Function Notes , Fall 2005, Prof. Peter Shor

arxiv: v1 [math.co] 13 Jul 2017

ENGG 2440B Discrete Mathematics for Engineers Tutorial 8

Sets. A set is a collection of objects without repeats. The size or cardinality of a set S is denoted S and is the number of elements in the set.

CATALAN DETERMINANTS A COMBINATORIAL APPROACH

Contents. Counting Methods and Induction

Mathematical Foundations of Computer Science

Animals and 2-Motzkin Paths

ON PARTITION FUNCTIONS OF ANDREWS AND STANLEY

Generating Functions

and Other Combinatorial Reciprocity Instances

Functions of the Binomial Coefficient

Permutations and Combinations

Application of Logic to Generating Functions. Holonomic (P-recursive) Sequences

Algebraic Counting Techniques

A note on partitions into distinct parts and odd parts

Primary classes of compositions of numbers

Counting Strategies: Inclusion-Exclusion, Categories

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

Two truncated identities of Gauss

Applications. More Counting Problems. Complexity of Algorithms

Counting Palindromic Binary Strings Without r-runs of Ones

Catalan numbers Wonders of Science CESCI, Madurai, August

Combinatorics of non-associative binary operations

1. Determine (with proof) the number of ordered triples (A 1, A 2, A 3 ) of sets which satisfy

Introduction to Decision Sciences Lecture 11

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

1 Basic Combinatorics

k-cleaning of Dessin d Enfants

The candidates are advised that they must always show their working, otherwise they will not be awarded full marks for their answers.

Euler s partition theorem and the combinatorics of l-sequences

Basic counting techniques. Periklis A. Papakonstantinou Rutgers Business School

Sum-free sets. Peter J. Cameron University of St Andrews

Sum-free sets. Peter J. Cameron University of St Andrews

A PERIODIC APPROACH TO PLANE PARTITION CONGRUENCES

CS 2336 Discrete Mathematics

QUADRANT MARKED MESH PATTERNS IN 132-AVOIDING PERMUTATIONS III

The Frequency of Summands of a Particular Size in Palindromic Compositions

GENERALIZATION OF AN IDENTITY OF ANDREWS

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

arxiv: v1 [math.co] 3 Feb 2014

The Gaussian coefficient revisited

A reciprocity theorem for domino tilings

Algorithms: Background

From Simplest Recursion to the Recursion of Generalizations of Cross Polytope Numbers

INFINITE FAMILIES OF STRANGE PARTITION CONGRUENCES FOR BROKEN 2-DIAMONDS

Name (please print) Mathematics Final Examination December 14, 2005 I. (4)

Binomial coefficients and k-regular sequences

Discrete Mathematics -- Chapter 10: Recurrence Relations

Discrete Mathematics, Spring 2004 Homework 4 Sample Solutions

2.1 Identifying Patterns

Combinatorics. But there are some standard techniques. That s what we ll be studying.

Some Catalan Musings p. 1. Some Catalan Musings. Richard P. Stanley

Catalan Numbers. Richard P. Stanley. June 9, 2017

Silvia Heubach* Dept. of Mathematics, California State University Los Angeles

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

Polya theory (With a radar application motivation)

SEATING REARRANGEMENTS ON ARBITRARY GRAPHS

A Tiling Approach to Chebyshev Polynomials

Simplification by Truth Table and without Truth Table

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

Team Solutions. November 19, qr = (m + 2)(m 2)

#A91 INTEGERS 18 (2018) A GENERALIZED BINET FORMULA THAT COUNTS THE TILINGS OF A (2 N)-BOARD

Combinatorial proofs of Honsberger-type identities

MA Discrete Mathematics

REVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms

CDM Combinatorial Principles

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

Standard Young Tableaux Old and New

Counting on Continued Fractions

TILING PROOFS OF SOME FORMULAS FOR THE PELL NUMBERS OF ODD INDEX

Simplification by Truth Table and without Truth Table

Pattern avoidance in ascent sequences

Transforming Inductive Proofs to Bijective Proofs

ENUMERATING DISTINCT CHESSBOARD TILINGS

A bijective proof of Shapiro s Catalan convolution

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

Transcription:

Brian Hopkins, Saint Peter s University, New Jersey, USA Visiting Scholar, Mahidol University International College Editor, The College Mathematics Journal MUIC Mathematics Seminar 2 November 2016

outline examples of bijective proofs binomial coefficients compositions and Fibonacci numbers n-color compositions and spotted tilings restricting part size restricting colors

binomial coefficients What is ( ) n? k Binomial coefficient definition ( ) n = k n! k!(n k)! NO! NO! NO! NO! NO! Binomial coefficient definition ( n ) k is the number of ways to choose k out of n objects. The definition has combinatorial meaning; the formula follows.

binomial coefficients We will usually think of choosing k positions to put spots on a length n board. Binomial coefficient sum n k=0 ( ) n = 2 n k How many ways can you put any number of spots on an n-board? Left hand side: Add up the number of ways to place k spots for all possible values of k. Right hand side: Go through the n positions and make the binary choice spot or not for each one.

binomial coefficients Complementarity ( ) ( ) n n = k n k Swap spot or not for each position: 3 3 3 3 3 This establishes a one-to-one correspondence between k spot boards and n k spot boards. A combinatorial proof (often done via a bijection) attempts to show that a result is true by often visual means rather than symbolic manipulation.

binomial coefficients Pascal s triangle rule (n ) ( n 1 = k k ) + ( ) n 1 k 1 Starting from the left hand side, consider all possible ways to choose k spots in n positions. Remove the nth position (which may or may not have a spot). 3 3 3 3 3 3 3 3 3 3 3 If the removed position has no spot, we are left with k spots in n 1 positions; there are ( ) n 1 k of these. If the removed position has a spot, we are left with k 1 spots in n 1 positions; there are ( n 1 k 1) of these.

binomial coefficients Looking for patterns: We know n k=0 ( n k). What else could we try? n n ( ) n k k k=1 1 2 3 4 5 ( 1 1 ) = 1 ( 2 ) ( 1 + 2 2 ) 2 = 4 ( 3 ) ( 1 + 2 3 ) ( 2 + 3 3 ) 3 = 12 ( 4 ) ( 1 + 2 4 ) ( 2 + 3 4 ) ( 3 + 4 4 ) 4 = 32 ( 5 ) ( 1 + 2 5 ) ( 2 + 3 5 ) ( 3 + 4 5 ) ( 4 + 5 5 ) 5 = 80

binomial coefficients A weighted sum n ( ) n k = n 2 n 1 k k=1 n ( ) n k = k k=1 = n = n n k=1 k=1 k=1 k n! k!(n k)! = n k=1 n! (k 1)!(n k)! n (n 1)! n (k 1)!(n k)! = n (n 1)! (k 1)!((n 1) (k 1))! k=1 n ( ) n 1 = n 2 n 1 k 1

binomial coefficients A weighted sum n ( ) n k = n 2 n 1 k k=1 How many ways can you choose a committee where one member is designated as chair? Left hand side: For each size k, choose of committee, then choose one of the k members to be chair. Right hand side: Choose one of the n people to be chair, form a committee from the remaining n 1 people.

binomial coefficients Looking for patterns: We know n ( n ) k=0 k and n k=0 k( n k)... n 1 2 3 4 5 n k=0 ( 1 0 ( ) n 2 k ) 2 ( + 1 ) 2 1 = 2 ( 2 ) 2 ( 0 + 2 ) 2 ( 1 + 2 ) 2 2 = 6 ( 3 ) 2 ( 0 + 3 ) 2 ( 1 + 3 ) 2 ( 2 + 3 ) 2 3 = 20 ( 4 ) 2 ( 0 + 4 ) 2 ( 1 + 4 ) 2 ( 2 + 4 ) 2 ( 3 + 4 ) 2 4 = 70 ( 5 ) 2 ( 0 + 5 ) 2 ( 1 + 5 ) 2 ( 2 + 5 ) 2 ( 3 + 5 ) 2 ( 4 + 5 ) 2 5 = 252

binomial coefficients Sum of squared terms n k=0 ( ) n 2 = k ( ) 2n n Using complementarity, rewrite the left hand side: n k=0 ( )( ) n n = k n k ( ) 2n n Right hand side: Number of ways to put n spots in 2n positions. Left hand side: For each feasible k, number of ways to put k spots in the first n positions and n k spots in the second n positions.

compositions A composition of n is an ordered tuple of positive integers with sum n. Compositions of 3 are {(3), (2, 1), (1, 2), (1, 1, 1)}, write C(3) = 4. n-board visualization from MacMahon s Combinatory Analysis. For clarity, we use the coloring scheme of Cuisenaire rods.

compositions Number of compositions C(n) = 2 n 1 The n-board has n 1 possible places to either join a square to the part to the left or make a cut and start a new part. J J J C C J C C Number of compositions with k parts ( ) n 1 C(n, k) = k 1 A k part composition has k 1 cuts.

compositions Several sequences with a(n) 2 n 1 count compositions with various restrictions. Consider compositions where the only allowed parts are 1 and 2. 1, 2, 3, 5,... looks like Fibonacci. (Actually known by Virahāṅka circa 600 CE in association with Sanskrit poetry; Singh 1985 Historia Mathematica.)

compositions F (0) = 0, F (1) = 1, F (2) = 1, F (3) = 2, F (4) = 3, F (5) = 5; recurrence F (n) = F (n 1) + F (n 2). Gopāla Hemachandra, Fibonacci C[1, 2](n) = F (n + 1)

compositions Consider compositions where 1 is not allowed as a part. Where only odd numbers are allowed as parts.

compositions Cayley 1876 C[no 1](n) = F (n 1)

compositions Hoggatt Lind 1965?? C[odds](n) = F (n)

compositions 1 1 + 2 2 = 5, 2 2 + 3 2 = 13, 3 2 + 5 2 = 34, 5 2 + 8 2 = 89,... A Fibonacci square identity (F (n)) 2 + (F (n + 1)) 2 = F (2n + 1)

compositions 1 + 1 + 2 = 4, 1 + 1 + 2 + 3 = 7, 1 + 1 + 2 + 3 + 5 = 12,... A Fibonacci sum identity n F (k) = F (n + 2) 1 k=1

bijective proofs Catalan numbers: 2015 Richard Stanley book discusses 214 objects counted by 1, 2, 5, 14, 42,... 1 2 1 3 1 4 1 2 1 3 3 4 2 4 2 5 3 5 2 5 5 6 5 6 3 6 4 6 4 6 Combinatorial proofs also used for permutations, graph theory, lattice paths, integer partitions, etc. etc. etc.

n-color compositions An n-color composition of n is a composition of n where there are k different copies of each part k available as parts. The n-color compositions of 3 are {(3 1 ), (3 2 ), (3 3 ), (2 1, 1 1 ), (2 2, 1 1 ), (1 1, 2 1 ), (1 1, 2 2 ), (1 1, 1 1, 1 1 )}. Introduced by Agarwal in 2000, following 1987 Agarwal & Andrews partitions with n copies of n. Subject of about a dozen papers: Agarwal, Geetika Narang, Yu-hong Guo. Mirroring questions on standard compositions, primarily on counting n-color compositions with restrictions on part sizes.

n-color compositions Spotted tiling visualization (H. Integers 2013): part k i corresponds to a 1 k rectangle with a spot in position i. 3 1 2 1 1 1 1 1 2 1 1 1 1 1 1 1 3 2 2 2 1 1 1 1 2 2 3 3 Nice tool for bijections and combinatorial proofs of recurrence relations & direct formulas.

n-color composition count Agarwal 2000 The number of n-color compositions of n, CC(n) = F (2n). Think of spots being at half-integer positions. Bars and spots alternate, distances k + 1 2. Double the distances. Reversible: In odd-part compositions, bars alternate even and odd positions.

restricted part n-color compositions H. 2013 The number of n-color compositions of n with only odd parts is given by the recurrence a(n) = a(n 1) + 2a(n 2) + a(n 3) a(n 4) with initial values 0, 1, 1, 4 (OEIS A119749). Prove by a bijection showing a(n) + a(n 4) = a(n 1) + 2a(n 2) + a(n 3).

bijection for odd part n-color compositions From a(n 1) + 2a(n 2) + a(n 3): (a) Given an n-color composition counted by a(n 1), add 1 1. (b) For the first set of n-color composition counted by a(n 2), replace the final part k j with (k + 2) j. (a) (b) Aiming for a(n) + a(n 4). So far odd part n-color compositions ending in 1 1 and k j with j k 2.

bijection for odd part n-color compositions Continuing from a(n 1) + 2a(n 2) + a(n 3): (c) For the second set counted by a(n 2), (c1) if the last part is k 1, replace it with (k + 2) k+1, (c2) if the last part is k 2, replace it with (k + 2) k+2, (c3) if the last part is k j with j 3, replace it with (k 2) j 2. (d) Given an n-color composition counted by a(n 3), add 3 3. (c1) (c1) (c1) (c1) (c2) (c3) (c1) (d) Gives remaining counted by a(n) and a(n 4) (c3).

restricted color n-color compositions Rather than restricting part size, restrict colors. Motivation: Posit n-color compositions as a useful class of combinatorial objects. Provide new combinatorial interpretations for integer sequences. (Restricted compositions require a(n) 2 n 1, restricted n-color compositions a(n) F (2n) 2.618 n 1.) Provide connections to various other combinatorial objects. Provide tools for finding recurrence relations, generating functions, direct formulas.

three general results Recurrences for restricted color n-color compositions For all, a(0) = 1 (the empty composition) and a(k) = 0 for k < 0. The number of compositions with allowed colors {c i } is a(n) = a(n 1) + i a(n c i) The number of compositions with forbidden colors {d i } is a(n) = 3a(n 1) a(n 2) + i ( a(n d i) + a(n d i 1)) The number of compositions with colors congruent to {m i } modulo m chosen such that 1 m i m for each i is a(n) = a(n 1) + ( i a(n m i)) + a(n m) a(n m 1)

particular cases The many special cases, we have bijections to other objects and/or direct formulas with combinatorial proofs. Allowed colors Any one color Color pairs k and k + 1 Color pairs 1 & 3, 1 & 4 Colors 1,..., k Prohibited colors Any one color not allowed No colors 1,..., k Modular colors odd colors even colors

only colors 1 & 2 A001333: 1, 1, 3, 7, 17, 41, 99, 239, 577, 1393,... recurrence: a(n) = 2a(n 1) + a(n 2) Bijection to length n 1 ternary words avoiding 02 and 20: Consider the n 1 joins or cuts in a length n spotted tiling. J in color 1 part 0 J in color 2 part 2 C 1 J C J J C J J J C C J C J J J 2 1 0 0 1 2 2 2 1 1 2 1 0 0 0

only colors 1 & 2 A001333: 1, 3, 7, 17, 41, 99, 239, 577, 1393,... recurrence: a(n) = 2a(n 1) + a(n 2) Direct formula: a(n) = n/2 m=0 ( ) n 2 m 2m Consider an n = 10 and m = 3 term. : : : : : : : : : 1 2 3 4 5 6 Longer parts determined by (2i 1, 2i) with 2 color choices each, remaining are 1 1.

no color 2 A034943: 1, 2, 5, 12, 28, 65, 151, 351, 816,... recurrence: a(n) = 3a(n 1) 2a(n 2) + a(n 3) Bijection to length 3n + 2 (normal) compositions with parts congruent to 2 modulo 3: Write 2 for a length 2 part that can join to the left to become a longer part (but not on the right), similarly 3. 1 1 3 k 1 2, 2, 3k 4 for k 2 k j 2, 3j 4, 3k 3j + 2 for k 2 and j 2. End with a 2 and join parts where both sides are open. (2 1, 1 1, 3 3, 5 4, 1 1 ) 2, 2, 2 3 2, 5, 2 2, 8, 5 3 2 (2, 2, 2, 5, 5, 2, 2, 8, 5, 5)

no color 2 A034943: 1, 2, 5, 12, 28, 65, 151, 351, 816,... recurrence: a(n) = 3a(n 1) 2a(n 2) + a(n 3) Direct formula: a(n) = n/2 m=0 ( ) n + m 3m Consider an n = 8 and m = 2 term. : : : : : : : : : 1 2 3 4 5 6 X X so (1 1, 5 3, 2 1 ). Longer parts determined by (3i 2, 3i 1, 3i): spot at 3i 1, first position removed if 3i 2 & 3i 1 adjacent, else last position removed.

no color 3 A191652: 1, 3, 7, 18, 45, 113, 283, 709, 1775,... recurrence: a(n) = 3a(n 1) a(n 2) a(n 3) + a(n 4) Recurrence not listed on OEIS! Interpretation: Number of n-step two-sided prudent self-avoiding walks ending on the top side of their box. (2001 Phys. Rev. E, then Bousquet-Mélou 2010 JCTA.)