An entropic characterization of Haag duality

arXiv:2609.13550 · quant-ph, cond-mat.str-el, math-ph, math.MP, math.OA · Submitted 2026-09-11 · Read on arXiv

Listen

Radio episode about this paper

Transcript

Introduction to the show: ident: Quantum Radio. Generated commentary on the latest quantum physics and condensed matter papers.

Kai: Today's paper: "An entropic characterization of Haag duality".

Mira: Haag duality for quantum spin systems can be characterized by an entropic criterion involving conditional mutual information, providing a model-independent method for proving this property.

Kai: First, who's behind it and why it matters.

Paper summary: Kai: So we're here talking about "An entropic characterization of Haag duality," and it looks like this paper aims to provide a model-independent way to prove that property for quantum spin systems. It seems the main thesis revolves around connecting the algebraic condition of Haag duality with the behavior of conditional mutual information in a specific limit.

Mira: Exactly, Kai, from my perspective as a condensed matter theorist, it's interesting how they're using this entropic criterion involving conditional mutual information to characterize whether Haag duality holds for regions in the GNS representation of a pure state. It suggests that you don't need to assume the duality upfront; you can test it by looking at how these mutual information quantities behave as we consider larger and larger regions.

Lev: From my side, if this connection holds, it’s important because we need concrete ways to check this on actual quantum hardware. If we could measure or simulate this vanishing limit of the conditional mutual information, that would give us a way to verify if the underlying structure behaves according to Haag duality in practice.

Kai: Right, so what they're claiming is that for a region A in the GNS representation of a pure state omega, Haag duality holds if and only if the limit of I(D r: D c R A r, R) omega vanishes as R goes to infinity, according to Equation eleven <ref:2609.13550#pg1>. That's what they call the abstract theorem in "An entropic characterization of Haag duality."

Mira: That vanishing limit is the core mechanism here, and it’s significant because it provides a way to prove Haag duality without having to assume it first, which is something that's been a hurdle in the literature for quite some time <ref:2609.13550#pg1>. It links an algebraic property of commuting factors generated by increasing sequences of finite matrix algebras to an asymptotic limit on information measures.

Lev: When we think about running this on hardware, I'm thinking about how computationally feasible that limit is. If the calculation requires taking a limit over R going to infinity, we need a way to approximate that behavior reliably without needing infinite resources, which brings up some practical hurdles for error correction setups.

Kai: Speaking of spin systems specifically, the paper applies this abstract result to quantum spin systems in arbitrary dimension, focusing on regions defined as cones. They formalize this by saying that Haag duality holds if and only if the limit of that mutual information vanishes as r goes to infinity for each fixed r > zero which is Theorem B.

Paper summary: Mira: And they connect this geometric condition to something more physical: they show it's equivalent to saying that in the regime where R is much larger than r, conditioning on the part of A inside a spherical shell between radius r and R removes almost all correlations between the ball of radius r and everything outside that shell.

Lev: That idea about removing correlations as you move out to infinity sounds like something we'd want to see in a system where locality is well-defined, but I wonder how precisely we could measure that "almost all" correlation removal without introducing measurement noise into the system itself.

Kai: Moving on to the two-dimensional spin systems, they use an assumed entanglement law, S(X) omega = alpha d X - gamma b zero(d X) + o(one), and show that for a union of n disjoint cones, the conditional mutual information simplifies to two(n - one) gamma + o(one). The conclusion they draw here is that this limit is zero if and only if gamma = zero or n = one.

Mira: That's where it gets really interesting for us in two dimensions, because they link the vanishing of this mutual information directly to the topological entanglement entropy when gamma goes to zero. If you have a union of cones, Haag duality is equivalent to the topological entanglement entropy vanishing precisely when gamma = zero.

Lev: If we look at error correction, that implies that if we want a system exhibiting this type of structure where Haag duality holds, the underlying physics must naturally suppress this specific entanglement term gamma for any configuration of cones larger than one. That puts a constraint on what kinds of states can actually be physically realizable in that setting.

Kai: And finally, for one-dimensional systems, they establish a direct equivalence where half-chain Haag duality holds if and only if the entropy density is zero. They show this by showing that the conditional mutual information simplifies to 2ms, and taking the limit as n goes to infinity means that for each m, the conditional mutual information vanishes in that limit only when the entropy density s is zero <ref:2609.13550#pg0>.

Paper summary: Mira: That result ties it all together nicely, showing how a specific physical property, zero entropy density, dictates whether half-chain Haag duality holds for translation-invariant pure states on spin chains. It connects algebraic structure to thermodynamic properties of the state.

