Posted by: Reetesh Mukul | June 14, 2008

Stirling Numbers of First Kind

Vikalpa, is a Sanskrit/Hindi word, often used in context of choice making. The ancient Indian Scripture, Sthananga Sutra, uses this word as a topic name for a text on Permutation and Combination. For the study of subject matter such as, “Vikalpa“, I will like to use the term “Combinatorics“, mainly because the terms, Permutation, Combination are Mathematical quantities, and the word Combinatorics captures the wider essence of Mathematics of “choice making”. So whenever we deal with problems which involve enumerating possible choices, often conforming certain patterns, we will be doing Combinatorics. Combinatorial problems are the theme of many of the every day calculations, for example, the possible decisions to traverse from one place to other place. And unless some patterns are not discovered, calculations can become pretty tedious. But when patterns are found, and effectively used, things can become fun. A very fine approach for Combinatorial proofs are given in Proofs that really count: The art of Combinatorial proof, by Arthur T. Benjamin and Jennifer J. Quinn.

Consider this question — “How many ways n persons can be seated across a round table having n chairs around it, where only relative order of persons matter?”. This question is a part of the problem statement of the plan for seating people across a round table at dinner, where situation like who should/shouldn’t sit adjacent to a person are often dealt. If we consider a person as an element of set,

\{P_0,P_1,...,P_{n-1}\} , we need all possible arrangements

(P_{p(0)}, P_{p(1)}, ..., P_{p(n-1)}),

where p is a bijective mapping on and into the set \{0,1,...,n-1\} and arrangements are considered equivalent when,

p_{1}(i) \equiv p_{2}(i)+c\hspace{9 pt} (modulo\hspace{4pt}n) , c\hspace{4 pt} being an integer constant.

This is like finding all arrangements of persons, where a given arrangement should not be circular shift of another one. Since for a given arrangement there are n number of circular shifts, so total number of ways in which n people can be seated across a round table, is n!/n, i.e., (n-1)! . So when on a clear sky night, if we want to sketch straight lines between a given n number of stars in such a way that all stars are on the final sketch and they are crossed only once, then we have (n-1)! number of possible sketches. What if we want to make k, such sketches( each sketch should have atleast one star on it ), which do not have any star in common, when we have n stars? Or, suppose if we have k number of identical round tables, how many ways are there to seat n people across them, in such a way that at least one person should seat across a round table ?

If there are m_i, 1\leq m_i\leq n-k+1, number of stars in ith cycle, total number of solutions is given by,

\sum \frac {{\binom{n}{m_1}(m_1-1)!}{\binom{n-m_1}{m_2}(m_2-1)!}...{\binom{m_k}{m_k}(m_k-1)!}}{Number\hspace{3pt}of\hspace{3pt} permutations\hspace{3pt} of\hspace{3pt} set\hspace{3pt} \{m1,m2,...,m_k\}},

where the summation ranges on all solutions (m_1,m_2,...,m_k) of the equation m_1 + m_2 +...+ m_k = n. The factor {\binom {n}{m_1}}{\binom{n-m_1}{m_2}}...{\binom{m_k}{m_k}}, is number of ways of choosing groups of m_1, m_2, ..., m_k stars out of n stars. The factor (m_i-1)!, is number of sketches that can be made on m_i number of stars ( the same total number of seating arrangement solution ). Also, since solutions of m_1 + m_2 +...+m_k = n can be permutation of each other, so I provided an expression in denominator. A simple reduction can be acheived by expanding the combinations–

\sum \frac{n!}{(m_1m_2...m_k)(Number\hspace{3pt}of\hspace{3pt} permutations\hspace{3pt} of\hspace{3pt} set\hspace{3pt} \{m1,m2,...,m_k\})}.

Like the way there is no explicit formula for factorial, permutation and combination; so is the situation with the above solution, and in literature we use {n\brack k} as their symbolic representation. This quantity, {n\brack k}, is called unsigned Stirling number of first kind. We will now explore falling factorial power, x^{\underline{n}}, to gain more insight into Stirling number of first kind:-

{x^{\underline{n}}} = x(x-1)...(x-n+1).

Unsigned coefficient of x^k in the above product equals:-

Unsigned Coefficient of {x^{k-1}}, in (x-1)(x-2)...(x-n+1)

=\sum (a_1a_2...a_{n-k}),

where a_1,a_2,...,a_{n-k} are n-k distinct number chosen from the set \{ 1,2,...,n-1 \}. The summation thus runs for {\binom{n-1}{k-1}} cases which is equal to total number of solutions of m_1 +m_2 +...+m_k = n, 1 \leq m_i \leq n-k+1. Literatures assert that, unsigned coefficient of {x^k} , in x(x-1)(x-2)...(x-k) is {n\brack k}. Does this mean,

\sum \frac{n!}{(m_1m_2...m_k)(Number\hspace{3pt}of\hspace{3pt} permutations\hspace{3pt} of\hspace{3pt} set\hspace{3pt} \{m1,m2,...,m_k\})}=  \sum \frac{(n-1)!}{q_1q_2...q_{k-1}} ,

where q_1,q_2,...,q_{k-1} are k-1 distinct numbers from the set \{ 1,2,...,n-1 \} while the summations on both sides are running for equal number of time ? Remember, m_i’s can have same values.

I am unable to think now, and will work out proof of last equality in few days. Going to sleep. Keep thinking and reading,

Mukul

Leave a response

Your response:

Categories