Is there any hope at all for Locality?

  • Thread starter andrewkirk
  • Start date
  • Tags
    Locality
In summary, EPR proposed the entanglement thought experiment to challenge the Copenhagen interpretation of Quantum Mechanics, which states that the wave function is a complete description of a system's state. They suggested the existence of hidden variables to complete the theory, but Bell's theorem showed that any extension of QM using hidden variables would predict different correlations for entangled particles. Aspect et al's experiments further supported this by showing that the observed correlations followed QM predictions rather than those predicted by a hidden variable theory. This leads to the conclusion that there is no valid hidden variable theory that preserves locality. Various presentations of this topic suggest that we cannot maintain both locality and something else, such as realism or counterfactual definiteness. However, even accepting non-real
  • #36
andrewkirk said:
From this we inductively conclude that there is no valid theory that preserves locality.

or like says Gisin:Quantum Nonlocality: How Does Nature Do It?
http://www.alice.id.tue.nl/references/gisin-2009.pdf

"The quantum correlations are indeed coming from outside space-time in the sense that there is no story inside space-time that can describe them"

i prefer to say from other layer of reality/nature.
or Lorenzo:
Are quantum correlations genuinely quantum?
http://arxiv.org/abs/1205.0878

"It is shown that the probabilities for the spin singlet can be reproduced through classical resources, with no communication between the distant parties, by using merely shared (pseudo-)randomness"
 
Physics news on Phys.org
  • #37
stevendaryl said:
Objectivity is the existence of a unique external world that is independent of observers.

I am way out of my league here, so be forgiving. I'd like to pin down what is meant by "observers" in QM discussions. To me it infers any interaction within space/time. But that makes your above definition of objectivity somewhat empty since we established that (via Albert's socks) that there is no existence without observations (interactions within space/time). In light of that, is objectivity simply the existence of a unique external world that can be observed (and contains observers)?
 
  • #38
meBigGuy said:
I am way out of my league here, so be forgiving. I'd like to pin down what is meant by "observers" in QM discussions. To me it infers any interaction within space/time. But that makes your above definition of objectivity somewhat empty since we established that (via Albert's socks) that there is no existence without observations (interactions within space/time). In light of that, is objectivity simply the existence of a unique external world that can be observed (and contains observers)?

independent of observers/interactions.

Reality is the state of things/objects as they actually exist.
 
  • #39
meBigGuy said:
Don't be so difficult (is it intentional?). Ok, thought experiment. You are saying that the Albert's Socks thought experiment illustrated nothing worth thinking about. Your terse "No" answer indicates that you feel that it was not a meaningful mental exercise that illustrated a subtlety behind the reality of entanglement? I am nicely asking you to elaborate on that opinion.

Its not intentional. Its just in this sort of stuff needs precision of thought.

You asked:

meBigGuy said:
But, with respect to the analogy itself, did you see it as a meaningful mental exercise that illustrates a subtlety behind the reality of entanglement?

Its simply a thought experiment illustrating some of the weirdness associated with QM. Entanglement is an interesting and subtle phenomena and as a mental exercise illustrating that its worthwhile. But its nothing beyond that.

Thanks
Bill
 
  • #40
meBigGuy said:
I am way out of my league here, so be forgiving. I'd like to pin down what is meant by "observers" in QM discussions. To me it infers any interaction within space/time.

No, to me, an observer is something that can make notes about the world. Not every interaction is an observation.

To say that something is independent of observers just means that it exists whether or not there is anything conscious noting its existence. You know, a tree falling in a forest with no-one around.
 
  • #41
audioloop said:
Are quantum correlations genuinely quantum?
http://arxiv.org/abs/1205.0878

"It is shown that the probabilities for the spin singlet can be reproduced through classical resources, with no communication between the distant parties, by using merely shared (pseudo-)randomness"

I'll take a look at that, but it seems to be claiming to have shown something that other people have shown to be impossible.
 
  • #42
meBigGuy said:
I am way out of my league here, so be forgiving. I'd like to pin down what is meant by "observers" in QM discussions. To me it infers any interaction within space/time. But that makes your above definition of objectivity somewhat empty since we established that (via Albert's socks) that there is no existence without observations (interactions within space/time). In light of that, is objectivity simply the existence of a unique external world that can be observed (and contains observers)?