Lev: For quantum error correction researchers, the zero entropy density conjecture is a strong condition because it suggests a very specific type of entanglement structure in 1D systems that might be amenable to certain types of stabilizer codes or other structures we study <ref:2609.13550#pg0>.

Kai: Moving into the broader context, this paper "An entropic characterization of Haag duality" by Ruizhi Liu and Lauritz van Luijk really focuses on providing this entropic criterion as a way to prove the property for spin systems. The authors show that Haag duality is equivalent to a specific asymptotic vanishing of conditional mutual information.

Mira: What's important about this paper is how it specializes the abstract result from commuting factors to concrete quantum spin systems, specifically looking at cones in arbitrary dimension and relating it to topological entanglement entropy in two dimensions. It’s a useful tool because it offers a model-independent method for characterizing these properties based on information measures.

Lev: From an error correction viewpoint, if this entropic characterization proves useful, we might be able to use these vanishing limits as diagnostic tools to quickly assess the structural integrity of a quantum state without needing to perform exhaustive simulations of the full algebraic structure.

Kai: In conclusion, by focusing on regions defined by increasing sequences of finite matrix algebras and using von Neumann entropy in the mutual information formula, they prove that Haag duality is tied to this asymptotic behavior. This provides a powerful new lens for analyzing spin systems across different dimensions.

Mira: The implication is that we can characterize whether these fundamental properties hold by observing how correlations decay in specific geometric configurations, which gives us a strong link between abstract algebra and observable information theory. It suggests that the vanishing of topological entanglement entropy is a key physical indicator for certain configurations of cones.

Lev: For the future, I think the real test will be developing protocols that can actually measure this conditional mutual information in an experimental setting to verify these vanishing limits on real quantum systems, rather than just proving it mathematically through limits.

Kai: That sounds like exactly where we need to head next: moving from the theoretical proof of vanishing limits to the experimental verification of those information properties on physical spin systems.

Conclusion: Kai: So, to wrap up this discussion on "An entropic characterization of Haag duality," we’ve seen how this paper uses conditional mutual information to provide a way to check if Haag duality holds for spin systems based on how those information measures behave at large scales.

Mira: Exactly, Kai; the authors are essentially showing that you can use entanglement information—specifically conditional mutual information—as a diagnostic tool to verify a fundamental algebraic property of quantum field theory setups without having to assume that property beforehand.

Lev: From my side, I’m thinking about how this approach could translate into error correction protocols; if we can measure this vanishing limit, it gives us a concrete metric for assessing the structural integrity of a state's entanglement when scaled up.

Kai: It seems the core contribution here is bridging that gap between abstract algebraic conditions and measurable information quantities for quantum spin systems.

Mira: Right, I think the real power lies in this model-independent method; it doesn't rely on specific models, but just on how correlations must behave asymptotically to satisfy Haag duality.

Lev: That means we can test more general theoretical frameworks against actual experimental data rather than just relying on idealized mathematical constructions.

Kai: So, the authors are essentially giving us a new way to probe the structure of quantum systems by looking at how information scales with system size and geometry.

Mira: Precisely; it’s about finding that specific vanishing limit in conditional mutual information that serves as a necessary and sufficient condition for Haag duality in these contexts.

Lev: I wonder if this framework could help us simplify the analysis of complex error-correcting codes by providing a clear entropic benchmark.

Kai: It really suggests we can use information theory to guide our intuition about what kinds of quantum states are structurally sound according to Haag duality.

Mira: And that leads directly into the broader implications of how this relates to topological entanglement entropy in two dimensions, which we touched on earlier.

Lev: If those links hold up, it could open avenues for designing states that exhibit specific entanglement scaling properties necessary for robust quantum information processing.

Kai: So, we've seen the mechanics of how they define these criteria and what the results are for different dimensions and systems.

Mira: Moving forward, this paper sets a strong foundation by showing that an entropic criterion is a viable path toward proving fundamental duality properties in quantum many-body systems.

Lev: The next step, I think, would be to see how these vanishing limits constrain the physical parameters of states we actually try to construct in labs.

Perimeter Institute for Theoretical Physics · Department of Mathematics and Statistics, Dalhousie University, Nova Scotia, Canada · Institute for Quantum Computing, University of Waterloo, Ontario, Canada

quant-ph, cond-mat.str-el, math-ph, math.MP, math.OA

Submitted: 2026-09-11

Updated: 2026-10-01

