I Physical significance of a.σ in expectation -E(a.σ b.σ)?

  • #51
stevendaryl said:
I think it's a mistake to replace a precise, completely clear definition be replaced by a fuzzy definition that is too vague to reason about. The fact is that there is no model that anyone has proposed that makes the same predictions as quantum mechanics for EPR that is clearly intuitively local, by any definition. The fact that you tried to sketch such a model and ended up with exactly the model that Bell used to prove his point is, I think, telling.
The diagram in post 45 illustrates why I am struggling I think. If b is at a given angle from a should it be drawn as a cone around a rather than as a line?
 
  • Like
Likes edguy99
Physics news on Phys.org
  • #52
PeterDonis said:
If you plug equation 9 into equation 2, and use ##\rho(\lambda) = 1## (uniform distribution, as specified in the text just before equation 9), you get (I'm leaving off the vector symbols for ease of typing)

$$
P(a, b) = \int d\lambda A(a, \lambda) B(b, \lambda) = - \int d\lambda \ \text{sign} \ a \cdot \lambda \ \text{sign} \ b \cdot \lambda = - \langle \text{sign} \ a \cdot b \rangle
$$

In other words, P(a, b) is minus the expectation value of the sign of ##a \cdot b##. But that expectation value is given by equation 5 in the paper (more precisely, the same logic that led from equation 4 to equation 5 in the paper leads to the above). This gives us equation 10.
Thanks Peter, but I still don't see how the a.b gets in there.
 
  • #53
Jilang said:
The diagram in post 45 illustrates why I am struggling I think. If b is at a given angle from a should it be drawn as a cone around a rather than as a line?

The idea behind the following picture is this:

Alice picks axis \vec{a} and Bob picks axis \vec{b}. You can always choose a coordinate system such that \vec{a} is in the x-direction and \vec{b} is at an angle \theta away from \vec{a} in the x-y plane.

The intrinsic spin vector, \vec{\lambda}, can be in any direction, but we can write it as \vec{\lambda} = \vec{\lambda_z} + \vec{\lambda_{xy}}, where \lambda_z is the component of \lambda in the z-direction, and \vec{\lambda_{xy}} is the component in the x-y plane. For the purposes of determining whether Alice and Bob get spin-up or spin-down, only \lambda_{xy} is relevant, so in the diagram, \lambda just refers to this component in the x-y plane.

So if \lambda is in the x-y plane, we assume that it has equal likelihood of pointing anywhere in the x-y plane.

So let A be Alice's result and let B be Bob's result. The first picture shows how Alice's result depends on \lambda: If \lambda lies anywhere in the yellow region, then Alice gets +1. Otherwise, she gets -1. The second picture shows how Bob's result depends on \lambda: If \lambda is in the red region, Bob gets +1, and otherwise, he gets -1.

The third picture shows the joint probabilities: Alice and Bob get the same result if \lambda is in the orange and white regions, which occur with probability \theta/\pi. Alice and Bob get opposite results if \lambda is in the yellow or red regions, which occur with probability (1 - \theta/\pi). So the product A B is +1 with probability \theta/\pi and -1 with probability 1-\theta/\pi. So the expectation value of A B is (+1)(\theta/\pi) + (-1) (1-\theta/\pi) = -1 + 2\theta/\pi

bell-toy-model.jpg
 
Last edited:
  • Like
Likes PeterDonis
  • #54
N88 said:
Thanks for this. Again, as always, I appreciate your detail. However, with respect: The sign in my model is determined by the "spin-flip" in that (to use your example), it allows* for opposite signs to yours whether \phi > 0 or \phi < 0. So the constraint you propose does not apply.

Yes, Bell's model gave a specific value for the \circ operator. His theorem, though, proves that there is no choice for the \circ operator that gives the same predictions as EPR.

* The explanation for this allowance is that the interaction of the spin-vector \vec{\sigma} with the field-orientation/gradient \hat{a} involves more complex dynamics than Bell's model permits.

