Local Hidden Variable Model Research Articles

Quantum advice enhances social optimality in three-party conflicting interest games

Quantum pseudo-telepathy games are good examples of explaining the strangeness of quantum mechanics and demonstrating the advantage of quantum resources over classical resources. Most of the quantum pseudo-telepathy games are common interest games, nevertheless conflicting interest games are more widely used to model real world situations. Recently Pappa et al. (Phys. Rev. Lett. 114, 020401, 2015) proposed the first two-party conflicting interest game where quantum advice enhances social optimality. In the present paper we give two new three-party conflicting interest games and show that quantum advice can enhance social optimality in a three-party setting. The first game we propose is based on the famous GHZ game which is a common interest game. The second game we propose is related to the Svetlichny inequality which demonstrates quantum mechanics cannot be explained by the local hidden variable model in a three-party setting.

Tight Bound on Randomness for Violating the Clauser–Horne–Shimony–Holt Inequality

Free will (or randomness) has been studied to achieve loophole-free Bell's inequality test and to provide device-independent quantum key distribution security proofs. The required randomness such that a local hidden variable model (LHVM) can violate the Clauser-Horne-Shimony-Holt (CHSH) inequality has been studied, but a tight bound has not been proved for a practical case that i) the device settings of the two parties in the Bell test are independent; and ii) the device settings of each party can be correlated or biased across different runs. Using some information theoretic techniques, we prove in this paper a tight bound on the required randomness for this case such that the CHSH inequality can be violated by certain LHVM. Our proof has a clear achievability and converse style. The achievability part is proved using type counting. To prove the converse part, we introduce a concept called profile for a set of binary sequences and study the properties of profiles. Our profile-based converse technique is also of independent interest.

A Complete Graphical Calculus for Spekkens’ Toy Bit Theory

While quantum theory cannot be described by a local hidden variable model, it is nevertheless possible to construct such models that exhibit features commonly associated with quantum mechanics. These models are also used to explore the question of {\psi}-ontic versus {\psi}-epistemic theories for quantum mechanics. Spekkens' toy theory is one such model. It arises from classical probabilistic mechanics via a limit on the knowledge an observer may have about the state of a system. The toy theory for the simplest possible underlying system closely resembles stabilizer quantum mechanics, a fragment of quantum theory which is efficiently classically simulable but also non-local. Further analysis of the similarities and differences between those two theories can thus yield new insights into what distinguishes quantum theory from classical theories, and {\psi}-ontic from {\psi}-epistemic theories. In this paper, we develop a graphical language for Spekkens' toy theory. Graphical languages offer intuitive and rigorous formalisms for the analysis of quantum mechanics and similar theories. To compare quantum mechanics and a toy model, it is useful to have similar formalisms for both. We show that our language fully describes Spekkens' toy theory and in particular, that it is complete: meaning any equality that can be derived using other formalisms can also be derived entirely graphically. Our language is inspired by a similar graphical language for quantum mechanics called the ZX-calculus. Thus Spekkens' toy bit theory and stabilizer quantum mechanics can be analysed and compared using analogous graphical formalisms.

Clauser-Horne Bell test with imperfect random inputs

Bell test is one of the most important tools in quantum information science. On the one hand, it enables fundamental test for the physics laws of nature, and on the other hand, it can be also applied in varieties of device independent tasks such as quantum key distribution and random number generation. In practice, loopholes existing in experimental demonstrations of Bell tests may affect the validity of the conclusions. In this work, we focus on the randomness (freewill) loophole and investigate the randomness requirement in a well-known Bell test, the Clauser-Horne test, under various conditions. With partially random inputs, we explicitly bound the Bell value for all local hidden variable models by optimizing the classical strategy. Our result thus puts input randomness requirement on the Clauser-Horne test under varieties of practical scenarios. The employed analysis technique can be generalized to other Bell's inequalities.

Local hidden variable models for entangled quantum States using finite shared randomness.

