2 NOTATIONS AND BASIC FACTS
We first summarize a few facts about permutations
and representation theory and then we will describe
how to generalize this to representations on spaces of
RGB histograms. We only mention the basic facts and
the interested reader should consult one of the books
in the field, for example (Serre, 1977; Diaconis, 1988;
Fulton and Harris, 1991; F
¨
assler and Stiefel, 1992;
Chirikjian and Kyatkin, 2000).
The permutations of three objects form the sym-
metric group S(3). This abstract group comes in
several realizations and we will freely change be-
tween them. In the most abstract context the per-
mutations π are just elements of π ∈ S(3). We will
use it to investigate color images. We describe col-
ors in the RGB coordinate system described by triples
(R,G,B). If we want to denote a triple with some
numerical values then we write (aaa),(aab), (abc) in
the cases where all three, two or none of the val-
ues are equal. If a permutation changes the order
within the triple we will simply use the new order of
the generic RGB triple as a symbol for the permu-
tation. The permutation (RBG) leaves the first ele-
ment fixed and interchanges the other two. It should
be clear from the context if we mean RGB-triples
like (abc) or permutations like (RBG). We define
the special permutations π
c
as the cyclic shift π
c
=
(BRG) and π
r
as the reflection (RBG). These two
permutations are the generators of S (3) and all oth-
ers can be written as compositions of these two. The
group S (3) has six elements and we usually order
them as π
0
c
,π
c
,π
2
c
,π
r
,π
c
π
r
,π
2
c
π
r
or in RGB notation
(RGB),(BRG),(GBR),(RBG), (GRB),(BGR)
We see that the three even permutations π
0
c
,π
c
,π
2
c
form a commutative subgroup with the same proper-
ties as the group of 0, 120, 240 degrees rotations in the
plane. The remaining odd permutations are obtained
by preceding the even permutation with π
r
.
If we consider the triples (R,G,B)
0
as vectors x
in a three-dimensional vector space then we see that
we can describe the effect of the permutations by a
linear transformation described by a matrix. In this
way the permutations π
c
,π
r
are associated with the
matrices T
G
(π)
T
G
(π
c
) =
0 0 1
1 0 0
0 1 0
T
G
(π
r
) =
1 0 0
0 0 1
0 1 0
(1)
This is the simplest example of a representation
of S (3) which is a mapping from the group to ma-
trices so that group operations go over to matrix mul-
tiplications. In this case the matrices are of size 3 ×3
3 Orbit (255 0 0)
6 Orbit (255 128 0)
Figure 1: Examples of a three- and a six-orbit.
and we say that we have a three-dimensional rep-
resentation. The elements π
c
,π
r
generate S(3) and
therefore we find that also all six permutation matri-
ces are products of T
G
(π
c
),T
G
(π
r
).
If we apply all six permutations to triples (abc)
we obtain the so called orbits. For triples with differ-
ent values for a, b and c we generate six triples, if we
apply them to a triple (abb) we get three triples and
the triple (aaa) is invariant under all elements in S (3).
The orbits of S(3) have therefore length six, three and
one respectively. We denote a general orbit by O and
the orbits of length one, three and six by O
1
,O
3
,O
6
.
Two such orbits are illustrated in Fig.1 where each
stripe shows one element in the orbit. For the three-
orbit the colors are repeated for the odd permutations
since the last two values in the RGB triple for the red
image are identical.
We can use the concept of an orbit to construct
new representations similar to those in Eq. (1). Take
the six-orbit O
6
. We describe each element on O
6
by
one of the six unit vectors in a six-dimensional vector
space. Since permutations map elements in the orbit
to other elements in the orbit we see that each permu-
tation π defines a 6 ×6 permutation matrix T
6
(π) in
the same way as those in Eq. (1). Also here it is suf-
ficient to construct T
6
(π
c
) and T
6
(π
r
). The same con-
struction holds for the three-orbits O
3
. For the one-
orbit the matrices are simply the constants T
1
(π) = 1.
We denote these vector spaces (defined by the orbits)
by V
1
,V
3
,V
6
.
The row- and column sums of permutation matri-
ces are one and we see that T (π)1 = 1 where T (π) is
a permutation matrix and 1 =
1 ... 1
is a vec-
tor of suitable length with only elements equal to one.
This shows that the subspaces V
t
k
of V
k
,(k = 1,3, 6),
spanned by 1 are invariant under all operations with
permutation matrices. These spaces define the triv-
ial representation of S (3) (Fulton and Harris, 1991;
F
¨
assler and Stiefel, 1992).
Since V
t
k
is an invariant subspace of V
k
,(k =
1,3,6) we see that their orthogonal complements are
also invariant and we have thus decomposed the in-
variant spaces V
k
into smaller invariant spaces and
each of these subspaces defines a lower-dimensional
representation (smaller matrices) of the group. The
smallest such invariant spaces define the irreducible
representations of the group (for definitions and ex-
amples see (Serre, 1977; Fulton and Harris, 1991;
VISAPP 2009 - International Conference on Computer Vision Theory and Applications
118