Noncommutative Information, Measurement, and Algebraic QEC

Information tasks in QFT concern states and operations on local algebras. This chapter develops entropy, recovery, measurement, and error correction without assuming that every region has a density matrix or tensor factor.

Enter this chapter

Start with normal completely positive maps. Keep their algebraic properties separate from the spacetime localization of a physical operation. Helpful background. Relative entropy, distinguishability, and recovery provides the information-theory questions, local measurement instruments provides operational vocabulary, and operator-algebra quantum error correction provides the continuum coding target.

Topics

1. Von Neumann Algebra Channels and Positive Normal Maps — States the positivity, normalization, and continuity conditions for channels.
2. Araki Relative Entropy, Monotonicity, and Data Processing — Defines relative entropy using modular objects and proves information loss under restriction.
3. Sufficiency, Conditional Expectations, and Petz Recovery — Identifies the hypotheses under which equality gives recoverability.
4. Noncommutative Lp Spaces, Divergences, and Information Bounds — Tracks the construction and parameter ranges of generalized divergences.
5. Local Operations, Instruments, and AQFT Measurement — Adds outcomes and causal support to algebraic operations.
6. Fewster–Verch Probe Measurements, State Updates, and Causal Composition — Builds instruments from localized system–probe couplings.
7. Operational Independence, the Split Property, and Bell Correlations — Shows why independent preparation and Bell correlations can coexist.
8. Algebraic Quantum Error Correction and Correctable Subalgebras — Defines recovery of a declared logical observable algebra.
9. Subfactor Index, Sector Information, and Entropy — Relates finite index to controlled sector and entropy information.
10. Type-III Information Tasks, Split-Regulated Entropy, and Energy Constraints — Distinguishes intrinsic quantities from split- or energy-regulated ones.

How the ideas fit together

Relative modular operators give data processing without a trace formula Araki 1976, §§ 3–5. Equality becomes recovery only for a stated reference and family of states Petz 1986, Theorems 4–5. Measurement additionally needs causal localization Fewster and Verch 2020, §§ 3.1–3.3, while algebraic error correction asks which observables a recovery channel fixes Bény, Kempf, and Kribs 2007, Theorems 2–3. The table keeps these logically different uses of a channel distinct.

What the hypotheses license

Objects, hypotheses, licensed conclusions, and boundary tests

Object and domain	Essential hypotheses	Licensed conclusion	Excluded converse or extension	Adversarial check
Heisenberg map $\Phi:\mathcal M\to\mathcal N$	Normal, unital, and completely positive; a representation and predual are fixed.	Normal states pull back to normal states, normalization is preserved, and finite ancillary amplifications remain positive.	Positivity alone is not complete positivity; complete positivity alone is not normality or spacetime localization.	Transpose one half of an entangled qubit pair, or use a singular state map on $B(\ell^2)$.
Relative modular operator for normal $\rho,\sigma$	Support conventions are explicit; the channel is normal UCP; an $L^p$ parameter lies in its proved range.	Araki data processing, and sandwiched-Rényi data processing for the stated parameter range.	A finite value is not automatic, and one parameter theorem does not extend to every divergence.	Choose $s(\rho)\nleq s(\sigma)$ or move $\alpha$ outside the proved interpolation range.
Equality in data processing or inclusion $\mathcal N\subset\mathcal M$	A faithful reference or support reduction, a declared state family, and modular invariance for a preserving expectation.	A Petz-type recovery for that family, or a unique reference-preserving normal conditional expectation.	Equality for one pair does not recover every state; an arbitrary algebraic projection need not be positive or state preserving.	Perturb the reference so its modular flow moves the candidate sufficient subalgebra.
Local instrument or system–probe scattering morphism	Normal CP outcome maps summing to a channel, compact coupling support, time-slice identifications, and causal factorization.	No-signalling nonselective action, induced observables, state updates, and ordered composition.	A selected branch need not leave remote conditional expectations fixed; overlapping schemes need not commute.	Give the smearing a spacelike tail or swap two causally unordered coupling regions.
Correctable von Neumann algebra $\mathfrak A$	A normal noise channel, a declared code representation, and commutation of $\mathfrak A$ with all compressed error products.	A normal recovery fixes every observable in $\mathfrak A$.	Protected logical observables do not imply recovery of the gauge factor, complementary correlations, or all code operators.	Add a logical generator acting on an erased factor; two distinguishable inputs then have identical outputs.
Split pair, finite-index inclusion, or sharp type-III factor	A positive split collar, or a finite Pimsner–Popa index; otherwise use normal modular quantities and explicit energy constraints.	Normal product states and type-I approximants, finite sector/entropy bounds, or intrinsic relative entropy.	Zero collar, infinite index, and a sharp type-III algebra do not supply a canonical reduced density matrix.	Collapse the collar, replace a finite group by $U(1)$, or demand trace-one local density operators.

Structured table data (JSON).

Review the chapter

Does complete positivity by itself ensure that an operation is localized in a chosen region?

Solution

No. Complete positivity controls extension by ancillary systems. Localization requires additional conditions, such as invariance of spacelike-complement observables under the nonselective operation, or a causal system–probe construction. A perfectly valid channel can act nonlocally.

Where to go next

For explicit model construction, continue to constructive QFT. For the geometric setting of local operations, return to locally covariant QFT.

References

• Araki, Huzihiro. “Relative Entropy of States of von Neumann Algebras.” Publications of the Research Institute for Mathematical Sciences 11 (1976): 809–833. DOI.
• Bény, Cédric, Achim Kempf, and David W. Kribs. “Generalization of Quantum Error Correction via the Heisenberg Picture.” Physical Review A 76 (2007): 042303. DOI.
• Fewster, Christopher J., and Rainer Verch. “Quantum Fields and Local Measurements.” Communications in Mathematical Physics 378 (2020): 851–889. DOI; Open PDF.
• Petz, Dénes. “Sufficient Subalgebras and the Relative Entropy of States of a von Neumann Algebra.” Communications in Mathematical Physics 105 (1986): 123–131. DOI.