This I do not get. The spinors ##\begin{pmatrix}
0\\
1\\
\end{pmatrix}## and ##
\begin{pmatrix}
.1\\
\sqrt{.99}\\
\end{pmatrix}## are different but not orthogonal. And if two identical fermions in the same ground state of the same atom can occupy those states, because they are different, then wouldn’t any number of electrons be allowed to be in that same ground state as long as their spin states are a little different?

That's not what I said. The key thing you need to start with is that you do not have two identical fermions occupying one-particle states. You have one quantum system composed of two identical fermions, which has one state. If you want to write down such a state mathematically, you have to write it under the constraints I described for such states. Writing down a bunch of one-particle states and asking whether two identical fermions can be in such states is meaningless; that's not the quantum system we're talking about.

If you actually try to write down a valid state for a quantum system consisting of two identical fermions in a single energy level of a bound system, you will find that you cannot write down a state that could be described in words as "one particle is in the state ##\begin{pmatrix} 0\\ 1\\ \end{pmatrix}## and one particle is in the state ##\begin{pmatrix} .1\\ \sqrt{.99}\\ \end{pmatrix}##". There is no such state that satisifies the constraints. By contrast, if you try to write down a valid state for a quantum system consisting of two identical fermions in free space that both have the same energy, you will find that you can write down such a state. But you actually have to go through the exercise of trying to write down actual states of the actual quantum system under discussion; just naming one-particle spin states won't do it.

Then I guess I’m completely lost here. Pretty much every source talks about the state of identical fermions as $$\psi (x_a,x_b)=A(\psi_a(x_a)\psi_b(x_b)-\psi_a(x_b)\psi_b(x_a))$$ In this equation ##\psi_a## and ##\psi_b## are single-particle states.

Right. It’s just a fermion and cannot be identified among other identical fermions in the system. So if you ignore my poor wording, when I talked about the state of particle a I meant ##\psi_a## and when I talked about the state of particle b I meant ##\psi_b##. I am still completely lost as to how these states do not exist.

Yes, but they occur as factors in products, and the state as a whole is a sum of those products. So there are no actual single-particle states, physically, for this system; they are just artifacts of the mathematical way we represent the state. So are the labels ##a## and ##b##. You can't understand what's going on if you focus on these artifacts of the math and don't think about the overall way the state is constructed. You have to actually start from a valid basis for the Hilbert space of the two-particle system, and then see what states you can write down as valid linear combinations of those basis states. So the first question you need to ask is, what is a valid basis for the Hilbert space of the two-particle system? (I described how to construct one in a previous post, but you should not take my description for granted; you should construct the basis yourself.)

That's because you're not doing what I asked you to do. You are just waving your hands and writing down two one-particle states and assuming that there is some valid state in the Hilbert space of the two-particle system which can be described as one particle being in each of these states. But just waving your hands doesn't show that your assumption is correct. You have to actually show it, by constructing a valid basis for the Hilbert space of the two-particle system and then writing down the state you think you are talking about in that basis. You have not done that. And I think that until you try, you will continue to be confused.

That means a tiny and experimentally trivial difference could qualify as "different"? So that you might need a really long run of identical experiments to bring out that tiny difference in state and prove that they are not violating Pauli's principle?

If there is a continuous degree of freedom involved, yes. For example, two identical fermions could differ in position by a very small amount, while being in identical spin states, without violating the Pauli exclusion principle. However, if the two identical fermions had exactly the same position, then they could not have spin states that differed by a very small amount, because the spin degree of freedom is not continuous.

Have you tried to answer the questions I have been asking? Start with this one: what is a valid basis of the Hilbert space of the quantum system consisting of two identical fermions?

I really don’t know what you are asking me right now. Can I have some help arriving at the answer? I understand what a Hilbert space is, but I always thought that a valid basis would be a spin up state and a spin down state, or if we are talking about energy, the ground state, the first excited state, the second excited state, etc.

Those states form a basis for one particular Hilbert space, the Hilbert space of spin states for a single spin-1/2 particle.

Those states would form a basis for another particular Hilbert space, the Hilbert space of a single particle in a potential well. Strictly speaking, this particle would have to have zero spin, since you are only including energy in the specification of the basis states.

The Hilbert space you have been implicitly referring to in this discussion is neither of the above. In fact it's not entirely clear which one it is, since we have talked about several different possible scenarios, but we'll start with the simplest possible one that is relevant: the Hilbert space of a quantum system consisting of two identical spin-1/2 particles, which are both in the same energy level of some potential well. At this point we are ignoring any other characteristics of the particle or the potential well: no electric charge, no nucleus of the atom, etc. We are also ignoring any possibility of either particle jumping to some other energy level (for example, by absorbing a quantum of radiation).