This is like schemes to devise a perpetual motion machine--it doesn't matter how complicated the interaction is, it's impossible. That's the beauty of mathematics---you don't have to try all possibilities in order to prove a universal fact.
 
  • #55
N88 said:
Under DrChinese view, as I understand it, the product that Bell uses derives from different runs of the experiment (due the vector c that DrChinese refers to). So, as I understand it:

1. It is the EPR assumption that allows Bell to assume the same λ is available. Without EPR, the product (over different runs, and not now a squaring) might involve λi differing from λj and a possible result of -1.

2. In this way, with EPR setting the widely-accepted standard for "local realism", local realism fails.

3. I therefore interpret Bell's result as the failure of CFD and the survival of locality.

I hope this is now OK, and an acceptable view?

First of all, you do realize that the model you were sketching, in which you assume that there is a function \hat{a} \circ \vec{\lambda} that yields Alice's result, OBEYS CFD? So your model has nothing to do with exploiting the CFD loophole.
 
  • Like
Likes edguy99
  • #56
stevendaryl said:
First of all, you do realize that the model you were sketching, in which you assume that there is a function \hat{a} \circ \vec{\lambda} that yields Alice's result, OBEYS CFD? So your model has nothing to do with exploiting the CFD loophole.

You can allow that the operator \circ is nondeterministic, but then we're back to the question: If it's nondeterministic, then how can you guarantee that Alice and Bob will get the same value for \hat{a} \circ \vec{\lambda}?
 
  • Like
Likes edguy99
  • #57
For the sake of having consistent, on-topic threads, I think we should have a new thread about CFD and local realism, because this thread has not been about "the physical significance of a.σ" for a while now.
 
  • #58
Jilang said:
I still don't see how the a.b gets in there.

See stevendaryl's post #53. What he explains there is equivalent to explaining that

$$
\int d\lambda \ \text{sign} \ a \cdot \lambda \ \text{sign} \ b \cdot \lambda = \langle \text{sign} \ a \cdot b \rangle
$$
 
  • #59
N88 said:
the product that Bell uses derives from different runs of the experiment (due the vector c that DrChinese refers to).

The vector c doesn't appear anywhere in the formula ##(A(a, \lambda))^2 = 1##, which is what you asked about.
 
  • #60
stevendaryl said:
You can allow that the operator \circ is nondeterministic, but then we're back to the question: If it's nondeterministic, then how can you guarantee that Alice and Bob will get the same value for \hat{a} \circ \vec{\lambda}?
You also make this point in post #3, "So what guarantees that Bob will get -1?". One way is to only count the pairs that match within a specific short time-frame and assume any that do not match are noise or were not entangled in the first place.
 
  • #61
edguy99 said:
You also make this point in post #3, "So what guarantees that Bob will get -1?". One way is to only count the pairs that match within a specific short time-frame and assume any that do not match are noise or were not entangled in the first place.

Yes, that's a different type of loophole. Bell's analysis of EPR with twin pairs is about an idealized experiment in which (1) every twin-pair that is produced is measured, and none are missed and (2) no electrons/positrons are erroneously detected that are not from a twin pair, and (3) the experimenters can unambiguously determine which particles at one detector correspond to which particles at the other detector. In a real experiment, none of these is guaranteed to be true. I don't know much about efforts to analyze and close these loopholes.
 
  • #62
stevendaryl said:
The idea behind the following picture is this:

Alice picks axis \vec{a} and Bob picks axis \vec{b}. You can always choose a coordinate system such that \vec{a} is in the x-direction and \vec{b} is at an angle \theta away from \vec{a} in the x-y plane.

The intrinsic spin vector, \vec{\lambda}, can be in any direction, but we can write it as \vec{\lambda} = \vec{\lambda_z} + \vec{\lambda_{xy}}, where \lambda_z is the component of \lambda in the z-direction, and \vec{\lambda_{xy}} is the component in the x-y plane. For the purposes of determining whether Alice and Bob get spin-up or spin-down, only \lambda_{xy} is relevant, so in the diagram, \lambda just refers to this component in the x-y plane.

