1 / 103

CSM Week 1: Introductory Cross-Disciplinary Seminar

CSM Week 1: Introductory Cross-Disciplinary Seminar. Combinatorial Enumeration Dave Wagner University of Waterloo. CSM Week 1: Introductory Cross-Disciplinary Seminar. Combinatorial Enumeration Dave Wagner University of Waterloo I. The Lagrange Implicit Function Theorem and

dorie
Download Presentation

CSM Week 1: Introductory Cross-Disciplinary Seminar

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. CSM Week 1: Introductory Cross-Disciplinary Seminar Combinatorial Enumeration Dave Wagner University of Waterloo

  2. CSM Week 1: Introductory Cross-Disciplinary Seminar Combinatorial Enumeration Dave Wagner University of Waterloo I. The Lagrange Implicit Function Theorem and Exponential Generating Functions

  3. CSM Week 1: Introductory Cross-Disciplinary Seminar Combinatorial Enumeration Dave Wagner University of Waterloo I. The Lagrange Implicit Function Theorem and Exponential Generating Functions II. A Smorgasbord of Combinatorial Identities

  4. I. LIFT and Exponential Generating Functions 1. The Lagrange Implicit Function Theorem

  5. I. LIFT and Exponential Generating Functions 1. The Lagrange Implicit Function Theorem 2. Exponential Generating Functions

  6. I. LIFT and Exponential Generating Functions 1. The Lagrange Implicit Function Theorem 2. Exponential Generating Functions 3. There are rooted trees (two ways)

  7. I. LIFT and Exponential Generating Functions 1. The Lagrange Implicit Function Theorem 2. Exponential Generating Functions 3. There are rooted trees (two ways) 4. Combinatorial proof (sketch) of LIFT

  8. I. LIFT and Exponential Generating Functions 1. The Lagrange Implicit Function Theorem 2. Exponential Generating Functions 3. There are rooted trees (two ways) 4. Combinatorial proof (sketch) of LIFT 5. Nested set systems

  9. I. LIFT and Exponential Generating Functions 1. The Lagrange Implicit Function Theorem 2. Exponential Generating Functions 3. There are rooted trees (two ways) 4. Combinatorial proof (sketch) of LIFT 5. Nested set systems 6. Multivariate Lagrange

  10. I. LIFT and Exponential Generating Functions 1. The Lagrange Implicit Function Theorem 2. Exponential Generating Functions 3. There are rooted trees (two ways) 4. Combinatorial proof (sketch) of LIFT 5. Nested set systems 6. Multivariate Lagrange

  11. The human mind has never invented a labor-saving device equal to algebra. -- J. Willard Gibbs

  12. 1. The Lagrange Implicit Function Theorem K: a commutative ring that contains the rational numbers. F(u) and G(u): formal power series in K[[u]]: Assume that

  13. 1. The Lagrange Implicit Function Theorem K: a commutative ring that contains the rational numbers. F(u) and G(u): formal power series in K[[u]]: Assume that (a) There is a unique formal power series R(x) in K[[x]] such that

  14. 1. The Lagrange Implicit Function Theorem (b) For this formal power series with the constant term is zero:

  15. 1. The Lagrange Implicit Function Theorem (b) For this formal power series with the constant term is zero: For all n>=1 the coefficient of x^n in F(R(x)) is

  16. 1. The Lagrange Implicit Function Theorem Proofs: (i) Complex analysis (Cauchy residue formula) [requires K=C and nonzero radii of convergence]

  17. 1. The Lagrange Implicit Function Theorem Proofs: (i) Complex analysis (Cauchy residue formula) [requires K=C and nonzero radii of convergence] (ii) Algebraic (formal calculus, formal residue operator) [requires g_0 to be invertible in K]

  18. 1. The Lagrange Implicit Function Theorem Proofs: (i) Complex analysis (Cauchy residue formula) [requires K=C and nonzero radii of convergence] (ii) Algebraic (formal calculus, formal residue operator) [requires g_0 to be invertible in K] (iii) Combinatorial (bijective correspondence)

  19. 1. The Lagrange Implicit Function Theorem Proofs: (i) Complex analysis (Cauchy residue formula) [requires K=C and nonzero radii of convergence] (ii) Algebraic (formal calculus, formal residue operator) [requires g_0 to be invertible in K] (iii) Combinatorial (bijective correspondence)

  20. 1. The Lagrange Implicit Function Theorem Proofs: (i) Complex analysis (Cauchy residue formula) [requires K=C and nonzero radii of convergence] (ii) Algebraic (formal calculus, formal residue operator) [requires g_0 to be invertible in K] (iii) Combinatorial (bijective correspondence)

  21. 2. Exponential Generating Functions A class of structures associates to each finite set another finite set -- this is the set of A-type structures supported on the set X.

  22. 2. Exponential Generating Functions A class of structures associates to each finite set another finite set -- this is the set of A-type structures supported on the set X. Simplified notation:

  23. 2. Exponential Generating Functions A class of structures associates to each finite set another finite set -- this is the set of A-type structures supported on the set X. Simplified notation: Exponential generating function:

  24. 2. Exponential Generating Functions Minimal requirements on a class of structures: * depends only on * If then

  25. 2. Exponential Generating Functions Example: the class of (simple) graphs is the set of graphs with vertex-set Exponential generating function (no particularly useful formula)

  26. 2. Exponential Generating Functions Example: the class of endofunctions is the set of all functions Exponential generating function (no particularly useful formula)

  27. 2. Exponential Generating Functions Example: the class of permutations is the set of permutations on the set Exponential generating function

  28. 2. Exponential Generating Functions Example: the class of cyclic permutations is the set of cyclic perm.s on the set Exponential generating function

  29. 2. Exponential Generating Functions Example: the class of (finite) sets (“ensembles”) is the set of ways in which is a set. Exponential generating function

  30. 2. Exponential Generating Functions Example: the class of sets of size k is the set of ways in which is a k-element set. Exponential generating function Especially important: the case k=1 of singletons…. has exp.gen.fn x.

  31. 2. Exponential Generating Functions Notice that

  32. 2. Exponential Generating Functions Notice that That is…

  33. 2. Exponential Generating Functions Notice that That is… This suggests a relation among classes:

  34. 2. Exponential Generating Functions Notice that That is… This suggests a relation among classes: A permutation is equivalent to a (finite unordered) set of (pairwise disjoint) cyclic permutations.

  35. 2. Exponential Generating Functions

  36. 2. Exponential Generating Functions A permutation is equivalent to a (finite unordered) set of (pairwise disjoint) cyclic permutations.

  37. 2. Exponential Generating Functions

  38. 2. Exponential Generating Functions An endofunction is equivalent to a set of disjoint connected endofunctions.

  39. 2. Exponential Generating Functions A connected endofunction is equivalent to a cyclic permutation of rooted trees.

  40. 2. Exponential Generating Functions A connected endofunction is equivalent to a cyclic permutation of rooted trees.

  41. 2. Exponential Generating Functions A rooted tree is equivalent to a root vertex and a set of disjoint rooted (sub-)trees.

  42. 2. Exponential Generating Functions A rooted tree is equivalent to a root vertex and a set of disjoint rooted (sub-)trees.

  43. 2. Exponential Generating Functions The Exponential/Logarithmic Formula For classes A and B, If every B-structure can be decomposed uniquely as a finite set of pairwise disjoint A-structures, then

  44. 2. Exponential Generating Functions The Exponential/Logarithmic Formula For classes A and B, If every B-structure can be decomposed uniquely as a finite set of pairwise disjoint A-structures, then and hence

  45. 2. Exponential Generating Functions Example: Let Q be the class of connected graphs.

  46. 2. Exponential Generating Functions Example: Let Q be the class of connected graphs. Since it follows that

  47. 2. Exponential Generating Functions Example: Let Q be the class of connected graphs. Since it follows that More informatively, records the number of edges in the exponent of y.

More Related