# Entanglement correlations, singlet spin state

Let's say you have a pair of electrons in the singlet spin state. I thought that Alice measuring the spin of one electron (about the "z axis") corresponded to applying the operator $$\hat{S}_z\otimes \hat{I}$$ (where $$\hat{I}$$ is the identity operator) to the singlet state $$\frac{1}{\sqrt{2}}(\uparrow \otimes \downarrow - \downarrow \otimes \uparrow )$$. However, I don't see (mathematically) why Alice measuring spin up forces the state to be $$\uparrow\otimes\downarrow$$.

I say this because the operator $$\hat{S}_z\otimes \hat{I}$$ has eigenvectors (like $$\frac{1}{\sqrt{2}}(\uparrow\otimes\uparrow + \uparrow\otimes\downarrow )$$) which (1) would give Alice the spin up result and (2) have a nonzero inner product with the initial (singlet) state. So why can't the state collapse to another eigenvector like the one I just mentioned (and thus Bob not necessarily measure spin down)? I think I'm missing something simple here.

Just thought about this a little more and I have another question which could solve this problem. Let me clarify the steps I was describing in my initial question first.

Step 1: Prepare state $$1/\sqrt{2}(\uparrow\otimes\downarrow -\downarrow\otimes\uparrow )$$

Step 2: Alice measures spin up when measuring $$\hat{A}=\hat{S}_z\otimes\hat{I}$$.

Step 3: State collapses to an eigenstate of $$\hat{A}$$ with eigenvalue $$\hbar /2$$, namely a state of the form $$\uparrow\otimes (\mu_1\uparrow + \mu_2 \downarrow) \equiv S_{\mu_1,\mu_2}$$.

Step 4: Bob measures the spin of the other electron via $$\hat{B}=\hat{I}\otimes\hat{S}_z$$.

Step 5: State collapses to an eigenstate of $$\hat{B}$$ where the probability of collapsing to any such state is the square of the inner product of that state with $$S_{\mu_1,\mu_2}$$. This means we get $$\uparrow\otimes\uparrow$$ with probability $$|\mu_1|^2$$, otherwise $$\uparrow\otimes\downarrow$$.

Now, if you consider steps 2 and 4 together as one step (and 3&5 as one step), I do agree that we must end up in the state $$\uparrow\otimes \downarrow$$ (or $$\downarrow\otimes\uparrow$$) -- the normal correlations appear. But how do you justify that? Why don't we apply that logic to other cases like measuring the position and then the momentum of particle and then saying it was a simultaneous measurement of both properties, ...

Good question.

I wonder if $$\hat{A}=\hat{S}_z\otimes\hat{I}$$ can be considered as an observable for the complete state. Maybe we shouldn't expect to find an eigenstate of that kind of operator when Alice only is performing a measurement.

I think that this operation should be considered as a projection of the initial state onto the subspace borne by the eigenstate got by Alice. The eigenstate that you think about is indeed into this subspace, but the initial state is not projected onto it.

SpectraCat
Just thought about this a little more and I have another question which could solve this problem. Let me clarify the steps I was describing in my initial question first.

Step 1: Prepare state $$1/\sqrt{2}(\uparrow\otimes\downarrow -\downarrow\otimes\uparrow )$$

Step 2: Alice measures spin up when measuring $$\hat{A}=\hat{S}_z\otimes\hat{I}$$.

Step 3: State collapses to an eigenstate of $$\hat{A}$$ with eigenvalue $$\hbar /2$$, namely a state of the form $$\uparrow\otimes (\mu_1\uparrow + \mu_2 \downarrow) \equiv S_{\mu_1,\mu_2}$$.

Step 4: Bob measures the spin of the other electron via $$\hat{B}=\hat{I}\otimes\hat{S}_z$$.

Step 5: State collapses to an eigenstate of $$\hat{B}$$ where the probability of collapsing to any such state is the square of the inner product of that state with $$S_{\mu_1,\mu_2}$$. This means we get $$\uparrow\otimes\uparrow$$ with probability $$|\mu_1|^2$$, otherwise $$\uparrow\otimes\downarrow$$.

Now, if you consider steps 2 and 4 together as one step (and 3&5 as one step), I do agree that we must end up in the state $$\uparrow\otimes \downarrow$$ (or $$\downarrow\otimes\uparrow$$) -- the normal correlations appear. But how do you justify that? Why don't we apply that logic to other cases like measuring the position and then the momentum of particle and then saying it was a simultaneous measurement of both properties, ...

