Perturbative anomalies in quantum mechanics

This paper proposes a cohomological framework for analyzing perturbative anomalies in quantum mechanics, demonstrating that system perturbations and symmetry anomalies correspond to the first and second Chevalley-Eilenberg cohomology groups, respectively, of the underlying Abelian Lie algebra acting on the Hilbert space.

The Gist

Imagine you are a master watchmaker. You have built a perfect clock (your Quantum System) that keeps perfect time. This clock has two main gears working together:

1. The Engine (Hamiltonian, $\hat{H}$): This drives the clock forward.
2. The Regulator (Symmetry, $\hat{S}$): This ensures the clock ticks evenly and follows a specific rule (like "every tick must be the same length").

In a perfect world, these two gears are perfectly synchronized. They don't fight each other; they just work together.

The Problem: A Tiny Bump in the Road

Now, imagine you want to tweak the clock. Maybe you want to make it run slightly faster or add a new feature. You add a tiny, new piece to the engine ($\delta \hat{H}$).

The Crisis: As soon as you add this new piece, the Engine and the Regulator start fighting! The Regulator no longer fits the new Engine. The clock starts ticking irregularly. The "Symmetry" is broken.

The Hope: Can We Fix It?

The physicists in this paper ask: Can we fix the Regulator too?
Can we tweak the Regulator ($\delta \hat{S}$) just enough so that it fits the new Engine?

• Level 1 (First Order): Usually, yes! You can find a tiny adjustment to the Regulator that makes them work together again. It's like shimming a door so it closes properly.
• Level 2 (Second Order): But what if you want to keep tweaking the clock forever? What if you add more pieces later? The paper asks: Is there a limit to how much we can fix?

The Discovery: The "Ghost" Obstacle

The authors discovered that sometimes, you cannot fix it. No matter how hard you try to adjust the Regulator, the clock will never work perfectly again.

They call this a "Perturbative Anomaly."

Think of it like this:
You are trying to fit a square peg into a round hole.

1. You sand the peg (adjust the Regulator). It fits!
2. But then you realize that the shape of the hole itself has changed in a way that makes the peg impossible to fit, no matter how you sand it.
3. This isn't because you aren't trying hard enough; it's because the fundamental geometry of the system has a "glitch" that appears when you try to change it.

The Mathematical Magic: The "Cohomology" Map

How did they prove this? They used a tool called Cohomology.

Imagine you have a map of all possible ways to fix the clock.

• Level 1 (The Map of Fixes): This map shows you all the tiny adjustments you can make. If you can find a spot on this map, you can fix the first problem.
• Level 2 (The Map of Obstacles): This is the scary part. This map shows you where the "dead ends" are. It tells you if the path you are walking on leads to a cliff.

The paper proves that for these quantum clocks, the "cliff" (the anomaly) only appears at Level 2.

• If you can fix the first problem, you are safe... unless the second problem hits you.
• If the second problem hits you, you are stuck. You cannot fix the clock any further. The symmetry is permanently broken.

The "No-Go" Zone (Degeneracy)

The paper also found a special rule:
If your clock's gears are all unique (no two gears are exactly the same size), you can never hit this cliff. You can always fix the clock.
The "Anomaly" (the glitch) only happens if your clock has degenerate gears—meaning two or more gears are exactly identical. When you try to tweak the system, these identical gears get confused and create a conflict that cannot be resolved.

The Big Picture

In simple terms, this paper says:

1. Symmetry is fragile. When you change a quantum system, the rules (symmetries) often break.
2. We can usually fix the first break. We can adjust the rules to match the new system.
3. But sometimes, we hit a wall. If the system has "identical parts," the second attempt to fix it fails. This failure is an Anomaly.
4. It's a dead end. Once you hit this wall, you can't go further. The theory says the symmetry is lost forever in that specific direction.

The Takeaway:
Nature has a "safety net" that usually lets us tweak our theories. But sometimes, that net has a hole. If you try to push a system with identical parts too hard, the hole opens up, and the symmetry collapses. This paper gives us the mathematical blueprint to find exactly where those holes are.

Technical Summary

1. Problem Statement

The paper addresses the problem of perturbative symmetry breaking (anomalies) in quantum mechanical systems. Specifically, it investigates whether a symmetry generator $\hat{S}$ can be consistently deformed alongside a perturbed Hamiltonian $\hat{H}$ such that the commutation relation $[\hat{H}(t), \hat{S}(t)] = 0$ holds to all orders in the perturbation parameter $t$.

The core question is: Given a system with a Hamiltonian $\hat{H}$ and a symmetry $\hat{S}$ (where $[\hat{H}, \hat{S}] = 0$), if the Hamiltonian is perturbed ($\hat{H} \to \hat{H} + t\delta^{(1)}\hat{H}$), can one find a corresponding deformation of the symmetry generator ($\hat{S} \to \hat{S} + t\delta^{(1)}\hat{S} + \dots$) to restore the symmetry order-by-order? If not, the obstruction to restoring the symmetry is identified as a perturbative anomaly.

2. Methodology

The authors employ a cohomological approach rooted in homological algebra and deformation theory.

