Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

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

Paolo Aniello

TL;DR

This work develops a dimension-agnostic framework for separability and entanglement in bipartite quantum systems by introducing cross states and the cross (projective) tensor product of trace classes. The Extended Cross Norm Criterion (ECNC) proves that separability is equivalent to the cross norm being 1, unifying finite- and infinite-dimensional cases, while entanglement is detected by a cross norm strictly greater than 1 and quantified via an extended real-valued entanglement function that coincides with the cross norm on the cross-state domain. The authors develop a rich decomposition theory (standard, Hermitian, optimal) for cross trace-class operators, establish universal bilinear maps and their canonical linearizations, and connect separability to barycentric decompositions and Bochner integrals over product states. These results provide a rigorous tensor-analytic foundation for entanglement in infinite-dimensional settings, linking operator-space geometry with measure-theoretic representations of separable states and offering a principled notion of finite entanglement across all dimensions.

Abstract

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.

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

TL;DR

This work develops a dimension-agnostic framework for separability and entanglement in bipartite quantum systems by introducing cross states and the cross (projective) tensor product of trace classes. The Extended Cross Norm Criterion (ECNC) proves that separability is equivalent to the cross norm being 1, unifying finite- and infinite-dimensional cases, while entanglement is detected by a cross norm strictly greater than 1 and quantified via an extended real-valued entanglement function that coincides with the cross norm on the cross-state domain. The authors develop a rich decomposition theory (standard, Hermitian, optimal) for cross trace-class operators, establish universal bilinear maps and their canonical linearizations, and connect separability to barycentric decompositions and Bochner integrals over product states. These results provide a rigorous tensor-analytic foundation for entanglement in infinite-dimensional settings, linking operator-space geometry with measure-theoretic representations of separable states and offering a principled notion of finite entanglement across all dimensions.

Abstract

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.
Paper Structure (32 sections, 82 theorems, 455 equations)

This paper contains 32 sections, 82 theorems, 455 equations.

Table of Contents

  1. Introduction
  2. Preliminaries and main notations
  3. Operators on Hilbert spaces
  4. A few facts and notations concerning normed and Banach spaces
  5. Linear spans, convex cones, convex hulls
  6. The algebraic tensor product
  7. Probability measures and standard Borel spaces
  8. Tools: tensor products, cross trace classes and cross states
  9. Introducing the relevant tensor products: Hilbert spaces and operators
  10. The natural tensor product of trace classes
  11. The projective tensor products
  12. Immersion maps, cross trace class operators and cross states
  13. The standard decomposition of a cross trace class operator
  14. The cross trace class and optimal decompositions
  15. Natural isometric embeddings and some consequences
  16. ...and 17 more sections

Key Result

Proposition 3.1

The pair $(\mathrm{span}\space\{\phi\otimes\psi\},\vartheta\colon\mathcal{H}\times\mathcal{J}\rightarrow \mathrm{span}\space\{\phi\otimes\psi\})$ is a realization of the algebraic tensor product of $\mathcal{H}$ and $\mathcal{J}$. In fact, the mapping extends to a linear isomorphism $\Theta\colon\mathrm{span}\space(\mathrm{ran}\space(\breve{\vartheta}))=\mathrm{span}\space\{\phi\mathop{\mathrm{\b

Theorems & Definitions (196)

  • Remark 2.1: The singular value decomposition
  • Remark 2.2
  • Definition 2.1
  • Remark 2.3
  • Remark 2.4
  • Proposition 3.1
  • Remark 3.1
  • Remark 3.2
  • Remark 3.3
  • Definition 3.1
  • ...and 186 more