I think this has more to do with the allowable eigenstates of the system, rather than the possible measurement results at Alice's detector. Since we are dealing with fermions, the overall wavefunction must be anti-symmetric ... since we further know that we are dealing with a singlet state, that limits the possible configurations to (up,down) and (down,up). Basically what I am saying is that Alice's measurement cannot throw the system into a configuration that has a coefficient of zero in the initial superposition state. So, in step 3 of your example, we know that the $$\mu_1$$ coefficient is zero going in (due to the specification of the singlet state), so Alice's measurement cannot change that.

I suppose one way of looking at it is, when Alice measures one particle she projects BOTH particles into one of the states in the initial superposition.

Why should it end up in any eigenstate of $S_z \otimes 1$? If a system is in the state (1 0) an Sz measurement won't find it in any eigenstate of Sz, else you could get (0 1) which doesn't make sense.

Pio2001: Yes, I was assuming that if Alice measures Sz (and no measurement is performed on Bob's end), then the appropriate operator should be $$\hat{S}_z\otimes \hat{I}$$. If that's not correct, does anyone know what the appropriate operator would be? Also, the state I mentioned does have a nonzero projection onto the initial state -- their inner product is $$\mu_2$$.

SpectraCat: My question is what limits the states to (up,down) and (down,up) -- the the normal collapse rules don't seem to enforce that in this situation (although it looks like they DO if the operator $$\hat{S}_z\otimes \hat{S}_z$$ was applied instead). What do you mean the configuration has a coefficient of zero in the initial state -- the inner product of the two states is non-zero ($$\mu_2$$) right?

Tomsk: What I'm wondering is why the other particle must collapse...maybe $$\hat{S}_z\otimes \hat{I}$$ is not Hermetian and any Hermetian operator would enforce this? I'll try to check that. On your second point, it should be an eigenstate of that operator if that's the correct operator, the reason your example is different is because in your case the inner product of (0 1) with the initial state (1 0) is 0, so there is 0 probability of ending up in (0 1) after the measurement. In the example I gave the inner product is not 0.

SpectraCat
SpectraCat: My question is what limits the states to (up,down) and (down,up) -- the the normal collapse rules don't seem to enforce that in this situation (although it looks like they DO if the operator $$\hat{S}_z\otimes \hat{S}_z$$ was applied instead). What do you mean the configuration has a coefficient of zero in the initial state -- the inner product of the two states is non-zero ($$\mu_2$$) right?

Well, that's just the point ... the only states that can be projected out of a superposition are the ones that were in it to begin with. You cannot create probability density for the (up,up), or (down,down) just by making a measurement.

Think of it this way .. imagine you have a superpostion of just the v=0 and v=1 states of a harmonic oscillator. Now you make a measurement of the energy. What possible values can you observe? You will measure energy eigenvalues to be sure, but only those that were in the superposition to begin with (i.e. either 0.5 or 1.5 times hv).

The situation you are talking about here are is no different ... the only states in the initial superposition (i.e. the singlet), are (up,down) and (down,up) ... therefore those are the only possible states that can be projected out by Alice's measurement.

SpectraCat: If I look at a simpler example in which a system is in a state $$1/\sqrt{2}(\psi_1 - \psi_2)$$, where $$\psi_i$$ are eigenstates of a nondegenerate operator O, then I understand that measurement of O will make the state become either $$\psi_1$$ or $$\psi_2$$, with an equal probability of either result. I.e. you have to end up with one of the 2 states in the initial superposition as you said. This seems to be what you are relating to or thinking of, but I think there is a crucial difference here -- the fact that O is nondegenerate implies that no other eigenstates have a nonzero inner product with $$\psi_1$$ and $$\psi_2$$, and therefore no other eigenstates can result from measurement of O. However, in the problem I was talking about the degeneracy of the operator is such that other states (like the one I mentioned) can both (1) be eigenstates of the operator and (2) have a nonzero inner product (and therefore a nonzero probability of resulting from the measurement, presumably).

SpectraCat
SpectraCat: If I look at a simpler example in which a system is in a state $$1/\sqrt{2}(\psi_1 - \psi_2)$$, where $$\psi_i$$ are eigenstates of a nondegenerate operator O, then I understand that measurement of O will make the state become either $$\psi_1$$ or $$\psi_2$$, with an equal probability of either result. I.e. you have to end up with one of the 2 states in the initial superposition as you said. This seems to be what you are relating to or thinking of, but I think there is a crucial difference here -- the fact that O is nondegenerate implies that no other eigenstates have a nonzero inner product with $$\psi_1$$ and $$\psi_2$$, and therefore no other eigenstates can result from measurement of O. However, in the problem I was talking about the degeneracy of the operator is such that other states (like the one I mentioned) can both (1) be eigenstates of the operator and (2) have a nonzero inner product (and therefore a nonzero probability of resulting from the measurement, presumably).

Ok .. I guess I see what you are saying. I am not sure that you are correct, but let's assume for the moment you are. The state you constructed (up,up) + (down,up), is not a valid eigenstate for any system of two identical particles, because it is neither antisymmetric nor symmetric with respect to exchange of the particles. Thus I don't think it is possible for Alice's measurement to throw the system into such a state, even though it does seem to be a possible eigenstate of her measurement operator.

Notice that all of the other (i.e. non-singlet) properly symmetrized states for the two-particle system will have zero inner-products with the singlet state, so the issue that you have raised cannot ever occur. Thus the only possible state that Alice can measure is the singlet state, which is physically sensible, and matches with observation.

Doesn't the question actually boil down to "why $$I|\uparrow\rangle$$ doesn't result in a final state other than $$|\uparrow\rangle$$ even though all states in the space $$C^2$$ except $$|\downarrow\rangle$$ has nonzero overlap with the original state?" The identity operator has only one eigenvalue, not counting multiplicity, so it can't be broken down into "smaller" projection operators. Hence the identity operator can't force the state to change. That's how I understand it.

Last edited:
Spectracat: I see what you are saying about the symmetry/antisymmetry, but I thought that the "symmetrization requirement" was supposed to automatically be enforced by the laws of QM, so long as you start with a symmetric (or antisymmetric) state. I may be wrong about this, but this seems to be what Griffths says (p205 of Introduction to Quantum Mechanics, 2nd Ed.). I may not be interpreting this right?

Truecrimson: I don't see how it would boil down to that because the state we're in is not just $$\uparrow$$, but maybe the answer to this would give the required insights. What do you mean the identity operator can't be broken down into smaller projection operators? I mean, isn't it true that $$\hat{I} = |\uparrow\rangle\langle\uparrow | + |\downarrow\rangle\langle\downarrow |$$? Do you mean something different?

Thanks guys

The problem is that all the vectors of the space are eigenstates of $$\hat{I}$$. Since their are not all orthogonal, $$\hat{I}$$ can't be an observable.

Therefore it makes no sense to say that you are "measuring $$\hat{A}=\hat{S}_z\otimes\hat{I}$$".

Pio2001: OK, thanks this was one of the questions I asked earlier. If that is not the correct operator, then what is the correct operator? I.e. what operator represents "Alice measuring the spin of one particle about the z axis?"

Thanks

Measuring$$\hat{I}$$ is "doing nothing." $$I$$ is self-adjoint, so it's an observable in a mathematical sense. And the tensor product operator you use is indeed the correct one to represent local operation by Alice. You can find them in any quantum information book.

According to the french wikipedia, in order to be qualified as an observable, an operator must meet the following requirements :
1-It must be a linear operator.
2-Its eigenvalues must be real.
3-Its eigenvectors must be othogonal ( = the probability of finding another engenstate after performing the same measurement again must be zero).
4-The eigenstates of the operator must be a basis of the Hilbert space.
5-The eigenstates of the operators must be normalizable.

It seems to me that $$\hat{I}$$ does not meet the third and fifth conditions.

And the tensor product operator you use is indeed the correct one to represent local operation by Alice. You can find them in any quantum information book.

I didn't keep my book. Could you be more specific ? Alice is certainly not performing a tensorial product. She is performing a measurement. And she is not applying either operator to the state vector. Her result is random, while the action of an operator on the state vector is not.

According to my memories, her measurement consists in projecting the initial state onto the subspace borne by her measurement result.

In chapter 2 of Preskill's note http://www.theory.caltech.edu/people/preskill/ph229/notes/chap2.pdf

page 15 " I would like to consider more general observables acting on qubit
A, and I would like to characterize the measurement outcomes for A alone
(irrespective of the outcomes of any measurements of the inaccessible qubit
B). An observable acting on qubit A only can be expressed as
$$\hat{M}_A$$ ⊗ $$\hat{I}_B$$ ,
(2.49)
where $$\hat{M}_A$$ is a self-adjoint operator acting on A, and $$\hat{I}_B$$ is the identity
operator acting on B. "

The tricky part here is "acting on qubit A only". Msumm21 is talking about a non-separable state. Therefore, in this case, "acting on Alice's particle state only" can make no sense.

I forgot that my class notes are online. Here it is. http://www.maths.bris.ac.uk/~manl/handouts10_im1.pdf [Broken]
On the second to last page, you can see that writing the operator in this form is consistent with the partial trace operation and the calculation of expectation values.

For a bit more detailed discussion, take a look at Nielsen and Chuang page 107 box 2.6 "Why the partial trace?"

Last edited by a moderator:
Let's say you have a pair of electrons in the singlet spin state. I thought that Alice measuring the spin of one electron (about the "z axis") corresponded to applying the operator $$\hat{S}_z\otimes \hat{I}$$ (where $$\hat{I}$$ is the identity operator) to the singlet state $$\frac{1}{\sqrt{2}}(\uparrow \otimes \downarrow - \downarrow \otimes \uparrow )$$. However, I don't see (mathematically) why Alice measuring spin up forces the state to be $$\uparrow\otimes\downarrow$$.

I say this because the operator $$\hat{S}_z\otimes \hat{I}$$ has eigenvectors (like $$\frac{1}{\sqrt{2}}(\uparrow\otimes\uparrow + \uparrow\otimes\downarrow )$$) which (1) would give Alice the spin up result and (2) have a nonzero inner product with the initial (singlet) state. So why can't the state collapse to another eigenvector like the one I just mentioned (and thus Bob not necessarily measure spin down)? I think I'm missing something simple here.

When we measure the z-component of the spin there are only two possible results for the superposition state given:

Result 1 Alice obtains spin up, which tells us that if Bob measures the same component, he gets spin down.
Result 2 Alice obtains spin down, which tells us that if Bob measures the same component, he gets spin up.
Alice up, Bob down always go together, The two values constitute a single result. Likewise for Alice down, Bob up. No other results are possible.
We are dealing with entangled states here and the non-separability principle of quantum mechanics implies that we talk about the pair of particles, not individual particles.

Assuming you are looking for projection operators, the projection operator for result 1 is $$\left| { \uparrow \downarrow } \right\rangle \left\langle { \uparrow \downarrow } \right|$$. The projection operator for result 2 is $$\left| { \downarrow \uparrow } \right\rangle \left\langle { \downarrow \uparrow } \right|$$.

Best wishes

Pio2001: What do you mean when you say that "acting on Alice's particle only" doesn't make sense? Alice can measure the spin of her particle while Bob does not measure the spin of his particle, right? And, from Truecrimson's links, it does appear that the operator I mentioned is the correct operator for such a situation. Now, according to the stuff I read on the internet Bob's particle somehow collapses to the state with spin opposite to Alice's (and maybe that's the action on Bob's particle you are talking about), but I still just don't see mathematically what enforces that. I agree that if we make a new fundamental rule stating that "Bob's particle must collapse when Alice's does (and vice versa)" then we could prove that his particle does collapse to the opposite spin state (cause the inner product of the other state with the initial state is 0), but I don't think that's supposed to be a fundamental rule, right? I mean, I thought that was supposed to be an implication of more fundamental rules, right? So I think there's some other fundamental rule that I'm not including when doing the math, just not sure what it is and I don't see it in places I'd expect to see it, like the postulates of QM listed on Wikipedia.

eaglelake: The question I was asking is what forces the result to be one of the 2 you mentioned. In my previous posts I explained how I came to the conclusion that other states could result, while _seemingly_ following the basic rules of QM. Evidentially I did break a fundamental rule somewhere in that logic, I just don't see where. I know people have pointed out that the example state I mentioned breaks the symmetrization rules and is contrary to the literature which says the state must collapse to one of the two you mentioned, ... but I THINK those things are supposed to follow from the fundamental rules of QM, right? I don't think those things themselves are supposed to be the fundamental QM rules. In the case of the symmetrization requirement Griffths seems to imply that once a system is in an antisymmetric state (like the initial one) the state will automatically remain antisymmetric when evolving under the QM collapse/evolution rules (i.e. symmetrization shouldn't have to be added as a new rule, it should be automatic, a consequence of the more fundamental rules).

Last edited:
Alice can measure the spin of her particle while Bob does not measure the spin of his particle, right?

Yes, but $$\frac{1}{\sqrt{2}}(\uparrow \otimes \downarrow - \downarrow \otimes \uparrow )$$ is not the state of her particle, nor is it the state of Bob's particle.

And, from Truecrimson's links, it does appear that the operator I mentioned is the correct operator for such a situation.

I'm lost here too.

In the basis $$\{| \uparrow_A \rangle, | \downarrow_A \rangle \}$$, the operator $$\hat{S}_z$$ is

Code:
1  0
0 -1

Thus in the basis $${| \uparrow_A \otimes \uparrow_B \rangle, | \uparrow_A \otimes \downarrow_B \rangle, | \downarrow_A \otimes \uparrow_B \rangle, | \downarrow_A \otimes \downarrow_B \rangle}$$, the operator $$\hat{S}_z \otimes \hat{I}$$ is

Code:
1  0  0  0
0  1  0  0
0  0 -1  0
0  0  0 -1

The state $$\frac{1}{\sqrt{2}}(\uparrow\otimes\uparrow + \uparrow\otimes\downarrow )$$ that you talk about is

Code:
0.707
0.707
0
0

And it is indeed an eigenstate of this operator :

Code:
1  0  0  0 | 0.707   | 0.707
0  1  0  0 | 0.707   | 0.707
0  0 -1  0 | 0     = | 0
0  0  0 -1 | 0       | 0

However, since all eigenstates are not orthogonal, you can built several different basis from the eigenstates of $$\hat{S}_z \otimes \hat{I}$$.

The rule says that when you make a measurement, your system ends up in one of the eigenstates of your observable. With such an operator, which is not an observable according to the french wikipedia, this statement is unclear and we can't decide what kind of result is got from Alice's measurement.

The only rule I have learnt is that if we do a measurement on a state $$|\psi\rangle$$ and get an eigenvalue $$\lambda$$, the state we end up with is
$$P_{\lambda}|\psi\rangle$$ (apart from the normalization factor) where $$P_{\lambda}$$ is a projection operator corresponding to the eigenvalue.

In msumm21's example, the projection operator of $$S_z$$$$\otimes$$$$I$$ corresponding to the eigenvalue +1 (Alice got spin up) is $$|\uparrow\rangle\langle\uparrow|$$ $$\otimes$$$$I$$ ($$I$$ itself is the projection operator we've to consider here) So the final state is

$$|\uparrow\rangle\langle\uparrow|$$ $$\otimes$$$$I$$($$|\uparrow\rangle|\downarrow\rangle-|\downarrow\rangle|\uparrow\rangle$$=$$|\uparrow\rangle|\downarrow\rangle$$ without any ambiguity.

Edit: I can't get the last equation in LaTeX properly for some reason, but you know what I mean.

Edit 2: Thank you SpectraCat.

Last edited:
SpectraCat
The only rule I have learnt is that if we do a measurement on a state $$|\psi\rangle$$ and get an eigenvalue $$\lambda$$, the state we end up with is
$$P_{\lambda}|\psi\rangle$$ (apart from the normalization factor) where $$P_{\lambda}$$ is a projection operator corresponding to the eigenvalue.

In msumm21's example, the projection operator of $$S_z$$$$\otimes$$$$I$$ corresponding to the eigenvalue +1 (Alice got spin up) is $$|\uparrow\rangle\langle\uparrow|$$ $$\otimes$$$$I$$ ($$I$$ itself is the projection operator we've to consider here) So the final state is

$$\left(\left|\uparrow_A\right\rangle\left\langle\uparrow_A\right|\:\otimes I_B\right)\:\left[\:\left|\uparrow_A\right\rangle\otimes\left|\downarrow_B\right\rangle-\left|\downarrow_A\right\rangle\otimes\left|\uparrow_B\right\rangle\:\right]=\left|\uparrow_A\right\rangle\otimes\left|\downarrow_B\right\rangle$$
without any ambiguity.

Edit: I can't get the last equation in LaTeX properly for some reason, but you know what I mean.

I fixed the LaTeX in the quote above, and also clarified the notation for Alice and Bob's measurements. I also agree with what you have written .. it is basically what I was trying to say qualitatively in some of my earlier posts.

That seems logical to me.

OK, so the eigenstate resulting from a measurement is the projection of the initial state into the eigenspace of the observed eigenvalue? I guess that is what Spectracat was trying to say earlier and I see that now in Wikipedia. I agree that this rule prevents the state I mentioned earlier. I never considered this because my QM book gives a different rule, it says measurement gives a particular eigenvalue with probability equal to the square of the inner product of a corresponding eigenstate with the initial state and then the STATE COLLAPSES TO THE CORRESPONDING EIGENSTATE. This is p106 of Intro to QM 2nd Ed by Griffths. So I think this explanation in Griffths is bad -- it allows states like the one I mentioned in earlier posts, which are NOT allowed by this rule yall just told me. I.e. the rule Griffths is explaining does not seem to be equivalent.

I just looked at my other QM book (Intro QM 4th Ed by Liboff) and on the top of page 74 it has the same problem as Griffths. Am I missing something?

Thanks for the info!

Last edited:
Pio2001:

eaglelake: The question I was asking is what forces the result to be one of the 2 you mentioned. In my previous posts I explained how I came to the conclusion that other states could result, while _seemingly_ following the basic rules of QM. Evidentially I did break a fundamental rule somewhere in that logic, I just don't see where. I know people have pointed out that the example state I mentioned breaks the symmetrization rules and is contrary to the literature which says the state must collapse to one of the two you mentioned, ... but I THINK those things are supposed to follow from the fundamental rules of QM, right? I don't think those things themselves are supposed to be the fundamental QM rules. In the case of the symmetrization requirement Griffths seems to imply that once a system is in an antisymmetric state (like the initial one) the state will automatically remain antisymmetric when evolving under the QM collapse/evolution rules (i.e. symmetrization shouldn't have to be added as a new rule, it should be automatic, a consequence of the more fundamental rules).

One of the postulates of quantum mechanics states that the only possible results of a measurement are the eigenvalues of the observable being measured. The observable is an Hermitian operator. For spin ½, the Pauli spin matrices are the Hermitian operators for each component of the spin. If you solve the eigenvalue equation for any one of the Pauli spin matrices you will get eigenvalues +1 and -1, i.e. spin up and spin down. These are the only values ever obtained in a spin ½ measurement.

Quantum experiments confirm the correctness of this view. As far as I know it has never before been challenged. There is nothing that "forces" this to happen; it simply is a fact. I don't know how else to explain it!

zonde
Gold Member
When we measure the z-component of the spin there are only two possible results for the superposition state given:

Result 1 Alice obtains spin up, which tells us that if Bob measures the same component, he gets spin down.
Result 2 Alice obtains spin down, which tells us that if Bob measures the same component, he gets spin up.

The question I was asking is what forces the result to be one of the 2 you mentioned.
Isn't it Pauli exclusion principle that states that two fermions can't occupy the same quantum state? With it somehow extended to entangled particles?

and then the STATE COLLAPSES TO THE CORRESPONDING EIGENSTATE. This is p106 of Intro to QM 2nd Ed by Griffths. So I think this explanation in Griffths is bad -

Unless it gives a definition of observable that is not matched by the operator $$\hat{S}_z \otimes \hat{I}$$, or it gives a special rule for degenerated eigenvalues (eigenvalues that have several different eigenstates).

eaglelake: I know what you said in your most recent post, and the state i had mentioned was an eigenstate of the observable, that wasn't the problem. I think spectracat and truecrimson pointed out the problem, which is that the state is not just ANY (normalized) eigenstate of the observed eigenvalue (in the case of degeneracy there are many) but is in fact the projection of the initial state onto the eigenspace of the observed eigenvalue. Of course the latter must be in the eigenspace and therefore must be an eigenvector, but that's a much more specific rule than the one given in my QM book and prevents eigenstates like the one i had mentioned.

zonde: Pauli exclusion refers to the overall state (including the spin and wave function) i think. In this case the two electrons are considered to be in 2 different places so, even if they have the same spin, they are not in the same overall state. also, I think Pauli exclusion is another property that automatically follows from the more basic rules anyway (i.e. we shouldn't have to apply it, it should just happen).

zonde
Gold Member
Pauli exclusion refers to the overall state (including the spin and wave function) i think. In this case the two electrons are considered to be in 2 different places so, even if they have the same spin, they are not in the same overall state.
For two electrons to be entangled they have to originate from single place and then move to two different places by unitary evolution. So it's preservation of wave function under unitary evolution that is required as well.

also, I think Pauli exclusion is another property that automatically follows from the more basic rules anyway (i.e. we shouldn't have to apply it, it should just happen).
I think you have it backwards. Pauli exclusion principle comes from observations and successful theory should incorporate accepted observational facts. So if you have more basic rule that unambiguously explains this property - fine, but it's unreasonable to say that it should just happen - you have to make it happen.