Understanding Bell’s theorem part 4: the counterfactual version

I was recently leafing through the great book Quantum Computation and Quantum Information, and noticed that the version of Bell’s theorem it presents is not any of those I wrote about in my three posts about Bell’s theorem, but rather the one I like the least, the counterfactual definiteness version. Annoyed, I checked another great book, Quantum Theory: Concepts and Methods, and saw that it also uses this god-forsaken version1. Nevertheless, I decided that the world has bigger problems to deal with and set it aside. Until I dropped by the Quantum Information lecture given by my boss, David Gross, and saw that he also prefers this undignified version. That’s it! The rise of fascism can wait. I need to set the record straight on counterfactual definiteness.

Before I start ranting about what I find so objectionable about it, I’ll present the proof of this version of Bell’s theorem the best I can. So, what is counterfactual definiteness? It is the assumption that not only the measurement you did in fact do has a definite answer, but also the measurement you did not do has a definite answer. If feels a lot like determinism, but it is not really the same thing, as the assumption is silent about how the result of the counterfactual measurement is determined, it just says that it is. To be more clear, let’s take a look at the data that comes from a real Bell test, the Delft experiment:2

N $x$ $y$ $a$ $b$
1 0 0 1 1
2 0 0 0 0
3 1 1 1 0
4 1 1 0 1
5 0 0 1 1
6 1 1 1 0
7 0 0 1 0
8 1 0 1 1
9 0 0 1 1
10 0 1 0 0

The first column indicates the rounds of the experiment, the $x$ and $y$ columns indicate the settings of Alice and Bob, and the $a$ and $b$ columns the results of their measurements. If one assumes counterfactual definiteness, then definite results must also exist for the measurements that were not made, for example in the first round there must exist results corresponding to the setting $x=1$ for Alice and $y=1$ for Bob. This data would then be just part of some more complete data table, for example this:

N $a_0$ $a_1$ $b_0$ $b_1$
1 1 0 1 1
2 0 1 0 1
3 1 1 0 0
4 1 0 1 1
5 1 1 1 1
6 1 1 0 0
7 1 1 0 0
8 1 1 1 0
9 1 0 1 0
10 0 0 1 0

In this table the column $a_0$ has the results of Alice’s measurements when her setting is $x=0$, and so on. The real data points, corresponding to the Delft experiment, are in black, and I filled in red the hypothetical results for the measurements that were not made.

What is the problem with assuming counterfactual definiteness, then? A complete table certainly exists. But it makes it possible to do something that wasn’t before: we can evaluate the entire CHSH game in every single round, instead of having to choose a single pair of settings. As a quick reminder, to win the CHSH game Alice and Bob must give the same answers when their settings are $(0,0)$, $(0,1)$, or $(1,0)$, and give different answers when their setting is $(1,1)$. In other words, they must have $a_0=b_0$, $a_0=b_1$, $a_1=b_0$, and $a_1 \neq b_1$. But if you try to satisfy all these equations simultaneously, you get that $a_0=b_0=a_1 \neq b_1 = a_0$, a contradiction. At most, you can satisfy 3 out of the 4 equations3. Then since in every row the score in the CHSH game is at most $3/4$, if we sample randomly from each row a pair of $a_x,b_y$ we have that
\[ \frac14(p(a_0=b_0) + p(a_0=b_1) + p(a_1=b_0) + p(a_1\neq b_1)) \le \frac34,\]
which is the CHSH inequality.

But if you select the actual Delft data from each row, the score will be $0.9$. Contradiction? Well, no, because you didn’t sample randomly, but just chose $1$ out of $4^{10}$ possibilities, which would happen with probability $1/4^{10} \approx 10^{-6}$ if you actually did it randomly. One can indeed violate the CHSH inequality by luck, it is just astronomically unlikely.

Proof presented, so now ranting: what is wrong with this version of the theorem? It is just so lame! It doesn’t even explicitly deal with the issue of locality, which is fundamental in all other versions of the theorem4! The conclusion that one takes from it, according to Asher Peres himself, is that “Unperformed experiments have no results”. To which the man in the street could reply “Well, duh, of course unperformed experiments have no results, why are you wasting my time with this triviality?”. It leaves the reader with the impression that they only need to give up the notion that unperformed experiments have results, and they are from then on safe from Bell’s theorem. But this is not true at all! The other proofs of Bell’s theorem still hold, so you still need to give up either determinism or no action at a distance, if you consider the simple version, or unconditionally give up local causality, if you consider the nonlocal version, or choose between generalised local causality and living in a single world, if you consider the Many-Worlds version.

This entry was posted in Uncategorised. Bookmark the permalink.

