## Services on Demand

## Journal

## Article

## Indicators

- Cited by SciELO
- Access statistics

## Related links

- Cited by Google
- Similars in SciELO
- Similars in Google

## Share

## Revista Brasileira de Ensino de Física

##
*Print version* ISSN 1806-1117*On-line version* ISSN 1806-9126

### Rev. Bras. Ensino Fís. vol.29 no.3 São Paulo 2007

#### http://dx.doi.org/10.1590/S1806-11172007000300013

**ARTIGOS GERAIS**

**Quantum statistics: the indistinguishability principle and the permutation group theory**

**Estatística quântica: o princípio da indistinguibilidade e a teoria do grupo de permutações**

**M. Cattani ^{1}**

Instituto de Física, Universidade de São Paulo, São Paulo, SP, Brasil

**ABSTRACT**

About two decades ago we have shown mathematically that besides bosons and fermions, it could exist a third kind of particles in nature that was named gentileons. Our results have been obtained rigorously within the framework of quantum mechanics and the permutation group theory. However, these papers are somewhat intricate for physicists not familiarized with the permutation group theory. In the present paper we show in details, step by step, how to obtain our theoretical predictions. This was done in order to permit a clear understanding of our approach by graduate students with a basic knowledge of group theory.

**Keywords:** quantum statistics; bosons, fermions and gentileons.

**RESUMO**

Há cerca de duas décadas passadas, mostramos matematicamente que, além de bósons e férmions, poderia existir na natureza um outro tipo de partículas que denominamos de gentileons. Os nossos resultados foram obtidos rigorosamente dentro do contexto da mecânica quântica e da teoria do grupo de permutações. Entretanto, os nossos artigos são difíceis de serem entendidos por físicos que não estão familiarizados com a teoria do grupo de permutações. Assim, no presente artigo nós vamos mostrar em detalhes, passo a passo, como obter as nossas previsões. Procedemos desse modo para permitir que estudantes de graduação de física possam entender claramente nossos cálculos com um conhecimento básico de teoria de grupos.

**Palavras-chave:** estatística quântica; bósons, férmions, gentileons.

**1. Introduction**

In preceding papers [1-8], we have performed a detailed analysis of the problem of the indistinguishability of *N* identical particles in quantum mechanics. It was shown rigorously, according to the postulates of quantum mechanics and the principle of the indistinguishability, that besides bosons and fermions it could mathematically exist another kind of particles that we have called gentileons. This analysis was performed using the irreducible representations of the permutation group (symmetry group) *S _{N} *in the Hilbert space. However, our first papers on the subject [1-3], that were taken as a point of departure to investigate the existence of a new kind of particles (gentileons) is somewhat intricate and complex from the mathematical point of view. We have used the group theory shown in the books of Weyl [9], Hamermesh [10] and Rutherford [11]. These papers are somewhat difficult for physicists not familiarized with the permutation group theory and its representations in the Hilbert space. So, in the present paper we intend to deduce our main results adopting a more simple and didactic mathematical approach. We will present our calculations in such way that graduate students with a basic knowledge of group theory would be able to understand our predictions.

In Sec. 2 the problem of the indistinguishability of identical particles in quantum mechanics is analyzed. In Sec. 3 we see how to connect the permutation of the particles with the eigenfunctions of the energy operator H using the Permutation Group. In Sec. 4 the calculation of the energy eigenfunctions of a system with *N* = 3 particles is shown in details. In Sec. 5 the essential results for the general case of systems with N identical particles are given. In Sec. 6 the Summary and Conclusions are presented.

**2. The indistinguishability of identical particles in quantum mechanics**

Identical particles cannot be distinguished by means of any inherent property, since otherwise they would not be identical in all respects. In classical mechanics, identical particles do not lose their ''individuality'', despite the identity of their physical properties: the particles at some instant can be ''numbered'' and we can follow the subsequent motion of each of these in its paths. Hence, at any instant the particles can be identified.

In quantum mechanics [12-14], the situation is completely different since, due to the uncertainty relations, the concept of path of a particle ceases to have any meaning. Hence, by localizing and numbering the particles at some instant, we make no progress towards identifying them at subsequent instants: if we localize one of the particles, we cannot say which of the particles has arrived at this point. This is true, for instance, for electrons in a single atom, for neutrons in a single nucleus or for particles which interact with each other to an appreciable extent. However, electrons of different atoms or neutrons of different nucleus, to good approximation, are regarded as distinguishable because they are well separated from each other.

Thus, in quantum mechanics, there is in principle no possibility of separately following during the motion each one of the similar particles and thereby distinguishing them. That is, in quantum mechanics identical particles entirely lose their individuality, resulting in the complete indistinguishability of these particles. This fact is called Principle of Indistinguishability of Identical Particles and plays a fundamental role in the quantum mechanics of identical particles [12-14].

Let us consider an isolated system with total energy E composed by a constant number *N* of particles that is described by quantum mechanics. If *H* is the Hamiltonian operator of the system, the energy eigenfunction Y, obeys the equation *H*Y = *E*Y. The operator *H* and Y are functions of **x**_{1},*s*_{1},..., **x**_{N}*,s _{N}*, where

**x**

_{j}and

*s*denote the position coordinate and the spin orientation, respectively of the

_{j}*j*particle. We abbreviate the pair (

^{th}**x**

_{j}

*,s*) by a single number

_{j}*j*and call 1, 2,...,

*N*a particle configuration. The set of all configurations will be called the configuration space e