Comments: Comments welcome, 14 pages

License: http://creativecommons.org/licenses/by/4.0/

Importance score: 83/100

The gist: Haag duality for quantum spin systems can be characterized by an entropic criterion involving conditional mutual information, providing a model-independent method for proving this property.

Key concepts

Haag Duality
This is an algebraic condition in quantum field theory that describes how local regions of space are related. The paper shows this abstract property can be verified by looking at entanglement measures, specifically whether correlations between a region and its exterior diminish as the region grows large.
Conditional Mutual Information
This is a measure of correlation between two parts of a quantum system when you already know information about a third part. The paper uses this quantity to test Haag duality; if this information vanishes in a specific limit, it proves the duality holds for that region.
Topological Entanglement Entropy
This concept relates to the entanglement structure of two-dimensional spin systems. The paper shows that for certain configurations, Haag duality is equivalent to this topological entropy being zero. This links the algebraic property directly to a specific physical measure of entanglement in 2D systems.
Entropy Density
In one-dimensional spin chains, the paper connects half-chain Haag duality to the zero entropy density conjecture. It proves that if you look at how correlations behave in an infinitely long chain, the duality holds if and only if this density measure of entanglement is zero.

Terminology

Summary

Haag duality for quantum spin systems can be characterized by an entropic criterion involving conditional mutual information, providing a model-independent method for proving this property.

Abstract Theorem

The central result establishes an equivalence between the algebraic condition of Haag duality and a vanishing asymptotic limit of a specific conditional mutual information. Specifically, it states that Haag duality holds for a region A in the GNS representation of a pure state if and only if the limit of the conditional mutual information, defined as:

I(Dr: Dc R Ar,R)ω (Equation 11), vanishes as r → ∞. This provides an model-independent method of proving Haag duality for quantum spin systems.

Characterization in Quantum Spin Systems

The paper specializes this abstract result to quantum spin systems in arbitrary dimension, focusing on the region A being a cone. The criterion is formalized by Theorem B: "Haag duality holds for the region A in the GNS representation of the pure state ω if and only if lim R→∞ I(Dr: Dc R Ar,R)ω (Equation 11) vanishes as r → ∞ if and only if (11) is zero for each r > 0. This criterion is applied to analyze regions defined by increasing families of finite regions (Dr), leading to the core relationship: Haag duality holds for a region A in the sector of a pure state of a quantum spin system in arbitrary dimension precisely when, in the regime R ≫ r, conditioning on the part of A in a spherical shell of inner radius r and outer radius R removes almost all correlations between the ball of radius r and the exterior of the ball of radius R."

Entanglement Laws and Topological Entanglement Entropy

The analysis for two-dimensional spin systems utilizes an assumed entanglement law: S(X)ω = α∂X − γ b0(∂X) + o(1), where S(X)ω is the von Neumann entropy. For a union of n disjoint cones, this leads to the conditional mutual information being calculated as:

I(Dr: Dc R Ar,R)ω = 2(n − 1)γ + o(1). The paper concludes that This limit is zero if and only if γ = 0 or n = 1. This demonstrates that for unions of two or more disjoint cones, Haag duality is equivalent to the vanishing of the topological entanglement entropy, as the limit vanishes when γ = 0.

One-Dimensional Systems and Entropy Density

For translation-invariant pure states on a one-dimensional spin chain, Theorem C establishes a direct equivalence: half-chain Haag duality holds in the GNS representation if and only if the entropy density is zero. The paper proves this by showing that the conditional mutual information simplifies to:

I(Dm: Dc n Am,n)ω = 2ms. By taking the limit as n → ∞, the conditional mutual information vanishes in the limit n → ∞ for each m if and only if the entropy density s is zero. This links half-chain Haag duality to the zero entropy density conjecture.

Algebraic Framework and Duality Formulas

The abstract entropic theorem is derived from a broader framework involving commuting factors generated by increasing sequences of finite matrix algebras (An)n. The conditional mutual information is defined using the von Neumann entropy S(X)ω:

I(Dm: Cn Am,n)omega = S(Dm ∨ Am,n) + S(Cn ∨ Am,n) − S(Am,n) − S(Dm ∨ Cn ∨ Am,n). The proof relies on Lemma 3.2 and the duality formula for conditional entropy (Lemma 2.1), which shows that the entropic condition in Theorem 3.1 is equivalent to the vanishing of a difference of conditional entropies: H(Dm Am,∞)omega − H(Dm Bm,∞)omega vanishing as m → ∞. This ultimately proves Haag duality by showing that if it holds, then Abm,∞ = Am,∞, which implies the necessary entropy balance.

