If we distribute n qubits between two parties, which quantum pure states and distributions of qubits would allow all-versus-nothing (or Greenberger-Horne-Zeilinger-like) proofs of Bell's theorem using only single-qubit measurements? We show a necessary and sufficient condition for the existence of these proofs for any number of qubits, and provide all distinct proofs up to n=7 qubits. Remarkably, there is only one distribution of a state of n=4 qubits, and six distributions, each for a different state of n=6 qubits, which allow these proofs.
Recently, a kind of deterministic all-versus-nothing proof of Bell nonlocality induced from the qubit non-stabilizer state was proposed, breaking the tradition that deterministic all-versus-nothing proofs are always derived from stabilizer states. A trivial generalization to the qudit (d is even) version is by using a special basis map, but such a proof can still be reduced to the qubit version. So far, whether high dimensional non-stabilizer states can induce nontrivial deterministic all-versus-nothing proofs of Bell nonlocality remains unknown. Here we present an example induced from a speci…
We introduce an all-versus-nothing proof of impossibility of Einstein-Podolsky-Rosen's local elements of reality for two photons entangled both in polarization and path degrees of freedom, which leads to a Bell's inequality where the classical bound is 8 and the quantum prediction is 16. A simple estimation of the detection efficiency required to close the detection loophole using this proof gives eta > 0.69. This efficiency is lower than that required for previous proposals.
We introduce a two-observer all-versus-nothing proof of Bell's theorem which reduces the number of required quantum predictions from 9 [A. Cabello, Phys. Rev. Lett. 87, 010403 (2001); Z.-B. Chen et al., Phys. Rev. Lett. 90, 160408 (2003)] to 4, provides a greater amount of evidence against local realism, reduces the detection efficiency requirements for a conclusive experimental test of Bell's theorem, and leads to a Bell's inequality which resembles Mermin's inequality for three observers [N. D. Mermin, Phys. Rev. Lett. 65, 1838 (1990)] but requires only two observers.
This article shows that the there is no paradox. Violation of Bell's inequalities should not be identified with a proof of non locality in quantum mechanics. A number of past experiments is reviewed, and it is concluded that the experimental results should be re-evaluated. The results of the experiments with atomic cascade are shown not to contradict the local realism. The article points out flaws in the experiments with down-converted photons. The experiments with neutron interferometer on measuring the "contextuality" and Bell-like inequalities are analyzed, and it is shown that the experime…
We present new bell inequalities for arbitrary dimensional bipartite quantum systems. The maximal violation of the inequalities is computed. The Bell inequality is capable of detecting quantum entanglement of both pure and mixed quantum states more effectively.
We show that bipartite Bell inequalities based on the Einstein-Podolsky-Rosen criterion for elements of reality and derived from the properties of some hyperentangled states allow feasible experimental verifications of the fact that quantum nonlocality grows exponentially with the size of the subsystems, and Bell loophole-free tests with currently available photodetection efficiencies.
We present an alternative definition of quantum entanglement for bipartite system based on Bell inequality and operators' noncommutativity. A state is said to be entangled, if the maximum of CHSH expectation value $F_{\max}$ is obtain by noncommutative measures on each particle of the bipartite system; otherwise, the state is a disentangled state. A uniform measure quantifying the degree of entanglement for any state of the bipartite system is also proposed.
A recent proof of Bell's theorem without inequalities [A. Cabello, Phys. Rev. Lett. 86, 1911 (2001)] is formulated as a Greenberger-Horne-Zeilinger-like proof involving just two observers. On one hand, this new approach allows us to derive an experimentally testable Bell inequality which is violated by quantum mechanics. On the other hand, it leads to a new state-independent proof of the Kochen-Specker theorem and provides a wider perspective on the relations between the major proofs of no-hidden-variables.
In the present article, based on the formalism introduced in [Loubenets, J. Math. Phys. 53, 022201 (2012)], we derive for a pure bipartite quantum state a new upper bound on its maximal violation of general Bell inequalities. This new bound indicates that, for an infinite dimensional pure bipartite state with a finite sum of its Schmidt coefficients, violation of any general Bell inequality is bounded from above by the value independent on a number of settings and a type of outcomes, continuous or discrete, specific to this Bell inequality. As an example, we apply our new general results to sp…
Bell nonlocality and Einstein-Podolsky-Rosen (EPR) steering are every important quantum correlations of a composite quantum system. Bell nonlocality of a bipartite state is a quantum correlation demonstrated by some local quantum measurements, while EPR steering is another form of quantum correlations, observed firstly by Schrodinger in the context of famous EPR paradox. In this paper, we give some remarks on Bell nonlocality and EPR steering of bipartite states, including mathematical definitions and characterizations of these two quantum correlations, the convexity and closedness of the set …
In this paper we introduce a simple and natural bipartite Bell scenario, by considering the correlations between two parties defined by general measurements in one party and dichotomic ones in the other. We show that unbounded Bell violations can be obtained in this context. Since such violations cannot occur when both parties use dichotomic measurements, our setting can be considered as the simplest one where this phenomenon can be observed. Our example is essentially optimal in terms of the outputs and the Hilbert space dimension.
A decomposition form is introduced in this report to establish a criterion for the bi-partite separability of Bell diagonal states. A such criterion takes a quadratic form of the coefficients of a given Bell diagonal states and can be derived via a simple algorithmic calculation of its invariants. In addition, the criterion can be extended to a quantum system of higher dimension.
We propose a generalized structure of Bell inequalities for arbitrary d-dimensional bipartite systems, which includes the existing two types of Bell inequalities introduced by Collins-Gisin-Linden-Massar-Popescu [Phys. Rev. Lett. 88, 040404 (2002)] and Son-Lee-Kim [Phys. Rev. Lett. 96, 060406 (2006)]. We analyze Bell inequalities in terms of correlation functions and joint probabilities, and show that the coefficients of correlation functions and those of joint probabilities are in Fourier transform relations. We finally show that the coefficients in the generalized structure determine the cha…
In this work we show that bipartite quantum states with local Hilbert space dimension n can violate a Bell inequality by a factor of order $\sqrt{n}$ (up to a logarithmic factor) when observables with n possible outcomes are used. A central tool in the analysis is a close relation between this problem and operator space theory and, in particular, the very recent noncommutative $L_p$ embedding theory. As a consequence of this result, we obtain better Hilbert space dimension witnesses and quantum violations of Bell inequalities with better resistance to noise.
We find a single parameter family of genuinely entangled three qubit pure states, called the maximally Bell inequality violating states (MBV), which exhibit maximum Bell inequality violation by the reduced bipartite system for a fixed amount of genuine tripartite entanglement quantified by the so called tangle measure. This in turn implies that there holds a complementary relation between the Bell inequality violation by the reduced bipartite systems and the tangle present in the three qubit states, not necessarily pure. The MBV states also exhibit maximum Bell inequality violation by the redu…
We give a partial list of 26 tight Bell inequalities for the case where Alice and Bob choose among four two-outcome measurements. All tight Bell inequalities with less settings are reviewed as well. For each inequality we compute numerically the maximal quantum violation, the resistance to noise and the minimal detection efficiency required for closing the detection loophole. Surprisingly, most of these inequalities are outperformed by the CHSH inequality.
We give a set of necessary conditions for locality in bipartite systems, which include and generalize known Bell's inequalities. Each condition corresponds to a specific order of the expansion of random variables defined on graphs, in terms of genuinely n-variable correlation functions. The first non-trivial order leads to known Bell inequalities, while higher orders produce additional, non-equivalent conditions. In particular, in CHSH settings, we obtain at least two additional tight conditions which do not reduce to the CHSH inequality. This shows that tight Bell inequalities are sufficient …
We show all-versus-nothing proofs of Bell's theorem in the one-dimensional transverse-field Ising model, which is one of the most important exactly solvable models in the field of condensed matter physics. Since this model can be simulated with nuclear magnetic resonance, our work might lead to a fresh approach to experimental test of the Greenberger-Horne-Zeilinger contradiction between local realism and quantum mechanics.
The phenomenon of monogamy of Bell inequality violations is interesting both from the fundamental perspective as well as in cryptographic applications such as the extraction of randomness and secret bits. In this article, we derive new and stronger monogamy relations for violations of Bell inequalities in general no-signaling theories. These relations are applicable to the class of binary output correlation inequalities known as XOR games, and to a restricted set of unique games. In many instances of interest, we show that the derived relation provides a significant strengthening over previous…
Quantum entanglement plays a central role in many areas of physics, from quantum information science to many-body systems. In order to grasp the essence of this phenomenon, it is fundamental to understand how different manifestations of entanglement relate to each other. In 1999, Peres conjectured that Bell nonlocality is equivalent to distillability of entanglement. The intuition of Peres was that the non-classicality of an entangled state, as witnessed via Bell inequality violation, implies that pure entanglement can be distilled from this state, hence making it useful for most quantum infor…
Einstein-Podolsky-Rosen steering is a form of quantum nonlocality intermediate between entanglement and Bell nonlocality. Although Schrödinger already mooted the idea in 1935, steering still defies a complete understanding. In analogy to "all-versus-nothing" proofs of Bell nonlocality, here we present a proof of steering without inequalities rendering the detection of correlations leading to a violation of steering inequalities unnecessary. We show that, given any two-qubit entangled state, the existence of certain projective measurement by Alice so that Bob's normalized conditional states can…
Landauer's principle claims that "Information is Physical." It is not surprising that its conceptual antithesis, Wheeler's "It from Bit," has been more popular among computer scientists --- in the form of the Church-Turing hypothesis: All natural processes can be computed by a universal Turing machine; physical laws then become descriptions of subsets of observable, as opposed to merely possible, computations. Switching back and forth between the two traditional styles of thought, motivated by quantum-physical Bell correlations and the doubts they raise about fundamental space-time causality, …
Bell inequalities and nonlocality have been widely studied in one-dimensional quantum systems. As a kind of quantum correlation, it is expected that bipartite nonlocaity should be present in quantum systems, just as bipartite entanglement does. Surprisingly, for various models, two-qubit states do not violate Bell inequalities, i.e., they are local. Recently, it is realized that the results are related to the monogamy trade-off obeyed by bipartite Bell correlations, thus it is believed that for general translation invariant systems, two-qubit states should not violate the Bell inequality(Olive…
We introduce two two-player quantum pseudo-telepathy games based on two recently proposed all-versus-nothing (AVN) proofs of Bell's theorem [A. Cabello, Phys. Rev. Lett. 95, 210401 (2005); Phys. Rev. A 72, 050101(R) (2005)]. These games prove that Broadbent and Methot's claim that these AVN proofs do not rule out local-hidden-variable theories in which it is possible to exchange unlimited information inside the same light-cone (quant-ph/0511047) is incorrect.
For a two-particle two-state system, sets of compatible propositions exist for which quantum mechanics and noncontextual hidden-variable theories make conflicting predictions for every individual system whatever its quantum state. This permits a simple all-or-nothing state-independent experimental verification of the Bell-Kochen-Specker theorem.
Phase-controlled bipartite and tripartite entanglement and Bell nonlocality in a closed-loop optomechanical system
Beijing Institute of Radio Metrology and Measurement（北京无线电计量测试研究所）；Science and Technology on Metrology and Calibration Laboratory, Beijing Institute of Radio Metrology and Measurement（北京无线电计量测试研究所计量与校准重点实验室）
Local realistic models cannot completely describe all predictions of quantum mechanics. This is known as Bell's theorem that can be revealed either by violations of Bell inequality, or all-versus-nothing proof of nonlocality. Hardy's paradox is an important all-versus-nothing proof and is considered as "the simplest form of Bell's theorem". In this work, we theoretically build the general framework of Hardy-type paradox based on Bell inequality. Previous Hardy's paradoxes have been found to be special cases within the framework. Stronger Hardy-type paradox has been found even for the two-qubit…
Characterizing trade-offs between simultaneous violations of multiple Bell inequalities in a large network of qubits is computationally demanding. We propose a graph-theoretic approach to efficiently produce Bell monogamy relations in arbitrary arrangements of qubits. All the relations obtained for bipartite Bell inequalities are tight and leverage only a single Bell monogamy relation. This feature is unique to bipartite Bell inequalities, as we show that there is no finite set of such elementary monogamy relations for multipartite inequalities. Nevertheless, many tight monogamy relations for …
Euclidean volume ratios between quantum states with positive partial transpose and all quantum states in bipartite systems are investigated. These ratios allow a quantitative exploration of the typicality of entanglement and of its detectability by Bell inequalities. For this purpose a new numerical approach is developed. It is based on the Peres-Horodecki criterion, on a characterization of the convex set of quantum states by inequalities resulting from Newton identities and from Descartes' rule of signs, and on a numerical approach involving the multiphase Monte Carlo method and the hit-and-…
We analyze the correlation structure of bipartite arbitrary-dimensional Bell inequalities via novel conditions of correlations in terms of differences of joint probabilities called correlators. The conditions of correlations are shown to be necessary for the multi-level Bell state. In particular, we find that the bipartite arbitrary-dimensional Bell-type inequalities introduced by Collins-Gisin-Linden-Massar-Popescu [Phys. Rev. Lett. 88, 040404 (2002)] and Son-Lee-Kim [Phys. Rev. Lett. 96, 060406 (2006)] are composed of correlators, and we reveal that the maximal violations by the Bell state j…
We develop a systematic method to construct the Bell states of a qubit bipartite system while taking $SU(2)$ group as the basis group. An alternative formulation of fidelity, called $SU(2)$ fidelity, is proposed which gives the Bell-CHSH inequality. Taking analogy from the octet theory governed by the $SU(3)$ group, it is shown that the method can be easily generalized to derive all possible entangled states and the $SU(3)$ fidelity of the higher dimensional bipartite qutrit system. The properties of these states are studied which reveal the existence of some inequalities for the qutrit bipart…
We consider a bipartite scenario where two parties hold ensembles of $1/2$-spins which can only be measured collectively. We give numerical arguments supporting the conjecture that in this scenario no Bell inequality can be violated for arbitrary numbers of spins if only first order moment observables are available. We then give a recipe to achieve a significant Bell violation with a split many-body system when this restriction is lifted. This highlights the strong requirements needed to detect bipartite quantum correlations in many-body systems device-independently.
In \cite{JP2011,JPPVW2010} the operator space theory was applied to study bipartite Bell inequalities. The aim of the paper is to follow this line of research and use the operator space technique to analyze the steering scenario. We obtain a bipartite steering functional with unbounded largest violation of steering inequality, as well as we can construct all ingredients explicitly. It turns out that the unbounded largest violation is obtained by non maximally entangled state. Moreover, we focus on the bipartite dichotomic case where we construct a steering functional with unbounded largest vio…
In a general setting, we introduce a new bipartite state property sufficient for the validity of the perfect correlation form of the original Bell inequality for any three bounded quantum observables. A bipartite quantum state with this property does not necessarily exhibit perfect correlations. The class of bipartite states specified by this property includes both separable and nonseparable states. We prove analytically that, for any dimension d>2, every Werner state, separable or nonseparable, belongs to this class.
The notion of equivalence of maximally entangled bases of bipartite d-dimensional Hilbert spaces is introduced. An explicit method of inequivalent bases construction is presented.
We have determined numerically the maximum quantum violation of over 100 tight bipartite Bell inequalities with two-outcome measurements by each party on systems of up to four dimensional Hilbert spaces. We have found several cases, including the ones where each party has only four measurement choices, where two dimensional systems, i.e., qubits are not sufficient to achieve maximum violation. In a significant proportion of those cases when qubits are sufficient, one or both parties have to make trivial, degenerate 'measurements' in order to achieve maximum violation. The quantum state corresp…
We propose a entanglement measure for pure $M \otimes N$ bipartite quantum states. We obtain the measure by generalizing the equivalent measure for a $2 \otimes 2$ system, via a $2 \otimes 3$ system, to the general bipartite case. The measure emphasizes the role Bell states have, both for forming the measure, and for experimentally measuring the entanglement. The form of the measure is similar to generalized concurrence. In the case of $2 \otimes 3$ systems, we prove that our measure, that is directly measurable, equals the concurrence. It is also shown that in order to measure the entanglemen…
Here we propose an implementation of all possible Positive Operator Value Measures (POVMs) of two-photon polarization states. POVMs are the most general class of quantum measurements. Our setup requires linear optics, Bell State measurements and an entangled three-photon ancilla state, which can be prepared separately and in advance (or 'off-line'). As an example we give the detailed settings for a simultaneous measurement of all four Bell States for an arbitrary two-photon polarization state, which is impossible with linear optics alone.
Bipartite temporal Bell inequalities are similar to the usual Bell inequalities except that, instead of changing the direction of the polariser at each measurement, one changes the time at which the measurement is being performed. By doing so, one is able to test for realism and locality, but relying on position measurements only. This is particularly useful in experimental setups where the momentum direction cannot be probed (such as in cosmology for instance). We study these bipartite temporal Bell inequalities for continuous systems placed in two-mode squeezed states, and find some regions …
We analyze special class of bipartite states - so called Bell diagonal states. In particular we provide new examples of bound entangled Bell diagonal states and construct the class of entanglement witnesses diagonal in the magic basis.
According to a widespread view, the Bell theorem establishes the untenability of so-called 'local realism'. On the basis of this view, recent proposals by Leggett, Zeilinger and others have been developed according to which it can be proved that even some non-local realistic theories have to be ruled out. As a consequence, within this view the Bell theorem allows one to establish that no reasonable form of realism, be it local or non-local, can be made compatible with the (experimentally tested) predictions of quantum mechanics. In the present paper it is argued that the Bell theorem has demon…
We study the explicit relation between violation of Bell inequalities and bipartite distillability of multi-qubit states. It has been shown that even though for $N\ge 8$ there exist $N$-qubit bound entangled states which violates a Bell inequality [Phys. Rev. Lett. {\bf 87}, 230402 (2001)], for all the states violating the inequality there exists at least one splitting of the parties into two groups such that pure-state entanglement can be distilled [Phys. Rev. Lett. {\bf 88}, 027901 (2002)]. We here prove that for all $N$-qubit states violating the inequality the number of distillable biparti…
Classical bounds on two-outcome bipartite Bell expressions and linear prepare-and-measure witnesses: Efficient computation in parallel environments such as graphics processing units
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…
An adaptive method for quantum state fidelity estimation in bipartite higher dimensional systems is established. This method employs state verifier operators which are constructed by local POVM operators and adapted to the measurement statistics in the computational basis. Employing this method, the state verifier operators that stabilize Bell-type entangled states are constructed explicitly. Together with an error operator in the computational basis, one can estimate the lower and upper bounds on the state fidelity for Bell-type entangled states in few measurement configurations. These bounds…
We discuss general Bell inequalities for bipartite and multipartite systems, emphasizing the connection with convex geometry on the mathematical side, and the communication aspects on the physical side. Known results on families of generalized Bell inequalities are summarized. We investigate maximal violations of Bell inequalities as well as states not violating (certain) Bell inequalities. Finally, we discuss the relation between Bell inequality violations and entanglement properties currently discussed in quantum information theory.
We employ a straightforward relation between mutually unbiased and Bell bases to extend the latter in terms of a direct construction for the former. We analyze in detail the properties of these new generalized Bell states, showing that they constitute an appropriate tool for testing entanglement in bipartite multiqudit systems.
