For states in infinite dimensional Hilbert spaces entanglement quantities like the entanglement of distillation can become infinite. This leads naturally to the question, whether one system in such an infinitely entangled state can serve as a resource for tasks like the teleportation of arbitrarily many qubits. We show that appropriate states cannot be obtained by density operators in an infinite dimensional Hilbert space. However, using techniques for the description of infinitely many degrees of freedom from field theory and statistical mechanics, such states can nevertheless be constructed rigorously. We explore two related possibilities, namely an extended notion of algebras of observables, and the use of singular states on the algebra of bounded operators. As applications we construct the essentially unique infinite analogue of maximally entangled states, and the singular state used heuristically in the fundamental paper of Einstein, Rosen and Podolsky.
For states in infinite dimensional Hilbert spaces entanglement quantities like the entanglement of distillation can become infinite. This leads naturally to the question, whether one system in such an infinitely entangled state can serve as a resource for tasks like the teleportation of arbitrarily many qubits. We show that appropriate states cannot be obtained by density operators in an infinite dimensional Hilbert space. However, using techniques for the description of infinitely many degrees of freedom from field theory and statistical mechanics, such states can nevertheless be constructed rigorously. We explore two related possibilities, namely an extended notion of algebras of observables, and the use of singular states on the algebra of bounded operators. As applications we construct the essentially unique infinite analogue of maximally entangled states, and the singular state used heuristically in the fundamental paper of Einstein, Rosen and Podolsky.
For states in infinite dimensional Hilbert spaces entanglement quantities like the entanglement of distillation can become infinite. This leads naturally to the question, whether one system in such an infinitely entangled state can serve as a resource for tasks like the teleportation of arbitrarily many qubits. We show that appropriate states cannot be obtained by density operators in an infinite dimensional Hilbert space. However, using techniques for the description of infinitely many degrees of freedom from field theory and statistical mechanics, such states can nevertheless be constructed rigorously. We explore two related possibilities, namely an extended notion of algebras of observables, and the use of singular states on the algebra of bounded operators. As applications we construct the essentially unique infinite analogue of maximally entangled states, and the singular state used heuristically in the fundamental paper of Einstein, Rosen and Podolsky.
For states in infinite dimensional Hilbert spaces entanglement quantities like the entanglement of distillation can become infinite. This leads naturally to the question, whether one system in such an infinitely entangled state can serve as a resource for tasks like the teleportation of arbitrarily many qubits. We show that appropriate states cannot be obtained by density operators in an infinite dimensional Hilbert space. However, using techniques for the description of infinitely many degrees of freedom from field theory and statistical mechanics, such states can nevertheless be constructed rigorously. We explore two related possibilities, namely an extended notion of algebras of observables, and the use of singular states on the algebra of bounded operators. As applications we construct the essentially unique infinite analogue of maximally entangled states, and the singular state used heuristically in the fundamental paper of Einstein, Rosen and Podolsky.
We investigate entanglement measures in the infinite-dimensional regime. First, we discuss the peculiarities that may occur if the Hilbert space of a bi-partite system is infinite dimensional, most notably the fact that the set of states with infinite entropy of entanglement is trace-norm dense in state space, implying that in any neighbourhood of every product state lies an arbitrarily strongly entangled state. The starting point for a clarification of this counterintuitive property is the observation that if one imposes the natural and physically reasonable constraint that the mean energy is bounded from above, then the entropy of entanglement becomes a trace-norm continuous functional. The considerations will then be extended to the asymptotic limit, and we will prove some asymptotic continuity properties. We proceed by investigating the entanglement of formation and the relative entropy of entanglement in the infinite-dimensional setting. Finally, we show that the set of entangled states is still trace-norm dense in state space, even under the constraint of a finite mean energy.
Quantum systems with infinite degrees of freedom exhibit properties, like relaxation to equilibrium, phase-transitions and the existence of inequivalent representations of the CAR and CCR , that can satisfactorily be dealt with by means of the methods and techniques of algebraic quantum statistical mechanics [80, 81, 130]. The point of departure from standard quantum mechanics, is that in an infinite dimensional context one is usually provided with the algebraic properties of the relevant observables, but, in general, not with an a priori given representation on a Hilbert space; the latter rather depends on to the physical properties of the systems under consideration [324, 342, 343].
A density operator (state) on a tensor product H ⊗ K of Hilbert spaces is separable if it is in the convex closure of the subset of all tensor product states. Non-separable states are called entangled. These concepts are of great importance in quantum information theory, but they have been studied in depth only in the finite-dimensional context [1]. In this note we give a general integral representation for separable states and provide the first example of separable states that are not countably decomposable. We also prove a structure theorem for quantum communication channels that are entanglement-breaking, generalizing the finite-dimensional result of [2]. In the finite-dimensional case such channels can be characterized as having a Stinespring–Kraus representation (3) with operators Vj of rank 1. The above example implies the existence of infinite-dimensional entanglement-breaking channels having no such representation. In what follows, H, K ,... are separable Hilbert spaces, T(H) is the Banach space of trace-class operators and S(H) is the convex subset of all density operators on H. For brevity we shall also call them states, having in mind that a density operator ρ uniquely determines a normal state on the algebra B(H) of all bounded operators on H. Equipped with the trace-norm topology, S(H) is a complete separable metric space. If π is a Borel probability measure on S(H), then the Bochner integral
G.A. RAGGIO Abstract. We give a brief and incomplete survey of the problem of entan- glement of of composite quantum systems. 1960's - 1980's there were serious attempts (all of them anticipated by J. von Neu- mann) to do away with the underlying Hilbert space and work directly with the abstract algebraic structure modeled by C � -algebras or W � -algebras (abstract von Neumann algebras)(1, 2, 3). This was particularly fruitful when dealing with sys- tems of infinitely many degrees of freedom (quantum fields, thermodynamic limits, etc.). The problem of entanglement which we want to address here can be formu- lated quite straightforwardly in this algebraic framework of quantum theory. But we will stick to the quantum mechanics of the 1930's and keep the Hilbert space. Mainly because the results which are available concern the finite dimensional case. The states of the quantum system specified by H are associated with the lin- ear functionals f : B(H) → C which are positive (i.e., f(a) ≥ 0 for all positive a ∈ B(H)), normalized (i.e., f(1) = 1) and normal (i.e., f(supn{an}) = supnf(an) for any increasing family of selfadjoint operators {an : n = 1,2, � � � } which is uni- formly bounded). It is this normality condition which guarantees that the are in one-to-one correspondence with positive trace class operators d of unit trace (density operators) via the formula B(H) ∋ a 7→ tr(da). This gives an extremely convenient representation of and one often confuses the state f as a linear functional with the associated density operator d for which f(a) = tr(da). States are automatically continuous, and satisfy f(a � ) = f(a). The complex number f(a) is interpreted probabilistically as the expected value of the observable associated with the operator a when the system is in the state f. The normalization condi- tion is thus necessary for the consistency of this interpretation and the normality condition is seen as a non-commutative version of the �-additivity of probability measures. Clearly states, which we will denote by �(H), form a convex set which is closed