arxiv: 2605.10693 · v1 · submitted 2026-05-11 · 🧮 math-ph · cond-mat.str-el· math.MP· math.OA· quant-ph

Recognition: 2 theorem links

· Lean Theorem

Local topological order, Haag duality, and reflection positivity

Daniel Wallick, David Penneys, Pieter Naaijkens

Pith reviewed 2026-05-12 05:01 UTC · model grok-4.3

classification 🧮 math-ph cond-mat.str-elmath.MPmath.OAquant-ph

keywords local topological orderHaag dualityreflection positivitycommuting projector modelsLevin-Wen string netsvon Neumann algebrasquantum spin systemsTomita-Takesaki theory

0 comments

The pith

An added axiom for local topological order guarantees Haag duality for cone regions in quantum spin systems.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper adds one new axiom to the existing local topological order framework for abstract quantum spin systems. With this axiom the boundary algebra construction produces a net of von Neumann algebras that obeys Haag duality on cone-like regions, and the proof uses Tomita-Takesaki modular theory. The authors verify that the axiom holds in every known topologically ordered model built from commuting projectors. This immediately supplies an independent demonstration that Levin-Wen string-net models satisfy the duality. A second axiom for reflection positivity is introduced and shown to hold whenever the model admits a compatible Z/2 reflection symmetry.

Core claim

In prior work the local topological order axioms yield a canonical pure state and an associated net of von Neumann algebras indexed by cones. The new axiom ensures that this net satisfies Haag duality for cones, established directly from the modular theory of the boundary algebras. Every known topologically ordered commuting-projector model satisfies the axiom, furnishing a fresh proof of Haag duality for the Levin-Wen string-net models. A reflection-positivity axiom is likewise verified for all such models that possess a Z/2 reflection symmetry.

What carries the argument

The new LTO axiom that forces the net of von Neumann algebras arising from the boundary construction to satisfy Haag duality for cones, via Tomita-Takesaki modular operators.

If this is right

All known topologically ordered commuting-projector models obey Haag duality for cones.
Levin-Wen string-net models satisfy Haag duality by an argument independent of their original proof.
Models with Z/2 reflection symmetry obey reflection positivity inside the LTO framework.
The boundary-algebra net carries both duality and positivity properties whenever the axioms hold.
The modular-operator construction becomes available for any system meeting the strengthened LTO conditions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same axiomatic route could be checked on non-commuting-projector models or in higher dimensions to see whether duality persists.
Reflection positivity may allow the LTO nets to be compared with Euclidean lattice constructions that share the same symmetry.
One could numerically test the new axiom on finite patches of candidate models to decide whether it captures every instance of topological order.

Load-bearing premise

That the models under study already obey the base local topological order axioms and that the two new axioms are the minimal natural additions needed to obtain duality and positivity.

What would settle it

A concrete commuting-projector model with topological order that satisfies the base LTO axioms yet violates the new duality axiom while still failing Haag duality for some cone pair.

read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper adds two new LTO axioms to secure Haag duality via Tomita-Takesaki for cones and reflection positivity under Z/2 symmetry, then verifies both on all known commuting-projector models to give an independent proof for Levin-Wen string nets.

read the letter

The main addition is the pair of new axioms. One lets Tomita-Takesaki theory deliver Haag duality for cone regions once the base LTO setup is in place. The other encodes reflection positivity for a Z/2 reflection. Both are shown to hold for every known topologically ordered commuting projector model, which produces a separate proof that Haag duality applies to the Levin-Wen string nets originally treated in the cited 2024 work. That verification step is the concrete advance over the prior LTO paper. It keeps the argument general rather than model-specific and relies on standard operator-algebra facts after the axioms are assumed. The citation pattern is straightforward and points to the right recent papers on duality and positivity without padding. The soft spot is the dependence on the base LTO axioms from the 2023 paper. This manuscript does not re-check those base properties for the models, so the new results only apply where the earlier axioms already hold. For commuting-projector cases that is likely fine, but it means readers must consult the prior work to confirm the full chain. No circularity appears in the new parts themselves. This is for people working on axiomatic approaches to topological order in quantum spin systems. Anyone who wants a uniform way to obtain duality and positivity without redoing lattice calculations each time will get direct value. It deserves peer review because the claims are specific, the proofs are stated as independent, and the scope is clearly delimited.

Referee Report

1 major / 2 minor

