11,530 research outputs found
Characterization of Binary Constraint System Games
We consider a class of nonlocal games that are related to binary constraint
systems (BCSs) in a manner similar to the games implicit in the work of Mermin
[N.D. Mermin, "Simple unified form for the major no-hidden-variables theorems,"
Phys. Rev. Lett., 65(27):3373-3376, 1990], but generalized to n binary
variables and m constraints. We show that, whenever there is a perfect
entangled protocol for such a game, there exists a set of binary observables
with commutations and products similar to those exhibited by Mermin. We also
show how to derive upper bounds strictly below 1 for the the maximum entangled
success probability of some BCS games. These results are partial progress
towards a larger project to determine the computational complexity of deciding
whether a given instance of a BCS game admits a perfect entangled strategy or
not.Comment: Revised version corrects an error in the previous version of the
proof of Theorem 1 that arises in the case of POVM measurement
Non-adaptive Measurement-based Quantum Computation and Multi-party Bell Inequalities
Quantum correlations exhibit behaviour that cannot be resolved with a local
hidden variable picture of the world. In quantum information, they are also
used as resources for information processing tasks, such as Measurement-based
Quantum Computation (MQC). In MQC, universal quantum computation can be
achieved via adaptive measurements on a suitable entangled resource state. In
this paper, we look at a version of MQC in which we remove the adaptivity of
measurements and aim to understand what computational abilities still remain in
the resource. We show that there are explicit connections between this model of
computation and the question of non-classicality in quantum correlations. We
demonstrate this by focussing on deterministic computation of Boolean
functions, in which natural generalisations of the Greenberger-Horne-Zeilinger
(GHZ) paradox emerge; we then explore probabilistic computation, via which
multipartite Bell Inequalities can be defined. We use this correspondence to
define families of multi-party Bell inequalities, which we show to have a
number of interesting contrasting properties.Comment: 13 pages, 4 figures, final version accepted for publicatio
Bell nonlocality
Bell's 1964 theorem, which states that the predictions of quantum theory
cannot be accounted for by any local theory, represents one of the most
profound developments in the foundations of physics. In the last two decades,
Bell's theorem has been a central theme of research from a variety of
perspectives, mainly motivated by quantum information science, where the
nonlocality of quantum theory underpins many of the advantages afforded by a
quantum processing of information. The focus of this review is to a large
extent oriented by these later developments. We review the main concepts and
tools which have been developed to describe and study the nonlocality of
quantum theory, and which have raised this topic to the status of a full
sub-field of quantum information science.Comment: 65 pages, 7 figures. Final versio
- …