assignment2.pdf

Problem 1

Let be a forest. Define a relation by if a path exists between and . is an equivalence relation:

  • for all
  • and , where the path from to is the concatenation of the paths form to and from to .

Let be the partition of induced by . Let . Clearly, is connected. inherits the property of having no cycles from . Thus, is a tree. Thus, we can conclude that a forest is a disjoint union of trees.

Now, to the question at hand. Fix . Let denote the tree containing . Note that the cases are disjoint and exhaustive. If is the number of forests in which , we can write

Now,

Thus, we have


Problem 2

To prove:

We know that counts the number of labeled vertebrates. Let  denote the number of vertebrates with a rooted tree of size  at their head. Clearly, every vertebrate belongs to exactly one such class, so summing over all possible values of should yield the total count, .

To calculate , we have to first pick vertices and create a rooted tree on vertices. The number of ways to do this is . To get a vertebrate which has rooted at its head, we first get a vertebrate with head and tail , and attach the root of to the head of . This gives us an vertebrate with head and tail .

Thus, the total number of vertebrates will be


Problem 3

Part a

Let . Then,

It follows that

Taking the determinant of both sides, we get

Part b

Let denote the number of interest. It is easy to see that and . Assuming we know , let us calculate . Consider the subsets of which do not include . Such a subset can either

  • not include , not include
  • not include , include
  • include , not include
  • include , include .

All but the last case is counted by . If a subset includes and , then it must necessarily not include and . Again, all the cases but the inclusion of and is counted by . Thus, the total number of subsets which do not include is given by .

Now we will count the subsets which do include . Such subsets must necessarily not include and . All the possibilities except the inclusion of both and is counted by . Following a process similar to the previous case, we get the number of subsets which include to be

Adding the two cases, we get

Thus, satisfies the recurrence relation for , and and . On solving this recurrence relation, we get


Problem 4

Let be the set of all bijections from to . For each , let be the least such that . Let . Clearly,

Now, for all , is connected, and . Thus,

So, we have


Problem 5

Let be the infinite product . Note that the only terms which contribute to the coefficient of in are for . Thus, is indeed a formal infinite product, since each coefficient can be computed using finite field operations. Now, the value of is precisely equal to the number of ways it can be written as a sum of distinct positive integers, since for each such decomposition there exists a corresponding unique subset of whose product contributes 1 to .


Problem 6

Let denote the set of compliant permutations. Then, for , either , or . The former case gives us permutations. In the latter case, has possible values, and the remaining numbers can be permuted in ways. Thus, .

Let

Then,

On integration, we get


Problem 7

is a stack-sortable permutation of iff for every such that , is popped first. This is true iff there does not exist such that , , since if such a existed, would be popped before . In other words, for every , all the elements in which are less than and have not appeared in the permutation so far (that is, all such that , ) must appear before any element larger than can appear.

Bijection to binary trees

Notation: The permutation , where is any ordered index set, is represented by .

Let be a map from the set of stack-sortable permutations of a set of cardinality to the set of binary trees on vertices. Define to be the empty tree and to be the binary tree with one vertex.

We will inductively define , having defined . Let be a stack-sortable permutation of . Let be the first index for which . If such a does not exist, let . Then, observe that and are both stack-sortable permutations of and respectively. Now, define to be the binary tree whose left subtree is and whose right subtree is . For example, would be evaluated like so:

Surjectivity of
Let . Consider a binary tree on vertices, . Let and be its left and right subtrees. Define a permutation on by , , (abuse of notation: is added to each slot of ). Clearly, . Thus, is non empty for all .

Injectivity of
Let . Then, must have elements in that are less than it, and elements in that are greater than it. This fixes to be . The same principle applied to the subtrees fixes all , . Thus, is unique for all .

Thus, the number of stack sortable permutations of is equal to .


Problem 8

Part a

FTSOC, assume otherwise. Let have an irreducible representation as a product of generators, . It follows that cannot be written as a product of fewer than generators, since that would imply that can be written as a product of fewer than generators. Similarly, , , cannot be written as a product of fewer than generators. It follows that . But, a group of order cannot have distinct elements in it.

Part b

Note that it is sufficient to solve the problem for the case of the distinct integers being prime. Let be distinct primes. Then, is a sequence defined by , . For , , let the tuple be called an interval and denoted by . The product of an interval can be expressed as

Observe that the product of an interval is a perfect square iff for all . Thus, it is beneficial to associate each interval with the vector in . Define like so:

Now, can be computed as . So, the product of being a perfect square is equivalent to . Since and (which implies ), we can conclude from the pigeonhole principle that at least two of the s must be equal.