Identical particles antysimmetric eigenfunctions with antisymmetric sum

Question

In studying systems of 3 or more identical, non-interacting particles, fermions or bosons, I have read that to create eigenfunctions of the Hamiltonian that are antisymmetric or symmetric one creates the symmetric and antisymmetric sums, respectively. Let assume the Hamiltonian is separable $H=H_1+H_+...+H_i$ and $\psi_{\alpha}(x_1,x_2,...,x_n)$ is the total Hamiltonian eigenfunction which can be written as $\psi_{\alpha}(x_1,x_2,...,x_n)=\phi_{\alpha_1}(x_1),\phi_{\alpha_2}(x_2),...,\phi_{\alpha_n}(x_n)$ where $\phi_{\alpha_i}(x_i)$ is the eigenfunction fo Hamiltonian $H_i$. The symmetric and antisymmetric sums are:

$$\psi_{\alpha}^{(s)}(x_1,x_2,...,x_n)=\sum_{i} \psi_{\alpha}(P_i(x_1,x_2,...,x_n))$$

$$\psi_{\alpha}^{(a)}(x_1,x_2,...,x_n)=\sum_{i} (-1)^{|P_i|}\psi_{\alpha}(P_i(x_1,x_2,...,x_n))$$

where $|P_i|$ assumes values $+1$ or $-1$ depending on whether the permutation $P_i$ of the coordinates is of odd or even order, respectively and $\alpha$ indicates the set of quantum numbers.

I thought this same method could be used to construct even and odd eigenfunctions for systems of only two particles as well.

For example we assume a system with total Hamiltonian $H=H_1+H_2$ where $H_1$ and $H_2$ are two non-interacting hydrogen Hamiltonians and the two particles are fermions of spin $1/2$.

We consider the physical system in its fundamental state, that is, with both particles on the ground state so that their quantum numbers are $\alpha_1=[n=1,l=0,l_z=0,s_z=1/2]$ and $\alpha_2=[n=1,l=0,l_z=0,s_z=-1/2]$, if I want to use the method of antisymmetric sum I write the quantum numbers $\alpha_1$ and $\alpha_2$ as $(n,s_z)_i$ so $(1,1/2)_1$ and $(1,-1/2)_2$ and I write $$\psi_{\alpha}(\vec{r_1},\vec{r_2})=\phi_{1,1/2}(\vec{r_1})\phi_{1,-1/2}(\vec{r_2})-\phi_{1,-1/2}(\vec{r_1})\phi_{1,1/2}(\vec{r_2})$$ which can be rewritten in the classical form $\psi_{\alpha}(\vec{r_1},\vec{r_2})=\phi_{1}(\vec{r_1})\phi_{1}(\vec{r_2})|1/2,1/2;0,0\rangle$ with $|S_1,S_2;S,S_z\rangle$. No problems till here, the problem I have is when considering this system in the first excited state when the system is in this particular arrangement: $\alpha_1=[1,-1/2]$ and $\alpha_2=[2,1/2]$ so that one particle is in the fundamental level with spin down and the other particle is in the first excited state with spin up. Again, I want to use the method of anisymmetric sum, and I obtain something wrong, in fact:

$$\psi_{\alpha}(\vec{r_1},\vec{r_2})=\phi_{1,-1/2}(\vec{r_1})\phi_{2,1/2}(\vec{r_2})-\phi_{2,1/2}(\vec{r_1})\phi_{1,-1/2}(\vec{r_2})$$

Now, from what I understand, the logic behind these mathematical formalisms is that since the particles are identical, the total state must be a linear combination of two states, one with the $1$ and $2$ indices and the other with the swapped indices, which is what I wrote via permutations, but I get the wrong result, in fact I can rewrite via spinors my wavefunction like this:

$$\psi_{\alpha}(\vec{r_1},\vec{r_2})=\phi_{1}(\vec{r_1})\begin{pmatrix} 0 \\ 1 \end{pmatrix} \phi_{2}(\vec{r_2})\begin{pmatrix} 1 \\ 0 \end{pmatrix} -\phi_{2}(\vec{r_1})\begin{pmatrix} 1 \\ 0 \end{pmatrix} \phi_{1,}(\vec{r_2})\begin{pmatrix} 0 \\ 1 \end{pmatrix} $$

