Quantum pseudo-telepathy

Quantum pseudo-telepathy is a phenomenon in quantum game theory resulting in anomalously high success rates in coordination games between separated players. These high success rates would require communication between the players in a purely classical (non-quantum) world; however, the game is set up such that during the game, communication is physically impossible. This means that for quantum pseudo-telepathy to occur, prior to the game the participants need to share a physical system in an entangled quantum state, and during the game have to execute measurements on this entangled state as part of their game strategy. Games in which the application of such a quantum strategy leads to pseudo-telepathy are also referred to as quantum non-locality games.

In their 1999 paper,^[1] Gilles Brassard, Richard Cleve and Alain Tapp demonstrated that winning quantum strategies can exist in simple games for which in the absence of quantum entanglement a winning strategy can result only if the participants were allowed to communicate. The term quantum pseudo-telepathy was later introduced^[2] for this phenomenon. The prefix 'pseudo' is appropriate, as the quantum non-locality effects that are at the heart of the phenomenon do not allow any transfer of information, but rather eliminate the need to exchange information between the players for achieving a mutual win in the game.

The phenomenon of quantum pseudo-telepathy is mostly used as a powerful and explicit thought experiment of the non-local characteristics of quantum mechanics. Yet, the effect is real and subject to experimental verification, as demonstrated by the experimental confirmation of the violation of the Bell inequalities.

The Mermin-Peres magic square game

When attempting to construct a 3x3 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.

An example of quantum pseudo-telepathy can be observed in the following two-player coordination game in which, in each round, one participant fills one row and the other fills one column of a 3x3 table with plus and minus signs.

The two players Alice and Bob are separated so that no communication between them is possible. In each round of the game, Alice is told which row is selected for her to fill in, and Bob is told which column is selected for him. Alice is not told which column Bob must fill in, and Bob is not told which row Alice must fill in. One may assume that the selection is done by chance or by a hostile party.

Alice and Bob place their numbers according to the following rules. Alice must fill in her row such that there is an even number of minus signs in that row. Bob must fill in his column such that there is an odd number of minus signs in that column.

If Alice and Bob place the same sign in the cell shared by their row and column, they win the round. If they place opposite signs, they lose the round. After the round is complete, the game board is cleared. They may play repeatedly, and they try to win as often as possible.

In the classic (non-quantum) form of the game, Alice and Bob are permitted to agree on a game playbook in advance. The only rule is that they cannot communicate after they are separated.

It is easy to see that any prior agreement between Alice and Bob on the use of specific tables filled with + and – signs is not going to enable them to win all the time. The reason is that a perfectly consistent table does not exist: it would be self-contradictory, with the sum of the minus signs in the table being even based on row sums, and being odd when using column sums. As a further illustration, if they use the partial table shown in the diagram (supplemented by a -1 for Alice and a +1 for Bob in the missing square) and the challenge rows and columns are selected at random, they will win 8/9 of the time.

The winning strategy

So, how can Alice and Bob succeed in winning all the time?

Although they are separated "so that no communication between them is possible", coordination can be provided through a pair of particles with entangled states, one of the particles is held by Alice, the other by Bob. Once Alice and Bob learn which column and row they must fill, each uses that information to select which measurement they should make to the particle. The result of that measurement will appear to each of them to be random (and the observed probability distribution will be independent of the measurement performed by the other party), so no real "communication" takes place. But there is a coordinating effect they can take advantage of. If each of them follows the advice of their measurement, they are sure to win. Moreover, it is not possible for the referee to "separate" them in any way to keep this coordination from taking place. They can be light years apart from one another, and the entangled particles will still provide that critical hint.

Specifically, 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 Bell states:

$\left|\phi\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)$

here $\left|+\right\rang$ and $\left|-\right\rang$ are eigenstates of the Pauli operator S_z 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.

Observables for these components can be written as products of the Pauli spin matrices:

$S_x = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix} , S_y = \begin{bmatrix} 0 & -i \\ i & 0 \end{bmatrix} , S_z = \begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix}$

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

$+S_x \otimes I$	$+S_x \otimes S_x$	$+I \otimes S_x$
$-S_x \otimes S_z$	$S_y \otimes S_y$	$-S_z \otimes S_x$
$+I \otimes S_z$	$+S_z \otimes S_z$	$+S_z \otimes I$

Effectively, while it is not possible to construct a 3x3 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 algebraic structure based on spin matrices.

Current research

It has been demonstrated^[4] that the above described game is the simplest two-player game in which quantum pseudo-telepathy can occur. Other games in which quantum pseudo-telepathy occurs have been studied, including larger magic square games,^[5] graph colouring games^[6] giving rise to the notion of quantum chromatic number,^[7] and multiplayer games involving more than two participants.^[8] Recent studies tackle the question of the robustness of the effect against noise due to imperfect measurements on the coherent quantum state.^[9] Recent work has shown an exponential enhancement in the communication cost of nonlinear distributed computation, due to entanglement, when the communication channel itself is restricted to be linear.^[10]

See also

• EPR paradox
• Kochen-Specker theorem
• Quantum information science
• Qubit
• Tsirelson's bound
• Wheeler–Feynman absorber theory

Notes

1. Gilles Brassard, Richard Cleve, Alain Tapp, "The cost of exactly simulating quantum entanglement with classical communication" (1999).
2. Gilles Brassard, Anne Broadbent, Alain Tapp, "Multi-Party Pseudo-Telepathy" (2003).
3. Here we use the table as defined in: P.K. Aravind, "Quantum mysteries revisited again", American Journal of Physics. 72, 1303-7 (2004).
4. Nicolas Gisin, Andre Allan Methot, Valerio Scarani, "Pseudo-telepathy: input cardinality and Bell-type inequalities" (2006).
5. Samir Kunkri, Guruprasad Kar, Sibasish Ghosh, Anirban Roy, "Winning strategies for pseudo-telepathy games using single non-local box" (2006).
6. David Avis, Jun Hasegawa, Yosuke Kikuchi and Yuuya Sasaki, "A quantum protocol to win the graph colouring game on all Hadamard graphs" (2005).
7. Peter J. Cameron, Ashley Montanaro, Michael W. Newman, Simone Severini, Andreas Winter, "On the quantum chromatic number of a graph" Electronic Journal of Combinatorics 14(1), 2007.
8. Gilles Brassard, Anne Broadbent, Alain Tapp, "Recasting Mermin's multi-player game into the framework of pseudo-telepathy" (2004).
9. P. Gawron, J.A. Miszczak, J. Sladkowski, "Noise Effects in Quantum Magic Squares Game", International Journal of Quantum Information, Vol. 6, No. 1 (2008), pp. 667–673.
10. A. Marblestone and M. Devoret, "Exponential Quantum Enhancement for Distributed Addition with Local Nonlinearity", Quantum Information Processing, Vol. 9, No.1 (2010)

External links

• Understanding and simulating quantum pseudo-telepathy