We show that it is possible for three people to win the GHZ game with just the standard real valued misty state formalism, but each party will need to have two balls instead of one. That is, there will be six balls involved, rather than three. In fact, as a general rule, instead of using complex numbers in a quantum computer you can always add a qubit to "tag" complex numbers. But for proofs of non-locality, like the GHZ game, we cannot have a single universal tagging qubit, because all three parties would need access to it and therefore they could potentially transfer information via it. That's where we need to replace the one ball with three that each only need to be accessed locally.
The notion of complementarity or mutually exclusiveness of physical phenomenon has always been of keen interest to the physicists. In this work we show that there exists a complementary relationship in terms of the genuine non-locality of a multipartite system vs. that of reduced subsystems. We further assert that the same is enforced due to no-signaling condition. To this end we consider Svetlichny games in a multiparty binary input and output scenario with a threshold value of the winning probability as a signature of genuine multiparty non locality. We analytically show that, in the Svetlichny games setup, there exists complementary relations between Svetlichny correlations of
n party and Svetlichny correlations of any subset of
k≤n parties within the no-signaling framework. In other words, in general non local theories, the genuine multiparty non locality for multiparty systems comes at the cost of upper bounding the genuine multiparty non locality of the reduced subsystem. In addition to Svetlichny games we consider many other non local games like Mermin games, Bancal \emph{et al's} IP, Guess Your Neighbors Input game and provide numerical findings ( in case of no-signaling and quantum correlations ) in support of our main result.
We study the classical and quantum values of one- and two-party linear games, an important class of unique games that generalizes the well-known XOR games to the case of non-binary outcomes. We introduce a ``constraint graph" associated to such a game, with the constraints defining the linear game represented by an edge-coloring of the graph. We use the graph-theoretic characterization to relate the task of finding equivalent games to the notion of signed graphs and switching equivalence from graph theory. We relate the problem of computing the classical value of single-party anti-correlation XOR games to finding the edge bipartization number of a graph, which is known to be MaxSNP hard, and connect the computation of the classical value of more general XOR-d games to the identification of specific cycles in the graph. We construct an orthogonality graph of the game from the constraint graph and study its Lovász theta number as a general upper bound on the quantum value even in the case of single-party contextual XOR-d games. Linear games possess appealing properties for use in device-independent applications such as randomness of the local correlated outcomes in the optimal quantum strategy. We study the possibility of obtaining quantum algebraic violation of these games, and show that no finite linear game possesses the property of pseudo-telepathy leaving the frequently used chained Bell inequalities as the natural candidates for such applications. We also show this lack of pseudo-telepathy for multi-party XOR-type inequalities involving two-body correlation functions.
Device-independent conference key agreement (DI-CKA) lets a group of parties establish a shared secret key from untrusted quantum devices, with security certified by non-locality. Existing DI-CKA protocols are each built around a single Bell inequality, typically a multiparty variant of the CHSH game. DI-QKD protocols, in contrast, have been built from a much richer landscape of non-local games, and it has remained unclear how to carry this landscape over to the conference setting. We introduce $\textit{Parity-$G$ games}$, which extend any two-player game
G to
N players, for every
N, provided
G has an optimal strategy in which one player measures Pauli observables. The extension preserves the quantum and classical values of
G, and the security of the resulting
N-party protocol follows from an analysis of the two-player game alone. Our framework recovers the Parity-CHSH game of Ribeiro, Murta and Wehner (Phys. Rev. A, 2018) as a special case. Applied to the Mermin--Peres Magic Square Game, it yields a new
N-player pseudo-telepathy game, the
Parity Magic Square Game, which ideal devices win in every round. We use it to construct the
first DI-CKA protocol based on a pseudo-telepathy game. We prove the protocol secure against coherent attacks. It produces up to two key bits per round, and at low noise its key rate exceeds that of the DI-CKA protocol based on the Parity-CHSH game.