Course Syllabus
Here is a tentative list of topics that will be covered, together with the corresponding references.
Main reference | Other references | |
Basic combinatorics | ||
Catalan numbers. Sets and multisets. Compositions. | [dM] Chapter 1 | [Aig] Sections 1.1-1.2 [EC1] Section 1.2 |
Integer and set partitions. Stirling numbers. Permutations. | [dM] Chapter 3 | [Aig] Sections 1.3-1.5 [vLW] Chapter 13 [EC1] Section 1.3. |
Inclusion-Exclusion. | [dM] Chapter 2 | [Aig] Section 5.1 [EC1] Sections 2.1-2.3 [vLW] Chapter 10 |
Generating functions | ||
Recurrences. Formal power series. | [dM] Chapter 4 | [Aig] Sections 2.1, 2.2, 3.1 [Wf] Section 2.1 [vLW] Chapter 14 |
The symbolic method. Unlabeled structures. Ordinary generating functions. |
[dM] Chapter 5 | [FS] Chapter 1 [Wf] Section 2.2 |
Labeled structures. Exponential generating functions. | [dM] Chapter 6 | [Aig] Section 3.3 [FS] Chapter 2 [Wf] Section 2.3 |
Topics in algebraic combinatorics | ||
Partially ordered sets. Chains and antichains. Sperner's theorem. |
[St] Chapter 4 | |
Young tableaux. The hook-length formula. Operators on Young's lattice. | [St] Chapter 8 | [EC2] Section 7.11 [BS] Section 4 |
Young diagrams and q-binomial coefficients. | [St] Chapter 6 | [Aig] Section 1.6 |
Enumeration under group action. Counting orbits using Burnside's Lemma. Polya's theorem. |
[St] Chapter 7 | [Aig] Sections 6.1-6.3 |
Below is a more detailed description of the topics covered each day, which will be regularly updated throughout the term:
Day 1: | Lattice paths, Dyck paths, the reflection principle, rotated paths, recurrences |
Day 2: | Binomial coefficients, multisets, compositions |
Day 3: | Integer partitions, set partitions, Stirling numbers of the second kind |
Day 4: | Permutation statistics: cycles, records, Foata's fundamental bijection |
Day 5: | Descents, inversions, major index, fixed points, derangements |
Day 6: | The Principle of Inclusion-exclusion, answers to enumeration questions, generating functions |
Day 7: | The ring of formal power series, operations with generating functions |
Day 8: | Linear recurrences and rational generating functions; a non-linear recurrence |
Day 9: | The symbolic method for unlabeled structures, operations on combinatorial classes |
Day 10: | Ordinary generating functions for words, compositions, plane trees, Dyck paths |
Day 11: | Ordinary generating functions for integer partitions and set partitions; the symbolic method for labeled structures |
Day 12: | The labeled product, sequences and sets of labeled classes; exponential generating functions for labeled rooted trees, set partitions |
Day 13: | Exponential generating functions for ordered set partitions, permutations, involutions, derangements, labeled graphs. |
Day 14: | Cycles of labeled classes, the Lagrange inversion formula, Cayley's formula and bijective proof via Prüfer code |
Day 15: | Partially ordered sets, graded posets, chains |
Day 16: | Antichains, Sperner's theorem, order matchings using linear algebra |
Day 17: | Finishing the algebraic proof of Sperner's theorem |
Day 18: | Lubell's proof of Sperner's theorem, Young's lattice, the hook-length formula |
Day 19: | Walks in Young's lattice, U and D operators, the RSK correspondence |
Day 20: | Properties of RSK, the poset of partitions with bounded largest part and bounded number of parts |
Day 21: | q-binomial coefficients, enumeration under group action |
Day 22: | Equivalent colorings, group actions |
Day 23: | Orbits, Burnside's lemma, applications to counting inequivalent colorings |
Day 24: | Polya's theorem, applications to counting necklaces, dihedral necklaces, Stirling numbers |
Day 25 -Nov 6: | Presentation by Ben, David and Beth Anne: Viennot’s geometric construction of the RSK correspondence. |
Day 26 -Nov 8: |
Presentation by Ben, David and Beth Anne: Viennot’s geometric construction of the RSK correspondence (continued). Presentation by Mario: Random walks in Z^d. |
Day 27 -Nov 10: | Presentation by Amya, Paul and Zach: The transfer-matrix method. |
Day 28 -Nov 13: | Presentation by Amya, Paul and Zach: The transfer-matrix method (continued). |
Course Summary:
Date | Details | Due |
---|---|---|