本文首次提出基于非稳定器状态的确定性全能无物型 Bell 非定域性证明，打破了以往依赖稳定器状态的传统，丰富了无不等式的 Bell 非定域性证明家族。
摘要：
Bell 非定域性的全能无物证明是一种无需不等式的主流 Bell 定理演示。此类证明分为确定性全能无物证明和概率性全能无物证明，两者均被广泛研究。迄今为止，以往所有 Bell 非定域性的确定性全能无物证明均基于稳定器状态构建。为打破这一传统，本文首次提出了由非稳定器状态诱导的确定性全能无物证明。这些结果不仅极大丰富了无不等式的 Bell 非定域性演示家族，还可能为某些量子信息处理提供有用资源。
英文摘要：
The all-versus-nothing proof of Bell nonlocality is a kind of mainstream demonstration of Bell's theorem without inequalities. Two kinds of such proofs, called the deterministic all-versus-nothing proof and the probabilistic all-versus-nothing proof, are both widely investigated. So far, all previous deterministic all-versus-nothing proofs of Bell nonlocality are constructed based on stabilizer states. To break with this tradition, some deterministic all-versus-nothing proofs induced from non-stabilizer states are firstly presented in this work. These results not only can greatly enrich the family of the demonstration of Bell nonlocality without inequalities, but also may provide us some useful resources in certain quantum information processing.
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 report the experimental realization and the characterization of polarization and momentum hyperentangled two photon states, generated by a new parametric source of correlated photon pairs. By adoption of these states an "all versus nothing" test of quantum mechanics was performed. The two photon hyperentangled states are expected to find at an increasing rate a widespread application in state engineering and quantum information. PACS: 03.65.Ud, 03.67.Mn, 42.65. Lm
We prove that magic states from the Clifford hierarchy give optimal solutions for tasks involving nonlocality and entropic uncertainty with respect to Pauli measurements. For both the nonlocality and uncertainty tasks, stabilizer states are the worst possible pure states so our solutions have an operational interpretation as being highly non-stabilizer. The optimal strategy for a qudit version of the Clauser-Horne-Shimony-Holt (CHSH) game in prime dimensions is achieved by measuring maximally entangled states that are isomorphic to single-qudit magic states. These magic states have an appealin…
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…
An obstacle affecting any proposal for a topological quantum computer based on Ising anyons is that quasiparticle braiding can only implement a finite (non-universal) set of quantum operations. The computational power of this restricted set of operations (often called stabilizer operations) has been studied in quantum information theory, and it is known that no quantum-computational advantage can be obtained without the help of an additional non-stabilizer operation. Similarly, a bipartite two-qubit system based on Ising anyons cannot exhibit non-locality (in the sense of violating a Bell ineq…
In practical quantum networks, a variety of multi-qubit stabilized states emitted from independent sources are distributed among the agents, and the correlations across the entire network can be derived from each agent's local measurements on the shared composite quantum systems. To reveal the Bell non-locality in such cases as a quantum feature, minimal knowledge of the emitted stabilizer state is required. Here, we demonstrate that knowing the stabilizing and logical operators indeed provides a new way of exploring Bell non-locality in quantum networks. For the qubit distribution in quantum …
It is shown that the Greenberger-Horne-Zeilinger theorem can be generalized to the case with only two entangled particles. The reasoning makes use of two photons which are maximally entangled both in polarization and in spatial degrees of freedom. In contrast to Cabello's argument of "all versus nothing" nonlocality with four photons [Phys. Rev. Lett. 87, 010403 (2001)], our proposal to test the theorem can be implemented with linear optics and thus is well within the reach of current experimental technology.
The usual entanglement swapping protocol can entangle two particles that never interact. Here we demonstrate an all-versus-nothing violation of local realism for a partial entanglement swapping process. A Clauser-Horne-Shimony-Holt-type inequality for two particles entangled by entanglement swapping is proposed for a practical experiment and can be violated quantum mechanically up to 4 beyond Cirel'son's bound 2sqr(2). Our result uncovers the intriguing nonlocal character of entanglement swapping and may lead to a conclusive (loophole-free) test of local realism versus quantum mechanics. The e…
Quantum nonlocality is typically assigned to systems of two or more well separated particles, but nonlocality can also exist in systems consisting of just a single particle, when one considers the subsystems to be distant spatial field modes. Single particle nonlocality has been confirmed experimentally via a bipartite Bell inequality. In this paper, we introduce an N-party Hardy-like proof of impossibility of local elements of reality and a Bell inequality for local realistic theories for a single particle superposed symmetrical over N spatial field modes (i.e. a N qubit W state). We show tha…
In comparison with entanglement and Bell nonlocality, Einstein-Podolsky-Rosen steering is a newly emerged research topic and in its incipient stage. Although Einstein-Podolsky-Rosen steering has been explored via violations of steering inequalities both theoretically and experimentally, the known inequalities in the literatures are far from well-developed. As a result, it is not yet possible to observe Einstein-Podolsky-Rosen steering for some steerable mixed states. Recently, a simple approach was presented to identify Einstein-Podolsky-Rosen steering based on all-versus-nothing argument, off…
In a recent work [Phys. Rev. Lett. {\bf 98}, 140402 (2007)] we defined ``steering'', a type of quantum nonlocality that is logically distinct from both nonseparability and Bell-nonlocality. In the bipartite setting, it hinges on the question of whether Alice can affect Bob's state at a distance through her choice of measurement. More precisely and operationally, it hinges on the question of whether Alice, with classical communication, can convince Bob that they share an entangled state, under the circumstances that Bob trusts nothing that Alice says. We argue that if she can, then this demonst…
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 …
The 1964 theorem of John Bell shows that no model that reproduces the predictions of quantum mechanics can simultaneously satisfy the assumptions of locality and determinism. On the other hand, the assumptions of \emph{signal locality} plus \emph{predictability} are also sufficient to derive Bell inequalities. This simple theorem, previously noted but published only relatively recently by Masanes, Acin and Gisin, has fundamental implications not entirely appreciated. Firstly, nothing can be concluded about the ontological assumptions of locality or determinism independently of each other -- it…
Quantum nonlocality is presented often as the most remarkable and inexplicable phenomenon known to modern science which was confirmed in the experiments proving the violation of Bell Inequalities (BI). It has been known already for a long time that the probabilistic models used to prove BI for spin polarization correlation experiments (SPCE) are incompatible with the experimental protocols of SPCE. In particular these models use a common probability space together with joint probability distributions for various incompatible coincidence experiments and/or conditional independence (Bell's local…
Bell's theorem is 50 years old. Still there is a controversy about its implications. Much of it has its roots in confusion regarding the premises from which the theorem can be derived. Some claim that a derivation of Bell's inequalities requires just locality assumption, and nothing more. Violations of the inequalities are then interpreted as ``nonlocality'' or ``quantum nonlocality''. We show that such claims are unfounded and that every derivation of Bell's inequalities requires a premise -- in addition to locality and freedom of choice -- which is either assumed tacitly, or unconsciously, o…
