Combinatorics (Fall 2010)/Partitions, sieve methods
Partitions
We count the ways of partitioning
A
We define
For example, number 7 has the following partitions:
Equivalently, we can also define that A
; .
Let
Counting
We now try to determine
Proposition .
Proof. Suppose that
is a -partition of . Note that it must hold that .
There are two cases:
or .- Case 1.
- If
, then is a distinct -partition of . And every -partition of can be obtained in this way. Thus the number of -partitions of in this case is . - Case 2.
- If
, then is a distinct -partition of . And every -partition of can be obtained in this way. Thus the number of -partitions of in this case is .
In conclusion, the number of
-partitions of is , i.e. .
Use the above recurrence, we can compute the
If we are not restricted ourselves to the precise estimation of
Theorem For any fixed
, ,
as
.
Proof. Suppose that
is a -partition of . Then and .The
permutations of yield at most many -compositions (the ordered sum of positive integers). There are many -compositions of , every one of which can be yielded in this way by permuting a partition. Thus, .
Let
. That is, . Then, it holds that ; and .
Each permutation of
yields a distinct -composition of , because all are distinct. Thus, .
Combining the two inequalities, we have
.
The theorem follows.
Ferrers diagram
A partition of a number
Let
- Conjugate partition
The partition we get by reading the Ferrers diagram by column instead of rows is called the conjugate of the original partition.
Clearly,
- different partitions cannot have the same conjugate, and
- every partition of
is the conjugate of some partition of ,
so the conjugation mapping is a permutation on the set of partitions of
Some theorems of partitions can be easily proved by representing partitions in Ferrers diagrams.
Proposition - The number of partitions of
which have largest summand , is . - The number of
into parts equals the number of partitions of into at most parts. Formally,
.
- The number of partitions of
Proof. - For every
-partition, the conjugate partition has largest part . And vice versa. - For a
-partition of , remove the leftmost cell of every row of the Ferrers diagram. Totally cells are removed and the remaining diagram is a partition of into at most parts. And for a partition of into at most parts, add a cell to each of the rows (including the empty ones). This will give us a -partition of . It is easy to see the above mappings are 1-1 correspondences. Thus, the number of into parts equals the number of partitions of into at most parts.
- For every
Principle of Inclusion-Exclusion
Let
.
For three sets
.
This is illustrated by the following figure.
Generally, the Principle of Inclusion-Exclusion states the rule for computing the union of
In combinatorial enumeration, the Principle of Inclusion-Exclusion is usually applied in its complement form.
Let
For an
with the convention that
Principle of Inclusion-Exclusion - Let
be a family of subsets of . Then the number of elements of which lie in none of the subsets is .
- Let
Let
Surjections
In the twelvefold way, we discuss the counting problems incurred by the mappings
Theorem - The number of surjective mappings from an
-set to an -set is given by .
- The number of surjective mappings from an
Proof. Let
be the set of mappings from to . Then .For
, let be the set of mappings that none of is mapped to , i.e. , thus .More generally, for
, contains the mappings . And .A mapping
is surjective if lies in none of . By the principle of inclusion-exclusion, the number of surjective is .
Let
. The theorem is proved.
Recall that, in the twelvefold way, we establish a relation between surjections and partitions.
- Surjection to ordered partition:
- For a surjective
, is an ordered partition of .
- Ordered partition to surjection:
- For an ordered
-partition of , we can define a function by letting if and only if . is surjective since as a partition, none of is empty.
Therefore, we have a one-to-one correspondence between surjective mappings from an
The Stirling number of the second kind
Proposition .
Derangements
We now count the number of bijections from a set to itself with no fixed points. This is the derangement problem.
For a permutation
Theorem - The number of derangements of
given by .
- The number of derangements of
Proof. Let
be the set of all permutations of . So .Let
be the set of permutations with fixed point ; so . More generally, for any , , and , since permutations in fix every point in and permute the remaining points arbitrarily. A permutation is a derangement if and only if it lies in none of the sets . So the number of derangements isBy Taylor's series,
.
It is not hard to see that
is the closest integer to .
Therefore, there are about
Permutations with restricted positions
We introduce a general theory of counting permutations with restricted positions. In the derangement problem, we count the number of permutations that
It is traditionally described using terminology from the game of chess. Let
For a permutation
This can also be viewed as a set of marked positions on a chess board. Each row and each column has only one marked position, because
For example, the following is the
Now define
Interpreted in chess game,
: a set of marked positions in an chess board. : the number of ways of placing non-attacking rooks on the chess board such that none of these rooks lie in . : number of ways of placing non-attacking rooks on .
Our goal is to count
Theorem .
Proof. For each
, let be the set of permutations whose -th position is in . is the number of permutations avoid all positions in . Thus, our goal is to count the number of permutations in none of for .For each
, let , which is the set of permutations such that for all . Due to the principle of inclusion-exclusion, .
The next observation is that
,
because we can count both sides by first placing
non-attacking rooks on and placing additional non-attacking rooks on in ways.Therefore,
.
Derangement problem
We use the above general method to solve the derange problem again.
Take
Clearly, the number of ways of placing
By the above theorem
Problème des ménages
Suppose that in a banquet, we want to seat
- Men and women are in alternate places.
- No one sits next to his/her spouse.
In how many ways can this be done?
(For convenience, we assume that every seat at the table marked differently so that rotating the seats clockwise or anti-clockwise will end up with a different solution.)
First, let the
After sitting the wives, we label the remaining
It is easy to see that
Take
We need to compute
We first see how to do this in a line.
Lemma - The number of ways of choosing
non-consecutive objects from a collection of objects arranged in a line, is .
- The number of ways of choosing
Proof. We draw a line of
black points, and then insert red points into the spaces between the black points (including the beginning and end).This gives us a line of
points, and the red points specifies the chosen objects, which are non-consecutive. The mapping is 1-1 correspondence. There are ways of placing red points into spaces.
The problem of choosing non-consecutive objects in a circle can be reduced to the case that the objects are in a line.
Lemma - The number of ways of choosing
non-consecutive objects from a collection of objects arranged in a circle, is .
- The number of ways of choosing
Proof. Let
be the desired number; and let be the number of ways of choosing non-consecutive points from points arranged in a circle, next coloring the points red, and then coloring one of the uncolored point blue.Clearly,
.But we can also compute
as follows:- Choose one of the
points and color it blue. This gives us ways. - Cut the circle to make a line of
points by removing the blue point. - Choose
non-consecutive points from the line of points and color them red. This gives ways due to the previous lemma.
Thus,
. Therefore we have the desired number .- Choose one of the
By the above lemma, we have that
This gives the number of ways of seating the
The Euler totient function
Two integers
We know derive a formula for this function by using the principle of inclusion-exclusion.
Theorem (The Euler totient function) Suppose
is divisible by precisely different primes, denoted . Then .
Proof. Let
be the universe. The number of positive integers from which is divisible by some , is . is the number of integers from which is not divisible by any . By principle of inclusion-exclusion,
Reference
- Stanley, Enumerative Combinatorics, Volume 1, Chapter 2.
- van Lin and Wilson, A course in combinatorics, Chapter 10, 15.