Haag Duality Violations in QFT

• Haag duality violations (HDV) are instances in AQFT where the local algebra fails to equal its causal complement's commutant, indicating missing nonlocal operators.
• Methodologies use operator-algebraic techniques, finite-index subfactor theory, and lattice analogues to diagnose HDV and its implications for additivity and locality.
• HDV provides insights into the structure of generalized symmetries, topological defect operators, and confinement phenomena in both continuum and lattice quantum field theories.

Searching arXiv for the cited papers and closely related work on Haag duality violations. Haag duality violations (HDV) are strict failures of the equality between a local algebra and the commutant of the algebra of the causal complement in algebraic quantum field theory. In the Haag–Kastler framework, locality implies an inclusion of the form $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$, or equivalently $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$ in the notation used across the recent literature, but Haag duality requires this inclusion to be saturated. An HDV is therefore the strict inclusion $\mathcal{A}(O) \subsetneq \hat{\mathcal{A}}(O)$ with $\hat{\mathcal{A}}(O)=\mathcal{A}(O')'$, or, in the restricted-sector language, the existence of an operator in the commutant that is not generated by the algebra of the complement (Shao et al., 26 Mar 2025, Casini et al., 26 Nov 2025). Recent work has made HDV a central diagnostic for the interplay between local operator algebras, generalized global symmetries, topological defect operators, and nonlocal observables in both continuum QFT and lattice models, especially in situations involving non-invertible symmetries, higher-form symmetries, and gauge-theoretic confinement (Shao et al., 26 Mar 2025, Harlow et al., 3 Sep 2025).

1. Algebraic definition and operator-algebraic meaning

In the algebraic approach to quantum field theory one assigns to each causally complete spacetime region $O$ a von Neumann algebra $\mathcal{A}(O)$ of bounded operators on a common Hilbert space $\mathcal{H}$. Locality, or Einstein causality, implies

$\mathcal{A}(O') \subseteq \mathcal{A}(O)' ,$

where $O'$ is the causal complement and the prime on the algebra denotes the commutant in $B(\mathcal{H})$ (Shao et al., 26 Mar 2025). Haag duality is the stronger statement

$\mathcal{A}(O') \subseteq \mathcal{A}(O)'$0

Intuitively, Haag duality means that the algebra on $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$1 is maximal subject to locality: nothing more can commute with $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$2 than $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$3 itself (Shao et al., 26 Mar 2025).

A complementary formulation used in the higher-form and reconstruction literature introduces the additive algebra

$\mathcal{A}(O') \subseteq \mathcal{A}(O)'$4

and the dual algebra

$\mathcal{A}(O') \subseteq \mathcal{A}(O)'$5

Haag duality holds when $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$6, and an HDV is the strict inclusion

$\mathcal{A}(O') \subseteq \mathcal{A}(O)'$7

The extra operators in $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$8 are the non-local or HDV operators of $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$9 (Casini et al., 26 Nov 2025).

In symmetry-restricted settings the same phenomenon appears as a mismatch between the commutant of the restricted algebra and the restricted algebra of the complement. If a theory carries a global symmetry algebra $\mathcal{A}(O) \subsetneq \hat{\mathcal{A}}(O)$0, which may be a group or a fusion category of topological defect lines, the symmetric subalgebra is defined by

$\mathcal{A}(O) \subsetneq \hat{\mathcal{A}}(O)$1

Isotony is preserved and still $\mathcal{A}(O) \subsetneq \hat{\mathcal{A}}(O)$2 by locality, but generally one finds

$\mathcal{A}(O) \subsetneq \hat{\mathcal{A}}(O)$3

so Haag duality is violated in the $\mathcal{A}(O) \subsetneq \hat{\mathcal{A}}(O)$4-symmetric sector (Shao et al., 26 Mar 2025). Equivalently, HDV is the existence of an operator $\mathcal{A}(O) \subsetneq \hat{\mathcal{A}}(O)$5 with $\mathcal{A}(O) \subsetneq \hat{\mathcal{A}}(O)$6 (Shao et al., 26 Mar 2025).

This operator-algebraic perspective makes HDV a precise statement about incompleteness of a local algebra with respect to all operators commuting with it. In the recent literature, this incompleteness is tied to topological defect operators, Wilson and ’t Hooft operators, bilocal neutral composites, and generalized order/disorder operators (Shao et al., 26 Mar 2025, Harlow et al., 3 Sep 2025, Casini et al., 26 Nov 2025, Twagirayezu, 19 Jul 2025, Twagirayezu, 7 Aug 2025).

2. Relation to additivity, disjoint additivity, and locality

HDV is closely connected to the algebraic completeness property known as additivity. In one standard formulation,

$\mathcal{A}(O) \subsetneq \hat{\mathcal{A}}(O)$7

where $\mathcal{A}(O) \subsetneq \hat{\mathcal{A}}(O)$8 is the von Neumann algebra generated by the two algebras (Harlow et al., 3 Sep 2025). The recent analysis of local quantum physics distinguishes this from the weaker requirement of disjoint additivity, imposed only when $\mathcal{A}(O) \subsetneq \hat{\mathcal{A}}(O)$9 and $\hat{\mathcal{A}}(O)=\mathcal{A}(O')'$0 are spatially disjoint (Harlow et al., 3 Sep 2025).

The central point is that unbreakable extended operators can force a clash between additivity and Haag duality. If an operator $\hat{\mathcal{A}}(O)=\mathcal{A}(O')'$1 supported on a closed submanifold $\hat{\mathcal{A}}(O)=\mathcal{A}(O')'$2 commutes with $\hat{\mathcal{A}}(O)=\mathcal{A}(O')'$3 because it is topological relative to $\hat{\mathcal{A}}(O)=\mathcal{A}(O')'$4, yet cannot be generated by local operators in an overlapping cover of $\hat{\mathcal{A}}(O)=\mathcal{A}(O')'$5, then one must either include $\hat{\mathcal{A}}(O)=\mathcal{A}(O')'$6 in $\hat{\mathcal{A}}(O)=\mathcal{A}(O')'$7, in which case additivity fails, or exclude $\hat{\mathcal{A}}(O)=\mathcal{A}(O')'$8 from $\hat{\mathcal{A}}(O)=\mathcal{A}(O')'$9, in which case Haag duality fails (Harlow et al., 3 Sep 2025). This is the mechanism by which higher-form symmetries produce algebraic tension without necessarily implying nonlocality in the path-integral or lattice sense (Harlow et al., 3 Sep 2025).

A more recent proposal resolves this tension by retaining Haag duality while weakening ordinary additivity to disjoint additivity. The proposal is that “Haag duality + disjoint additivity” is the algebraic signature of genuinely local quantum physics, and the paper gives examples in which ordinary additivity fails while disjoint additivity is preserved (Harlow et al., 3 Sep 2025). The same work also proves a lattice theorem: for a compact Lie group $O$0 acting faithfully on a tensor-product Hilbert space with factorized regional action $O$1, after imposing the constraint to the $O$2-invariant subspace, disjoint additivity holds for “non-adjacent” regions satisfying a specific subgroup factorization criterion (Harlow et al., 3 Sep 2025).

Within this framework HDV does not merely record a pathology. It differentiates several algebraic possibilities. Free Maxwell theory and toric-code–type lattice gauge theories violate ordinary additivity but satisfy the weaker disjoint additivity, whereas hypersurface truncations and generalized free fields violate Haag duality outright (Harlow et al., 3 Sep 2025). This suggests that HDV can separate theories with incomplete local algebras from theories that remain local after replacing additivity by the weaker disjoint form.

3. Symmetry restriction and non-invertible sectors in 1+1 dimensions

A major recent source of HDV is restriction to the symmetric sector of a global symmetry algebra, especially when the symmetry is non-invertible. In a bosonic diagonal rational conformal field theory, the chiral modules $O$3 have fusion rules

$O$4

and the associated Verlinde lines $O$5 satisfy

$O$6

The maximal internal symmetry is the fusion category $O$7 generated by these lines, and the symmetric subalgebra is the identity sector

$O$8

A line $O$9 is invertible if $\mathcal{A}(O)$0; otherwise it is non-invertible (Shao et al., 26 Mar 2025).

In this setting the paper “Additivity, Haag duality, and non-invertible symmetries” establishes a sharp distinction. Additivity fails when $\mathcal{A}(O)$1 contains a nontrivial invertible line, because one can build a bilocal pair of charged primaries in two disjoint intervals whose product commutes with $\mathcal{A}(O)$2 although neither factor does (Shao et al., 26 Mar 2025). By contrast, Haag duality fails whenever there exists a non-invertible line $\mathcal{A}(O)$3 (Shao et al., 26 Mar 2025). The construction uses twisted-sector operators $\mathcal{A}(O)$4 and $\mathcal{A}(O)$5 placed at the endpoints of $\mathcal{A}(O)$6. They commute with all local primaries of the identity sector and hence with $\mathcal{A}(O)$7, but if $\mathcal{A}(O)$8 lie in two components of $\mathcal{A}(O)$9 then their composite is not contained in the restricted algebra of the complement. Concretely,

$\mathcal{H}$0

obeys

$\mathcal{H}$1

Thus for every non-invertible object $\mathcal{H}$2 in $\mathcal{H}$3 one finds an HDV (Shao et al., 26 Mar 2025).

The same work gives lattice analogues. On the Ising spin chain with periodic boundary conditions, Pauli operators $\mathcal{H}$4, global $\mathcal{H}$5 spin-flip $\mathcal{H}$6, and Kramers–Wannier MPO operator $\mathcal{H}$7 acting on the $\mathcal{H}$8-even sector, one defines

$\mathcal{H}$9

where $\mathcal{A}(O') \subseteq \mathcal{A}(O)' ,$0 is one-site translation (Shao et al., 26 Mar 2025). Because $\mathcal{A}(O') \subseteq \mathcal{A}(O)' ,$1 intertwines $\mathcal{A}(O') \subseteq \mathcal{A}(O)' ,$2 and $\mathcal{A}(O') \subseteq \mathcal{A}(O)' ,$3, any nontrivial operator commuting with the full algebra must have support on all sites. For any proper subregion $\mathcal{A}(O') \subseteq \mathcal{A}(O)' ,$4, one therefore finds $\mathcal{A}(O') \subseteq \mathcal{A}(O)' ,$5, so both additivity and Haag duality fail in the restricted sector (Shao et al., 26 Mar 2025).

A second spin-chain example uses the non-invertible symmetry $\mathcal{A}(O') \subseteq \mathcal{A}(O)' ,$6. With even- and odd-site spin flips $\mathcal{A}(O') \subseteq \mathcal{A}(O)' ,$7 and an MPO operator $\mathcal{A}(O') \subseteq \mathcal{A}(O)' ,$8 satisfying $\mathcal{A}(O') \subseteq \mathcal{A}(O)' ,$9, the symmetric subalgebra is

$O'$0

Direct Pauli-matrix algebra shows that bilocal disorder operators

$O'$1

can lie in the commutant of $O'$2 without lying in the algebra of the complement when the endpoints belong to different components of a disconnected region. Hence Haag duality fails in the $O'$3-symmetric sector (Shao et al., 26 Mar 2025).

These 1+1-dimensional examples make explicit that HDV is not confined to gauge-theory loops or higher-form charge. In restricted identity sectors of non-invertible symmetries, the nonlocal operator can be a defect-line endpoint construction or a bilocal disorder operator, and the obstruction arises from the incompatibility between local symmetry invariance and the full commutant.

4. Gauge theories, Wilson lines, and confinement

Gauge theories provide another major class of HDV, now tied to Wilson line operators, Gauss law constraints, and confinement. In the AQFT treatment of the massless Schwinger model, local observable algebras are generated by gauge-invariant smeared currents and electric fields,

$O'$4

subject to Gauss’s law

$O'$5

and the Schwinger anomaly (Twagirayezu, 19 Jul 2025). One then extends the local net by Wilson line operators

$O'$6

defining an extended algebra

$O'$7

When a path $O'$8 lies outside $O'$9, the Wilson line commutes with all local operators in $B(\mathcal{H})$0, yet if the path crosses the complement in a nontrivial way it is not contained in $B(\mathcal{H})$1. Hence

$B(\mathcal{H})$2

so Haag duality is violated in the extended net (Twagirayezu, 19 Jul 2025).

The physical interpretation is that charged fields fail to be localizable in bounded regions and the only DHR sector is the vacuum sector, which is presented as an exact algebraic statement of confinement (Twagirayezu, 19 Jul 2025). In net-cohomological language the Wilson line defines a nontrivial $B(\mathcal{H})$3-cocycle whose class in $B(\mathcal{H})$4 obstructs duality (Twagirayezu, 19 Jul 2025).

A non-Abelian analogue appears in the 1+1-dimensional $B(\mathcal{H})$5 gauge theory studied in “Confinement, Nonlocal Observables, and Haag Duality Violation in the Algebraic Structure of 1+1-Dimensional Non-Abelian Gauge Theories” (Twagirayezu, 7 Aug 2025). There the local observable net is generated by gauge-invariant composite operators, including the fermion current and traces of non-Abelian electric fields, with the non-Abelian Gauss law

$B(\mathcal{H})$6

imposed as an operator constraint (Twagirayezu, 7 Aug 2025). To capture global gauge flux one introduces path-ordered Wilson lines

$B(\mathcal{H})$7

Their commutator with the electric field is

$B(\mathcal{H})$8

showing that the line shifts color flux at its endpoints but otherwise commutes with local gauge-invariant observables supported away from those endpoints (Twagirayezu, 7 Aug 2025).

For a bounded interval $B(\mathcal{H})$9 and two points $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$00 in the two spacelike wedges of the complement, the Wilson line $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$01 commutes with every element of $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$02 but cannot be approximated by elements of $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$03, because operators in the complement factorize across the two disconnected components whereas the Wilson line stretches between them as a single operator (Twagirayezu, 7 Aug 2025). This yields a strict inclusion

$\mathcal{A}(O') \subseteq \mathcal{A}(O)'$04

and therefore an HDV (Twagirayezu, 7 Aug 2025). The paper identifies the topological origin through Roberts’ net cohomology and relates the obstruction to the non-trivial center $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$05 of $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$06 (Twagirayezu, 7 Aug 2025).

Across both Abelian and non-Abelian 1+1-dimensional gauge theories, HDV is therefore tied to the same structural triad: Gauss law, absence of localizable charged sectors, and nonlocal Wilson operators carrying flux between disconnected components of the complement (Twagirayezu, 19 Jul 2025, Twagirayezu, 7 Aug 2025).

5. Higher-form symmetries, DHR reconstruction, and classification results

HDV also enters a broader classification program for generalized symmetries in dimensions $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$07. The paper “A generalization of the DHR theorem for higher form symmetries” reformulates the DHR theorem in terms of HDV for regions with non-trivial homotopy (Casini et al., 26 Nov 2025). For disconnected regions with $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$08, finite-index subfactor theory yields a canonical endomorphism

$\mathcal{A}(O') \subseteq \mathcal{A}(O)'$09

where the $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$10 are irreducible transportable endomorphisms localized in one component, with $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$11 (Casini et al., 26 Nov 2025). One then reconstructs an extension $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$12 with a compact group $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$13 of global symmetries such that

$\mathcal{A}(O') \subseteq \mathcal{A}(O)'$14

and the HDV for disconnected regions become trivial in the parent theory (Casini et al., 26 Nov 2025).

In this formulation, the category associated with $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$15-type HDV is equivalent to the dual of a compact group. This provides a local-algebraic route to the group-like origin of $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$16-form internal symmetries in $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$17 (Casini et al., 26 Nov 2025). The same framework extends to spontaneous symmetry breaking by passing first to the dual net $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$18, reconstructing a larger net $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$19, and identifying a chain

$\mathcal{A}(O') \subseteq \mathcal{A}(O)'$20

with fixed-point relations $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$21 and $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$22 (Casini et al., 26 Nov 2025).

After eliminating $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$23 sectors by reconstruction, the same paper treats HDV for regions with non-trivial higher homotopy, such as loops $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$24 with $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$25. By dimensional reduction to a lower-dimensional problem, it obtains a finite-index classification theorem: for each such $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$26, the subfactor associated with a region homotopic to $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$27 has index $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$28 with $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$29 a finite abelian group (Casini et al., 26 Nov 2025). Concretely, for a loop $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$30 one may write

$\mathcal{A}(O') \subseteq \mathcal{A}(O)'$31

with unitary flux operators $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$32 satisfying

$\mathcal{A}(O') \subseteq \mathcal{A}(O)'$33

In the special self-dual case $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$34 and $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$35, the character matrix

$\mathcal{A}(O') \subseteq \mathcal{A}(O)'$36

must satisfy the Hermitian condition

$\mathcal{A}(O') \subseteq \mathcal{A}(O)'$37

The paper further states that in this case $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$38 up to a possible extra $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$39 factor (Casini et al., 26 Nov 2025).

The examples include Yang–Mills Wilson and ’t Hooft loops. In an $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$40 gauge theory without matter, the center $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$41 produces HDV for ring regions with

$\mathcal{A}(O') \subseteq \mathcal{A}(O)'$42

and the mutual commutation of Wilson and ’t Hooft loops is controlled by the linking number (Casini et al., 26 Nov 2025). The same analysis extends to knot and link order parameters, where generalized knot non-local operators are classified by the unknot order parameters and their commutator is determined by the linking number (Casini et al., 26 Nov 2025).

These results place HDV at the center of a structural classification theorem: in $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$43, $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$44-type HDV reconstruct compact groups, while higher-form HDV are associated with finite abelian groups, with an additional Hermitian-character constraint in the self-dual case (Casini et al., 26 Nov 2025).

6. Physical significance, common confusions, and scope

A recurring interpretation across the recent literature is that Haag duality is a hallmark of completeness of local operator algebras, and an HDV indicates the presence of operators that are topological or nonlocal relative to a chosen region but are not generated by the local algebra of the complement (Shao et al., 26 Mar 2025). In theories with non-invertible symmetries, HDV is described as generic whenever non-invertible topological sectors exist, because the very existence of these sectors forces the local algebra of the complement to be strictly smaller than its commutant (Shao et al., 26 Mar 2025). In gauge theory, Wilson lines and related flux operators play the same role (Twagirayezu, 19 Jul 2025, Twagirayezu, 7 Aug 2025).

One common confusion is to treat every violation of ordinary additivity as evidence of nonlocality. The 2025 analysis of disjoint additivity argues against this identification. Free Maxwell theory and related systems with higher-form symmetries are presented as perfectly local from the path-integral and lattice perspectives even though they violate ordinary additivity; the proposed resolution is to keep Haag duality and replace additivity by disjoint additivity (Harlow et al., 3 Sep 2025). This suggests that HDV and additivity failure must be interpreted together rather than in isolation.

A second confusion concerns whether HDV is always a defect of an incomplete description. Some examples do fit that pattern: hypersurface restrictions and generalized free fields obey microcausality but violate Haag duality outright (Harlow et al., 3 Sep 2025). But in other settings HDV is not merely a truncation artifact; it is the algebraic manifestation of a genuine global or topological structure, such as a non-invertible defect sector, a Wilson line, or a higher-form order parameter (Shao et al., 26 Mar 2025, Casini et al., 26 Nov 2025). A plausible implication is that the significance of HDV depends on whether the relevant nonlocal operator should be incorporated into the physical net or instead eliminated by a reconstruction to a larger parent theory.

The literature also connects HDV to broader structural themes. The 1+1-dimensional RCFT and spin-chain analysis states that HDV provides an operator-algebraic diagnostic of non-invertibility and connects to modular invariance in RCFTs and to completeness in gauge theories (Shao et al., 26 Mar 2025). The higher-form reconstruction program uses HDV to give a new proof of the group-like origin of internal symmetries and a classification of generalized order parameters (Casini et al., 26 Nov 2025). The Schwinger-model treatment conjectures that Haag duality is related to the quantum error-correcting property behind entanglement wedge reconstruction in holography, so its failure in a confining gauge theory may signal an obstruction to local quantum information recovery (Twagirayezu, 19 Jul 2025).

Taken together, these developments establish HDV as a unifying notion linking algebraic completeness, generalized symmetry, confinement, and topology. In 1+1-dimensional conformal and lattice models, HDV detects non-invertible sectors in symmetry-restricted algebras (Shao et al., 26 Mar 2025). In gauge theories, it identifies Wilson and flux operators that commute with local observables yet evade localization in the complement (Twagirayezu, 19 Jul 2025, Twagirayezu, 7 Aug 2025). In $\mathcal{A}(O') \subseteq \mathcal{A}(O)'$45, it supplies the local-algebraic input for reconstructing compact groups and classifying higher-form order/disorder operators by finite abelian groups (Casini et al., 26 Nov 2025). The resulting picture is that HDV is neither an incidental anomaly nor a single phenomenon with a uniform interpretation; it is a precise structural indicator of how global topological data fail to be exhausted by naive local operator algebras.