^{(N)}. So, we have simply

*H = H*(1, 2,...,

*N*) and Y = Y(1, 2,...

*N*). These quantum states Y form a Hilbert space

*L*

_{2}(e

^{(N)}) of all square integrable functions [1-3] over e

^{(N)}.

Let us define *P _{i}* as the ''permutation operator'' (

*i*= 1, 2,...

*N*!) which generate all possible permutations of the

*N*particles in the space e

^{(N)}. Since the particles are identical the physical properties of the system must be invariant by permutations. In the next section we show how to use the permutation group

*S*to describe the

_{N}*N*-particles quantum system.

**3. The permutation group and its representations in the configuration and Hilbert spaces**

As seen above, *P _{i}* is the ''permutation operator'' (

*i*= 1, 2,...

*N*!) which generate all possible permutations of the

*N*particles in the space e

^{(N)}. The permutations

*P*of the labels 1, 2,..,

_{i}*N*constitute a symmetry group [9-11, 16-19],

*S*of order

_{N}*n*=

*N*!

Because of the identity of the particles, *H* and Y obtained by merely permuting the particles must be equivalent physically, that is, [*P _{i}, H*] = 0 and |

*P*Y|

_{i}^{2}= |Y

_{i}|

^{2}= |Y|

^{2}

_{.}This implies that the permutations are unitary transformations and that the energy

*E*has a

*N*! degenerate energy spectrum. We assume that all the functions {Y

_{i}}

_{i = 1, 2.., n}are different and orthonormal. To each operator

*P*of the group

_{i}*S*we can associate, in a one-to-one correspondence, an unitary operator

_{N}*U*(

*P*) in the

_{i}*L*

_{2}(e

^{(N)}), [14, 15].

Now, let us put *n* = *N*! and indicate by {Y_{k}}_{k = 1, 2..., n} the set of *n*-degenerate energy eigenfunctions, where Y_{k} = *U*(*P _{k}*)Y. It is evident that any linear combination of the functions Y

_{k}is also a solution of the wave equation

*H*Y =

*E*Y. In addition, since [

*U*(

*P*),

*H*] = 0 we see that

*H U*(

*P*) Y

_{k}=

*U*(

*P*)

*H*Y

_{k}=

*U*(

*P*)

*E*Y

_{k}=

*E U*(

*P*)Y

_{k}. This means that if Y

_{k}is an eigenfunction of

*H, U*(

*P*) Y

_{k}is also an eigenfunction of

*H*. Hence, it must be equal to linear combinations of degenerate eigenvectors, which is [14,15]

where the *D _{jk}*(

*P*) are complex coefficients which depend on the group element.

According to Eq. (3.1) the n degenerate eigenfunctions of *H* thus span an *n*-dimensional subspace of the state-vector space of the system, and the operations of the group transform any vector which lies entirely in this subspace into another vector lying entirely in the same subspace, i.e., the symmetry operations leave the subspace invariant.

Repeated application of the symmetry operations gives [14, 15]

and also

Since *U*(*QP*) = *U*(*Q*)*U*(*P*) the left-hand sides of the Eqs. (3.2) and (3.3) are identical. Hence, comparing the right-hand sides of these same equations we get the basic equation:

So, the permutation group *S _{N}* named ''symmetry group'' of the system, defined in the configuration space e

^{(N)}, induces a group of unitary linear transformations

*U*in the

*n*-dimensional linear Hilbert space

*L*

_{2}(e

^{(N)}). We have shown (see Eqs. (3.1)-(3.3)) that the unitary operations defined by

*U*can be translated into a matrix equations by introducing a complete set of basis vectors in the

*n*-dimensional vector space of Y. This Hilbert space

*L*

_{2}(e

^{(N)}) is named ''representation space''. The set of

*n*×

*n*square matrices

*D*form a group of

*dimension*(

*degree*)

*n*equal to the order of

*S*. The complete set of matrices

_{N}*D*are said to form a ''

*n*-dimensional unitary representation of

*S*''.

_{N} The eigenfunctions {Y_{i}}_{i = 1, 2.., n} are all different and orthonormal since they are solutions of the same Schrödinger equation. These functions can be used [11-19] with the Young tableaux, to determine the irreducible representations of the group *S _{N}* in the configuration space e

^{(N)}and the Hilbert space L

_{2}(e

^{(N)}). To do this the basis functions of the irreducible representations using the Young tableaux are constructed taking {Y

*}*

_{i}

_{i}_{ = 1, 2.., n}as an orthogonal unit basis. It is important to note that choosing this particular basis functions we are simultaneously determining the irreducible representations of

*S*and eigenfunctions of the operator

_{N}*H*which is given by linear combinations and permutations of the {Y

*}*

_{i}

_{i}_{ = 1, 2.., n}. This method will be used in the Appendix A to determine the irreducible representations and the energy eigenfunctions for the trivial case of

*N*= 2 and for the simplest non trivial case of

*N*= 3.

In Sec. 4 using the method presented in Appendix A will be constructed the energy eigenfunctions of a system with *N* = 3 particles.

**4. Systems with N = 3 particles**

We will assume that a typical eigenfunction of energy *E* of the particles is written as Y = Y(1, 2, 3) = *u*(1)*v*(2)*w*(3), where the single-particle functions (*u, v, w*) in the product are all different and orthogonal. According to our analysis in the Appendix A the 6-dimensional Hilbert space *L*_{2}(e^{(3)}) spanned by the orthonormal unit vector basis (*u, v, w*) is composed by two 1d subspaces, *h*([3]) and *h*([1^{3}]), and one 4d subspace *h*([2,1]).

