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 rule out correlations between multiple runs.
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…
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.
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 pr…
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…
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…
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…
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…
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…
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 …
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.
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…
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…
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…
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.
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.
Maximal violation of the CHSH-Bell inequality is usually said to be a feature of anticommuting observables. In this work we show that even random observables exhibit near-maximal violations of the CHSH-Bell inequality. To do this, we use the tools of free probability theory to analyze the commutators of large random matrices. Along the way, we introduce the notion of "free observables" which can be thought of as infinite-dimensional operators that reproduce the statistics of random matrices as their dimension tends towards infinity. We also study the fine-grained uncertainty of a sequence of f…
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…
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.
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 study an asymmetric form of two-mode entangled coherent state (ECS), where the two local amplitudes have different values, for testing the Bell-Clauser-Horne-Shimony-Holt (Bell-CHSH) inequality. We find that the asymmetric ECSs have obvious advantages over the symmetric form of ECSs in testing the Bell-CHSH inequality. We further study an asymmetric strategy in distributing an ECS over a lossy environment and find that such a scheme can significantly increase violation of the inequality.
