- Physics or Engineering?
- What plants can be heard when they are growing?
- Looking for research on a game/dilema where a group of people can be killed by a specific action, that any one of them can perform
- The computer model of the brain
- What is the taxonomy of a musical hook?
- Poetry and maths: psychology
- How to convert Image to class index in NetEncoder
- How to remove “⍰” from parent cells with collapsed child cells in MMA 11.3?
- Wolfram Mathematica 11.3 Student Edition
- Number of contiguous ones of an element in a 2d binary array
- How to use FoldList / NestList and Pure function for this?
- Microscope recommendation for an amateur?
- Historical present in Genesis 1:2
- Can Adam in Genesis 2 be interpreted as referring to “humanity” rather than a specific man?
- How to write phonological rules these words?
- Bitcoinjs module missing issue
- Does government really seize Bitconnect assets?
- Is it okay to sext your fiancee
- 4th order butterworth filter using frequency response formula
- How to solve with MATLAB Microwave Engineering David Pozar problem 29 chapter 2 Transmission Lines Theory

# What does the symmetrization postulate mean for the decomposition of the $N$ particle Hilbert space $\mathcal{H}^N$?

Suppose you have $N$ particles, each of which can occupy any of $s$ states. In general, you can write the $N$ particle Hilbert space $\mathcal{H}^N$ as a product of $1$ particle Hilbert spaces $\mathcal{H}^1$:

$$

\mathcal{H}^N = \mathcal{H}^1 \otimes \mathcal{H}^1 \otimes \dots \otimes \mathcal{H}^1,

$$

with $\mathrm{dim}[\mathcal{H}^1]=s$.

This means that the $N$ particle space will have $\mathrm{dim}[\mathcal{H}^N]=s^N$.

Now we look at the usual subspaces: $\mathcal{F}^N$ for fermions and $\mathcal{B}^N$ for bosons. For their dimensions, we have

$$

\mathrm{dim}[\mathcal{F}^N] = \binom{s}{N}

$$

and

$$

\mathrm{dim}[\mathcal{B}^N] = \binom{s+N-1}{N}.

$$

Now, I was under the impression that the symmetrization postulate, saying that there are only either completely symmetric or completely antisymmetric states, means that there is a decomposition of $\mathcal{H}^N$ into a direct sum

$$

\mathcal{H}^N = \mathcal{F}^N\oplus\mathcal{B}^N.

$$

However, as one can easily check (e.