instead, in this case, I should get 4 of these "blocks", namely: $$\psi_{\alpha}(\vec{r_1},\vec{r_2})=\phi_{1}(\vec{r_1})\begin{pmatrix} 0 \\ 1 \end{pmatrix} \phi_{2}(\vec{r_2})\begin{pmatrix} 1 \\ 0 \end{pmatrix} -\phi_{2}(\vec{r_1})\begin{pmatrix} 0 \\ 1 \end{pmatrix} \phi_{1,}(\vec{r_2})\begin{pmatrix} 1 \\ 0 \end{pmatrix} +\phi_{1}(\vec{r_1})\begin{pmatrix} 1 \\ 0 \end{pmatrix} \phi_{2}(\vec{r_2})\begin{pmatrix} 0 \\ 1 \end{pmatrix} -\phi_{2}(\vec{r_1})\begin{pmatrix} 1 \\ 0 \end{pmatrix} \phi_{1,}(\vec{r_2})\begin{pmatrix} 0 \\ 1 \end{pmatrix}$$

Where do I go wrong?

Important, I know how to build the states correctly, my problem is that I can't build them correctly with this other method that I've seen is only used with 3 particles or more.

I would like to show what I am doing wrong in the construction of the states with this second method, if it can be used in the case of only two particles, and if it is right the reasoning that I have set out in the sentence before the last equation (Now, from what I understand, the logic behind these mathematical formalisms...)

Answer 1

This is too long for a comment...

Your first statements are not always correct. For three or more particles, one must proceed with extreme care because there are presentations of $S_3$ or $S_n$ that are not 1-dimensional, and neither symmetric nor antisymmetric: a state can be partially symmetric and not return to a multiple of itself after every permutation.

To construct antisymmetric states, one must combine the multidimensional spatial and spin states of representations that transform by conjugate representations of $S_n$. For $S_2$ is collapses to symmetric and antisymmetric representations, respectively but not for $n>3$ or greater. See for instance

Harvey M. The symmetric group and its relevance to fermion physics. CM-P00067619; 1981.

In particular, it is clearly not possible to create fully antisymmetric states of three spin-1/2 particles, so in such a case multidimensional irreps of $S_3$ (or more generally of $S_n$) will have to be combined. In particular the spin and space parts of the states are no longer separable.

This is a very inefficient way, and one usually prefers Slater determinants of space and spin states, which are automatically antisymmetric, as a construction method for fermionic states.

---

Edit:

In the case of two particles you have in mind, it is possible to separate the spatial and spin degrees of freedom. Thus: \begin{align} \Psi_\pm (x_1,x_2)=\left(\phi_1(x_1)\phi_2(x_2)\pm \phi_2(x_1)\phi_1(x_2)\right)\left(\vert +\rangle_1\vert -\rangle_2 \mp \vert -\rangle_1\vert +\rangle_2\right) \end{align}
are examples of a fully antisymmetric states with total energy $E_1+E_2$

One can also write (for instance) \begin{align} &\hbox{Det}\left\vert \begin{array}{cc} \phi_1(x_1)\vert +\rangle_1 &\phi_2(x_1)\vert -\rangle_1 \\ \phi_1(x_2)\vert +\rangle_2 &\phi_2(x_2)\vert -\rangle_2 \\ \end{array}\right\vert = \phi_1(x_1)\phi_2(x_2)\vert +\rangle_1\vert -\rangle_2 - \phi_1(x_2)\phi_2(x_1)\vert -\rangle_1\vert +\rangle_2\, ,\\ &\hbox{Det}\left\vert \begin{array}{cc} \phi_1(x_1)\vert -\rangle_1 &\phi_2(x_1)\vert +\rangle_1 \\ \phi_1(x_2)\vert -\rangle_2 &\phi_2(x_2)\vert +\rangle_2 \\ \end{array}\right\vert = \phi_1(x_1)\phi_2(x_2)\vert -\rangle_1\vert +\rangle_2 - \phi_1(x_2)\phi_2(x_1)\vert +\rangle_1\vert -\rangle_2\, ,\\ &\hbox{Det}\left\vert \begin{array}{cc} \phi_1(x_1)\vert +\rangle_1 &\phi_2(x_1)\vert +\rangle_1 \\ \phi_1(x_2)\vert +\rangle_2 &\phi_2(x_2)\vert +\rangle_2 \\ \end{array}\right\vert = \left(\phi_1(x_1)\phi_2(x_2)-\phi_2(x_1)\phi_1(x_2)\right)\vert +\rangle_1\vert +\rangle_2\\ &\hbox{Det}\left\vert \begin{array}{cc} \phi_1(x_1)\vert -\rangle_1 &\phi_2(x_1)\vert -\rangle_1 \\ \phi_1(x_2)\vert -\rangle_2 &\phi_2(x_2)\vert -\rangle_2 \\ \end{array}\right\vert = \left(\phi_1(x_1)\phi_2(x_2)-\phi_2(x_1)\phi_1(x_2)\right)\vert -\rangle_1\vert -\rangle_2\end{align} all of which are properly antisymmetrized with total energy $E_1+E_2$.

Note that any linear combination of antisymmetric states is also an antisymmetric states, so additional combinations are possible.