In QM an observer is any device, assumed to behave in a classical way, that registers something that occurred in the quantum domain. An example would be a particle detector. It clicks, flashes, or does something here in the classical macro world, when a subatomic particle is detected. In the standard Copenhagen interpretation the existence of such devices is assumed and a fundamental part of that interpretation. Some people get hung up on the usual meaning in everyday usage of observer as requiring a conscious observer and run into all sorts of semantic difficulties - that's another example of the precision of thought and expression required when dealing with this stuff I mentioned previously. I remember watching this movie What The Bleep Do We Know Anyway that was full of that sort of rubbish to the point it was embarrassing.

QM is a theory about observations on quantum systems - it is not a theory about what its doing, existing or anything like that when its not observed. The quantum state is simply a codification of the probabilities of the results of observations if you were to observe it. It tells you nothing other than that. Basically it is, at its fundamental level, a theory about systems interactions with other systems where those other systems change in some way that registers here in the commonsense, classical macro world. It changes nothing about that commonsense world out there - it exists independent of us, it is there when we are not looking and all the usual stuff we take for granted. QM in no way changed that.

The existence of a commonsense macro world is assumed but since everything is quantum this division is a blemish. What you want is a fully quantum theory of measurement. Great progress has been made along these lines (particularly in the area of decoherence) but some issues do remain - although what we do know have clarified a lot of things.

Thanks
Bill
 
  • #43
stevendaryl said:
I'll take a look at that, but it seems to be claiming to have shown something that other people have shown to be impossible.

The author is doing something kind of weird, it seems to me. In his model, (section 7.1) he's assuming that each experimenter's choice of detector setting is causally influenced by a random hidden variable shared by the experimenters.
 
  • #44
stevendaryl said:
It seems circular to me. The law of large numbers doesn't say that relative frequency approaches probability, it says that the set of sequences for which this doesn't happen has measure zero. Why does measure zero mean it doesn't happen? Any actual run has probability zero.

I don't want to sidetrack this thread - this issue really needs a thread of its own. And if you decide to start one don't do it in the probability section of Physic's Forums because they work with mathematical probability which is fully described with zero problems by the Kolmogorov axioms without the nasty subtleties of actually applying it.

However I want to simply add your view is fairly common but does leave me scratching my head. Books like Fellers - Introduction To Probability completely avoid circularity by starting from the Kolmogorov axioms and via the Law of Large numbers derived rigorously from those axioms connects it to the frequency interpretation with no circularity. The Law of Large Numbers says as the number of trials increases the proportion of outcomes being the same as the probability approaches 1 - using some definition of convergence such as convergence in probability. Now the assumption is since it converges to it a sufficiently large number exists that for all practical purposes is the same ie is one. There is no circularity - simply a standard assumption made in applied math all the time.

Thanks
Bill
 
  • #45
stevendaryl said:
No, to me, an observer is something that can make notes about the world. Not every interaction is an observation.

To say that something is independent of observers just means that it exists whether or not there is anything conscious noting its existence. You know, a tree falling in a forest with no-one around.

Good way of expressing it - must keep it in mind.

And indeed the standard Copenhagen interpretation assumes the existence of a world out there just like that eg trees falling in a forest make a sound regardless of if there is anyone there to hear it.

Thanks
Bill
 
  • #46
bhobba said:
The Law of Large Numbers says as the number of trials increases the proportion of outcomes being the same as the probability approaches 1 - using some definition of convergence such as convergence in probability. Now the assumption is since it converges to it a sufficiently large number exists that for all practical purposes is the same ie is one. There is no circularity - simply a standard assumption made in applied math all the time.

I guess we would need to state explicitly what is being claimed in order to say whether it's circular or not. Certainly the proof of the law of large numbers isn't circular. It's a proof from the axioms of probability. But what I'm saying is that the law of large numbers by itself doesn't imply that one must treat probability 0 events as impossible.

Let's define for a sequence of coin flips:

[itex]F_n = \dfrac{H_n}{n}[/itex]

where [itex]H_n[/itex] is the number of heads in the first [itex]n[/itex] coin flips.

To say that [itex]F_n \rightarrow \frac{1}{2}[/itex] is to say that:

For every [itex]\epsilon > 0[/itex], there is a number [itex]\hat{n}[/itex] such that for all [itex]n > \hat{n}[/itex], [itex]|F_n - \frac{1}{2}| < \epsilon[/itex]. That's true for some sequences of coin flips, and false for other sequences of coin flips.

What the weak law of large numbers says is that the probability that [itex]|F_n - \frac{1}{2}| < \epsilon[/itex] goes to 1 as [itex]n \rightarrow \infty[/itex]

But the issue is whether probability 1 means "certain" and probability 0 means "impossible". The weak law of large numbers by itself doesn't say that.

The strong law of large numbers states that

The strong law of large numbers states that the sample average converges almost surely to the expected value.