So if \lambda is in the x-y plane, we assume that it has equal likelihood of pointing anywhere in the x-y plane.

So let A be Alice's result and let B be Bob's result. The first picture shows how Alice's result depends on \lambda: If \lambda lies anywhere in the yellow region, then Alice gets +1. Otherwise, she gets -1. The second picture shows how Bob's result depends on \lambda: If \lambda is in the red region, Bob gets +1, and otherwise, he gets -1.

The third picture shows the joint probabilities: Alice and Bob get the same result if \lambda is in the orange and white regions, which occur with probability \theta/\pi. Alice and Bob get opposite results if \lambda is in the yellow or red regions, which occur with probability (1 - \theta/\pi). So the product A B is +1 with probability \theta/\pi and -1 with probability 1-\theta/\pi. So the expectation value of A B is (+1)(\theta/\pi) + (-1) (1-\theta/\pi) = -1 + 2\theta/\pi

View attachment 114570
Thanks for this. I can't see though how you can factor out the orthogonal component in the way you are suggesting. Angles in 2 dimensions are closer than in 3 CosA=CosB CosC
 
Last edited:
  • #63
stevendaryl said:
First of all, you do realize that the model you were sketching, in which you assume that there is a function \hat{a} \circ \vec{\lambda} that yields Alice's result, OBEYS CFD? So your model has nothing to do with exploiting the CFD loophole.

stevendaryl, Is it OK to continue discussing my model as physics? I am concerned that it is not. It came into this thread via the subject of local realism. And it aims for the same results as QM. But it is personal research. And I can't see where it obeys CFD. Thanks, N88.
 
  • #64
N88 said:
Is it OK to continue discussing my model as physics?

At this point I would say no. We should stick to the model(s) described in Bell's paper. Are there any open questions concerning that paper at this point?
 
  • #65
PeterDonis said:
At this point I would say no. We should stick to the model(s) described in Bell's paper. Are there any open questions concerning that paper at this point?

In terms of the OP, I understand the following general points:

(\hat{a}\cdot\boldsymbol{\sigma}_{1}) represents the 'dot-product' of an operator \hat{a} with \boldsymbol{\sigma}_{1}, a Pauli 'vector', a vector of Pauli matrices.

Outcomes include the expectations: \left\langle \hat{a}\cdot\boldsymbol{\sigma}_{1}\right\rangle =0;<br /> <br /> \left\langle (\hat{a}\cdot\boldsymbol{\sigma}_{1})^{2}\right\rangle =1;

\left\langle{\sigma}_{x1}^{2}\right\rangle=\left\langle{\sigma}_{y1}^{2}\right\rangle=\left\langle{\sigma}_{z1}^{2}\right\rangle=\left\langle{\sigma}_{1}^{2}\right\rangle/3=1.

So the question arises: do I understand aright? Thanks.
 
  • #66
N88 said:
##(\hat{a}\cdot\boldsymbol{\sigma}_{1})## represents the 'dot-product' of an operator ##\hat{a}## with ##\boldsymbol{\sigma}_{1}##, a Pauli 'vector', a vector of Pauli matrices.

No, ##\hat{a}## is a unit vector pointing in a particular direction. The result of this dot product is an operator that represents measuring spin about the axis ##\hat{a}##.

N88 said:
Outcomes include the expectations: ##\left\langle \hat{a}\cdot\boldsymbol{\sigma}_{1}\right\rangle =0##; ##\left\langle (\hat{a}\cdot\boldsymbol{\sigma}_{1})^{2}\right\rangle =1## ;

These look ok to me.

N88 said:
##\left\langle{\sigma}_{x1}^{2}\right\rangle=\left\langle{\sigma}_{y1}^{2}\right\rangle=\left\langle{\sigma}_{z1}^{2}\right\rangle=\left\langle{\sigma}_{1}^{2}\right\rangle/3=1##.

