Anomalies in quantum spin systems and Nielsen-Ninomiya type Theorems

This paper presents an algebraic reformulation of the Kapustin-Sopenko Nielsen-Ninomiya no-go theorem, demonstrating that the obstruction to lattice regularization arises from a fundamental incompatibility between locally computable group cohomological anomalies and the dimension of local Hilbert spaces.

The Gist

The Big Picture: The "Impossible Puzzle"

Imagine you are trying to build a giant, perfect LEGO model of a complex machine (a quantum system) using only small, standard LEGO bricks (the atoms or spins on a lattice).

For a long time, physicists have known that some machines are impossible to build this way. No matter how you arrange your bricks, you can't make the machine work exactly as the laws of physics say it should. This is known as the Nielsen–Ninomiya Theorem. It's like a "No-Go" sign that says, "You cannot build a chiral fermion (a specific type of particle) on a grid without breaking the rules of symmetry."

The original proof of this "No-Go" sign was like a very long, complicated math equation involving calculus and heavy analysis. It was hard for many people to understand why the sign was there, only that it was there.

This paper by Ruizhi Liu offers a new, simpler way to look at the problem. Instead of using heavy calculus, the author uses algebra (the logic of numbers and shapes) to show that the "No-Go" sign exists because of a fundamental mismatch between the size of your LEGO bricks and the complexity of the machine you are trying to build.

---

Key Concepts Explained with Analogies

1. The "Local Hilbert Space" (The Size of Your Brick)

In quantum physics, every point on your grid (every "site") has a tiny bit of space to hold information. Think of this as the size of your LEGO brick.

• If you have a standard brick, it can hold a limited amount of detail.
• The paper asks: Can a specific, complex machine (an "anomalous" system) be built using bricks of a specific size?

2. The "Anomaly" (The Glitch in the Machine)

An "anomaly" is a glitch where the rules of symmetry break down when you try to put the system on a grid.

• Analogy: Imagine a dance troupe where everyone must move in perfect synchronization. If you try to teach them the dance on a small stage (the grid), they might find that no matter how they move, they can't keep the rhythm perfectly. The "rhythm" (symmetry) is broken. This broken rhythm is the anomaly.

3. The "Determinant" (The Magic Number Check)

The author uses a mathematical tool called a determinant. Think of this as a magic number check or a "checksum" for the LEGO bricks.

• When you try to arrange the bricks to mimic the machine, you can calculate a "magic number" for the whole arrangement.
• The Discovery: The author shows that if your bricks are a certain size (say, size $n$), the magic number of the whole machine must be a multiple of $n$.
• The Problem: Some machines have a "magic number" that is infinite or never-ending (like the number $\pi$). You cannot make a multiple of $n$ equal to an infinite number using a finite number of bricks.
• Conclusion: If the machine's "magic number" doesn't fit the math of your brick size, you simply cannot build it. The machine is impossible on that grid.

4. "Tails" and "Decaying" (The Fuzzy Edges)

Previous theories said you couldn't build these machines even if you allowed the bricks to interact with their neighbors a little bit (like having fuzzy edges).

• The Paper's Insight: The author proves that even if you allow the bricks to have "tails" (interacting with neighbors far away, but with the interaction getting weaker the further you go), the magic number check still fails.
• Metaphor: Imagine trying to balance a scale. Even if you add a tiny, invisible weight to the far end of the scale (the "tail"), if the main weight is too heavy for the scale to hold, it will still tip over. The "tails" don't save you.

---

The "Aha!" Moment: Why This Matters

The paper argues that the reason we can't build these quantum machines on a grid isn't because the grid is "too rigid" or because we are missing a specific trick.

It's a fundamental algebraic incompatibility.

• The Analogy: It's like trying to pour a gallon of water (the anomaly) into a cup that only holds a pint (the local Hilbert space dimension). Even if you stretch the cup or let the water drip over the sides (tails), you still can't fit the whole gallon inside without spilling. The volume of the water simply doesn't match the capacity of the cup.

What Does This Mean for the Future?

