We consider the problem of detecting entanglement and nonlocality in one-dimensional (1D) infinite, translation-invariant (TI) systems when just near-neighbor information is available. This issue is deeper than one might think a priori, since, as we show, there exist instances of local separable states (classical boxes) which admit only entangled (nonclassical) TI extensions. We provide a simple characterization of the set of local states of multiseparable TI spin chains and construct a family of linear witnesses which can detect entanglement in infinite TI states from the nearest-neighbor reduced density matrix. Similarly, we prove that the set of classical TI boxes forms a polytope and devise a general procedure to generate all Bell inequalities which characterize it. Using an algorithm based on matrix product states, we show how some of them can be violated by distant parties conducting identical measurements on an infinite TI quantum state. All our results can be easily adapted to detect entanglement and nonlocality in large (finite, not TI) 1D condensed matter systems.
We consider the problem of detecting entanglement and nonlocality in one-dimensional (1D) infinite, translation-invariant (TI) systems when just near-neighbor information is available. This issue is deeper than one might think a priori, since, as we show, there exist instances of local separable states (classical boxes) which admit only entangled (nonclassical) TI extensions. We provide a simple characterization of the set of local states of multiseparable TI spin chains and construct a family of linear witnesses which can detect entanglement in infinite TI states from the nearest-neighbor reduced density matrix. Similarly, we prove that the set of classical TI boxes forms a polytope and devise a general procedure to generate all Bell inequalities which characterize it. Using an algorithm based on matrix product states, we show how some of them can be violated by distant parties conducting identical measurements on an infinite TI quantum state. All our results can be easily adapted to detect entanglement and nonlocality in large (finite, not TI) 1D condensed matter systems.
We consider the problem of certifying entanglement and nonlocality in one-dimensional macroscopic systems when just averaged near-neighbor correlators are available. We map this question to the characterization of the set of all quantum states (distributions) which admit a separable (classical) Translation-Invariant (TI) extension to infinitely many sites. We advance the first problem by constructing a family of witnesses which can detect entanglement in infinite TI states from the nearest-neighbor reduced density matrix. Along the way, we identify a set of separable twoqubit states which only admit entangled TI extensions. For nonlocality detection, we show that the set of classical TI boxes forms a polytope and devise a general procedure to generate all Bell inequalities which characterize it. Through a Matrix Product State-based method, we show how some of them can be violated by distant parties conducting identical measurements on an infinite TI quantum state.
Existing methods for deciding whether a bipartite quantum state is separable or entangled typically fall into one of two categories: they are either complete but require access to an explicit density matrix followed by numerical optimization, or they can be evaluated directly by measuring the quantum system but are incomplete, in the sense that they cannot detect all forms of entanglement. In this work, we overcome both limitations in a unified framework. First, we bypass numerical optimization by deriving separability criteria in the form of universal bounds on tensor powers of separable states. We prove that these bounds are complete: every entangled state violates them for sufficiently large tensor powers. Second, we explicitly construct a corresponding complete family of nonlinear entanglement witnesses, which can detect all forms of entanglement without requiring an explicit density matrix. The witnesses we construct are moreover basis-independent, in the sense that they are invariant under conjugation by local unitaries. Altogether, our results expand the toolbox for entanglement detection in arbitrary local dimensions in a manifestly invariant way.
Abstract In recent years there has been a growing interest in treating many-body systems as Bell scenarios, where lattice sites play the role of distant parties and only near-neighbor statistics are accessible. We investigate contextuality arising from three Bell scenarios in infinite, translation-invariant 1D models: nearest-neighbor with two dichotomic observables per site; nearest- and next-to-nearest neighbor with two dichotomic observables per site, and nearest-neighbor with three dichotomic observables per site. For the first scenario, we give strong evidence that it cannot exhibit contextuality, not even in non-signaling physical theories beyond quantum mechanics. For the second one, we identify several low-dimensional models that reach the ultimate quantum limits, paving the way for self-testing ground states of quantum many-body systems. For the last scenario, which generalizes the Heisenberg model, we give strong evidence that, in order to exhibit contextuality, the dimension of the local quantum system must be at least 3.
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 values that obey translational symmetry, and show that they reveal nonlocality in multipartite states. Also, by providing a particular example of a five-partite Bell inequality, we show that nonlocality can be detected from two-body correlators involving only nearest neighbours. Finally, we demonstrate that any translationally invariant Bell inequality can be maximally violated by a translationally invariant state and the same set of observables at all sites. We provide a numerical algorithm allowing one to seek for maximal violation of a translationally invariant Bell inequality. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘50 years of Bell’s theorem’.
Bound entanglement, being entangled yet not distillable, is essential to our understanding of the relations between nonlocality and entanglement besides its applications in certain quantum information tasks. Recently, bound entangled states that violate a Bell inequality have been constructed for a two-qutrit system, disproving a conjecture by Peres that bound entanglement is local. Here we construct this kind of nonlocal bound entangled state for all finite dimensions larger than two, making possible their experimental demonstration in most general systems. We propose a Bell inequality, based on a Hardy-type argument for nonlocality, and a steering inequality to identify their nonlocality. We also provide a family of entanglement witnesses to detect their entanglement beyond the Bell inequality and the steering inequality.
Bell inequalities and nonlocality have been widely studied in one-dimensional quantum systems. As a kind of quantum correlation, it is expected that bipartite nonlocality should be present in quantum systems, just as bipartite entanglement does. Surprisingly, for various models, two-qubit states do not violate Bell inequalities, i.e., they are local. Recently, it is realized that the results are related to the monogamy trade-off obeyed by bipartite Bell correlations, thus it is believed that for general translation invariant systems, two-qubit states should not violate the Bell inequality [Oliveira, Europhys. Lett. 100, 60004 (2012)]. In this Brief Report, we demonstrate that in perfect translation-invariant systems with an even number of sites, the Bell inequality can be violated. A nontrivial model is constructed to confirm the conclusion.