First let us consider the two 1d subspaces in the Hilbert space which are represented by following eigenfunctions f_{s} and f_{a}:

which is completely symmetric, associated to the horizontal Young tableaux [3],

completely antisymmetric, associated to the vertical Young tableaux [1^{3}].

The 4d subspace *h*([2,1]), associated to the intermediate Young tableaux [2,1] is represented by the state function *Y*([2,1]). This subspace *h*([2,1]) breaks up into two 2d subspaces, *h*_{+}([2,1]) and *h*_{- }([2,1]), that are spanned by the basis vectors {*Y*_{1}, *Y*_{2}}, {*Y*_{3}, *Y*_{4}} and represented by the wavefunctions *Y*_{+ }([2,1]) and *Y*_{-}([2,1]), respectively. The state functions *Y*([2,1]), *Y*_{+}([2,1]) and *Y*_{- }([2,1]) are given respectively, by

where

and

As shown in the Appendix A, the functions *Y*_{+ }([2,1]) and *Y*_{- }([2,1]) have equal symmetry permutation properties, that is, *P _{i} Y* =

*D*

^{(2)}(

*P*) Y where the (2 × 2) matrices

_{i}*D*

^{(2)}(

*P*) are unitary irreducible representations of the

_{i}*S*in the e

_{3}^{(3)}and in the

*L*

_{2}(e

^{(3)}). The vectors

*Y*associated with the 4d space

*h*([2,1]) or with the two 2d subspaces,

*h*

_{+}([2,1]) and

*h*

_{-}([2,1]), will be indicated in what follows simply by

*Y*([2,1]).

As well known [12-15], the totally symmetric function f_{s} defined by Eq. (4.1) describes the bosons and the completely anti-symmetric function f_{a} given by Eq. (4.4) describes the fermions. When two fermions occupy the same state we verify f* _{a}* = 0 which implies that two fermions are forbidden to occupy the same state. This kind of restriction does not exist for bosons since f

_{a}¹ 0 when three Bosons occupy the same state.

We see from Eq. (4.3) that *Y* ¹ 0 when 1 or 2 particles occupy the same state, however *Y* = 0 when 3 particles occupy the same state.

From these results we see that the functions *Y*([2,1]) must represent particles which are different from bosons or fermions. These new kind of particles was called gentileons [3]. This name was adopted in honor to the Italian physicist G. Gentile Jr. About six decades ago [20-22], he invented, without any quantum-mechanical or another type of justification, a parastatistics within a thermodynamical context. He obtained a statistical distribution function for a system of *N* weakly interacting particles assuming that the quantum states of an individual particle can be occupied by an arbitrary finite number *d* of particles. The Fermi and the Bose statistics are particular cases of this parastatistics for *d* = 1 and *d* = ¥, respectively. A recent detailed analysis of the *d*-dimensional ideal gas parastatistics was performed by Vieira and Tsallis [23].

Our analysis which gives support, within the framework of quantum mechanics and group theory, to the mathematical existence of news states *Y*([2,1]) associated with the intermediate Young tableaux [2,1], justifies, in a certain sense, the Gentile's hypothesis.

**5. Systems composed by N identical particles. The statistical principle**

In the Appendix A and in Section 3 we have studied in details the cases of systems composed by two and three particles. We have shown how to obtain the irreducible representations of the *S*_{2} and *S*_{3} in the configuration spaces e^{(2)} and e^{(3)} and in the Hilbert spaces *L*_{2}(e^{(2)}) and *L*_{2}(e^{(3)}). We have also constructed for these cases the eigenfunctions of the Hamiltonian operator.

In this Section we will give only the main results for the *N*-particles systems that have studied in details in preceding papers [1-3].

We have shown [1-3] that the dimensions *f*(a) of the irreducible *f*(a) × *f*(a) square matrices assume the values 1^{2}, 2^{2},..., (*N* - 1)^{2} and to each irreducible representation (a) is associated a subspace *h*(a) in the Hilbert space *L*_{2}(e^{(N)}) with dimension *f*(a).

There are only two 1-dimensional (*f*(a) = 1) irreducible representations given by the partitions (a) = [*N*] and (a) = [1^{N}]. The first case is described by horizontal shape with *N* spaces. In the second case we have a vertical tableaux with *N* rows. The wavefunctions associated to them are, respectively, given by

and

where d_{Pi} = ± 1, if *P _{i}* is even or odd permutation.

The remaining representations have dimensions *f*(a) going from 2^{2} up to (*N* - 1)^{2} and are described by the various intermediate shapes [9-11, 17-19]. To each shape (a) there is an irreducible representation described by *f*(a) × *f*(a) square matrices with dimension *f*(a). The tableaux with the same shape (a) have equivalent representations and the different *shapes *cannot have equivalent representations. There is a one-to-one correspondence between each shape (a) and the irreducible matrices .

To each shape (a) is associated a sub space *h*(a) Î *L*_{2}(e^{(N)}) with dimension t = *f*(a) spanned by the unit basis {*Y _{i}*}

_{i = 1, 2,..., t}. In this subspace

*h*(a) the energy eigenfunction

*Y*(a) is given by

where the functions {*Y _{i}*}

_{i = 1, 2,...,t}, that are constructed applying the Young operators to the functions {Y

*}*

_{i}_{i = 1, 2.., n}, obey the condition <

*Y*|

_{i}*Y*> = d

