Device-independent quantum key distribution aims at providing security guarantees even when using largely uncharacterised devices. In the simplest scenario, these guarantees are derived from the CHSH score, which is a simple linear combination of four correlation functions. We here derive a security proof from a generalisation of the CHSH score, which effectively takes into account the individual values of two correlation functions. We show that this additional information, which is anyway available in practice, allows one to get higher key rates than with the CHSH score. We discuss the potential advantage of this technique for realistic photonic implementations of device-independent quantum key distribution.
We construct a simple algorithm to generate any CHSH type Bell inequality involving a party with two local binary measurements from two CHSH type inequalities without this party. The algorithm readily generalizes to situations, where the additional observer uses three measurement settings. There, each inequality involving the additional party is constructed from three inequalities with this party excluded. With this generalization at hand, we construct and analyze new symmetric inequalities for four observers and three experimental settings per observer.
We discuss the role of counter-factual meaningfulness (a weaker cousin of "counter-factual definiteness") as a premise in the derivation of the Bell and CHSH inequalities. The basic question motivating the discussion is this: can the CHSH inequality, unlike the original Bell inequality, be derived without making a hidden-variables (or equivalent counter-factual definiteness) assumption? We answer, somewhat tentatively, in the negative, and suggest that an appropriately-modified version of the EPR argument is needed to rigorously establish that the empirical violation of Bell-type inequalities …
We show that some two-party Bell inequalities with two-valued observables are stronger than the CHSH inequality for 3 \otimes 3 isotropic states in the sense that they are violated by some isotropic states in the 3 \otimes 3 system that do not violate the CHSH inequality. These Bell inequalities are obtained by applying triangular elimination to the list of known facet inequalities of the cut polytope on nine points. This gives a partial solution to an open problem posed by Collins and Gisin. The results of numerical optimization suggest that they are candidates for being stronger than the I_3…
For every $d \geq 2$, we present a generalization of the CHSH inequality with the property that maximal violation self-tests the maximally entangled state of local dimension $d$. This is the first example of a family of inequalities with this property. Moreover, we provide a conjecture for a family of inequalities generalizing the tilted CHSH inequalities, and we conjecture that for each pure bipartite entangled state there is an inequality in the family whose maximal violation self-tests it. All of these inequalities are inspired by the self-testing correlations of [Nat. Comm. 8, 15485 (2017)…
We investigate quantum correlations appearing for two qubit detectors which are initially uncorrelated and locally coupled to a massless scalar field in a vacuum state. Under the perturbation up to the second order in the coupling, the state of the detectors can be entangled through the interaction with the scalar field but satisfies the Bell-CHSH inequality. The violation of the Bell-CHSH inequality for such an entangled state is revealed by local filtering operations. In this paper, we construct the optimal filtering operations for the qubit detectors and derive the success probability of th…
Since the experimental observation of the violation of the Bell-CHSH inequalities, much has been said about the non-local and contextual character of the underlying system. But the hypothesis from which Bell's inequalities are derived differ according to the probability space used to write them. The violation of Bell's inequalities can, alternatively, be explained assuming that the hidden variables do not exist at all, or that they exist but their values cannot be simultaneously assigned, or that the values can be assigned but joint probabilities cannot be properly defined, or that averages ta…
We introduce two families of sum-of-squares (SOS) decompositions for the Bell operators associated with the tilted CHSH expressions introduced in Phys. Rev. Lett. 108, 100402 (2012). These SOS decompositions provide tight upper bounds on the maximal quantum value of these Bell expressions. Moreover, they establish algebraic relations that are necessarily satisfied by any quantum state and observables yielding the optimal quantum value. These algebraic relations are then used to show that the tilted CHSH expressions provide robust self-tests for any partially entangled two-qubit state. This app…
In the derivation of local bound of a Bell's inequality, the response functions corresponding to the different outcomes of measurements are fixed by the relevant hidden variables irrespective of the fact if the measurement is unsharp. In the context of a recent result by Spekkens that tells even in an ontological model the unsharp observable cannot be assigned a deterministic response function, we derive a modified local bound of CHSH inequality in unsharp measurement scenario. We consider response function for a given POVM which is determined by the response functions of the relevant projecto…
In this paper we show a Clauser-Horne (CH) inequality for two three-level quantum systems or qutrits, alternative to the CH inequality given by Kaszlikowski et al. [PRA 65, 032118 (2002)]. In contrast to this latter CH inequality, the new one is shown to be equivalent to the Clauser-Horne-Shimony-Holt (CHSH) inequality for two qutrits given by Collins et al. [PRL 88, 040404 (2002)]. Both the CH and CHSH inequalities exhibit the strongest resistance to noise for a nonmaximally entangled state for the case of two von Neumann measurements per site, as first shown by Acin et al. [PRA 65, 052325 (2…
A technique, which we call homogenization, is applied to transform CH-type Bell inequalities, which contain lower order correlations, into CHSH-type Bell inequalities, which are defined for highest order correlation functions. A homogenization leads to inequalities involving more settings, that is a choice of one more observable is possible for each party. We show that this technique preserves the tightness of Bell inequalities: a homogenization of a tight CH-type Bell inequality is still a tight CHSH-type Bell inequality. As an example we obtain $3\times3\times3$ CHSH-type Bell inequalities b…
A method for construction of the multipartite Clauser-Horne-Shimony-Holt (CHSH) type Bell inequalities, for the case of local binary observables, is presented. The standard CHSH-type Bell inequalities can be obtained as special cases. A unified framework to establish all kinds of CHSH-type Bell inequalities by increasing step by step the number of observers is given. As an application, compact Bell inequalities, for eight observers, involving just four correlation functions are proposed. They require much less experimental effort than standard methods and thus is experimentally friendly in mul…
Non-stabilizerness and violations of CHSH inequalities
Università degli Studi di Napoli Federico II（那不勒斯费德里科二世大学）；INFN, Sezione di Napoli（意大利国家核物理研究所那不勒斯分部）；University of Southern California（南加州大学）；Scuola Superiore Meridionale（南方高等学院）
Entanglement of high-dimensional and multipartite quantum systems offer promising perspectives in quantum information processing. However, the characterization and measure of such kind of entanglement is of great challenge. Here we consider the overlaps between the maximal quantum mean values and the classical bound of the CHSH inequalities for pairwise-qubit states in two-dimensional subspaces. We show that the concurrence of a pure state in any high-dimensional multipartite system can be equivalently represented by these overlaps. Here we consider the projections of an arbitrary high-dimensi…
By establishing CHSH operators and CHSH-type inequalities, we show that any entangled pure state in infinite-dimensional systems is entangled in a $2\otimes2$ subspace. We find that, for infinite-dimensional systems, the corresponding properties are similar to that of the two-qubit case: (i) The CHSH-type inequalities provide a sufficient and necessary condition for separability of pure states; (ii) The CHSH operators satisfy the Cirel'son inequalities; (iii) Any state which violates one of these Bell inequalities is distillable.
We characterize violation of CHSH inequalities for mixed two-qubit states by their mixedness and entanglement. The class of states that have maximum degree of CHSH violation for a given linear entropy is also constructed.
The simplest device-independent quantum key distribution protocol is based on the Clauser-Horne-Shimony-Holt (CHSH) Bell inequality and allows two users, Alice and Bob, to generate a secret key if they observe sufficiently strong correlations. There is, however, a mismatch between the protocol, in which only one of Alice's measurements is used to generate the key, and the CHSH expression, which is symmetric with respect to Alice's two measurements. We therefore investigate the impact of using an extended family of Bell expressions where we give different weights to Alice's measurements. Using …
We computationally investigate the complete polytope of Bell inequalities for 2 particles with small numbers of possible measurements and outcomes. Our approach is limited by Pitowsky's connection of this problem to the computationally hard NP problem. Despite this, we find that there are very few relevant inequivalent inequalities for small numbers. For example, in the case with 3 possible 2-outcome measurements on each particle, there is just one new inequality. We describe mixed 2-qubit states which violate this inequality but not the CHSH. The new inequality also illustrates a sharing of b…
We investigate the behavior of the maximal violations of the CHSH inequality and V$\grave{e}$rtesi's inequality under the local filtering operations. An analytical method has been presented for general two-qubit systems to compute the maximal violation of the CHSH inequality and the lower bound of the maximal violation of V$\acute{e}$rtesi's inequality over the local filtering operations. We show by examples that there exist quantum states whose non-locality can be revealed after local filtering operation by the V$\acute{e}$rtesi's inequality instead of the CHSH inequality.
Boolean logic is used to prove the CHSH inequalities. The proof elucidates the connection be- tween Einstein elements of reality and quantum non locality. The violation of the CHSH inequality by quantum theory is discussed and the two stage view of quantum measurement relevance to incompatible observables is outlined.
We point out a loophole in the derivation of the Bell inequalities in the form proposed by Clauser, Horne, Shimony and Holt (CHSH). In this derivation it is assumed that statistical independence is a necessary consequence of locality, but this is not a logical necessity.
Bell inequalities, considered within quantum mechanics, can be regarded as non-optimal witness operators. We discuss the relationship between such Bell witnesses and general entanglement witnesses in detail for the Bell inequality derived by Clauser, Horne, Shimony, and Holt (CHSH). We derive bounds on how much an optimal witness has to be shifted by adding the identity operator to make it positive on all states admitting a local hidden variable model. In the opposite direction, we obtain tight bounds for the maximal proportion of the identity operator that can be subtracted from such a CHSH w…
Intermediate states are known from intercept/resend eavesdropping in the BB84 quantum cryptographic protocol. But they also play fundamental roles in the optimal eavesdropping strategy on BB84 and in the CHSH inequality. We generalize the intermediate states to arbitrary dimension and consider intercept/resend eavesdropping, optimal eavesdropping on the generalized BB84 protocol and present a generalized CHSH inequality for two entangled quNits based on these states.
For a class of mixed two -qubit states we show that it is not possible to discriminate between states violating or non - violating Bell - CHSH inequalities, knowing only their entanglement and mixedness. For a large set of possible values of these quantities, we construct pairs of states with the same entanglement and mixedness such that one state is violating but the other is non - violating Bell - CHSH inequality.
A number of papers have suggested that it is inappropriate to combine data from different experiments when undertaking experimental tests of Bell's inequalities. It has been suggested that a correct analysis, using a single probability space, leads to inequalities which are not violated by experiment. If correct, this would be contrary to the normal interpretation of such experimental data. However, in this note, a generalised Clauser-Horne-Shimony-Holt (CHSH) inequality is derived for a system of four experiments constructed on a single probability space which combines the data from the four …
The violation of Bell inequalities is often interpreted as showing that, if hidden variables exist, they must be contextual and non local. But they can also be explained questioning the probability space employed, or the validity of the Kolmogorov axioms. In this article we explore the additional constrains which can be deduced from two widely used objetive probability theories: frequentism and propensities. One of the strongest objections in the deduction of one version of Bell inequalities goes about the probability space, which assumes the existence of values for the output of the experimen…
Many typical Bell experiments can be described as follows. A source repeatedly distributes particles among two spacelike separated observers. Each of them makes a measurement, using an observable randomly chosen out of several possible ones, leading to one of two possible outcomes. After collecting a sufficient amount of data one calculates the value of a so-called Bell expression. An important question in this context is whether the result is compatible with bounds based on the assumptions of locality, realism and freedom of choice. Here we are interested in bounds on the obtained value deriv…
In a recent article, Kiukas and Werner claim to have shown that Bohmian Mechanics does not make the same empirical predictions as ordinary Quantum Mechanics. More precisely, they have shown that ordinary Quantum Mechanics predicts maximal violations of the CHSH-Bell inequality for a certain experiment in which only position measurements are performed on two noninteracting entangled free non-relativistic particles. Kiukas and Werner claim that Bohmian Mechanics doesn't predict a violation of the CHSH-Bell inequality for that experiment. We explain that such claim is wrong and that the argument …
The monogamy is a fundamental property of Bell nonlocality and contextuality. In this article, we studied the $n$-cycle noncontextual inequalities and generalized CHSH inequalities in detail and found the sufficient conditions for those inequalities to be hold. According to those conditions, we provide several kind of tradeoff relations: monogamy of generalized Bell inequalities in non-signaling framework, monogamy of cycle type noncontextual inequalities and monogamy between Bell inequality and noncontextual inequality in general no-disturbance framework. At last, some generic tradeoff relati…
Quantum theory imposes a strict limit on the strength of non-local correlations. It only allows for a violation of the CHSH inequality up to the value 2 sqrt(2), known as Tsirelson's bound. In this note, we consider generalized CHSH inequalities based on many measurement settings with two possible measurement outcomes each. We demonstrate how to prove Tsirelson bounds for any such generalized CHSH inequality using semidefinite programming. As an example, we show that for any shared entangled state and observables X_1,...,X_n and Y_1,...,Y_n with eigenvalues +/- 1 we have |<X_1 Y_1> + <X_2 Y_1>…
The Bell/CHSH inequalities of quantum physics are identical with the inequalities derived in mathematical psychology for the problem of selective influences in cases involving two bi- nary experimental factors and two binary random variables recorded in response to them. The following points are made regarding cognitive science applications: (1) compliance of data with these inequalities is informative only if the data satisfy the requirement known as marginal selectivity; (2) both violations of marginal selectivity and violations of the Bell/CHSH inequalities are interpretable as indicating t…
In two-party, two-input and two-output measurement scenario only relevant Bell's inequality is the Clauser-Horne-Shimony-Holt (CHSH) form. They also provide the necessary and sufficient conditions for local realism. Any other form, such as, Clauser-Horne and Wigner forms reduce to the CHSH one. Standard Leggett-Garg inequalities are often considered to be the temporal analog of CHSH inequalities. But, they do not provide the necessary and sufficient conditions for macrorealism. There is thus scope of formulating new macrorealist inequalities different and stronger than the standard Leggett-Gar…
In the analysis of experiments designed to reveal violation of Bell-type inequalities, it is usually assumed that any hidden variables associated with the nth particle pair would be independent of measurement choices and outcomes for the first $(n-1)$ pairs. Models which violate this assumption exploit what we call the {\it memory loophole}. We focus on the strongest type of violation, which uses the {\it 2-sided} memory loophole, in which the hidden variables for pair $n$ can depend on the previous measurement choices and outcomes in both wings of the experiment. We show that the 2-sided memo…
We consider bipartite quantum systems characterized by a continuous angular variable θ\in [-π, π[, representing, for instance, the position of a particle on a circle. We show how to reveal non-locality on this type of system using inequalities similar to CHSH ones, originally derived for bipartite spin 1/2 like systems. Such inequalities involve correlated measurement of continuous angular functions and are equivalent to the continuous superposition of CHSH inequalities acting on bidimensional subspaces of the infinite dimensional Hilbert space. As an example, we discuss in detail one applicat…
We emphasize the role of the precise correlations loophole in attempting to connect the CHSH type inequalities with the EPR-argument. The possibility to test theories with hidden variables experimentally by using such inequalities is questioned. The role of the original Bell inequality is highlighted. The interpretation of the CHSH inequality in the spirit of Bohr, as a new test of incompatibility, is presented. The positions of Bohr, Einstein, Podolsky, Rosen, Bell, Clauser, Horne, Shimony, Holt, De Broglie, Hertz, and Boltzmann on interrelation of theory and experiment are enlightened.
We show that it is possible to find maximal violations of the CHSH-Bell inequality using only position measurements on a pair of entangled non-relativistic free particles. The device settings required in the CHSH inequality are done by choosing one of two times at which position is measured. For different assignments of the "+" outcome to positions, namely to an interval, to a half line, or to a periodic set, we determine violations of the inequalities, and states where they are attained. These results have consequences for the hidden variable theories of Bohm and Nelson, in which the two-time…
We generalize the correlation functions of the Clauser-Horne-Shimony-Holt (CHSH) inequality to multipartite d-dimensional systems. All the Bell inequalities based on this generalization take the same simple form as the CHSH inequality. For small systems, numerical results show that the new inequalities are tight and we believe this is also valid for higher dimensional systems. Moreover, the new inequalities are relevant to the previous ones and for bipartite system, our inequality is equivalent to the Collins-Gisin-Linden-Masser-Popescu (CGLMP) inequality.
We present the first security analysis of conference key agreement (CKA) in the most adversarial model of device independence (DI). Our protocol can be implemented {by any experimental setup} that is capable of performing Bell tests (specifically, we introduce the "Parity-CHSH" inequality), and security can in principle be obtained for any violation of the Parity-CHSH inequality. We use a direct connection between the $N$-partite Parity-CHSH inequality and the CHSH inequality. Namely, the Parity-CHSH inequality can be considered as a CHSH inequality or another CHSH inequality (equivalent up to…
A quantum state can be characterized from the violation of a Bell inequality. The well-known CHSH inequality for example can be used to quantify the fidelity (up to local isometries) of the measured state with respect to the singlet state. In this work, we look for the minimum CHSH violation leading to a non-trivial fidelity. In particular, we provide a new analytical approach to explore this problem in a device-independent framework, where the fidelity bound holds without assumption about the internal working of devices used in the CHSH test. We give an example which pushes the minimum CHSH t…
Bit commitment and coin flipping occupy a unique place in the device-independent landscape, as the only device-independent protocols thus far suggested for these tasks are reliant on tripartite GHZ correlations. Indeed, we know of no other bipartite tasks, which admit a device-independent formulation, but which are not known to be implementable using only bipartite nonlocality. Another interesting feature of these protocols is that the pseudo-telepathic nature of GHZ correlations -- in contrast to the generally statistical character of nonlocal correlations, such as those arising in the violat…
Various inequalities (Boole inequality, Chung-Erdös inequality, Frechet inequality) for Kolmogorov (classical) probabilities are considered. Quantum counterparts of these inequalities are introduced, which have an extra `quantum correction' term, and which hold for all quantum states. When certain sufficient conditions are satisfied, the quantum correction term is zero, and the classical version of these inequalities holds for all states. But in general, the classical version of these inequalities is violated by some of the quantum states. For example in bipartite systems, classical Boole ineq…
Mathematics equivalent to Bell's derivation of the inequalities, also allows a local hidden variables explanation for the correlation between distant measurements.
In the celebrated paper [J. Phys. A: Math. Gen. 37, 1775 (2004)], D. Collins and N. Gisin presented for the first time a three setting Bell inequality (here we call it CG inequality for simplicity) which is relevant to the Clauser-Horne-Shimony-Holt (CHSH) inequality. Inspired by their brilliant ideas, we obtained some multi-setting tight Bell inequalities, which are relevant to the CHSH inequality and the CG inequality. Moreover, we generalized the method in the paper [Phys.Rev. A 79, 012115 (2009)] to construct Bell inequality for qubits to higher dimensional system. Based on the generalized…
The Bell inequalities stand at the cornerstone of the developments of quantum theory on both the foundational and applied side. The discussion started as a way to test whether the quantum description of reality is complete or not, but it developed in such a way that a new research area stemmed from it, namely quantum information. Far from being and exhausted topic, in the present paper we present a constructive and geometrically intuitive description of the local polytope and its facets in a bipartite Bell scenario with two dichotomic measurements per party.
Consider the set Q of quantum correlation vectors for two observers, each with two possible binary measurements. Quadric (hyperbolic) inequalities which are satisfied by every vector in Q are proved, and equality holds on a two dimensional manifold consisting of the local boxes, and all the quantum correlation vectors that maximally violate the Clauser, Horne, Shimony, and Holt (CHSH) inequality. The quadric inequalities are tightly related to CHSH, they are their iterated versions (equation 20). Consequently, it is proved that Q is contained in a hyperbolic cube whose axes lie along the non-l…
The security of device-independent (DI) quantum key distribution (QKD) protocols relies on the violation of Bell inequalities. As such, their security can be established based on minimal assumptions about the devices, but their implementation necessarily requires the distribution of entangled states. In a setting with fully trusted devices, any entanglement-based protocol is essentially equivalent to a corresponding prepare-and-measure protocol. This correspondence, however, is not generally valid in the DI setting unless one makes extra assumptions about the devices. Here we prove that a know…
Different variants of a Bell inequality, such as CHSH and CH, are known to be equivalent when evaluated on nonsignaling outcome probability distributions. However, in experimental setups, the outcome probability distributions are estimated using a finite number of samples. Therefore the nonsignaling conditions are only approximately satisfied and the robustness of the violation depends on the chosen inequality variant. We explain that phenomenon using the decomposition of the space of outcome probability distributions under the action of the symmetry group of the scenario, and propose a method…
Two parties sharing entangled quantum systems can generate correlations that cannot be produced using only shared classical resources. These nonlocal correlations are a fundamental feature of quantum theory but also have practical applications. For instance, they can be used for device-independent (DI) random number generation, whose security is certified independently of the operations performed inside the devices. The amount of certifiable randomness that can be generated from some given non-local correlations is a key quantity of interest. Here we derive tight analytic bounds on the maximum…
It is well-known that no local model - in theory - can simulate the outcome statistics of a Bell-type experiment as long as the detection efficiency is higher than a threshold value. For the Clauser-Horne-Shimony-Holt (CHSH) Bell inequality this theoretical threshold value is $η_{\text{T}} = 2 (\sqrt{2}-1) \approx 0.8284$. On the other hand, Phys.\ Rev.\ Lett.\ 107, 170404 (2011) outlined an explicit practical model that can fake the CHSH inequality for a detection efficiency of up to $0.5$. In this work, we close this gap. More specifically, we propose a method to emulate a Bell inequality at…
In this work, we develop upper bounds for key rates for device-independent quantum key distribution (DI-QKD) protocols and devices. We study the reduced cc-squashed entanglement and show that it is a convex functional. As a result, we show that the convex hull of the currently known bounds is a tighter upper bound on the device-independent key rates of standard CHSH-based protocol. We further provide tighter bounds for DI-QKD key rates achievable by any protocol applied to the CHSH-based device. This bound is based on reduced relative entropy of entanglement optimized over decompositions into …
Relatively few families of Bell inequalities have previously been identified. Some examples are the trivial, CHSH, I_{mm22}, and CGLMP inequalities. This paper presents a large number of new families of tight Bell inequalities for the case of many observables. For example, 44,368,793 inequivalent tight Bell inequalities other than CHSH are obtained for the case of 2 parties each with 10 2-valued observables. This is accomplished by first establishing a relationship between the Bell inequalities and the facets of the cut polytope, a well studied object in polyhedral combinatorics. We then prove…
