A new class of entanglement measures

Oliver Rudolph

Published Sep 13, 2013• 67 citations

Abstract

Abstract We introduce new entanglement measures on the set of density operators on tensor product Hilbert spaces. These measures are based on the greatest cross norm on the tensor product of the sets of trace class operators on Hilbert space. We show that they satisfy all the basic requirements on entanglement measures discussed in the literature, including convexity, invariance under local unitary operations and non-increase under local quantum operations and classical communication. In the second part of this paper we discuss the uniqueness theorem for entanglement measures. We obtain a mathematically simple characterization of all functionals coinciding with the von Neumann reduced entropy on pure states based on the Khinchin-Faddeev axiomatization of Shannon entropy and give a physical interpretation of the axioms in terms of entanglement. We also discuss the uniqueness theorem in the operational approach and argue that the standard argument in favor of the uniqueness theorem for entanglement measures is not fully conclusive and that further axioms have to be added to the list of postulates. 1

Related papers

A new class of entanglement measures

Oliver Rudolph

We introduce new entanglement measures on the set of density operators on tensor product Hilbert spaces. These measures are based on the greatest cross norm on the tensor product of the sets of trace class operators on Hilbert space. We show that they satisfy the basic requirements on entanglement measures discussed in the literature, including convexity, invariance under local unitary operations and nonincrease under local quantum operations and classical communication.

arXiv:math-ph/0005011Journal of Mathematical PhysicsNov 1, 200127 citations

A uniqueness theorem for entanglement measures

Oliver Rudolph

We obtain a mathematically simple characterization of all functionals coinciding with the von Neumann reduced entropy on pure states based on the Khinchin–Faddeev axiomatization of Shannon entropy and give a physical interpretation of the axioms in terms of entanglement.

arXiv:quant-ph/0105104Journal of Mathematical PhysicsJun 1, 2001141 citations

On the notion of entanglement in Hilbert spaces

Александр Семенович Холево, Максим Евгеньевич Широков, Reinhard F. Werner

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

Russian Mathematical SurveysApr 30, 200547 citations

The cross states of a composite quantum system: separability and entanglement in any Hilbert space dimension

Paolo Aniello

We introduce a class of states of a composite quantum system, the so-called cross states, that turn out to play a major role in the theory of entanglement for a genuinely infinite-dimensional bipartite system. In the case where at least one of the Hilbert spaces of the bipartition is finite-dimensional, all states are cross states, whereas, in the genuinely infinite-dimensional setting where the dimension of both Hilbert spaces is not finite, the cross states form a trace-norm dense, convex, proper subset of the set of all states. In the latter case, the cross states can be regarded as those physical states that possess a finite amount of entanglement; accordingly, all separable states are of this kind. We prove that, for any Hilbert space dimension, the separable states can be characterized as those cross states that minimize a suitable norm, i.e., the projective norm associated with the projective tensor product of two trace classes; all other cross states are density operators belonging to the projective tensor product space. This is a generalization of the classical cross norm criterion of separability. Finally, we define an extended real-valued entanglement function and study its main properties. Coherently with the interpretation of cross states as finitely entangled states, this function is finite, and coincides with the projective norm, precisely on the cross states of the system.

arXiv:2602.18125Feb 20, 20260 citations

The uniqueness theorem for entanglement measures

Matthew J. Donald, Michał Horodecki, Oliver Rudolph

We explore and develop the mathematics of the theory of entanglement measures. After a careful review and analysis of definitions, of preliminary results, and of connections between conditions on entanglement measures, we prove a sharpened version of a uniqueness theorem which gives necessary and sufficient conditions for an entanglement measure to coincide with the reduced von Neumann entropy on pure states. We also prove several versions of a theorem on extreme entanglement measures in the case of mixed states. We analyze properties of the asymptotic regularization of entanglement measures proving, for example, convexity for the entanglement cost and for the regularized relative entropy of entangle ment.

arXiv:quant-ph/0105017Journal of Mathematical PhysicsSep 1, 2002204 citations

THE PROBLEM OF ENTANGLEMENT OF QUANTUM STATES

On Matem, Atica Argentina

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

Jan 1, 20080 citations