But the meaning of "almost surely" is "true for all sequences except for a set of measure 0". Once again, the issue is why does having a set of measure 0 mean "impossible"?

The nice thing about probability zero is that it's consistent to treat any finite (or countable) set of probability zero events as if they were impossible. So it's a consistent way to reason. This is in contrast with an assumption saying "I'm going to ignore events that have only a 1% chance of happening." That's actually not a consistent way to reason, because if you wait long enough, events of probability 1/100 will happen.
 
  • #47
stevendaryl said:
But what I'm saying is that the law of large numbers by itself doesn't imply that one must treat probability 0 events as impossible.

But the meaning of "almost surely" is "true for all sequences except for a set of measure 0". Once again, the issue is why does having a set of measure 0 mean "impossible"?

OK. I think I see where you are coming from. In applying the Kolmogorov Axioms they do not force you to associate a probability of zero with an event not in the event space and hence impossible. Its a reasonable assumption we make since its just as consistent with it in the event space as not in it. Welcome to applied math. But why anyone would want to make an issue it of it is beyond me. I used to get worked up about this kind of stuff a bit during my ubdergrad days but my teachers eventually cured me of it by pointing out the morass you end up in otherwise. I see a lot of that sort of thing with people discussing QM - you want to scream - why look at it that way and make things harder for yourself. Sometimes you get the distinct impression they take a perverse delight in it.

As you correctly point out the difference between the strong law and weak law of large numbers is the type of convergence - weak is convergence in probability - strong is almost assuredly. But from an applied viewpoint is not really relevant - the simple assumption is we can find a n large enough that is so close to one for all practical purposes it can be taken as one. Its the same sort of thing you see with instantaneous velocity - that's impossible as well but times so short exist it's the same for all practical purposes. People seem to accept that but for some reason not for probability - don't quite know why.

So to me the issue in applying probability is not one of circularity - its simply one of reasonable assumptions like we do in many areas of applied math.

I am ignoring issues with zero probability in continuous and infinite event spaces which is a whole new can of worms

Thanks
Bill
 
Last edited:
  • #48
bhobba said:
OK. I think I see where you are coming from. In applying the Kolmogorov Axioms they do not force you to associate a probability of zero with an event not in the event space and hence impossible. Its a reasonable assumption we make since its just as consistent with it in the event space as not in it. Welcome to applied math. But why anyone would want to make an issue it of it is beyond me.

I'm not making an issue about anyone ASSUMING probability zero events never happen. I'm making an issue about the claim that that's somehow provably true. It's not. So in complaining about MWI that it doesn't justify the Born interpretation, my reaction is: what would it even mean to justify it?

There's a thought-experiment that sort-of relates to MWI. Imagine a world that is completely deterministic except for coin flips, and as far as anyone knows, there is no way to predict what the result will be. Let's assume that the way it works is that whenever anyone begins a coin flip, God stops time and makes two copies of the world, in the exact same state. In one of the copies, he let's the coin flip yield "heads" and in the other copy, he let's it yield "tails".

This metaphysics is completely deterministic, like MWI. But for people living in one of the copies of the world, it will appear that coin flips are non-deterministic. Are those people justified in assuming that a coin flip has probability [itex]\frac{1}{2}[/itex] of resulting in "heads"? I think they would be. But is that probability derivable from the metaphysics?

But suppose instead of God making two copies, with one copy having result "heads" and the other copy having the result "tails", he makes three copies, two having result "heads" and only one having the result "tails"? Does that change the probability?

On the one hand, you could say that in this new metaphysics, a coin has a [itex]\frac{2}{3}[/itex] chance of resulting in "heads" and a [itex]\frac{1}{3}[/itex] chance of resulting in "tails". On the other hand, to the people living in one of the copies, it can't possibly make any difference what happens in a world that isn't their world. If they were previously justified in assuming "heads" has a probability of [itex]\frac{1}{2}[/itex], it is certainly permitted for them to continue to make that assumption.

I used to get worked up about this kind of stuff a bit during my ubdergrad days but my teachers eventually cured me of it by pointing out the morass you end up in otherwise.

I have no problems with people just saying: I'm not going to get into it, I'm going to assume X, to make things simpler. But I do have problems with people failing to realize that X is an assumption, not a necessary truth, and that reasonable people could make a different assumption.

I see a lot of that sort of thing with people discussing QM - you want to scream - why look at it that way and make things harder for yourself. Sometimes you get the distinct impression they take a perverse delight in it.

It's called trying to understand. People understand things by looking at them from lots of different angles.