The statistics of local measurements performed on certain entangled states can be reproduced using a local hidden variable (LHV) model. While all known models make use of an infinite amount of shared randomness, we show that essentially all entangled states admitting a LHV model can be simulated with finite shared randomness. Our most economical model simulates noisy two-qubit Werner states using only log_{2}(12)≃3.58 bits of shared randomness. We also discuss the case of positive operator valued measures, and the simulation of nonlocal states with finite shared randomness and finite communication. Our work represents a first step towards quantifying the cost of LHV models for entangled quantum states.

All Clauser–Horne–Shimony–Holt polytopes

The correlations that admit a local hidden-variable model are described by a family of polytopes, whose facets are the Bell inequalities. The Clauser–Horne–Shimony–Holt (CHSH) inequality is the simplest such Bell inequality and is a facet of every Bell polytope. We investigate for which Bell polytopes the CHSH inequality is also the unique (non-trivial) facet. We prove that the CHSH inequality is the unique facet for all bipartite polytopes where at least one party has a binary choice of dichotomic measurements, irrespective of the number of measurement settings and outcomes for the other party. Based on numerical results, we conjecture that it is also the unique facet for all bipartite polytopes involving two measurements per party where at least one measurement is dichotomic. Finally, we remark that these two situations can be the only ones for which the CHSH inequality is the unique facet, i.e., any polytope that does not correspond to one of these two cases necessarily has facets that are not of the CHSH form. As a byproduct of our approach, we derive a new family of facet inequalities.This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘50 years of Bell’s theorem’.

Separable states improve protocols with finite randomness

It is known from Bellʼs theorem that quantum predictions for some entangled states cannot be mimicked using local hidden variable (LHV) models. From a computer science perspective, LHV models may be interpreted as classical computers operating on a potentially infinite number of correlated bits originating from a common source. As such, Bell inequality violations achieved through entangled states are able to characterize the quantum advantage of certain tasks, so long as the task itself imposes no restriction on the availability of correlated bits. However, if the number of shared bits is limited, additional constraints are placed on the possible LHV models, and separable, i.e. disentangled states may become a useful resource. Bell violations are therefore no longer necessary to achieve a quantum advantage. Here we show that, in particular, separable states improve the so-called random access codes, which is a class of communication problem wherein one party tries to read a portion of the data held by another distant party in the presence of finite shared randomness and limited classical communication. We also show how the bias of classical bits can be used to avoid wrong answers in order to achieve the optimal classical protocol and how the advantage of quantum protocols is linked to quantum discord.

Violations of entropic Bell inequalities with coarse-grained quadrature measurements for continuous-variable states

It is a long-standing belief, as pointed out by Bell in 1986, that it is impossible to use a two-mode Gaussian state possessing a positive-definite Wigner function to demonstrate nonlocality as the Wigner function itself provides a local hidden-variable model. In particular, when one performs continuous-variable (CV) quadrature measurements upon a routinely generated CV entanglement, namely, the two-mode squeezed vacuum (TMSV) state, the resulting Wigner function is positive-definite and as such, the TMSV state cannot violate any Bell inequality using CV quadrature measurements. We show here, however, that a Bell inequality for CV states in terms of entropies can be quantum mechanically violated by the TMSV state with two coarse-grained quadrature measurements per site within experimentally accessible parameter regime. The proposed CV entropic Bell inequality is advantageous for an experimental test, especially for a possible loophole-free test of nonlocality, as the quadrature measurements can be implemented with homodyne detections of nearly $100%$ detection efficiency under current technology.

Steering bound entangled States: a counterexample to the stronger Peres conjecture.

Quantum correlations are at the heart of many applications in quantum information science and, at the same time, they form the basis for discussions about genuine quantum effects and their difference to classical physics. On one hand, entanglement theory provides the tools to quantify correlations in information processing and many results have been obtained to discriminate useful entanglement, which can be distilled to a pure form, from bound entanglement, being of limited use in many applications. On the other hand, for discriminating quantum phenomena from their classical counterparts, Schrödinger and Bell introduced the notions of steering and local hidden variable models. We provide a method to generate systematically bound entangled quantum states which can still be used for steering and, therefore, to rule out local hidden state models. This sheds light on the relations between the various views on quantum correlations and disproves a widespread conjecture known as the stronger Peres conjecture. For practical applications, it implies that even the weakest form of entanglement can be certified in a semidevice independent way.

