Algebraic locality and non-invertible Gauss laws

This paper investigates algebraic locality principles on 2+1D closed lattices with non-invertible Gauss laws, demonstrating that while Haag duality holds exactly for "cuspless" regions, it requires a collar-induced weak form for cusped regions, and establishing both standard and weakened disjoint additivity for double models and general Hopf algebra constraints.

The Gist

The Big Picture: Rules of the Game

Imagine a giant, complex board game played on a grid (like a lattice). In this game, every square and line has a specific "state" or value. Usually, if you want to know what's happening in a specific neighborhood of the board, you just look at the pieces in that neighborhood. This is what physicists call locality: things only affect their immediate neighbors.

However, this game has a special rulebook called a Gauss Law. Think of this like a strict referee who enforces a rule: "The total value of all pieces touching a specific point must add up to zero (or equal a specific number)."

• The Old Way (Invertible Symmetry): In previous studies, the referee enforced rules based on simple groups (like rotating a square by 90 degrees). The researchers found that if you followed these rules, the "locality" of the game worked perfectly. If you knew everything about a neighborhood, you knew everything you could possibly know about it, and nothing else.
• The New Way (Non-Invertible Symmetry): This paper looks at a more complicated referee. This referee enforces rules based on "non-invertible" symmetries. Think of this as a rule where you can't just "undo" a move to get back to the start. It's like a puzzle where pieces can merge or split in ways that don't have a simple reverse button.

The authors ask: When we enforce these complicated, non-reversible rules, does the game still play by the standard rules of locality?

The Main Discovery: The "Cusp" Problem

The researchers found that the answer is "Yes, but..."

They discovered that the standard rules of locality (specifically something called Haag duality) hold true perfectly only if the neighborhood you are looking at is "nice" and smooth.

• The "Cuspless" Region (Smooth Neighborhood): Imagine a neighborhood shaped like a perfect circle or a square. If you look at the edges of this shape, they connect smoothly. In these cases, the complicated rules work exactly as expected. The information inside the neighborhood is self-contained.
• The "Cusped" Region (The Jagged Edge): Now, imagine a neighborhood that looks like a star or a shape with a sharp, inward-pointing corner (a "cusp").
  • The Analogy: Imagine you are trying to describe a room in a house. If the room is a perfect box, you can describe the walls, floor, and ceiling easily. But if the room has a weird, jagged nook where two walls meet at a sharp angle, and you try to describe only the inside of that nook without including the corner itself, you run into a problem.
  • The Result: In these "cusped" regions, the strict rules of locality break down. The information inside the region isn't quite enough to fully describe the physics; you need to know a little bit about the "corner" or the edge of the region to make the math work.

The Solution: The "Collar"

To fix the broken rules in these jagged regions, the authors propose adding a "collar."

• The Metaphor: Imagine you are trying to take a photo of a jagged rock formation. If you crop the photo too tightly, you cut off the edges and the image looks wrong. But if you add a little bit of extra space around the rock (a "collar") in your photo, the image becomes perfect and complete.
• The Finding: The paper proves that if you take a jagged region and add a tiny "collar" of extra space around its edges, the rules of locality are restored. The physics inside the "jagged" region plus its "collar" behaves exactly as it should.

The "Disjoint Additivity" Test

The authors also tested another rule called disjoint additivity. This asks: If I have two separate neighborhoods that don't touch each other, can I just combine their rules to understand the whole area?

• The Finding: They found that as long as the two neighborhoods don't share any "vertices" (points where lines meet), you can combine their rules perfectly. Even if the neighborhoods have jagged edges, as long as they don't touch, the math works out. This is a very strong result, suggesting that the "jaggedness" only causes problems when you try to isolate a single jagged region, not when you look at two separate ones.

Why This Matters (In Simple Terms)

This paper is about understanding the fundamental "grammar" of quantum systems.

1. The Setup: They studied a specific type of quantum model (the "Double Model") where the rules are enforced by these complex, non-reversible symmetries.
2. The Problem: They showed that if you look at a region with a sharp, inward-pointing corner (a cusp), the standard mathematical description of "what is inside this region" fails.
3. The Fix: They proved that you can fix this failure by simply expanding the region slightly to include a "collar" around the sharp corner.
4. The Generalization: They showed that this isn't just true for simple groups, but for a whole family of complex mathematical structures called Hopf algebras.

Summary

Think of the universe as a giant puzzle.

• Old View: If you follow the rules, every piece fits perfectly, and you can describe any shape perfectly.
• New View (This Paper): If the rules are more complex (non-invertible), some shapes (the ones with sharp, inward corners) are tricky. You can't describe them perfectly in isolation.
• The Takeaway: But don't worry! If you just give those tricky shapes a little extra "buffer zone" (a collar) around them, everything fits together perfectly again. The universe is still orderly; it just needs a little more space around the sharp corners to make sense.

Technical Summary

