Noncommutative Information, Measurement, and Algebraic QEC

Noncommutative information theory in QFT begins with normal positive maps and normal states on local von Neumann algebras, not with reduced density matrices. Araki relative entropy then supplies data processing; equality requires a reference-dependent sufficiency theorem; localized instruments require spacetime support and causal factorization; and algebraic error correction protects a declared observable subalgebra rather than an unspecified tensor factor. Split inclusions and finite-index subfactors provide controlled type-I or finite-sector regimes, while sharp type-III algebras retain trace-free modular quantities. This chapter states each implication with its domain and tests the most tempting false converses.

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.

From normal maps to localized information tasks

Let $\Phi:\mathcal M\to\mathcal N$ be a Heisenberg-picture map between von Neumann algebras. Normality is the condition that gives a predual action on normal states; complete positivity makes the action stable under finite ancillas; unitality preserves normalization. For normal states $\rho,\sigma$ on $\mathcal N$, Araki’s relative modular construction gives an extended-valued quantity satisfying

$$S_{\mathcal M}(\rho\circ\Phi\Vert\sigma\circ\Phi) \leq S_{\mathcal N}(\rho\Vert\sigma).$$

Araki’s proof uses relative modular operators rather than a trace formula Araki 1976, §§3–5, pp. 818–827. Equality becomes a recovery statement only after a faithful reference state, support conditions, and a family of states have been declared. For an inclusion, invariance under the reference modular flow is what licenses a state-preserving conditional expectation; Petz’s sufficiency theorem identifies the corresponding equality condition Petz 1986, Theorems 4–5, pp. 126–129.

A measurement adds a different structure. Its outcome maps must be normal and completely positive, their sum must be a channel, and localization is tested on the nonselective action in the causal complement. In the Fewster–Verch framework a compact system–probe coupling gives a scattering morphism, an induced system observable, and an instrument. Causally ordered composition follows only when the scattering morphism factorizes in that order; spacelike separation permits interchange Fewster and Verch 2020, §§3.1–3.3, pp. 859–870.

The error-correction branch asks for a recovery channel that fixes a von Neumann subalgebra of logical observables. In a Kraus model this is equivalent to commutation with all compressed error products, not to preservation of every code operator Bény, Kempf, and Kribs 2007, Theorems 2–3, article 042303. A split inclusion can supply a type-I factor in which that criterion is tested without changing the sharp endpoint algebras into type I. A finite-index inclusion supplies a different finite control: a conditional expectation with a Pimsner–Popa bound and finite sector content. These are complementary regimes, not interchangeable definitions of a subsystem.

The dependency map shows the main theorem chain and the separate measurement branch. Inspect where a new object—reference state, localization region, or correctable algebra—must be declared before the next implication is available.

Data processing follows from a normal channel and normal state pair; exact recovery additionally needs the equality, reference, and support hypotheses; correctability applies only to the declared observable algebra. Compact system–probe coupling reaches an instrument through its scattering morphism and a separate causal-factorization theorem. The diagram is schematic and not to scale. Structured description and source data (JSON)

What the hypotheses license

Each row keeps the mathematical object, theorem hypotheses, conclusion, excluded converse, and a concrete failure test together. In particular, finite-dimensional formulas appear only inside an explicitly type-I, energy-truncated, or finite-index regime.

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) preserves the caption, scoped headers, row order, and boundary tests.

The failure map should be read as a sequence of diagnostic checkpoints, not as a second implication chain. Each dashed relation removes the named input and identifies the first conclusion that can no longer be claimed.

Ancilla positivity and normality are independent; modular divergences retain support and parameter domains; recovery requires equality and reference compatibility; localization requires compact coupling and causal order; and type-I or finite-index conclusions end when the collar or finite-index hypothesis is removed. The diagram is schematic and not to scale. Structured description and source data (JSON)

Reading sequence

1. Von Neumann Algebra Channels and Positive Normal Maps separates positivity, complete positivity, normality, and localization on a quasilocal CAR example.
2. Araki Relative Entropy, Monotonicity, and Data Processing defines the relative modular object and checks restriction monotonicity for a coherent Rindler-wedge excitation.
3. Sufficiency, Conditional Expectations, and Petz Recovery states the equality and modular-invariance hypotheses and tests them in a split product representation.
4. Noncommutative Lp Spaces, Divergences, and Information Bounds fixes the interpolation construction and proves only the declared Rényi parameter range.
5. Local Operations, Instruments, and AQFT Measurement constructs a compactly smeared two-outcome Weyl instrument and tests causal-complement invariance.
6. Fewster–Verch Probe Measurements, State Updates, and Causal Composition derives the scattering morphism and the order-sensitive composition law for coupled Klein–Gordon fields.
7. Operational Independence, the Split Property, and Bell Correlations shows that independent preparation and normal Bell-correlated states coexist at positive separation.
8. Algebraic Quantum Error Correction and Correctable Subalgebras gives the commutant criterion and a complementary-factor erasure model.
9. Subfactor Index, Sector Information, and Entropy relates a finite-group fixed-point inclusion to index, sector multiplicity, and an entropy bound.
10. Type-III Information Tasks, Split-Regulated Entropy, and Energy Constraints classifies well-posed sharp-algebra, split-collar, and energy-constrained quantities.

The order is deliberate: maps and state domains come before inequalities; equality comes before recovery; measurement localization is separated from information monotonicity; and finite type-I or finite-index models are introduced before their type-III limits are tested.

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.