Unlabelled Structures: Restricted Constructions

Size: px
Start display at page:

Download "Unlabelled Structures: Restricted Constructions"

Transcription

1 Gao & Šana, Combinatorial Enumeration Notes 5 Unlabelled Structures: Restricted Constructions Let SEQ k (B denote the set of sequences of exactly k elements from B, and SEQ k (B denote the set of sequences of at least k elements from B. It is clear that the OGF of SEQ k (B is B(z k, and the OGF of SEQ k (B is B(z = k B(zk B(z. Integer compositions. Let B be the set of all positive integers. Then SEQ k (B is the class of compositions with exactly k parts. The OGF of SEQ k (B is ( z z k = n k ( n z n. k there are ( n k compositions of n with exactly k parts. Integer partitions. Let P o be the class of integer partitions with odd parts only. Then P o = MSET (B, where B is the set of odd integers. P o (z = m z 2m. We note P o (z = z = z2m 2m z2m z = 2m m m = ( z n ( + z n = ( + z n, z n n n n ( z2n n ( zn which is the same as the OGF for integer partitions with distinct parts. the number of partitions with odd parts is equal to the number of partitions with distinct parts. Unordered pairs. Let (B B := {(β, β : β B} denote the diagonal of B B. It is clear that the OGF of (B B is B n z 2n = B(z 2. n Let A = SET 2 (B be the class of unordered pairs of structures in B. Since we have B B = SET 2 (B + SET 2 (B + (B B, B(z 2 = 2A(z + B(z 2 and A(z = 2 ( B(z 2 B(z 2.

2 Gao & Šana, Combinatorial Enumeration Notes 5 2 To derive the OGF of general SET k, it is convenient to use bivariate generating functions. Detailed discussion of bivariate generating functions will be given later. The basic idea is to use a second variable u to keep track of the number of parts in a structure. For example, the OGF of SEQ k (B becomes u k B(z k, and the OGF of SEQ(B becomes u k B(z k = ub(z. k 0 Theorem. Let B be a combinatorial class without a neutral element, and with OGF B(z. The OGFs of SET k (B, MSET k (B, and CY C k (B are all polynomials in B(z,..., B(z k, namely: (a OGF of SET k (B: (b OGF of MSET k (B: (c OGF of CY C k (B: [u k ] exp [u k ] ( k [u k ] exp k = = u ( B(z ( k ϕ( = ln u B(z u B(z More over, the OGF of CY C(B is ϕ( ln B(z. Proof. (a The bivariate OGF for SET (B is ( ( ( + uz n Bn = exp ( B n ln( + uz n = exp n n n n ( B ( u z n ( u = exp ( B(z. (b Similarly, the bivariate OGF for MSET (B is ( ( uz n Bn = exp n u B(z. (c Let S = SEQ (B. A sequence in S is called primitive if it cannot be written as w := ww w for some w S and 2.

3 Gao & Šana, Combinatorial Enumeration Notes 5 3 Let PS be the class of primitive sequences, and PS k be the class of primitive sequences of length k. It is clear that each sequence in S can be written uniquely as w for some primitive sequence w and hence S = w PS {w, w2, w 3,...}. Then S(z, u = k u k B(z k = ub(z ub(z is the bivariate OGF of all sequences of structures in B. Note that u marks the length of a sequence. Define P S(z, u similarly as the bivariate OGF for primitive sequences, with u marking the length of a sequence. We have so S = { w, w 2, w 3,... }, k w PS k S(z, u = ( u k z w + u 2k z 2 w + + u k z w + k w PS k = ( z w ( u k w PS k k = P S(z, u Thus S n,k = n, k P S n,. k Let d = gcd(n, k and r = d. Define We have f(r = S rn d, rk d and f(d = r d g(r. g(r = P S rn d,. rk d It follows from Möbius inversion that g(d = d ( d µ(f, or equivalently, P S(z, u = n,k n, k P S n,k = n, k µ(s n,. k µ(s n, u k z n = µ( S k n,k uk z n n,k

4 Gao & Šana, Combinatorial Enumeration Notes 5 4 = µ(s(z, u = u B(z µ( u B(z. Let C(z, u be the bivariate OGF of all cyclic sequences, and P C(z, u be the bivariate OGF of primitive cyclic sequences. Since each cyclic sequence is a power of a primitive cyclic sequence, we have C(z, u = P C(z, u. Finally we note that each primitive cyclic sequence of length l corresponds to exactly l primitive sequences of length l. This gives and consequently P S(z, u = u P C(z, u, u P S(z, u P C(z, u = du = u µ( ln u B(z. Using the identity we obtain Therefore, k n µ(k k C(z, u = k = n = n k n C(z, = n = ϕ(n n, µ(k k ln u k B(z k µ(k k ln u n B(z n ϕ(n n ln u n B(z n ϕ(n n ln B(z n is the OGF of CY C(B, and is the OGF of CY C k (B. [u k ]C(z, u = [u k ] k = ϕ( ln u B(z

5 Gao & Šana, Combinatorial Enumeration Notes 5 5 Pointing and Substitution The following constructions correspond to the differentiation and composition, respectively, of OGFs. Pointing Let {ɛ, ɛ 2,...} be a fixed set of distinct neutral structures. The pointing of a class B is defined as ΘB = n 0 B n {ɛ,..., ɛ n }. Let A = ΘB. Then each structure β B n corresponds to n structures in A n, obtained from β by pointing at a different atom. (Note that we assume that the atoms in β are distinguishable, though unlabelled. A n = nb n, and hence the OGF of ΘB is z B(z. Substitution (composition The substitution of C into B, denoted by B[C] or B C, is defined as B[C] = B C = SEQ k (C. k 0 β B That is, each structure in B[C] is obtained by replacing each atom in β B with a structure in C. (Again, we are assuming that the atoms in β are distinguishable, though unlabelled. the OGF of B[C] is B k C(z k = B(C(z. k 0 Example. Let B be the class of rooted plane trees where the size of a tree is equal to the number of edges. Then a pointed rooted plane tree is obtained by selecting ( pointing at an edge of the tree. Since a tree with n edges has n + vertices, the number of pointed rooted plane trees with n edges is equal to nb n = nt n+ = nc n = n ( 2n. n + n Example. The class P of permutations can be constructed recursively as follows. Each permutation of [n] can be constructed from a permutation of [n ] by pointing at one of the n gaps between the n elements, and then inserting the element n at the gap. Symbolically we have P = {ɛ} + Θ(Z P. Note that the factor Z increases the size of a permutation by. Consequently P (z = + z (zp (z. It follows that P n = np n, which we know to be true.

6 Gao & Šana, Combinatorial Enumeration Notes 5 6 Example. Smirnov words: words such that adacent letters are distinct. We note that an unconstrained word can be turned into a Smirnov word by compressing the sequence of consecutive identical letters into a single letter. We also note that this operation is reversible. Let S be the class of Smirnov words over [r] and W be the class of all words over [r]. Then W = S SEQ (Z, where Z denotes the set containing a single fixed atom. That is, any word is obtained by a Smirnov word by replacing each letter by a sequence of identical letters. ( z rz = W (z = S z and S(z = r z +z = + z (r z. S n = r(r n. This is consistent with the direct counting argument: there are r choices for the first position, after that there are exactly r choices for each position so that it is different from the previous choice. Example. Let B be the class of rooted plane binary trees, where the size of a tree is the number of its vertices. Then B = Z + Z B B, and consequently B(z = z + zb(z 2. B(z = 4z 2. 2z Now let M be the class of rooted plane unary-binary trees (so each vertex has at most 2 children. Then M = Z + Z M + Z M M, and consequently M(z = z + zm(z + zm(z 2. M(z = z ( z 2 4z 2. 2z On the other hand, we may obtain the class M by replacing each vertex of a tree in B by a path (above that vertex. That is, M = B SEQ (Z. ( z M(z = B = z ( 4 2 z z z z 2 = z ( z 2 4z 2. 2z

7 Gao & Šana, Combinatorial Enumeration Notes Example: Series-Parallel Networks The class SP of series-parallel networks is defined recursively as follows. The size of each network is the number of vertices. (i SP = S P, where S P = Z, containing the single-vertex network. (ii A network is in S if and only if it is either in Z or is obtained from (smaller networks in P using a series construction. (iii A network is in P if and only if it is either in Z or is obtained from (smaller networks in S using a parallel construction. We consider two versions, plane and non-plane. Plane series-parallel networks: in the parallel construction, vertical order matters. So the parallel construction corresponds to the sequence construction. Then we have S = Z + SEQ 2 (P, P = Z + SEQ 2 (S, and S + P = SP + Z. This gives S(z = z + P (z2 P (z and P (z = z + S(z2 S(z. S(z = P (z and S(z is determined by the equation or S(z = z + S(z2 S(z, 2S(z 2 ( + zs(z + z = 0. Solving this quadratic equation, we obtain (taking the negative square root S(z = ( + z 6z + z 4 2 = z + z 2 + 3z 3 + z z 5 +.

8 Gao & Šana, Combinatorial Enumeration Notes 5 8 S... P... Non-plane series-parallel networks: in the parallel construction, the vertical order does not matter (see the figure above. So the parallel construction corresponds to the multiset construction. Now we have S = Z + SEQ 2 (P, P = Z + MSET 2 (S, and S + P = SP + Z. S(z = z + P (z2 P (z and P (z = z + n ( z n Sn S(z. It is difficult to obtain explicit expressions for S(z and P (z in this case. But we may still use the above equations to compute the coefficients S n and P n recursively, starting with S = P =, then computing S 2, P 2, S 3,....

Notes by Zvi Rosen. Thanks to Alyssa Palfreyman for supplements.

Notes by Zvi Rosen. Thanks to Alyssa Palfreyman for supplements. Lecture: Hélène Barcelo Analytic Combinatorics ECCO 202, Bogotá Notes by Zvi Rosen. Thanks to Alyssa Palfreyman for supplements.. Tuesday, June 2, 202 Combinatorics is the study of finite structures that

More information

Combinatorial Enumeration. Jason Z. Gao Carleton University, Ottawa, Canada

Combinatorial Enumeration. Jason Z. Gao Carleton University, Ottawa, Canada Combinatorial Enumeration Jason Z. Gao Carleton University, Ottawa, Canada Counting Combinatorial Structures We are interested in counting combinatorial (discrete) structures of a given size. For example,

More information

ADDITIONAL NOTES. 3 Surjections 6

ADDITIONAL NOTES. 3 Surjections 6 Contents Labelling Atoms. Well-labelling............................................. The Exponential Generating Function egf............................3 Examples................................................

More information

Symbolic enumeration methods for unlabelled structures

Symbolic enumeration methods for unlabelled structures Go & Šjn, Comintoril Enumertion Notes 4 Symolic enumertion methods for unlelled structures Definition A comintoril clss is finite or denumerle set on which size function is defined, stisfying the following

More information

5. Analytic Combinatorics

5. Analytic Combinatorics ANALYTIC COMBINATORICS P A R T O N E 5. Analytic Combinatorics http://aofa.cs.princeton.edu Analytic combinatorics is a calculus for the quantitative study of large combinatorial structures. Features:

More information

DISCRETE AND ALGEBRAIC STRUCTURES

DISCRETE AND ALGEBRAIC STRUCTURES DISCRETE AND ALGEBRAIC STRUCTURES Master Study Mathematics MAT40 Winter Semester 015/16 (Due to organisational reasons register for the course at TU and KFU) Edited by Mihyun Kang TU Graz Contents I Lectures

More information

A BIJECTION BETWEEN WELL-LABELLED POSITIVE PATHS AND MATCHINGS

A BIJECTION BETWEEN WELL-LABELLED POSITIVE PATHS AND MATCHINGS Séminaire Lotharingien de Combinatoire 63 (0), Article B63e A BJECTON BETWEEN WELL-LABELLED POSTVE PATHS AND MATCHNGS OLVER BERNARD, BERTRAND DUPLANTER, AND PHLPPE NADEAU Abstract. A well-labelled positive

More information

On (Effective) Analytic Combinatorics

On (Effective) Analytic Combinatorics On (Effective) Analytic Combinatorics Bruno Salvy Inria & ENS de Lyon Séminaire Algorithmes Dec. 2017 Combinatorics, Randomness and Analysis From simple local rules, a global structure arises. A quest

More information

3. Generating Functions

3. Generating Functions ANALYTIC COMBINATORICS P A R T O N E 3. Generating Functions http://aofa.cs.princeton.edu ANALYTIC COMBINATORICS P A R T O N E 3. Generating Functions OF OGFs Solving recurrences Catalan numbers EGFs Counting

More information

Generating Functions

Generating Functions Semester 1, 2004 Generating functions Another means of organising enumeration. Two examples we have seen already. Example 1. Binomial coefficients. Let X = {1, 2,..., n} c k = # k-element subsets of X

More information

Part II. Number Theory. Year

Part II. Number Theory. Year Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler

More information

Möbius transformations and its applications

Möbius transformations and its applications Möbius transformation and its applications Every Möbius transformation is the composition of translations, dilations and the inversion. Proof. Let w = S(z) = az + b, ad bc 0 be a Möbius cz + d transformation.

More information

LECTURE 7. 2 Simple trees and Lagrange Inversion Restricting the out-degree Lagrange Inversion... 4

LECTURE 7. 2 Simple trees and Lagrange Inversion Restricting the out-degree Lagrange Inversion... 4 Contents 1 Recursive specifications 1 1.1 Binary Trees B............................................ 1 1.1.1 A recursive structure.................................... 1.1. Decomposition........................................

More information

De part en retraite de Pierre

De part en retraite de Pierre Introduction Combinatorics Generating Series Oracle Conclusion De part en retraite de Pierre Villetaneuse, fe vrier 2013 1 / 41 De part en retraite de Pierre Introduction Combinatorics Generating Series

More information

DISCRETE AND ALGEBRAIC STRUCTURES

DISCRETE AND ALGEBRAIC STRUCTURES DISCRETE AND ALGEBRAIC STRUCTURES Master Study Mathematics MAT.40 Winter Semester 015/016 & 016/17 (Due to organisational reasons register for the course at TU and KFU) Parts I & II Contents I Combinatorics

More information

Algorithms for Combinatorial Systems: Between Analytic Combinatorics and Species Theory.

Algorithms for Combinatorial Systems: Between Analytic Combinatorics and Species Theory. Algorithms for Combinatorial Systems: Between Analytic Combinatorics and Species Theory. Carine Pivoteau - LIGM - december 2011 joint work with Bruno Salvy and Michèle Soria Algorithms for Combinatorial

More information

Combinatorial interpretations. Jacobi-Stirling numbers

Combinatorial interpretations. Jacobi-Stirling numbers Combinatorial interpretations of Université Claude Bernard Lyon 1, France September 29th, 2009-63th SLC The Jacobi polynomials P (α,β) n (t) satisfy the Jacobi equation : (1 t 2 )y (t)+(β α (α+β+2)t)y

More information

Considering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial.

Considering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial. Lecture 3 Usual complex functions MATH-GA 245.00 Complex Variables Polynomials. Construction f : z z is analytic on all of C since its real and imaginary parts satisfy the Cauchy-Riemann relations and

More information

k-protected VERTICES IN BINARY SEARCH TREES

k-protected VERTICES IN BINARY SEARCH TREES k-protected VERTICES IN BINARY SEARCH TREES MIKLÓS BÓNA Abstract. We show that for every k, the probability that a randomly selected vertex of a random binary search tree on n nodes is at distance k from

More information

Section 11.1 Sequences

Section 11.1 Sequences Math 152 c Lynch 1 of 8 Section 11.1 Sequences A sequence is a list of numbers written in a definite order: a 1, a 2, a 3,..., a n,... Notation. The sequence {a 1, a 2, a 3,...} can also be written {a

More information

Chapter 5: Integer Compositions and Partitions and Set Partitions

Chapter 5: Integer Compositions and Partitions and Set Partitions Chapter 5: Integer Compositions and Partitions and Set Partitions Prof. Tesler Math 184A Winter 2017 Prof. Tesler Ch. 5: Compositions and Partitions Math 184A / Winter 2017 1 / 32 5.1. Compositions A strict

More information

Review problems solutions

Review problems solutions Review problems solutions Math 3152 December 15, 2017 1. Use the binomial theorem to prove that, for all n 1 and k satisfying 0 k n, ( )( ) { n i ( 1) i k 1 if k n; i k 0 otherwise. ik Solution: Using

More information

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

On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers A tal given at the Institute of Mathematics, Academia Sinica (Taiwan (Taipei; July 6, 2011 On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers Zhi-Wei Sun Nanjing University

More information

Chapter 5: Integer Compositions and Partitions and Set Partitions

Chapter 5: Integer Compositions and Partitions and Set Partitions Chapter 5: Integer Compositions and Partitions and Set Partitions Prof. Tesler Math 184A Fall 2017 Prof. Tesler Ch. 5: Compositions and Partitions Math 184A / Fall 2017 1 / 46 5.1. Compositions A strict

More information

ECEN 5022 Cryptography

ECEN 5022 Cryptography Elementary Algebra and Number Theory University of Colorado Spring 2008 Divisibility, Primes Definition. N denotes the set {1, 2, 3,...} of natural numbers and Z denotes the set of integers {..., 2, 1,

More information

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION Chapter-1 GROUPS 1.1. INTRODUCTION The theory of groups arose from the theory of equations, during the nineteenth century. Originally, groups consisted only of transformations. The group of transformations

More information

A PASCAL-LIKE BOUND FOR THE NUMBER OF NECKLACES WITH FIXED DENSITY

A PASCAL-LIKE BOUND FOR THE NUMBER OF NECKLACES WITH FIXED DENSITY A PASCAL-LIKE BOUND FOR THE NUMBER OF NECKLACES WITH FIXED DENSITY I. HECKENBERGER AND J. SAWADA Abstract. A bound resembling Pascal s identity is presented for binary necklaces with fixed density using

More information

A Few Primality Testing Algorithms

A Few Primality Testing Algorithms A Few Primality Testing Algorithms Donald Brower April 2, 2006 0.1 Introduction These notes will cover a few primality testing algorithms. There are many such, some prove that a number is prime, others

More information

Incidence Structures Related to Difference Sets and Their Applications

Incidence Structures Related to Difference Sets and Their Applications aòµ 05B30 ü èµ Æ Òµ 113350 Æ Æ Ø Ø K8: 'u8'é(9ùa^ = Ø K8: Incidence Structures Related to Difference Sets and Their Applications úôœææ Æ Ø ž

More information

Basic counting techniques. Periklis A. Papakonstantinou Rutgers Business School

Basic counting techniques. Periklis A. Papakonstantinou Rutgers Business School Basic counting techniques Periklis A. Papakonstantinou Rutgers Business School i LECTURE NOTES IN Elementary counting methods Periklis A. Papakonstantinou MSIS, Rutgers Business School ALL RIGHTS RESERVED

More information

Combinatorial Analysis

Combinatorial Analysis Chapter 1 Combinatorial Analysis STAT 302, Department of Statistics, UBC 1 A starting example: coin tossing Consider the following random experiment: tossing a fair coin twice There are four possible outcomes,

More information

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

are the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1). Lecture A jacques@ucsd.edu Notation: N, R, Z, F, C naturals, reals, integers, a field, complex numbers. p(n), S n,, b(n), s n, partition numbers, Stirling of the second ind, Bell numbers, Stirling of the

More information

Summary Slides for MATH 342 June 25, 2018

Summary Slides for MATH 342 June 25, 2018 Summary Slides for MATH 342 June 25, 2018 Summary slides based on Elementary Number Theory and its applications by Kenneth Rosen and The Theory of Numbers by Ivan Niven, Herbert Zuckerman, and Hugh Montgomery.

More information

A Recursive Relation for Weighted Motzkin Sequences

A Recursive Relation for Weighted Motzkin Sequences 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 8 (005), Article 05.1.6 A Recursive Relation for Weighted Motzkin Sequences Wen-jin Woan Department of Mathematics Howard University Washington, D.C. 0059

More information

1 Solving Linear Recurrences

1 Solving Linear Recurrences Solving Linear Recurrences Suppose we have a sequence a n defined by the formula The first couple terms of the sequence are a n = 3a n +, a 0 =, 4, 3, 40, 2,... Can you find a general closed for expression

More information

ABSTRACT 1. INTRODUCTION

ABSTRACT 1. INTRODUCTION THE FIBONACCI NUMBER OF GENERALIZED PETERSEN GRAPHS Stephan G. Wagner Department of Mathematics, Graz University of Technology, Steyrergasse 30, A-8010 Graz, Austria e-mail: wagner@finanz.math.tu-graz.ac.at

More information

UNIT Explain about the partition of a sampling space theorem?

UNIT Explain about the partition of a sampling space theorem? UNIT -1 1. Explain about the partition of a sampling space theorem? PARTITIONS OF A SAMPLE SPACE The events B1, B2. B K represent a partition of the sample space 'S" if (a) So, when the experiment E is

More information

Enumerating Binary Strings

Enumerating Binary Strings International Mathematical Forum, Vol. 7, 2012, no. 38, 1865-1876 Enumerating Binary Strings without r-runs of Ones M. A. Nyblom School of Mathematics and Geospatial Science RMIT University Melbourne,

More information

Overlay networks maximizing throughput

Overlay networks maximizing throughput Overlay networks maximizing throughput Olivier Beaumont, Lionel Eyraud-Dubois, Shailesh Kumar Agrawal Cepage team, LaBRI, Bordeaux, France IPDPS April 20, 2010 Outline Introduction 1 Introduction 2 Complexity

More information

A fast algorithm to generate necklaces with xed content

A fast algorithm to generate necklaces with xed content Theoretical Computer Science 301 (003) 477 489 www.elsevier.com/locate/tcs Note A fast algorithm to generate necklaces with xed content Joe Sawada 1 Department of Computer Science, University of Toronto,

More information

Analytic Combinatorics: A Primer

Analytic Combinatorics: A Primer Analytic Combinatorics: A Primer Conrado Martínez Univ. Politècnica de Catalunya, Spain April 2011 What is this course about? Analytic Combinatorics seeks to develop mathematical techniques that help us

More information

Classification of Formal Duality with an Example in Sphere Packing

Classification of Formal Duality with an Example in Sphere Packing Classification of Formal Duality with an Example in Sphere Packing UROP+ Final Paper Jianqiao Xia Mentor: Soohyun Park Project suggested by Henry Cohn August 29, 2016 Abstract We study the notion of formal

More information

Unlabeled Motzkin numbers

Unlabeled Motzkin numbers Dept. Computer Science and Engineering 013 Catalan numbers Catalan numbers can be defined by the explicit formula: C n = 1 n = n! n + 1 n n!n + 1! and the ordinary generating function: Cx = n=0 C n x n

More information

Math Homework 2

Math Homework 2 Math 73 Homework Due: September 8, 6 Suppose that f is holomorphic in a region Ω, ie an open connected set Prove that in any of the following cases (a) R(f) is constant; (b) I(f) is constant; (c) f is

More information

Necklaces Pólya s Enumeration Theorem. Pólya Counting I. Gordon Royle. Semester 1, 2004

Necklaces Pólya s Enumeration Theorem. Pólya Counting I. Gordon Royle. Semester 1, 2004 Semester 1, 2004 George Pólya (1887 1985) George Polya discovered a powerful general method for enumerating the number of orbits of a group on particular configurations. This method became known as the

More information

Applications. More Counting Problems. Complexity of Algorithms

Applications. More Counting Problems. Complexity of Algorithms Recurrences Applications More Counting Problems Complexity of Algorithms Part I Recurrences and Binomial Coefficients Paths in a Triangle P(0, 0) P(1, 0) P(1,1) P(2, 0) P(2,1) P(2, 2) P(3, 0) P(3,1) P(3,

More information

Generating functions and enumerative geometry

Generating functions and enumerative geometry Generating functions and enumerative geometry Ragni Piene Centre of Mathematics for Applications and Department of Mathematics, University of Oslo October 26, 2005 KTH, Stockholm Generating functions Enumerative

More information

Basic Discrete Mathematics, Spring 2015

Basic Discrete Mathematics, Spring 2015 Basic Discrete Mathematics, Spring 2015 Department of Mathematics, University of Notre Dame Instructor: David Galvin Abstract This document includes homeworks, quizzes and exams from the Spring 2015 incarnation

More information

An Introduction to Combinatorial Species

An Introduction to Combinatorial Species An Introduction to Combinatorial Species Ira M. Gessel Department of Mathematics Brandeis University Summer School on Algebraic Combinatorics Korea Institute for Advanced Study Seoul, Korea June 14, 2016

More information

Week 4-5: Binary Relations

Week 4-5: Binary Relations 1 Binary Relations Week 4-5: Binary Relations The concept of relation is common in daily life and seems intuitively clear. For instance, let X be the set of all living human females and Y the set of all

More information

GENERALIZED STIRLING PERMUTATIONS, FAMILIES OF INCREASING TREES AND URN MODELS

GENERALIZED STIRLING PERMUTATIONS, FAMILIES OF INCREASING TREES AND URN MODELS GENERALIZED STIRLING PERMUTATIONS, FAMILIES OF INCREASING TREES AND URN MODELS SVANTE JANSON, MARKUS KUBA, AND ALOIS PANHOLZER ABSTRACT. Bona [6] studied the distribution of ascents, plateaux and descents

More information

HASSE-MINKOWSKI THEOREM

HASSE-MINKOWSKI THEOREM HASSE-MINKOWSKI THEOREM KIM, SUNGJIN 1. Introduction In rough terms, a local-global principle is a statement that asserts that a certain property is true globally if and only if it is true everywhere locally.

More information

(k, l)-universality OF TERNARY QUADRATIC FORMS ax 2 + by 2 + cz 2

(k, l)-universality OF TERNARY QUADRATIC FORMS ax 2 + by 2 + cz 2 #A20 INTEGERS 18 (2018) (k, l)-universality OF TERNARY QUADRATIC FORMS ax 2 + by 2 + cz 2 Lerna Pehlivan Department of Mathematics and Statistics, Acadia University, Wolfville, Nova Scotia, Canada lerna.pehlivan@acadiau.ca

More information

Solutions of Exam Coding Theory (2MMC30), 23 June (1.a) Consider the 4 4 matrices as words in F 16

Solutions of Exam Coding Theory (2MMC30), 23 June (1.a) Consider the 4 4 matrices as words in F 16 Solutions of Exam Coding Theory (2MMC30), 23 June 2016 (1.a) Consider the 4 4 matrices as words in F 16 2, the binary vector space of dimension 16. C is the code of all binary 4 4 matrices such that the

More information

What you learned in Math 28. Rosa C. Orellana

What you learned in Math 28. Rosa C. Orellana What you learned in Math 28 Rosa C. Orellana Chapter 1 - Basic Counting Techniques Sum Principle If we have a partition of a finite set S, then the size of S is the sum of the sizes of the blocks of the

More information

Course 2316 Sample Paper 1

Course 2316 Sample Paper 1 Course 2316 Sample Paper 1 Timothy Murphy April 19, 2015 Attempt 5 questions. All carry the same mark. 1. State and prove the Fundamental Theorem of Arithmetic (for N). Prove that there are an infinity

More information

1 Basic Combinatorics

1 Basic Combinatorics 1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set

More information

MATH c UNIVERSITY OF LEEDS Examination for the Module MATH2210 (May/June 2004) INTRODUCTION TO DISCRETE MATHEMATICS. Time allowed : 2 hours

MATH c UNIVERSITY OF LEEDS Examination for the Module MATH2210 (May/June 2004) INTRODUCTION TO DISCRETE MATHEMATICS. Time allowed : 2 hours This question paper consists of 5 printed pages, each of which is identified by the reference MATH221001 MATH221001 No calculators allowed c UNIVERSITY OF LEEDS Examination for the Module MATH2210 (May/June

More information

Growing and Destroying Catalan Stanley Trees

Growing and Destroying Catalan Stanley Trees Discrete Mathematics and Theoretical Computer Science DMTCS vol. 20:1, 2018, #11 Growing and Destroying Catalan Stanley Trees Benjamin Hackl 1 Helmut Prodinger 2 arxiv:1704.03734v3 [math.co] 26 Feb 2018

More information

Week 4-5: Binary Relations

Week 4-5: Binary Relations 1 Binary Relations Week 4-5: Binary Relations The concept of relation is common in daily life and seems intuitively clear. For instance, let X be the set of all living human females and Y the set of all

More information

Enumeration of Chord Diagrams without Loops and Parallel Chords

Enumeration of Chord Diagrams without Loops and Parallel Chords Enumeration of Chord Diagrams without Loops and Parallel Chords Evgeniy Krasko Alexander Omelchenko St. Petersburg Academic University 8/3 Khlopina Street, St. Petersburg, 9402, Russia {krasko.evgeniy,

More information

Notes on cycle generating functions

Notes on cycle generating functions Notes on cycle generating functions. The cycle generating function of a species A combinatorial species is a rule attaching to each finite set X a set of structures on X, in such a way that the allowed

More information

Stirling Numbers of the 1st Kind

Stirling Numbers of the 1st Kind Daniel Reiss, Colebrook Jackson, Brad Dallas Western Washington University November 28, 2012 Introduction The set of all permutations of a set N is denoted S(N), while the set of all permutations of {1,

More information

Counting terms in the binary lambda calculus

Counting terms in the binary lambda calculus Counting terms in the binary lambda calculus Katarzyna Grygiel Theoretical Computer Science Department Jagiellonian University in Kraków Pierre Lescanne Laboratoire de l'informatique du Parallélisme École

More information

Finite Field Waring s Problem

Finite Field Waring s Problem Finite Field Waring s Problem 12/8/10 1 Introduction In 1770, Waring asked the following uestion: given d N, can every positive integer can be written as a sum of a bounded number of dth powers of positive

More information

BASIC GROUP THEORY : G G G,

BASIC GROUP THEORY : G G G, BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e

More information

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

More information

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees Yoshimi Egawa Department of Mathematical Information Science, Tokyo University of

More information

Counting Kneading Sequences. Vorrapan Chandee & Tian Tian Qiu

Counting Kneading Sequences. Vorrapan Chandee & Tian Tian Qiu CORNE UNIVERSITY MATHEMATICS DEPARTMENT SENIOR THESIS Counting Kneading Sequences A THESIS PRESENTED IN PARTIA FUFIMENT OF CRITERIA FOR HONORS IN MATHEMATICS Vorrapan Chandee & Tian Tian Qiu May 2004 BACHEOR

More information

Math 546, Exam 2 Information.

Math 546, Exam 2 Information. Math 546, Exam 2 Information. 10/21/09, LC 303B, 10:10-11:00. Exam 2 will be based on: Sections 3.2, 3.3, 3.4, 3.5; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/546fa09/546.html)

More information

Pattern Recognition Approaches to Solving Combinatorial Problems in Free Groups

Pattern Recognition Approaches to Solving Combinatorial Problems in Free Groups Contemporary Mathematics Pattern Recognition Approaches to Solving Combinatorial Problems in Free Groups Robert M. Haralick, Alex D. Miasnikov, and Alexei G. Myasnikov Abstract. We review some basic methodologies

More information

Lattice paths with catastrophes

Lattice paths with catastrophes Lattice paths with catastrophes Lattice paths with catastrophes SLC 77, Strobl 12.09.2016 Cyril Banderier and Michael Wallner Laboratoire d Informatique de Paris Nord, Université Paris Nord, France Institute

More information

Introduction to Series and Sequences Math 121 Calculus II Spring 2015

Introduction to Series and Sequences Math 121 Calculus II Spring 2015 Introduction to Series and Sequences Math Calculus II Spring 05 The goal. The main purpose of our study of series and sequences is to understand power series. A power series is like a polynomial of infinite

More information

Almost all trees have an even number of independent sets

Almost all trees have an even number of independent sets Almost all trees have an even number of independent sets Stephan G. Wagner Department of Mathematical Sciences Stellenbosch University Private Bag X1, Matieland 7602, South Africa swagner@sun.ac.za Submitted:

More information

SUMS PROBLEM COMPETITION, 2000

SUMS PROBLEM COMPETITION, 2000 SUMS ROBLEM COMETITION, 2000 SOLUTIONS 1 The result is well known, and called Morley s Theorem Many proofs are known See for example HSM Coxeter, Introduction to Geometry, page 23 2 If the number of vertices,

More information

Divide-and-conquer: Order Statistics. Curs: Fall 2017

Divide-and-conquer: Order Statistics. Curs: Fall 2017 Divide-and-conquer: Order Statistics Curs: Fall 2017 The divide-and-conquer strategy. 1. Break the problem into smaller subproblems, 2. recursively solve each problem, 3. appropriately combine their answers.

More information

CS 577 Introduction to Algorithms: Strassen s Algorithm and the Master Theorem

CS 577 Introduction to Algorithms: Strassen s Algorithm and the Master Theorem CS 577 Introduction to Algorithms: Jin-Yi Cai University of Wisconsin Madison In the last class, we described InsertionSort and showed that its worst-case running time is Θ(n 2 ). Check Figure 2.2 for

More information

Counting curves on a surface

Counting curves on a surface Counting curves on a surface Ragni Piene Centre of Mathematics for Applications and Department of Mathematics, University of Oslo University of Pennsylvania, May 6, 2005 Enumerative geometry Specialization

More information

SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by

SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples

More information

Mathematics for Cryptography

Mathematics for Cryptography Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1

More information

1. Find the Taylor series expansion about 0 of the following functions:

1. Find the Taylor series expansion about 0 of the following functions: MAP 4305 Section 0642 3 Intermediate Differential Equations Assignment 1 Solutions 1. Find the Taylor series expansion about 0 of the following functions: (i) f(z) = ln 1 z 1+z (ii) g(z) = 1 cos z z 2

More information

Euler s partition theorem and the combinatorics of l-sequences

Euler s partition theorem and the combinatorics of l-sequences Euler s partition theorem and the combinatorics of l-sequences Carla D. Savage North Carolina State University June 26, 2008 Inspiration BME1 Mireille Bousquet-Mélou, and Kimmo Eriksson, Lecture hall partitions,

More information

Communications II Lecture 9: Error Correction Coding. Professor Kin K. Leung EEE and Computing Departments Imperial College London Copyright reserved

Communications II Lecture 9: Error Correction Coding. Professor Kin K. Leung EEE and Computing Departments Imperial College London Copyright reserved Communications II Lecture 9: Error Correction Coding Professor Kin K. Leung EEE and Computing Departments Imperial College London Copyright reserved Outline Introduction Linear block codes Decoding Hamming

More information

arxiv: v1 [math.co] 3 Nov 2014

arxiv: v1 [math.co] 3 Nov 2014 SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed

More information

q xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.

q xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation. Math 880 Alternative Challenge Problems Fall 2016 A1. Given, n 1, show that: m1 m 2 m = ( ) n+ 1 2 1, where the sum ranges over all positive integer solutions (m 1,..., m ) of m 1 + + m = n. Give both

More information

Combinatorial Analysis of the Geometric Series

Combinatorial Analysis of the Geometric Series Combinatorial Analysis of the Geometric Series David P. Little April 7, 205 www.math.psu.edu/dlittle Analytic Convergence of a Series The series converges analytically if and only if the sequence of partial

More information

Counting permutations by cyclic peaks and valleys

Counting permutations by cyclic peaks and valleys Annales Mathematicae et Informaticae 43 (2014) pp. 43 54 http://ami.ektf.hu Counting permutations by cyclic peaks and valleys Chak-On Chow a, Shi-Mei Ma b, Toufik Mansour c Mark Shattuck d a Division of

More information

Algorithmic Approach to Counting of Certain Types m-ary Partitions

Algorithmic Approach to Counting of Certain Types m-ary Partitions Algorithmic Approach to Counting of Certain Types m-ary Partitions Valentin P. Bakoev Abstract Partitions of integers of the type m n as a sum of powers of m (the so called m-ary partitions) and their

More information

*Generating Function Topics

*Generating Function Topics CHAPTER 11 *Generating Function Topics Introduction The four sections in this chapter deal with four distinct topics: systems of recursions, exponential generating functions, Pólya s Theorem and asymptotics

More information

Algebraic and geometric methods in enumerative combinatorics

Algebraic and geometric methods in enumerative combinatorics Algebraic and geometric methods in enumerative combinatorics Federico Ardila 0 Introduction Enumerative combinatorics is about counting. The typical question is to find the number of objects with a given

More information

Subquadratic Computational Complexity Schemes for Extended Binary Field Multiplication Using Optimal Normal Bases

Subquadratic Computational Complexity Schemes for Extended Binary Field Multiplication Using Optimal Normal Bases 1 Subquadratic Computational Complexity Schemes for Extended Binary Field Multiplication Using Optimal Normal Bases H. Fan and M. A. Hasan March 31, 2007 Abstract Based on a recently proposed Toeplitz

More information

On the Weight Distribution of N-th Root Codes

On the Weight Distribution of N-th Root Codes Fabrizio Caruso Marta Giorgetti June 10, 2009 The Recurrence Proof by Generating Functions A Computer-Generated Proof Computing Some Steps of the Recurrence A Computer-Provable Identity Proving the Guessed

More information

GAUSSIAN LAWS MICHÈLE SORIA. 8 october 2015 IHP Séminaire Flajolet IN ANALYTIC COMBINATORICS

GAUSSIAN LAWS MICHÈLE SORIA. 8 october 2015 IHP Séminaire Flajolet IN ANALYTIC COMBINATORICS GAUSSIAN LAWS IN ANALYTIC COMBINATORICS MICHÈLE SORIA 8 october 205 IHP Séminaire Flajolet / 43 Michèle Soria Gaussian Laws in Analytic Combinatorics Analytic Combinatorics Estimate properties of large

More information

Counting in number theory. Fibonacci integers. Carl Pomerance, Dartmouth College. Rademacher Lecture 3, University of Pennsylvania September, 2010

Counting in number theory. Fibonacci integers. Carl Pomerance, Dartmouth College. Rademacher Lecture 3, University of Pennsylvania September, 2010 Counting in number theory Fibonacci integers Carl Pomerance, Dartmouth College Rademacher Lecture 3, University of Pennsylvania September, 2010 Leonardo of Pisa (Fibonacci) (c. 1170 c. 1250) 1 We all know

More information

Introduction to Information Security

Introduction to Information Security Introduction to Information Security Lecture 5: Number Theory 007. 6. Prof. Byoungcheon Lee sultan (at) joongbu. ac. kr Information and Communications University Contents 1. Number Theory Divisibility

More information

Physical Mapping. Restriction Mapping. Lecture 12. A physical map of a DNA tells the location of precisely defined sequences along the molecule.

Physical Mapping. Restriction Mapping. Lecture 12. A physical map of a DNA tells the location of precisely defined sequences along the molecule. Computat onal iology Lecture 12 Physical Mapping physical map of a DN tells the location of precisely defined sequences along the molecule. Restriction mapping: mapping of restriction sites of a cutting

More information

Lecture 4: Number theory

Lecture 4: Number theory Lecture 4: Number theory Rajat Mittal IIT Kanpur In the next few classes we will talk about the basics of number theory. Number theory studies the properties of natural numbers and is considered one of

More information

Generating Functions of Partitions

Generating Functions of Partitions CHAPTER B Generating Functions of Partitions For a complex sequence {α n n 0,, 2, }, its generating function with a complex variable q is defined by A(q) : α n q n α n [q n ] A(q). When the sequence has

More information

Fixed-Density Necklaces and Lyndon Words in Cool-lex Order

Fixed-Density Necklaces and Lyndon Words in Cool-lex Order Fixed-Density Necklaces and Lyndon Words in Cool-lex Order J. Sawada A. Williams July 6, 2009 Abstract This paper creates a simple Gray code for fixed-density binary necklaces and Lyndon words. The Gray

More information

LIMITING DISTRIBUTIONS FOR THE NUMBER OF INVERSIONS IN LABELLED TREE FAMILIES

LIMITING DISTRIBUTIONS FOR THE NUMBER OF INVERSIONS IN LABELLED TREE FAMILIES LIMITING DISTRIBUTIONS FOR THE NUMBER OF INVERSIONS IN LABELLED TREE FAMILIES ALOIS PANHOLZER AND GEORG SEITZ Abstract. We consider so-called simple families of labelled trees, which contain, e.g., ordered,

More information