We consider a two-particle/two-setting Bell experiment to visualize the conflict between Bell-Żukowski inequality and Bell-Mermin inequality. The experiment is reproducible by local realistic theories which are not rotationally invariant. We found that the average value of the Bell-Żukowski operator can be evaluated only by the two-particle/two-setting Bell experiment in question. The Bell-Żukowski inequality reveals that the constructed local realistic models for the experiment are not rotationally invariant. That is, the two-particle Bell experiment in question reveals the conflict between Bell-Żukowski inequality and Bell-Mermin inequality. Our analysis has found the threshold visibility for the two-particle interference to reveal the conflict noted above. It is found that the threshold visibility agrees with the value to obtain a violation of the Bell-Żukowski inequality.
We present comparative analysis of Gill-Weihs-Zeilinger-Zukowski arguments directed against Hess-Philipp anti-Bell arguments. In general we support Hess-Philipp viewpoint to the sequence of measurements in the EPR-Bohm experiments as stochastic time-like process. On the other hand, we support Gill-Weihs-Zeilinger-Zukowski arguments against the use of time-like correlations as the factor blocking the derivation of Bell-type inequalities. We presented our own time-analysis of measurements in the EPR-Bohm experiments based on the frequency approach to probability. Our analysis gives strong argume…
We formulate the expectation value of the Bell-Zukowski operator acting on qubit states of a two-particle Bell experiment. By using the equivalence between a set of N copies of a two-qubit experiment and a standard two-setting Bell experiment in an entangled 2N-particle state, we obtain an inequality, which we may call the Bell-Zukowski inequality. It determines whether the measured correlation functions of two-particle states can be modeled locally and realistically. In this Bell experiment of two particles, the conflict between local realism and quantum mechanics is discussed in conjunction …
We construct an explicit Wigner function for N-mode squeezed state. Based on a previous observation that the Wigner function describes correlations in the joint measurement of the phase-space displaced parity operator, we investigate the non-locality of multipartite entangled state by the violation of Zukowski-Brukner N-qubit Bell inequality. We find that quantum predictions for such squeezed state violate these inequalities by an amount that grows with the number N.
We develop a novel approach to Bell inequalities based on a constraint that the correlations exhibited by local realistic theories must satisfy. This is used to construct a family of Bell inequalities for bipartite quantum systems of arbitrarily high dimensionality which are strongly resistant to noise. In particular our work gives an analytic description of numerical results of D. Kaszlikowski, P. Gnacinski, M. Zukowski, W. Miklaszewski, A. Zeilinger, Phys. Rev. Lett. {\bf 85}, 4418 (2000) and T. Durt, D. Kaszlikowski, M. Zukowski, quant-ph/0101084, and generalises them to arbitrarily high di…
We investigate a classical statistical model and show that Mermin's version of a Bell inequality is violated. We get this violation, if the measurement modifies the ensemble, a feature, which is also characteristic for measurement processes for quantum systems.
We show that Mermin's reasoning against our refutation of his non-technical proof for Bell-type inequalities is of limited significance or contains mathematical inconsistencies that, when taken into account, do not permit his proof to go forward. Our refutation therefore stands.
Mermin states that his nontechnical version of Bell's theorem stands and is not invalidated by time and setting dependent instrument parameters as claimed in one of our previous papers. We identify deviations from well-established protocol in probability theory as well as mathematical contradictions in Mermin's argument and show that Mermin's conclusions are therefore not valid: his proof does not go forward if certain possible time dependencies are taken into account.
Mermin states in a recent paper that his nontechnical version of Bell's theorem stands and is not invalidated by time and setting dependent instrument parameters as claimed in one of our previous papers. We identify a number of misinterpretations (of our definitions) and mathematical inconsistencies in Mermin's paper and show that Mermin's conclusions are therefore not valid: his proof does not go forward if certain possible time dependencies are taken into account.
The relationship between the noncommutativity of operators and the violation of the Bell inequality is exhibited in the light of the n-particle Bell-type inequality discovered by Mermin [PRL 65, 1838 (1990)]. It is shown, in particular, that the maximal amount of violation of Mermin's inequality predicted by quantum mechanics decreases exponentially by a factor of 2^{-m/2} whenever any m among the n single-particle commutators happen to vanish.
The detection of nonlocal correlations in a Bell experiment implies almost by definition some intrinsic randomness in the measurement outcomes. For given correlations, or for a given Bell violation, the amount of randomness predicted by quantum physics, quantified by the guessing probability, can generally be bounded numerically. However, currently only a few exact analytic solutions are known for violations of the bipartite Clauser-Horne-Shimony-Holt Bell inequality. Here, we study the randomness in a Bell experiment where three parties test the tripartite Mermin-Bell inequality. We give tigh…
By exhibiting a violation of a novel form of the Bell-CHSH inequality, Zukowski has recently established that the quantum correlations exploited in the standard perfect teleportation protocol cannot be recovered by any local hidden variables model. Allowing the quantum channel state in the protocol to be given by any density operator of two spin-1/2 particles, we show that a violation of a generalized form of Zukowski's teleportation inequality can only occur if the channel state, considered by itself, violates a Bell-CHSH inequality. On the other hand, although it is sufficient for a teleport…
It is shown how a proof of the Bell-Kochen-Specker (BKS) theorem given by Kernaghan and Peres can be experimentally realized using a scheme of measurements derived from a related proof of the same theorem by Mermin. It is also pointed out that if this BKS experiment is carried out independently by two distant observers who repeatedly make measurements on a specially correlated state of six qubits, it provides an inequality-free demonstration of Bell's theorem as well.
It is shown that the before-before (or Suarez-Scarani) experiment refutes hidden variable models with a deterministic ("realistic") nonlocal part, and the experimental violation of Leggett-type inequalities models with a random nonlocal part and a biased random local one. Therefore the claim that Groeblacher et al. present "an experimental test of nonlocal realism" [Nature, 446, 871-875 (2007)] is misleading, and Marek Zukowski's comment [arXiv:0809.0072v1] misses the point. A new experiment is proposed.
It is well known that Bell inequality supporting the local realism can be violated in quantum mechanics. Numerous tests of such a violation have been demonstrated with bipartite entanglements. Using spectral jointmeasurements of the qubits, we here propose a scheme to test the tripartite Mermin inequality (a three-qubit Bell-type inequality) with three qubits dispersively-coupled to a driven cavity. First, we show how to generate a three-qubit Greenberger-Horne-Zeilinger (GHZ) state by only one-step quantum operation. Then, spectral joint-measurements are introduced to directly confirm such a …
Generalized Mermin Inequalities for Benchmarking Large-Scale GHZ States
Hefei National Research Center for Physical Sciences at the Microscale and School of Physical Sciences, University of Science and Technology of China（中国科学技术大学物理科学学院和微观尺度物理国家研究中心）；Shanghai Research Center for Quantum Science and CAS Center for Excellence in Quantum Information and Quantum Physics, University of Science and Technology of China（中国科学技术大学上海量子科学研究中心和中科院量子信息与量子物理学前沿卓越中心）；Hefei National Laboratory, University of Science and Technology of China（中国科学技术大学合肥国家实验室）；Center on Frontiers of Computing Studies, Peking University（北京大学前沿计算研究中心）；School of Computer Science, Peking University（北京大学计算机学院）；Naturwissenschaftlich-Technische Fakultät, Universität Siegen（锡根大学自然科学技术学院）
We analyse notion of independence in the EPR-Bohm framework by using comparative analysis of independence in conventional and frequency probability theories. Such an analysis is important to demonstrate that Bell's inequality was obtained by using totally unjustified assumptions (e.g. the Bell-Clauser-Horne factorability condition). Our frequency analysis also demonstrated that Gill-Weihs-Zeilinger-Zukowski's arguments based on "the experimenter's freedom to choose settings" to support the standard Bell approach are neither justified by the structure of the EPR-Bohm experiment. Finally, our an…
Based on a geometrical argument introduced by Zukowski, a new multisetting Bell inequality is derived, for the scenario in which many parties make measurements on two-level systems. This generalizes and unifies some previous results. Moreover, a necessary and sufficient condition for the violation of this inequality is presented. It turns out that the class of non-separable states which do not admit local realistic description is extended when compared to the two-setting inequalities. However, supporting the conjecture of Peres, quantum states with positive partial transposes with respect to a…
Mermin's inequality is the generalization of the Bell-CHSH inequality for three qubit states. The violation of the Mermin inequality guarantees the fact that there exists quantum non-locality either between two or three qubits in a three qubit system. In the absence of an analytical result to this effect, in order to check for the violation of Mermin's inequality one has to perform a numerical optimization procedure for even three qubit pure states. Here we derive an analytical formula for the maximum value of the expectation of the Mermin operator in terms of eigenvalues of symmetric matrices…
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.
We investigate theoretically the feasibility of an experimental test of the Bell-type inequality derived by Mermin for correlated spins larger than 1/2. Using the Schwinger representation, we link the output fields of two two-mode squeezers in order to create correlated effective spins between two observers. Spin measurements will be performed by photon-number-resolved photodetection, which has recently come of age. We examine the effect of nonideal detection quantum efficiency---and any other optical loss---on the violation margin of Mermin's inequality. We find that experimental violation is…
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…
Local systems may appear to violate Bell's inequalities if they are observed through suitable filters. The nonlocality leading to violation is outside the system and comprises the observer comparing the outcomes of the typical two wing Bell experiment. An example based on a well known gedanken experiment by Mermin is presented, and implications for the interpretation of Bell tests are discussed.
The Mermin-Klyshko inequality for n spin-1/2 particles and two dichotomic observables is generalized to n spin-s particles and two maximal observables. It is shown that some multiparty multilevel Greenberger-Horne-Zeilinger states [A. Cabello, Phys. Rev. A 63, 022104 (2001)] maximally violate this inequality for any s. For a fixed n, the magnitude of the violation is constant for any s, which provides a simple demonstration and generalizes the conclusion reached by Gisin and Peres for two spin-s particles in the singlet state [Phys. Lett. A 162, 15 (1992)]. For a fixed s, the violation grows e…
Homogenization proposed in [Y.-C Wu and M. Żukowski, Phys. Rev. A 85, 022119 (2012)] is a procedure to transform a tight Bell inequality with partial correlations into a full-correlation form that is also tight. In this paper, we check the homogenizations of two families of $n$-partite Bell inequalities: the Hardy inequality and the tight Bell inequality without quantum violation. For Hardy's inequalities, their homogenizations bear stronger quantum violation for the maximally entangled state; the tight Bell inequalities without quantum violation give the boundary of quantum and supra-quantum,…
We present a generalized quantum scattering circuit which can be used to perform non-invasive quantum measurements, and implement it on NMR qubits. Such a measurement is a key requirement for testing temporal non-contextual inequalities. We use this circuit to experimentally demonstrate the violation of the Peres-Mermin inequality (which is the temporal analog of a Klyachko-Can- Binicioglu-Shumovsky (KCBS) inequality), on a three-qubit NMR quantum information processor. Further, we experimentally demonstrate the violation of a transformed Bell-type inequality (the spatial equivalent of the tem…
It is shown that the entanglement-structure of 3- and 4-qubit states can be characterized by optimized operators of the Mermin-Klyshko type. It is possible to discriminate between pure 2-qubit entanglements and higher entanglements. A comparison with a global entanglement measure and the i-concurrence is made.
Any pure entangled state of two particles violates a Bell inequality for two-particle correlation functions (Gisin's theorem). We show that there exist pure entangled N>2 qubit states that do not violate any Bell inequality for N particle correlation functions for experiments involving two dichotomic observables per local measuring station. We also find that Mermin-Ardehali-Belinskii-Klyshko inequalities may not always be optimal for refutation of local realistic description.
The spectral decomposition is given for the N-qubit Bell operators with two observables per qubit. It is found that the eigenstates (when non-degenerate) are N-qubit GHZ states even for those operators that do not allow the maximal violation of the corresponding inequality. We present two applications of this analysis. In particular, we discuss the existence of pure entangled states that do not violate any Mermin-Klyshko inequality for $N\geq 3$.
We give a multidimensional generalisation of the complete set of Bell-correlation inequalities given by Werner and Wolf, and by Zukowski and Brukner, for the two-dimensional case. Our construction applies for the n parties, two-observables case, where each observable is d-valued. The d^{d^n} inequalities obtained involve homogeneous polynomials. They define the facets of a polytope in a complex vector space of dimension d^n. We also show that these inequalities are violated by Quantum Mechanics. We exhibit examples in the three-dimensional case.
We propose a formalism to derive the maximal bound of generalized Bell type inequalities and shows that the formalism can be applied to various form of Bell functions. The generic Bell function is defined to generate the combinations of all the possible correlations whose local realistic bound can be obtained from the series of the constraint equations. The application of the constraints converts the optimization problem into the counting problems whose complexity is dramatically reduced. It is also shown that generic Bell function can be used to generate many other known Bell type functions s…
The quantum Fisher information (QFI) of certain multipartite entangled quantum states is larger than what is reachable by separable states, providing a metrological advantage. Are these nonclassical correlations strong enough to potentially violate a Bell inequality? Here, we present evidence from two examples. First, we discuss a Bell inequality designed for spin-squeezed states which is violated only by quantum states with a large QFI. Second, we relax a well-known lower bound on the QFI to find the Mermin Bell inequality as a special case. However, a fully general link between QFI and Bell …
A proof of Bell's theorem without inequalities and involving only two observers is given by suitably extending a proof of the Bell-Kochen-Specker theorem due to Mermin. This proof is generalized to obtain an inequality-free proof of Bell's theorem for a set of n Bell states (with n odd) shared between two distant observers. A generalized CHSH inequality is formulated for n Bell states shared symmetrically between two observers and it is shown that quantum mechanics violates this inequality by an amount that grows exponentially with increasing n.
The correlations between two qubits belonging to a three-qubit system can violate the Clauser-Horne-Shimony-Holt-Bell inequality beyond Cirel'son's bound [A. Cabello, Phys. Rev. Lett. 88, 060403 (2002)]. We experimentally demonstrate such a violation by 7 standard deviations by using a three-photon polarization-entangled Greenberger-Horne-Zeilinger state produced by Type-II spontaneous parametric down-conversion. In addition, using part of our results, we obtain a violation of the Mermin inequality by 39 standard deviations.
We study the effects of Lorentz transformations on three-particle non-local system states (GHZ and W) of spin 1/2 particles, using the Pauli spin operator and a three-particle generalization of Bell's inequality, introduced by Svetlichny. In our setup, the moving and laboratory frames used the (same) set of measurement directions that maximally violate Svetlichny's inequality in the laboratory frame. We also investigate the behavior of Mermin's and Collins' inequalities. We find that, regardless of the particles' type of entanglement, violation of Svetlichny's inequality in the moving frame is…
We study violations of n particle Bell inequalities (as developed by Mermin and Klyshko) under the assumption that suitable partial transposes of the density operator are positive. If all transposes with respect to a partition of the system into p subsystems are positive, the best upper bound on the violation is 2^((n-p)/2). In particular, if the partial transposes with respect to all subsystems are positive, the inequalities are satisfied. This is supporting evidence for a recent conjecture by Peres that positivity of partial transposes could be equivalent to existence of local classical mode…
We provide a novel criterion for identifying quantum correlation, which allows us to find connections between Bell type inequalities, entanglement detection, and correlation. We utilize the criterion to construct witness operators that can detect genuine multi-qubit entanglement with fewer local measurements. The connection between identifications of quantum correlation and Mermin's inequality is discussed. Detection of genuine four-level tripartite entanglement with two local measurement settings is shown in the same manner. Further, through the criterion of quantum correlation, we derive a n…
In the Greenberger-Horne-Zeilinger-Mermin (GHZM) proof of Bell's theorem, a source periodically emits an entangled state of three particles whose properties are analyzed by three distant observers and used to prove Bell's nonlocality theorem. This paper analyzes a somewhat different gedanken experiment involving only two observers that nevertheless makes indirect use of the GHZ states to prove Bell's theorem. The relationship of the GHZM proof to the present one is discussed, and it is pointed out that the latter provides an interesting new view of the connection between the "two theorems of J…
For the Bell scenario with two parties and two binary observables per party, it is known that the no-signaling polytope is the polyhedral dual (polar) of the Bell polytope. Computational evidence suggests that this duality also holds for three parties. Using ideas of Werner, Wolf, Żukowski and Brukner, we prove this for any number of parties by describing a simple linear bijection mapping (tight) Bell inequalities to (extremal) no-signaling boxes and vice versa. Furthermore, a symmetry-based technique for extending Bell inequalities (resp. no-signaling boxes) with two binary observables from n…
Statistical tests are needed to determine experimentally whether a hypothetical theory based on local realism can be an acceptable alternative to quantum mechanics. It is impossible to rule out local realism by a single test, as often claimed erroneously. The ``strength'' of a particular Bell inequality is measured by the number of trials that are needed to invalidate local realism at a given confidence level. Various versions of Bell's inequality are compared from this point of view. It is shown that Mermin's inequality for Greenberger-Horne-Zeilinger states requires fewer tests than the Clau…
Certifying optimal device-independent quantum randomness in quantum networks
Hangzhou Dianzi University（杭州电子科技大学）；Zhejiang Provincial Key Laboratory of Sensitive Data Security and Confidentiality Governance（浙江省敏感数据安全与保密治理重点实验室）；The University of Hong Kong（香港大学）
For two qubits in a pure state there exists a one-to-one relation between the entanglement measure (the concurrence ${\cal C}$) and the maximal violation ${\cal M}$ of a Bell inequality. No such relation exists for the three-qubit analogue of ${\cal C}$ (the tangle $τ$), but we have found that numerical data is consistent with a simple set of upper and lower bounds for $τ$ given ${\cal M}$. The bounds on $τ$ become tighter with increasing ${\cal M}$, so they are of practical use. The Svetlichny form of the Bell inequality gives tighter bounds than the Mermin form. We show that the bounds can b…
We consider Bell experiments with N spatially separated qubits where loss is present and restrict to two measurement settings per site. We note the Mermin-Ardehali-Belinskii-Klyshko (MABK) Bell inequalities do not present a tight bound for the predictions of local hidden variable (LHV) theories. The Holder-type Bell inequality derived by Cavalcanti, Foster, Reid and Drummond provides a tighter bound, for high losses. We analyse the actual tight bound for the MABK inequalities, given the measure W=\prod_{k=1}^{N}η_{k} of overall detection efficiency, where η_{k} is the efficiency at the site k …
Facet inequalities play an important role in detecting the nonlocality of a quantum state. The number of such inequalities depends on the Bell test scenario. With the increase in the number of parties, measurement outcomes, or/and the number of measurement settings, there are more nontrivial facet inequalities. For several Bell scenarios, by involving two dichotomic measurement settings for two parties and one dichotomic measurement by other parties, we show that the local polytope has only one nontrivial facet. For three parties, we have three variants of this inequality, depending upon which…
We study GHZ-type and W-type three-mode entangled coherent states. Both the types of entangled coherent states violate Mermin's version of the Bell inequality with threshold photon detection (i.e., without photon counting). Such an experiment can be performed using linear optics elements and threshold detectors with significant Bell violations for GHZ-type entangled coherent states. However, to demonstrate Bell-type inequality violations for W-type entangled coherent states, additional nonlinear interactions are needed. We also propose an optical scheme to generate W-type entangled coherent st…
We introduce a new method of investigating qutrit nonclassicality by translating qutrit operators to symmetric two-qubit operators. We show that this procedure partially resolves the discrepancy between maximal qutrit entanglement and maximal nonclassicality of qutrit correlations. Namely we express Bell operators corresponding to qutrit Bell inequalities in terms of symmetric two-qubit operators, and analyze the maximal quantum violation of a given Bell inequality from the qubit perspective. As an example we show that the two-qutrit CGLMP(Collins-Gisin-Linden-Massar-Popescu) Bell inequality c…
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…
A local realistic theory is presented for Mermin's special case of the EPRB experiment. The theory, which is readily extended to the general EPRB experiment, reproduces all the predictions of quantum theory. It also reveals that Bell, and also Hess and Philipp, had made an error in the mathematical formulation of Einstein's locality or no action at a distance principle.
Mermin square scenario provides a simple proof for state-independent contextuality. In this paper, we study polytopes $\text{MP}_β$ obtained from the Mermin scenario, parametrized by a function $β$ on the set of contexts. Up to combinatorial isomorphism, there are two types of polytopes $\text{MP}_0$ and $\text{MP}_1$ depending on the parity of $β$. Our main result is the classification of the vertices of these two polytopes. In addition, we describe the graph associated with the polytopes. All the vertices of $\text{MP}_0$ turn out to be deterministic. This result provides a new topological p…
