Operational Entanglement in Continuum QFT

The question is: Which continuum entanglement quantities are regulator independent, algebraically well defined, and operationally measurable or constrainable? The central distinction is between a sharp spatial tensor factorization, which generally fails for continuum local algebras, and operational relations between commuting algebras, which remain meaningful. Entanglement does not disappear in the continuum; the finite-dimensional density-matrix formula stops being the universal starting point.

Evidence cutoff. 11 August 2026.

Required background. Choosing a Continuum Subsystem: Algebra, Split, or Regulator fixes the subsystem being discussed. Regions, Causal Complements, and Nets of Observables supplies the commuting local-algebra structure.

Helpful background. The Split Property and Approximate Tensor Products explains why a finite separation can restore a type-I intermediary; Araki Relative Entropy and Regulated Limits provides a regulator-independent distinguishability measure; and Choosing an Entanglement Measure for the Physical Question prevents inequivalent resource tasks from being collapsed into one number.

Local algebras instead of sharp tensor factors

For ordinary relativistic QFTs, the von Neumann algebra $\mathcal A(O)$ of a bounded region is typically type III. There is generally no factorization

$$\mathcal H=\mathcal H_O\otimes\mathcal H_{O'}$$

whose first full matrix algebra equals $\mathcal A(O)$, and no trace-class reduced density matrix $\rho_O$ whose von Neumann entropy is the entropy of the sharp region. The familiar area-law divergence is therefore not merely a large finite number awaiting subtraction; it records that the sharp factorization is regulator dependent.

This does not prevent local measurements. Spacelike separated algebras commute, normal states restrict to them, and relative entropy, modular operators, correlation functions, Bell functionals, and resource tasks can be defined directly in algebraic language.

Quantity	Algebraic status	Regulator independence	Operational content
Sharp-region von Neumann entropy	Usually unavailable as a density-matrix entropy for a type-III algebra	No, without extra prescription	Depends on a regulator or split choice
Vacuum-subtracted or universal entropy terms	Defined in specified geometries and schemes	Sometimes: anomaly coefficients, logarithmic terms, or shape derivatives can be universal	Usually inferred from correlators or partition functions, not a single-copy entropy meter
Araki relative entropy $S(\omega\Vert\sigma)$ on one local algebra	Well defined for normal states, possibly infinite	Yes when states and algebra are fixed	Optimal asymmetric distinguishability in an algebraic measurement class
Mutual information of separated regions	Definable as relative entropy against the product state when the split/product construction exists	Finite in standard separated configurations	Bounds total connected correlations and information shared by the two accessible algebras
Bell-correlation witnesses	Defined from bounded operators in commuting algebras	Yes for the declared state and regions	Directly tied to measurement settings; violations witness nonclassical correlations
Distillable or relative entanglement	Definable only after allowed local operations, copies, energy, and separation are fixed	Potentially, under nuclearity/split hypotheses	A genuine resource statement, but task dependent

Direct assessment

Resolved: sharp-region von Neumann entropy is not a regulator-independent universal entanglement measure in a generic continuum QFT. Type-III local structure and ultraviolet correlations obstruct the naive reduced-density-matrix definition.

Partially resolved: relative entropy and modular quantities for a fixed local algebra are mathematically well defined and regulator independent. Mutual information and relative-entanglement measures are finite under separation and phase-space hypotheses. Casini showed how positivity of relative entropy gives a cutoff-independent formulation of the flat-space Bekenstein bound Casini 2008. Hollands and Sanders constructed and bounded continuum entanglement measures for separated systems in broad model classes Hollands and Sanders 2018.

Open: no single quantity is simultaneously universal for every QFT, independent of subsystem prescription, directly measurable under unrestricted realistic protocols, and complete as an entanglement resource. Operational accessibility is a property of a task, not of a symbol alone.

Evidence, assumptions, and interpretations

Kind	Statement	Qualification
Theorem-level structure	Under standard AQFT assumptions, vacuum sectors exhibit strong Bell correlations; wedge algebras can attain maximal violation. Summers and Werner 1987	This is an existence result for bounded observables, not a claim that a laboratory can implement ideal wedge operators with finite energy.
Theorem-level structure	A split inclusion $\mathcal A(O_1)\subset\mathcal N\subset\mathcal A(O_2)$ supplies an approximate tensor product when $O_1$ lies strictly inside $O_2$.	The collar width, nuclearity bounds, and chosen type-I factor are physical data; taking the collar to zero reintroduces divergence.
Assumption	A detector model faithfully realizes the declared local algebra and operation class.	Finite switching, bandwidth, energy, and localization alter the accessible subalgebra.
Interpretation	A universal coefficient in a regulated entropy is “the amount of entanglement.”	It can be a robust QFT invariant without being a complete operational resource measure.
Interpretation	Bell violation, distillability, mutual information, and relative entropy quantify the same resource.	False in general; each answers a different task and obeys different monotonicity properties.

Strongest competing formulations

Regulator-first formulation. A lattice or mode cutoff supplies a tensor factorization and ordinary entropy. This is indispensable for computation and can expose universal continuum terms. Its strongest claim is convergence of a specified combination under refinement, not convergence of the raw entropy.

Algebra-first formulation. Commuting von Neumann algebras and their normal states are fundamental. Relative entropy, modular flow, and algebraic entanglement measures avoid a fictitious sharp tensor product. The limitation is that operational protocols must be built into the algebra pair and may be hard to realize.

Operational-detector formulation. Finite probes, switching functions, and energy constraints define the accessible channels. This gives the clearest laboratory meaning, but the answer depends on apparatus and does not by itself define an intrinsic property of a sharp continuum region.

These formulations are complementary only after a convergence theorem or explicit channel map connects them. Numerical agreement in one free-field regulator is not such a theorem.

Obstructions and failure cases

• Touching regions generally admit no normal product state; formulas that minimize over separable normal states can become empty or divergent.
• Gauge theories add centers, edge modes, and choices between observable, extended, or dressed algebras. Different choices answer different questions.
• Continuum limits can preserve a universal mutual information while a negativity or entropy subtraction retains scheme or shape dependence.
• Tomography of a local QFT algebra is infinite dimensional. Without energy and resolution constraints, sample complexity and operator implementation are not finite operational claims.
• The Reeh–Schlieder property enables strong existence statements but protocols approaching them can require unbounded energy or vanishing success probability.

What would resolve a proposed quantity?

For any candidate, a resolution should state:

1. the algebra pair or regulated factorization and its continuum map;
2. the allowed local operations, communication, copies, energy, bandwidth, and localization error;
3. finiteness and monotonicity theorems under those operations;
4. a regulator-refinement result with a bound, not only cancellation in one example; and
5. an explicit protocol or witness whose statistical and detector errors constrain the quantity.

A counterexample showing scheme-dependent ordering of the same state pair refutes an invariant ranking claim. Conversely, agreement between algebraic relative entropy and independently converged detector discrimination would establish operational content in a bounded regime.

Connected methods and tests

• Quantum Information and Entanglement in QFT organizes subsystem and resource choices; Mathematical and Constructive QFT supplies operator-algebra hypotheses.
• Replica, Modular, and Operator-Algebra Methods compares replica limits with modular definitions.
• A split-property benchmark should vary the collar separating two regions and track which quantities stabilize as the collar narrows; a regulated-entropy benchmark should vary the cutoff, subtraction prescription, and replica continuation rather than assuming a unique continuum entropy.
• Modular and relative-entropy checks should verify monotonicity under restriction to a subalgebra and exhibit examples in which changing the algebra changes the operational question, even though the state on a larger algebra is held fixed.

Evidence boundary

The finite source set was chosen through targeted mathematical and physics searches for type-III obstructions, split inclusions, relative entropy, Bell correlations, and continuum resource measures available through 11 August 2026. Finite-dimensional results were included only when their continuum hypotheses were explicit. The selection is not exhaustive.

References

• Casini, H. (2008). “Relative Entropy and the Bekenstein Bound.” Classical and Quantum Gravity 25, 205021. DOI; arXiv:0804.2182.
• Hollands, S., and Sanders, K. (2018). Entanglement Measures and Their Properties in Quantum Field Theory. SpringerBriefs in Mathematical Physics 34. DOI; arXiv:1702.04924.
• Summers, S. J., and Werner, R. (1987). “Maximal Violation of Bell’s Inequalities Is Generic in Quantum Field Theory.” Communications in Mathematical Physics 110, 247–259. DOI.