Technical Summary: Algebraic Locality and Non-Invertible Gauss Laws

Problem Statement
This paper investigates the principles of algebraic locality—specifically Haag duality and disjoint additivity—in the context of constrained lattice systems governed by non-invertible symmetries. While prior work (arXiv:2509.03589) established that these locality principles hold exactly for lattice systems with invertible (group-like) gauge symmetries, the behavior of these principles under non-invertible constraints remained unexplored. The authors focus on quantum double models where the magnetic constraint is imposed exactly, interpreting this constraint as a Gauss law for a non-invertible $\text{Rep}(G)$ symmetry (or more generally, a Hopf algebra symmetry). The central question is whether the local operator algebras in the constrained subspace satisfy the same rigorous locality conditions as their invertible counterparts, or if the non-invertible nature of the symmetry introduces obstructions.

Methodology
The authors employ the framework of operator algebras on finite lattices. They define the local operator algebra $A_0(R)$ within a constrained subspace $H_0$ as the set of operators that can be "lifted" to constraint-preserving operators on the full Hilbert space with support in region $R$. The analysis proceeds through the following steps:

1. Representation-Theoretic Reformulation: The magnetic constraint of a quantum double model based on a finite group $G$ is reinterpreted as a singlet projection under the action of the dual group algebra $\mathbb{C}[G]^\vee$. This is generalized to the action of a finite-dimensional $C^*$-Hopf algebra $H$ and its dual $H^\vee$.
2. Counterexample Construction: To test the limits of exact Haag duality, the authors construct explicit counterexamples on closed lattices with non-abelian groups having trivial centers. They analyze the behavior of operators on regions containing "cusps" (vertices where the region's edges are disconnected in the dual graph).
3. Projection Formulas and Lifts: The core technical tool is the analysis of "neutral components" of operators. By decomposing operators into irreducible representations of the local symmetry (using Haar integrals or singlet projectors), the authors derive projection formulas that relate operators in the unconstrained algebra to those in the constrained algebra.
4. Generalization to Hopf Algebras: The results for group-based double models are extended to the broader class of Hopf algebra double models, utilizing the Peter-Weyl decomposition and the properties of the Haar integral/measure to define neutral projections in the general setting.

Key Contributions and Results

• Violation of Exact Haag Duality for Cusped Regions: The paper demonstrates that for non-abelian groups with trivial centers, exact Haag duality ($A_0(R)' = A_0(R')$) fails for regions containing "cusped" vertices. In such regions, the commutant of the local algebra is strictly larger than the algebra of the complement.
• Weak Haag Duality and Collars: The authors establish that a "weak" form of Haag duality holds universally. Specifically, $A_0(R_+)' \subseteq A_0(R')$, where $R_+$ is a "collared" region obtained by adding edges to any cusped vertices in $R$. For "cuspless" regions (where the region's edges at every vertex form a connected set in the dual graph), the collar is unnecessary, and exact Haag duality is preserved.
• Trivalent Lattices: A significant corollary is that on trivalent lattices, every region is cuspless. Consequently, exact Haag duality holds for all regions in magnetically constrained double models on trivalent lattices, regardless of whether the symmetry is invertible or non-invertible.
• Disjoint Additivity:
  • For group-based double models, the authors prove that exact disjoint additivity ($A_0(R_1 \cup R_2) = A_0(R_1) \vee A_0(R_2)$) holds even for regions with cusps, provided the regions are disjoint in the sense that no vertex has edges in both regions.
  • For general Hopf algebra double models, the authors prove a weakened form of disjoint additivity: $A_0(R_1 \cup R_2) \subseteq A_0(R_1^+) \vee A_0(R_2^+)$. They note that while they have not found a counterexample to the stronger form (exact additivity without collars) in the general Hopf setting, they suspect it may hold.
• Hopf Algebra Generalization: The analysis is successfully generalized to double models based on finite-dimensional $C^*$-Hopf algebras. The magnetic constraint is identified as a Gauss law for a local $\text{Rep}(H)$ non-invertible symmetry. The same structural results regarding weak Haag duality and the necessity of collars for cusped regions apply.

Significance
The paper provides the first systematic analysis of algebraic locality principles in the presence of non-invertible Gauss laws. It clarifies that while non-invertible symmetries can disrupt exact Haag duality in the presence of lattice artifacts (specifically cusps), the principle is robustly restored for "nice" (cuspless) regions or on trivalent lattices. This suggests that the algebraic structure of locality in topological phases with non-invertible symmetries is largely consistent with the invertible case, provided one accounts for the specific geometric constraints of the lattice. The work bridges the gap between the study of group gauge theories and the more general framework of Hopf algebraic and string-net models, offering a rigorous operator-algebraic foundation for understanding locality in these systems. The authors explicitly frame their work as a generalization of previous results on invertible symmetries, avoiding claims of new experimental applications or broader physical implications beyond the scope of the lattice models studied.