_{n}_{in}.

Under the permutations *Y*(a) Î *h*(a) is changed into *X*(a) Î *h*(a) given by *X*(a) = *U*(*P _{i}*) Y(a), where

*U*(

*P*) is an unitary operator. This permutation operator can also be represented by an unitary matrix

_{i}*T*(a):

*X*(a) =

*T*(a)

*Y*(a). Since the subspaces

*h*(a) are equivalence classes [9-11, 19], different subspaces have different symmetry properties which are defined by the matrix

*T*(a). This means that if

*T*(a) Î

*h*(a) and

*T*(b) Î

*h*(b), results

*T*(a) ¹

*T*(b) if a ¹ b.

Since *T*(a)^{ + }*T*(a) = 1 the square modulus of *Y*(a) is permutation invariant, that is, |*Y*|^{2} = *Y*(a)^{ + }*Y*(a) = *X*(a)^{ + }*X*(a) = |*X*|^{2}. So, the function |F(a)|^{2} = *Y*(a)^{ + }*Y*(a) = å_{i} |*Y _{i}*|

^{2}can be interpreted as the probability density function.

We note that for the 1d cases the symmetry properties of the state function *Y*(a) are very simple because *T* = ±1, whereas for the multidimensional *h*(a) the symmetry properties are not so evident because they are defined by a matrix *T*(a) which has t^{2} components. Moreover, the occupation number of the states by particles is not fermionic or bosonic.

To obtain the energy eigenfunction our basic hypothesis was that

[*U* (*P _{i}*),

*H*] = 0.

Consequently, [*U* (*P _{i}*),

*S*(

*t*)] = 0, where S(t) is the time evolution operator for the system.

The expectation values of an arbitrary Hermitean operator *A* = *A*(1, 2,..., *N*) for the energy state-vectors *Y*(a) and *X*(a) are defined by

and

respectively. Since *X*(a) = *T*(a) *Y*(a) we see that

implying that [*U*(*P _{i}*),

*A*(

*t*)] = 0. Moreover, if

*U*(

*P*) commutes with

_{i}*S*(

*t*) the relation [

*U*(

*P*),

_{i}*A*(

*t*)] = [

*U*(

*P*),

_{i}*S*

^{+ }(

*t*)

*A*(

*t*)

*S*(

*t*)] = 0 is satisfied. This means that <

*A*(

_{y}*t*) > = <

*A*(

_{x}*t*) > at any time. This expresses the fact that since the particles are identical, any permutation of them does not lead to any observable effect. This conclusion is in agreement with the postulate of indistinguishability [12-15].

The occupation number of the states and the symmetries properties of the quantum energy eigenstates *Y*(a) associated with the intermediate Young shapes are completely different from the vertical (fermionic) and horizontal (bosonic) shapes. This lead us to propose the following statement which is taken as a principle (*Statistical Principle)*: ''Bosons, fermions and gentileons are represented by horizontal, vertical and intermediate Young tableaux, respectively''.

**6. Summary and conclusions**

We have shown that besides bosons and fermions it can exist mathematically a new kind of particles, named gentileons. Our theoretical analysis was done didactically using the basic group theory adopted in the graduate physics course.

Using the permutation group theory we studied in details the trivial case of systems formed by 2 particles and the simplest but non trivial case of systems formed by 3 particles. For the general *N*-particles systems only a brief review of the main results obtained in preceding papers [1-8] have been presented.

According to the amazing mathematical properties [2-8] of the intermediate representations of the permutation group theory the gentilionic systems cannot coalesce. Gentileons are always confined in these systems and cannot appear as free particles.

Based on these exotic properties we have conjectured [2-8] that quarks could be gentileons since we could explain, from first principles, quark confinement and conservation of the baryonic number.

Let us suppose that only bosons and fermions could exist in nature. In this case there remains the problem to discover the selection rules which forbid the existence of gentileons.

Finally, we must note that besides the ''gentileons'' there are other particles that do not obey the Fermi or Boson statistics, predicted by different theoretical approaches. We would like to mention first the ''parabosons'' and ''parafermions'' predicted by Green [3, 24]. A detailed analysis of the Green parastatistics can be seen, for instance, in the book of Ohnuki and Kamefuchi [25]. Besides the parabosons and parafermions we have, for instance, the ''anyons'' [26], and the ''exclusons'' [27]. The ''anyons'' and ''exclusions'' result from the interaction of the original bosons and fermions and could not be found asymptotically free in the nature, like the gentileons. Recently, according to Camino [28] the existence of anyons (''Laughlin particle'' with fractionary charge) has been confirmed in the context of the fractional quantum Hall effect. More information about this experimental confirmation is given by Lindley [29].

**References**

[1] M. Cattani and N.C. Fernandes, Revista Brasileira de Ensino de Física **12**, 585 (1982). [ Links ]

[2] M. Cattani and N.C. Fernandes, Revista Brasileira de Ensino de Física **13**, 464 (1983). [ Links ]

[3] M. Cattani and N.C. Fernandes, Nuovo Cimento **79A**, 107 (1984). [ Links ]

[4] M. Cattani and N.C. Fernandes, Nuovo Cimento **87B**, 70 (1985). [ Links ]

[5] M. Cattani and N.C. Fernandes, Phys. Lett. **124A**, 229 (1987). [ Links ]

[6] M. Cattani and N.C. Fernandes, An. Acad. Bras. de Ciências **59**, 283 (1987). [ Links ]