1. Simpler Understanding: Physicists no longer need to solve complex calculus problems to know if a system is impossible to build. They just need to check the "magic number" (the algebraic order) against the size of the local space.
2. New Rules for Design: If you want to build a new quantum computer or a new material, this paper gives you a checklist. If your design has an "anomaly" that doesn't match your material's "brick size," you know immediately that your design won't work on a standard grid.
3. Higher Dimensions: The author suggests this logic works not just for 1D chains (like a line of beads) but for 2D and 3D systems too. It's a universal rule for quantum systems.

Summary in One Sentence

This paper proves that you can't build certain complex quantum machines on a grid not because of complicated physics, but because the "size" of the grid's building blocks is mathematically incompatible with the "shape" of the machine's symmetry, a fact that can be proven using simple algebraic logic rather than heavy calculus.

Technical Summary

1. Problem Statement

The paper addresses the fundamental question of whether continuum quantum field theories (QFTs) with specific symmetries and anomalies can be realized on a lattice. Specifically, it focuses on the Nielsen–Ninomiya no-go theorem, which originally forbade the lattice regularization of free chiral fermions with exact $U(1)_V$ and $U(1)_A$ symmetries.

Recent work by Kapustin and Sopenko [1] extended this no-go theorem to quantum spin chains with continuous Lie group symmetries (specifically $G$-symmetry in $(1+1)d$). They proved that if a $(1+1)d$ QFT has an anomalous $G$ symmetry (where the anomaly lies in $H^3(G; U(1))$), it cannot be regularized by a spin chain with exact $G$ symmetry, even if the symmetry action allows for decaying tails (non-strictly local).

The Gap: The proof in [1] relies on hard analysis, making it less accessible to the broader physics community and unclear regarding its extension to higher dimensions or higher-form symmetries. The paper aims to provide a purely algebraic and conceptual proof of this result, clarifying the underlying obstruction.

2. Methodology

The author departs from analytic methods and employs algebraic techniques rooted in operator algebras and group cohomology. The core methodology involves:

• Algebraic Framework: The system is modeled as an infinite-volume spin system on $\mathbb{Z}$ with a quasi-local $C^*$-algebra $\mathcal{A}$ (a uniformly hyperfinite or UHF algebra).
• Symmetry Actions: Symmetries are implemented as Locality-Preserving Automorphisms (LPAs), which generalize Quantum Cellular Automata (QCAs) by allowing spatially decaying tails (essential for continuous symmetries).
• Anomaly Index Construction: The 't Hooft anomaly is characterized by a cohomology class derived from the obstruction to localizing the symmetry action to a half-chain. This involves decomposing the symmetry action $\alpha_g$ into left/right components and a local unitary, leading to a 3-cocycle $\omega$.
• Generalized Determinants: The central technical tool is the de la Harpe–Skandalis determinant (a generalized determinant for unitary groups in $C^*$-algebras).
  • The author defines a map $\det_\tau: U(\mathcal{A}) \to U(1) / \tilde{K}_0(\mathcal{A})$, where $\tilde{K}_0(\mathcal{A})$ is the reduced Grothendieck group of the algebra.
  • For a spin chain with local Hilbert space dimension $n$, $\tilde{K}_0(\mathcal{A}) \cong \mathbb{Z}[n^{-1}]/\mathbb{Z}$.
• Gauge Fixing: By utilizing the properties of the generalized determinant, the author performs a "gauge fixing" on the unitary operators ($V_{g,h}$) appearing in the anomaly cocycle. This forces the determinant of these operators to be trivial (identity), thereby constraining the possible values of the anomaly cocycle $\omega$.

3. Key Contributions

A. Algebraic Proof of the No-Go Theorem

The paper provides a rigorous algebraic proof that the obstruction to realizing anomalies on a lattice is a fundamental incompatibility between the anomaly data and the dimension of the local Hilbert space.

• Unlike the analytic proof, this approach highlights that the anomaly index must be locally computable via quasi-local unitary operators.
• The proof demonstrates that the anomaly index $\omega$ must satisfy specific algebraic constraints imposed by the local dimension $n$.