• Lie Algebra Representation: The system is modeled as a unitary representation of a two-dimensional Abelian Lie algebra $\mathfrak{g} \cong \mathbb{R}^2$ on a Hilbert space $V$. The generators are the anti-Hermitian operators $H = i\hat{H}$ and $S = i\hat{S}$.
• Chevalley-Eilenberg (CE) Complex: The deformation problem is mapped to the deformation of the Lie algebra representation $\rho: \mathfrak{g} \to \mathfrak{u}(V)$. The authors utilize the Chevalley-Eilenberg complex $CE^\bullet(\mathfrak{g}, \mathfrak{u}(V))$ to analyze these deformations.
  • First Cohomology ($H^1_{CE}$): Corresponds to infinitesimal deformations (possible first-order corrections).
  • Second Cohomology ($H^2_{CE}$): Corresponds to obstructions to extending these deformations to higher orders.
• Spectral Decomposition: The Hilbert space $V$ is decomposed into simultaneous eigenspaces $V_{(a,\alpha)}$ of $H$ and $S$. The space of anti-Hermitian operators $\mathfrak{u}(V)$ is decomposed into subspaces $B_{(a,\alpha),(b,\beta)}$ based on transitions between these eigenspaces.
• $L_\infty$-Algebra Structure: The authors analyze the obstruction maps $\mu_n$ which form an $L_\infty$-algebra structure on the cohomology. They investigate whether obstructions exist beyond the second order.

3. Key Contributions and Results

A. Cohomological Classification of Anomalies

The paper establishes a rigorous correspondence between physical anomalies and cohomology groups:

• Infinitesimal Deformations: The space of possible first-order corrections to the symmetry generator is isomorphic to $H^1_{CE}(\mathbb{R}^2, \mathfrak{u}(V))$.
• Anomalies as Obstructions: A perturbative anomaly exists if a valid first-order deformation cannot be extended to the second order. This obstruction is classified by the second cohomology group $H^2_{CE}(\mathbb{R}^2, \mathfrak{u}(V))$.

B. Calculation of Cohomology Groups

Through a detailed spectral analysis (Lemmas 2.5–2.7), the authors prove that for the two-dimensional Abelian algebra acting on a Hilbert space with discrete spectra:
$$\begin{aligned} H^0(\mathbb{R}^2, \mathfrak{u}(V)) &\cong Z \\ H^1(\mathbb{R}^2, \mathfrak{u}(V)) &\cong Z \oplus Z \\ H^2(\mathbb{R}^2, \mathfrak{u}(V)) &\cong Z \end{aligned}$$
where $Z = \{ A \in \mathfrak{u}(V) \mid [H, A] = [S, A] = 0 \}$ is the commutant of the representation (operators commuting with both $H$ and $S$).

• Implication: Non-trivial anomalies ($H^2 \neq 0$) arise only from the degenerate sectors of the spectrum where eigenvalues of $H$ and $S$ coincide (i.e., $\lambda_{aa} = \mu_{\alpha\alpha} = 0$). If the spectrum is non-degenerate, the cohomology vanishes, and no anomaly occurs.

C. Truncation of Obstructions (The "No-Higher-Order" Theorem)

A central result (Proposition 3.1) is that all higher-order obstructions vanish.

• The $L_\infty$-algebra structure on the cohomology reduces to a differential graded Lie algebra (dgLa) with a vanishing differential.
• Specifically, the obstruction maps $\mu_n$ vanish for all $n \geq 3$.
• Physical Consequence: If a symmetry can be restored at the first and second orders of perturbation theory, it can be restored to all orders. The only potential failure point is the second order.

D. Quadratic Nature of Anomalies

Since obstructions only appear at the second order, the condition for the existence of an anomaly is governed by a quadratic equation involving the first-order corrections.

• The obstruction is represented by the term $[\delta^{(1)}\hat{H}, \delta^{(1)}\hat{S}]$.
• If this commutator is not in the image of the CE differential (i.e., it represents a non-trivial class in $H^2$), the symmetry is anomalous.
• This aligns with the structure of beta functions in Quantum Field Theory, which often satisfy quadratic relations derived from $L_\infty$ structures.

E. Explicit Example

The authors provide a concrete matrix example (Example 2.9) using $V = \mathbb{C}^3$.

• They construct a system where a first-order perturbation $\delta^{(1)}\hat{H}$ breaks the symmetry.
• A first-order correction $\delta^{(1)}\hat{S}$ is found to restore symmetry at $O(t)$.
• However, when attempting to solve the second-order condition (Equation 5), the system of equations for $\delta^{(2)}\hat{H}$ and $\delta^{(2)}\hat{S}$ has no solution.
• This explicitly demonstrates that the commutator $[\delta^{(1)}\hat{H}, \delta^{(1)}\hat{S}]$ constitutes a non-trivial element of $H^2$, confirming the presence of a perturbative anomaly.

4. Significance

• Theoretical Framework: The paper successfully translates the physical concept of "symmetry breaking under perturbation" into the rigorous mathematical language of Lie algebra cohomology and deformation theory.
• Simplification of Anomaly Detection: By proving that obstructions vanish beyond the second order, the work significantly simplifies the analysis of perturbative anomalies in quantum mechanics. One does not need to check infinite orders; checking the second order is sufficient.
• Connection to QFT: The results provide a toy model for understanding anomalies in Quantum Field Theory, suggesting that the complex structure of anomalies in QFT (often involving higher loops) may have a simplified algebraic core governed by $L_\infty$ relations and quadratic constraints.
• Spectral Dependence: The finding that anomalies are strictly tied to spectral degeneracies offers a clear physical criterion for when perturbative anomalies can occur in quantum mechanical systems.

In summary, the paper demonstrates that perturbative anomalies in quantum mechanics are purely second-order cohomological obstructions within the Chevalley-Eilenberg complex of the symmetry algebra, and that the deformation problem is solvable to all orders if and only if it is solvable up to the second order.