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 taken in different contexts cannot be combined. All of the above are valid options, selected by different communities to provide support to their particular research program.
In this note, we discuss a closed-form necessary and sufficient condition for any two-qubit state to show hidden nonlocality w.r.t the Bell-CHSH inequality. This is then used to numerically compute the relative volume of states showing hidden Bell-CHSH non-locality , among all two-qubit states with one-sided reduction maximally mixed.
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.
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 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…
The relation between the violation of the Bell-CHSH inequalities and entanglement properties of quantum states is not clear so one may consider the mixedness of the system to understand the entanglement properties better than the Bell-CHSH inequality. In this respect, we prove that if the mixedness of the state measured by the linear entropy is less than 2/3 but strictly greater than zero then the two qubit states are entangled. But if the linear entropy is greater or equal to 2/3 then the state may or may not be entangled. Further we show that our entanglement criterion detects larger set of …
Here we show that, if we insert context dependent unitary evolutions (which can be achieved via post selection) into spatial (i.e., normal) Bell-CHSH test, then it is possible to violate space-time Bell-CHSH inequality maximally (i.e., up to $4$). However this does not contradict Tsirelson quantum bound ($2\sqrt{2}$), as the latter has been derived without taking into consideration context dependent unitary evolutions and/or post selection. As an important application, this leads to a more efficient quantum key distribution protocol.
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.
The relation between Bell-CHSH violation and factorization of Hilbert space is considered here. That is, a state which is local in the sense of the Bell-CHSH inequality under a certain factorization of the underlying Hilbert space can be Bell-CHSH non-local under a different factorization. While this question has been addressed with respect to separability , the relation of the factorization with Bell-CHSH violation has remained hitherto unexplored. We find here, that there is a set containing density matrices which do not exhibit Bell-CHSH violation under any factorization of the Hilbert spac…
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…
We describe a simple experimental setting where joint measurements performed on a single (classical or quantum) entity can violate both the Bell-CHSH inequality and the marginal laws (also called no-signaling conditions). Once emitted by a source, the entity propagates within the space of Alice's and Bob's detection screens, with the measurements' outcomes corresponding to the entity being absorbed or not absorbed in a given time interval. The violation of the marginal laws results from the fact that the choice of the screen on the side of Alice affects the detection probability on the side of…
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.
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…
The correlations that admit a local hidden-variable model are described by a family of polytopes, whose facets are the Bell inequalities. The 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…
In this article, we analyse the relationship between the Bell violation and the secure key rate of entanglement assisted quantum key distribution (QKD) protocols. Specifically, we address the question whether Bell violation is necessary or sufficient for secure communication. We construct a class of states which do not show Bell violation, however, which can be used for secure communication after local filtering. Similarly, we identify another class of states which show Bell violation but can not be used for generating secure key even after local filtering. The existence of these two classes o…
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…
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 show that a Bell inequality test using an optical hybrid state between a polarized single photon and a coherent field can be highly robust against detection inefficiency. The Bell violation occurs until the efficiency becomes as low as 67% even though its degree becomes small as the detection efficiency degrades. We consider on/off and photon number parity measurements, respectively, for the Bell test and they result in the similar conditions. If the detection efficiency is higher than 98.68%, parity measurements give larger Bell violations close to Cirel'son's bound, while on/off measureme…
Recently, nonlocality and Bell inequalities have been used to investigate quantum phase transitions (QPTs) in low-dimensional quantum systems. Nonlocality can be detected by the Bell-CHSH function (BCF). In this work, we extend the study of BCF to the QPTs in matrix product systems (MPSs). In this kind of QPTs, the ground-state energy keeps analytical in the vicinity of the QPT points, and is usually called the MPS-QPTs. For several typical models, our results show that BCF can signal the MPS-QPTs very well. In addition, we find BCF can capture signal of QPTs in unentangled states and classica…
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 potent…
Indirect Indication of the KCBS-Type Quantum Contextuality by the CHSH-Bell Test
Faculty of Engineering and Natural Sciences, Sabanci University（萨贝里大学工程与自然科学学院）；Sabanci University（萨贝里大学）；International Centre for Theory of Quantum Technologies, University of Gdansk（格但斯克大学量子技术理论国际中心）；University of Gdansk（格但斯克大学）
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…
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…
Bell's inequality fundamentally changed our understanding of quantum mechanics. Bell's insight that non-local correlations between quantum systems cannot be explained classically can be verified experimentally, and has numerous applications in modern quantum information. Today, the CHSH inequality is probably the most well-known Bell inequality and it has given us a wealth of understanding in what differentiates the classical from the quantum world. Yet, there are certainly other means of quantifying "Bell non-locality without inequalities" such as the famous Hardy's paradox. As such, one may …
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…
It has been shown that there is a small possibility to experimentally violate the CHSH Bell inequality in a 'classical' context. The probability of such a violation has been estimated in the framework of a classical probabilistic model in the language of a random-walk representation.
The Clauser-Horne-Shimony-Holt inequality test is widely used as a mean of invalidating the local deterministic theories and a tool of device independent quantum cryptographic tasks. There exists a randomness (freewill) loophole in the test, which is widely believed impossible to be closed perfectly. That is, certain random inputs are required for the test. Following a randomness quantification method used in literature, we investigate the randomness required in the test under various assumptions. By comparing the results, one can conclude that the key to make the test result reliable is to ru…
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…
Although our understanding of Bell's theorem and experimental techniques to test it have improved over the last 40 years, thus far all Bell tests have suffered at least from the detection or the locality loophole. Most photonic Bell tests rely on inefficient discrete-outcome measurements, often provided by photon counting detection. One possible way to close the detection loophole in photonic Bell tests is to involve efficient continuous-variable measurements instead, such as homodyne detection. Here, we propose a test of the Clauser-Horne-Shimony-Holt (CHSH) inequality that applies photon cou…
Recently, Fan \textit{et al.} [Mod. Phys. Lett. A 36, 2150223 (2021)], presented a generalized Clauser-Horne-Shimony-Holt (CHSH) inequality, to identify $N$-qubit Greenberger-Horne-Zeilinger (GHZ) states. They showed an interesting phenomenon that the maximal violation of the generalized CHSH inequality is robust under some specific noises. In this work, we map the inequality to the CHSH game, and consequently to the CHSH* game in a single-qubit system. This mapping provides an explanation for the robust violations in $N$-qubit systems. Namely, the robust violations, resulting from the degener…
It is well known that the violation of Bell's inequality in the form given by Clauser, Horne, Shimony, and Holt (CHSH) in two-qubit systems requires entanglement, but not vice versa, i.e., there are entangled states which do not violate the CHSH inequality. Here we compare some standard entanglement measures with violations of the CHSH inequality (as given by the Horodecki measure) for two-qubit states generated by Monte Carlo simulations. We describe states that have extremal entanglement according to the negativity, concurrence, and relative entropy of entanglement for a given value of the C…
We investigate the nonlocality distributions among multiqubit systems based on the maximal violations of the Clauser-Horne-Shimony-Holt (CHSH) inequality of reduced pairwise qubit systems. We present a trade-off relation satisfied by these maximal violations, which gives rise to restrictions on the distribution of nonlocality among the subqubit systems. For a three-qubit system, it is impossible that all pairs of qubits violate the CHSH inequality, and once a pair of qubits violates the CHSH inequality maximally, the other two pairs of qubits must both obey the CHSH inequality. Detailed exampl…
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（南方高等学院）
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 …
Cirel'son inequality states that the absolute value of the combination of quantum correlations appearing in the Clauser-Horne-Shimony-Holt (CHSH) inequality is bound by $2 \sqrt 2$. It is shown that the correlations of two qubits belonging to a three-qubit system can violate the CHSH inequality beyond $2 \sqrt 2$. Such a violation is not in conflict with Cirel'son's inequality because it is based on postselected systems. The maximum allowed violation of the CHSH inequality, 4, can be achieved using a Greenberger-Horne-Zeilinger state.
We find two two-qubit states such that any number of copies of one state or the other cannot violate the CHSH Bell inequality. However, their tensor product can produce a CHSH violation of at least 2.023. We also identify a CHSH-local state such that two copies of it are CHSH-violating. The tools employed here can be easily adapted to find instances of non-locality activation in arbitrary Bell scenarios.
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…
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…
The task of device independent secure key distribution requires preparation and subsequently distribution of nonlocal resources. For secured practical implementation, one needs to take two initially uncorrelated quantum systems and perform a unitary on the composite system to generate the nonlocal resource, which is supposed to violate a Bell inequality (say, Bell-CHSH). States which do not violate Bell-CHSH inequality, but violate it when transformed by a global unitary, can be deemed useful for the preparation of nonlocal resource. One may then start from a state which is Bell-CHSH local (ta…
In [PRL, 113, 050401 (2014)] the authors have shown that instead of L$\ddot{u}$der rule, if degeneracy breaking von Neumann projection rule is adopted for state reduction, the quantum value of three-time Leggett-Garg inequality can exceed it's L$\ddot{u}$ders bound. Such violation of L$\ddot{u}$ders bound may even approach algebraic maximum of the inequality in the asymptotic limit of system size. They also claim that for Clauser-Horne-Shimony-Holt (CHSH) inequality such violation of L$\ddot{u}$ders bound (known as Cirelson's bound) cannot be obtained even when the measurement is performed seq…
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.
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…
We report on an experimental violation of the Bell-Clauser-Horne-Shimony-Holt (Bell-CHSH) inequality using energy-time entangled photons. The experiment is not free of the locality and detection loopholes, but is the first violation of the Bell-CHSH inequality using energy-time entangled photons which is free of the postselection loophole described by Aerts et al. [Phys. Rev. Lett. 83, 2872 (1999)].
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.