Approximate Recovery and Non-Faithful Cases

The paper extends the results to handle approximate scenarios using the approximate recovery theorem (Lemma A.1). This allows for a proof of Haag duality without assuming faithfulness of marginal states. The key inequality derived is:

I(Dm: Abm,∞)omega − I(Dm: Am,∞)omega ≥ 1/4∥ωDm∨Abm,∞ − ωDm∨Am,n ◦ (idDm ⊗ αm)∥2. This inequality shows that the defect in the data-processing inequality goes to zero as m becomes large. This is used to show that a general element x ∈ Ab is the weak limit of elements in A, thereby proving A = Ab = B′.

Improvements for AI systems

Here are the specific improvements to AI systems derived from this research, focusing on areas where quantum information and topological order concepts intersect:

  1. Improved Quantum State Characterization via Entropic Diagnostics:

  2. Entanglement Structure Mapping for Topological Phases:

  3. Robustness Testing Against Quasi-Local Perturbations:

  4. Efficient Computation of Correlation Limits in Large Systems:

  1. Improved Quantum State Characterization via Entropic Diagnostics

The paper establishes a direct link between the algebraic property of Haag duality (a fundamental concept in local quantum field theory and many-body physics) and the asymptotic vanishing of conditional mutual information, specifically within the context of increasing sequences of finite-dimensional matrix algebras.

The improved AI system can:

"Perform rigorous, model-independent diagnostics on quantum state representations (GNS representations) to determine if a given sector satisfies Haag duality. Specifically, it can calculate the conditional mutual information between a localized region and its exterior as an asymptotic limit of increasing finite approximations. If this limit vanishes as required by Theorem 3.1, the system is definitively characterized as satisfying Haag duality for that region."

  1. Entanglement Structure Mapping for Topological Phases

The research demonstrates that specific topological features, such as the vanishing of topological entanglement entropy (related to the constant γ in Eq. 13), are mathematically equivalent to the failure or success of Haag duality for unions of disjoint cones.

The improved AI system can:

"Analyze complex quantum spin chain states (e.g., those exhibiting long-range entanglement) and automatically extract their topological invariants (like topological entanglement entropy, γ). By testing if this invariant is zero, the system can be classified as satisfying or violating Haag duality for specific geometric configurations of regions (cones), providing a powerful tool to distinguish between different phases of matter based on their algebraic structure."

  1. Robustness Testing Against Quasi-Local Perturbations

The paper investigates whether Haag duality is preserved under finite-depth quantum circuits, finding that it is generally not preserved (i.e., a state with zero entropy density can be mapped to one with non-zero topological entanglement entropy). Furthermore, the work introduces Approximate Petz recovery maps to quantify the defect when such circuits are applied.

The improved AI system can:

"Evaluate the resilience of quantum states against realistic physical operations (quasi-local unitaries or finite-depth circuits). The system can use the derived approximate recovery theorems to quantify how much a state's entanglement properties (like Haag duality) change when subjected to local perturbations, allowing for predictive modeling of decoherence and error propagation in quantum hardware."

  1. Efficient Computation of Correlation Limits in Large Systems

The core result involves relating the vanishing of conditional mutual information in the limit to the vanishing of entropy density (for translation-invariant states). The system can use this equivalence to bypass computationally expensive direct calculation of infinite correlation limits.

The improved AI system can:

"For large, translation-invariant quantum systems (like spin chains), instead of performing direct, intractable calculations involving infinite sums or limits, the system can compute the entropy density from simpler local measurements. This allows it to efficiently determine whether a state possesses half-chain Haag duality by simply checking if its calculated entropy density is zero."

Abstract

Motivated by Haag duality in quantum spin systems, we show that Haag duality for a pair of commuting factors generated by increasing sequences of finite-dimensional matrix algebras is equivalent to the asymptotic vanishing of a suitable conditional mutual information. For spin systems, let an annulus separate a finite region from the exterior. Haag duality then holds for a region A if and only if the mutual information of the inner region and the exterior, conditioned on the part of A inside the annulus, vanishes as the outer radius becomes large. As a corollary, assuming a strict area law with subleading corrections, Haag duality holds for single cones, and it holds for unions of two or more disjoint cones precisely when the topological entanglement entropy vanishes. For translation-invariant pure states on spin chains, half-chain Haag duality is equivalent to vanishing entropy density.

Sources

Related papers