Skip to content

Quantum Information in QFT

Quantum information asks what an observer can distinguish, transmit, and recover from a quantum system. In a field theory, the observer’s access is also a spacetime question: which observables lie in the available region, and which operations can be performed there? This volume connects that local structure to entanglement, measurement, communication, energy bounds, and error correction.

The central distinction is between a continuum field theory and a finite subsystem used to approximate it. A region defines an algebra of observables; it does not generally supply the tensor factor and density matrix familiar from a collection of qubits. The appropriate information measure depends on the question and on how that continuum limit is taken.

  • For a first study of field entanglement, begin with continuum subsystems, then Chapters 2–3. Learn what a region defines before computing its entropy, and compare regulated entropies with relative entropy.
  • For a measurement or communication problem, begin with local measurements and detectors, using Chapters 1 and 3 for subsystems and distinguishability. Chapters 10–11 add causal communication and energy constraints.
  • For dynamics or information protection, start with entanglement dynamics or continuum error correction. Use the earlier chapters to specify the accessible algebra, states, noise, and recovery criterion before choosing a diagnostic.

Helpful background. Operator algebras and tensor products prepare the subsystem distinction. Causality and unitary evolution constrain operations. Schwinger functions support replica methods; RG fixed points support comparisons across scales.

  1. Continuum Subsystems and Local Algebras — Identify restricted states, factorization limits, centers, and the observables available to a region.
  2. Regulated Entropy and Replica Methods — Calculate entropy with explicit cutoffs and continuation assumptions, then examine what survives their removal.
  3. Relative Entropy, Distinguishability, and Recovery — Compare states using relative entropy, data processing, and recovery bounds with their hypotheses intact.
  4. Universal, Multipartite, and Shape-Dependent Entanglement — Separate universal information from regulator dependence and resolve how geometry and multiple regions enter.
  5. Modular Operators and Geometric Flow — Construct the evolution determined by an algebra and state, and identify the special cases with a geometric interpretation.
  6. Modular Response and Quantum Information Geometry — Relate nearby-state variations to first laws, distinguishability metrics, and positivity.
  7. Information Across Scales and Renormalization — Determine what coarse graining discards and when an information quantity constrains an RG flow.
  8. Symmetry, Superselection, and Information Resources — Track charge sectors and reference frames when deciding which operations and resources are accessible.
  9. Local Measurements, Detectors, and Instruments — Define measurements through localized couplings, switching, smearing, and conditional outcomes.
  10. Causal Channels and Relativistic Communication — Formulate signaling, harvesting, and communication tasks with explicit spacetime and energy restrictions.
  11. Energy, Entropy, and Localization — Study energy costs and information inequalities without discarding their state, smearing, or dimensional assumptions.
  12. Entanglement Dynamics and Information Transport — Distinguish the motion of correlations, entanglement, and operator information during evolution.
  13. Scrambling, Decoupling, and Recoverability — Test where information becomes inaccessible and what additional access would permit recovery.
  14. Complexity and Continuum Resource Costs — Compare costs only after specifying the reference state, allowed operations, precision, and regulator.
  15. Quantum Error Correction in Continuum Fields — State which observables are protected against which noise and how recovery is controlled in the continuum.
  16. Inference, Certification, and Evidence — Connect formal quantities to measurements and calculations with calibration, uncertainty, and competing explanations.

Consider two states of a field and an observer confined to a region. The observer compares their restrictions to the region’s algebra. Shrinking the accessible algebra cannot increase relative entropy, a measure of distinguishability. For nested algebras A⊆B\mathcal A\subseteq\mathcal B and normal states ω,σ\omega,\sigma on B\mathcal B,

D(ω∣A∥σ∣A)≤D(ω∣B∥σ∣B).D(\omega|_{\mathcal A}\Vert\sigma|_{\mathcal A}) \leq D(\omega|_{\mathcal B}\Vert\sigma|_{\mathcal B}).

Here the vertical bar means restriction of a state; either side may be infinite. This statement does not require assigning an ordinary reduced density matrix to each region. The algebraic definition and monotonicity are explained in Witten 2018, §§ 3.3–3.4; the obstruction to a trace-based entropy for local type-III algebras is discussed in §§ 6.4–6.5.

This comparison joins several parts of the volume. Regulated entropy makes the role of short-distance modes explicit. Modular methods organize state comparison and response. Measurements and channels specify how information becomes accessible in an actual experiment. Error correction asks whether the observables of interest can be recovered after some access is lost. A successful finite-dimensional recovery calculation still needs a controlled limit before becoming a continuum statement.

The optional information map (SVG) distinguishes four routes: intrinsic algebraic quantities, regulated constructions, causal protocols, and resources defined by chosen operations and costs. These routes answer different questions. A detector protocol must specify its coupling and causal support; a complexity comparison must specify its cost; a continuum extrapolation must control cutoffs and volume separately. Neither a numerical fit nor an entropy curve supplies those missing definitions.

Compare what different kinds of evidence establish

A finite-system identity, a theorem, and an experimental protocol justify different conclusions. This reference table states the checks needed before extending each result.

Evidence levels and the strongest information statement each can support
Level What is established Required check What is not yet established
Finite-mode identity Exact relation for a stated matrix, lattice, mode truncation, or code Independent algebra or enumeration Continuum QFT validity
Analytic benchmark Exact or asymptotic result in a solvable state, geometry, or limit Dimensions, signs, normalization, and limiting cases Generic interacting behavior
Theorem Conclusion under its full algebraic, analytic, causal, or energy hypotheses Hypotheses, equality cases, domain, and cited proof Extension beyond those hypotheses
Controlled regulator result Regulator errors varied and propagated for a fixed target Separate cutoff axes and matched renormalized observables Regulator independence outside the tested range
Operational evidence A complete preparation–interaction–readout protocol supports the stated task Causal support, calibration, noise, backreaction, and selection An intrinsic property independent of the protocol
Independent reproduction Materially different methods agree after convention matching Shared-assumption and adversarial-null analysis Universality if all methods share the same blind spot
Bounded information claim Subsystem, definition, domain, uncertainty, alternatives, and evidence date are explicit Reproduce a held-out observable or limiting identity Any broader theorem, platform, or frontier claim
  • Witten, Edward. 2018. “Notes on Some Entanglement Properties of Quantum Field Theory.” Reviews of Modern Physics 90: 045003. DOI. Open text, arXiv:1803.04993v6.