Bell inequality with self-testing property has played an important role in quantum information field with both fundamental and practical applications. However, it is generally challenging to find Bell inequalities with self-testing property for multipartite states and actually there are not many known candidates. In this work, we propose a systematical framework to construct Bell inequalities from stabilizers which are maximally violated by general stabilizer states, with two observables for each local party. We show that the constructed Bell inequalities can self-test any stabilizer state which is essentially device-independent, if and only if these stabilizers can uniquely determine the state in a device-dependent manner. This bridges the gap between device-independent and device-dependent verification methods. Our framework can provide plenty of Bell inequalities for self-testing stabilizer states. Among them, we give two families of Bell inequalities with different advantages: (1) a family of Bell inequalities with a constant ratio of quantum and classical bounds using 2N correlations, (2) Single pair inequalities improving on all previous robustness self-testing bounds using N+1 correlations, which are both efficient and suitable for realizations in multipartite systems. Our framework can not only inspire more fruitful multipartite Bell inequalities from conventional verification methods, but also pave the way for their practical applications.
We find an interesting relationship between multipartite bound entangled states and the stabilizer formalism. We prove that if a set of commuting operators from the generalized Pauli group on $n$ qudits satisfy certain constraints, then the maximally mixed state over the subspace stabilized by them is an unlockable bound entangled state. Moreover, the properties of this state, such as symmetry under permutations of parties, undistillability and unlockability, can be easily explained from the stabilizer formalism without tedious calculation. In particular, the four-qubit Smolin state and its re…
Let $|Ψ>$ be an arbitrary stabilizer state distributed between three remote parties, such that each party holds several qubits. Let $S$ be a stabilizer group of $|Ψ>$. We show that $|Ψ>$ can be converted by local unitaries into a collection of singlets, GHZ states, and local one-qubit states. The numbers of singlets and GHZs are determined by dimensions of certain subgroups of $S$. For an arbitrary number of parties $m$ we find a formula for the maximal number of $m$-partite GHZ states that can be extracted from $|Ψ>$ by local unitaries. A connection with earlier introduced measures of multipa…
We propose a scheme of multipartite entanglement distillation driven by a complementary pair of stabilizer measurements, to distill directly a wider range of states beyond the stabilizer code states (such as the Greenberger-Horne-Zeilinger states). We make our idea explicit by constructing a recurrence protocol for the 3-qubit W state. Noisy W states resulting from typical decoherence can be directly purified in a few steps, if their initial fidelity is larger than a threshold. For general input mixed states, we observe distillations to hierarchical fixed points, i.e., not only to the W state …
We study the relation between distillability of multipartite states and violation of Bell's inequality. We prove that there exist multipartite bound entangled states (i.e. non-separable, non-distillable states) that violate a multipartite Bell inequality. This implies that (i) violation of Bell's inequality is not a sufficient condition for distillability and (ii) some bound entangled states cannot be described by a local hidden variable model.
We present generic Bell inequalities for multipartite multi-dimensional systems. The inequalities that any local realistic theories must obey are violated by quantum mechanics for even-dimensional multipartite systems. A large set of variants are shown to naturally emerge from the generic Bell inequalities. We discuss particular variants of Bell inequalities, that are violated for all the systems including odd-dimensional systems.
The spectral decomposition of all (n,2,2) Bell operators ($2^{2^n}$ in number, $n \ge 2$), as introduced by Werner and Wolf, is done. Its implications on the characterization of Bell operators as probes of entanglement are considered in detail.
A derivation of the full set of Bell inequalities involving correlation functions, for two parties, with binary observables, and three possible local settings. The procedure can be extended straightforwardly to multiparty correlations.
We show that measuring pairs of qubits in the Bell basis can be used to obtain a simple quantum algorithm for efficiently identifying an unknown stabilizer state of n qubits. The algorithm uses O(n) copies of the input state and fails with exponentially small probability.
We present a set of Bell inequalities for multiqubit quantum systems. These Bell inequalities are shown to be able to detect multiqubit entanglement better than previous Bell inequalities such as Werner-Wolf-Zukowski- Brukner ones. Computable formulas are presented for calculating the maximal violations of these Bell inequalities for any multiqubit states.
We derive a multipartite generalized Bell inequality which involves the entire range of settings for each of the local observers. Especially, it is applied to show non-local behavior of a six-qubit mixture of Greenberger-Horne-Zeilinger correlations stronger than previous Bell inequalities. For certain noise admixture to the correlations an explicit local realistic model exists in the case of a standard Bell experiment. Bell experiments with many local settings reveal the non-locality of the state. It turns out that the new inequality is more stringent than many other Bell inequalities in the …
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…
In this work, we present a new class of genuine multipartite Bell inequalities, that is particularly designed for multipartite device-independent (DI) quantum key distribution (QKD), also called DI conference key agreement. We prove the classical bounds of this inequality, discuss how to maximally violate it and show its usefulness by calculating achievable conference key rates via the violation of this Bell inequality. To this end, semidefinite programming techniques based on [Nat. Commun. 2, 238 (2011)] are employed and extended to the multipartite scenario. Our Bell inequality represents a …
Local measurements acting on entangled quantum states give rise to a rich correlation structure in the multipartite scenario. We introduce a versatile technique to build families of Bell inequalities witnessing different notions of multipartite nonlocality for any number of parties. The idea behind our method is simple: a known Bell inequality satisfying certain constraints, for example the Clauser-Horne-Shimony-Holt inequality, serves as the $seed$ to build new families of inequalities for more parties. The constructed inequalities have a clear operational meaning, capturing an essential feat…
Genuinely entangled subspaces are a class of subspaces in the multipartite Hilbert spaces that are composed of only genuinely entangled states. They are thus an interesting object of study in the context of multipartite entanglement. Here we provide a construction of multipartite subspaces that are not only genuinely entangled but also fully non-positive-partial-transpose (NPT) in the sense that any mixed state supported on them has non-positive partial transpose across any bipartition. Our construction originates from the stabilizer formalism known for its use in quantum error correction. To …
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…
The problem of closing the detection loophole in Bell tests is investigated in the presence of a limited number of efficient detectors using emblematic multipartite quantum states. To this end, a family of multipartite Bell inequalities is introduced basing on local projective measurements conducted by $N-k$ parties and applying a $k$-party Bell inequality on the remaining parties. Surprisingly, we find that most of the studied pure multipartite states involving e.g. cluster states, the Dicke states, and the Greenberger-Horne-Zeilinger states can violate our inequalities with only the use of t…
In this paper, we define the return operator, the cross product operator and the cross Bell bases. Using the cross Bell bases, we give a protocol of teleportation of arbitrary multipartite qubit entanglement, this scheme is a quite natural generalization of the BBCJPW scheme. We find that this teleportation, in fact, is essentially determined by the teleportation of every single unknown qubit state as in the original scheme of BBCJPW. The calculation in detail is given for the case of tripartite qubit.
We propose a framework to analyze linear optical circuits based on an analogy with stabilizer formalism in quantum circuits, which provides efficiently computable formulas related to state discriminations. Hence, we analyze a Bell-state discrimination scheme with linear optics and ancillary single photons. With an increasing number of ancilla photons, the success probability of Bell-state discrimination has a maximum of $\frac{403}{512} \simeq 0.787$ at $28$ ancilla photons. By contrast, the corresponding two-qubit measurement asymptotically approaches a maximally entangling measurement.
We show that the rich structure of multipartite entanglement can be tested following a device-independent approach. Specifically we present Bell inequalities for distinguishing between different types of multipartite entanglement, without placing any assumptions on the measurement devices used in the protocol, in contrast with usual entanglement witnesses. We first address the case of three qubits and present Bell inequalities that can be violated by W states but not by GHZ states, and vice versa. Next, we devise 'sub-correlation Bell inequalities' for any number of parties, which can provably…
We derive tight Bell's inequalities for N>2 observers involving more than two alternative measurement settings. We give a necessary and sufficient condition for a general quantum state to violate the new inequalities. The inequalities are violated by some classes of states, for which all standard Bell's inequalities with two measurement settings per observer are satisfied.
We generalize the correlation functions of the Clauser-Horne-Shimony-Holt (CHSH) inequality to multipartite d-dimensional systems. All the Bell inequalities based on this generalization take the same simple form as the CHSH inequality. For small systems, numerical results show that the new inequalities are tight and we believe this is also valid for higher dimensional systems. Moreover, the new inequalities are relevant to the previous ones and for bipartite system, our inequality is equivalent to the Collins-Gisin-Linden-Masser-Popescu (CGLMP) inequality.
We report on the experimental violation of multipartite Bell inequalities by entangled states of trapped ions. First we consider resource states for measurement-based quantum computation of between 3 and 7 ions and show that all strongly violate a Bell-type inequality for graph states, where the criterion for violation is a sufficiently high fidelity. Second we analyze GHZ states of up to 14 ions generated in a previous experiment using stronger Mermin-Klyshko inequalities, and show that in this case the violation of local realism increases exponentially with system size. These experiments rep…
We present a set of Bell inequalities which are sufficient and necessary for separability of general pure multipartite quantum states in arbitrary dimensions. The relations between Bell inequalities and distillability are also studied. We show that any quantum states that violate one of these Bell inequalities are distillable.
Bell inequalities are natural tools that allow one to certify the presence of nonlocality in quantum systems. The known constructions of multipartite Bell inequalities contain, however, correlation functions involving all observers, making their experimental implementation difficult. The main purpose of this work is to explore the possibility of witnessing nonlocality in multipartite quantum states from the easiest-to-measure quantities, that is, the two-body correlations. In particular, we determine all three and four-partite Bell inequalities constructed from one and two-body expectation val…
Quantum correlations arising in Bell experiments, involving a physical source that emits a quantum state to a number of observers, have been intensively studied over the last decades. Much less is known about the nature of quantum correlations arising in network structures beyond the Bell experiments. Such networks can involve many independent sources emitting states to observers in accordance with the network configuration. Here, we will study classical and quantum correlations in a family of networks which can be regarded as compositions of several independent multipartite Bell experiments c…
As with entanglement, different forms of Bell nonlocality arise in the multipartite scenario. These can be defined in terms of relaxations of the causal assumptions in local hidden-variable theories. However, a characterisation of all the forms of multipartite nonlocality has until now been out of reach, mainly due to the complexity of generic multipartite causal models. Here, we employ the formalism of Bayesian networks to reveal connections among different causal structures that make a both practical and physically meaningful classification possible. Our framework holds for arbitrarily many …
We study multipartite Bell nonlocality in a framework native of multipartite Einstein-Podolsky-Rosen (EPR) steering scenarios with a single trusted measurement device. We derive a closed-form necessary and sufficient criterion for systems composed of a qubit and N-1 untrusted black-box measurement devices to violate -- under general dichotomic measurements on the qubit -- a generic Bell inequality from a broad family of linear inequalities with arbitrarily many outputs for the N-1 untrusted devices and inputs for all N parties. The optimal quantum measurements for maximal violation are also ob…
Wigner's argument inferring Bell-type inequality for the EPR-Bohm entangled state is generalized here for any N-partite state. This is based on assuming for the relevant dichotomic observables the existence of the overall joint probability distributions, satisfying the locality condition, that would yield the measurable marginal probabilities. For any N, such Generalized Wigner's Inequality (GWI) is violated by quantum mechanics for all pure entangled states. The efficacy of GWI is probed, comparing with the Seevinck-Svetlichny multipartite Bell-type inequality, by calculating threshold visibi…
Despite the fundamental importance of quantum entanglement in many-body systems, our understanding is mostly limited to bipartite situations. Indeed, even defining appropriate notions of multipartite entanglement is a significant challenge for general quantum systems. In this work, we initiate the study of multipartite entanglement in a rich, yet tractable class of quantum states called stabilizer tensor networks. We demonstrate that, for generic stabilizer tensor networks, the geometry of the tensor network informs the multipartite entanglement structure of the state. In particular, we show t…
The violations of Bell inequalities by measurements on quantum states give rise to the phenomenon of quantum non-locality and express the advantage of using quantum resources over classical ones for certain information-theoretic tasks. The relative degree of quantum violations has been well studied in the bipartite scenario and in the multipartite scenario with respect to fully local behaviours. However, the multipartite setting entails a more complex classification in which different notions on non-locality can be established. In particular, genuine multipartite non-local distributions appreh…
This letter presents quantum mechanical inequalities which distinguish, for systems of $N$ spin-$\half$ particles ($N>2$), between fully entangled states and states in which at most $N-1$ particles are entangled. These inequalities are stronger than those obtained by Gisin and Bechmann-Pasquinucci [Phys.\ Lett. A {\bf 246}, 1 (1998)] and by Seevinck and Svetlichny [quant-ph/0201046].
In this paper, we define a cross product operator and construct the cross Bell basis, by use this basis and Bell measurements we give a simple scheme of the teleportation of arbitrary multipartite qubit entanglement.
We investigate the problem of closing the detection loophole in multipartite Bell tests, and show that the required detection efficiencies can be significantly lowered compared to the bipartite case. In particular, we present Bell tests based on n-qubit Greenberger-Horne-Zeilinger states, which can tolerate efficiencies as low as 38% for a reasonable number of parties and measurements. Even in the presence of a significant amount of noise, efficiencies below 50% can be tolerated, which is encouraging given recent experimental progress. Finally we give strong evidence that, for a sufficiently l…
We show that violation of genuine multipartite Bell inequalities can be obtained with sampled, probabilistic phase space methods. These genuine Bell violations cannot be replicated if any part of the system is described by a local hidden variable theory. The Bell violations are simulated probabilistically using quantum phase-space representations. We treat mesoscopically large Greenberger-Horne-Zeilinger (GHZ) states having up to 60 qubits, using both a multipartite SU(2) Q-representation and the positive P-representation. Surprisingly, we find that sampling with phase-space distributions can …
We show that arbitrary functions of continuous variables, e.g. position and momentum, can be used to generate tests that distinguish quantum theory from local hidden variable theories. By optimising these functions, we obtain more robust violations of local causality than obtained previously. We analytically calculate the optimal function and include the effect of nonideal detectors and noise, revealing that optimized functional inequalities are resistant to standard forms of decoherence. These inequalities could allow a loophole-free Bell test with efficient homodyne detection.
In this work we investigate the probability of violation of local realism under random measurements in parallel with the strength of these violations as described by resistance to white noise admixture. We address multisetting Bell scenarios involving up to 7 qubits. As a result, in the first part of this manuscript we report statistical distributions of a quantity reciprocal to the critical visibility for various multipartite quantum states subjected to random measurements. The statistical relevance of different classes of multipartite tight Bell inequalities violated with random measurements…
For any finite number of parts, measurements and outcomes in a Bell scenario we estimate the probability of random $N$-qu$d$it pure states to substantially violate any Bell inequality with uniformly bounded coefficients. We prove that under some conditions on the local dimension the probability to find any significant amount of violation goes to zero exponentially fast as the number of parts goes to infinity. In addition, we also prove that if the number of parts is at least 3, this probability also goes to zero as the the local Hilbert space dimension goes to infinity.
Dür [Phys. Rev. Lett. {\bf 87}, 230402 (2001)] constructed $N$-qubit bound entangled states which violate a Bell inequality for $N\ge 8$, and his result was recently improved by showing that there exists an $N$-qubit bound entangled state violating the Bell inequality if and only if $N\ge 6$ [Phys. Rev. A {\bf 79}, 032309 (2009)]. On the other hand, it has been also shown that the states which Dür considered violate Bell inequalities different from the inequality for $N\ge 6$. In this paper, by employing different forms of Bell inequalities, in particular, a specific form of Bell inequalities …
Derivation of the full set of Bell inequalities involving correlation functions, for two parties, with binary observables, and N possible local settings is not as easy as it seemed. The proof of v1 is wrong. Additionaly one can find a counterexample, which will be presented soon. Thus our thesis is dead. Still the series of Bell inequalities discussed in the manuscript (v1) form a necessary condition for local realism, and are tight. They are tight and complete (sufficient) only for N=3 settings per observer (as shown in quant-ph/0611086, fortunately using an entirely different approach).
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 derive tight quadratic inequalities for all kinds of hybrid separable-inseparable $n$-particle density operators on an arbitrary dimensional space. This methodology enables us to truly derive a tight quadratic inequality as tests for full $n$-partite entanglement in various Bell-type correlation experiments on the systems that may not be identified as a collection of qubits, e.g., those involving photons measured by incomplete detectors. It is also proved that when the two measured observables are assumed to precisely anti-commute, a stronger quadratic inequality can be used as a witness of…
We construct a set of 2^(2^n) independent Bell correlation inequalities for n-partite systems with two dichotomic observables each, which is complete in the sense that the inequalities are satisfied if and only if the correlations considered allow a local classical model. All these inequalities can be summarized in a single, albeit non-linear inequality. We show that quantum correlations satisfy this condition provided the state has positive partial transpose with respect to any grouping of the n systems into two subsystems. We also provide an efficient algorithm for finding the maximal quantu…
Quantum correlations in observables of multiple systems not only are of fundamental interest, but also play a key role in quantum information processing. As a signature of these correlations, the violation of Bell inequalities has not been demonstrated with multipartite hybrid entanglement involving both continuous and discrete variables. Here we create a five-partite entangled state with three superconducting transmon qubits and two photonic qubits, each encoded in the mesoscopic field of a microwave cavity. We reveal the quantum correlations among these distinct elements by joint Wigner tomo…
The stabilizer group of an n-qubit state ψis the set of all matrices of the form g=g_1\otimes\cdots\otimes g_n, with g_1,...,g_n being any 2x2 invertible complex matrices, that satisfy gψ=ψ. We show that for 5 or more qubits, except for a set of states of zero measure, the stabilizer group of multipartite entangled states is trivial; that is, containing only the identity element. We use this result to show that for 5 or more qubits, the action of deterministic local operations and classical communication (LOCC) can almost always be simulated simply by local unitary (LU) operations. This proves…
Tight and self-testing multipartite quantum Bell inequalities from the renormalization group
Institute for Quantum Optics and Quantum Information (IQOQI) Vienna Austrian Academy of Sciences（奥地利科学院维也纳量子光学与量子信息研究所）；Institute for Theoretical Physics, Johannes Kepler University Linz（林茨约翰内斯开普勒大学理论物理研究所）；Department of Engineering and Computer Sciences, Hamburg University of Applied Sciences（汉堡应用科学大学工程与计算机科学系）
Techniques developed for device-independent characterizations allow one to certify certain physical properties of quantum systems without assuming any knowledge of their internal workings. Such a certification, however, often relies on the employment of device-independent witnesses catered for the particular property of interest. In this work, we consider a one-parameter family of multipartite, two-setting, two-outcome Bell inequalities and demonstrate the extent to which they are suited for the device-independent certification of genuine many-body entanglement (and hence the entanglement dept…
Recently, it was demonstrated by Son et al., Phys. Rev. Lett. \textbf{102}, 110404 (2009), that a separable bipartite continuous variable quantum system can violate the Clauser-Horne-Shimony-Holt (CHSH) inequality via operationally local transformations. Operationally local transformations are parameterized only by local variables, however in order to allow violation of the CHSH inequality a maximally entangled ancilla was necessary. The use of the entangled ancilla in this scheme caused the state under test to become dependent on the measurement choice one uses to calculate the CHSH inequalit…
