williams college - february 2014 - lafayette collegepatterns, permutations, and placements jonathan...
TRANSCRIPT
![Page 1: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/1.jpg)
Patterns, Permutations, and Placements
Jonathan S. Bloom
Dartmouth College
Williams College - February 2014
![Page 2: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/2.jpg)
Permutations
DefinitionA permutation of length n is a rearrangement of the numbers
1, 2, . . . , n.
Notation
I Sn = the set of all permutations of length n.
Example
S3 = {123, 132, 213, 231, 312, 321},
and|Sn| = n!
![Page 3: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/3.jpg)
Permutations
DefinitionA permutation of length n is a rearrangement of the numbers
1, 2, . . . , n.
Notation
I Sn = the set of all permutations of length n.
Example
S3 = {123, 132, 213, 231, 312, 321},
and|Sn| = n!
![Page 4: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/4.jpg)
Permutations
DefinitionA permutation of length n is a rearrangement of the numbers
1, 2, . . . , n.
Notation
I Sn = the set of all permutations of length n.
Example
S3 = {123, 132, 213, 231, 312, 321},
and|Sn| = n!
![Page 5: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/5.jpg)
Permutations
DefinitionA permutation of length n is a rearrangement of the numbers
1, 2, . . . , n.
Notation
I Sn = the set of all permutations of length n.
Example
S3 = {123, 132, 213, 231, 312, 321},
and|Sn| = n!
![Page 6: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/6.jpg)
Permutations
DefinitionA permutation of length n is a rearrangement of the numbers
1, 2, . . . , n.
Notation
I Sn = the set of all permutations of length n.
Example
S3 = {123, 132, 213, 231, 312, 321},
and|Sn| =
n!
![Page 7: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/7.jpg)
Permutations
DefinitionA permutation of length n is a rearrangement of the numbers
1, 2, . . . , n.
Notation
I Sn = the set of all permutations of length n.
Example
S3 = {123, 132, 213, 231, 312, 321},
and|Sn| = n!
![Page 8: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/8.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4
I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 51 2 3 4 5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 9: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/9.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4
I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 51 2 3 4 5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 10: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/10.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4
I α is stack-sortable
3
3
1
1
2
2
5
5
4
4
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 11: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/11.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4
I α is stack-sortable
3
3 1
1
2
2
5
5
4
4
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 12: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/12.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4
I α is stack-sortable
33 1
1 2
2
5
5
4
4
3
1
122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 13: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/13.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4
I α is stack-sortable
33 11
2
2
5
5
4
4
3
1
1
22
35
44
5
1
2 3 4 51
2 3 4 5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 14: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/14.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4
I α is stack-sortable
33 11 2
2 5
5
4
4
3
11
2
2
35
44
5
1
2 3 4 51
2 3 4 5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 15: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/15.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4
I α is stack-sortable
33 11 22
5
5
4
4
3
112
2
35
44
5
1 2
3 4 51 2
3 4 5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 16: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/16.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4
I α is stack-sortable
33 11 22
5
5
4
4
3
1122
3
5
44
5
1 2 3
4 51 2 3
4 5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 17: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/17.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4
I α is stack-sortable
33 11 22 5
5 4
4
3
1122
3
5
44
5
1 2 3
4 51 2 3
4 5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 18: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/18.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4
I α is stack-sortable
33 11 22 55 4
4
3
1122
3
5
4
4
5
1 2 3
4 51 2 3
4 5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 19: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/19.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4
I α is stack-sortable
33 11 22 55 44
3
1122
3
5
4
4
5
1 2 3 4
51 2 3 4
5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 20: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/20.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4
I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 21: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/21.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 22: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/22.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2
I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 23: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/23.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2
I π is NOT stack-sortable
3
3
1
1
4
4
5
5
2
2
3
114
5
2
1 2 5 4 3
![Page 24: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/24.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2
I π is NOT stack-sortable
3
3 1
1
4
4
5
5
2
2
3
114
5
2
1 2 5 4 3
![Page 25: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/25.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2
I π is NOT stack-sortable
33 1
1 4
4
5
5
2
2
3
1
14
5
2
1 2 5 4 3
![Page 26: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/26.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2
I π is NOT stack-sortable
33 11
4
4
5
5
2
2
3
1
1
4
5
2
1
2 5 4 3
![Page 27: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/27.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2
I π is NOT stack-sortable
33 11 4
4 5
5
2
2
3
11
4
5
2
1
2 5 4 3
![Page 28: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/28.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2
I π is NOT stack-sortable
33 11 44 5
5 2
2
3
11
4
5
2
1
2 5 4 3
![Page 29: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/29.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2
I π is NOT stack-sortable
33 11 44 55 2
2
3
11
4
5
2
1
2 5 4 3
![Page 30: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/30.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2
I π is NOT stack-sortable
33 11 44 55 22
3
11
4
5
2
1 2
5 4 3
![Page 31: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/31.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2
I π is NOT stack-sortable
33 11 44 55 22
3
11
4
5
2
1 2 5
4 3
![Page 32: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/32.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2
I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4
3
![Page 33: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/33.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2
I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 34: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/34.jpg)
Stack Sorting
D. Knuth (1968) defined a sorting algorithm called stack sorting.
Examples
Let α = 3 1 2 5 4I α is stack-sortable
33 11 22 55 44
3
1122
35
44
5
1 2 3 4 5
1 2 3 4 5
Let π = 3 1 4 5 2I π is NOT stack-sortable
33 11 44 55 22
3
114
5
2
1 2 5 4 3
![Page 35: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/35.jpg)
Stack Sorting
QuestionWhy is α = 3 1 2 5 4 stack-sortable, while π = 3 1 4 5 2 is NOT?
Theorem (D. Knuth 1968)
π is NOT stack-sortableiff
π has three entries whose relative ordering is “231”.
Examples
⇒ π contains the pattern 231
α = 3 1 2 5 4 is stack-sortable⇒ α avoids the pattern 231
![Page 36: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/36.jpg)
Stack Sorting
QuestionWhy is α = 3 1 2 5 4 stack-sortable, while π = 3 1 4 5 2 is NOT?
Theorem (D. Knuth 1968)
π is NOT stack-sortableiff
π has three entries whose relative ordering is “231”.
Examples
⇒ π contains the pattern 231
α = 3 1 2 5 4 is stack-sortable⇒ α avoids the pattern 231
![Page 37: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/37.jpg)
Stack Sorting
QuestionWhy is α = 3 1 2 5 4 stack-sortable, while π = 3 1 4 5 2 is NOT?
Theorem (D. Knuth 1968)
π is NOT stack-sortableiff
π has three entries whose relative ordering is “231”.
Examples
π = 3 1 4 5 2 is NOT stack-sortable
⇒ π contains the pattern 231
α = 3 1 2 5 4 is stack-sortable⇒ α avoids the pattern 231
![Page 38: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/38.jpg)
Stack Sorting
QuestionWhy is α = 3 1 2 5 4 stack-sortable, while π = 3 1 4 5 2 is NOT?
Theorem (D. Knuth 1968)
π is NOT stack-sortableiff
π has three entries whose relative ordering is “231”.
Examples
π = 3 1 4 5 2 is NOT stack-sortable
⇒ π contains the pattern 231
α = 3 1 2 5 4 is stack-sortable⇒ α avoids the pattern 231
![Page 39: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/39.jpg)
Stack Sorting
QuestionWhy is α = 3 1 2 5 4 stack-sortable, while π = 3 1 4 5 2 is NOT?
Theorem (D. Knuth 1968)
π is NOT stack-sortableiff
π has three entries whose relative ordering is “231”.
Examples
π = 3 1 4 5 2 is NOT stack-sortable⇒ π contains the pattern 231
α = 3 1 2 5 4 is stack-sortable⇒ α avoids the pattern 231
![Page 40: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/40.jpg)
Stack Sorting
QuestionWhy is α = 3 1 2 5 4 stack-sortable, while π = 3 1 4 5 2 is NOT?
Theorem (D. Knuth 1968)
π is NOT stack-sortableiff
π has three entries whose relative ordering is “231”.
Examples
π = 3 1 4 5 2 is NOT stack-sortable⇒ π contains the pattern 231
α = 3 1 2 5 4 is stack-sortable
⇒ α avoids the pattern 231
![Page 41: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/41.jpg)
Stack Sorting
QuestionWhy is α = 3 1 2 5 4 stack-sortable, while π = 3 1 4 5 2 is NOT?
Theorem (D. Knuth 1968)
π is NOT stack-sortableiff
π has three entries whose relative ordering is “231”.
Examples
π = 3 1 4 5 2 is NOT stack-sortable⇒ π contains the pattern 231
α = 3 1 2 5 4 is stack-sortable⇒ α avoids the pattern 231
![Page 42: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/42.jpg)
Permutation Patterns
It’s easier with pictures!
π = 3 1 4 5 2
×
×
××
×
××××
××
I π contains 132
I π avoids 321
Notation
I Sn(τ) = the set of permutations of length n that avoid τ .
DefinitionTwo patterns σ and τ are Wilf-equivalent if for all n,
|Sn(τ)| = |Sn(σ)|.
![Page 43: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/43.jpg)
Permutation Patterns
It’s easier with pictures!
π = 3 1 4 5 2 ×
×
××
×
××××
××
I π contains 132
I π avoids 321
Notation
I Sn(τ) = the set of permutations of length n that avoid τ .
DefinitionTwo patterns σ and τ are Wilf-equivalent if for all n,
|Sn(τ)| = |Sn(σ)|.
![Page 44: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/44.jpg)
Permutation Patterns
It’s easier with pictures!
π = 3 1 4 5 2 ×
×
××
×
××××
××
I π contains 132
I π avoids 321
Notation
I Sn(τ) = the set of permutations of length n that avoid τ .
DefinitionTwo patterns σ and τ are Wilf-equivalent if for all n,
|Sn(τ)| = |Sn(σ)|.
![Page 45: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/45.jpg)
Permutation Patterns
It’s easier with pictures!
π = 3 1 4 5 2 ×
×
××
××××
×
××
I π contains 132
I π avoids 321
Notation
I Sn(τ) = the set of permutations of length n that avoid τ .
DefinitionTwo patterns σ and τ are Wilf-equivalent if for all n,
|Sn(τ)| = |Sn(σ)|.
![Page 46: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/46.jpg)
Permutation Patterns
It’s easier with pictures!
π = 3 1 4 5 2 ×
×
××
×
×××
×
××
I π contains 132
I π avoids 321
Notation
I Sn(τ) = the set of permutations of length n that avoid τ .
DefinitionTwo patterns σ and τ are Wilf-equivalent if for all n,
|Sn(τ)| = |Sn(σ)|.
![Page 47: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/47.jpg)
Permutation Patterns
It’s easier with pictures!
π = 3 1 4 5 2 ×
×
××
×
××××
××
I π contains 132
I π avoids 321
Notation
I Sn(τ) = the set of permutations of length n that avoid τ .
DefinitionTwo patterns σ and τ are Wilf-equivalent if for all n,
|Sn(τ)| = |Sn(σ)|.
![Page 48: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/48.jpg)
Permutation Patterns
It’s easier with pictures!
π = 3 1 4 5 2 ×
×
××
×
××××
××
I π contains 132
I π avoids 321
Notation
I Sn(τ) = the set of permutations of length n that avoid τ .
DefinitionTwo patterns σ and τ are Wilf-equivalent if for all n,
|Sn(τ)| = |Sn(σ)|.
![Page 49: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/49.jpg)
Permutation Patterns
It’s easier with pictures!
π = 3 1 4 5 2 ×
×
××
×
××××
××
I π contains 132
I π avoids 321
Notation
I Sn(τ) = the set of permutations of length n that avoid τ .
DefinitionTwo patterns σ and τ are Wilf-equivalent if for all n,
|Sn(τ)| = |Sn(σ)|.
![Page 50: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/50.jpg)
Permutation Patterns
Example (Patterns of length 2)
In general,Sn(21) = {123 . . . n}.
Sn(12) = {n . . . 321}.
⇒ 12 is Wilf-equivalent to 21
![Page 51: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/51.jpg)
Permutation Patterns
Example (Patterns of length 2)
In general,Sn(21) =
{123 . . . n}.
Sn(12) = {n . . . 321}.
⇒ 12 is Wilf-equivalent to 21
![Page 52: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/52.jpg)
Permutation Patterns
Example (Patterns of length 2)
In general,Sn(21) = {123 . . . n}.
Sn(12) = {n . . . 321}.
⇒ 12 is Wilf-equivalent to 21
![Page 53: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/53.jpg)
Permutation Patterns
Example (Patterns of length 2)
In general,Sn(21) = {123 . . . n}.
Sn(12) =
{n . . . 321}.
⇒ 12 is Wilf-equivalent to 21
![Page 54: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/54.jpg)
Permutation Patterns
Example (Patterns of length 2)
In general,Sn(21) = {123 . . . n}.
Sn(12) = {n . . . 321}.
⇒ 12 is Wilf-equivalent to 21
![Page 55: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/55.jpg)
Permutation Patterns
Example (Patterns of length 2)
In general,Sn(21) = {123 . . . n}.
Sn(12) = {n . . . 321}.
⇒ 12 is Wilf-equivalent to 21
![Page 56: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/56.jpg)
Permutation Patterns
Patterns of length 3If τ is any pattern of length 3, then
|S3(τ)| = 5
|S4(τ)| = 14
|S5(τ)| = 42
|S6(τ)| = 132
...
|Sn(τ)| =1
n + 1
(2n
n
)= nth Catalan number
I ALL length 3 patterns are Wilf-equivalent
![Page 57: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/57.jpg)
Permutation Patterns
Patterns of length 3If τ is any pattern of length 3, then
|S3(τ)| = 5
|S4(τ)| = 14
|S5(τ)| = 42
|S6(τ)| = 132
...
|Sn(τ)| =1
n + 1
(2n
n
)= nth Catalan number
I ALL length 3 patterns are Wilf-equivalent
![Page 58: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/58.jpg)
Permutation Patterns
Patterns of length 3If τ is any pattern of length 3, then
|S3(τ)| = 5
|S4(τ)| = 14
|S5(τ)| = 42
|S6(τ)| = 132
...
|Sn(τ)| =1
n + 1
(2n
n
)= nth Catalan number
I ALL length 3 patterns are Wilf-equivalent
![Page 59: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/59.jpg)
Permutation Patterns
Patterns of length 3If τ is any pattern of length 3, then
|S3(τ)| = 5
|S4(τ)| = 14
|S5(τ)| = 42
|S6(τ)| = 132
...
|Sn(τ)| =1
n + 1
(2n
n
)= nth Catalan number
I ALL length 3 patterns are Wilf-equivalent
![Page 60: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/60.jpg)
Permutation PatternsPatterns of length 4
n = 5 6 7 8 9
|Sn(2314)| 103 512 2740 15485 91245
|Sn(1234)| 103 513 2761 15767 94359
|Sn(1324)| 103 513 2762 15793 94776
⇒ NOT all patterns of length 4 are Wilf-equivalent.
What’s Known?
I Every pattern of length 4 is Wilf-equivalent to one of:
2314 1234 1324
I I. Gessel (1990) gave a formula for |Sn(1234)|I M. Bona (1997) gave a formula for |Sn(2314)|
Open Problem
Find a formula for |Sn(1324)|.
![Page 61: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/61.jpg)
Permutation PatternsPatterns of length 4
n = 5 6 7 8 9
|Sn(2314)| 103 512 2740 15485 91245
|Sn(1234)| 103 513 2761 15767 94359
|Sn(1324)| 103 513 2762 15793 94776
⇒ NOT all patterns of length 4 are Wilf-equivalent.
What’s Known?
I Every pattern of length 4 is Wilf-equivalent to one of:
2314 1234 1324
I I. Gessel (1990) gave a formula for |Sn(1234)|I M. Bona (1997) gave a formula for |Sn(2314)|
Open Problem
Find a formula for |Sn(1324)|.
![Page 62: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/62.jpg)
Permutation PatternsPatterns of length 4
n = 5 6 7 8 9
|Sn(2314)| 103 512 2740 15485 91245
|Sn(1234)| 103 513 2761 15767 94359
|Sn(1324)| 103 513 2762 15793 94776
⇒ NOT all patterns of length 4 are Wilf-equivalent.
What’s Known?
I Every pattern of length 4 is Wilf-equivalent to one of:
2314 1234 1324
I I. Gessel (1990) gave a formula for |Sn(1234)|I M. Bona (1997) gave a formula for |Sn(2314)|
Open Problem
Find a formula for |Sn(1324)|.
![Page 63: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/63.jpg)
Permutation PatternsPatterns of length 4
n = 5 6 7 8 9
|Sn(2314)| 103 512 2740 15485 91245
|Sn(1234)| 103 513 2761 15767 94359
|Sn(1324)| 103 513 2762 15793 94776
⇒ NOT all patterns of length 4 are Wilf-equivalent.
What’s Known?
I Every pattern of length 4 is Wilf-equivalent to one of:
2314 1234 1324
I I. Gessel (1990) gave a formula for |Sn(1234)|I M. Bona (1997) gave a formula for |Sn(2314)|
Open Problem
Find a formula for |Sn(1324)|.
![Page 64: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/64.jpg)
Permutation PatternsPatterns of length 4
n = 5 6 7 8 9
|Sn(2314)| 103 512 2740 15485 91245
|Sn(1234)| 103 513 2761 15767 94359
|Sn(1324)| 103 513 2762 15793 94776
⇒ NOT all patterns of length 4 are Wilf-equivalent.
What’s Known?
I Every pattern of length 4 is Wilf-equivalent to one of:
2314 1234 1324
I I. Gessel (1990) gave a formula for |Sn(1234)|I M. Bona (1997) gave a formula for |Sn(2314)|
Open Problem
Find a formula for |Sn(1324)|.
![Page 65: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/65.jpg)
Permutation PatternsPatterns of length 4
n = 5 6 7 8 9
|Sn(2314)| 103 512 2740 15485 91245
|Sn(1234)| 103 513 2761 15767 94359
|Sn(1324)| 103 513 2762 15793 94776
⇒ NOT all patterns of length 4 are Wilf-equivalent.
What’s Known?
I Every pattern of length 4 is Wilf-equivalent to one of:
2314 1234 1324
I I. Gessel (1990) gave a formula for |Sn(1234)|
I M. Bona (1997) gave a formula for |Sn(2314)|
Open Problem
Find a formula for |Sn(1324)|.
![Page 66: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/66.jpg)
Permutation PatternsPatterns of length 4
n = 5 6 7 8 9
|Sn(2314)| 103 512 2740 15485 91245
|Sn(1234)| 103 513 2761 15767 94359
|Sn(1324)| 103 513 2762 15793 94776
⇒ NOT all patterns of length 4 are Wilf-equivalent.
What’s Known?
I Every pattern of length 4 is Wilf-equivalent to one of:
2314 1234 1324
I I. Gessel (1990) gave a formula for |Sn(1234)|I M. Bona (1997) gave a formula for |Sn(2314)|
Open Problem
Find a formula for |Sn(1324)|.
![Page 67: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/67.jpg)
Permutation PatternsPatterns of length 4
n = 5 6 7 8 9
|Sn(2314)| 103 512 2740 15485 91245
|Sn(1234)| 103 513 2761 15767 94359
|Sn(1324)| 103 513 2762 15793 94776
⇒ NOT all patterns of length 4 are Wilf-equivalent.
What’s Known?
I Every pattern of length 4 is Wilf-equivalent to one of:
2314 1234 1324
I I. Gessel (1990) gave a formula for |Sn(1234)|I M. Bona (1997) gave a formula for |Sn(2314)|
Open Problem
Find a formula for |Sn(1324)|.
![Page 68: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/68.jpg)
Rook Placements
A Ferrers Board F is a square array of boxes with a “bite” takenout of the northeast corner.
F =
××
××
×
××
A full rook placement (f.r.p.) on F is a placement of markerswith EXACTLY one in each row and column.
Notation
I RF = set of all f.r.p.’s on the Ferrers board F
![Page 69: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/69.jpg)
Rook Placements
A Ferrers Board F is a square array of boxes with a “bite” takenout of the northeast corner.
F =
××
××
×
××
A full rook placement (f.r.p.) on F is a placement of markerswith EXACTLY one in each row and column.
Notation
I RF = set of all f.r.p.’s on the Ferrers board F
![Page 70: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/70.jpg)
Rook Placements
A Ferrers Board F is a square array of boxes with a “bite” takenout of the northeast corner.
F =
××
××
×
××
A full rook placement (f.r.p.) on F is a placement of markerswith EXACTLY one in each row and column.
Notation
I RF = set of all f.r.p.’s on the Ferrers board F
![Page 71: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/71.jpg)
Rook Placements
A Ferrers Board F is a square array of boxes with a “bite” takenout of the northeast corner.
F =
××
××
×
××
A full rook placement (f.r.p.) on F is a placement of markerswith EXACTLY one in each row and column.
Notation
I RF = set of all f.r.p.’s on the Ferrers board F
![Page 72: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/72.jpg)
Rook Placements
A Ferrers Board F is a square array of boxes with a “bite” takenout of the northeast corner.
F =
××
××
×
××
A full rook placement (f.r.p.) on F is a placement of markerswith EXACTLY one in each row and column.
Notation
I RF = set of all f.r.p.’s on the Ferrers board F
![Page 73: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/73.jpg)
Rook Placements
A Ferrers Board F is a square array of boxes with a “bite” takenout of the northeast corner.
F =
××
××
×
××
A full rook placement (f.r.p.) on F is a placement of markerswith EXACTLY one in each row and column.
Notation
I RF = set of all f.r.p.’s on the Ferrers board F
![Page 74: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/74.jpg)
Rook Placements
Patterns?
××
××
×
××
×
××××
×
I contains the pattern 312
I avoids the pattern 231
Notation
I RF (τ) = set of all f.r.p. on F that avoid τ .
![Page 75: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/75.jpg)
Rook Placements
Patterns?
××
××
×
××
×
××××
×
I contains the pattern 312
I avoids the pattern 231
Notation
I RF (τ) = set of all f.r.p. on F that avoid τ .
![Page 76: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/76.jpg)
Rook Placements
Patterns?
××
××
×
××
×
××
××
×
I contains the pattern 312
I avoids the pattern 231
Notation
I RF (τ) = set of all f.r.p. on F that avoid τ .
![Page 77: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/77.jpg)
Rook Placements
Patterns?
××
××
×
××
×
××××
×
I contains the pattern 312
I avoids the pattern 231
Notation
I RF (τ) = set of all f.r.p. on F that avoid τ .
![Page 78: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/78.jpg)
Rook Placements
Patterns?
××
××
×
××
×
××
××
×
I contains the pattern 312
I avoids the pattern 231
Notation
I RF (τ) = set of all f.r.p. on F that avoid τ .
![Page 79: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/79.jpg)
Rook Placements
Patterns?
××
××
×
××
×
××××
×
I contains the pattern 312
I avoids the pattern 231
Notation
I RF (τ) = set of all f.r.p. on F that avoid τ .
![Page 80: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/80.jpg)
Rook Placements
DefinitionTwo patterns σ and τ are shape-Wilf-equivalent if for every F ,
|RF (σ)| = |RF (τ)|.
In this case we write σ ∼ τ .
Observe
shape-Wilf-equivalence ⇒Wilf-equivalence.
What’s Known?
I 123 . . . k ∼ k . . . 321 (J. Backlin, J. West, and G. Xin, 2000)I 231 ∼ 312 (Z. Stankova and J. West, 2002)
- Complicated proof ⇒ can’t count things
I We give a simple proof that 231 ∼ 312
- Can count things!
![Page 81: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/81.jpg)
Rook Placements
DefinitionTwo patterns σ and τ are shape-Wilf-equivalent if for every F ,
|RF (σ)| = |RF (τ)|.
In this case we write σ ∼ τ .
Observe
shape-Wilf-equivalence ⇒Wilf-equivalence.
What’s Known?
I 123 . . . k ∼ k . . . 321 (J. Backlin, J. West, and G. Xin, 2000)I 231 ∼ 312 (Z. Stankova and J. West, 2002)
- Complicated proof ⇒ can’t count things
I We give a simple proof that 231 ∼ 312
- Can count things!
![Page 82: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/82.jpg)
Rook Placements
DefinitionTwo patterns σ and τ are shape-Wilf-equivalent if for every F ,
|RF (σ)| = |RF (τ)|.
In this case we write σ ∼ τ .
Observe
shape-Wilf-equivalence ⇒Wilf-equivalence.
What’s Known?
I 123 . . . k ∼ k . . . 321 (J. Backlin, J. West, and G. Xin, 2000)I 231 ∼ 312 (Z. Stankova and J. West, 2002)
- Complicated proof ⇒ can’t count things
I We give a simple proof that 231 ∼ 312
- Can count things!
![Page 83: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/83.jpg)
Rook Placements
DefinitionTwo patterns σ and τ are shape-Wilf-equivalent if for every F ,
|RF (σ)| = |RF (τ)|.
In this case we write σ ∼ τ .
Observe
shape-Wilf-equivalence ⇒Wilf-equivalence.
What’s Known?
I 123 . . . k ∼ k . . . 321 (J. Backlin, J. West, and G. Xin, 2000)I 231 ∼ 312 (Z. Stankova and J. West, 2002)
- Complicated proof ⇒ can’t count things
I We give a simple proof that 231 ∼ 312
- Can count things!
![Page 84: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/84.jpg)
Rook Placements
DefinitionTwo patterns σ and τ are shape-Wilf-equivalent if for every F ,
|RF (σ)| = |RF (τ)|.
In this case we write σ ∼ τ .
Observe
shape-Wilf-equivalence ⇒Wilf-equivalence.
What’s Known?
I 123 . . . k ∼ k . . . 321 (J. Backlin, J. West, and G. Xin, 2000)
I 231 ∼ 312 (Z. Stankova and J. West, 2002)
- Complicated proof ⇒ can’t count things
I We give a simple proof that 231 ∼ 312
- Can count things!
![Page 85: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/85.jpg)
Rook Placements
DefinitionTwo patterns σ and τ are shape-Wilf-equivalent if for every F ,
|RF (σ)| = |RF (τ)|.
In this case we write σ ∼ τ .
Observe
shape-Wilf-equivalence ⇒Wilf-equivalence.
What’s Known?
I 123 . . . k ∼ k . . . 321 (J. Backlin, J. West, and G. Xin, 2000)I 231 ∼ 312 (Z. Stankova and J. West, 2002)
- Complicated proof ⇒ can’t count things
I We give a simple proof that 231 ∼ 312
- Can count things!
![Page 86: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/86.jpg)
Rook Placements
DefinitionTwo patterns σ and τ are shape-Wilf-equivalent if for every F ,
|RF (σ)| = |RF (τ)|.
In this case we write σ ∼ τ .
Observe
shape-Wilf-equivalence ⇒Wilf-equivalence.
What’s Known?
I 123 . . . k ∼ k . . . 321 (J. Backlin, J. West, and G. Xin, 2000)I 231 ∼ 312 (Z. Stankova and J. West, 2002)
- Complicated proof
⇒ can’t count things
I We give a simple proof that 231 ∼ 312
- Can count things!
![Page 87: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/87.jpg)
Rook Placements
DefinitionTwo patterns σ and τ are shape-Wilf-equivalent if for every F ,
|RF (σ)| = |RF (τ)|.
In this case we write σ ∼ τ .
Observe
shape-Wilf-equivalence ⇒Wilf-equivalence.
What’s Known?
I 123 . . . k ∼ k . . . 321 (J. Backlin, J. West, and G. Xin, 2000)I 231 ∼ 312 (Z. Stankova and J. West, 2002)
- Complicated proof ⇒ can’t count things
I We give a simple proof that 231 ∼ 312
- Can count things!
![Page 88: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/88.jpg)
Rook Placements
DefinitionTwo patterns σ and τ are shape-Wilf-equivalent if for every F ,
|RF (σ)| = |RF (τ)|.
In this case we write σ ∼ τ .
Observe
shape-Wilf-equivalence ⇒Wilf-equivalence.
What’s Known?
I 123 . . . k ∼ k . . . 321 (J. Backlin, J. West, and G. Xin, 2000)I 231 ∼ 312 (Z. Stankova and J. West, 2002)
- Complicated proof ⇒ can’t count things
I We give a simple proof that 231 ∼ 312
- Can count things!
![Page 89: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/89.jpg)
Rook Placements
DefinitionTwo patterns σ and τ are shape-Wilf-equivalent if for every F ,
|RF (σ)| = |RF (τ)|.
In this case we write σ ∼ τ .
Observe
shape-Wilf-equivalence ⇒Wilf-equivalence.
What’s Known?
I 123 . . . k ∼ k . . . 321 (J. Backlin, J. West, and G. Xin, 2000)I 231 ∼ 312 (Z. Stankova and J. West, 2002)
- Complicated proof ⇒ can’t count things
I We give a simple proof that 231 ∼ 312
- Can count things!
![Page 90: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/90.jpg)
Dyck Paths
1
2
3
4
1 2 3 4 5 6 7 8 9 10 11 12 13 14
A Dyck path of size n is a path that:
I starts at the origin
I ends at the point (2n, 0)
I never goes below the x-axis
It is well known that
# Dyck paths of size n =1
n + 1
(2n
n
)
![Page 91: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/91.jpg)
Dyck Paths
1
2
3
4
1 2 3 4 5 6 7 8 9 10 11 12 13 14
A Dyck path of size n is a path that:
I starts at the origin
I ends at the point (2n, 0)
I never goes below the x-axis
It is well known that
# Dyck paths of size n =1
n + 1
(2n
n
)
![Page 92: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/92.jpg)
Dyck Paths
1
2
3
4
1 2 3 4 5 6 7 8 9 10 11 12 13 14
A Dyck path of size n is a path that:
I starts at the origin
I ends at the point (2n, 0)
I never goes below the x-axis
It is well known that
# Dyck paths of size n =1
n + 1
(2n
n
)
![Page 93: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/93.jpg)
Dyck Paths
1
2
3
4
1 2 3 4 5 6 7 8 9 10 11 12 13 14
A Dyck path of size n is a path that:
I starts at the origin
I ends at the point (2n, 0)
I never goes below the x-axis
It is well known that
# Dyck paths of size n =1
n + 1
(2n
n
)
![Page 94: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/94.jpg)
Dyck Paths
1
2
3
4
1 2 3 4 5 6 7 8 9 10 11 12 13 14
A Dyck path of size n is a path that:
I starts at the origin
I ends at the point (2n, 0)
I never goes below the x-axis
It is well known that
# Dyck paths of size n =1
n + 1
(2n
n
)
![Page 95: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/95.jpg)
Dyck Paths
1
2
3
4
1 2 3 4 5 6 7 8 9 10 11 12 13 14
A Dyck path of size n is a path that:
I starts at the origin
I ends at the point (2n, 0)
I never goes below the x-axis
It is well known that
# Dyck paths of size n =1
n + 1
(2n
n
)
![Page 96: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/96.jpg)
Dyck Paths
1
2
3
4
1 2 3 4 5 6 7 8 9 10 11 12 13 14
A Dyck path of size n is a path that:
I starts at the origin
I ends at the point (2n, 0)
I never goes below the x-axis
It is well known that
# Dyck paths of size n =1
n + 1
(2n
n
)
![Page 97: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/97.jpg)
Labeled Dyck paths
0
1
1
2
3
2
2
1
1
1
1
2
2
1
0
We label the Dyck path so that:
I Monotonicity
- +1/0 up step and −1/0 down step
I Zero Condition
- All zeros lie precisely on the x-axis
I Tunnel Property
- “Left” ≤ “Right”
![Page 98: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/98.jpg)
Labeled Dyck paths
0
1
1
2
3
2
2
1
1
1
1
2
2
1
0
We label the Dyck path so that:I Monotonicity
- +1/0 up step and −1/0 down step
I Zero Condition
- All zeros lie precisely on the x-axis
I Tunnel Property
- “Left” ≤ “Right”
![Page 99: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/99.jpg)
Labeled Dyck paths
0
1
1
2
3
2
2
1
1
1
1
2
2
1
0
We label the Dyck path so that:I Monotonicity
- +1/0 up step and −1/0 down step
I Zero Condition
- All zeros lie precisely on the x-axis
I Tunnel Property
- “Left” ≤ “Right”
![Page 100: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/100.jpg)
Labeled Dyck paths
0
1
1
2
3
2
2
1
1
1
1
2
2
1
0
We label the Dyck path so that:I Monotonicity
- +1/0 up step and −1/0 down step
I Zero Condition
- All zeros lie precisely on the x-axis
I Tunnel Property
- “Left” ≤ “Right”
![Page 101: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/101.jpg)
Our proof of 231 ∼ 312
An outline
1. 231-avoiding rook placement 7→ Tunnel property
2. Tunnel Property 7→ Reverse Tunnel Property
3. Reverse Tunnel Property 7→ 312-avoiding rook placement
![Page 102: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/102.jpg)
Our proof of 231 ∼ 312
An outline
1. 231-avoiding rook placement 7→ Tunnel property
2. Tunnel Property 7→ Reverse Tunnel Property
3. Reverse Tunnel Property 7→ 312-avoiding rook placement
![Page 103: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/103.jpg)
Our proof of 231 ∼ 312
An outline
1. 231-avoiding rook placement 7→ Tunnel property
2. Tunnel Property 7→ Reverse Tunnel Property
3. Reverse Tunnel Property 7→ 312-avoiding rook placement
![Page 104: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/104.jpg)
Our proof of 231 ∼ 312
An outline
1. 231-avoiding rook placement 7→ Tunnel property
2. Tunnel Property 7→ Reverse Tunnel Property
3. Reverse Tunnel Property 7→ 312-avoiding rook placement
![Page 105: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/105.jpg)
Our proof of 231 ∼ 312
1. 231-avoiding f.r.p. 7→ Tunnel property
××
××
×
××
RF (231)
1
2
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
![Page 106: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/106.jpg)
Our proof of 231 ∼ 312
1. 231-avoiding f.r.p. 7→ Tunnel property
××
××
×
××
RF (231)
1
2
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
![Page 107: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/107.jpg)
Our proof of 231 ∼ 312
1. 231-avoiding f.r.p. 7→ Tunnel property
××
××
×
××
RF (231)
1
2
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
![Page 108: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/108.jpg)
Our proof of 231 ∼ 312
1. 231-avoiding f.r.p. 7→ Tunnel property
××
××
×
××
RF (231)
1
2
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
![Page 109: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/109.jpg)
Our proof of 231 ∼ 312
1. 231-avoiding f.r.p. 7→ Tunnel property
××
××
×
××
RF (231)
1
2
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
![Page 110: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/110.jpg)
Our proof of 231 ∼ 312
1. 231-avoiding f.r.p. 7→ Tunnel property
××
××
×
××
RF (231)
1
2
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
![Page 111: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/111.jpg)
Our proof of 231 ∼ 312
1. 231-avoiding f.r.p. 7→ Tunnel property
××
××
×
××
RF (231)
1
2
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
![Page 112: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/112.jpg)
Our proof of 231 ∼ 312
1. 231-avoiding f.r.p. 7→ Tunnel property
××
××
×
××
RF (231)
1
2
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
![Page 113: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/113.jpg)
Our proof of 231 ∼ 312
1. 231-avoiding f.r.p. 7→ Tunnel property
××
××
×
××
RF (231)
1
2
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
![Page 114: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/114.jpg)
Our proof of 231 ∼ 312
1. 231-avoiding f.r.p. 7→ Tunnel property
××
××
×
××
RF (231)
1
2
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
![Page 115: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/115.jpg)
Our proof of 231 ∼ 312
1. 231-avoiding f.r.p. 7→ Tunnel property
××
××
×
××
RF (231)
1
2
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
![Page 116: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/116.jpg)
Our proof of 231 ∼ 312
2. Tunnel property 7→ Reverse tunnel property
0
2
3
5
3
2
3
2
3
4
3
2
0
−4 44 4
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
1 2
1 2
=0
1
2
3
1
1
2
1
1
2
1
1
0
≥
3 2
![Page 117: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/117.jpg)
Our proof of 231 ∼ 312
2. Tunnel property 7→ Reverse tunnel property
0
2
3
5
3
2
3
2
3
4
3
2
0
−4 4
4 4
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
1 2
1 2
=0
1
2
3
1
1
2
1
1
2
1
1
0
≥
3 2
![Page 118: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/118.jpg)
Our proof of 231 ∼ 312
2. Tunnel property 7→ Reverse tunnel property
0
2
3
5
3
2
3
2
3
4
3
2
0
−4 4
4 4
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
1 2
1 2
=0
1
2
3
1
1
2
1
1
2
1
1
0
≥
3 2
![Page 119: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/119.jpg)
Our proof of 231 ∼ 312
2. Tunnel property 7→ Reverse tunnel property
0
2
3
5
3
2
3
2
3
4
3
2
0
−
4 4
4 4
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
1 2
1 2
=0
1
2
3
1
1
2
1
1
2
1
1
0
≥
3 2
![Page 120: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/120.jpg)
Our proof of 231 ∼ 312
2. Tunnel property 7→ Reverse tunnel property
0
2
3
5
3
2
3
2
3
4
3
2
0
−
4 4
4 4
0
1
1
2
2
1
1
1
2
2
2
1
0
≤
1 2
1 2
=0
1
2
3
1
1
2
1
1
2
1
1
0
≥
3 2
![Page 121: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/121.jpg)
Our proof of 231 ∼ 312
3. Reverse tunnel property 7→ 312-avoiding f.r.p.
0
1
2
3
3
2
1
1
2
1
1
2
1
1
0
≥
×××
×
×
×
×
RF (312)
Theorem (Bloom–Saracino ’11)
This mapping is a bijection between RF (231) and RF (312).⇒ 231 and 312 are shape-Wilf-equivalent.
![Page 122: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/122.jpg)
Our proof of 231 ∼ 312
3. Reverse tunnel property 7→ 312-avoiding f.r.p.
0
1
2
3
3
2
1
1
2
1
1
2
1
1
0
≥
×××
×
×
×
×
RF (312)
Theorem (Bloom–Saracino ’11)
This mapping is a bijection between RF (231) and RF (312).⇒ 231 and 312 are shape-Wilf-equivalent.
![Page 123: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/123.jpg)
Our proof of 231 ∼ 312
3. Reverse tunnel property 7→ 312-avoiding f.r.p.
0
1
2
3
3
2
1
1
2
1
1
2
1
1
0
≥
×××
×
×
×
×
RF (312)
Theorem (Bloom–Saracino ’11)
This mapping is a bijection between RF (231) and RF (312).⇒ 231 and 312 are shape-Wilf-equivalent.
![Page 124: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/124.jpg)
Enumerative Results: 2314-Avoiding Permutations
In 1997, Bona proved the celebrated result:
|Sn(2314)|
= (−1)n
[−7n2 + 3n + 2
2+ 6
n∑i=2
(−2)i(2i − 4)!
i !(i − 2)!
(n − i + 2
2
)]
Our Proof
6257413
Sn(2314)
×
×
×
×
×
×
×
×
×
×
×
×
×
×
RF (231)
0
1
1 2
1
2
1
1
2
1
1
0
≤
23
2
![Page 125: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/125.jpg)
Enumerative Results: 2314-Avoiding Permutations
In 1997, Bona proved the celebrated result:
|Sn(2314)|
= (−1)n
[−7n2 + 3n + 2
2+ 6
n∑i=2
(−2)i(2i − 4)!
i !(i − 2)!
(n − i + 2
2
)]
Our Proof
6257413
Sn(2314)
×
×
×
×
×
×
×
×
×
×
×
×
×
×
RF (231)
0
1
1 2
1
2
1
1
2
1
1
0
≤
23
2
![Page 126: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/126.jpg)
Enumerative Results: 2314-Avoiding Permutations
In 1997, Bona proved the celebrated result:
|Sn(2314)|
= (−1)n
[−7n2 + 3n + 2
2+ 6
n∑i=2
(−2)i(2i − 4)!
i !(i − 2)!
(n − i + 2
2
)]
Our Proof
6257413
Sn(2314)
×
×
×
×
×
×
×
×
×
×
×
×
×
×
RF (231)
0
1
1 2
1
2
1
1
2
1
1
0
≤
23
2
![Page 127: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/127.jpg)
Enumerative Results: 2314-Avoiding Permutations
In 1997, Bona proved the celebrated result:
|Sn(2314)|
= (−1)n
[−7n2 + 3n + 2
2+ 6
n∑i=2
(−2)i(2i − 4)!
i !(i − 2)!
(n − i + 2
2
)]
Our Proof
6257413
Sn(2314)
×
×
×
×
×
×
×
×
×
×
×
×
×
×
RF (231)
0
1
1 2
1
2
1
1
2
1
1
0
≤
23
2
![Page 128: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/128.jpg)
Enumerative Results: 2314-Avoiding Permutations
In 1997, Bona proved the celebrated result:
|Sn(2314)|
= (−1)n
[−7n2 + 3n + 2
2+ 6
n∑i=2
(−2)i(2i − 4)!
i !(i − 2)!
(n − i + 2
2
)]
Our Proof
6257413
Sn(2314)
×
×
×
×
×
×
×
×
×
×
×
×
×
×
RF (231)
0
1
1
2
3
2
2
1
2
1
1
2
1
1
0
≤
23
2
![Page 129: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/129.jpg)
Enumerative Results: 2314-Avoiding Permutations
In 1997, Bona proved the celebrated result:
|Sn(2314)|
= (−1)n
[−7n2 + 3n + 2
2+ 6
n∑i=2
(−2)i(2i − 4)!
i !(i − 2)!
(n − i + 2
2
)]
Our Proof
6257413
Sn(2314)
×
×
×
×
×
×
×
×
×
×
×
×
×
×
RF (231)
0
1
1 2
1
2
1
1
2
1
1
0
≤
23
2
![Page 130: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/130.jpg)
Thank you!
![Page 131: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/131.jpg)
Appendix: New Enumerative Results
I In 2012, D. Callan and V. Kotesovec conjectured that
∞∑n=0
|Sn(2314, 1234)|zn =1
1− C (zC (z))
= 1 + z + 2z + 6z2 + 22z3 + · · ·
where C (z) is the generating function for the Catalannumbers.
I All 231-avoiding f.r.p. are counted by
54z
1 + 36z − (1− 12z)3/2= 1 + z + 3z2 + 14z3 + 83z4 + · · ·
I New enumerative results in the theory of perfect matchingsand set partitions.
![Page 132: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/132.jpg)
Appendix: New Enumerative Results
I In 2012, D. Callan and V. Kotesovec conjectured that
∞∑n=0
|Sn(2314, 1234)|zn =1
1− C (zC (z))
= 1 + z + 2z + 6z2 + 22z3 + · · ·
where C (z) is the generating function for the Catalannumbers.
I All 231-avoiding f.r.p. are counted by
54z
1 + 36z − (1− 12z)3/2= 1 + z + 3z2 + 14z3 + 83z4 + · · ·
I New enumerative results in the theory of perfect matchingsand set partitions.
![Page 133: Williams College - February 2014 - Lafayette CollegePatterns, Permutations, and Placements Jonathan S. Bloom Dartmouth College Williams College - February 2014](https://reader033.vdocument.in/reader033/viewer/2022060913/60a7682c71c61b7c171ccc84/html5/thumbnails/133.jpg)
Appendix: New Enumerative Results
I In 2012, D. Callan and V. Kotesovec conjectured that
∞∑n=0
|Sn(2314, 1234)|zn =1
1− C (zC (z))
= 1 + z + 2z + 6z2 + 22z3 + · · ·
where C (z) is the generating function for the Catalannumbers.
I All 231-avoiding f.r.p. are counted by
54z
1 + 36z − (1− 12z)3/2= 1 + z + 3z2 + 14z3 + 83z4 + · · ·
I New enumerative results in the theory of perfect matchingsand set partitions.