We discuss the question of entanglement versus separability of pure quantum states in direct product Hilbert spaces, and the relevance of this issue to physics. Different types of separability may be possible, depending on the particular factorization of the Hilbert space. A given orthonormal basis set for a Hilbert space is defined to be of type (p,q) if p elements of the basis are entangled and q are separable, relative to a given bi-partite factorization of that space. We conjecture that not all basis types exist for a given Hilbert space. The phenomenon of entanglement is of central importance in the interpretation of quantum mechanics. Historically, entanglement was the focus of the famous Einstein-Podolsky-Rosen (EPR) paper [1], which suggested that standard quantum mechanics is an incomplete theory of physical reality. The central argument of the EPR paper was that more information about incompatible variables such as momentum and position could in principle be deduced about an entangled two particle quantum state than quantum mechanics permits, effectively giving information about each particle
We discuss the question of entanglement versus separability of pure quantum states in direct product Hilbert spaces, and the relevance of this issue to physics. Different types of separability may be possible, depending on the particular factorization of the Hilbert space. A given orthonormal basis set for a Hilbert space is defined to be of type (p,q) if p elements of the basis are entangled and q are separable, relative to a given bi-partite factorization of that space. We conjecture that not all basis types exist for a given Hilbert space. The phenomenon of entanglement is of central importance in the interpretation of quantum mechanics. Historically, entanglement was the focus of the famous Einstein-Podolsky-Rosen (EPR) paper [1], which suggested that standard quantum mechanics is an incomplete theory of physical reality. The central argument of the EPR paper was that more information about incompatible variables such as momentum and position could in principle be deduced about an entangled two particle quantum state than quantum mechanics permits, effectively giving information about each particle
We discuss the question of entanglement versus separability of pure quantum states in direct product Hilbert spaces, and the relevance of the issue to physics. Different types of separability may be possible, depending on the particular factorization of the Hilbert space. A given orthonormal basis set for a Hilbert space is defined to be of type ( p , q ) if p elements of the basis are entangled and q are separable, relative to a given bi-partite factorization of that space. We conjecture that not all basis types exist for a given Hilbert space.
In quantum mechanics, the general state describing two or more particles is a linear superposition of product states. Such a superposition is called entangled if it cannot be factored into just one product. When only two particles are entangled, the stage is set for Einstein-Podolsky-Rosen (EPR) discussions and Bell's proof that the EPR viewpoint contradicts quantum mechanics. If more than two particles are involved, new possibilities and phenomena arise. For example, the Greenberger, Horne, and Zeilinger (GHZ) disproof of EPR applies. Furthermore, as we point out, with three or more particles even entanglement itself can be an entangled property.
In classical mechanics, two (or more) systems that do not interact – that do not exert any kind of force on each other – are completely separated (see Sec. 1.1), i.e. experiments performed locally on one of them cannot in any way influence experiments performed locally on the other. Quantum mechanics, on the other hand, admits that there can be a form of interdependence even in absence of physical interaction. This type of correlation goes under the name of entanglement (see Def. 5.1: p. 183). We already know that entanglement means non-factorizability of the state vector describing a system with at least two different degrees of freedom. In this chapter, we shall see that this may be the case also for systems that are very far away (space-like distant) from each other and we shall learn many interesting consequences of this state of affairs. Recent developments show that one may entangle even particles that have never interacted with each other. The starting point of the following analysis is necessarily represented by the pioneering paper of Einstein, Podolsky, and Rosen, who inaugurated an incredible series of theoretical and experimental investigations right up to the present day that have confirmed the predictions of quantum mechanics. The “irony” of this history is that Einstein, Podolsky, and Rosen, EPR for short, aimed to present a definitive proof of the inconsistency of quantum mechanics relative to classical physical theory. In fact, they initiated one of the most prolific fields of modern science.
In Section 2.4 we learned that a composite quantum system, composed of two subsystems A and B , is associated with a tensor product space HA ? HB . Composite quantum systems have already played an important role in many instances in this text, especially in open systems and measurement models. In this chapter we dive deeper into tensor product spaces, discovering some strange implications of the quantum theory of composite quantum systems. As a result of its tensor product structure, quantum theory has embedded into it the phenomenon of entanglement , which is often seen as the foremost quantum feature. As early as in 1935 it puzzled Erwin Schrödinger, who introduced the German term Verschränkung [127] and Albert Einstein, who, together with Boris Podolski and Nathan Rosen, used the specific example of an entangled state to argue that quantum theory is incomplete [58]. In the 1960s John Bell demonstrated that the consequences of entanglement are incompatible with the Einstein– Podolsky–Rosen model of local realism [11], [12]. In recent years entanglement has been recognized as the resource for quantum information processing. Nowadays entanglement theory is a highly developed subject, and we can present only the mathematical basics. For the reader with a deeper interest in entanglement we recommend the recent reviews by Horodecki et al . [80] and Plenio et al . [118], which also cover the quantum information aspects of entanglement. To simplify our discussion we will assume that the Hilbert spaces are finite dimensional.
From a phenomenological and experimental viewpoint, quantum mechanics is remarkably successful in explaining effects and processes in the microscopic world. Recently, however, a growing body of literature has revisited the theory's own formal foundations, specifically addressing issues of self-consistency and completeness. As a major historical example of these foundational challenges, the Einstein-Podolsky-Rosen (EPR) argument famously claimed that the theory is incomplete. While many valid criticisms and refutations of the EPR logic exist, they generally rely on a combination of technical results and conceptual objections to EPR's interpretive assumptions, thus transcending the plain quantum framework itself. Motivated by these trends of examining the theory's structural limits, here we revisit the EPR argument. Focusing on elements essential to the EPR reasoning, we first analyze general quantum correlations for EPR states: (i) the fact that their observables are always associated with non-commuting operators, and (ii) the nature of the correlated information obtained through measurement. From these two points alone, and relying strictly on the core rules of quantum mechanics, we demonstrate how to overturn the alleged EPR incompleteness without invoking any extraneous propositions. Consequently, we show that the standard formalism alone suffices to resolve such type of skepticism regarding the theory's physical reach. This offers, at least in a paradigmatic instance, a powerful indication of a structurally well-founded, self-consistent quantum theory.
Quantum mechanics is formulated on a Hilbert space that is assumed to be separable. However, there seems to be no clear reason justifying this assumption. Does it have physical implications? We answer in the positive by proposing a test that witnesses the non-separability of the Hilbert space, at the expense of requiring measurements with uncountably many outcomes. In the search for a less elusive manifestation of non-separability, we consider the original Einstein-Podolsky-Rosen (EPR) state as a candidate for possessing nonlocal correlations stronger than any state in a separable Hilbert space. Nevertheless, we show that, under mild assumptions, this state is not a vector in any bipartite space, even non-separable, and therefore cannot be described within the standard Hilbert space formalism.