Bell nonlocality is a special quantum nonlocality and has emerged as an important resource in quantum information processing tasks. Typically, there are two types of strategies for testing the Bell nonlocality: the Bell inequality method and the “all-versus-nothing proof", the later includes methods such as the GHZ argument and Hardy paradox. The objective of this work is to provide new methods for detecting Bell nonlocality by understanding Hardy-like paradoxes (HLPs) and Hardy-Bell inequalities (HBIs) as well as Hardy inequality. First, the weak HLP (WHLP) is established, and an HBI is obtained for tripartite correlation tensors (CTs) with two inputs and two outcomes. Based on an existing Hardy inequality for an n-qubit pure state, a Hardy inequality is proven for n-partite Bell local CTs. Second, the WHLP and HBI are proven for tripartite states in terms of conditional probabilities. Our WHLP is theoretically and practically easier to construct and more efficient in checking Bell nonlocality compared to the usual HLP.
Bell nonlocality is a special quantum nonlocality and has emerged as an important resource in quantum information processing tasks. Typically, there are two types of strategies for testing the Bell nonlocality: the Bell inequality method and the “all-versus-nothing proof", the later includes methods such as the GHZ argument and Hardy paradox. The objective of this work is to provide new methods for detecting Bell nonlocality by understanding Hardy-like paradoxes (HLPs) and Hardy-Bell inequalities (HBIs) as well as Hardy inequality. First, the weak HLP (WHLP) is established, and an HBI is obtained for tripartite correlation tensors (CTs) with two inputs and two outcomes. Based on an existing Hardy inequality for an n-qubit pure state, a Hardy inequality is proven for n-partite Bell local CTs. Second, the WHLP and HBI are proven for tripartite states in terms of conditional probabilities. Our WHLP is theoretically and practically easier to construct and more efficient in checking Bell nonlocality compared to the usual HLP.
Abstract Usually, the verification of Bell nonlocality involves two main approaches: violation of specific inequalities and utilization of no-inequality methods. In this paper, we continue to develop the inequality methods by deducing the so-called ‘Hardy-Bell inequalities (HBIs)’ and ‘fault-tolerant Hardy paradoxes (FTHPs)’ for correlation tensors (CTs) with two inputs and general outcomes. We prove that the HBIs are necessary conditions for a CT to be Bell local and one of the FTHPs is sufficient condition for a CT to be Bell nonlocal. We demonstrate the effectiveness of HBIs in determining the nonlocality of CTs or quantum states when the classical Hardy paradox does not appear or a Bell inequality is not violated. Consequently, our methods can be utilized to explore more correlations having Bell nonlocality. Based on the obtained results, we find a neighborhood of a Hardy nonlocal state, in which all states are all Bell nonlocal.
Bell nonlocality of quantum states is an important resource in quantum information and then has various applications. It is usually detected by the violation of some Bell’s inequalities and the all-versus-nothing test. In the present paper, we aim to establish some mathematical methods for proving Bell nonlocality without inequalities, inspired by the work [Phys. Rev. Lett., 89, 080402 (2002)] regarding the GHZ paradox. For self-containedness, we recall the mathematical definition of Bell nonlocality proposed in [Sci. China-Phys. Mech. Astron. 62, 030311 (2019)] and then give some basic properties on it. Then we derive some necessary conditions for a multipartite state to be Bell local and obtain some sufficient conditions for a state to be Bell nonlocal in terms of “expectations” of local observables without invoking Bell inequalities. Unlike the standard approach to nonlocality detection based on violation of Bell inequalities, the obtained criteria are formulated in terms of certain relations for expectation values of local observables that are constructed from the well-known GHZ paradoxes.
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 advance the study of Hardy's paradox based on Bell's inequality. Our formalism is essentially equivalent to the ``logical Bell inequality'' formalism developed by Abramsky and Hardy, but ours is more easily applied to experimental tests. Remarkably, we find that not only for a two-qubit two-setting case but also for a two-qubit four-setting case, we can construct stronger Hardy-type paradoxes based on Bell's inequality, whose successful probabilities can attain four times and seven times larger than the original one, respectively, thus providing more friendly tests for experiment. Meanwhile, we experimentally test the stronger Hardy-type paradoxes in a two-qubit system. Within the experimental errors, the experimental results coincide with the theoretical predictions.
Bell showed 50 years ago that quantum theory is nonlocal via his celebrated inequalities, turning the issue of quantum nonlocality from a matter of taste into a matter of test. Years later, Hardy proposed a test for nonlocality without inequality, which is a kind of "something-versus-nothing" argument. Hardy's test for n particles induces an n-partite Bell's inequality with two dichotomic local measurements for each observer, which has been shown to be violated by all entangled pure states. Our first result is to show that the Bell-Hardy inequality arising form Hardy's nonlocality test is tight for an arbitrary number of parties, i.e., it defines a facet of the Bell polytope in the given scenario. On the other hand quantum theory is not that nonlocal since it forbids signaling and even not as nonlocal as allowed by non-signaling conditions, i.e., quantum mechanical predictions form a strict subset of the so called non-signaling polytope. In the scenario of each observer measuring two dichotomic observables, Fritz established a duality between the Bell polytope and the non-signaling polytope: tight Bell's inequalities, the facets of the Bell polytope, are in a one-to-one correspondence with extremal non-signaling boxes, the vertices of the non-signaling polytope. Our second result is to provide an alternative and more direct formula for this duality. As an example, the tight Bell-Hardy inequality gives rise to an extremal non-signaling box that serves as a natural multipartite generalization of Popescu-Rohrlich box.
Genuine multipartite nonlocality constitutes the strongest form of nonlocality, which is a key resource for many quantum communication and computational tasks. Standard methods for certifying nonlocality often require accessing contradictions in paradoxes or violations of Bell inequalities for composite quantum systems. However, the existing approaches become infeasible and cannot be adopted straightforwardly for a quantum network scenario, which usually possesses complex topological structure and many independent quantum sources. We have developed a simple and customizable strategy to achieve scalable, efficient, and flexible characterizations for various typical quantum network scenarios. The subtle something-versus-nothing contradiction in Hardy-type paradoxes without inequality allows us to substantiate genuine multipartite nonlocality in general quantum networks. Examples range from chain-type network to star-type network, with source connections of any pure entangled permutation symmetric multiqubit states, entangled two-qubit states, etc. The tools extend significantly our ability to certify genuine multipartite nonlocality in state-of-the-art network situations, and make a prominent step forward toward deeper understanding and practical depiction of quantum networks.
Bell showed 50 years ago that quantum theory is non-local via his celebrated inequalities, turning the issue of quantum non-locality from a matter of taste into a matter of test. Years later, Hardy proposed a test for non-locality without inequality, which is a kind of 'something-versus-nothing' argument. Hardyʼs test for n particles induces an n -partite Bellʼs inequality with two dichotomic local measurements for each observer, which has been shown to be violated by all entangled pure states. Our first result is to show that the Bell–Hardy inequality arising form Hardyʼs non-locality test is tight for an arbitrary number of parties, i.e., it defines a facet of the Bell polytope in the given scenario. On the other hand quantum theory is not that non-local since it forbids signaling and even not as non-local as allowed by non-signaling conditions, i.e., quantum mechanical predictions form a strict subset of the so called non-signaling polytope. In the scenario of each observer measuring two dichotomic observables, Fritz established a duality between the Bell polytope and the non-signaling polytope: tight Bellʼs inequalities, the facets of the Bell polytope, are in a one-to-one correspondence with extremal non-signaling boxes, the vertices of the non-signaling polytope. Our second result is to provide an alternative and more direct formula for this duality. As an example, the tight Bell–Hardy inequality gives rise to an extremal non-signaling box that serves as a natural multipartite generalization of Popescu–Rohrlich box. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to '50 years of Bell's theorem'.