Abstract
Nonlocal game as a witness of the nonlocality of entanglement is of fundamental importance in various fields. The well-known nonlocal games or equivalent linear Bell inequalities are only useful for Bell networks consisting of single entanglement. Our goal in this paper is to propose a unified method for constructing cooperating games in network scenarios. We propose an efficient method to construct multipartite nonlocal games from any graphs. The main idea is the graph representation of entanglement-based quantum networks. We further specify these graphic games with quantum advantages by providing a simple sufficient and necessary condition. The graphic games imply a linear Bell testing of the nonlocality of general quantum networks consisting of EPR states. It also allows generating new instances going beyond CHSH game. These results have interesting applications in quantum networks, Bell theory, computational complexity, and theoretical computer science.
Similar content being viewed by others
Introduction
A nonlocal game is generally described as multiple space-separated players interacting with a referee. The communication between players are forbidden. Remarkably, it is related to Bell theory that is fundament in quantum mechanics1 when players are allowed to share classical resources or quantum entangled resources. Clauser-Horne-Shimony-Holt (CHSH) game as a distributed evaluating of Boolean equation: y1 ⊕ y2 = x1 ∧ x2, provides the first notable way for witnessing the nonlocality of Einstein-Podolsky-Rosen (EPR) state,1,2,3,4,5,6 where xi, yi are respective binary input and output. The shared entanglement permits a quantum strategy with larger winning probability than all classical strategies.
Generally, a nonlocal game allows all the players to determine a joint strategy from the complete knowledge of inputs distribution and the predicate conditions for win. The corresponding procedure can be featured by a generalized hidden variable model with classical sources or quantum sources.1 One fundamental problem is to determine whether quantum mechanics is superior to classical theory in terms of nonlocal tasks. These evaluations are equivalent to solving special optimization problems from Tsirelson’s reductions.7 Unfortunately, no efficient algorithm exists for general multipartite nonlocal games.8,9,10,11,12,13 Besides verifying entanglement, nonlocal games have so far inspired numerous applications, such as multi-prover interactive proofs,14,15,16 quantum proof verification,17,18 hardness of approximation,19,20,21 PCP conjecture,22,23,24 separating correlations,25,26,27,28 and communication complexity theory.29,30
There are various interesting nonlocal games except for CHSH games. XOR games are the most well studied.31,32,33,34 The global task is to XOR of the outcomes of all players. Other games include Kochen-Specker game,4,31 non-zero sum games,35,36 magic square game,37 graph isomorphism game,38 Bayesian game,39 and conflicting interest game.40 The key to achieve a quantum advantage is the nonlocal correlations generated by local measurements on the shared entangled states. Similar correlations are not achievable by remote players using local strategies with any shared classical resources. These tasks show the important role of quantum entanglement in information processing.41 Comparison to single entanglement,1 the network scenarios of multiple independent sources require the nonlinear Bell inequalities to test the nonlocality.42,43,44,45 Hence, how to construct meaningful nonlocal games should be interesting in scaling applications of entangled resources. Two related problems are as follows:
Problem 1—How to efficiently construct nonlocal games for space-separated players who share a quantum network consisting of entangled states?
Problem 2—How to characterize nonlocal games with or without quantum advantages in network scenarios?
The goal of this paper is to address these problems in the context of cooperative nonlocal games, as shown in Fig. 1. We propose a unified method to construct multipartite games from graph representations of general multi-source networks. Each game is determined by some subgraphs that can be constructed efficiently. Note that for any graph with N nodes, the proposed method provides O(4nN) different nonlocal games with n players. These graphic nonlocal games will further be classified in terms of the quantum advantage using a simple sufficient and necessary condition. The result holds for the same probability distribution of all inputs going beyond previous algorithmic results46 or semi-definite programs.7,10,11,47,48 Surprisingly, the present graphic games allow testing the nonlocality of multi-source quantum networks going beyond previous CHSH game for single entanglement.1,2,3,36 Compared with the recent nonlinear witness,42,43,44,45 the graphic game provides the first verification of general networks using linear Bell testing beyond semiquantum game.49 The new result is also useful for nonlocal satisfiability problems going beyond CHSH game3 and cubic game.37 The graphic game finally extends the guessing your neighbor’s input (GYNI) game.50,51 The present model provides novel instances to feature nonlocal games with different performances.52
Result
Nonlocal multipartite cooperating games
An n-player nonlocal cooperating game consists of n players A1, A2, ..., An and a referee,31 as shown in Fig. 1. All the players agree with a joint strategy beforehand but cannot communicate with each other during the game. The referee firstly chooses n questions: x1, x2, ..., xn from a finite set \({\mathcal{X}}\) := X1 × X2 × ... × Xn according to a known distribution p(x). And then, sends xi to Ai, i = 1, 2, ..., n. All the players are now required to reply with answers y1, y2, ..., yn chosen from a finite set \({\mathcal{Y}}\) := Y1 × Y2 × ... × Yn to the referee. Finally, the referee determines whether all the players win or lose the game according to a payoff function: F: \({\mathcal{X}}\times{\mathcal{Y}}\) → {0, 1}, i.e., win if F(x, y) = 1 and lose if F(x, y) = 0, where x = x1x2...xn, y = y1y2...yn. The optimal average winning probability of all the players, i.e., the nonlocal value of the game, is defined by:
Here, μ(λ) is the probability measure of the hidden classical resource λ and satisfies \(\mathop {\sum}\nolimits_\lambda \mu (\lambda ) = 1\). P(y|x, λ) denotes the joint conditional probability depending on the shared randomness λ. The supremum is over all the possible classical spaces Ω of hidden variables λ. Generally, it is hard to approximate the nonlocal value ϖc of multipartite games.10,11,48 From the linearity of ϖc with respect to all probability distributions, it is sufficient use deterministic strategies for all the players, i.e., p(λ) = 1 for some λ.
In quantum scenarios, players are allowed to share various entangled states and perform quantum measurements (associated with noncommuting operators which are different from commuting operators in classical physics) to obtain answers. Let ρ be the shared entangled state. Denote positive-operator valued measurements (POVMs) of all the observers as \(\{ M_{y_1}^{x_1}\}\), \(\{ M_{y_2}^{x_2}\}\),..., \(\{ M_{y_n}^{x_n}\}\), which depend on the received questions x1, x2, ..., xn, respectively. These operators satisfy the normalization conditions: \(\mathop {\sum}\nolimits_{y_i} {M_{y_i}^{x_i}} = {\Bbb I}\) for i = 1, 2, ..., n, where \({\Bbb I}\) is the identity operator. The optimal winning probability for all the quantum players to player a cooperating nonlocal game defined above is defined by:
where the supremum is over all the possible quantum states and local POVMs. Note that each linear Bell-type inequality is equivalent to a cooperating nonlocal game.53 The nonlocal value ϖq is related to the Tsirelson bound of linear Bell inequality.7 A central problem in the nonlocality theory is to find computable good bounds of nonlocal value ϖq.7,31 Unfortunately, it is QMA-hard to approximate the nonlocal value of ϖq.17,54
Graphic games
CHSH game provides a novel idea to witness a bipartite entanglement.2,3 As a natural extension, it would be of interesting to characterize multiple entangled states shared by space-separated observers in a network scenarios. Although the linear testing of single entanglement53,55,56,57,58,59 allows designing equivalent nonlocal game, it is unknown how to construct meaningful nonlocal games for multi-source quantum networks that requires nonlinear testing42,43,44,45 or semiquantum testing.49 To address this problem, we propose a general method to construct nonlocal games from any graphs with only vertices. Surprisingly, the graphic games can be completely classified with respect to the nonlocal values. To explain the main result, we firstly present the following definitions.
Definition 1—(The graphic representation of quantum networks) Consider a multi-source network \({\cal{N}}_q\) consisting of multiple independent EPR states shared by different observers. Its graphic representation is defined as a vertex graph \({\cal{G}}_q\), where each node denotes one entanglement.
Some typical examples of quantum networks are shown in Fig. 2. Generally, for any graph, we can assign a subgraph to each player according to the input. In this case, the relation that two observers share one entangled state is equivalent to two players sharing one vertex, see Fig. 2, where each player owns some vertices with the same color. These nonlocal games can be then characterized by using the consistency conditions on the common vertices shared by different players. Formally, the graphic game is defined as follows:
Definition 2—An n-partite graphic game is a six-tuple: \(({\mathcal{G}}, {\mathcal{A}}, {\mathcal{V}}, {\mathcal{X}}, {\mathcal{Y}}, {\mathcal{F}})\). \({\mathcal{G}}\) is a general graph with vertex set V (the edges are not required in this application). \({\mathcal{A}}\) denotes the set of all the players Ais and referee. \({\mathcal{V}}\) denotes the set of all the vertex sets \(V^{x_i} \subseteq V\) owned by players, where \(V^{x_i}\) denotes the set of vertices assigned to the player Ai according to the input question xi. Assume that \(V^{x_i}\)s satisfy the following conditions: \(V^{x_i}\) ∩ \(V^{x_j}\) = ∅ for xi = xj = 1 with 1 ≤ i < j ≤ m, where m is a parameter satisfying 1 ≤ m < n. \({\mathcal{X}}\) denotes the set of binary problems x1, x2, ..., xn ∈ {0, 1}. \({\mathcal{Y}}\) denotes the set of all the assignments on vertices (as outputs) by players. F: \({\mathcal{X}} \times {\mathcal{Y}}\) → {0, 1} is a payoff function depending on all the inputs and outputs of players. A graphic game is implemented as follows:
Input—The referee randomly chooses binary question xi according to the distribution {p, 1 − p}, and sends to the player Ai, i = 1, 2, ..., n.
Output—The player Ai assigns an integer yi ∈ {±1} on each vertex in the set \(V^{x_i}\), and sends all the assignments to the referee secretly.
Winning conditions—All the players win the graphic game, i.e., F(x, y) = 1, if and only if their assignments satisfy the following consistency conditions:
-
(a)
\(S^{x_i}\) = 1 for i = m + 1, m + 2, ..., n;
-
(b)
\(S^{x_i;x_j} = - 1\) when xi = xj = 1, or 1 otherwise, for 1 ≤ i ≤ m < j ≤ n;
-
(c)
\(S^{x_i;x_j} = S^{x_j;x_i} = 1\) for m < i < j ≤ n;
where \(S^{x_i}\) denotes the product of all the assignments of the player Ai, and \(S^{x_i;x_j}\) denotes the product of all the assignments by the player Ai on the vertices shared with the player Aj.
Definition 2 contains previous nonlocal games3,31,37 as special cases. The consistency conditions (the conditions (b) and (c) in Definition 2) are important for the most of nonlocal games.3 Quantum correlations derived from entangled resources can satisfy these kinds of requirements with higher winning probability over all classical achievable correlations. Here, m is a free parameter satisfying 1 ≤ m < n, which is used to feature the players whose assignments satisfy the consistency conditions. Specifically, the consistency conditions should be satisfied by the outputs of all the players to win a nonlocal game. Our graphic game is then similar to a nonlocal computation such as CHSH game with nonlinear restrictions shown in conditions (a)–(c). Generally, for a graph \({\mathcal{G}}\) with N vertices, there are 2N − 1 nontrivial subgraphs, which imply O(4nN) different graphic games. It is hard to evaluate or approximate the nonlocal values for all these games. Hence, it should be interesting if some restricted games can be distinguished.
Toy example
Take the graph \({\mathcal{G}}\) shown in Fig. 3a as an example. There are two players in Fig. 3b. Each player holds one vertex independent of inputs, where their outputs are 1 − 2x1, 1 − 2x2. There is no consistency requirement for two players with m = 1. It is easy to obtain ϖc = 1 for classical players. Hence, there is no quantum advantage from ϖq = ϖc = 1. For the game in Fig. 2c, the player A1 holds different vertices \(v_{x_1 + 1}\) according to the input x1 while A2 owns the whole graph independent of the input. In this case, two players have to satisfy the consistency conditions (b) and (c), i.e., y1;A1 = y1;A2 = 1 and y2;A1 = y2;A2 = −1, where yi;Aj denotes the assignment on the vertex vi by the player Aj. Now, assume that the player A1 assigns 1 − 2x1 on the shared one vertex according to the input x1. The player A2 assigns the same value of 1 − 2x2 on two vertices. With these assignments, the graphic game is equivalent to CHSH game.3 This implies a strict quantum advantage for two players who share an EPR state.2 Similar result holds for the graphic game shown in Fig. 3d. To explain the main result, some definitions will be introduced beforehand.
Definition 3—Consider a graphic game with n players A1, A2, ..., An. For each i with 1 ≤ i ≤ m, Ai denotes the set of players Ajs (m + 1 ≤ j ≤ n) who share vertices with Ai for each input xixj, i.e.,
Definition 4—Denote \({\cal{A}}_{i}^s\) as the set of players as follows:
where each element consists of s players \({\mathrm{A}}_i,{\mathrm{A}}_{i_1}, \ldots ,{\mathrm{A}}_{i_{s - 1}}\) who share common vertices for each input \(x_ix_{i_1} \ldots x_{i_{s - 1}}\), and 2 ≤ s ≤ n − m.
\({\cal{A}}_{i}^{s}\) characterizes the consistency requirements among s players of Ajs and Ai. In what follows, we omit the case that all the players have no common vertex because of ϖc = ϖq.
Definition 5—Let Ii be an integer associated with \({\cal{A}}_{i}^{s}\) as:
With these definitions, we find all the graphic games with quantum advantages when proper consistency conditions are satisfied.
Theorem 1—For any graphic game with \(\varpi _c\not = 1\), there is a quantum advantage, i.e., ϖq > ϖc, if and only if min{I1, I2, ..., Im} = 2.
Theorem 1 presents a sufficient and necessary condition for graphic games with quantum advantage. One example is shown in Fig. 3b. This provides the first instance for Problem 2 with a deterministic separation of classical correlations and quantum correlations in correlation space. It is interesting to intuitively show the relationship between Ii and quantum advantage. Note that \({\cal{A}}_{i}^{s}\) shown in Eq. (4) features the number of players who have the consistency requirements with Ai independent of inputs. If one divides a network into m subnetworks according to players Ais (i = 1, 2, ..., m) who have no shared vertices, Ii is then used to describe the topology characters of a given network. Specially, it means that the network consists of star-type in Fig. 2a networks or chain-type subnetworks in Fig. 2b for Ii = 2. For Ii = k > 2, the network consists of various cyclic subnetworks. In this case, similar to previous nonlinear method42,43,44,45 Theorem 1 implies that there is no useful linear testing scheme for cyclic networks. One example is triangle network.42,45 The proof is inspired by the unbalanced CHSH game shown in Supplementary Notes 1 and 2.6,37 To explain the main idea, consider a graphic game \({\mathcal{G}}\) with m = 1 consisting of three players A1, A2, A3. Two different games \({\mathcal{G}}_{i}\) are defined as follows. \({\mathcal{G}}_{1}\) requires that the outputs of two pairs of players {A1, A2}, and {A1, A3} are consistency simultaneously. \({\mathcal{G}}_{2}\) requires that the outputs of three pairs of players {A1, A2}, and {A1, A3}, and {A2, A3} are consistency simultaneously. Both games can be regarded as two and three simultaneous CHSH games, respectively. Theorem 1 means that \({\mathcal{G}}_{1}\) has a quantum advantage with I1 = 2 while \({\mathcal{G}}_{2}\) has no quantum advantage with I1 = 3. The main reason is that there are too many restrictions in \({\mathcal{G}}_{2}\) to achieve a quantum advantage. This provides a new witness for entanglement-based quantum networks45 and nonlocal games.33
Witnessing multi-source quantum networks
Multi-source quantum networks can extend applications of single-source Bell network in large scale.60,61 However, it is hard to verify these distributive entangled states in global pattern due to the non-convexity of quantum correlations. One useful way is to make use of some nonlinear Bell-type inequalities.42,43,44,45 Interestingly, the present model provides another witness for general quantum networks. Specifically, let one vertex schematically represent one EPR state, as shown in Definition 1.2 Any multi-source quantum network consisting of EPR states is equivalent to a graph with lots of vertices. Some examples are shown in Fig. 2. Figure 2a presents a star-type quantum network, where each pair of Bi and A share one EPR state |Φ〉i, i = 1, 2, ..., n − 1. Its graphic representation consists of n − 1 vertices v1, v2, ..., vn−1. The assumption that each pair of players share one EPR state can be schematically represented by sharing one vertex in terms of the graphic game in Definition 2. Similar representation holds for chain-type network shown in Fig. 2b. From the equivalent reformations, there are lots of testing to achieve a quantum advantage when the graphic games are defined. Generally, from Theorem 1 we obtain a corollary as:
Corollary 1—For any quantum network \({\mathcal{N}}_{q}\) consisting of EPR states shared by n observers, there are nonlocality witnesses in terms of graphic game if \({\mathcal{N}}_{q}\) is k-independent with k ≥ 2.
In Corollary 1, k-independence means that there are a set of k observers who do not share any entanglement among themselves. Note that for verifying quantum networks, all the shared vertices \(V^{x_i}\)s are independent of inputs. From the equivalent reduction,45 any k-independent network is equivalent to a generalized star-type network, as shown in Fig. 2a. The proof of Corollary 1 follows easily from the corresponding graphic games, where \(\min _iI_i = 2\) because no more than two players share vertices. Take the star-type network shown in Fig. 2a as an example. Each pair of players {Bi, A} shares one vertex vi independent of their inputs, i = 1, 2, ..., n − 1. There exists quantum advantage because of I1 = 2 by assuming m = 1 (or m = n − 1). For the chain-type network shown in Fig. 2b, each vertex vi is owned by two adjacent players Ai and Ai+1. One can define different m by choosing the players without sharing vertices (independent in quantum networks).45 Quantum advantages hold for these graphic games. Generally, the present graphic games allow the first linear testing for multi-source quantum networks consisting of EPR states.
CHSH game
Two equivalent forms of CHSH game in ref. 3 are shown in Fig. 3c, d. Another extension is cube game, which is defined over an n-dimensional cube graph \({\mathcal{G}}\) with 2n vertices represented by {(q1, q2, ..., qn), ∀qi = 0, 1}, as shown in Fig. 4a, where m = 1. Specially, the referee randomly chooses binary question xi ∈ {0, 1} according to a given distribution {p, 1 − p}, and sends it to the player Ai. Each player assigns 1 or −1 to their own vertices on n − 1-dimensional hyperplane defined by {(q1, q2, ..., qn)|qi = xi} and sends to the referee. All the players win the game if and only if their assignments satisfy the requirements in Definition 2. From Theorem 1, it follows that the cubic game has no quantum advantage over all the classical strategies when n ≥ 3, where I1 = n. Our result is different from a recent result with relaxed consistency conditions.35 Another simple extension with m ≥ 1 is defined as: the player Ai owns the local subgraph defined by {(q1, q2, ..., qn)|q1 = q2 = ... = qm = xi} for i = 1, 2, ..., m, and {(q1, q2, ..., qn)|qj = xj} for j = m + 1, m + 2, ..., n. Note that any two players of A1, A2, ..., Am have no common subgraph for all the inputs. It is straightforward to check that this generalization has quantum advantage when m = n − 1.
Distributive SAT problems
A Boolean satisfiability problem (SAT) aims to check some given equations.62 The decision problem is of central importance in theoretical computer science, complexity theory and algorithmic theory.63 Interestingly, each graphic game is equivalent to a distributive SAT problem. Take the game shown in Fig. 4a as an example. Let \(y_{i,x_j}\) be assignment on the vertex vi by Aj according to the input xj, i = 1, 2, ..., 8; j = 1, 2, 3. From Definition 2, the winning conditions are equivalent to Boolean equations with 48 variables. Theorem 1 shows a qualitative decision without quantum advantage from shared entangled resources. Generally, for an n-player graphic game involving N vertices, there are O(nN) conditions, which should be checked.64 Theorem 1 provides an intuitive completion for distributive SAT problems with different resources using graphic game model. Hence, in applications, an equivalent graphic game should be found for special decision problems. One possible way is to reduce the required clauses firstly even if it is hard. And then, define a graphic game clause-by-clause. Special output strategies may be applied as guess your neighbour’s input (GYNI) game.50
GYNI game
Guess your neighbour’s input (GYNI) game has recently been proposed to separate the multipartite quantum correlations from classical correlations.50 This game is equivalently represented by a graphic game, as shown in Fig. 4b. The original consistency requirements are equivalently reduced to special output strategies for all the players, where the input is assigned the vertex v2i−1 for the players Ai, i = 1, 2, 3. This kind of graphic game has no quantum advantage for any quantum resources. It can be viewed as a relaxed graphic game satisfying partial consistency conditions in Definition 2. Here, we prove a more generalized result. Specifically, consider the following winning condition, i.e., F(x, y) = 1 if yi = fi(x) for all is; Otherwise, F(x, y) = 0. Here, fi denotes some function of the input bit series x. As an example, fi(x) can be regarded as the restriction of the product of all the assigned values in the graphic games.
Theorem 2—There is no quantum advantage for a multipartite nonlocal game if \({\mathcal{F}}:{\mathbf{x}} \mapsto (f_1({\mathbf{x}}),f_2({\mathbf{x}}), \ldots ,f_n({\mathbf{x}}))\) is injective.
The proof is similar to its in ref., 50 which is shown in Supplementary Note 3. This provides another feature to address Problem 2. Some examples are presented as follows.
Example 1—Consider f1, f2, ..., fn be any permutation in the permutation group Sn. Take n = 3 as an example. All the permutations are given by S3 = {(1), (1, 2), (1, 3), (2, 3), (1, 2, 3), (1, 3, 2)}, where (1) denotes the identity operator, (i, j) denotes the permutation of i → j and j → i, and (i, j, k) denotes the permutation of i → j, j → k and k → i. Now, define the expected output of three parties as g(i, j, k) for the corresponding inputs i, j, k where g ∈ S3. For the games with (f1, f2, f3) = (i, j, k) are previous games of guessing the neighbor’ input.50 From Theorem 2, there is no quantum advantage for this kind of games over classical resources.
Example 2—Consider f1, f2, ..., fn be any injective mapping going beyond the permutation group Sn, where {0, 1}n is input space while \({\Bbb R}^n\) is output space. Take n = 3 as an example. Consider the following mappings: \({\cal{F}}_{1}:(x_{1},x_{2},x_{3}) \mapsto (x_{2} + x_{3},x_{1} + x_{3},x_{1} + x_{2})\) and \({\cal{F}}_2:(x_{1},x_{2},x_{3}) \mapsto (2^{x_{1}} - 2^{x_{2} + x_{3}},2^{x_{2}} - 2^{x_{1} + x_{3}},2^{x_{3}} - 2^{x_1 + x_2})\). Both mappings are injective. If the mappings are used as the winning conditions of players, Theorem 2 implies no quantum advantages for these games.
Example 3—Define \(f_i = \mathop {\prod}_{j = 1}^{k_i} {s_{i_j}}\), for i = 1, 2, ..., n. Assume that \(s_{i_1},s_{i_2}, \ldots ,s_{i_{k_i}}\) denote special assigns on the subgarph shared by the player Aj. If si ∈ {±1}, the new game falls into graphic game proved in Theorem 1 when fis are injective mappings. There is no quantum advantage from Theorem 1 or Theorem 2. Interestingly, similar result holds for \(s_i \in {\Bbb R}\) going beyond the games stated in Theorem 1.
Discussion
Theorem 1 provides a result for separating quantum correlations from classical correlations in terms of multi-source networks. The consistency conditions in Definition 2 characterize the “incompatible measurements” derived from quantum mechanics. These conditions should be carefully designed for special goals in applications. Unfortunately, the graphic game cannot solve generalized XOR game, which is an extension of CHSH game.1,3,31 Another interesting problem is how to define meaningful consistency conditions such as assignments on edges going beyond Definition 2 for different goals including verifying general cyclic networks.42,45
Generally, we presented a unified way to construct multipartite nonlocal games using graph representations of entanglement-based quantum networks. The graphic games with quantum advantage are distinguished from others for general graphs. The new model is useful for witnessing general quantum networks consisting of EPR states. This can be regarded as a new feature of multi-source networks going beyond nonlinear Bell-type inequalities and semiquantum game. Our results are interesting in Bell theory, quantum Internet, theoretical computer science, and distributive computations.
References
Bell, J. S. On the einstein podolsky rosen paradox. Physics 1, 195 (1964).
Einstein, A., Podolsky, B. & Rosen, N. Can quantum-mechanical description of physical reality be considered complete? Phys. Rev. 47, 777–780 (1935).
Clauser, J. F., Horne, M. A., Shimony, A. & Holt, R. A. Proposed experiment to test local hidden-variable theories. Phys. Rev. Lett. 23, 880–884 (1969).
Kochen, S. & Specker, E. P. The problem of hidden variables in quantum mechanics. J. Math. Mec. 17, 59–87 (1967).
Werner, R. F. Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model. Phys. Rev. A 40, 4277 (1989).
Lawson, T., Linden, N. and Popescu, S. Biased nonlocal quantum games. http://arxiv.org/abs/1011.6245 (2010).
Cirel’son, B. S. Quantum generalizations of Bell’s inequality. Lett. Math. Phys. 4, 83–100 (1980).
Gurvits, L. Classical deterministic complexity of Edmonds problem and quantum entanglement. in Proc. of the 35th ACM symp. on Theory of Comp. 10–19 (ACM, 2003).
Doherty, A. C., Liang, Y. C., Toner, B. & Wehner, S. The quantum moment problem and bounds on entangled multi-prover games. In 23rd Annual IEEE Conference on Computational Complexity 199–210 (IEEE, 2008).
Harrow, A. W., Natarajan, A. & Wu, X. Limitations of semidefinite programs for separable states and entangled games. Commun. Math. Phys. 366, 423–468 (2019).
Kempe, J., Kobayashi, H., Matsumoto, K., Toner, B. & Vidick, T. Entangled games are hard to approximate. SIAM J. Comput. 40, 848–877 (2011).
Hastad, J. Some optimal inapproximability results. J. ACM 48, 798–859 (2001).
Navascués, M., Guryanova, Y., Hoban, M. J. & Acin, A. Almost quantum correlations. Nat. Commun. 6, 6288 (2015).
Ben-Or, M., Goldwasser, S., Kilian, J. & Widgerson, A. Multi-prover interactive proofs: how to remove intractability assumptions. in Proc. of the twentieth annual ACM symposium on Theory of computing-STOC, 113–131 (ACM, 1988).
Gutoski, G. & Watrous, J. Toward a general theory of quantum games. in Proc. of the thirty-ninth annual ACM symposium on Theory of computing, 565–574 (ACM, 2007).
Ito, T., Kobayashi, H., Preda, D., Sun, X. & Yao, A. C. C. Generalized Tsirelson inequalities, commuting-operator provers, and multi-prover interactive proof systems. in 23rd Annual IEEE Conference on Computational Complexity, 187–198 (IEEE, 2008).
Babai, L., Fortnow, L. & Lund, C. Non-deterministic exponential time has two-prover interactive protocols. Comput. Complex. 1, 3–40 (1991).
Reichardt, B. W., Unger, F. & Vazirani, U. Classical command of quantum systems. Nature 496, 456 (2013).
Ji, Z. Classical verification of quantum proofs. In Proc. of the forty-eighth annual ACM symposium on Theory of Computing, 885–898 (ACM, 2016).
Feige, U., Goldwasser, S., Lovsz, L., Safra, S. & Szegedy, M. Interactive proofs and the hardness of approximating cliques. J. ACM 43, 268–292 (1996).
Vidick, T. Three-player entangled XOR games are NP-hard to approximate. SIAM J. Comput. 45, 1007–1063 (2016).
Arora, S., Lund, C., Motwani, R., Sudan, M. & Szegedy, M. Proof verification and the hardness of approximation problems. J. ACM 45, 501–555 (1998).
Arora, S. & Safra, S. Probabilistic checking of proofs: a new characterization of NP. J. ACM 45, 70–122 (1998).
Aharonov, D., Arad, I. & Vidick, T. Guest column: the quantum PCP conjecture. ACM Sigact News 44, 47–79 (2013).
Slofstra, W. Tsirelson’s problem and an embedding theorem for groups arising from non-local games. J. Amer. Math. Soc. https://doi.org/10.1090/jams/929 (2019, online).
Slofstra, W. The set of quantum correlations is not closed. Forum of Mathematics, Pi 7, 1–41 (2019).
Dykema, K., Paulsen, V. I. & Prakash, J. Non-closure of the set of quantum correlations via graphs. Commun. Math. Phys. 365, 1125–1142 (2019).
Coladangelo, A. & Stark, J. Unconditional separation of finite and infinite-dimensional quantum correlations, http://arxiv.org/abs/1804.05116 (2018).
Brassard, G. et al. Limit on nonlocality in any world in which communication complexity is not trivial. Phys. Rev. Lett. 96, 250401 (2006).
Buhrman, H., Cleve, R., Massar, S. & De Wolf, R. Nonlocality and communication complexity. Rev. Mod. Phys. 82, 665 (2010).
Cleve, R., Hoyer, P., Toner, B. & Watrous, J. Consequences and limits of nonlocal strategies. in Proc. 19th IEEE Conf. on Computational Complexity 236–249 (IEEE, 2004).
Ramanathan, R., Augusiak, R. & Murta, G. Generalized XOR games with d outcomes and the task of non-local computation. Phys. Rev. A 93, 022333 (2016).
Ambainis, A. et al. International Colloquium on Automata, Languages, and Programming (Springer, Berlin, 2012) 25–37.
Regev, O. & Vidick, T. Quantum XOR games. ACM Trans. Comput. Theory 7, 15 (2015).
Eisert, J., Wilkens, M. & Lewenstein, M. Quantum games and quantum strategies. Phys. Rev. Lett. 83, 3077 (1999).
Mermin, N. D. Extreme quantum entanglement in a superposition of macroscopically distinct states. Phys. Rev. Lett. 65, 1838 (1990).
He, X., Fang, K., Sun, X. & Duan, R. Quantum advantages in hypercube game, http://arxiv.org/abs/1806.02642 (2018).
Atserias, A. et al. Quantum and non-signalling graph isomorphisms. J. Comb. Theory B 136, 289–328 (2019).
Brunner, N. & Linden, N. Connection between Bell nonlocality and Bayesian game theory. Nat. Commun. 4, 2057 (2013).
Pappa, A. et al. Nonlocality and conflicting interest games. Phys. Rev. Lett. 114, 020401 (2015).
Brunner, N., Cavalcanti, D., Pironio, S., Scarani, V. & Wehner, S. Bell nonlocality. Rev. Mod. Phys. 86, 419 (2014).
Branciard, C., Gisin, N. & Pironio, S. Characterizing the nonlocal correlations created via entanglement swapping. Phys. Rev. Lett. 104, 170401 (2010).
Rosset, D. et al. Nonlinear Bell inequalities tailored for quantum networks. Phys. Rev. Lett. 116, 010403 (2016).
Chaves, R. Polynomial bell inequalities. Phys. Rev. Lett. 116, 010402 (2016).
Luo, M.-X. Computationally efficient nonlinear Bell inequalities for quantum networks. Phys. Rev. Lett. 120, 140402 (2018).
Chailloux, A., Mancinska, L., Scarpa, G. & Severini, S. Graph-theoretical bounds on the entangled value of non-local games. In 9th Conference on the Theory of Quantum Computation, Communication and Cryptography, 67 (Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2014).
Wehner, S. Tsirelson bounds for generalized Clauser-Horne-Shimony-Holt inequalities. Phys. Rev. A 73, 022110 (2006).
Fortnow, L., Rompel, J. & Sipser, M. On the power of multi-prover interactive protocols. Theor. Comput. Sci. 134, 545–557 (1994).
Luo, M.-X. Nonlocality of all the quantum networks. Phys. Rev. A 98, 042317 (2018).
Almeida, M. L. et al. Guess your neighbor’s input: a multipartite nonlocal game with no quantum advantage. Phys. Rev. Lett. 104, 230404 (2010).
Wang, H. M., Zhou, H. Y., Mu, L. Z. & Fan, H. Classification of no-signaling correlation and the guess your neighbor’s input game. Phys. Rev. A 90, 032112 (2014).
Linden, N., Popescu, S., Short, A. J. & Winter, A. Quantum nonlocality and Beyond: limits from nonlocal computation. Phys. Rev. Lett. 99, 180502 (2007).
Silman, J., Machnes, S. & Aharon, N. On the relation between Bell’s inequalities and nonlocal games. Phys. Lett. A 372, 3796 (2008).
Gharibian, S. & Kempe, J. Approximation algorithms for QMA-complete problems. SIAM J. Comput. 41, 1028–1050 (2012).
Li, M. & Fei, S.-M. Gisin’s theorem for arbitrary dimensional multipartite states. Phys. Rev. Lett. 104, 240502 (2010).
Yu, S., Chen, Q., Zhang, C., Lai, C. H. & Oh, C. H. All entangled pure states violate a single Bell’s inequality. Phys. Rev. Lett. 109, 120402 (2012).
Collins, D., Gisin, N., Linden, N., Massar, S. & Popescu, S. Bell inequalities for arbitrarily high-dimensional systems. Phys. Rev. Lett. 88, 040404 (2002).
Son, W., Lee, J. & Kim, M. S. Generic Bell inequalities for multipartite arbitrary dimensional systems. Phys. Rev. Lett. 96, 060406 (2006).
Duan, L.-M., Lukin, M., Cirac, J. I. & Zoller, P. Long-distance quantum communication with atomic ensembles and linear optics. Nature 414, 413 (2001).
Kimble, H. J. The quantum Internet. Nature 453, 1023 (2008).
Ritter, S. et al. An elementary quantum network of single atoms in optical cavities. Nature 484, 195 (2012).
Cook, S. A. The complexity of theorem-proving procedures. In Proc. of the Third ACM Symposium on Theory of Computing, 151–158 (ACM, 1971).
Schaefer, T. J. The complexity of satisfiability problems. In Proc. of the tenth annual ACM symposium on Theory of Computing, 216–226 (ACM, 1978).
Zhao, Y., Zhang, L. & Malik, S. Chaff: Engineering an efficient SAT solver. In Proc. of the 38th Annual Design Automation Conference, 530–535 (ACM, 2001).
Acknowledgements
This work was supported by the National Natural Science Foundation of China (Nos. 61772437, 61702427), Sichuan Youth Science and Technique Foundation (No. 2017JQ0048), and Fundamental Research Funds for the Central Universities (No. 2018GF07).
Author information
Authors and Affiliations
Contributions
L.M.X. proposed the theoretical method and wrote the main manuscript text.
Corresponding author
Ethics declarations
Competing interests
The author declares no competing interests.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Luo, MX. A nonlocal game for witnessing quantum networks. npj Quantum Inf 5, 91 (2019). https://doi.org/10.1038/s41534-019-0203-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41534-019-0203-6