Quantum Information and Entanglement in QFT

Quantum information in QFT studies how distinguishability, entanglement, channels, recovery, modular flow, and scrambling are defined when degrees of freedom are local quantum fields. The continuum changes the question: a spatial region is naturally assigned an algebra of observables, often not a tensor factor with a density matrix. This guide covers algebraic and regulated quantities with operational or invariant content; it excludes qubit analogies that silently discard ultraviolet, gauge, or causal structure.

Evidence cutoff. 11 August 2026.

Required background. Choosing a continuum subsystem distinguishes algebraic, split, and regulated assignments; regions and local algebras supplies isotony, causal complement, and net structure.

Helpful background. The split property explains approximate tensor products with a collar, Araki relative entropy supplies a continuum distinguishability measure, modular Hamiltonian domains prevents formal logarithms of nonexistent regional density matrices, and microcausality fixes the causal compatibility condition.

Information lives in algebras, states, and channels

Program	Well-defined target	Principal evidence or theorem	Main caveat
continuum entanglement	relative entropy, mutual information for separated regions, universal entropy terms	regulator cancellation, monotonicity, replica or algebraic agreement	bare regional entropy is generally UV divergent
modular theory	modular operator/flow, inclusions, relative modular data	exact wedge or CFT geometries, operator-algebra theorems	generic modular flow is nonlocal and hard to construct
relativistic channels	completely positive maps between declared algebras	causal propagation, detector models, energy constraints	subsystem choice and localization cost matter
scrambling and recovery	OTOCs, relative entropy, recovery fidelity, operator growth	solvable models, bounds, cross-probe consistency	no single scrambling timescale is universal
gauge theories	center choices, edge modes, algebraic sectors	regulator comparisons and operational protocols	factorization depends on the chosen observable algebra

Local algebras in relativistic QFT are typically type III, so the finite-dimensional recipe “trace out the complement and diagonalize $\rho_A$” is not fundamental. Witten’s orientation makes the algebraic replacement explicit Witten 2018, orientation. A regulator can produce a density matrix, but only regulator-independent combinations or a declared renormalization scheme can support continuum claims Casini and Huerta 2009, free-field synthesis.

Continuum-information structures and validation

The Bisognano–Wichmann theorem identifies wedge modular flow with Lorentz boosts under relativistic QFT hypotheses Bisognano and Wichmann 1975, foundational theorem. Conformal maps then give local modular Hamiltonians for special ball regions and connect relative entropy to energy inequalities Casini, Huerta, and Myers 2011, method. These exact geometries are benchmarks, not evidence that a generic region has a local modular Hamiltonian.

Validation cultures differ by object. Replica calculations should agree at known integer replica number, control the analytic continuation, and reproduce algebraic monotonicity or free-theory results. Lattice and tensor-network entropies require continuum/finite-size analysis and careful gauge constraints. Detector-based protocols require switching, smearing, energy cost, and causal support. Holographic quantities are cross-checks only inside a stated duality and semiclassical regime.

Concrete checks should keep algebraic, regulator, and operational questions distinct. Compare continuum-subsystem definitions by identifying their local algebras and the limit of regulated observables; test relative-entropy calculations against positivity, monotonicity, and equality or recovery conditions. For replica or lattice entropies, vary the cutoff and geometry and verify universal terms independently of the divergent area contribution. For relativistic communication protocols, specify switching and smearing functions, confirm spacelike commutators vanish, and include the energy cost and causal support of preparation and readout.

Obstructions and overclaims

The Reeh–Schlieder property gives the vacuum strong cyclicity for local algebras; it does not enable superluminal signaling because local operations and accessible energy are constrained. Vacuum Bell correlations can be generic Summers and Werner 1985, operational obstruction, but harvesting or operational extraction depends on detector coupling and separation. Entanglement entropy’s area divergence is not itself a measurable resource. Mutual information removes local boundary divergences for separated regions but can still be hard to access operationally.

Analytic continuation from integer replicas is not unique without growth and regularity information. Complexity proposals additionally depend on gates, reference state, tolerance, regulator, and cost; absent invariant or operational content, continuum “complexity” is not analogous to relative entropy. Quantum error-correction language usefully organizes redundant encoding, but an approximate code subspace does not establish a complete microscopic duality.

Entering the field

Begin by declaring a region, algebra, state class, and allowed operations. Compute relative entropy or mutual information in a free or conformal benchmark before tackling entropy or modular flow in an interacting theory. The mathematical foundations pathway and scope and status module supply the needed discipline.

This guide omits generic quantum-computing algorithms and finite-spin entanglement unless they clarify a continuum limit. It treats holographic entropy as one method-dependent interface rather than the definition of QFT entanglement.

Evidence scope and related assessments

The finite search used arXiv, mathematical journal/DOI records, quantum-information and AQFT citation chains, and targeted searches for regulator and operational counterexamples. Sources public through 11 August 2026 were eligible. Reassess when an operational protocol isolates a new regulator-independent quantity, a reconstruction theorem changes an algebraic claim, or a proposed complexity measure gains or loses invariant content.

Continue to operational continuum entanglement, continuum QFT complexity, the replica/modular/operator-algebra method map, or the QNEC scope brief.

References

• J. J. Bisognano and E. H. Wichmann, “On the Duality Condition for a Hermitian Scalar Field,” Journal of Mathematical Physics 16 (1975) 985–1007. DOI.
• H. Casini and M. Huerta, “Entanglement Entropy in Free Quantum Field Theory,” Journal of Physics A 42 (2009) 504007. DOI.
• H. Casini, M. Huerta, and R. C. Myers, “Towards a Derivation of Holographic Entanglement Entropy,” JHEP 05 (2011) 036. DOI.
• S. J. Summers and R. Werner, “The Vacuum Violates Bell’s Inequalities,” Physics Letters A 110 (1985) 257–259. DOI.
• E. Witten, “Notes on Some Entanglement Properties of Quantum Field Theory,” Reviews of Modern Physics 90 (2018) 045003. arXiv.