7 Responses to Understanding Bell’s theorem part 4: the counterfactual version

  1. Danylo says:

    From time to time I think about crazy idea that actually we don’t need to drop local causality. See, when we compare measurements of Alice and Bob – we do it in our own mind, that is locally :) So, there’s still local causality but it goes backwards in time.

    Unfortunately, I didn’t find any usage of this idea :)

  2. Mateus Araújo says:

    Well, but that is true of anything, even actual faster-than-light signalling. The question is not what happens in our minds, but out there in the world.

  3. Danylo says:

    But if there is no observer-independent facts, then what is objective? What is “out there in the world”? I am completely lost. No joke.

  4. Mateus Araújo says:

    There are observer-independent facts. What is observer-dependent are the measurement results. And observer-dependent does not mean subjective: even in classical mechanics the speed of a car depends on the reference frame of the observer. But it is a perfectly objective fact that in a given reference frame the speed is 100 km/h.

  5. David Gross says:

    Hi Mateus,

    Since you implied that my teaching choices are worse than the rise of fascism, I feel like I should defend CFD as a way for presenting Bell. :)

    The CFD approach obviously does not give you the strongest version of Bell. But it uses only elementary arguments and already tells you something highly non-trivial about Nature.

    By “elementary” I mean: Arguments that a mathematically inclined high school student can understand after less than one hour (I’ve tried). Keep in mind: Even the second year bachelor students that attend the Introductory Quantum Mechanics lecture here have at this point not been formally introduced to probability theory. They might have an intuitive understanding of probabilities, but will not be comfortable with manipulations such as the law of total probability (required in the “simple version” you link to in your post).

    I mean, just squint and compare your own write-up of the “simple version” with your own write-up of the CFD argument. The former is “math” with capital sigmas, Greek letters, and products of conditional probabilities. The other is a table with black and red 0s and 1s. It is accessible – I think – to a much larger audience.

    Your concern was that too much is lost this way. But let’s tell the CFD story fully, and see what we can get out of it using just high-school level arguments.

    You quote Peres as saying that “Unperformed experiments have no results”, to which a normal person would reply “Duh”. For a more dramatic effect, proceed this way:

    First, remind people of the kitchen-philosophy question of whether or not the moon is there when nobody looks. Say that this seems like one of these problems which you can endlessly discuss over copious quantities of red wine, without getting anywhere. No comes the mind-blowing realization: One can today perform experiments that have a bearing on this question. And their results have implications even more radical than “the moon isn’t there without an observer” would have been (lame…). Look, there’s a conceptually simple experiment that shows that even assuming that “the moon is either there or not, independently of any observations” gets us into trouble. That’s every bit as dramatic as it sounds. Again: to assume that physical quantities (like “is it there?”) have a value that is independent of observations is incompatible with experimental results – regardless of which value one assumes to be realized.

    Now, Mateus, I don’t know what kind of people you interact with in the streets – but I have yet to meet someone who said “Duh”. :-)

    Of course, then comes the usual disclaimer that you can’t actually do that with the moon, as it is constantly being “observed”, e.g. by interaction with background radiation or sun light. Because of these observations, it’s OK to ascribe a state to it. But in the microscopic world, … you get the drift.

    To proof that “one cannot assign values to unmeasured physical quantities”, one produces the argument like you did.

    One can than spend some time reiterating that $p\le 3/4$ (or $\le 2$) is a simple identity that holds for any possible assignment. This is the strength of the result! It falsifies an entire huge class of theories in one go (cue talking about Einstein's wasted years…).

    After the students have digested this, the subset of the audience that has attained some mathematical maturity can then be presented with the sharpened version that you wrote up in your 2016 post. (Today, I would explain it using the language of causal graphs that Rafael taught me to appreciate). But I think by forgoing the easier CFD argument, one looses a significant part of the audience.

    Two final comments:

    The "worse than fascism" lecture was admittedly a master's level course. So I guess I was just being lazy recycling material I prepared for undergraduate teaching. So, well, in that sense, your point stands.

    I've once presented the CFD version at an event for physics teachers. In the audience was a highly experienced colleague who has done some state-of-the-art Bell experiments. After the lecture he complained to me that I forgot to mention the locality assumption. That mildly irked me – because obviously he didn't follow my argument, but instead just compared the main message to the common narrative. Anyway, it shows that if one does present the CFD argument, it's important to say that there are (slightly) more complicated and stronger versions out there, in order to avoid later confusion.

  6. Mateus Araújo says:

    Hi David,

    Thanks for the comment. Ok, to be fair, the “Duh” reaction comes from people that simply read the slogan “Unperformed experiments have no results” without actually understanding what it means; it is indeed nontrivial, shocking even, to realize that one cannot assign any value at all to a measurement result if you haven’t actually done the measurement.

    Nevertheless I maintain that, if not worse than fascism, the CFD version is the lamest version of Bell’s theorem. Come on, what feels more dramatic to you, concluding that the world is not deterministic, or that you actually need to measure the position of the Moon for it to exist? Or concluding that the world is not local? Or that there are several worlds?

    But besides this lack of drama, it really bothers me the deeply misleading conclusion that many people take from this CFD version: that any physical quantity at all cannot have a value that is independent of observations. No, not any physical quantity, only measurement results. This makes all the difference in the world, because it still allows us to have an observer-independent reality. It is just that this reality is made of wavefunctions, not point particles with well-defined position and momentum.

    The actual Moon, the one made of atoms with wavefunctions, would still be definitely there, even if it weren’t being continuously measured. What cannot be either there or not there is this classical model of the Moon as a set of points in phase space.

  7. Roger Schafir says:

    You say that counterfactual definiteness “is the assumption that not only the measurement you did in fact do has a definite answer, but also the measurement you did not do has a definite answer.” Surely not. It is the assumption that the measurement you did not do WOULD HAVE HAD a definite answer INSTEAD OF the answer you did get. The difference in the form of the verb is crucial.

    You presumably accept as meaningful a statement like: “If I had caught the train on the adjoining platform yesterday, today I might have been in Paris instead of Cologne.” Not that you would have been in Paris AS WELL AS in Cologne, but INSTEAD OF in Cologne. And note the “might have been” rather then “would have been”, which is what is used in non-locality theorems (usually, anyway).

    The parallel between the everyday example above and the use in non-locality is exact, because the counterfactual reasoning is applied at the macroscopic level of observer actions and observational results − things which, as Heisenberg famously said (in his book Physics and Philosophy) are just as real as any other events in daily life.

    There is no contradiction, either, in stating that the counterfactual result is definite but you can’t be sure what it would have been. The first part of the statement relates to existence, the second part to knowledge. Nor does it contradict the doctrine of orthodox quantum mechanics that the results of alternative measurements in a different basis do not even exist. They WOULD HAVE existed if, contrary to fact, you had made that alternative measurement, and if so, the actual results you have obtained would not have existed. You quote Peres that unperformed experiments have no results. But they would have had results if they had been performed.

    I am wondering from what you said to me whether you are drawing some distinction between counterfactual (sometimes called “contrafactual” in the early days) reasoning in general, and Stapp’s formulation of counterfactual definiteness. But Stapp’s counterfactual definiteness only formulated explicitly the assumptions which are used in the counterfactual reasoning, namely, that if, contrary to fact, you had made a different (and incompatible) measurement to the one you did make, you would have received some result instead of the one you did get, it would have been unique, and would have obeyed the same rules of quantum mechanics.

    Even to explain what is meant by a statement like “the measurement outcome obtained by the observer depends on the choice of measurement…” involves counterfactual reasoning: the value obtained by the observer would have been (or at least might have been) different if, contrary to fact, the observer had made a different choice of what to measure.

    Your table and use of the CHSH inequality puzzles me. I am familiar with the inequality argument, first of all, as attributing +1 and -1 to the results of the observers, rather than 1 and 0, and though that might be dismissed as just a matter of preferred notation it does enable you to use multiplication of the results of the observers to obtain the all-important correlation function of 1 for the two observers’ results being the same and -1 if they are different. But it is the derived table of corr(a0,b1), corr(a0,b2), corr(a3,b1), corr(a3,b2) to which the inequality is applied, not the direct settings of a and b. (Also the two different choices of setting for Alice are not in general the same as for Bob.)

    It is true that if Alice and Bob get the same result for Settings (0,1), (0,2) and (3,1) and different results for (3,2) then you get maximum violation of the inequality, if that’s what you mean by “winning the CHSH game”, but any violation is enough to establish non-locality, and quantum mechanics violates it for appropriate choices of settings for almost any sequence of observations which is of reasonable length.

    You say that assuming counterfactual definiteness causes you to get contradictions, but that is the intention of the argument. You write a table with one value for Alice and one for Bob for each choice of their settings, but you can only do this if you assume that there only exists one value for Alice for each Alice setting, and ditto Bob. (I see on re-reading that you have inserted a note to this effect.) On that assumption you can write the derived table of correlations and deduce that the inequality must be obeyed. But since it is not, or at least not always, you deduce that it was wrong to write the table in the first place, because there is not just one value for the observer for each of the observer’s settings. So either quantum mechanics does not give a unique measurement value in general, or at least, the value of at least one of the observers must depend on the choice of setting of the other observer.

    Turning to the comments I see posted so far, yes I too think that this is not the place to bring consciousness issues into it, or at least, not more so than in any other topic in physics. There is one qualification though. Consciousness in the sense of being an experiencing being might not come into it, but the genuineness of free-will choices certainly does. If you assume that the observers cannot genuinely choose the settings at which to measure but (without knowing it) are pre-ordained to make the choice that they do, then counterfactual reasoning is invalid and there is no non-locality.

    David Gross puzzles me, because he discusses the matter entirely as a pedagogical issue − is using counterfactual definiteness the best way of teaching Bell’s theorem? But what other way can there be, since it’s not true without counterfactual definiteness (unless you confine yourself to hidden variable theories)?

    Finally, can I make a plea for the later non-locality theorems than Bell’s theorem be used, because they are so much simpler and clearer, in particular Hardy’s theorem. There is a particularly good simplified account of it by Mermin in Am.J.Phys, Oct.1994, http://www.crm.umontreal.ca/~durand/Mermin1994.pdf, in which the observer choice is a dial on a black box and the outcomes are a red light or a green light. You can see particularly clearly how counterfactual reasoning comes into it.

Comments are closed.