[7] M. Cattani, Acta Physica Polonica **B20**, 983 (1989). [ Links ]

[8] M. Cattani, An. Acad. Bras. de Ciências **67**, 153 (1995). [ Links ]

[9] H. Weyl, *The Theory of Groups and Quantum Mechanics* (E.P. Dutton and Company Inc., New York, 1932). [ Links ]

[10] D.E. Rutherford, *Substitutional Analysis *(The Edinburgh University Press, Edinburgh, 1948). [ Links ]

[11] M. Hamermesh, *Group Theory and its Application to Physical Problems* (Addison-Wesley Publishing Company, Inc., Reading, 1962). [ Links ]

[12] L.D. Landau and E.M. Lifschitz, *Quantum Mechanics* (Pergamon Press, London, 1958). [ Links ]

[13] L.I. Schiff, *Quantum Mechanics* (McGraw-Hill Book Company, New York, 1955). [ Links ]

[14] E. Merzbacher, *Quantum Mechanics* (John-Wiley & Sons, Inc, New York, 1961). [ Links ]

[15] P. Roman, *Theory of Elementary Particles* (North-Holland Publishing Company, Amsterdam, 1960). [ Links ]

[16] J.M.F. Bassalo and M. Cattani, *Teoria de Grupo e Algumas Aplicações em Física *(Editora Universidade Federal do Pará, Belém, 2005). [ Links ]

[17] H. Boerner, *Representation of Groups* (North-Holland Publishing Company, Amsterdam, 1963). [ Links ]

[18] L. Jansen and M. Boon, *Theory of Finite Groups. Applications in Physics* (North-Holland Publishing Company, Amsterdam, 1967). [ Links ]

[19] F.A. Matsen, *Vector Spaces and Algebras for Chemistry and Physics* (Holt, Rinehart and Winston, New York, 1970). [ Links ]

[20] G. Gentile Jr., Nuovo Cimento **1**, 493 (1940). [ Links ]

[21] G. Gentile Jr., Ric.Sci. **12**, 341 (1941). [ Links ]

[22] G. Gentile Jr., Nuovo Cimento **19**, 109 (1942). [ Links ]

[23] M.C. de Souza Vieira and C. Tsallis, Journal of Statistical Physics **48**, 97 (1987). [ Links ]

[24] H.S. Green, Phys.Rev. **90**, 270 (1953). [ Links ]

[25] Y. Ohnuki and S. Kamefuchi, *Quantum Field Theory and Parastatistics* (Springer-Verlag, Berlin, 1982). [ Links ]

[26] F. Wilczeck, *Fractional Statistics and Anyon Superconductivity* (World Scientific, Singapore, 1990). [ Links ]

[27] Z.N.C. Ha, *Quantum-Many Body Systems in One Dimension* (World Scientific, Singapore, 1996). [ Links ]

[28] F.E. Camino, W.Zhou and V.J. Goldman, Phys. Rev. **B72**, 075342 (2005). [ Links ]

[29] D. Lindley, Phys. Rev. Focus, in http://focus.aps.org/story/v16/st14, accessed in June 2007. [ Links ]

Recebido em 6/3/2007; Aceito em 21/6/2007

1 E-mail: mcattani@if.usp.br.

**Appendix A - Representations of the S_{N} group in the configuration space e^{(N)} and in the Hilbert space L_{2}(e^{(N)})**

We give here the basic ideas [16], concerning the representations of the *S _{N}* group in the configuration space e

^{(N)}. More detailed and complete analysis about this subject can be found in many books [9-11, 17-19].

If we can set up a homomorphic mapping

between the elements *P*_{1}, *P*_{2},..., *P _{n}* of the group

*S*and a set of square (µ × µ) matrices

_{N}*D*

^{(µ)}(

*P*

_{1})

_{,}

*D*

^{(µ)}(

*P*

_{2}),...,

*D*

^{(µ)}(

*P*) (

_{n}*n*=

*N*!) such that

then the matrices *D*^{(µ)}(*P*_{1})_{,} *D*^{(µ)}(*P*_{2}),..., *D*^{(µ)}(*P _{n}*) are said to be a µ-dimensional matrix representation of the group

*S*in the configuration space e

_{N}^{(N)}. If the homomorphic mapping of

*S*on

_{N}*D*(

*P*) reduces to an isomorphism the representation is said to be faithful.

_{i} In general all matrices *D*^{(µ)}(*P _{i}*) of a µ-dimensional representation can be brought simultaneously to the form

where *D*^{(k)}(*P _{i}*) and

*D*

^{(µ)}(

*P*) are diagonal blocks with k + m = µ. When, by a similarity transformation, all matrices

_{i}*D*

^{(µ)}(

*P*) can be put in a diagonal form, that is, when

_{i}*A*(

*P*) = 0, the representation is named

_{i}*reducible*. If the matrices cannot be written in a diagonal block structure the representation is said to be

*irreducible*.

Let us consider, for instance, the simplest but non trivial case of the permutation group *S*_{3} and define *P*_{1} = *I* = identity = (123), *P*_{2} = (213), *P*_{3} = (132), *P*_{4} = (321), *P*_{5} = (312) and *P*_{6} = (231). We can show [16], that the *S*_{3} has two 1-dimensional irreducible representations ( and ) and only one 2-dimensional irreducible representation (*D*^{(2)}(*P _{i}*)).

For the two 1-dimensional representations the matrices *D*^{(1)}(*P _{i}*) are given by

(*P _{i}*) = 1 (

*i*= 1, 5 and 6) and