I don't know about these, since no unit vector ##\hat{a}## representing the direction of the spin axis to be measured is included.
 
  • #67
N88 said:
stevendaryl, Is it OK to continue discussing my model as physics? I am concerned that it is not. It came into this thread via the subject of local realism. And it aims for the same results as QM. But it is personal research. And I can't see where it obeys CFD. Thanks, N88.

If \circ is a function (that is, \vec{a} \circ \vec{\lambda} always gives the same result for the same values of \vec{a} and \vec{\lambda}), then your model satisfies CFD: If Alice had chosen \vec{a&#039;} instead of \vec{a}, her result would have definitely been \vec{a&#039;} \circ \vec{\lambda}.

If \circ is not a function, if the result is not uniquely determined by \vec{a} and \vec{\lambda}, then as I already said, the fact that Alice and Bob always get opposite values is not explained by the use of \circ.
 
  • Like
Likes PeterDonis
  • #68
PeterDonis said:
I don't know about these, since no unit vector ##\hat{a}## representing the direction of the spin axis to be measured is included.

Well, I interpreted \sigma_{x1} as the operator \hat{a} \cdot \vec{\sigma_1} in the case \hat{a} = \hat{x}.
 
  • #69
Jilang said:
Thanks for this. I can't see though how you can factor out the orthogonal component in the way you are suggesting. Angles in 2 dimensions are closer than in 3 CosA=CosB CosC

The three-dimensional way of seeing it is by considering a sphere of radius 1, which you can think of as a globe. Every unit vector in space corresponds to a unique point on the surface of the sphere. For any point on the sphere, there is a corresponding hemisphere consisting of the half of the sphere that is closest to that point. For example, on the globe, the hemisphere corresponding to the North Pole is the northern hemisphere.

So in terms of the sphere, the rules for computing Alice's and Bob's results are:
  • If \lambda lies in the hemisphere corresponding to Alice's setting \hat{a}, then she gets +1.
  • If it is in the other hemisphere, she gets -1.
  • If \lambda lies in the hemisphere corresponding to Bob's setting \hat{b}, then he gets -1 (because his particle is anti-correlated with Alice's, meaning it has the opposite sign for results).
  • Otherwise, Bob gets +1.
So we have two hemispheres: the one corresponding to Bob's setting, and the one corresponding to Alice's setting. There are 4 possible cases for \lambda:
  1. \lambda is in the intersection of Alice's hemisphere and Bob's hemisphere. In this case, Alice gets +1, and Bob gets -1, so the product of their results is -1.
  2. \lambda is in Alice's hemisphere, but not Bob's. In this case, both get +1. So the product is +1
  3. \lambda is in Bob's hemisphere, but not Alice's. In this case, both get -1. So the product is +1.
  4. \lambda is in neither hemisphere. In this case, Alice gets -1, and Bob gets +1. So the product is -1.
