Arxiv:1909.06771V2 [Quant-Ph] 19 Sep 2019
Total Page:16
File Type:pdf, Size:1020Kb
Quantum PBR Theorem as a Monty Hall Game Del Rajan ID and Matt Visser ID School of Mathematics and Statistics, Victoria University of Wellington, Wellington 6140, New Zealand. (Dated: LATEX-ed September 20, 2019) The quantum Pusey{Barrett{Rudolph (PBR) theorem addresses the question of whether the quantum state corresponds to a -ontic model (system's physical state) or to a -epistemic model (observer's knowledge about the system). We reformulate the PBR theorem as a Monty Hall game, and show that winning probabilities, for switching doors in the game, depend whether it is a -ontic or -epistemic game. For certain cases of the latter, switching doors provides no advantage. We also apply the concepts involved to quantum teleportation, in particular for improving reliability. Introduction: No-go theorems in quantum foundations Furthermore, concepts involved in the PBR proof have are vitally important for our understanding of quantum been used for a particular guessing game [43]. physics. Bell's theorem [1] exemplifies this by showing In this Letter, we reformulate the PBR theorem into that locally realistic models must contradict the experi- a Monty Hall game. This particular gamification of the mental predictions of quantum theory. theorem highlights that winning probabilities, for switch- There are various ways of viewing Bell's theorem ing doors in the game, depend on whether it is a -ontic through the framework of game theory [2]. These are or -epistemic game; we also show that in certain - commonly referred to as nonlocal games, and the best epistemic games switching doors provides no advantage. known example is the CHSH game; in this scenario the This may have consequences for an alternative experi- participants can win the game at a higher probability mental test of the PBR theorem. Furthermore, we shall with quantum resources, as opposed to having access to also use the concepts involved for modifying quantum only classical resources. There has also been work on the teleportation [44, 45] to view it as a Monty Hall game. relationship between Bell's theorem and Bayesian game Using these notions, we develop an error-correcting strat- theory [3{5]; in a subset of cases it was shown that quan- egy for unreliable teleportation which may be relevant for tum resources provide an advantage, and lead to quan- practical quantum networks. tum Nash equilibria. In [6], it was shown that quantum PBR theorem: We provide a rough sketch of the PBR nonlocality can outperform classical strategies in games proof [24], and highlight crucial outcomes. Two quantum where participants have conflicting interests. In [7], a systems are prepared independently, and each systemp is nonlocal game was constructed where quantum resources prepared in either state j0i or state j+i = (j0i + j1i)= 2. did not offer an advantage. This means that the total system is in one of the four possible non-orthogonal quantum states: Beyond Bell's theorem, entropic uncertainty relations can be viewed in the framework of a guessing game [8, jΨ1i = j0i ⊗ j0i ; jΨ2i = j0i ⊗ j+i ; 9]; the uncertainty relation constraints the participant's jΨ3i = j+i ⊗ j0i ; jΨ4i = j+i ⊗ j+i : (1) ability to win the game. More broadly, the relationship between quantum theory and game theory is investigated The total system is brought together and measured in in [10{12]. The Monty Hall game [13{16] has also been the following entangled basis: generalized into quantum versions [17{23]. jΦ i = p1 (j0i ⊗ j1i + j1i ⊗ j0i); 1 2 The Pusey{Barrett{Rudolph (PBR) theorem [24] is a jΦ i = p1 (j0i ⊗ |−i + j1i ⊗ j+i); relatively recent no-go theorem in quantum foundations. 2 2 It addresses the question of whether the quantum state jΦ i = p1 (j+i ⊗ j1i + |−i ⊗ j0i); 3 2 arXiv:1909.06771v2 [quant-ph] 19 Sep 2019 corresponds to a -ontic model (physical state of a sys- jΦ i = p1 (j+i ⊗ |−i + |−i ⊗ j+i); (2) tem) or to a -epistemic model (observer's knowledge 4 2 p about the system) [25]. Notable developments on the where |−i = (j0i − j1i)= 2. PBR theorem and -epistemic models have been carried 2 Invoking the Born probabilities, jhΦijΨhij , where out in [26{34], including on the issue of quantum indis- 2 i; h = 1; 2; 3; 4, we have for i = h, jhΦijΨiij = 0. This tinguishability [35{37], as well being interpreted through means that for any value i, the outcome jΦii never oc- the language of communication protocols [38, 39]. curs when the system is prepared in quantum state jΨii. Analogous to the game formulation of Bell's theorem, The PBR proof showed that in -epistemic models there a desirable construction is to view the PBR theorem is a non-zero probability q (whose value does not need to through the lens of a game. One instantiation of this is in be specified) that outcome jΦii occurs when state jΨii is an exclusion game where the participant's goal is to pro- prepared, thereby contradicting the predictions of quan- duce a particular bit string [40, 41]; this has been shown tum theory; hence one can infer that the quantum state to be related to the task of quantum bet hedging [42]. corresponds to a -ontic model. 2 Classic Monty Hall: A character named Monty hosts be computed to be 1=3. From the last two values, we can a game show. There are three closed doors respectively calculate the conditional probability labelled f1; 2; 3g. There is a prize behind one door, and 1=3 1 goats behind the remaining two. The prize door is de- P (win if switch j opens goat door) = = : (6) 2=3 2 noted Ai where i takes one of the door labels, and this choice of prize door is made by the producers of the show. This means if Monty opens a goat door, then the con- We assume in the game that when a random choice needs testant's probability of winning is the same whether the to be made, all options are chosen with the same proba- contestant chooses to switch the door or not. bility. Hence, we have P (Ai) = 1=3 for all values i. The -ontic Monty Hall game: Antidistinguishability [32, contestant on the show, who doesn't know which door 46, 47], where there is a measurement for which each out- the prize is behind, gets to pick a door; we label this come identifies that a specific member of a set of quantum as Bj where j takes door labels; given this is a random states was definitely not prepared, is highlighted in the 2 choice, we have P (BjjAi) = 1=3, for all values i; j. Next, PBR proof by jhΦijΨiij = 0 for all i. We will exploit Monty who knows where the prize is, has to open a goat this to construct our game, which can be thought of as a door, Ck where k takes one door labels. Monty's decision quantum Ignorant Monty Hall game. is constrained through the game rule that he can't open For state jΨ1i in (1), we have the door chosen by the contestant. Hence we have the jhΦ jΨ ij2 = 0; jhΦ jΨ ij2 = 1=4; following conditional probabilities: 1 1 2 1 2 2 jhΦ3jΨ1ij = 1=4; jhΦ4jΨ1ij = 1=2: (7) 8 1 ; if i = j 6= k; <> 2 For the other states in (1), the same probability distri- P (Ck j Bj \ Ai) = 1; if i 6= j 6= k; (3) bution (0, 1=4, 1=4, 1=2) occur but across the different > :0; otherwise: outcomes (2); hence we will focus our game on jΨ1i, but similar constructions hold for the other states. Once a goat door is opened, Monty offers the contestant The Monty Hall gamification is as follows: There are the option to stick with the original choice or switch to four doors labelled f1; 2; 3; 4g, and these correspond to the other unopened door. By sticking, the contestant's the different measurement outcomes listed in (2). The probability of opening the prize door is 1=3. Counter- prize door Ai, where i takes one of the door labels, is intuitively, by switching doors, the probability of winning the outcome jΦii that the state jΨ1i collapses to upon increases to 2=3. This can be seen by computing the non- measurement. For a -ontic game, through the Born 2 zero joint probabilities for all events probabilities (7), we have P (Ai) = jhΦijΨ1ij . The contestant on the show doesn't know what state P (Ai \ Bj \ Ck) = P (Ck j Bj \ Ai)P (BjjAi)P (Ai); from (1) is used, and is only aware of the possible mea- surement outcomes (2). Based on this limited informa- and then summing those values for the events where the tion, the contestant randomly picks one of the doors contestant would win by switching. This results in which we denote Bj where j is the corresponding door X 2 label; hence we have P (BjjAi) = 1=4, for all values i; j. P (win if switch) = P (A \ B \ C ) = : (4) i j k 3 Monty's decision corresponds to the predictions of i6=j6=k quantum theory. He is aware that state jΨ1i was used, Ignorant Monty Hall: Just as in the Classic case, we and has access to the Born probabilities (7). The door opened by Monty is denoted Ck where k is one of the door have P (Ai) = 1=3 and P (BjjAi) = 1=3, for all values i; j. But in this game, Monty doesn't know what lies behind labels.