which are homomorphic representations.

For the 2-dimensional representation the matrices *D*^{(2)}(*P _{i}*) are given by

and

which is a faithful representation. Since the matrices shown in Eq. (6) are all orthogonal this irreducible representation is called *orthogonal*.

There are an infinite number of representations of a given group. We have obtained above the irreducible representations of the *S*_{3} using the multiplication properties of the permutations *P _{i}*. Other two irreducible representations of

*S*

_{3}can be obtained, for instance, taking into account (1)rotations of vectors in a 3d Euclidean space and (2)rotations of an equilateral triangle in the (

*x, y*) plane [18].

**A.1. Determination of the S_{N} representations by the Young tableaux**

In the general case the determination of the *S _{N}* representations is performed by using more powerful methods developed by Young and Frobenius [9-11, 17-19]. They consider the

*substitutional expression*P = a

_{1}

*P*

_{1}+

*a*

_{2}

*P*

_{2}+ ... +

*a*, where

_{n}P_{n}*P*

_{1},

*P*

_{2},...,

*P*are the n distinct permutations of the

_{n}*S*and

_{N}*a*

_{1},

*a*

_{2},...,

*a*are numerical coefficients, and take into account the partitions of number

_{n}*N*. Any partition of the number

*N*denoted by [

*a*

_{1},

*a*

_{2},...,

*a*], where

_{k}*a*

_{1 }+

*a*

_{2}+... +

*a*=

_{k}*N*, with

*a*

_{1}

*a*

_{2}...

*a*will be represented simply by (a), when no confusion is likely to arise. The first work [17], using this approach have been done, around 1900, independently by Frobenius and by Young, that was a country clergyman. To each partition (a) of

_{k}*N*is constructed a shape, named Young tableaux, denoted by a, having a

_{1}spaces in the first row, a

_{2}in the second row and so on [9-11, 17-19]. By the shape we mean the empty box, i.e., the contour without the numbers. We show below all possible shapes associated with

*N*= 2, 3 and 4 particles.

The *N* numbers 1, 2,..., *N* are arranged in the spaces of the shape a in *N*! = *n* ways. Each such arrangement is called a *tableau T* and there are *N*! *tableaux* with the same shape. The tableau *T*, for a given shape, is called *standard tableau* if the numbers increase in every row of *T* from left to right and in every column of *T* downwards.

The tableaux are constructed as follows: insert the numbers 1, 2, 3,..., *N* into the shape in any order to give a Young tableau. Once the tableau has been fixed, we consider two types of permutations [9]. Horizontal permutations *p* are permutations which interchange only numbers in the same row. Vertical permutations *q* interchange only numbers in the same column. Hence, we define the Young operator by *YO* = *PQ* where the quantities *P* and *Q* are given by

*P* = å* _{p} p* ("symmetrizer")

and

where the sums are over the horizontal and vertical permutations and d_{q} is the parity of the vertical permutation *q*. The tableaux are obtained by the application of the Young operators on the initial standard tableau.

Note that if the arranged numbers increase in every row of *T* from left to right and in every column of *T* downwards, the tableau, for a given shape, is called *standard tableau.*

Let us indicate by the different *tableaux *of the same shape a generated by the permutations defined by the operator *YO*. Any permutation applied to a tableau of shape a will produce another tableau of the same shape a.

Denoting by the permutations which changes , we have . The matrices *D _{ik}* of an irreducible representation of degree f of

*S*is calculated from the formula [10]

_{N}*e _{ii}Pe_{kk} = D_{ik}e_{ik},*

where *e _{ik}* (

*i,k*= 1, 2,..,

*f*) are unit basis which satisfies the equations

*e*=

_{ij}e_{jk}*e*and

_{ik}*e*= 0 (

_{ij}e_{hk}*h*¹

*j*). The parameter

*f*, named

*degree*of the irreducible representation, gives the dimension of the irreducible matrices.

The elements *D _{ik}* of the (

*f*×

*f*) irreducible matrices can be determined adopting three different units

*e*: (1)

_{ik}*natural*, (2)

*semi-normal*and (3)

*orthogonal*. Note that the values found for the D

_{ik}components depend on the choice of the unit basis [9-11, 17-19]. Of course these three irreducible representations are equivalent.

Let us present a brief review of the fundamental properties of the irreducible representations of the *S _{N}* in the configuration space e

^{(N) }:

(1) To each partition (a) there is an irreducible representation described by square matrices with *f*(a) dimension. So, the *tableaux* with the same *shape* (a) have equivalent representations and the different *shapes *cannot have equivalent representations. There is a one-to-one correspondence between each shape (a) and the irreducible matrices .

(2) The dimensions *f*(a) of the irreducible square matrices assume the values 1^{2}, 2^{2},..., (*N* - 1)^{2}.

(3) There are only two 1-dimensional irreducible representations given by the partitions (a) = [*N*] and (a) = [1^{N}]. The first case is described by horizontal *shape* with *N* spaces. In the second case we have a vertical *shape* with *N* rows. The remaining representations have dimensions going from 2^{2} up to (*N* - 1)^{2} and are described by the various shapes occupied by 3, 4,..., *N* particles, respectively [9-11, 17-19].

**A.2. Systems with N = 2 and N = 3 particles: determination of the basis functions of their irreducible representations, their energy eigenvalues and their irreducible representations in the configuration and in the Hilbert spaces**

