Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2602.20006

Haag Duality in the Thermal Sector

Stefano Galanda, Leonardo Sangaletti

Published Feb 23, 2026• 0 citations
arXivHTMLPDF

Abstract

We prove that the net of localised von Neumann algebras associated with a real scalar field propagating on Minkowski spacetime, in the KMS representation, satisfies a generalised version of Haag duality. Our proof combines ideas from existing arguments for the ground-state representation with purification techniques.
DOI
10.48550/arxiv.2602.20006

Related papers

Uniqueness of Purifications Is Equivalent to Haag Duality

Lauritz van Luijk, Alexander Stottmeister, Henrik Wilming

The uniqueness of purifications of quantum states on a system A up to local unitary transformations on a purifying system B is central to quantum information theory. We show that, if the two systems are modeled by commuting von Neumann algebras M_{A} and M_{B} on a Hilbert space H, then uniqueness of purifications is equivalent to Haag duality M_{A}=M_{B}^{'}. In particular, the uniqueness of purifications can fail in systems with infinitely many degrees of freedom-even when M_{A} and M_{B} are commuting factors that jointly generate B(H) and hence allow for local tomography of all density matrices on H. We present a simple argument showing that the uniqueness of purifications, and, hence, Haag duality, fail in ground state sectors of topologically ordered models at renormalization group fixed points on infinite two-dimensional lattices, partitioned into the union of two spatially separated cones and its complement.

arXiv:2509.12911•Physical Review Letters•Jan 5, 2026•0 citations

A note on Haag duality

Alan Garbarz, Gabriel Palau

Haag duality is a remarkable property in QFT stating that the commutant of the algebra of observables localized in some region of spacetime is exactly the algebra associated to the causally disconnected region. It is a strong condition on the local structure and has direct consequences on entanglement measures. It was first shown to hold for a free scalar field and causal diamonds by Araki in 1964 and later by many authors in different ways. In particular, Eckmann and Osterwalder (EO) used Tomita-Takesaki modular theory to give a direct proof. However, it is not straightforward to relate this proof to the works of Araki, since they rely on two forms of the canonical commutation relations (CCR), called Segal and Weyl formulations, while EO work as starting point assumes that duality holds in the so-called “first quantization” in the Weyl formulation. It is our purpose to first introduce the works of Araki in a more easy-to-read but still rigorous and self-contained fashion, and show how Haag duality is stated in the Segal and Weyl formulations and in both first and second quantizations (and their immediate combination). This permits to understand the setting of the EO proof of Haag duality. There is nothing essentially new in this manuscript, with the exception of what we consider a simplification of EO proof that uses the adjoint S⁎ of the Tomita operator S instead of introducing several auxiliary operators. We hope this note will be useful for those seeking to understand where Haag duality comes from in a free scalar QFT.

arXiv:2108.01257•Nuclear Physics B•May 2, 2022•7 citations

Local topological order, Haag duality, and reflection positivity

Pieter Naaijkens, David Penneys, Daniel Wallick

In our previous article [arXiv:2307.12552], we introduced local topological order (LTO) axioms for abstract quantum spin systems which allow one to access topological order via a boundary algebra construction. Using the LTO axioms, we produced a canonical pure state on the quasi-local algebra, which gives a net of von Neumann algebras associated to a poset of cones in $\mathbb{R}^n$. In this article, motivated by [arXiv:2509.23734], we introduce an axiom for LTOs which ensures Haag duality for cone-like regions using Tomita-Takesaki theory. We prove this axiom is satisfied for all known topologically ordered commuting projector models. We thus get an independent proof of Haag duality for the Levin-Wen string net models originally proved in [arXiv:2509.23734]. We also give a reflection positivity axiom for LTOs, connecting to the recent article [arXiv:2510.20662]. We again prove this axiom is satisfied for all known topologically ordered commuting projector models about some $\mathbb{Z}/2$-reflection symmetry.

math-phCross-listedarXiv:2605.10693•May 12, 2026•0 citations

Haag Duality in the Thermodynamic Limit of the Toric Code

Quintin James Trayling

In 1997, Kitaev introduced the toric code as an error-tolerant model for quantum computations, which has become a prominent model in recent years. This thesis is dedicated to providing a detailed exploration of Pieter Naaijkens’ work on the toric code in the thermodynamic limit. The primary focus of this thesis is providing an exposition on local Hamiltonians for the toric code and their ground states, showing that Haag duality holds for cones in the corresponding ground state representation. That is, given a cone Λ, the von Neumann algebras R_Λ and R_Λ_c of observables localized in Λ and Λ_c respectively are each other’s commutant. We also show that given Haag duality, we also have the distal split property, which states that if Λ_1 ⊂ Λ_2 are two cones with sufficiently separated boundaries, then there is a Type I factor M such that R_Λ_1 ⊂ M ⊂ R_Λ_2.

•Jan 1, 2023•0 citations

Spatial Localization of Relativistic Quantum Systems: The Commutativity Requirement and the Locality Principle. Part II: A Model from Local QFT

Valter Moretti

This paper is the second and final part of a two-part study. We construct positive-energy relativistic spatial localization observables in Minkowski spacetime within standard quantum field theory, using the stress--energy--momentum tensor smeared with suitable test functions. For each fixed timelike direction, the construction gives positive operator-valued measures (POVMs) on spacelike hypersurfaces, well defined on every $n$-particle sector and satisfying a relativistic causality condition excluding superluminal propagation of detection probabilities. The observables are built from local or quasi-local field-theoretic quantities, thus providing a rigorous version of earlier heuristic proposals. In the one-particle sector, the construction reduces to the observable previously introduced by the author, and its first moment gives the Newton--Wigner position operator under appropriate normalization and centering assumptions. Because the Reeh--Schlieder theorem prevents the normally ordered stress--energy--momentum tensor from being positive on the full Fock space, we use quantum energy inequalities to obtain lower bounds controlling deviations from positivity. This leads to regularized operator families, bounded from below, which approximate the localization effects. Finally, we define conditional localization observables for finite laboratories through modified local energy operators. By Haag duality, the corresponding conditional POVMs belong to local von Neumann algebras and commute for causally separated regions, in accordance with the Araki--Haag--Kastler framework. The results show how commutativity of localization observables is recovered for conditional measurements in finite spacetime regions.

math-phCross-listedarXiv:2604.04173•Letters in Mathematical Physics•Apr 7, 2026•0 citations

A nonabelian anyon violates Haag duality

Daniel Wallick, Henrik Wilming

We show that a superselction sector describing a single nonabelian anyon violates Haag duality, which is equivalent to the fundamental quantum-information theoretic principle of uniqueness of purifications. We provide a simple physics argument as well as a rigorous proof using sector theory, and instantiate our result concretely in Levin-Wen models. We also show that the associated ground state does not allow for quantum steering despite being a pure state. Finally, we show that this ground state violates approximate Haag duality, disproving the conjecture that all gapped ground states satisfy this condition. Our result implies that there are gapped phases of matter where Haag duality fails at every point in the phase.

quant-pharXiv:2609.01267•Sep 2, 2026•0 citations
The uniqueness of purifications of quantum states on a system A up to local unitary transformations on a purifying system B is central to quantum information theory. We show that, if the two systems are modeled by commuting von Neumann algebras M_{A} and M_{B} on a Hilbert space H, then uniqueness of purifications is equivalent to Haag duality M_{A}=M_{B}^{'}. In particular, the uniqueness of purifications can fail in systems with infinitely many degrees of freedom-even when M_{A} and M_{B} are commuting factors that jointly generate B(H) and hence allow for local tomography of all density matrices on H. We present a simple argument showing that the uniqueness of purifications, and, hence, Haag duality, fail in ground state sectors of topologically ordered models at renormalization group fixed points on infinite two-dimensional lattices, partitioned into the union of two spatially separated cones and its complement.
Haag duality is a remarkable property in QFT stating that the commutant of the algebra of observables localized in some region of spacetime is exactly the algebra associated to the causally disconnected region. It is a strong condition on the local structure and has direct consequences on entanglement measures. It was first shown to hold for a free scalar field and causal diamonds by Araki in 1964 and later by many authors in different ways. In particular, Eckmann and Osterwalder (EO) used Tomita-Takesaki modular theory to give a direct proof. However, it is not straightforward to relate this proof to the works of Araki, since they rely on two forms of the canonical commutation relations (CCR), called Segal and Weyl formulations, while EO work as starting point assumes that duality holds in the so-called “first quantization” in the Weyl formulation. It is our purpose to first introduce the works of Araki in a more easy-to-read but still rigorous and self-contained fashion, and show how Haag duality is stated in the Segal and Weyl formulations and in both first and second quantizations (and their immediate combination). This permits to understand the setting of the EO proof of Haag duality. There is nothing essentially new in this manuscript, with the exception of what we consider a simplification of EO proof that uses the adjoint S⁎ of the Tomita operator S instead of introducing several auxiliary operators. We hope this note will be useful for those seeking to understand where Haag duality comes from in a free scalar QFT.
In our previous article [arXiv:2307.12552], we introduced local topological order (LTO) axioms for abstract quantum spin systems which allow one to access topological order via a boundary algebra construction. Using the LTO axioms, we produced a canonical pure state on the quasi-local algebra, which gives a net of von Neumann algebras associated to a poset of cones in Rn\mathbb{R}^nRn. In this article, motivated by [arXiv:2509.23734], we introduce an axiom for LTOs which ensures Haag duality for cone-like regions using Tomita-Takesaki theory. We prove this axiom is satisfied for all known topologically ordered commuting projector models. We thus get an independent proof of Haag duality for the Levin-Wen string net models originally proved in [arXiv:2509.23734]. We also give a reflection positivity axiom for LTOs, connecting to the recent article [arXiv:2510.20662]. We again prove this axiom is satisfied for all known topologically ordered commuting projector models about some Z/2\mathbb{Z}/2Z/2-reflection symmetry.
In 1997, Kitaev introduced the toric code as an error-tolerant model for quantum computations, which has become a prominent model in recent years. This thesis is dedicated to providing a detailed exploration of Pieter Naaijkens’ work on the toric code in the thermodynamic limit. The primary focus of this thesis is providing an exposition on local Hamiltonians for the toric code and their ground states, showing that Haag duality holds for cones in the corresponding ground state representation. That is, given a cone Λ, the von Neumann algebras R_Λ and R_Λ_c of observables localized in Λ and Λ_c respectively are each other’s commutant. We also show that given Haag duality, we also have the distal split property, which states that if Λ_1 ⊂ Λ_2 are two cones with sufficiently separated boundaries, then there is a Type I factor M such that R_Λ_1 ⊂ M ⊂ R_Λ_2.
This paper is the second and final part of a two-part study. We construct positive-energy relativistic spatial localization observables in Minkowski spacetime within standard quantum field theory, using the stress--energy--momentum tensor smeared with suitable test functions. For each fixed timelike direction, the construction gives positive operator-valued measures (POVMs) on spacelike hypersurfaces, well defined on every nnn-particle sector and satisfying a relativistic causality condition excluding superluminal propagation of detection probabilities. The observables are built from local or quasi-local field-theoretic quantities, thus providing a rigorous version of earlier heuristic proposals. In the one-particle sector, the construction reduces to the observable previously introduced by the author, and its first moment gives the Newton--Wigner position operator under appropriate normalization and centering assumptions. Because the Reeh--Schlieder theorem prevents the normally ordered stress--energy--momentum tensor from being positive on the full Fock space, we use quantum energy inequalities to obtain lower bounds controlling deviations from positivity. This leads to regularized operator families, bounded from below, which approximate the localization effects. Finally, we define conditional localization observables for finite laboratories through modified local energy operators. By Haag duality, the corresponding conditional POVMs belong to local von Neumann algebras and commute for causally separated regions, in accordance with the Araki--Haag--Kastler framework. The results show how commutativity of localization observables is recovered for conditional measurements in finite spacetime regions.
We show that a superselction sector describing a single nonabelian anyon violates Haag duality, which is equivalent to the fundamental quantum-information theoretic principle of uniqueness of purifications. We provide a simple physics argument as well as a rigorous proof using sector theory, and instantiate our result concretely in Levin-Wen models. We also show that the associated ground state does not allow for quantum steering despite being a pure state. Finally, we show that this ground state violates approximate Haag duality, disproving the conjecture that all gapped ground states satisfy this condition. Our result implies that there are gapped phases of matter where Haag duality fails at every point in the phase.