WikiJournal of Science/A card game for Bell's theorem and its loopholes/The car and the goats

From Wikiversity
Jump to navigation Jump to search

Subpages: The car and the goats   Impossible correlations   Tube entanglement


Here we carefully prove Eq. (1), which calculates the penalty that will induce Alice and Bob to act like entangled particles by giving the same (even/odd) answer whenever they receive the same question suit (the α-strategy):

(1)

 In search of a new car, the player picks a door, say 1. The game host then opens one of the other doors, say 3, to reveal a goat and offers to let the player pick door 2 instead of door 1.[1]


Cepheus, public domain

Purpose and free-will represent an important distinction between humans and elementary particles in this simulation of a Bell's theorem experiment. Unlike entangled particles, partners in the card game are attempting to maximize a score. And, unlike entangled particles, humans have the freedom to give different answers to the same question. This adds mathematical complexity arising from the knowledge gained by a player upon seeing one of the question cards in phase 2. Consider, for example, the Monty Hall problem: A contestant in a game show is shown three doors and will win whatever is behind the door he or she selects. A new car is behind one door, while the other two doors hide (less desirable) goats. After the contestant selects a door, the host shows that a goat was behind a door not selected. The host then gives the guest the opportunity to change his or her selection by instead choosing the other unopened door. Should the contestant accept this offer? Under certain circumstances the answer is "yes".[2]

Here we argue that in the partners' version of the card game, there is no advantage to modifying an answer choice after seeing the question. There is one caveat: We must assume that the referee selects randomly among the three card suits. Any discernible pattern by the referee to favor questions of one suit would give players an advantage that we shall not analyze. This equality among all three suits permits us to study just two cases: Either both players get the same question; or they get different questions. The probability that the referee asks different questions of both players is,

,
(2)

where is the probability that the referee selects two question cards of the same suit.

 All possible outcomes options for Bob, if Alice selects α-strategy. The minority question is because Alice will answer that one differently, and the minority question is "o" (odd) because that is Alice's answer to the minority answer. Bob should select the majority answer in case 1, and the minority answer in case 2.


α-strategy[edit | edit source]

While typical Bell's test experiments do not use the three symmetrical polarization orientations shown in Fig. 1, this configuration greatly simplifies our analysis (see Supplementary file:Impossible correlations for other polarization measurement angles.)

To facilitate the changes of variables that allow symmetry arguments to establish to equivalent situations involving permutations of Fig. 8, it is helpful to refer to the "even" answer as the "majority" answer (since more answers are "even"), and "odd" as the "minority" answer. Likewise, "heart" is the "minority" question (since only heart has the answer that is different), while "spades" and "club" are the "majority" questions.[3]

Suppose Alice announces that she will follow an α-strategy, for example by informing Bob that hearts will be "even" (e) while clubs and spades are "odd" (o), as shown in Fig. 8. Does this force Bob to also follow the α-strategy? Bob is clearly hoping that his question card will be "heart" because that guarantees a non-negative outcome if Bob also follows the same α-strategy. We now address the following question:

What should Bob do if his question is not the heart?

The answer depends on the penalty for the partners giving different answers to the same question, as well as the probability that they will be asked the same question. We will show that Bob's best strategy is to also play the same α-strategy ("even" to hearts and "odd" to spades and clubs.) Each case (favorable and unfavorable) must be considered separately, and expectation values for all possible strategies must be calculated:

Case 1: Bob sees the "unfavorable" card (spade or club). Since Bob does not know which question Alice will see, he must calculate the expected score for each three subcases (1a, 1b, 1c). And he must do this calculation for each (even/odd) option at his disposal. The 2×3 array the upper right corner shows all the outcomes associated with all subcases. Since Bob cannot know which subcase will occur, he must chose between the first or second column. In case 1, it is clear that the first column (e="even") is the better choice. Keep in mind that these subcases are not equally probable. The probability of 1c is , and we refer to this as the "majority" subcase, since the referee has (unknowingly) selected the suit associated with the "majority" of Alice's answers (i.e., the "even" spades/clubs because Alice selected them to be the same.) The probability of either 1a or 1b occurring is . Since we have already assumed that 1a and 1b are equally probable, Bob's expectation value for each choice is:

(3)

Here we have used the subscripts (maj/min) to denote the (majority/minority) card. It is clear that "even" is Bob's better choice whenever the penalty is positive . This is the same answer Alice would give to a club or spade, and therefore we have concluded that in case 1, Bob should also follow the same α-strategy that Alice chose.

Case 2: Bob sees the (favorable) heart. The expectation values for both possible answers that Bob might give are easily shown to be:

(4)

Here it is clear that Bob's best choice is also to play the same (even/odd) answer to the heart that Alice would have played.

In conclusion, if Alice selects the α-strategy, Bob's optimal strategy is to also follow the same α-strategy. Combining the the best strategies of (3) and (4) to obtain the expectation value if the team uses the α-strategy, we have:

(5)

β-strategy[edit | edit source]

Earlier we pointed out that another strategy is for Bob to give the opposite (even/odd) answer to each choice made by Alice. Here we also include the possibility that Bob attempts to override Alice's decision by giving the same answer as Alice. The expectation values for both of Bob's options are:

(6)

The "neutral" scoring system associated with the equality in (1) is obtained by equating to in (5) and (6). The other strategy associated with (6) is mathematically unsound, but psychologically feasible. Why would Bob opt for and select a strategy that is guaranteed to lose three points? Perhaps Alice is convinced that the referee will ask different questions and announces that all her answers will be "even". Bob disagrees and overrides Alice's decision because he is certain that the same question will be asked. From Bob's perspective, it is better to lose 3 points than incur the penalty of points.

Completing the proof[edit | edit source]

There are eight ways Alice can select (even/odd) answers to each suit. Six of them are covered by Fig. 8, by interchanging the symbols (e,o) and/or (,♣,♠).[3] The other two fall under the β-strategy. But what if Alice also changes her mind? This cannot improve the score because Bob has already optimized his response for each choice Alice might make; assigning probabilities to Alice's choices will not increase the expected score.

Footnotes[edit | edit source]

  1. wikipedia:special:permalink/818327855
  2. Gillman, Leonard (1992). "The Car and the Goats". The American Mathematical Monthly 99 (1): 3–7. doi:10.2307/2324540. 
  3. 3.0 3.1 Referring to "even/odd" as "e/o" permits us to later reverse the meanings of the variables by allowing "o" and "e" to instead signify "odd" and "even", respectively. Likewise, we can interchange the symbols and words for card suits, for example using the symbol ♣ to instead represent spades. Such substitutions are routine, for example when relabeling the indices in Einstein's summation notation