This Hilbert space is an antisymmetric tensor product of two copies of the Hilbert space of spin states for a single spin-1/2 particle. Unfortunately, we don't have any way of writing down what that means without labeling the particles, but as I've said before, it's important to realize that these labels are artifacts of our math and do not correspond to anything in the actual system. If we label the particles as "particle 1" and "particle 2", then a simple tensor product (which is not quite what we're looking for, but will give us a start at getting there) of the Hilbert spaces for each particle would be a Hilbert space with a basis consisting of four mutually orthogonal vectors which we could write as ##\vert \uparrow \rangle_1 \vert \uparrow \rangle_2##, ##\vert \uparrow \rangle_1 \vert \downarrow \rangle_2##, ##\vert \downarrow \rangle_1 \vert \uparrow \rangle_2##, ##\vert \downarrow \rangle_1 \vert \downarrow \rangle_2##, where the arrows denote the "up" and "down" basis states for the single-particle Hilbert space and the subscripts denote which particle (1 or 2). In other words, the simple tensor product Hilbert spaces consists of all possible states you can form by multiplying together two single-particle states.

If you want some more information about tensor products of Hilbert spaces, see here:

But the Hilbert space we actually want is the antisymmetric tensor product; "antisymmetric" because we are dealing with fermions. This Hilbert space can be constructed in a number of ways, but the simplest is to take all possible states you can form from the following formula:

where ##\vert \psi_a \rangle## and ##\vert \psi_a \rangle## are states belonging to the single-particle Hilbert space of spin states. So what we need is a valid set of basis states for this Hilbert space. One way to find them is to expand ##\vert \psi_a \rangle## and ##\vert \psi_a \rangle## in terms of the single-particle basis states and substitute into the above formula:

You can see that two of these four terms vanish, and the other two have the same factor in front, just with a sign change, so we end up with (note that the factor involving the ##a## and ##b## coefficients must be ##1## if the state is normalized):

In other words, the antisymmetric tensor product Hilbert space has just one basis state! And therefore it has just one state, period (since the only way to change the above basis state would be to multiply it by some complex number, and that doesn't change the state physically).

What does this mean, physically? It means that, if you want to put two spin-1/2 particles into the same energy level of a potential well, there is only one way to do it. What is that way? The obvious way: give them opposite spins. Note that that is what the above state is: a state in which the two spin-1/2 particles have opposite spins. It does not specify the spins of either particle individually: it just says they have opposite spins. In other words, this state is an entangled state: neither particle has a definite state individually, only the system consisting of the two particles does.

Note also that, since the two particles must have opposite spins, there is no state in this Hilbert space that corresponds to your example, where the two spins only differed by a small amount. What the above is telling us is that this is not physically possible for two spin-1/2 fermions in the same energy level of a potential well.

I'll stop here and let you digest the above. But you should understand it thoroughly before we try to go on to more complicated examples.

Ah, this makes perfect sense now. And, I can see how this would apply to any situation where there is a discrete set of basics states, like the first two energy levels (for bound states) of a potential well.

So, I see that the spin up state and the spin down state are orthogonal. It would appear that any other two orthogonal states would provide the same results (i.e. having ##| \uparrow \rangle \longrightarrow \frac{1}{\sqrt{2}}\left ( | \uparrow \rangle + | \downarrow \rangle \right )## and ##| \downarrow \rangle \longrightarrow \frac{1}{\sqrt{2}} \left ( | \uparrow \rangle - |\downarrow \rangle \right )##). Is this correct?

Yes, you can pick any two orthogonal single particle spin states and use them as a basis for the single particle Hilbert space, and things will work out the same way.

Hm, Griffiths seems to confuse students often with his quantum mechanics textbook. It seems not as good as his electrodynamics book then? I don't know his book, so I can't tell.

First of all one should indeed distinguish two things first: According to all what we know in Nature there are to kinds of indistinguishable particles only, namely bosons and fermions, for which many-body states are completely symmetric for bosons (antisymmetric for fermions) under exchange of two particles. There are esceptions for certain "quasiparticles" in interesting effectively two-dimensional quantum many-body systems, but let's leave out this somewhat exotic topic here. As far as the elementary particles are concerned there are indeed only bosons or fermions (at least as far as we know and as we more than successfully describe by the Standard Model).

Then there is spin, and according to the mathematics of the rotation group SO(3) and its covering group, the SU(2), there are half-integer and integer spin realizations. At a first glance, this seems to have nothing to do with whether a given particle with spin is a boson or fermion, but in relativistic quantum field theory, making some quite intuitive assumptions (locality, microcausality, boundedness of the Hamiltonian from below and the existence of a stable ground state) implies that for the proper realization of the proper orthochronous Poincare group for both massless and massive particles you are forced to quantize integer-spin (half-integer-spin) fields as bosons (fermions) to fulfill all these assymptions, which in turn lead to a physically meaningful particle interpretation (in the sense of asymptotic free states), a unitary S-matrix, and the linked-cluster principle. Indeed, all empirical evidence shows that half-integer-spin particles are always fermions and integer-spin particles are always bosons.

For the details see Weinberg, Quantum Theory of Fields, vol. I, which is a tough book, but it really provides the complete insight why QFT is the way it is!