Summary. The paper extends the authors' prior local topological order (LTO) axioms by introducing a new axiom ensuring Haag duality for cone-like regions via Tomita-Takesaki theory. It proves this axiom holds for all known topologically ordered commuting projector models, yielding an independent proof of Haag duality for Levin-Wen string-net models. A reflection-positivity axiom is also introduced and verified for models admitting a Z/2-reflection symmetry.

Significance. If the derivations hold, the work meaningfully strengthens the LTO framework by embedding it within standard operator-algebraic tools, providing parameter-free verifications for concrete models and an alternative route to Haag duality. The explicit checks for known commuting-projector Hamiltonians and the link to reflection positivity are genuine strengths that could support further applications in lattice quantum field theory.

major comments (1)

The proofs that the new Haag-duality axiom holds for commuting-projector models rest on the canonical pure state and cone von Neumann algebra net constructed from the base LTO axioms of arXiv:2307.12552. The manuscript does not re-derive or cite the precise locations where those base axioms are verified for the models under consideration (e.g., Levin-Wen string nets). Because Tomita-Takesaki modular theory is applied directly to this net, the applicability of the new results is not fully self-contained within the present text.

minor comments (2)

The abstract refers to 'all known topologically ordered commuting projector models' without enumerating them or pointing to a table or section that lists the models and the references establishing their LTO status.
Notation for the poset of cones and the associated net of von Neumann algebras should be introduced once and used uniformly; occasional shifts between 'cone-like regions' and 'cones in R^n' can be clarified.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comment below.

read point-by-point responses

Referee: The proofs that the new Haag-duality axiom holds for commuting-projector models rest on the canonical pure state and cone von Neumann algebra net constructed from the base LTO axioms of arXiv:2307.12552. The manuscript does not re-derive or cite the precise locations where those base axioms are verified for the models under consideration (e.g., Levin-Wen string nets). Because Tomita-Takesaki modular theory is applied directly to this net, the applicability of the new results is not fully self-contained within the present text.

Authors: We agree that the present manuscript would benefit from greater self-containment on this point. While the base LTO axioms and the construction of the canonical pure state and cone von Neumann algebra net are established in our prior work [arXiv:2307.12552], we will add explicit citations to the precise theorems, propositions, and sections of that paper where these axioms are verified for the relevant commuting-projector models (including Levin-Wen string nets). This will clarify the applicability of Tomita-Takesaki theory without requiring a full re-derivation in the current text. We view this as a straightforward improvement. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new axioms and verifications are independent of base setup

full rationale

The paper introduces a new LTO axiom ensuring Haag duality via Tomita-Takesaki theory and a reflection-positivity axiom, then proves both hold for all known topologically ordered commuting projector models (including Levin-Wen string nets) using standard operator-algebra results. The base LTO axioms and canonical state/net construction are referenced from the prior self-cited work, but this manuscript does not treat them as outputs to be predicted or redefined; instead it assumes the framework and adds independent content whose verification does not reduce to the inputs by construction. No equations equate a derived quantity to a fitted parameter or self-referential definition, no uniqueness theorem is imported to forbid alternatives, and no ansatz is smuggled via citation. The claimed independent proof of Haag duality for Levin-Wen models is obtained by applying the new axiom within the existing framework rather than by circular re-derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the two newly introduced LTO axioms, the base LTO axioms from the authors' prior paper, and the applicability of Tomita-Takesaki theory to the von Neumann algebras generated by cone algebras. No free parameters or new physical entities are introduced.

axioms (2)

standard math Tomita-Takesaki modular theory applies to the von Neumann algebras associated with the poset of cones.
Invoked to obtain Haag duality from the new LTO axiom.
domain assumption The models under consideration satisfy the base LTO axioms of the prior paper.
Required for the verification statements to apply.

pith-pipeline@v0.9.0 · 5506 in / 1362 out tokens · 55634 ms · 2026-05-12T05:01:18.030904+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
We introduce an axiom for LTOs which ensures Haag duality for cone-like regions using Tomita-Takesaki theory... (LTO-HD) ... (LTO-RP) ... canonical pure state ψ ... net of von Neumann algebras A(Λ) := A(Λ)'' on L²(A,ψ)
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
reflection positivity axiom for LTOs ... modular automorphism group σ_ψ ... J_ω ... Δ_ω

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

Alicki, M

[AFH07] R. Alicki, M. Fannes, and M. Horodecki. A statistical mechanics view on Kitaev’s proposal for quan- tum memories.J. Phys. A, 40(24):6451–6467, 2007.MR2345476 DOI:10.1088/1751-8113/40/24/012 arXiv:quant-ph/0702102. [BBC+25] Anupama Bhardwaj, Tristen Brisky, Chian Yeong Chuah, Kyle Kawagoe, Joseph Keslin, David Pen- neys, and Daniel Wallick. Superse...

work page doi:10.1088/1751-8113/40/24/012 2007
[2]

Hastings

[BH11] Sergey Bravyi and Matthew B. Hastings. A short proof of stability of topological order under local per- turbations.Comm. Math. Phys., 307(3):609–627, 2011.MR2842961 DOI:10.1007/s00220-011-1346-2 arXiv:1001.4363. [BHM10] Sergey Bravyi, Matthew B. Hastings, and Spyridon Michalakis. Topological quantum order: stability under local perturbations.J. Mat...

work page doi:10.1007/s00220-011-1346-2 2011
[3]

The double semion state in infinite volume.Annales Henri Poincar´ e, 2024.DOI:10.1007/s00023-024-01445-y arXiv:2306.13762

[BKM24] Alex Bols, Boris Kjær, and Alvin Moon. The double semion state in infinite volume.Annales Henri Poincar´ e, 2024.DOI:10.1007/s00023-024-01445-y arXiv:2306.13762. [BV25] Alex Bols and Siddharth Vadnerkar. Classification of the anyon sectors of Kitaev’s quan- tum double model.Comm. Math. Phys., 406(8):Paper No. 188, 68, 2025.MR4927817 DOI:10.1007/s0...

work page doi:10.1007/s00023-024-01445-y 2024
[4]

[DHR71] Sergio Doplicher, Rudolf Haag, and John E

DOI:10.1103/PhysRevB.107.155136 arXiv:2203.03596. [DHR71] Sergio Doplicher, Rudolf Haag, and John E. Roberts. Local observables and particle statistics. I.Comm. Math. Phys., 23:199–230, 1971.MR0297259. [DHR74] Sergio Doplicher, Rudolf Haag, and John E. Roberts. Local observables and particle statistics. II. Comm. Math. Phys., 35:49–85, 1974.MR334742. [DL8...

work page doi:10.1103/physrevb.107.155136 1971
[5]

MR4945955 DOI:10.1017/fms.2025.16 arXiv:2307.12552

With an appendix by Masaki Izumi. MR4945955 DOI:10.1017/fms.2025.16 arXiv:2307.12552. [Jon24] Corey Jones. DHR bimodules of quasi-local algebras and symmetric quantum cellular automata.Quan- tum Topol., 15(3):633–686, 2024.MR4814692 DOI:10.4171/qt/216 arXiv:2304.00068. [JPS] Corey Jones, David Penneys, and Shu-Heng Shao. Fusion category symmetries on anyo...

work page doi:10.1017/fms.2025.16 2025
[6]

Fault-tolerant quantum computation by anyons

MR1951039 DOI:10.1016/S0003-4916(02)00018-0 arXiv:quant-ph/9707021. [Kit06] Alexei Kitaev. Anyons in an exactly solved model and beyond.Annals of Physics, 321(1):2–111,

work page Pith review doi:10.1016/s0003-4916(02)00018-0
[7]

Anyons in an exactly solved model and beyond

January Special Issue.DOI:10.1016/j.aop.2005.10.005 arXiv:cond-mat/0506438. [KLPG19] Michael J. Kastoryano, Angelo Lucia, and David Perez-Garcia. Locality at the boundary implies gap in the bulk for 2D PEPS.Comm. Math. Phys., 366(3):895–926, 2019.arXiv:1709.07691 MR3927082 DOI:10.1007/s00220-019-03404-9. 28 [Kon14] L. Kong. Some universal properties of Le...

work page Pith review doi:10.1016/j.aop.2005.10.005 2005
[8]

[LW05] Michael A

Advanced theory, Corrected reprint of the 1986 original.MR1468230 DOI:10.1090/gsm/016. [LW05] Michael A. Levin and Xiao-Gang Wen. String-net condensation: A physical mechanism for topologi- cal phases.Phys. Rev. B, 71:045110, Jan 2005.DOI:10.1103/PhysRevB.71.045110 arXiv:cond-mat/ 0404617. [LZ25] Zhengwei Liu and Zishuo Zhao. Constructing local symmetric ...

work page doi:10.1090/gsm/016 1986
[9]

Localized endomorphisms in Kitaev’s toric code on the plane.Rev

[Naa11] Pieter Naaijkens. Localized endomorphisms in Kitaev’s toric code on the plane.Rev. Math. Phys., 23(4):347–373, 2011.MR2804555 DOI:10.1142/S0129055X1100431X arXiv:1012.3857. [Naa12] Pieter Naaijkens. Haag duality and the distal split property for cones in the toric code.Lett. Math. Phys., 101(3):341–354, 2012.MR2956822 DOI:10.1007/s11005-012-0572-7...

work page doi:10.1142/s0129055x1100431x 2011
[10]

[Oga22] Yoshiko Ogata

MR4700364 DOI:10.1007/s11005-023-01767-8 arXiv:2102.07209. [Oga22] Yoshiko Ogata. A derivation of braidedC ∗-tensor categories from gapped ground states satisfy- ing the approximate Haag duality.J. Math. Phys., 63(1):Paper No. 011902, 48, 2022.MR4362722, DOI:10.1063/5.0061785,arXiv:2106.15741. [Oga24] Yoshiko Ogata. Type of local von Neumann algebras in a...

work page doi:10.1007/s11005-023-01767-8 2022
[11]

On frustration-free quantum spin models

[OPS25] Danilo Polo Ojito, Emil Prodan, and Tom Stoiber. On frustration-free quantum spin models. arXiv:2507.03201,

work page arXiv
[12]

[Pen20] David Penneys

With an appendix by Stephen Summers.MR376002. [Pen20] David Penneys. Unitary dual functors for unitary multitensor categories.High. Struct., 4(2):22–56, 2020.MR4133163 arXiv:1808.00323. [Pop86] Sorin Popa. Correspondences. INCREST Preprint,

work page arXiv 2020
[13]

[Sim25] Barry Simon.Phase Transitions in the Theory of Lattice Gases

available athttp://www.math.ucla.edu/ ~popa/popa-correspondences.pdf. [Sim25] Barry Simon.Phase Transitions in the Theory of Lattice Gases. New Mathematical Monographs. Cambridge University Press, 2025.DOI:10.1017/9781108649117. [SSS25] Shu-Heng Shao, Jonathan Sorce, and Manu Srivastava. Additivity, Haag duality, and non-invertible symmetries.JHEP, 2025(8...

work page doi:10.1017/9781108649117 2025
[14]

Tohoku Math

MR100798,DOI:10.2748/tmj/1178244749. [Tak72] Masamichi Takesaki. Conditional expectations in von Neumann algebras.J. Functional Analysis, 9:306– 321, 1972.MR0303307. [Tak74] Masamichi Takesaki. Faithful states on aC ∗-algebra.Pacific J. Math., 52:605–610, 1974.MR355622. [Tak02] Masamichi Takesaki.Theory of operator algebras. I, volume 124 ofEncyclopaedia ...

work page doi:10.2748/tmj/1178244749 1972
[15]

[Tak03] Masamichi Takesaki.Theory of operator algebras

Reprint of the first (1979) edition, Operator Algebras and Non-commutative Geometry, 5, ISBN: 3-540-42248-X,MR1873025. [Tak03] Masamichi Takesaki.Theory of operator algebras. II, volume 125 ofEncyclopaedia of Mathematical Sci- ences. Springer-Verlag, Berlin,

work page 1979
[16]

[vLSW26] Lauritz van Luijk, Alexander Stottmeister, and Henrik Wilming

Operator Algebras and Non-commutative Geometry, 6MR1943006. [vLSW26] Lauritz van Luijk, Alexander Stottmeister, and Henrik Wilming. Uniqueness of purifications is equivalent to Haag duality.Phys. Rev. Lett., 136(4):Paper No. 040203, 6, 2026.MR5026085 DOI:10.1103/d7nm-gx37 arXiv:2509.12911. [Yam04] Shigeru Yamagami. Frobenius duality inC ∗-tensor categorie...

work page doi:10.1103/d7nm-gx37 2026
[17]

29 [Zan01] Paolo Zanardi

MR2091457. 29 [Zan01] Paolo Zanardi. Stabilizing quantum information.Phys. Rev. A (3), 63(1):012301, 4, 2001.MR1816609 DOI:10.1103/PhysRevA.63.012301 arXiv:quant-ph/9910016. 30

work page doi:10.1103/physreva.63.012301 2001