marlon said:
Sorry, but i still don't get in which cases this is true. Could you explain ? I reread this thread but i did not see such an example where the two fermions are in the SAME quantum state.
marlon
The original claim was that identical fermions can't bind together because of the Pauli exclusion principle. A deuterium atom is an isotope of hydrogen with one extra neutron. Since it is composed of three fermions, (neutron, proton, electron), it is a fermion. Deuterium forms a gas, just like hydrogen, therefore it is an example of a fermions that bind together. Furthermore, if you want to get into the details of the states of the individual components of a deuterium gas molecule you have a choice, ortho and para deuterium; you can have the spins either way.
This is very elementary stuff that is covered in any nuclear physics class so it is hard to find peer reviewed sources (outside of textbooks). Here are some iffy online sources:
http://en.wikipedia.org/wiki/Hydrogen
http://en.wikipedia.org/wiki/Orthohydrogen
So you can't just say that two neutrons don't bind together because of the PEP.
My other complaint is about the simplification of the PEP as being that "no two fermions can occupy the same state". It is only valid if you add a bunch of qualifiers to it to beef it up. A cogent physical example is the traditional wave function for a bound state of two particles. The usual coordinates are a center of mass and a displacement. Let R be the center of mass and r be the relative position coordinates. Then the wave function is \psi(R,r)
If the PEP is enforced by requiring that the wave function be negated under swapping the coordinates, then the requirement reads
\psi(R,-r) = -\psi(R,r)
which is easy enough to understand and apply.
If the PEP is enforced by requiring that the two fermions never occupy the same state, well, how the hell are you going to enforce that? What it means literally is that \psi(R,0) = 0, which does follow from the \psi(R,-r) = -\psi(R,r) rule but is not enough to ensure that the wave state is valid under that rule, and it certainly isn't enough to prove that there is no bound state.
Another example on the PEP. We all know that with spatially separated \psi_a and \psi_b, a valid wave function for fermions is:
\psi(r_1,r_2) = \psi_a(r_1)\psi_b(r_2) - \psi_b(r_1)\psi_a(r_2)
as this satisfies the requirement that the wave function be negated under swapping of the particles. Note that the above is a linear superposition of two simple multiparticle wave states each of which satisfies the requirement that no two fermions occupy the same position.
Now if we instead require simply that no two fermions occupy the same space, then we would also have to require the following wave function:
\psi(r_1,r_2) = \psi_a(r_1)\psi_b(r_2) + \psi_b(r_1)\psi_a(r_2)
as it is also a linear superposition of two simple multiparticle wave states each of which satisfies the requirement that no two fermions occupy the same position. But we know that that is not a valid fermion wave state.
In short, the real PEP is that "fermion wave functions are negated when two particles are exchanged". This is sufficient to give all the results. If one instead writes the PEP as "no two fermions occupy the same state", one ends up having to fix it by adding in the antisymmetrization postulate to fix the 2nd problem listed above, and to add in the requirement that the restriction be enforced over all possible linear superpositions to fix the first problem. If you start with "no two fermions occupy the same state" you have to assume a bunch more stuff to get to a condition that gives the correct wave functions.
And when you start talking about the states of different fermions in the same quantum state you are treading on thin ground because you are putting labels on your supposedly indistinguishable particles. A better way of writing it would be to say that the Foch space has only one inhabitant per state, but then you haven't made any kind of statement on what the valid Foch states are and all that. You'd still have to include antisymmetrization in there somewhere.
The "no two fermions in the same state" version of the PEP is common enough in the literature, but I think it's an ugly concept that belongs in books designed to teach physics to poets. It just is not very good for calculation. It's what you get as a result of applying the real PEP to certain very simple situations and then looking at them as if you could label indistinguishable particles so that you could know their states. Now that I think of it, I'm not too fond of Foch space either.
By the way, the situation in density matrix theory is even more interesting.