Gordon Watson
- 375
- 0
JesseM said:Is the right side of equation 9 supposed to involve probabilities?
No, (9) is meant to represent a discrete normalized probability distribution. So LHS says what it is and RHS gives the normalized distribution.
If this were a continuous case then RHS would be written with delta-functions.
Does this last comment help?
JesseM said:If so I think it would make more sense to write it as P_3(\lambda_{k}, \lambda'_{k}) = (1/2)[P(\lambda_{k} = \lambda_{a}, \lambda'_{k} = \lambda'_{a}) + P(\lambda_{k} = \lambda_{ai}, \lambda'_{k} = \lambda'_{ai})]...is that OK?
As explained in earlier reply: These equalities have probability zero prior to measurement.
Do you now agree?
JesseM said:Even so the equation is a little unclear, does the 1/2 just mean you assume P(\lambda_{k} = \lambda_{a}, \lambda'_{k} = \lambda'_{a}) = 1/2 and P(\lambda_{k} = \lambda_{ai}, \lambda'_{k} = \lambda'_{ai}) = 1/2, i.e. these are the only two possible ways the source can emit spin vectors and both ways are equally probable?
Yes, but you have to see that we simply cannot go with those equality signs.
We have to go with the characteristic spin-related transformation symmetries that define the equiprobable etc. equivalence classes (EC).
JesseM said:Then the sum of the two would be 1, and you'd have to multiply that by 1/2 to get P_3(\lambda_{k}, \lambda'_{k}) for any specific value of k (k=a or k=ai). If that's the idea, I think it would be a lot less convoluted to just say that k can only take one of two values, k=a or k=ai, (which could perhaps be represented by the numerals 1 and 2, so the sum would just be \sum_{k=1}^2) and that either way P_3(\lambda_{k}, \lambda'_{k}) = 1/2.
Check what I said in earlier reply, please.
k_1 now denotes the defining condition for EC_1, k_2 the defining condition for EC_2.
Do you go with that?
JesseM said:In that case we could go from equation (8) to a simplified version of (10):
P''(G,G'|H,a,b') = \sum_{k=1}^2 (1/2)*(cos^2(a,\lambda_k)|H,a,\lambda_k)*(cos^2(b',\lambda_k)|H,b,\lambda_k)
Well I don't see how this gives any output??
If you change it to this, well OK:
P''(G,G'|H,a,b') = \sum_{k=1}^2 (1/2)*(cos^2(a,\lambda_k)|H,a,\lambda_k = \lambda_1)*(cos^2(b',\lambda_k)|H,b, \lambda_k = \lambda_1,
where lambda_1 is defined by the \uparrow business -- which is a discriminator between the ECs.
And, for completeness you include the equivalent expression for lambda_2 -- which is also is defined by the \uparrow business -- it being also a discriminator between the ECs. Though this addition = 0, on summation, it is needed for completeness.
Which is all getting messy for me, and surely for you?
Thanks, as always,
Jenni
Last edited: