Probability distribution of number of cycles of permutations

From Groupprops
Revision as of 14:27, 27 April 2010 by Vipul (talk | contribs) (Created page with '==Definition== Let <math>n</math> be a natural number. Denote by <math>S_n</math> the symmetric group of degree <math>n</math>. Consider the uniform probability measure …')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Definition

Let n be a natural number. Denote by Sn the symmetric group of degree n. Consider the uniform probability measure on Sn (i.e., the normalized counting measure, under which the measure of any subset is the quotient of the size of the subset by n!). The probability distribution of number of cycles of permutations is the probability distribution that assigns, to all numbers 1kn, the probability that a permutation picked uniformly at random from Sn has exactly k cycles in its cycle decomposition.

Note that in the count of cycles, each fixed point is treated as one cycle. Thus, the identity permutation has n cycles whereas a cyclic permutation that moves all elements involves 1 cycle.

The probability distribution assigns the following value to each k

|s(n,k)|n!

where |s(n,k)| is the unsigned Stirling number of the first kind, and occurs as an important combinatorial quantity. It can also be defined as the sum, over all unordered partitions of n into k parts, of the sizes of the conjugacy classes corresponding to each part.

=General information

Average information

Averaging measure Value Explanation
Mean, i.e., the expected number of cycles Hn, the harmonic number of n, which is the sum of reciprocals of the first n natural numbers Expected number of cycles of permutation equals harmonic number of degree

Formulas in special cases

Case for (n,k) Value of |s(n,k)| Probability, i.e., value of |s(n,k)|/n! Explanation
(n,1) (n1)! 1/n must be a cyclic permutation with one cycle of size n, then use conjugacy class size formula for symmetric group.
(n,n) 1 1/n! can only be the identity permutation.
(n,n1) (n2)=n(n1)2 12[(n2)!] must be a transposition, determined by picking a subset of size two that gets transposed.
(n,2), n odd (n1)!Hn1, where Hn1 is the harmonic number, i.e., the sum of reciprocals of first n1 natural numbers Hn1/n(logn)/n

Particular cases

Here is the table of unsigned Stirling numbers:

n k=1 k=2 k=3 k=4 k=5
1 1
2 1 1
3 2 3 1
4 6 11 6 1
5 24 50 35 10 1

Here is the table of probability values:

n k=1 k=2 k=3 k=4 k=5
1 1
2 1/2 1/2
3 1/3 1/2 1/6
4 1/4 11/24 1/4 1/24
5 1/5 5/12 7/24 1/12 1/120