A constructive proof is presented to show that, for any permutation P on spin space, P+P -1 can be expressed as a linear combination of spin-operator products Pi s m .s n with all the particle indices m, n in a product distinct.
A nonrelativistic proof of the spin-statistics theorem is given in terms of the field operators satisfying commutation and anticommutation relations, which are introduced here in the coordinate space as a means to build the permutation symmetry into the brackets of identical particles. An eigenvalue problem of a π-rotation for a product of two annihilation operators is combined with an analysis on its rotational property to prove the connection that the field operators for integral-spin and half-integral-spin particles obey the commutation and anticommutation relations, respectively.
This study discussed Dirac's bra-ket formalism for the identical particles system based on the rigged Hilbert space reformulated by R. Madrid [J. Phys A:Math. Gen. 37, 8129 (2004)]. The bra and ket vectors for a composite system that form the basis of an identical particle system are described in dual and anti-dual spaces for the tensor product of rigged Hilbert spaces. The permutation operator that characterizes the symmetry of identical particles is constructed as the operator on such dual spaces. We also show that the nuclear spectral theorem in the tensor product of rigged Hilbert spaces endows the spectral expansion of the self-adjoint operator in the dual and anti-dual spaces and the expansion is consistent with the identicle particle system when the permutation operator commutes the self-adjoint operator.
Abstract The well known one‐to‐one correspondence between the eigenstates of the total spin for a system of spin‐½ particles and irreducible representations of the symmetric group with up to two rows in the Young shape is the basis of interesting formal developments in quantum chemistry and in the theory of magnetism. As an explicit manifestation of this correspondence the class operators of the symmetric group are demonstrated to be expressible in terms of the total spin operator. This correspondence does not hold for higher elementary spins. The extension to arbitrary spin is investigated using Schrödinger's generalization of the Dirac identity, which expresses the transpositions in terms of two‐particle spin operators. It is shown that additional operators, which for σ = ½ reduce to the total spin operator, are needed for a complete classification. Some aspects of the formalism are developed in detail for σ = 1. In this case a classification identical with that provided by the irreducible representations of the symmetric group is obtained in terms of the eigenstates of two commuting operators, one of which is the total spin operator.