We consider general settings of Bell inequality experiments with many parties, where each party chooses from a finite number of measurement settings each with a finite number of outcomes. We investigate the constraints that Bell inequalities place upon the correlations possible in local hidden variable theories using a geometrical picture of correlations. We show that local hidden variable theories can be characterized in terms of limited computational expressiveness, which allows us to characterize families of Bell inequalities. The limited computational expressiveness for many settings (each with many outcomes) generalizes previous results about the many-party situation each with a choice of two possible measurements (each with two outcomes). Using this computational picture we present generalizations of the Popescu-Rohrlich nonlocal box for many parties and nonbinary inputs and outputs at each site. Finally, we comment on the effect of preprocessing on measurement data in our generalized setting and show that it becomes problematic outside of the binary setting, in that it allows local hidden variable theories to simulate maximally nonlocal correlations such as those of these generalized Popescu-Rohrlich nonlocal boxes.
We consider general settings of Bell inequality experiments with many parties, where each party chooses from a finite number of measurement settings each with a finite number of outcomes. We investigate the constraints that Bell inequalities place upon the correlations possible in local hidden variable theories using a geometrical picture of correlations. We show that local hidden variable theories can be characterized in terms of limited computational expressiveness, which allows us to characterize families of Bell inequalities. The limited computational expressiveness for many settings (each with many outcomes) generalizes previous results about the many-party situation each with a choice of two possible measurements (each with two outcomes). Using this computational picture we present generalizations of the Popescu-Rohrlich nonlocal box for many parties and nonbinary inputs and outputs at each site. Finally, we comment on the effect of preprocessing on measurement data in our generalized setting and show that it becomes problematic outside of the binary setting, in that it allows local hidden variable theories to simulate maximally nonlocal correlations such as those of these generalized Popescu-Rohrlich nonlocal boxes.
Bell inequalities reveal the fundamentally nonlocal character of quantum mechanics. In this regard, one of the interesting problems is to explore all possible Bell inequalities that demonstrate a gap between local and nonlocal quantum behaviour. This is useful for the geometric characterisation of the set of nonlocal correlations achievable within quantum theory. Moreover, it provides a systematic way to construct Bell inequalities that are tailored to specific quantum information processing tasks. This characterisation is well understood in the simplest (2,2,2) scenario, namely two parties performing two binary outcome measurements. However, beyond this setting, relatively few Bell inequalities are known, and the situation becomes particularly scarce in scenarios involving a greater number of outcomes. Here, we consider the (2,2,3) scenario, or two parties performing two three-outcome measurements, and characterise all Bell inequalities that can arise from the simplest sum-of-squares decomposition and are maximally violated by the maximally entangled state of local dimension three. We then utilise them to self-test this state, along with a class of three-outcome measurements.
Quantum mechanics is nonlocal, meaning it cannot be described by any classical local hidden variable model. In this thesis we study two aspects of quantum nonlocality. Part I addresses the question of what classical resources are required to simulate nonlocal quantum correlations. We start by constructing new local models for noisy entangled quantum states. These constructions exploit the connection between nonlocality and Grothendieck's inequality, first noticed by Tsirelson. Next, we consider local models augmented by a limited amount of classical communication. After generalizing Bell inequalities to this setting, we show that (i) one bit of communication is sufficient to simulate the correlations of projective measurements on a maximally entangled state of two qubits, and (ii) five bits of communication are sufficient to simulate the joint correlation of two-outcome measurements on any bipartite quantum state. The latter result can be interpreted as a stronger (constrained) version of Grothendieck's inequality. In part II, we investigate the monogamy of nonlocal correlations. In a setting where three parties, A, B, and C, share an entangled quantum state of arbitrary dimension, we: (i) bound the trade-off between AB's and AC's violation of the CHSH inequality, obtaining an intriguing generalization of Tsirelson's bound, and (ii) demonstrate that forcing B and C to be classically correlated prevents A and B from violating certain Bell inequalities. We study not only correlations that arise within quantum theory, but also arbitrary correlations that do not allow signaling between separate groups of parties. These results are based on new techniques for obtaining Tsirelson bounds, or bounds on the quantum value of a Bell inequality, and have applications to interactive proof systems and cryptography.
Abstract Characterizing the set of all Bell inequalities is a notably hard task. An insightful method of solving it in case of Bell correlation inequalities for scenarios with two dichotomic measurements per site—for arbitrary number of parties—was given in references [2001 Phys. Rev. A 64 010102(R)] and [2001 Phys. Rev. A 64 032112]. Using complex-valued correlation functions, we generalize their approach to a broader class of Bell scenarios, in which the parties may choose from more than two multi-outcome measurements. Although the resulting families of Bell inequalities are not always tight, their coefficients have an intuitively understandable structure. We probe their usefulness by numerically testing their ability to detect Bell nonclassicality in simple interferometric experiments. Moreover, we identify a similar structure in the CGLMP inequality expressed in a correlation-based form, which allows us to generalise it to three parties.
Measurement-based quantum computation (or the one-way quantum computation) is a model in which a series of adaptive single qubit measurements upon an entangled resource state can produce classical output data equivalent to an arbitrary quantum logic circuit. Loosely speaking, the correlations in these measurements can be considered the resource which allows the computation to be performed. Bell inequalities demonstrate that quantum mechanics permits the outcomes of sets of measurements to be correlated in ways incompatible with the predictions of any local hidden variable theory, including classical physics. In the Bell inequality, and multi-party generalisations, a set of single-qubit measurements are performed, on spatially separated systems. Correlations in these measurements can act as a signature that no local hidden variable description of the experiment is possible. At first sight, we see superficial similarities between these settings. In both cases, non-classical correlations play a central role. However, there are also some key differences. Most importantly, measurement-based quantum computing requires adaptive measurements, at odds with the spatial-separated nature of Bell inequality experiments. Nevertheless some striking connections have been reported [1], [2] particularly between GHZ-type paradoxes and deterministic MBQC computations, and between CHSH-type Bell inequalities and non-deterministic MBQC correlations [1], [3]. In my talk I will survey these works and some recent results [3], [4] from my group at UCL, in which a number of connections between multi-party Bell inequalities and MBQC are explored. [1] J. Anders and D.E. Browne, "The Computational Power of Correlations", Physical Review Letters 102, 050502 (2009) [2] R. Raussendorf, "Quantum computation, discreteness, and contextuality", arxiv:0907.5449 [3] M. J. Hoban, E.T. Campbell, K. Loukopolous, D.E. Browne, "Non-adaptive measurement-based quantum computation and multi-party Bell inequalties", in preparation. [4] M. J. Hoban and D.E. Browne, in preparation.
We introduce for a general correlation scenario a new simulation model, a local quasi hidden variable (LqHV) model, where locality and the measure-theoretic construction inherent to a local hidden variable (LHV) model are preserved but positivity of a simulation measure is dropped. We specify a necessary and sufficient condition for LqHV modelling and, based on this, prove that every quantum correlation scenario admits a LqHV simulation. Via the LqHV approach, we construct analogs of Bell-type inequalities for an N-partite quantum state and find a new analytical upper bound on the maximal violation by an N-partite quantum state of S1 × ⋯ × SN-setting Bell-type inequalities – either on correlation functions or on joint probabilities and for outcomes of an arbitrary spectral type, discrete or continuous. This general analytical upper bound is expressed in terms of the new state dilation characteristics introduced in the present paper and not only traces quantum states admitting an S1 × ⋯ × SN-setting LHV description but also leads to the new exact numerical upper estimates on the maximal Bell violations for concrete N-partite quantum states used in quantum information processing and for an arbitrary N-partite quantum state. We, in particular, prove that violation by an N-partite quantum state of an arbitrary Bell-type inequality (either on correlation functions or on joint probabilities) for S settings per site cannot exceed (2S − 1)N − 1 even in case of an infinite dimensional quantum state and infinitely many outcomes.
Quantum theory is inconsistent with any local hidden variable model as was first shown by Bell. To test Bell inequalities two separated observers extract correlations from a common ensemble of identical systems. Since quantum theory does not allow simultaneous measurements of noncommuting observables, on each system every party measures a single randomly chosen observable out of a given set. Here we suggest a different approach for testing Bell inequalities that is experimentally realizable by current methods. We show that Bell inequalities can be maximally violated even when all observables are measured on each member of the ensemble. This is possible by using weak measurements that produce small disturbance, at the expense of accuracy. However, our approach does not constitute an independent test of quantum nonlocality since the local hidden variables may correlate the noise of the measurement instruments. Nevertheless, by adding a randomly chosen precise measurement at the end of every cycle of weak measurements, the parties can verify that the hidden variables were not interfering with the noise, and thus validate the suggested test.