Jump to content

Cycles and fixed points

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Wzwz (talk | contribs) at 20:11, 12 July 2005 (tables: http://home.arcor.de/wzwz.de/wiki/einzel/cyclen'n'fixpoints.zip {{pd}}). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
mapping of permutation

Let P be a permutation over a given set S.
We call a subset { c [1] , c [2] , ... , c [n] } of S a cycle of P with length n
iff the permutation maps S in the following way:
p ( c [i] ) = c [i+1] for i = 1, 2, ..., n-1
and p ( c [n] ) = c [1]

It's usual to write a cycle by it's mapping:
( c [1] c [2] ... c [n] )

Every permutation may be written as a combination of disjoint cycles.

Example: Let

be a permutation which maps 1 to 2 etc.
P may be written as P =
( 1 2 4 3 ) ( 5 ) ( 6 7 ) =
( 1 2 4 3 ) ( 6 7 ) ( 5 ) =
( 4 3 1 2 ) ( 7 6 ) ( 5 )

Note:

  • There are different ways to write a permutation as a combination of disjoint cycles, but the number of cycles and their contens is always unique.
  • In this examples 5 is a fixed point of the permutation, i.e. 5 is mapped to itself. Every fixed point performs a cycle with length 1.

Cycles

The unsigned Stirling number of the first kind, s ( k , j ) counts the number of permutations of k elements with exactly j disjoint cycles.

Properties

(1) For every k > 0 : s ( k , k ) = 1
.
(2) For every k > 0 : s ( k , 1 ) = ( k-1 ) ! ( where "!" means "Factorial" )
.
(3) For every k > j > 1 :
    s ( k , j ) = s ( k-1 , j-1 )
                + s ( k-1 , j   ) * ( k-1 )

Reason of properties

(1) There is only one possibility to construct a permutation of k elements with k cycles: Every cycle must have length 1 so every element must be a fixed point.

(2.a) Every cycle of length k may be written as permutation of the number 1 to k, there are k! of this permutations.
(2.b) There are k different ways to write a given cycle of length k, e.g. ( 1 2 4 3 ) = ( 2 4 3 1 ) = ( 4 3 1 2 ) = ( 3 1 2 4 ).
(2.c) Finally: s ( k , 1 ) = k! / k = ( k-1) !

(3) There are 2 different methods to construct a permutation of k elements with j cycles:
(3.a) If we want element k to be a fixed point we may choose one of the s ( k-1 , j-1 ) permutations with k-1 elements and j-1 circles and add element k as a new circle of length 1.
(3.a) If we want element k to be not a fixed point we may choose one of the s ( k-1 , j ) permutations with k-1 elements and j circles and insert element k in an existing circle in front of one of the k-1 elements.

Some values

  k  j 
123456789sum
11 1
211 2
3231 6
461161 24
5245035101 120
612027422585151 720
77201,7641,624735175211 5,040
85,04013,06813,1326,7691,960322281 40,320
940,320109,584118,12467,28422,4494,536546361362,880
 123456789sum

Fixed points

The value f ( k , j ) counts the number of permutations of k elements with exactly j fixed points.

Properties

(1) For every j < 0 or j > k : f ( k , j ) = 0
.
(2) f ( 0 , 0 ) = 1
.
(3) For every k > 1 and k >= j >= 0 :
    f ( k , j ) = f ( k-1 , j-1 )
                + f ( k-1 , j   ) * ( k - 1 - j )
                + f ( k-1 , j+1 ) * ( j + 1 )

Reason of properties

(3) There are 3 different methods to construct a permutation of k elements with j fixed points:
(3.a) We may choose one of the f ( k-1 , j-1 ) permutations with k-1 elements and j-1 fixed points and add element k as a new fixed point.
(3.b) We may choose one of the f ( k-1 , j ) permutations with k-1 elements and j fixed points and insert element k in an existing circle of length > 1 in front of one of the (k-1) - j elements.
(3.c) We may choose one of the f ( k-1 , j+1 ) permutations with k-1 elements and j+1 fixed points and join element k with one of the j+1 fixed points to a circle of length 2.

Some values

  k  j 
0123456789sum
101 1
2101 2
32301 6
498601 24
54445201001 120
6265264135401501 720
71,8541,855924315702101 5,040
814,83314,8327,4202,4646301122801 40,320
9133,496133,49766,74422,2605,5441,1341683601362,880
 0123456789sum

Alternate calculations


Example: f ( 5 , 0 ) = 5*1*4! - 10*2*3! + 10*3*2! - 5*4*1! + 1*5*0! =
120 - 120 + 60 - 20 + 5 = 45


Example: f ( 5 , 1 ) = 120 - ( 5*4! - 10*3! + 10*2! - 5*1! + 1*0! ) =
120 - ( 120 - 60 + 20 - 5 + 1 ) = 120 - 76 = 44

For every k > 1:

Example: f ( 5 , 0 ) = 4 * ( 9 + 2 ) = 4 * 11 = 44

For every k > 1:

Example: f ( 5 , 0 ) = 120 * ( 1/2 - 1/6 + 1/24 - 1/120 ) =
120 * ( 60/120 - 20/120 + 5/120 - 1/120 ) = 120 * 44/120 = 44

// ( e = Euler's number ~~ 2.71828 )
Example: f ( 5 , 0 ) ~~ 120 / e ~~ 44.14553

See also