Causal structures from entropic information: geometry and novel scenarios

Bell's theorem in physics, as well as causal discovery in machine learning, both face the problem of deciding whether observed data is compatible with a presumed causal relationship between the variables (for example, a local hidden variable model). Traditionally, Bell inequalities have been used to describe the restrictions imposed by causal structures on marginal distributions. However, some structures give rise to non-convex constraints on the accessible data, and it has recently been noted that linear inequalities on the observable entropies capture these situations more naturally. In this paper, we show the versatility of the entropic approach by greatly expanding the set of scenarios for which entropic constraints are known. For the first time, we treat Bell scenarios involving multiple parties and multiple observables per party. Going beyond the usual Bell setup, we exhibit inequalities for scenarios with extra conditional independence assumptions, as well as a limited amount of shared randomness between the parties. Many of our results are based on a geometric observation: Bell polytopes for two-outcome measurements can be naturally imbedded into the convex cone of attainable marginal entropies. Thus, any entropic inequality can be translated into one valid for probabilities. In some situations the converse also holds, which provides us with a rich source of candidate entropic inequalities.

Measurement-Based Quantum Computation with Trapped Ions

Measurement-based quantum computation represents a powerful and flexible framework for quantum information processing, based on the notion of entangled quantum states as computational resources. The most prominent application is the one-way quantum computer, with the cluster state as its universal resource. Here we demonstrate the principles of measurement-based quantum computation using deterministically generated cluster states, in a system of trapped calcium ions. First we implement a universal set of operations for quantum computing. Second we demonstrate a family of measurement-based quantum error correction codes and show their improved performance as the code length is increased. The methods presented can be directly scaled up to generate graph states of several tens of qubits.

In search of superluminal quantum communications: recent experiments and possible improvements

As shown in the famous EPR paper (Einstein, Podolsky e Rosen, 1935), Quantum Mechanics is non-local. The Bell theorem and the experiments by Aspect and many others, ruled out the possibility of explaining quantum correlations between entangled particles using local hidden variables models (except for implausible combinations of loopholes). Some authors (Bell, Eberhard, Bohm and Hiley) suggested that quantum correlations could be due to superluminal communications (tachyons) that propagate isotropically with velocity vt > c in a preferred reference frame. For finite values of vt, Quantum Mechanics and superluminal models lead to different predictions. Some years ago a Geneva group and our group did experiments on entangled photons to evidence possible discrepancies between experimental results and quantum predictions. Since no discrepancy was found, these experiments established only lower bounds for the possible tachyon velocities vt. Here we propose an improved experiment that should lead us to explore a much larger range of possible tachyon velocities Vt for any possible direction of velocity V⃗ of the tachyons preferred frame.

Experimental violation of three families of Bell's inequalities

Bell's inequalities are important to our understanding of quantum foundations and critical to several quantum technologies. A recent work [E. Wolfe and S. F. Yelin, Phys. Rev. A 86, 012123 (2012)] derived three parametrized families of two-particle, two-setting Bell inequalities. These inequalities are important as they theoretically explore a larger volume of allowed quantum correlations over local hidden-variable models than previous results [A. Cabello, Phys. Rev. A 72, 012113 (2005)] by exploiting marginal, or single particle measurements. In this work we subject those predictions to experimental test using nonmaximally entangled photon pairs to optimize the expected violation. We find excellent agreement with the upper bounds predicted by quantum mechanics with violations of the limits imposed by local hidden-variable models as large as almost 30$\ensuremath{\sigma}$ for the optimal parameters and a significant violation over a wide range of parameters.

Local simulation of singlet statistics for a restricted set of measurements

The essence of Bell’s theorem is that, in general, quantum statistics cannot be reproduced by a local hidden variable (LHV) model. This impossibility is strongly manifested when statistics collected by measuring certain local observables on a singlet state, violates the Bell inequality. In this work, we search for local POVMs with binary outcomes for which an LHV model can be constructed for a singlet state. We provide various subsets of observables for which an LHV model can be provided for singlet statistics.

Incompatible local hidden-variable models of quantum correlations