As you correctly point out the difference between the strong law and weak law of large numbers is the type of convergence - weak is convergence in probability - strong is almost assuredly. But from an applied viewpoint is not really relevant - the simple assumption is we can find a n large enough that is so close to one for all practical purposes it can be taken as one. Its the same sort of thing you see with instantaneous velocity - that's impossible as well but times so short exist it's the same for all practical purposes. People seem to accept that but for some reason not for probability - don't quite know why.

As I said, I don't have any problem with making the assumption that relative frequencies approach probabilities. I just want it to be clear that it's an assumption, not a necessary truth. It simplifies our reasoning to make it (in some cases, we can't do much reasoning at all without it, or something similar). But to me, it strongly suggests Bayesianism. Probabilities are, at least partially, subjective.
 
  • #49
meBigGuy said:
@mfb Why would you assume it must interact with us?
I don't assume that. On the contrary, my point is that this is not a useful requirement for the existence of objects.
First tell me of something that exists that interacts (or will interact) with *NOTHING*, and how you know it exists.
How is that related to the discussion?
Assuming anyone actually thinks *WE* must observe something for it to exist is a mis-interpretation of what is being said.
I heard exactly that argument so many times...
 
  • #50
For locality with probability and statistics see:www.arxiv.org/pdf/quant-ph/0007005v2.pdf
For locality with geometric explanation see: www.iisc.ernet.in/currsci/jul252000/UNNIKRISHNAN.pdf
Regarding the inequality spin violations , I would like to hear from the particle physicists on whether
there is an explanation in terms of the spin changes of the particle from its interaction with the
detectors magnetic field. Sometimes it seems like non-locality is a sacred cow.
 
  • Like
Likes 1 person
  • #52
I'd like to move forward to refine, my definition of observer. I still say that an observer is anything that interacts with an observed (or symmetrical observer) within space/time. A particle collides with another, or, a photon is absorbed. Consciousness, awareness, note-taking, detection, are all superfluous to observation in a QM sense. I think you can just say that energy must change (exchange?). I specify within space-time because a photon exists on it's long trek to my eye. (Feynman talked about that).

The Albert's-socks discussion makes a significant point about the existence of "that which is not observed", and that point is key to entanglement. The difference between "preparing the dresser" and "arranging the socks", if you will.
 
  • #53
meBigGuy said:
I'd like to move forward to refine, my definition of observer. I still say that an observer is anything that interacts with an observed (or symmetrical observer) within space/time.

You can define it as anything you like, but the usual definition of an observation is its an interaction that leaves a mark here in the macro world. An observer is anything capable of doing it. QM is a theory about the outcomes of observations as defined the way I did it. It is not a theory about the way you defined it because QM does not tell us anything until it is actually observed, by which is meant a mark is left.

I think it would be useful for you to learn about QM from a modern textbook such as Ballentine - QM - A Modern Development where it is developed from 2 axioms - one of which is based on the definition I gave previously.

Thanks
Bill
 
  • #54
andrewkirk said:
[..] The correlations in Bell's theorem imply that Alice measuring spin along a certain axis has an instantaneous effect on the probability distribution of the results of Bob's measurement. So retreating into the indeterminacy of the Copenhagen interpretation does not appear to have allowed us to preserve locality since an instantaneous effect has occurred across a spacelike interval.[..]
No instantaneous physical effect at a distance has to occur at all for an instantaneous effect on the probability distribution somewhere else (according to us here), as Bell also clarified in the introduction of his "Bertlmann's socks" paper.
As you likely realize, the issue is much trickier than that.
 
Last edited:
  • #55
morrobay said:
For locality with probability and statistics see:www.arxiv.org/pdf/quant-ph/0007005v2.pdf

What the authors are saying here doesn't seem correct to me. Bell's "vital assumption" is that for the EPR twin-pair experiment, the result of the measurement at one detector does not depend on the settings of the distant detector. The authors say that Bell's inequality does not depend on this assumption, but that seems completely wrong.

Let's define two functions

[itex]F^{(1)}_a(\lambda, m_1, m_2)[/itex]
[itex]F^{(2)}_a(\lambda, m_1, m_2)[/itex]

[edit:]
(where [itex]m_1[/itex] is the detector settings at the first detector, and [itex]m_2[/itex] is the detector settings at the other detector) as follows:

[itex]F^{(1)}_a(\lambda, m_1, m_2) = +1[/itex] if [itex]0 \leq \lambda < \frac{1}{2}[/itex].
[itex] = -1[/itex] if [itex]\frac{1}{2} \leq \lambda \leq 1[/itex].

[itex]F^{(2)}_a(\lambda, m_1, m_2) = +1[/itex] if [itex]0 \leq \lambda < \frac{1}{2} sin^2(\frac{\theta}{2})[/itex].
[itex] = -1[/itex] if [itex]\frac{1}{2} sin^2(\frac{\theta}{2})\leq \lambda \leq 1[/itex].

where [itex]\theta[/itex] is the angle between the two detector orientations. That's a perfectly deterministic (although non-local) "hidden variable" theory that reproduces exactly the predictions of QM and violates Bell's inequality.
 
Last edited:
  • #56
"You can define it as anything you like, but the usual definition of an observation is its an interaction that leaves a mark here in the macro world." "QM does not tell us anything until it is actually observed, by which is meant a mark is left"

Are you saying that QM tells us nothing about an electron that has not yet been measured?

Again, I want to better understand the nuances of "preparing the dresser" and "arranging the socks". The socks exist, but have not been observed *yet*. QM tells us nothing about them?
 
  • #57
stevendaryl said:
What the authors are saying here doesn't seem correct to me. Bell's "vital assumption" is that for the EPR twin-pair experiment, the result of the measurement at one detector does not depend on the settings of the distant detector. The authors say that Bell's inequality does not depend on this assumption, but that seems completely wrong.

Let's define two functions

[itex]F^{(1)}_a(\lambda, m_1, m_2)[/itex]
[itex]F^{(2)}_a(\lambda, m_1, m_2)[/itex]

[edit:]
(where [itex]m_1[/itex] is the detector settings at the first detector, and [itex]m_2[/itex] is the detector settings at the other detector) as follows:

[itex]F^{(1)}_a(\lambda, m_1, m_2) = +1[/itex] if [itex]0 \leq \lambda < \frac{1}{2}[/itex].
[itex] = -1[/itex] if [itex]\frac{1}{2} \leq \lambda \leq 1[/itex].

[itex]F^{(2)}_a(\lambda, m_1, m_2) = +1[/itex] if [itex]0 \leq \lambda < \frac{1}{2} sin^2(\frac{\theta}{2})[/itex].
[itex] = -1[/itex] if [itex]\frac{1}{2} sin^2(\frac{\theta}{2})\leq \lambda \leq 1[/itex].

where [itex]\theta[/itex] is the angle between the two detector orientations. That's a perfectly deterministic (although non-local) "hidden variable" theory that reproduces exactly the predictions of QM and violates Bell's inequality.
Likely you mean the inverse of the second function, but that's a detail. If I see it correctly, the probabilities are not the same for your two functions. While you refer to the same λ, the effective hidden parameter functions are different because they are different functions of that λ.The authors say that what Bell's inequality depends on, is that the random variables are defined on the same probability space.

BTW, it seems to me that on p.14 the first time that they use "predetermined", they mean "pre-existing" or "fixed". They explain it better further on.
 
  • #58
meBigGuy said:
Are you saying that QM tells us nothing about an electron that has not yet been measured?

Exactly. Other than probabilities of what you would get if you were to measure it - nothing.

I will say it again. QM is a theory about the results of interactions with other systems where those systems leave a mark here in the common sense macro world. What properties it has otherwise it is silent about.

Now a question for you. You do understand that all a state tells you is the possible outcomes of an observable and their probabilities?

This sock thing you keep on talking about is simply a thought experiment illustrating the correlations of entangled systems. This is that some systems are such that if you measure the state of one part of the system you know automatically the state of another part of the system and the result you would get if you were to measure it, even if that other part is on the other side of the universe. This is one of the weird aspects of entanglement. It changes nothing about what a system state tells us, which is about the results of observations.

Here is a way of looking at QM at a foundational level that may make it clearer. Suppose you have a system and some observational apparatus that has n possible outcomes and you associate a number with each of the outcomes. This is represented by a vector of size n with n numbers yi. To bring this out write it as Ʃyi |bi>. Now we have a problem. The |bi> are freely chosen so nature can not depend on them. We need a way to represent it that does not depend on that. The way QM gets around it is to replace the |bi> by |bi><bi| giving Ʃyi |bi><bi|. This is defined as the observable of the observational apparatus. It says to each such apparatus there is a Hermitian operator whose eigenvalues are the possible outcomes of the observation. This is the first axiom of QM. The second axiom says the expected outcome of such an observation is Tr(PR) where R is the observable of the observation and P is a positive operator of unit trace called the state of the system. This can be proven by what is known as Gleason's Theorem if we assume something called non contextuality that you can read up on if you wish. So while the second axiom is not implied by the first it is strongly suggested by it - depending on exactly what you think of non-contextuality.

It is an interesting fact that all of QM is contained in those two axioms. To get the detail see Ballentine's book. The point here though is right at its foundations it is a theory about one and only one thing - the outcome of observations as indicated by observational apparatus.

Thanks
Bill
 
Last edited:
  • #59
harrylin said:
Likely you mean the inverse of the second function, but that's a detail. If I see it correctly, the probabilities are not the same for your two functions. While you refer to the same λ, the effective hidden parameter functions are different because they are different functions of that λ.The authors say that what Bell's inequality depends on, is that the random variables are defined on the same probability space.

BTW, it seems to me that on p.14 the first time that they use "predetermined", they mean "pre-existing" or "fixed". They explain it better further on.

What I described is a single hidden variable, [itex]\lambda[/itex], that is shared by the two experimenters. It's the same probability space. But Alice's result is a different function of [itex]\lambda[/itex] than Bob's result. That must be the case, because if Alice and Bob both measure the spin in the same direction, one of them will get spin-up, and the other will get spin-down. They can't possibly have the same dependence on [itex]\lambda[/itex] if they get opposite results for the same [itex]\lambda[/itex].
 
  • #60
stevendaryl said:
What the authors are saying here doesn't seem correct to me. Bell's "vital assumption" is that for the EPR twin-pair experiment, the result of the measurement at one detector does not depend on the settings of the distant detector. The authors say that Bell's inequality does not depend on this assumption, but that seems completely wrong.

Let's define two functions

[itex]F^{(1)}_a(\lambda, m_1, m_2)[/itex]
[itex]F^{(2)}_a(\lambda, m_1, m_2)[/itex]

[edit:]
(where [itex]m_1[/itex] is the detector settings at the first detector, and [itex]m_2[/itex] is the detector settings at the other detector) as follows:

[itex]F^{(1)}_a(\lambda, m_1, m_2) = +1[/itex] if [itex]0 \leq \lambda < \frac{1}{2}[/itex].
[itex] = -1[/itex] if [itex]\frac{1}{2} \leq \lambda \leq 1[/itex].

[itex]F^{(2)}_a(\lambda, m_1, m_2) = +1[/itex] if [itex]0 \leq \lambda < \frac{1}{2} sin^2(\frac{\theta}{2})[/itex].
[itex] = -1[/itex] if [itex]\frac{1}{2} sin^2(\frac{\theta}{2})\leq \lambda \leq 1[/itex].

where [itex]\theta[/itex] is the angle between the two detector orientations. That's a perfectly deterministic (although non-local) "hidden variable" theory that reproduces exactly the predictions of QM and violates Bell's inequality.

[edit: I made a mistake in defining the two functions. Here's what I should have written:]

[itex]F^{(1)}_a(\lambda, m_1, m_2) = +1[/itex] if [itex]0 \leq \lambda < \frac{1}{2}[/itex].
[itex] = -1[/itex] if [itex]\frac{1}{2} \leq \lambda \leq 1[/itex].

[itex]F^{(2)}_a(\lambda, m_1, m_2) = +1[/itex] if [itex]0 \leq \lambda < \frac{1}{2} sin^2(\frac{\theta}{2})[/itex].
[itex] = -1[/itex] if [itex]\frac{1}{2} sin^2(\frac{\theta}{2})\leq \lambda \leq \frac{1}{2} (1 + sin^2(\frac{\theta}{2}))[/itex].
[itex] = +1[/itex] if [itex]\frac{1}{2} (1 + sin^2(\frac{\theta}{2})) \leq \lambda \leq 1[/itex]

This gives
[itex]P(A) = P(B) = \frac{1}{2}[/itex]
[itex]P(A \wedge B) = P(\neg A \wedge \neg B) = \frac{1}{2}sin^2(\theta)[/itex]
 
  • #61
harrylin said:
Likely you mean the inverse of the second function, but that's a detail.

Yes, I made a mistake in defining the two functions.
 
  • #62
stevendaryl said:
What I described is a single hidden variable, [itex]\lambda[/itex], that is shared by the two experimenters. It's the same probability space. But Alice's result is a different function of [itex]\lambda[/itex] than Bob's result. That must be the case, because if Alice and Bob both measure the spin in the same direction, one of them will get spin-up, and the other will get spin-down. They can't possibly have the same dependence on [itex]\lambda[/itex] if they get opposite results for the same [itex]\lambda[/itex].
Indeed the results cannot have the exact same dependence; but that's not the point. Maybe I misunderstand what is meant with single probability space? I don't think that a single probability space just means a common variable. And it seems that according to them it means that the probabilities are complementary, at least in the context of Bell's theorem.

Compare Bell (in Bertlmann's socks):
'we have to consider then some probability distribution ρ(λ) over these complementary variables, and it is for the averaged probability (..) that we have quantum mechanical predictions.'
 
  • #63
harrylin said:
Indeed the results cannot have the exact same dependence; but that's not the point. Maybe I misunderstand what is meant with single probability space? I don't think that a single probability space just means a common variable. And it seems that according to them it means that the probabilities are complementary, at least in the context of Bell's theorem.

You have a single variable, [itex]\lambda[/itex]. You have a single probability distribution, [itex]P(\lambda)[/itex]. I don't know what else you want.

Compare Bell (in Bertlmann's socks):
'we have to consider then some probability distribution ρ(λ) over these complementary variables, and it is for the averaged probability (..) that we have quantum mechanical predictions.'

I think he's just saying what I was saying. You have the quantum mechanical prediction:

[itex]P(A \wedge B | \alpha \wedge \beta) = \frac{1}{2} sin^2(\frac{\theta}{2})[/itex]

where [itex]\theta[/itex] is the angle between the two detector orientations [itex]\alpha[/itex] and [itex]\beta[/itex]

To explain this in terms of local variables is to have a probability distribution [itex]P(\lambda)[/itex] and conditional probabilities [itex]P_A(\lambda, \alpha)[/itex] and [itex]P_B(\lambda, \beta)[/itex] so that

[itex]P(A \wedge B | \alpha \wedge \beta) = \sum_\lambda P(\lambda) P_A(\lambda, \alpha) P_B(\lambda, \beta)[/itex]
 
  • #64
bhobba said:
Exactly. Other than probabilities of what you would get if you were to measure it - nothing.

Actually, that is a lot since that says it exists. I'm trying to get at the root of the non-existance of things that don't interact. The unmeasured electron is interacting (exerting a force, charge, etc) in a probablistic way. QM's probabilities tells us a lot about it, even though it has not yet been measured.

bhobba said:
This sock thing you keep on talking about is simply a thought experiment illustrating the correlations of entangled systems.

Right. And the point it makes about existence is significant and I'm having trouble communicating it. Things exist that have not yet been measured. Things do not exist that we cannot know anything about.

Spooky Socks Discussion said:
These spooky effects force us to answer the question 'does something exist if we can not know anything about it?' with a resounding 'no'. What can not be observed does not exist. This is not a crazy philosophical thought, but a hard experimental fact.

So the difference between "What can not be observed" and "What has not been measured" is a big deal, and thought-experiment-wise is expressed in the difference between "preparing the dresser" and "arranging the socks".

So, how does that tie in with "Is there any hope for Locality". I suppose it doesn't. Observation of A is also observation of B. They just exist. You can't consider the alternatives or what might have been.
 
Last edited:
  • #65
stevendaryl said:
You have a single variable, [itex]\lambda[/itex]. You have a single probability distribution, [itex]P(\lambda)[/itex]. I don't know what else you want.
You mean what they seem to want; which is, I think, a single probability distribution for both photons like that of balls in a box.
I think he's just saying what I was saying. You have the quantum mechanical prediction:

[itex]P(A \wedge B | \alpha \wedge \beta) = \frac{1}{2} sin^2(\frac{\theta}{2})[/itex]

where [itex]\theta[/itex] is the angle between the two detector orientations [itex]\alpha[/itex] and [itex]\beta[/itex]

To explain this in terms of local variables is to have a probability distribution [itex]P(\lambda)[/itex] and conditional probabilities [itex]P_A(\lambda, \alpha)[/itex] and [itex]P_B(\lambda, \beta)[/itex] so that

[itex]P(A \wedge B | \alpha \wedge \beta) = \sum_\lambda P(\lambda) P_A(\lambda, \alpha) P_B(\lambda, \beta)[/itex]
Are you sure that your example has a probability distribution of "complementary variables" such as what Bell referred to? :bugeye:

If your example has indeed that (his eq.11):

P(A,B¦a,b,λ) = P1(A¦a,λ) P2(B¦b,λ)

then it should not break his inequality.

That is what Bell referred to with 'we have to consider then some probability distribution ρ(λ) over these complementary variables'
 
Last edited:
  • #66
meBigGuy said:
Actually, that is a lot since that says it exists.

Why do you say that? I think most people would say for something to exist it should exist independent of observation. If all you can do is predict the probabilities of outcomes if you were to observe it it has a pretty strange sort of existence. QM is a theory about RELATIONS - the relation of quantum systems to other quantum systems we call observers. It has no existence independent of that. If you have a universe with a single electron in it you would know nothing, zero, zilch about it because it needs to interact with an observer.

The trouble with this stuff is it boils down to how you interpret words which is really the game of philosophy - not physics.

meBigGuy said:
Right. And the point it makes about existence is significant and I'm having trouble communicating it. Things exist that have not yet been measured.

That's not what entangled correlations do at all. It says measurement is non local ie when you measure stuff here you are effectively measuring it over there. When you do a measurement a system changes state. For entangled systems that state can have spatial extent - that's it - that's all. The modern theory of measurement is that measurement is a kind of entanglement. So when you measure an entangled system the system doing the measuring becomes entangled and effectively part of a system that can be extended beyond where you are measuring. It doesn't mean things exist that have not been measured.

I really think you would benefit from watching Lenoard Susskind's lectures on it:
http://theoreticalminimum.com/courses/quantum-entanglement/2006/fall

Thanks
Bill
 
Last edited:
  • #67
harrylin said:
You mean what they seem to want; which is, I think, a single probability distribution for both photons like that of balls in a box.

Are you sure that your example has a probability distribution of "complementary variables" such as what Bell referred to? :bugeye:

If your example has indeed that (his eq.11):

P(A,B¦a,b,λ) = P1(A¦a,λ) P2(B¦b,λ)

I'm saying the same thing.

then it should not break his inequality.

What should not break his inequality? I didn't claim that there was a probability distribution of that form that violated Bell's inequality. There provably is not one. What I said was that if you allow the conditional probability of [itex]B[/itex] to depend on [itex]a[/itex], you can break the inequality:

[edit: it did say "depend on b"]

[itex]P(A,B | a,b,\lambda) = P_1(A | a,λ) P_2(B | a, b,\lambda)[/itex]
 
Last edited:
  • #68
stevendaryl said:
I'm saying the same thing.
[..] I didn't claim that there was a probability distribution of that form that violated Bell's inequality. There provably is not one. What I said was that if you allow the conditional probability of [itex]B[/itex] to depend on [itex]b[/itex], you can break the inequality:

[itex]P(A,B | a,b,\lambda) = P_1(A | a,λ) P_2(B | a, b,\lambda)[/itex]

Once more, it appears to me that you state the same - just looking at it from another angle - as what is said in the part that you think to be wrong, in #55.
 
  • #69
harrylin said:
Once more, it appears to me that you state the same - just looking at it from another angle - as what is said in the part that you think to be wrong, in #55.

Somehow we're not understanding each other. My claim (and I think it's the same as Bell's) is that
  1. Any joint probability distribution of the form:[itex]P(A, B | \alpha, \beta) = \sum_\lambda P(\lambda) P(A | \alpha, \lambda) P(B| \beta, \lambda)[/itex]
    will obey Bell's inequality.
  2. A probability distribution of the form: [itex]P(A, B | \alpha, \beta) = \sum_\lambda P(\lambda) P(A | \alpha, \lambda) P(B| \alpha, \beta, \lambda)[/itex]
    can violate Bell's inequality.

So what I'm saying is wrong is that a probability distribution of the form 1 can violate Bell's inequality--it can't. I'm also saying that it's wrong to say that a probability distribution of the form 2 will STILL obey Bell's inequality.

I've seen people who claim Bell is wrong because 1 above is false, and I've seen people who claim that Bell is wrong (or at least, irrelevant) because 2 above is false.
 
  • #70
stevendaryl said:
Somehow we're not understanding each other. My claim (and I think it's the same as Bell's) is that
  1. Any joint probability distribution of the form:[itex]P(A, B | \alpha, \beta) = \sum_\lambda P(\lambda) P(A | \alpha, \lambda) P(B| \beta, \lambda)[/itex]
    will obey Bell's inequality.
  2. A probability distribution of the form: [itex]P(A, B | \alpha, \beta) = \sum_\lambda P(\lambda) P(A | \alpha, \lambda) P(B| \alpha, \beta, \lambda)[/itex]
    can violate Bell's inequality.
It appears to me that it is just that point that is stressed in the section following the section that you think to be wrong. Their disagreement with Bell is about which kind of physical models can match which distributions. I don't know if they are right but I'm pretty sure that they agree with the point that you try to make.

Once more, I interpret their assertion that a requirement for the inequality to hold is "that the random variables are defined on the same probability space" as referring to the equation that Bell referred to with similar phrasing. That happens to be your first equation here above, which you also assert to be required for the inequality to hold.

I'm sorry, I don't know how to say clearer that when one person says 1+1=2 and another says that instead 2-1=1, that they say the same thing...
 
Last edited:

Similar threads

Back
Top