Haag–Kastler Axioms

Definition

The Haag–Kastler axioms (algebraic quantum field theory, AQFT) formalize a QFT not through fields acting on a fixed Hilbert space but through the assignment of a von Neumann algebra $\mathcal{A}(\mathcal{O})$ of observables to each bounded spacetime region $\mathcal{O}$ — a net of local algebras $\mathcal{O}\mapsto \mathcal{A}(\mathcal{O})$. The physical content is encoded in structural properties the net must satisfy:

1. Isotony. ${\mathcal{O}}_1\subseteq {\mathcal{O}}_2\Rightarrow \mathcal{A}({\mathcal{O}}_1)\subseteq \mathcal{A}({\mathcal{O}}_2)$ — larger regions carry more observables.
2. Microcausality (locality). If ${\mathcal{O}}_1$ and ${\mathcal{O}}_2$ are spacelike separated, then $[\mathcal{A}({\mathcal{O}}_1),\mathcal{A}({\mathcal{O}}_2)]=0$ — spacelike-separated observables commute.
3. Poincaré covariance. A unitary representation $U(g)$ of the Poincaré group acts geometrically, $U(g)\mathcal{A}(\mathcal{O})U(g{)}^{-1}=\mathcal{A}(g\mathcal{O})$.
4. Spectrum condition. The joint spectrum of the energy–momentum generators lies in the closed forward light cone (positivity of energy), and there is a unique Poincaré-invariant vacuum $|\Omega ⟩$.
5. Additivity / completeness (and often weak additivity): the global algebra is generated by the local ones.

From these, deeper structural theorems follow — the Reeh–Schlieder cyclicity and separability of the vacuum, the Bisognano–Wichmann identification of wedge modular flow with a boost, and the generic type III₁ classification of the local algebras. Haag duality, $\mathcal{A}(\mathcal{O}{)}^{\prime }=\mathcal{A}({\mathcal{O}}^{\prime })$, is of a different kind: an additional property of the net, which holds for wedges in a Wightman theory and in the vacuum sector of standard models, and which can fail — see the Notes. In this framework a theory is genuinely local only if it can be presented as a net of type III₁ factors — a criterion that, e.g., excludes topological QFT (no non-trivial local observables).

Role in Research

The Haag–Kastler framework is the axiomatic bedrock on which the group’s whole quantum-information-in-QFT program is built. It is the setting in which the recurring objects are defined, not merely assumed:

• It is where “local algebra” means something. Every statement about wedge and causal-diamond algebras, their type III₁ classification, and modular theory presupposes the Haag–Kastler net structure.
• It supplies the hypotheses of the key theorems. Reeh–Schlieder and Bisognano–Wichmann — the two pillars behind the Bell-CHSH, relative-entropy, and magic results — are theorems within the Haag–Kastler axioms.
• It defines the “local QFT vs. TQFT” boundary invoked by Benedetti–Dabholkar–Dalmonte: locality = a net of type III₁ factors, which is exactly the property a stabilizer/TQFT vacuum lacks.
• It is where the Gribov frontier bites. Whether the RGZ theory, with its non-local horizon restriction, even satisfies the Haag–Kastler axioms is an open and load-bearing question (entanglement-as-confinement-probe, relative-entropy-interacting-theories, magic-and-the-gribov-horizon).
• Course backbone. The axioms are the organizing principle of the group’s AQFT course (wiki/courses/2026-algebraic-qft-course/).

Relations

• reeh-schlieder-theorem — a theorem within the axioms: the vacuum is cyclic-separating for every local algebra
• bisognano-wichmann-theorem — a theorem within the axioms: wedge modular flow is a boost
• type-iii-von-neumann-algebras — the generic algebraic type of the local algebras in a Haag–Kastler net
• tomita-takesaki-modular-theory — the technical engine applied to the net’s local algebras
• causal-diamonds, rindler-wedges — the regions to which the net assigns algebras
• araki-uhlmann-relative-entropy, bell-chsh-inequality, magic-nonstabilizerness — the QI quantities defined on the net’s algebras
• weyl-operators — generate the local algebras $\mathcal{A}(\mathcal{O})$ for free fields

Papers

• R. Haag, D. Kastler, An algebraic approach to quantum field theory, J. Math. Phys. 5 (1964) 848 — the founding paper.
• R. Haag, Local Quantum Physics: Fields, Particles, Algebras, Springer (1996) — the standard monograph.
• E. Witten, Notes on some entanglement properties of QFT, Rev. Mod. Phys. 90 (2018) 045003 [1803.04993] — modern QI-oriented account.
• Reviewed in 2025-liu-lectures-entanglement-vna; used as the axiomatic setting in 2026-benedetti-magic-in-qft.

Notes

• “Local” in the Haag–Kastler sense is stronger than “has a local Lagrangian”: it demands a non-trivial net of local observable algebras. Chern–Simons / topological theories have local Lagrangians but are not local nets — the distinction the magic paper uses to separate local QFT from TQFT.
• Haag duality can fail in the presence of superselection sectors or spontaneously broken symmetry (it becomes the Doplicher–Haag–Roberts / split-property analysis); for the vacuum sector of standard theories it holds and underwrites the modular-conjugation map used in the Bell-CHSH construction.
• The split property and nuclearity are refinements (Buchholz–Wichmann) controlling the local degrees of freedom; they are the technical bridge between the abstract net and lattice/continuum-limit statements relevant to the condensed-matter bridge.