We show a quantum state with explicit local hidden-variable models for correlations between any fixed number of subsystems which cannot be extended to a model simultaneously describing correlations between different numbers of subsystems. The explicit models we discuss may involve several settings per observer and the way to disqualify them involves only two settings per party.

Nonlocality as a benchmark for universal quantum computation in Ising anyon topological quantum computers

An obstacle affecting any proposal for a topological quantum computer based on Ising anyons is that quasiparticle braiding can only implement a finite (non-universal) set of quantum operations. The computational power of this restricted set of operations (often called stabilizer operations) has been studied in quantum information theory, and it is known that no quantum-computational advantage can be obtained without the help of an additional non-stabilizer operation. Similarly, a bipartite two-qubit system based on Ising anyons cannot exhibit non-locality (in the sense of violating a Bell inequality) when only topologically protected stabilizer operations are performed. To produce correlations that cannot be described by a local hidden variable model again requires the use of a non-stabilizer operation. Using geometric techniques, we relate the sets of operations that enable universal quantum computing (UQC) with those that enable violation of a Bell inequality. Motivated by the fact that non-stabilizer operations are expected to be highly imperfect, our aim is to provide a benchmark for identifying UQC-enabling operations that is both experimentally practical and conceptually simple. We show that any (noisy) single-qubit non-stabilizer operation that, together with perfect stabilizer operations, enables violation of the simplest two-qubit Bell inequality can also be used to enable UQC. This benchmarking requires finding the expectation values of two distinct Pauli measurements on each qubit of a bipartite system.

Local hidden variable modelling, classicality, quantum separability and the original Bell inequality

We introduce a general condition sufficient for the validity of the original Bell inequality (1964) in a local hidden variable (LHV) frame. This condition can be checked experimentally and incorporates only as a particular case the assumption on perfect correlations or anticorrelations usually argued for this inequality in the literature. Specifying this general condition for a quantum bipartite case, we introduce the whole class of bipartite quantum states, separable and nonseparable, that (i) admit an LHV description under any bipartite measurements with two settings per site; (ii) do not necessarily exhibit perfect correlations and may even have a negative correlation function if the same quantum observable is measured at both sites, but (iii) satisfy the ‘perfect correlation’ version of the original Bell inequality for any three bounded quantum observables A1, A2 = B1, B2 at sites ‘A’ and ‘B’, respectively. Analysing the validity of this general LHV condition under classical and quantum correlation scenarios with the same physical context, we stress that, unlike the Clauser–Horne–Shimony–Holt inequality, the original Bell inequality distinguishes between classicality and quantum separability.

Strengthened Bell inequalities for entanglement verification

Bell inequalities were meant to test quantum mechanics vs local hidden variable models, but can also be used to verify entanglement. For entanglement verification purposes one assumes the validity of quantum mechanics as well as quantum descriptions of one's measurements. With the help of these assumptions it is possible to derive a strengthened Bell inequality whose violation implies entanglement. We generalize known examples of such inequalities by relating the expectation value of the Bell operator to a particular quantitative measure of entanglement, namely the negativity. Moreover, we obtain statistics illustrating the fact that violating a given (strengthened or not) Bell inequality is a much more rare feat for a quantum state of two qubits than it is to be entangled.

Proposed Bell Experiment with Genuine Energy-Time Entanglement

Franson's Bell experiment with energy-time entanglement [Phys. Rev. Lett. 62, 2205 (1989)10.1103/PhysRevLett.62.2205] does not rule out all local hidden variable models. This defect can be exploited to compromise the security of Bell inequality-based quantum cryptography. We introduce a novel Bell experiment using genuine energy-time entanglement, based on a novel interferometer, which rules out all local hidden variable models. The scheme is feasible with actual technology.

TESTS OF QUANTUM MECHANICS AGAINST A SIMPLE FAMILY OF LOCAL HIDDEN-VARIABLES MODELS VIA POLARIZATION CORRELATION EXPERIMENTS

The quantum prediction for the polarization correlation of a general two-photon state (e.g. non-maximally entangled) is derived taking into account the non-ideal behavior of polarization analyzers and detectors. A simple family of local hidden-variables models is defined and the possible discrimination between that family and quantum mechanics is discussed.