We will show how to determine the irreducible representations for the trivial case *N* = 2 and the simplest but non-trivial case of *N* = 3 using the Young operators. This is done constructing the basis functions of the irreducible representations [11, 19]. using orthogonal unit basis. We will take as the unit basis the *n = N*! degenerate energy orthonormal eigenfunctions {Y_{i}}_{i = 1, 2.., n} which span an *n*-dimensional Hilbert space *L*_{2}(e^{(N)}).

We will divide the process used to determine [11, 19] the irreducible representations in three parts **a**, **b** and **c**.

**A.3. Construction of the Young operators**

Following the recipes to construct the Young operators *Y* = *PQ*, defined by the Eq. (A.7) we obtain the following operators *Y*, associated with respective shapes [11, 19]:

*N* = 2

Shape [2]:

Shape [1^{2}]:

*N* = 3

Shape[3]:

Shape [1^{3}]:

Shape [2,1]:

Let us indicate by *e*_{1} = Y(1, 2) and *e*_{2} = *P*(1, 2)Y(1, 2) the unit vector basis of the 2-dimension Hilbert space *L*_{2}(e^{(2)}). Similarly, by *e*_{1} = Y(1, 2,3), *e*_{2} = Y(1,3,2), *e*_{3} = Y(2,1,3), *e*_{4} = Y(2,3,1), *e*_{5} = Y(3,1, 2) and *e*_{6} = Y(3,2,1) the unit vector basis of the 6-dimension Hilbert space *L*_{2}(e^{(3)}) obtained by the permutations *P _{i}e*

_{1}(

*i*= 1, 2,..,6).

**A.4. Construction of the basis functions and the energy eigenfunctions**

To construct the *basis functions for the various irreducible representations* [9, 19] of the *S*_{2} and *S*_{3} we apply the Young operators *YO* defined by Eqs. (A.8) and (A.9) to the function Y = Y(1, 2) and Y(1, 2,3) respectively. In these conditions we obtain:

For *N* = 2 the completely symmetric f_{s} and anti-symmetric f_{a} normalized eigenfunctions of the two 1d subspaces are written as

For *N* = 3 we have the following eigenvectors:

Shape [3]:

Shape [1^{3}]:

Shape [2,1]:

For *N* = 3 the unit vector basis {*e _{i}*}

_{i = 1,2..., 6}spans a 6-dimensional Hilbert space which is composed by two 1-dimensional subspaces,

*h*([3]) and

*h*([1

^{3}]), and one 4-dimensional subspace

*h*([2,1]). Since the functions

*Y*(

_{rs}*r,s*= 1, 2, 3, 4) form a set of linearly independent functions in

*h*([2,1]) we can construct by an orthonormalization process the base-vectors {

*Y*}

_{i}_{i = 1,.., 4}of the subspace

*h*([2,1]) that are given by

In these conditions the subspace *h*([2,1]) is spanned by the orthonormal vectors {*Y _{i}*}

_{i = 1, 2,..., 4}. and the eigenstate

*Y*([2,1]) associated to this subspace is written as

where functions *Y*_{+ } and *Y*_{- } are defined by

As can be easily verified, the functions f_{s}, f_{a} and {*Y _{i}*}

_{i = 1,..., 4}are orthonormal, that is, <

*f*|

_{n}*f*> = d

_{m}_{nm}, where

*n, m*=

*s, a*, 1, 2, 3 and 4. From these orthonormal properties we can easily verify that

and that

From the Eqs. (A.13)-(A.14) we see that the 4*d* subspace *h*([2,1]), which corresponds to the *intermediate Young shape* [2,1], breaks up into two 2*d* subspaces, *h*_{+ }([2,1]) and *h*_{- }([2,1]), that are spanned by the basis vectors {*Y*_{1}, *Y*_{2}} and {*Y*_{3}, *Y*_{4}}, respectively. To these subspaces are associated the wavefunctions *Y*_{+ }([2,1]) and *Y*_{- }([2,1]) defined by Eq. (A.14). There is no linear transformation *S* which connects the vectors *Y*_{+ } and *Y*_{- }.

Note that the above functions f_{s} and f_{a} defined by Eqs. (A.10) are the energy eigenfunctions for the system with *N* = 2 particles. Similarly, the functions f_{s}, f_{a} and {*Y _{i}*}

_{i = 1,..., 4}seen in the Eqs. (A.11)-(A.14) are the energy eigenfunctions of the system with

*N*= 3 particles.

**A.5. Calculation of irreducible representations of the S_{2} and S_{3} groups**

Finally, to calculate the *irreducible representations of the S*_{2}* and S*_{3}* groups* associated with the corresponding shapes it is necessary to apply the permutation operators *P _{i}* to the energy wavefunctions given by the Eqs. (A.10) and (A.11) and Eqs. (A.13) and (A.14).

*N* = 2 and 3:

*Horizontal shapes* [2] and [3]: *P _{i}* f

_{s}= (+1) f

_{s}, that is,

*D*[2] =

*D*[3] = +1.

*Vertical shapes* [1^{2}] and [1^{3}]: *P _{i}* f

_{a}= (±1) f

_{a}, that is,

*D*[1

^{2}] =

*D*[1

^{3}] = ±1,

showing that all the irreducible representations are 1-dimensional. To the shapes [2] and [3] are associated the matrix *D*^{(1)} = 1. To the shapes [1^{2}] and [1^{3}] are associated the matrix *D*^{(1)} = ±1.

*N *= 3, intermediate shape [2,1].

Applying the permutation operators *P _{i}* to

*Y*

_{+ }and

