View source for Physics:Quantum pseudo-telepathy

{{Short description|Concept in quantum entanglement}}

{{Quantum book backlink|Quantum information and computing}}
{{hatnote|This article uses quantum theoretical concepts and terminology. For a generally accessible introduction to quantum mechanics, see [[Physics:Introduction to quantum mechanics|Introduction to quantum mechanics]].}}
{{About|quantum mechanics' application in game theory|quantum mechanics-related pseudoscience|Quantum mysticism}}
{{Quantum mechanics|cTopic=Fundamental concepts}}
'''Quantum pseudo-telepathy''' describes the use of [[Quantum entanglement|quantum entanglement]] to eliminate the need for classical communications.<ref>{{Cite book |last1=Brassard |first1=Gilles |last2=Broadbent |first2=Anne |last3=Tapp |first3=Alain |date=2003 |editor-last=Dehne |editor-first=Frank |editor2-last=Sack |editor2-first=Jörg-Rüdiger |editor3-last=Smid |editor3-first=Michiel |title=Multi-party Pseudo-Telepathy |url=http://link.springer.com/10.1007/978-3-540-45078-8_1 |location=Berlin, Heidelberg |publisher=Springer Berlin Heidelberg |volume=2748 |pages=1–11 |doi=10.1007/978-3-540-45078-8_1 |arxiv=quant-ph/0306042 |isbn=978-3-540-40545-0}}</ref><ref name="Brassard 2005">{{Cite journal |last=Brassard |first=Gilles |last2=Broadbent |first2=Anne |last3=Tapp |first3=Alain |date=November 2005 |title=Quantum Pseudo-Telepathy |url=http://link.springer.com/10.1007/s10701-005-7353-4 |journal=Foundations of Physics |language=en |volume=35 |issue=11 |pages=1877–1907 |doi=10.1007/s10701-005-7353-4 |issn=0015-9018|arxiv=quant-ph/0407221 }}</ref>
A nonlocal game is said to display quantum pseudo-telepathy if players who can use entanglement can win it with certainty while players without it can not. The prefix ''pseudo'' refers to the fact that quantum pseudo-telepathy does not involve the exchange of information between any parties. Instead, quantum pseudo-telepathy removes the need for parties to exchange information in some circumstances.

Quantum pseudo-telepathy is generally used as a [[Thought experiment|thought experiment]] to demonstrate the non-local characteristics of [[Physics:Quantum mechanics|quantum mechanics]]. However, quantum pseudo-telepathy is a real-world phenomenon which can be verified experimentally. It is thus an especially striking example of an [[Physics:Bell test experiments|experimental confirmation]] of Bell inequality violations.

==The magic square game==
[[Image:Mermin-Peres magic square.svg|thumb|When attempting to construct a 3×3 table filled with the numbers +1 and −1, such that each row has an even number of negative entries and each column an odd number of negative entries, a conflict is bound to emerge.]]
A simple [[Magic square|magic square]] game demonstrating nonclassical correlations was introduced by P. K. Aravind<ref name="Aravind 2004">{{cite journal |last1=Aravind |first1=P.K. |title=Quantum mysteries revisited again |journal=American Journal of Physics |date=2004 |volume=72 |issue=10 |pages=1303–1307 |doi=10.1119/1.1773173|arxiv=quant-ph/0206070|bibcode=2004AmJPh..72.1303A |citeseerx=10.1.1.121.9157 }}</ref> based on a series of papers by [[Biography:N. David Mermin|N. David Mermin]]<ref>{{Cite journal |last=Mermin |first=N. David |date=1990-08-01 |title=Quantum mysteries revisited |url=https://pubs.aip.org/ajp/article/58/8/731/1053812/Quantum-mysteries-revisited |journal=American Journal of Physics |language=en |volume=58 |issue=8 |pages=731–734 |doi=10.1119/1.16503 |bibcode=1990AmJPh..58..731M |issn=0002-9505|url-access=subscription }}</ref><ref>{{Cite journal |last=Mermin |first=N. David |date=1990-12-31 |title=Simple unified form for the major no-hidden-variables theorems |url=https://link.aps.org/doi/10.1103/PhysRevLett.65.3373 |journal=Physical Review Letters |language=en |volume=65 |issue=27 |pages=3373–3376 |doi=10.1103/PhysRevLett.65.3373 |pmid=10042855 |bibcode=1990PhRvL..65.3373M |issn=0031-9007|url-access=subscription }}</ref> and Asher Peres<ref>{{Cite journal |last=Peres |first=Asher |date=December 1990 |title=Incompatible results of quantum measurements |url=https://linkinghub.elsevier.com/retrieve/pii/037596019090172K |journal=Physics Letters A |language=en |volume=151 |issue=3–4 |pages=107–108 |doi=10.1016/0375-9601(90)90172-K|bibcode=1990PhLA..151..107P |url-access=subscription }}</ref> and {{ill|Adán Cabello|es|Adán Cabello Quintero}}<ref name="Cabello 2001a">{{cite journal |last1=Cabello |first1=A. |title=Bell's theorem without inequalities and without probabilities for two observers |journal=Physical Review Letters |date=2001 |volume=86 |issue=10 |pages=1911–1914 |doi=10.1103/PhysRevLett.86.1911 |pmid=11289818 |arxiv=quant-ph/0008085|bibcode=2001PhRvL..86.1911C |s2cid=119472501 |url=https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.86.1911 }}</ref><ref name="Cabello 2001b">{{cite journal |last1=Cabello |first1=A. |title=All versus nothing inseparability for two observers |journal=Physical Review Letters |date=2001 |volume=87 |issue=1 |article-number=010403 |doi=10.1103/PhysRevLett.87.010403 |pmid=11461451 |arxiv=quant-ph/0101108 |bibcode=2001PhRvL..87a0403C |s2cid=18748483 |url=https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.87.010403 }}</ref>
that developed simplifying demonstrations of [[Bell's theorem]]. The game has been reformulated to demonstrate quantum pseudo-telepathy.<ref name="Brassard 2004">{{Cite journal |last1=Brassard |first1=Gilles |last2=Broadbent |first2=Anne |last3=Tapp |first3=Alain |date=2005-06-16 |title=Recasting Mermin's multi-player game into the framework of pseudo-telepathy |journal= Quantum Info. Comput. |volume=5 |issue=7 |pages=538–550|arxiv=quant-ph/0408052 }}</ref>

===Game rules===
This is a cooperative game featuring two players, [[Alice and Bob]], and a referee. The referee asks Alice to fill in one row, and Bob one column, of a 3×3 table with plus and minus signs. Their answers must respect the following constraints: Alice's row must contain an even number of minus signs, Bob's column must contain an odd number of minus signs, and they both must assign the same sign to the cell where the row and column intersects. If they manage to do so, they win—otherwise they lose.

Alice and Bob are allowed to elaborate a strategy together, but crucially are not allowed to communicate after they know which row and column they will need to fill in (as otherwise the game would be trivial).

===Classical strategy===
It is easy to see that if Alice and Bob can come up with a classical strategy where they always win, they can represent it as a 3×3 table encoding their answers. But this is not possible, as the number of minus signs in this hypothetical table would need to be even and odd at the same time: every row must contain an even number of minus signs, making the total number of minus signs even, and every column must contain an odd number of minus signs, making the total number of minus signs odd.

With a bit further analysis one can see that the best possible classical strategy can be represented by a table where each cell now contains both Alice and Bob's answers, that may differ. It is possible to make their answers equal in 8 out of 9 cells, while respecting the parity of Alice's rows and Bob's columns. This implies that if the referee asks for a row and column whose intersection is one of the cells where their answers match they win, and otherwise they lose. Under the usual assumption that the referee asks for them uniformly at random, the best classical winning probability is 8/9.

===Pseudo-telepathic strategies===
Use of quantum pseudo-telepathy would enable Alice and Bob to win the game 100% of the time ''without'' any communication once the game has begun.


However, the process of measuring the particles imposes sufficient structure on the [[Joint probability distribution|joint probability distribution]] of the results of the measurement such that if Alice and Bob choose their actions based on the results of their measurement, then there will exist a set of strategies and measurements allowing the game to be won with probability 1.

Note that Alice and Bob could be light years apart from one another, and the entangled particles will still enable them to coordinate their actions sufficiently well to win the game with certainty.

Each round of this game uses up one entangled state. Playing ''N'' rounds requires that ''N'' entangled states (2N independent Bell pairs, see below) be shared in advance. This is because each round needs 2-bits of information to be measured (the third entry is determined by the first two, so measuring it isn't necessary), which destroys the entanglement. There is no way to reuse old measurements from earlier games.

The trick is for Alice and Bob to share an entangled quantum state and to use specific measurements on their components of the entangled state to derive the table entries. A suitable correlated state consists of a pair of entangled [[Bell state]]s:

:<math>\left|\varphi\right\rang
= \frac{1}{\sqrt{2}}
\bigg(\left|+\right\rang_a \otimes \left|+\right\rang_b + \left|-\right\rang_a \otimes \left|-\right\rang_b \bigg)
\otimes
\frac{1}{\sqrt{2}}
\bigg(\left|+\right\rang_c \otimes \left|+\right\rang_d + \left|-\right\rang_c \otimes \left|-\right\rang_d \bigg) </math>

here <math>\left|+\right\rang</math> and <math>\left|-\right\rang</math> are eigenstates of the Pauli operator ''S''<sub>''x''</sub> with eigenvalues +1 and −1, respectively, whilst the subscripts a, b, c, and d identify the components of each Bell state, with ''a'' and ''c'' going to Alice, and ''b'' and ''d'' going to Bob. The symbol <math>\otimes</math> represents a [[Tensor product|tensor product]].

[[Physics:Observable|Observable]]s for these components can be written as products of the [[Pauli matrices]]:

:<math> X = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix} 
, Y = \begin{bmatrix} 0 & -i \\ i & 0 \end{bmatrix}
, Z = \begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix} </math>

Products of these Pauli spin operators can be used to fill the 3×3 table such that each row and each column contains a mutually [[Commutativity|commuting]] set of observables with eigenvalues +1 and −1, and with the product of the observables in each row being the identity operator, and the product of observables in each column equating to minus the identity operator. This is a so-called Mermin–Peres magic square. It is shown in below table.

{| class="wikitable" style="text-align:center; border;1px"
|- style="height:80px"
| <math>+I \otimes Z</math>  || <math>+Z \otimes I</math>  || <math>+Z \otimes Z</math> 
|- style="height:80px"
| <math>+X \otimes I</math>  || <math>+I \otimes X</math> || <math>+X \otimes X</math>
|- style="height:80px"
| <math>-X \otimes Z</math>  || <math>-Z \otimes X</math>  || <math>+Y \otimes Y</math>
|-
|}

Effectively, while it is not possible to construct a 3×3 table with entries +1 and −1 such that the product of the elements in each row equals +1 and the product of elements in each column equals −1, it is possible to do so with the richer [[Algebra over a field|algebraic structure]] based on spin matrices.

The play proceeds by having each player make one measurement on their part of the entangled state per round of play. Each of Alice's measurements will give her the values for a row, and each of Bob's measurements will give him the values for a column. It is possible to do that because all observables in a given row or column commute, so there exists a basis in which they can be measured simultaneously. For Alice's first row she needs to measure both her particles in the <math>Z</math> basis, for the second row she needs to measure them in the <math>X</math> basis, and for the third row she needs to measure them in an entangled basis. For Bob's first column he needs to measure his first particle in the <math>X</math> basis and the second in the <math>Z</math> basis, for second column he needs to measure his first particle in the <math>Z</math> basis and the second in the <math>X</math> basis, and for his third column he needs to measure both his particles in a different entangled basis, the [[Bell state#Bell basis|Bell basis]]. As long as the table above is used, the measurement results are guaranteed to always multiply out to +1 for Alice along her row, and −1 for Bob down his column.  Of course, each completely new round requires a new entangled state, as different rows and columns are ''not'' compatible with each other.

==Current research==
It has been demonstrated that the above-described game is the simplest two-player game of its type in which quantum pseudo-telepathy allows a win with probability one.<ref name="Gisin 2006">{{Cite journal|arxiv = quant-ph/0610175|last1 = Gisin|first1 = N.|title = Pseudo-telepathy: Input cardinality and Bell-type inequalities|last2 = Methot|first2 = A. A.|last3 = Scarani|first3 = V.|year = 2007|journal=International Journal of Quantum Information |volume=5 |issue = 4|pages=525–534|doi = 10.1142/S021974990700289X|s2cid = 11386567}}</ref> Other games in which quantum pseudo-telepathy occurs have been studied, including larger magic square games,<ref name="Kunkri 2006">{{Cite arXiv |eprint = quant-ph/0602064|last1 = Kunkri|first1 = Samir|title= Winning strategies for pseudo-telepathy games using single non-local box|last2 = Kar|first2 = Guruprasad|last3 = Ghosh|first3 = Sibasish|last4 = Roy|first4 = Anirban|year = 2006 }}</ref> [[Graph coloring game|graph colouring games]]<ref name="Avis 2005">{{Cite journal |arxiv = quant-ph/0509047|doi = 10.1093/ietfec/e89-a.5.1378|title = A Quantum Protocol to Win the Graph Colouring Game on All Hadamard Graphs|journal = IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences|volume = 89|issue = 5|pages = 1378–1381|year = 2006|last1 = Avis|first1 = D.|last2 = Hasegawa|first2 = Jun|last3 = Kikuchi|first3 = Yosuke|last4 = Sasaki|first4 = Yuuya|bibcode = 2006IEITF..89.1378A}}</ref> giving rise to the notion of quantum [[Chromatic number|chromatic number]],<ref name="Cameron 2007">{{Cite journal|arxiv = quant-ph/0608016|last1 = Cameron|first1 = Peter J.|title = On the quantum chromatic number of a graph|last2 = Montanaro|first2 = Ashley|last3 = Newman|first3 = Michael W.|last4 = Severini|first4 = Simone|last5 = Winter|first5 = Andreas|year = 2007 |journal=Electronic Journal of Combinatorics |volume=14 |issue=1| article-number=R81 |doi = 10.37236/999|s2cid = 6320177}}</ref> and multiplayer games involving more than two participants.<ref name="Brassard 2004"/>

In July 2022 a study reported the experimental demonstration of quantum pseudotelepathy via playing the nonlocal version of Mermin-Peres magic square game.<ref>{{Cite journal |last1=Xu |first1=Jia-Min |last2=Zhen |first2=Yi-Zheng |last3=Yang |first3=Yu-Xiang |last4=Cheng |first4=Zi-Mo |last5=Ren |first5=Zhi-Cheng |last6=Chen |first6=Kai |last7=Wang |first7=Xi-Lin |last8=Wang |first8=Hui-Tian |date=2022-07-26 |title=Experimental Demonstration of Quantum Pseudotelepathy |url=https://link.aps.org/doi/10.1103/PhysRevLett.129.050402 |journal=Physical Review Letters |volume=129 |issue=5 |article-number=050402 |doi=10.1103/PhysRevLett.129.050402|pmid=35960591 |arxiv=2206.12042 |bibcode=2022PhRvL.129e0402X |s2cid=250048711 }}</ref>

==Greenberger–Horne–Zeilinger game==
The Greenberger–Horne–Zeilinger (GHZ) game<ref name="Vaidman-1999">{{Cite journal |last=Vaidman |first=Lev |date=1999 |title=Variations on the Theme of the Greenberge-Horne-Zeilinger Proof |url=http://link.springer.com/10.1023/A:1018868326838 |journal=Foundations of Physics |volume=29 |issue=4 |pages=615–630 |doi=10.1023/A:1018868326838|bibcode=1999FoPh...29..615V |url-access=subscription }}</ref><ref>{{Cite journal |last1=Guo |first1=Hong |last2=Zhang |first2=Juheng |last3=Koehler |first3=Gary J. |date=2008-12-01 |title=A survey of quantum games |url=https://linkinghub.elsevier.com/retrieve/pii/S0167923608001292 |journal=Decision Support Systems |volume=46 |issue=1 |pages=318–332 |doi=10.1016/j.dss.2008.07.001 |issn=0167-9236|url-access=subscription }}</ref> is another example of quantum pseudo-telepathy. Classically, the game has 0.75 winning probability. However, with a quantum strategy, the players can achieve a winning probability of 1, meaning they always win.<ref>{{Cite journal |last1=Xu |first1=Jia-Min |last2=Zhen |first2=Yi-Zheng |last3=Yang |first3=Yu-Xiang |last4=Cheng |first4=Zi-Mo |last5=Ren |first5=Zhi-Cheng |last6=Chen |first6=Kai |last7=Wang |first7=Xi-Lin |last8=Wang |first8=Hui-Tian |date=2022-07-26 |title=Experimental Demonstration of Quantum Pseudotelepathy |url=https://link.aps.org/doi/10.1103/PhysRevLett.129.050402 |journal=Physical Review Letters |language=en |volume=129 |issue=5 |article-number=050402 |doi=10.1103/PhysRevLett.129.050402 |pmid=35960591 |issn=0031-9007|arxiv=2206.12042 |bibcode=2022PhRvL.129e0402X }}</ref>

In the game there are three players, Alice, Bob, and Carol playing against a referee. The referee poses a binary question to each player (either <math>0</math> or <math>1</math>). The three players each respond with an answer again in the form of either <math>0</math> or <math>1</math>. Therefore, when the game is played the three questions of the referee ''x, y, z'' are drawn from the 4 options <math>\{(0,0,0), (1,1,0),(1,0,1),(0,1,1)\}</math>. For example, if question triple <math>(0,1,1)</math> is chosen, then Alice receives bit 0, Bob receives bit 1, and Carol receives bit 1 from the referee. Based on the question bit received, Alice, Bob, and Carol each respond with an answer ''a, b, c'', also in the form of 0 or 1. The players can formulate a strategy together prior to the start of the game. However, no communication is allowed during the game itself.

The players win if <math>\mathrm{mod}_2 (a + b + c) = x \lor y \lor z</math>, where <math>\lor</math> indicates OR condition and <math>mod_2</math> indicates summation of answers modulo 2. In other words, the sum of three answers has to be even if <math>x = y = z = 0</math>. Otherwise, the sum of answers has to be odd.

{| class="wikitable" style="margin-left: auto; margin-right: auto; border: none;"
|+ Winning condition of GHZ game
|-
! <math>x</math> !! <math>y</math> !! <math>z</math> !! <math>a \oplus b \oplus c</math>
|-
| 0 || 0 || 0 || 0 mod 2
|-
| 1 || 1 || 0 || 1 mod 2
|-
| 1 || 0 || 1 || 1 mod 2
|-
| 0 || 1 || 1|| 1 mod 2
|}

===Classical strategy===
Classically, Alice, Bob, and Carol can employ a deterministic strategy that always end up with odd sum (e.g. Alice always output 1. Bob and Carol always output 0). The players win 75% of the time and only lose if the questions are <math>(0,0,0)</math>.

This is the best classical strategy: only 3 out of 4 winning conditions can be satisfied simultaneously. Let <math>a_0, a_1</math> be Alice's response to question 0 and 1 respectively, <math>b_0, b_1</math> be Bob's response to question 0, 1, and <math>c_0, c_1</math> be Carol's response to question 0, 1. We can write all constraints that satisfy winning conditions as 
<math display="block">\begin{align}
& a_0 + b_0 + c_0 = 0\mod 2 \\
& a_1 + b_1 + c_0 = 1\mod 2 \\
& a_1 + b_0 + c_1 = 1\mod 2 \\
& a_0 + b_1 + c_1 = 1\mod 2
\end{align}</math>

Suppose that there is a classical strategy that satisfies all four winning conditions, all four conditions hold true. Through observation, each term appears twice on the left hand side. Hence, the left side sum = 0 mod 2. However, the right side sum = 1 mod 2. The contradiction shows that all four winning conditions cannot be simultaneously satisfied.

===Quantum strategy===
When Alice, Bob, and Carol decide to adopt a quantum strategy they share a tripartite entangled state <math display="inline"> |{\psi}\rangle = \frac{1}{\sqrt 2} (|000\rangle + |111\rangle)</math>, known as the GHZ state.

If question 0 is received, the player makes a measurement in the X basis <math display="inline">\{|+\rangle,|-\rangle\}</math>. If question 1 is received, the player makes a measurement in the Y basis <math display="inline">\left\{\frac{1}{\sqrt 2}(|0\rangle+i|1\rangle), \frac{1}{\sqrt 2}(|0\rangle-i|1\rangle)\right\}</math>. In both cases, the players give answer 0 if the result of the measurement is the first state of the pair, and answer 1 if the result is the second state of the pair. With this strategy the players win the game with probability 1.

==See also==
{{cols|colwidth=26em}}
*[[Quantum game theory]]
*[[Quantum refereed game]]
*GHZ state – an entangled 3-particle state.
*[[Physics:EPR paradox|EPR paradox]]
*[[Kochen–Specker theorem]]
*[[Quantum information science]]
*[[Qubit]]
*[[Physics:Tsirelson's bound|Tsirelson's bound]]
{{colend}}

==Notes==
{{reflist}}


[[Category:Concepts in physics]]
[[Category:Quantum information science]]
[[Category:Quantum measurement]]
[[Category:Thought experiments in quantum mechanics]]

{{Sourceattribution|Quantum pseudo-telepathy}}