So this divides the sphere up into 4 regions. Let \mathcal{A} be the area of the intersection of Alice's and Bob's hemispheres. Alice and Bob's hemispheres each have area 2 \pi (a full sphere of radius 1 has area 4 \pi, so a hemisphere has area 2 \pi) Then
  • Region 1 has area \mathcal{A}.
  • Region 2 has area 2 \pi - \mathcal{A} (the area of Alice's hemisphere, minus the intersection with Bob's)
  • Region 3 has area 2 \pi - \mathcal{A} (the area of Bob's hemisphere, minus the intersection with Alice's)
  • Region 4 has area \mathcal{A} (This might not be obvious, but it's true.)
So if we assume that \lambda is equally likely to point to any spot on the sphere, then the probability of lambda falling in each region is given by \frac{area(region)}{4 \pi}. So the probability that the product of Alice's result and Bob's result will be +1 is just the sum of the areas for regions 2 and 3 divided by 4 \pi. So that's \frac{4 \pi - 2 \mathcal{A}}{4\pi} = 1 - \frac{\mathcal{A}}{2 \pi}. The probability that the product of their results will be -1 is the just the sum of the areas for regions 1 and 4 divided by 4 \pi. So that's \frac{2 \mathcal{A}}{4 \pi} = \frac{\mathcal{A}}{2 \pi}. So the expectation value of the product is:

\langle A B \rangle = (+1)(1 - \frac{\mathcal{A}}{2 \pi}) + (-1)\frac{\mathcal{A}}{2\pi} = 1 - \frac{\mathcal{A}}{\pi}

So the final step is to calculate \mathcal{A}. This is easiest to calculate if you choose a coordinate system so that \hat{a} and \hat{b} both lie on the equator, at a distance of \theta apart. It should be obvious (I hope) that \mathcal{A} is proportional to \theta. If you work it out, it turns out that \mathcal{A} = 2 \theta. So once again, you get:

\langle A B \rangle = 1 - \frac{2 \theta}{\pi}

It's the same result as I derived for the 2D case.
 
  • Like
Likes Jilang
  • #70
PeterDonis said:
At this point I would say no. We should stick to the model(s) described in Bell's paper. Are there any open questions concerning that paper at this point?

The relevant point about the model of @N88 is that it is exactly the type of model that Bell was proving his theorem about. So his details are completely unimportant, since Bell proved a fact about all such models.
 
  • #71
stevendaryl said:
The relevant point about the model of @N88 is that it is exactly the type of model that Bell was proving his theorem about.

I agree, but I'm not sure @N88 does. But whether he does or not, the discussion here is about Bell's paper, so models that are not the type that Bell was talking about in his paper are off topic.
 
  • #72
PeterDonis said:
I agree, but I'm not sure @N88 does. But whether he does or not, the discussion here is about Bell's paper, so models that are not the type that Bell was talking about in his paper are off topic.

Right.
 
  • #73
Thank you Steven Daryl for post #69. I have been drawing out the orange segments and I have it now!
 
  • #74
PeterDonis said:
No, ##\hat{a}## is a unit vector pointing in a particular direction. The result of this dot product is an operator that represents measuring spin about the axis ##\hat{a}##.

These look ok to me.

I don't know about these, since no unit vector ##\hat{a}## representing the direction of the spin axis to be measured is included.

Thank you. In terms of the OP, how's this:

(\hat{a}\cdot\boldsymbol{\sigma}_{1}) represents the 'dot-product' of a unit-vector \hat{a} with \boldsymbol{\sigma}_{1}, the Pauli 'vector', a vector of Pauli matrices.

\boldsymbol{\sigma}_{1}=\{{\sigma}_{x1},{\sigma}_{y1},{\sigma}_{z1}\}. (1)

To be clear to beginners (like myself), I call it a 'dot-product' because, although \boldsymbol{\sigma}_{1} is not a normal vector, the product yields:

\hat{a}\cdot\boldsymbol{\sigma}_{1} = {a}_x{\sigma}_{x1}+{a}_y{\sigma}_{y1}+{a}_z{\sigma}_{z1}. (2)

[Peter, re this from you: "The result of this 'dot-product' is an operator that represents measuring spin about the axis ##\hat{a}##." Is that still the meaning of (2)?]

Outcomes include the expectations: \left\langle \hat{a}\cdot\boldsymbol{\sigma}_{1}\right\rangle =0; (3)<br /> <br /> \left\langle (\hat{a}\cdot\boldsymbol{\sigma}_{1})^{2}\right\rangle =1. (4)

\left\langle{\sigma}_{x1}^{2}\right\rangle=\left\langle{\sigma}_{y1}^{2}\right\rangle=\left\langle{\sigma}_{z1}^{2}\right\rangle=\left\langle{\sigma}_{1}^{2}\right\rangle/3=1. (5)

Thanks.
stevendaryl said:
Well, I interpreted \sigma_{x1} as the operator \hat{a} \cdot \vec{\sigma_1} in the case \hat{a} = \hat{x}.
Does this fit with what I've summarised above? Thanks
 
Last edited:
  • #75
N88 said:
Peter, re this from you: "The result of this 'dot-product' is an operator that represents measuring spin about the axis ##\hat{a}##." Is that still the meaning of (2)?

Yes.
 
  • Like
Likes N88
  • #76
stevendaryl said:
If \circ is a function (that is, \vec{a} \circ \vec{\lambda} always gives the same result for the same values of \vec{a} and \vec{\lambda}), then your model satisfies CFD: If Alice had chosen \vec{a&#039;} instead of \vec{a}, her result would have definitely been \vec{a&#039;} \circ \vec{\lambda}.
\circ is a function: it always gives the same result for the same \vec{\lambda}. IF Alice had measured under the detector-orientation \vec{a&#039;} instead of \vec{a}, THEN her result would have definitely been \vec{a&#039;} \circ \vec{\lambda}.

Please detail your definition of CFD in this situation. Thanks.
 
  • #77
N88 said:
Please detail your definition of CFD in this situation.

He already did, in the very statement you quoted.

As I've already said, further discussion of your personal model is off topic.
 
  • #78
PeterDonis said:
He already did, in the very statement you quoted.

As I've already said, further discussion of your personal model is off topic.

Can I discuss CFD here?
 
  • #79
N88 said:
Can I discuss CFD here?

In connection with the model described in Bell's paper, yes.
 
  • #80
N88 said:
\circ is a function: it always gives the same result for the same \vec{\lambda}. IF Alice had measured under the detector-orientation \vec{a&#039;} instead of \vec{a}, THEN her result would have definitely been \vec{a&#039;} \circ \vec{\lambda}.

Please detail your definition of CFD in this situation. Thanks.

That is the definition of CFD. A model satisfies CFD if it gives definite answers to questions of the type: "If the experimenter had done A instead of B, her result would have been X instead of Y."
 
  • #81
stevendaryl said:
That is the definition of CFD. A model satisfies CFD if it gives definite answers to questions of the type: "If the experimenter had done A instead of B, her result would have been X instead of Y."

This is rushed but it should get us to a point that we can progress from.

OK; thank you. But that is a different form of CFD to the one Bell proceeds under.*

Note that my CFD is licensed under EPRB by Bell (1964), eqns (1) and (13). Which means this: I can convert my CFD setting to an experimental test and it passes adequately. So mine is that special form of CFD that can be adequately proven; in this case consistent with Bell's model.

*A second variant of CFD can be adequately disproven. Bell demonstrates that when he derives his inequalities under EPRB and they are experimentally refuted. I do not use this variant and I am not conflicted by AAD and nonlocality: whereas, in his final year (1990), Bell talked about his dilemma on this front. Further, he was confident that someone would come up with answer; even that it might show that he had been rather silly.**
** http://www.quantumphil.org./Bell-indeterminism-and-nonlocality.pdf

Further, I share his motivation: "It is this possibility, of a homogeneous account of the world, which is for me the chief motivation of the study of the so-called ‘hidden variable' possibility,” Bell (Speakable and Unspeakable, 2004:28-29). So, all in all, I'm a keen student of Bell and keen to learn the more about the QM aspects of his search.

Therefore: I have no wish to breach PF policies about private studies; etc. But in answering past questions I had need to refer to some components of it; all based on Bell's model but not widely accepted.

So, as to the way ahead: I suggest that I only respond to specific questions and do not move beyond them; ie, I let comments like this slide by: So [N88's] details are completely unimportant, since Bell proved a fact about all such models.

Excuse rush here; and I do appreciate and welcome our exchanges; I learn much from such. Hope this is OK.
 
  • #83
N88 said:
my CFD

Is off topic here. The term "counterfactual definiteness" does not appear in Bell's paper at all, and Bell's paper is the topic of discussion. At this point we have wandered very far from the OP of this thread, and the question in the OP has been thoroughly discussed. The thread will remain closed.
 
Back
Top