Entanglement properties of IBM Q 53 qubit quantum computer are carefully examined with the noisy intermediate-scale quantum (NISQ) technology. We study GHZ-like states with multiple qubits (N=2 to N=7) on IBM Rochester and compare their maximal violation values of Mermin polynomials with analytic results. A rule of N-qubits orthogonal measurements is taken to further justify the entanglement less than maximal values of local realism (LR). The orthogonality of measurements is another reliable criterion for entanglement except the maximal values of LR. Our results indicate that the entanglement of IBM 53-qubits is reasonably good when N <= 4 while for the longer entangle chains the entanglement is only valid for some special connectivity.
In this paper, it is proved that the maximal violation of Mermin's inequalities of $n$ qubits occurs only for GHZ's states and the states obtained from them by local unitary transformations. The key point of our argument involved here is by using the certain algebraic properties that Pauli's matrices satisfy, which is based on the determination of local spin observables of the associated Bell-Mermin operators.
The necessary and sufficient criteria for violating the Mermin and Svetlichny inequalities by arbitrary three-qubit states are presented. Several attempts have been made, earlier, to find such criteria, however, those extant criteria are neither tight for most of the instances, nor fully general. We generalize the existing criteria for Mermin and Svetlichny inequalities which are valid for the local projective measurement observables as well as for the arbitrary ones. We obtain the maximal achievable bounds of the Mermin and Svetlichny operators with unbiased measurement observables for arbitr…
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 inequalities are derived for systems of three-state particles (qutrits) employing three local measurement settings. These establish perfect correlations which violate local realistic bounds more strongly than those previously reported with two bases. The quantum eigenvalue of the Mermin operator grows as the dimension of the Hilbert space, $3^N$, rather than $2^N$, as obtained with two measurement bases. The number of distinct GHZ contradictions also increases as $3^N$.
Violation of Mermin's and Svetlichny's inequalities can rule out the predictions of local hidden variable theory and can confirm the existence of true nonlocal correlation for n-particle pure quantum systems. Here we demonstrate the experimental violation of the above inequalities for W- and GHZ-class of states. We use IBM's five-qubit quantum computer for experimental implementation of these states and illustration of inequalities' violations. Our results clearly show the violations of both Mermin's and Svetlichny's inequalities for W and GHZ states respectively. Being a superconducting qubit…
Violation of Mermin inequalities is tested on the 5-qubit IBM quantum computer. For 3, 4 and 5 parties, quantum states that violate the corresponding Mermin inequalities are constructed using quantum circuits on superconducting qubits. Measurements on different basis are included as additional final gates in the circuits. The experimental results obtained using the quantum computer show violation of all Mermin inequalitites, with a clear degradation of the results in the 5 qubit case. Though this quantum computer is not competitive to test Mermin inequalities as compared to other techniques wh…
Any n-qubit state with n independent perfect correlations is equivalent to a graph state. We present the optimal Bell inequalities for perfect correlations and maximal violation for all classes of graph states with n < 7 qubits. Twelve of them were previously unknown and four give the same violation as the Greenberger-Horne-Zeilinger state, although the corresponding states are more resistant to decoherence.
We prove that the threshold detection efficiency for a loophole-free Bell experiment using an $n$-qubit Greenberger-Horne-Zeilinger state and the correlations appearing in the $n$-partite Mermin inequality is $n/(2n-2)$. If the detection efficiency is equal to or lower than this value, there are local hidden variable models that can simulate all the quantum predictions. If the detection efficiency is above this value, there is no local hidden variable model that can simulate all the quantum predictions.
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 …
Three experiments, with an IBM superconducting quantum computer, are presented, where the setting combinations on a three qubit GHZ(like) state were selected by two additional assistant qubits. The average of the polynomial of Mermin for the three entangled qubits was calculated; the results showed violation of the inequality of Mermin. However, given that the assistant qubits selected, imposed and informed the type of settings, it was possible to interpret the results in terms of arranged relations among hidden variables of the assistants and the entanglement BEFORE each shot; the hidden vari…
The existence of GHZ contradictions in many-qutrit systems was a long-standing theoretical question until it's (affirmative) resolution in 2013. To enable experimental tests, we derive Mermin inequalities from concurrent observable sets identified in those proofs. These employ a weighted sum of observables, called M, in which every term has the chosen GHZ state as an eigenstate with eigenvalue unity. The quantum prediction for M is then just the number of concurrent observables, and this grows asymptotically as 2^N/3 as the number of qutrits (N) goes to infinity. The maximum classical value fa…
The 5-qubit quantum computer prototypes that IBM has given open access to on the cloud allow the implementation of real experiments on a quantum processor. We present the results obtained in five experimental tests performed on these computers: dense coding, quantum Fourier transforms, Bell's inequality, Mermin's inequalities (up to $n=5$) and the construction of the prime state $|p_3\rangle$. These results serve to assess the functioning of the IBM 5Q chips.
When a measurement is compatible with each of two other measurements that are incompatible with one another, these define distinct contexts for the given measurement. The Kochen-Specker theorem rules out models of quantum theory that satisfy a particular assumption of context-independence: that sharp measurements are assigned outcomes both deterministically and independently of their context. This notion of noncontextuality is not suited to a direct experimental test because realistic measurements always have some degree of unsharpness due to noise. However, a generalized notion of noncontextu…
Self-testing refers to the phenomenon that certain extremal quantum correlations (almost) uniquely identify the quantum system under consideration. For instance observing the maximal violation of the CHSH inequality certifies that the two parties share a singlet. While self-testing results are known for several classes of states, in many cases they are only applicable if the observed statistics are almost perfect, which makes them unsuitable for practical applications. Practically relevant self-testing bounds are much less common and moreover they all result from a single numerical method (wit…
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 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.
Based on Clauser-Horner-Shimony-Holt inequality, we show a fruitful method to exploit Bell inequalities for multipartite qubit systems. These Bell inequalities are designed with a simpler architecture tailored to experimental demonstration. Under the optimal setting we derive a set of compact Mermin-type inequalities and discuss quantum violations for generalized Greenberger-Horne-Zeilinger (GGHZ) states. Also, we reveal relationship between quantum nonlocality and four-partite entanglement for four-qubit GGHZ states.
In this paper, we characterize the maximal violation of Ardehali's inequality of $n$ qubits by showing that GHZ's states and the states obtained from them by local unitary transformations are the unique states that maximally violate the Ardehali's inequalities. This concludes that Ardehali's inequalities can be used to characterize maximally entangled states of $n$ qubits, as the same as Mermin's and Bell-Klyshko's inequalities.
In quantum information theory, entropic inequalities act as the necessary and sufficient conditions to noncontextuality. Here, we first experimentally demonstrate the violation of the entropic noncontextual inequality in a four-level quantum system, by using the five-qubit IBM quantum computer. The experimental result disproves the existence of a local realist model.
The question concerning the physical realizability of a probability distribution is of quite importance in Quantum foundations. Specker first pointed out that this question cannot be answered from Kolmogorov's axioms alone. Lately, this observation of Specker has motivated simple principles (exclusivity principle/ local orthogonality principle) that can explain quantum limit regarding the possible sets of experimental probabilities in various nonlocality and contextuality experiments. We study Specker's observation in the simplest scenario involving three inputs each with two outputs. Then usi…
Recently, various quantum computing and communication tasks have been implemented using IBM's superconductivity-based quantum computers which are available on the cloud. Here, we show that the circuits used in most of those works were not optimized and the use of the optimized circuits can considerably improve the possibility of observing unique features of quantum mechanics. Specifically, a systematic procedure is used here to obtain optimized circuits (circuits having reduced gate count and number of levels) for a large number of Clifford+T circuits which have already been implemented in the…
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…
We introduce inequalities for multi-partite entanglement, derived from the geometry of spin vectors. The criteria are constructed iteratively from cross and dot products between the spins of individual subsystems, each of which may have arbitrary dimension. For qubit ensembles the maximum violation for our inequalities is larger than that for the Mermin-Klyshko Bell inequalities, and the maximally violating states are different from Greenberger-Horne-Zeilinger states. Our inequalities are violated by certain bound entangled states for which no Bell-type violation has yet been found.
We present a family of Bell inequalities for three parties and arbitrarily many outcomes, which can be seen as a natural generalization of the Mermin Bell inequality. For a small number of outcomes, we verify that our inequalities define facets of the polytope of local correlations. We investigate the quantum violations of these inequalities, in particular with respect to the Hilbert space dimension. We provide strong evidence that the maximal quantum violation can only be reached using systems with local Hilbert space dimension exceeding the number of measurement outcomes. This suggests that …
It was shown in Phys. Rev. Lett., 87, 230402 (2001) that N (N >= 4) qubits described by a certain one parameter family F of bound entangled states violate Mermin-Klyshko inequality for N >= 8. In this paper we prove that the states from the family F violate Bell inequalities derived in Phys. Rev. A, 56, R1682 (1997), in which each observer measures three non-commuting sets of orthogonal projectors, for N >=7. We also derive a simple one parameter family of entanglement witnesses that detect entanglement for all the states belonging to F. It is possible that these new entanglement witnesses cou…
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…
We study entanglement and non-locality of connected four-qubit hypergraph states. One obtains the SLOCC classification from the known LU-orbits. We then consider Mermin's polynomials and show that all four-qubit hypergraph states exhibit non-local behavior. Finally, we implement some of the corresponding inequalities on the IBM Quantum Experience.
IBM Quantum offers free remote access to real quantum processors. One of the many experiments now accessible to all students is a test of Bell inequalities. This experiment introduces the rigorous mysteries that physicists have grappled with for a century. Using IBM Quantum to test Bell inequalities is not new. However, we are unaware of any single reference, appropriate for introductory students, that contains (1) the derivation of a Bell inequality, (2) the derivation of the corresponding quantum prediction, and (3) instructions for carrying out the experiment with IBM Quantum.
Joint quantum measurements of non-commuting observables are possible, if one accepts an increase in the measured variances. A necessary condition for a joint measurement to be possible is that a joint probability distribution exists for the measurement. This fact suggests that there may be a link with Bell inequalities, as these will be satisfied if and only if a joint probability distribution for all involved observables exists. We investigate the connections between Bell inequalities and conditions for joint quantum measurements to be possible. Mermin's inequality for the three-particle Gree…
Multipartite nonlocality is of great fundamental interest and constitutes a useful resource for many quantum information protocols. However, demonstrating it in practice, by violating a Bell inequality, can be difficult. In particular, standard experimental setups require the alignment of distant parties' reference frames, which can be challenging or impossible in practice. In this work we study the violation of certain Bell inequalities, namely the Mermin, Mermin-Klyshko and Svetlichny inequalities, without shared reference frames, when parties share a Greenberger-Horne-Zeilinger (GHZ) state.…
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 study the violation of Bell-Mermin-Klyshko (BMK) inequalities in initial quantum states of scalar fields in inflation. We show that the Bell inequality is maximally violated by the Bunch-Davies vacuum which is a two-mode squeezed state of a scalar field. However, we find that the violation of the BMK inequalities does not increase with the number of modes to measure. We then consider a non-Bunch-Davies vacuum expressed by a four-mode squeezed state of two scalar fields. Remarkably, we find that the violation of the BMK inequalities increases exponentially with the number of modes to measure…
Tests of local hidden variable theories using measurements with continuous variable (CV) outcomes are developed, and a comparison of different methods is presented. As examples, we focus on multipartite entangled GHZ and cluster states. We suggest a physical process that produces the states proposed here, and investigate experiments both with and without binning of the continuous variable. In the former case, the Mermin-Klyshko inequalities can be used directly. For unbinned outcomes, the moment-based CFRD inequalities are extended to functional inequalities by considering arbitrary functions …
Non-locality sharing for a three-qubit system via multilateral sequential measurements was deeply discussed. Different from 2-qubit case, it is shown that non-locality sharing between $\mathrm{Alice_{1}-Bob_{1}-Charlie_{1}}$ and $\mathrm{Alice_{2}-Bob_{2}-Charlie_{2}}$ in 3-qubit system can be observed, where two Mermin-Ardehali-Belinskii-Klyshko (MABK) inequalities can be violated simultaneously. What's more, a complete non-locality sharing with 8 MABK inequalities violations simultaneously can be also observed. Compared with 2-qubit case, the nonlocal sharing in a three qubit system shows mo…
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…
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（香港大学）
Quantum correlations are critical to our understanding of nature, with far-reaching technological and fundamental impact. These often manifest as violations of Bell's inequalities, bounds derived from the assumptions of locality and realism, concepts integral to classical physics. Many tests of Bell's inequalities have studied pairs of correlated particles; however, the immense interest in multi-particle quantum correlations is driving the experimental frontier to test systems beyond just pairs. All experimental violations of Bell's inequalities to date require supplementary assumptions, openi…
The work extractable from correlated bipartite quantum systems can be used to distinguish entanglement from classical correlation. A natural question is now whether it can be generalised to multipartite systems. In this paper, we devise a protocol to distinguish the GHZ, the W, and separable states in terms of the thermodynamically extractable work under local operations and classical communication, and compare the results with those obtained from Mermin's inequalities.
Contextuality provides one of the fundamental characterizations of quantum phenomena, and can be used as a resource in lots of quantum information processing. In this paper, we summarize and derive some equivalent noncontextual inequalities from different noncontextual models of the proofs for Kochen-Specker theorem based on Greenberger-Horne-Zeilinger states. These noncontextual inequalities are equivalent up to some correlation items which hold both for noncontextual hidden variable theories and quantum mechanics. Therefore, using single-photon hyperentangled Greenberger-Horne-Zeilinger stat…
We create a six-qubit linear cluster state by transforming a two-photon hyperentangled state in which three qubits are encoded in each particle, one in the polarization and two in the linear momentum degrees of freedom. For this state, we demonstrate genuine six-qubit entanglement, persistency of entanglement against the loss of qubits, and higher violation than in previous experiments on Bell inequalities of the Mermin type.