B. Refined Classification of Anomalies

The paper establishes a new classification for 't Hooft anomalies in spin chains with local dimension $n$:

• Theorem 1.1: The anomaly index of a $G$-symmetry action on a spin chain with local dimension $n$ is classified by the cohomology group:
  $$H^3(G; \mathbb{Z}[n^{-1}]/\mathbb{Z})$$
  where $\mathbb{Z}[n^{-1}]$ is the localization of integers at the multiplicative subset generated by $n$.
• This refines the previous classification by group cohomology $H^3(G; U(1))$ or the torsion subgroup $H^3(G; \mathbb{Q}/\mathbb{Z})$ (which assumes arbitrary ancillas/stabilization).

C. Connection to Operator K-Theory

The author connects the anomaly classification to Operator K-theory.

• The coefficient group $\mathbb{Z}[n^{-1}]/\mathbb{Z}$ is identified as the reduced $K_0$ group of the quasi-local algebra, $\tilde{K}_0(\mathcal{A})$.
• This provides a physical interpretation: the anomaly is constrained by the topological structure of the unitary group of the algebra, which is determined by the local Hilbert space dimension.

D. Extension to Lie Groups and Tails

The proof successfully extends to:

• Lie Groups: Using differentiable group cohomology to handle smooth symmetry actions.
• Decaying Tails: The algebraic argument holds even when symmetry actions are not strictly local (QCAs) but possess decaying tails (LPAs), which is crucial for continuous symmetries.

4. Key Results

1. Finite Order Constraint: If an anomaly $\omega \in H^3(G; U(1))$ can be realized on a spin chain with local dimension $n$, then $\omega$ must have finite order. Specifically, there exists an integer $N$ such that $[\omega^{n^N}] = [1]$.
   • Corollary: If the order of $\omega$ is coprime to $n$, the anomaly must be trivial.
2. Impossibility of $U(1)$ Anomalies in Spin Chains:
   • Since $H^3(U(1); U(1)) \cong \mathbb{Z}$ (generated by an element of infinite order), and $\mathbb{Z}[n^{-1}]/\mathbb{Z}$ contains only torsion elements, no non-trivial $U(1)$ anomaly can be realized in a spin chain with finite local dimension.
   • This confirms that the boundary theory of a bosonic integer quantum Hall state (which has a $U(1)$ anomaly) cannot be realized in a spin chain.
3. Stabilization Limit: If one allows for infinite stabilization (adding arbitrary ancillas, effectively taking $n \to \infty$), the coefficient group becomes $\mathbb{Q}/\mathbb{Z}$. This recovers the classification proposed in Ref. [20, 22], showing that the "no-go" result is specifically due to the finite local dimension of the physical system.

5. Significance

• Conceptual Clarity: The paper shifts the understanding of Nielsen–Ninomiya type theorems from a spectral/analytic problem (band structure, dispersion relations) to an algebraic incompatibility. The obstruction is not about the Hamiltonian's form but about the algebraic structure of the symmetry action relative to the local Hilbert space.
• Generality: The algebraic approach is expected to generalize naturally to:
  • Arbitrary spatial dimensions.
  • Higher-form symmetries.
  • Anti-unitary symmetries.
• Practical Criteria: It provides a simple, computable criterion for checking anomalies without calculating explicit cocycles: If the order of the anomaly is coprime to the local Hilbert space dimension, the anomaly is trivial.
• Implications for Condensed Matter: The results guide the construction of lattice models. For instance, they explain why certain topological phases (like Chern insulators) cannot be disentangled or realized in standard spin models without allowing for infinite-dimensional local spaces or specific non-onsite constraints.

In summary, Liu's work demystifies the Nielsen–Ninomiya obstruction by revealing it as a consequence of the local computability of anomaly indices and the algebraic constraints imposed by finite-dimensional local Hilbert spaces, offering a robust framework for future research in lattice field theory and topological phases of matter.