# Permutation operators

For a two-identical particles system we can define the permutation operator as the linear operator whose action on the basis vector is given by:

- it is hermitian:
- from the previous properties it follows that is
*unitary*:

For a number of identical particles the situation is more complex. There are indeed permutation operators, which we'll call , with referring to an arbitrary permutation. It is simple to prove that the permutation operators do not commute with each other. Furthermore, the properties which we have seen to be valid for are not necessary respected by . However we can define transposition operators as linear operators which exchange the roles of two particles without changing the others. Of course the pecularity of is that the only permutation operator is also a transposition operator. This is why it has the properties previously written. Since any permutation operators can be broken down into the product of transposition operators, which are unitary, are also unitary. However they are not necessary hermitian and the decomposition is not unique, even if it can be shown that the parity of transposition operators that constitues a permutation operator is always the same. This allows us to define a *parity* for permutation operators,according to the eveness or oddness of the number of transposition operators in their decomposition.
Since permutation operators do not commute with each other it is not possibile to form a basis of common eigenvectors. Nevertheless there exist special kets which are simultaneously eigenvectors of all permutation operators. These kets are the ones completely symmetric and completely antisymmetric with respect to all permutation operators:

## The symmetrization postulate[edit | edit source]

The set of constitutes a vector subspace of the state space, as well as the set of . However the state space is not the direct sum of and . There exist indeed kets which aren't neither completely symmetric nor antisymmetric.
However the **symmetrization postulate** saves us, since it states that in system composed of identical particles physical kets are, depending on the nature of the identical particles,either completely symmetric or completely antisymmetric with respect to permutation of these particles. Those particles whose physical kets are completely symmetric are called **bosons** and those for which physical kets are completely antisymmetric are called **fermions**.
This postulate limits the state space: it is no longer the tensor product of the state spaces of each identical particle, but just a subspace, for bosons and for fermions.
A never contradicted empirical rule enable us to identify **fermions** with particles of **half-integral spin** (elecrtons,positrons,neutrons,protons,muons,etc) and **bosons** with particles of **integral spin** (photons,mesons,etc).
This is called **spin-statistics theorem** and it is proved in quantum field theory.

## Permutation operators and exchange degeneracy[edit | edit source]

Let be a ket which can mathematically describe the state of a physical system of N identical particles. Then for all is also a proper ket for the description of the system state, as well as any ket belonging to the subspace spanned by and every . Depending on the ket the dimension of can vary between 1 and . If this dimension is there is an exchange degeneracy since several mathematical kets correspond to the same physical state. The new postulate restricts the class of mathematical kets which are proper description of a physical state: they have to belong to or according to the nature of identical particles.
In order to prove the uniqueness of the mathematical ket able to describe a physical system (we can call it *physical ket*) we define the projectors ^{[1]} on and as:

^{[2]}They are also called

*symmetrizer*and

*antisimmetrizer*since they act on an arbitrary ket belonging to and give respectively a completely symmetric and completely antisymmetric ket, belonging to and . These property can be written as: