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:2509.03589 · Journal of High Energy Physics

Disjoint additivity and local quantum physics

Daniel Harlow, Shu-Heng Shao, Jonathan Sorce, Manu Srivastava

Published Jun 3, 2026• 1 citation
arXivHTMLPDF

Abstract

A bstract Quantum systems of physical interest are often local, but there are at least three competing perspectives on how “locality” should be formalized: an algebraic framework, a path-integral framework, and a lattice framework. One puzzle in this competition is that systems with higher-form symmetries, which are perfectly local from the path-integral and lattice perspectives, can violate the algebraic principle of “additivity”. In this paper, we propose a resolution to this puzzle by introducing a weaker locality principle, disjoint additivity, which together with Haag duality should always be satisfied in local quantum systems. As evidence, we give examples in which disjoint additivity is preserved when ordinary additivity is violated; we show that Haag duality and disjoint additivity are satisfied in rather general lattice systems with local symmetry constraints; we give examples of nonlocal theories in which either disjoint additivity or Haag duality is violated; and finally we give examples of systems with nonlocal symmetry constraints in which disjoint additivity is violated, but can be restored by passing to a local “SymTFT” system in one higher dimension.

DOI
10.1007/jhep06(2026)025

Related papers

Additivity, Haag duality, and non-invertible symmetries

Shu-Heng Shao, Jonathan Sorce, Manu Srivastava

A bstract The algebraic approach to quantum field theory focuses on the properties of local algebras, whereas the study of (possibly non-invertible) global symmetries emphasizes global aspects of the theory and spacetime. We study connections between these two perspectives by examining how either of two core algebraic properties — “additivity” or “Haag duality” — is violated in a 1+1D CFT or lattice model restricted to the symmetric sector of a general global symmetry. For the Verlinde symmetry of a bosonic diagonal RCFT, we find that additivity is violated whenever the symmetry algebra contains an invertible element, while Haag duality is violated whenever it contains a non-invertible element. We find similar phenomena for the Kramers-Wannier and Rep(D 8 ) non-invertible symmetries on spin chains.

arXiv:2503.20863•Journal of High Energy Physics•Aug 1, 2025•7 citations

Algebraic locality and non-invertible Gauss laws

Nicholas Holfester, Jonathan Sorce

We study algebraic locality principles on a 2+1D closed lattice in the presence of a Gauss law for a non-invertible symmetry. Prior work in arXiv:2509.03589 showed that when enforcing the Gauss law of an invertible symmetry, the principle of "Haag duality" is preserved exactly, and "disjoint additivity" is preserved after appropriate treatment of discreteness artifacts. Here we show that for a large class of non-invertible on-site symmetries, Haag duality is preserved exactly only for sufficiently nice, "cuspless" regions. For cusped regions, we instead have a weak form of Haag duality that requires adding a collar. Our results apply to double models with a purely magnetic constraint, and to the more general framework of constraints induced by the on-site action of a Hopf algebra. In particular, we treat a class of extended string-net models explicitly. We also demonstrate disjoint additivity for double models based on a group, and a weakened form of disjoint additivity in the setting of a general Hopf algebra.

hep-thCross-listedarXiv:2605.21591•May 22, 2026•0 citations

Exploring the local orthogonality principle

Ana Belén Sainz, T. Fritz, Remigiusz Augusiak +4 more

Nonlocality is arguably one of the most fundamental and counterintuitive aspects of quantum theory. Nonlocal correlations could, however, be even more nonlocal than quantum theory allows, while still complying with basic physical principles such as no-signaling. So why is quantum mechanics not as nonlocal as it could be? Are there other physical or information-theoretic principles which prohibit this? So far, the proposed answers to this question have been only partially successful, partly because they are lacking genuinely multipartite formulations. In Fritz et al. [Nat. Commun. 4, 2263 (2013)], we introduced the principle of local orthogonality (LO), an intrinsically multipartite principle which is satisfied by quantum mechanics but is violated by nonphysical correlations. Here we further explore the LO principle, presenting additional results and explaining some of its subtleties. In particular, we show that the set of no-signaling boxes satisfying LO is closed under wirings, present a classification of all LO inequalities in certain scenarios, show that all extremal tripartite boxes with two binary measurements per party violate LO, and explain the connection between LO inequalities and unextendible product bases.

arXiv:1311.6699•Physical Review A•Mar 13, 2014•46 citations

The bond-algebraic approach to dualities

Emilio Cobanera, Gerardo Ortíz, Zohar Nussinov

An algebraic theory of dualities is developed based on the notion of bond algebras. It deals with classical and quantum dualities in a unified fashion explaining the precise connection between quantum dualities and the low temperature (strong-coupling)/high temperature (weak-coupling) dualities of classical statistical mechanics (or (Euclidean) path integrals). Its range of applications includes discrete lattice, continuum field and gauge theories. Dualities are revealed to be local, structure-preserving mappings between model-specific bond algebras that can be implemented as unitary transformations, or partial isometries if gauge symmetries are involved. This characterization permits us to search systematically for dualities and self-dualities in quantum models of arbitrary system size, dimensionality and complexity, and any classical model admitting a transfer matrix or operator representation. In particular, special dualities such as exact dimensional reduction, emergent and gauge-reducing dualities that solve gauge constraints can be easily understood in terms of mappings of bond algebras. As a new example, we show that the ℤ2 Higgs model is dual to the extended toric code model in any number of dimensions. Non-local transformations such as dual variables and Jordan–Wigner dictionaries are algorithmically derived from the local mappings of bond algebras. This permits us to establish a precise connection between quantum dual and classical disorder variables. Our bond-algebraic approach goes beyond the standard approach to classical dualities, and could help resolve the long-standing problem of obtaining duality transformations for lattice non-Abelian models. As an illustration, we present new dualities in any spatial dimension for the quantum Heisenberg model. Finally, we discuss various applications including location of phase boundaries, spectral behavior and, notably, we show how bond-algebraic dualities help constrain and realize fermionization in an arbitrary number of spatial dimensions.

arXiv:1103.2776•Advances In Physics•Sep 29, 2011•135 citations

Fracton Topological Holography

Yu-Tao Hu, Jie-Yu Zhang, Peng Ye

Topological holography (TH), or SymTFT, realizes symmetries and dualities of a quantum system as boundary data of a topological bulk in one higher dimension. We formulate fracton topological holography (FTH), extending this mechanism from liquid topological orders to fracton stabilizer codes. The construction is organized as a general four-stage framework: prepare the bulk model and compute its excitations, determine boundary data and admissible gapped top boundaries, identify the low-energy preserving operator algebra together with its symmetry, relation, and twist data, and then switch among top boundaries to compare the induced boundary descriptions. As a type-I example, we develop FTH for the X-cube model with smooth and rough top boundaries; for a minimal effective Hamiltonian, both yield transverse-field plaquette Ising models, with exchanged subsystem symmetry and twist data, and the boundary switch is implemented by a linear-depth local unitary sequential quantum circuit (SQC). As a type-II example, we formulate FTH for Haah's cubic code in the Laurent-polynomial stabilizer formalism and analyze the natural $(Z)$ and $(X)$ top boundaries, which induce two two-dimensional qubit systems related locally by exchanging generalized plaquette Ising and transverse-field terms and nonlocally by a symmetry--relation duality. These results show that FTH is a genuine extension of TH to both type-I and type-II fracton orders. FTH therefore provides a concrete framework for organizing and understanding duality, with the prospect of offering a systematic route to new dualities.

quant-pharXiv:2606.03582•Jun 3, 2026•0 citations

Quantum field theory and local contextual extensions

M Durevic

It is shown that quantum field theory admits at least one local and causal extension which gives the same statistical predictions. A general algebraic formalism for the study of such extensions is presented. Quantum field theory and the corresponding extensions are considered in the framework of the Haag-Kastler approach (1964). Obstruction due to the Bell inequalities is overcome by the use of a generalized probability theory.

Journal of Physics A Mathematical and General•Feb 7, 1992•8 citations
A bstract Quantum systems of physical interest are often local, but there are at least three competing perspectives on how “locality” should be formalized: an algebraic framework, a path-integral framework, and a lattice framework. One puzzle in this competition is that systems with higher-form symmetries, which are perfectly local from the path-integral and lattice perspectives, can violate the algebraic principle of “additivity”. In this paper, we propose a resolution to this puzzle by introducing a weaker locality principle, disjoint additivity, which together with Haag duality should always be satisfied in local quantum systems. As evidence, we give examples in which disjoint additivity is preserved when ordinary additivity is violated; we show that Haag duality and disjoint additivity are satisfied in rather general lattice systems with local symmetry constraints; we give examples of nonlocal theories in which either disjoint additivity or Haag duality is violated; and finally we give examples of systems with nonlocal symmetry constraints in which disjoint additivity is violated, but can be restored by passing to a local “SymTFT” system in one higher dimension.
A bstract The algebraic approach to quantum field theory focuses on the properties of local algebras, whereas the study of (possibly non-invertible) global symmetries emphasizes global aspects of the theory and spacetime. We study connections between these two perspectives by examining how either of two core algebraic properties — “additivity” or “Haag duality” — is violated in a 1+1D CFT or lattice model restricted to the symmetric sector of a general global symmetry. For the Verlinde symmetry of a bosonic diagonal RCFT, we find that additivity is violated whenever the symmetry algebra contains an invertible element, while Haag duality is violated whenever it contains a non-invertible element. We find similar phenomena for the Kramers-Wannier and Rep(D 8 ) non-invertible symmetries on spin chains.
We study algebraic locality principles on a 2+1D closed lattice in the presence of a Gauss law for a non-invertible symmetry. Prior work in arXiv:2509.03589 showed that when enforcing the Gauss law of an invertible symmetry, the principle of "Haag duality" is preserved exactly, and "disjoint additivity" is preserved after appropriate treatment of discreteness artifacts. Here we show that for a large class of non-invertible on-site symmetries, Haag duality is preserved exactly only for sufficiently nice, "cuspless" regions. For cusped regions, we instead have a weak form of Haag duality that requires adding a collar. Our results apply to double models with a purely magnetic constraint, and to the more general framework of constraints induced by the on-site action of a Hopf algebra. In particular, we treat a class of extended string-net models explicitly. We also demonstrate disjoint additivity for double models based on a group, and a weakened form of disjoint additivity in the setting of a general Hopf algebra.
Nonlocality is arguably one of the most fundamental and counterintuitive aspects of quantum theory. Nonlocal correlations could, however, be even more nonlocal than quantum theory allows, while still complying with basic physical principles such as no-signaling. So why is quantum mechanics not as nonlocal as it could be? Are there other physical or information-theoretic principles which prohibit this? So far, the proposed answers to this question have been only partially successful, partly because they are lacking genuinely multipartite formulations. In Fritz et al. [Nat. Commun. 4, 2263 (2013)], we introduced the principle of local orthogonality (LO), an intrinsically multipartite principle which is satisfied by quantum mechanics but is violated by nonphysical correlations. Here we further explore the LO principle, presenting additional results and explaining some of its subtleties. In particular, we show that the set of no-signaling boxes satisfying LO is closed under wirings, present a classification of all LO inequalities in certain scenarios, show that all extremal tripartite boxes with two binary measurements per party violate LO, and explain the connection between LO inequalities and unextendible product bases.
An algebraic theory of dualities is developed based on the notion of bond algebras. It deals with classical and quantum dualities in a unified fashion explaining the precise connection between quantum dualities and the low temperature (strong-coupling)/high temperature (weak-coupling) dualities of classical statistical mechanics (or (Euclidean) path integrals). Its range of applications includes discrete lattice, continuum field and gauge theories. Dualities are revealed to be local, structure-preserving mappings between model-specific bond algebras that can be implemented as unitary transformations, or partial isometries if gauge symmetries are involved. This characterization permits us to search systematically for dualities and self-dualities in quantum models of arbitrary system size, dimensionality and complexity, and any classical model admitting a transfer matrix or operator representation. In particular, special dualities such as exact dimensional reduction, emergent and gauge-reducing dualities that solve gauge constraints can be easily understood in terms of mappings of bond algebras. As a new example, we show that the ℤ2 Higgs model is dual to the extended toric code model in any number of dimensions. Non-local transformations such as dual variables and Jordan–Wigner dictionaries are algorithmically derived from the local mappings of bond algebras. This permits us to establish a precise connection between quantum dual and classical disorder variables. Our bond-algebraic approach goes beyond the standard approach to classical dualities, and could help resolve the long-standing problem of obtaining duality transformations for lattice non-Abelian models. As an illustration, we present new dualities in any spatial dimension for the quantum Heisenberg model. Finally, we discuss various applications including location of phase boundaries, spectral behavior and, notably, we show how bond-algebraic dualities help constrain and realize fermionization in an arbitrary number of spatial dimensions.
Topological holography (TH), or SymTFT, realizes symmetries and dualities of a quantum system as boundary data of a topological bulk in one higher dimension. We formulate fracton topological holography (FTH), extending this mechanism from liquid topological orders to fracton stabilizer codes. The construction is organized as a general four-stage framework: prepare the bulk model and compute its excitations, determine boundary data and admissible gapped top boundaries, identify the low-energy preserving operator algebra together with its symmetry, relation, and twist data, and then switch among top boundaries to compare the induced boundary descriptions. As a type-I example, we develop FTH for the X-cube model with smooth and rough top boundaries; for a minimal effective Hamiltonian, both yield transverse-field plaquette Ising models, with exchanged subsystem symmetry and twist data, and the boundary switch is implemented by a linear-depth local unitary sequential quantum circuit (SQC). As a type-II example, we formulate FTH for Haah's cubic code in the Laurent-polynomial stabilizer formalism and analyze the natural (Z)(Z)(Z) and (X)(X)(X) top boundaries, which induce two two-dimensional qubit systems related locally by exchanging generalized plaquette Ising and transverse-field terms and nonlocally by a symmetry--relation duality. These results show that FTH is a genuine extension of TH to both type-I and type-II fracton orders. FTH therefore provides a concrete framework for organizing and understanding duality, with the prospect of offering a systematic route to new dualities.