*Y*defined by the Eqs. (A.14) and taking into account that

*P*=

_{i}e_{j}*e*, where

_{m}*i, j, m*= 1, 2,3,..., 6, we can show that

where *D*^{(2)}(*P _{i}*) (

*i*= 1, 2,..., 6) are the same 2 × 2 matrices of the 2-dimensional irreducible representation of the

*S*

_{3}given by Eq. (A.6). This implies that the 4 × 4 representation matrices associated with the shape [2,1] are broken into 2 × 2 irreducible matrices

*D*

^{(2)}(

*P*). These irreducible representations are equivalent. In this way the 4 × 4 representation matrices in the 4-dimensional subspace

_{i}*h*([2,1]) can be written as the direct sum of two 2 × 2 equal irreducible matrices.

As pointed out above, adopting the particular unit vector basis {Y_{i}}_{i = 1, 2,..., 6} which are eigenvalues of the Hamiltonian *H* we have simultaneously determined the irreducible representations of the *S*_{3} in configuration space e^{(3)} and in the Hilbert space *L*_{2}(e^{(3)}) and constructed the eigenfunctions f_{s}, f_{a}, *Y*_{+ } and *Y*_{- } of the energy operator *H*. The 6d Hilbert space *L*_{2}(e^{(3)}) which is spanned by the basis vectors {Y* _{i}*}

_{i = 1, 2..., 6}is formed by tree subspaces

*h*(a). Two of them,

*h*([3]) and

*h*([1

^{3}]), are 1-dimensional. The 4

*d*subspace

*h*[(2,1]) which is spanned by the unit basis vectors {Y

_{i}}

_{i = 1,..., 4}is composed by two 2

*d*subspaces,

*h*

_{+ }([2,1]) and

*h*

_{- }([2,1]), spanned by the unit vectors {

*Y*

_{1},

*Y*

_{2}} and {

*Y*

_{3},

*Y*

_{4}}, respectively.

**Appendix B**

Permutations in the e^{(3)} and the rotations of an equilateral triangle in an Euclidean space *E*_{3}

It will be shown in this Appendix that the permutations operations *P _{i}* on the state

*Y*([2,1]) can be interpreted as rotations of an equilateral triangle in the Euclidean space

*E*

_{3}. To show this we will assume that in the

*E*

_{3}the states

*u*,

*v*and

*w*can occupy the vertices of an equilateral triangle taken in the plane (

*x, z*) plane, as seen in Fig. 1. The unit vectors along the

*x, y*and

*z*axes are indicated by

**i**,

**j**and

**k**. In Fig. 1 the unit vectors

**m**

_{4},

**m**

_{5}and

**m**

_{6}are given by

**m**

_{4}= -

**k**,

**m**

_{5}= -(Ö3/2)

**i**+(1/2)

**k**and

**m**

_{6}= (Ö3/2)

**i**+(1/2)

**k**, respectively.

We represent by *Y*(123) the initial state whose particles 1, 2 and 3 occupy the vertices *u, v* and *w*, respectively. As is shown in details elsewhere [5, 7] the irreducible matrices *D*^{(2)}(*P _{i}*) associated with the permutations

*P*=

_{i}Y*D*

^{(2)}(

*P*)

_{i}*Y*can be represented by unitary operators

*U*= exp[

*i*

**j.**(q/2)] and

*V*=

*i*exp[i

**m**

_{i}

**.**(f/2)]; q = ± 2p/3 are rotations angles around the unit vector

**j**, f = ± p are rotations angles around the unit vectors

**m**

_{4},

**m**

_{5}and

**m**

_{6}and are the Pauli matrices.

From these results we see that: (a) the eigenvectors *Y*([2,1]] are spinors and (b) the permutation operators *P _{i}* in e

^{(3)}are represented by linear unitary operators,

*U*and

*V*, in the Hilbert space

*L*

_{2}(e

^{(3)}).

According to a preceding paper [3], we have called *AS*_{3} the algebra of the symmetric group *S*_{3} .This algebra is spanned by 6 vectors, the irreducible matrices {*D*^{(2)}(*P _{i}*)}

_{i = 1, 2,.., 6}that before Ref. [3], have been indicated by {h

_{i}}

_{i = 1, 2,.., 6}. It was shown that associated to this algebra there is an algebraic invariant

*K*= h

_{inv}_{4}+ h

_{5}+ h

_{6}= (

**m**

_{4}+

**m**

_{5}+

**m**

_{6}). = 0. From this equality results that

*K*can be represented geometrically in the (

_{inv}*x, z*) plane by the vector

**M**identically equal to zero

**M**=

**m**

_{4}+

**m**

_{5}+

**m**

_{6}= 0. Usually, for continuous groups, we define the

*Casimir invariants*which commute with all of the generators (in our case the generators are h

_{4}and h

_{6}) and are, therefore, invariants under all group transformations. These simultaneously diagonalized invariants are the conserved quantum operators associated with the symmetry group. In our discrete case we use the same idea. So, the operator

*K*which corresponds to the genuine gentilionic representation of the

_{inv}*AS*

_{3}is identified with a quantum operator which gives a new conserved quantum number related to the

*S*

_{3}. Assuming that quarks are gentileons [3-8] and that the states

*u, v*and

*w*are the three

*SU*(3) color states we have interpreted the constant of motion

*K*= 0 as a color charge conservation which would imply consequently in

_{inv}*quark*confinement. In this case the

*AS*

_{3}Casimir

*K*= 0 was called color Casimir.

_{inv}