Composite Systems and Infinite-Dimensional Entanglement

Composite quantum mechanics combines several distinct mathematical operations: completing a tensor product, taking reduced states, forming convex mixtures, and choosing a representation for an infinite system. This chapter separates those operations and identifies which finite-dimensional conclusions survive when the Hilbert spaces are infinite-dimensional.

The physical introductions and practical finite-matrix calculations remain in Composite Systems and Entanglement. This chapter concentrates on convergence, domains, trace-norm closure, and exact theorem hypotheses.

Enter the chapter through Hilbert and trace structure

Begin with Hilbert Space as State Space, Compact Operators, and Hilbert–Schmidt Operators. The compact-operator theorem is the main ingredient in the infinite-dimensional Schmidt argument.

For mixed states, use Density Operators, Trace Norm and Operator Norm, and Trace and Partial Trace. These supply the normal-state setting and the topology in which approximations preserve all bounded measurement predictions.

The order below is a dependency route. The algebraic construction comes first even though the general tensor-product article is also a useful overview.

Construct and control a composite Hilbert space

1. Algebraic Tensor Products and Completion proves positivity of the product inner product and explains what completion adds. It also distinguishes the Hilbert tensor norm from the norm governing arbitrary bounded bilinear maps.
2. Hilbert Space Tensor Products extends bounded local operators, establishes their norm identities, and gives the domain of an unbounded operator acting on one factor.
3. Product States characterizes normal products through all bounded local correlations and proves trace-norm closure.

These pages supplement the canonical tensor-product treatment and product-state treatment, rather than replacing their physical composition rules.

Read the pure-state geometry from a compact operator

Schmidt Decomposition in Hilbert Space identifies a bipartite vector with a Hilbert–Schmidt map on a conjugate Hilbert space. Its singular values give a countable expansion and exact finite-rank error estimates.

Entangled States uses the largest coefficient to find the best product overlap, build a bounded witness, and analyze a selected local filter. Schmidt Decomposition Caveats then separates ordinary wave packets from delta kernels, vector decompositions from operator decompositions, and bipartite statements from multipartite claims.

A continuous coordinate does not require a continuous Schmidt index. A normalizable tensor vector still corresponds to a compact operator.

Pass from pure vectors to mixed states and limits

Separable and Entangled Mixed States defines separability as a trace-norm closed convex hull. It explains why some infinite-dimensional separable states require a probability-measure ensemble rather than an exact countable one.

Partial Trace Revisited applies the existing reduction theorem to repeated reductions, normal local channels, conditional remote marginals, and finite-subspace cutoffs.

Infinite-Dimensional Entanglement shows that entanglement is detected in a sufficiently rich finite local compression, while partial transpose may leave trace class. Entanglement Entropy Caveats addresses a different limiting problem: equal marginal entropies can both be infinite, and norm accuracy needs extra energy or tail control before it becomes entropy accuracy.

For operational selection of an entanglement measure, continue to Entanglement Measures. An exact mathematical distinction should not be confused with the cost of a preparation or detection protocol.

Distinguish exchange sectors from infinitely many factors

Symmetric and Antisymmetric Tensor Products constructs finite-particle permutation sectors and their normalization. Fock Spaces in Rigorous Language explains the direct sum of those sectors, including why normalizability does not imply finite particle-number moments.

Infinite Tensor Products instead fixes one reference vector per site and completes finite replacements. Its tail-overlap test and all-zero/all-one example show why one representation need not contain every infinite product preparation as a normal state.

The three constructions answer different questions: a fixed tensor power describes a fixed collection, a Fock direct sum permits varying finite particle number, and an infinite product describes indefinitely many specified factors relative to representation data.

References

• Dereziński, Jan, and Christian Gérard, Mathematics of Quantization and Quantum Fields, Cambridge University Press, 2013 — Hilbert tensors, exchange sectors, and Fock structure. Publisher.
• Holevo, Alexander S., Quantum Systems, Channels, Information: A Mathematical Introduction, second revised and expanded edition, De Gruyter, 2019 — normal composite states and infinite-dimensional information quantities. Publisher.
• von Neumann, John, “On Infinite Direct Products,” Compositio Mathematica 6, 1–77 (1939) — reference sectors and infinite tensor products. Journal archive.