Atiyah--Singer Index Theorem for Non-Hermitian Dirac Operators

Using heat kernel methods, this paper demonstrates that the Atiyah–Singer index theorem extends to non-Hermitian Dirac operators, proving that their index remains topologically protected provided the operators are diagonalizable and satisfy specific ellipticity conditions.

The Gist

The Big Picture: Counting the Unchangeable

Imagine you are a detective trying to count something very specific in a chaotic room. In the world of quantum physics, this "room" is a system of particles, and the "count" is a special number called an Index.

For decades, mathematicians and physicists have known a golden rule (the Atiyah–Singer Index Theorem): If you have a specific type of machine (a Hermitian operator) that sorts particles into two groups—let's call them "Left-handed" and "Right-handed"—the difference between the number of Left-handed and Right-handed particles that get stuck (zero energy) is a topological invariant.

What does that mean?
Think of a coffee mug and a donut. You can squish, stretch, or twist a mug, but you cannot turn it into a donut without tearing a hole in it. The "number of holes" is a topological invariant. It doesn't change unless you break the object. Similarly, the Index is a "hole count" for quantum systems. It stays the same even if you wiggle the background fields or change the parameters, as long as you don't break the system.

The Problem:
This rule was only proven for "Hermitian" machines. In physics, Hermitian machines are like closed, perfect systems where energy is conserved, and everything behaves nicely (like a standard billiard ball).

But the real world is messier. We are now interested in Non-Hermitian systems. These are "open" systems where energy leaks in or out (like a guitar string losing sound to the air, or bacteria in a petri dish). In these systems, the math gets weird: the "Left" and "Right" groups might not be perfectly balanced, and the numbers can become complex (imaginary).

The Question:
Does the "Golden Rule" still apply to these messy, open systems? Can we still trust that the Index is a topological invariant?

The Solution: The Heat Kernel "Thermometer"

The authors of this paper say: Yes, but with conditions.

To prove this, they used a mathematical tool called the Heat Kernel.

• The Analogy: Imagine you drop a hot stone into a cold pond. The heat spreads out in a specific pattern. If you look at how the heat spreads after a tiny fraction of a second, the pattern reveals the shape of the pond (the topology).
• The Math: They applied this "heat spreading" logic to their non-Hermitian machines. They showed that if you calculate the "heat pattern" of the system, the result is a smooth, continuous number. However, the Index itself must be a whole number (an integer, like 1, 2, or -5).
• The Logic: How can a smooth, changing number suddenly jump to a different whole number? It can't. It has to stay stuck on that integer. Therefore, the Index is topologically protected. It cannot change unless the system undergoes a catastrophic failure.

The Two Rules of the Game

The authors found that this protection only works if the non-Hermitian machine follows two strict rules:

1. The Machine Must Be "Diagonalizable" (The "Complete Set" Rule):

   • The Metaphor: Imagine a deck of cards. A "diagonalizable" deck has a complete set of unique cards that can be sorted perfectly. A "non-diagonalizable" deck is missing some cards or has duplicates that jam the sorting machine.
   • The Physics: The system must have a full set of distinct states (eigenstates). If the system hits an "Exceptional Point" (where two states merge and jam the machine), the rule breaks, and the Index can change unpredictably.

2. The Machine Must Be "Strongly Elliptic" (The "Stability" Rule):

   • The Metaphor: Imagine a spinning top. If it spins too fast or wobbles too much (imaginary parts of the math get too big), it falls over. "Strong ellipticity" means the system is stable enough that the "wobble" doesn't overwhelm the "spin."
   • The Physics: The imaginary parts of the system's energy must be smaller than the real parts. This ensures the "heat" doesn't blow up to infinity, allowing the math to work.

Real-World Examples from the Paper

The authors tested their theory on three scenarios:

1. A Circle (The Loop):

   • They looked at a particle moving on a ring. As long as the particle's path is smooth and the machine is "diagonalizable," the Index stays zero. But if they tweak the settings to an "Exceptional Point" (where the machine jams), the Index jumps. This proves the rule: Protection exists only when the machine is working correctly.

2. An Interval (The Line Segment):

   • They looked at a particle on a string with ends. Here, they found a "Left-handed" particle stuck at the end, but no "Right-handed" one. The Index was 1. Even when they changed the tension or length of the string, the Index stayed 1. It was topologically protected, just like the mug-to-donut rule.

3. A Plane (The Infinite Field):

   • They looked at a complex system in 2D space with magnetic fields. They showed that even if the system is non-Hermitian (open), as long as it can be transformed into a Hermitian one (a "hidden" perfect system), the Index is safe.

Why This Matters

This paper is a bridge. It takes a beautiful, rigid mathematical theorem from the 20th century and updates it for the 21st century's most exciting physics: Non-Hermitian systems.

• For Physicists: It gives them a tool to count "topologically protected states" in open systems, which is crucial for understanding new materials (like "Dirac materials") and the "non-Hermitian skin effect" (where particles pile up at the edges).
• For the Future: It suggests that even in messy, open quantum systems, there are still "islands of stability" that cannot be destroyed by small changes.

The Bottom Line

The authors proved that even in messy, open quantum systems, the "count" of special states (the Index) is a topological invariant. It is as unchangeable as the number of holes in a donut, provided the system doesn't break (diagonalizability) and doesn't wobble out of control (strong ellipticity).

They used the "Heat Kernel" as a thermometer to measure this stability, showing that the universe has a hidden order that persists even when energy is leaking out.

Technical Summary

1. Problem Statement

The Atiyah–Singer Index Theorem is a cornerstone of 20th-century mathematics, establishing that the index of a Dirac operator (the difference between the number of zero modes of positive and negative chirality) is a topological invariant. Historically, this theorem has been rigorously proven for Hermitian operators.

However, modern physics increasingly relies on non-Hermitian Hamiltonians to describe open quantum systems, PT-symmetric systems, and phenomena like the non-Hermitian skin effect. A critical open question remains: Is the index of a non-Hermitian Dirac operator topologically protected? Specifically, does the difference in the dimensions of the positive and negative chirality null spaces remain constant under smooth variations of background fields and parameters, even when the operator is non-Hermitian?

Previous work (e.g., Ref. [12]) demonstrated topological protection in specific non-Hermitian cases where all zero modes shared a single chirality. This paper aims to generalize this result to generic non-Hermitian Dirac Hamiltonians where zero modes of both chiralities may exist.

2. Methodology

The authors employ heat kernel methods, a standard technique in quantum field theory and spectral geometry, adapted for the non-Hermitian context. The core of their approach involves the following steps:

• Diagonalizability Assumption: The authors assume the non-Hermitian operator $H$ is diagonalizable (possesses a complete basis of eigenvectors, though not necessarily orthogonal). This includes pseudo-Hermitian operators, where $H$ is related to a Hermitian operator $\tilde{H}$ via a similarity transformation $H = O \tilde{H} O^{-1}$.
• Chirality Decomposition: They define a chirality operator $\Gamma_*$ such that $\Gamma_*^2 = 1$ and $\{ \Gamma_*, H \} = 0$. This allows the decomposition of the Hilbert space into positive ($H_+$) and negative ($H_-$) chirality subspaces.
• Spectral Mapping: They establish a one-to-one correspondence between the non-zero eigenmodes of $H$ and $H^2$. Crucially, for a diagonalizable $H$, the zero modes of $H_+$ coincide with the zero modes of $H_-H_+$, and similarly for $H_-$ and $H_+H_-$.
• Heat Kernel Representation: The index is expressed as a trace over the heat kernel of the squared operator:
  $$\text{Ind}(\Gamma_*, H) = \text{Tr}\left( \Gamma_* e^{-tH^2} \right)$$
  For $t > 0$, the trace over non-zero modes vanishes due to spectral pairing, leaving only the contribution from zero modes.
• Strong Ellipticity: To ensure the existence of the heat kernel and its asymptotic expansion, the authors require $H$ to be strongly elliptic. This condition implies that for the principal symbol $p(x, k)$, the eigenvalues $\lambda$ satisfy $|\text{Re}(\lambda)| > |\text{Im}(\lambda)|$. This ensures the operator $e^{-tH^2}$ is trace-class and admits an asymptotic expansion as $t \to 0$.
• Topological Argument: The index is equated to the heat kernel coefficient $a_n(\Gamma_*, H^2)$ (the constant term in the expansion). Since the left-hand side (the index) is an integer and the right-hand side is a smooth functional of background fields, the index cannot change under smooth deformations, proving topological protection.

3. Key Contributions

1. Generalization of Atiyah–Singer: The paper extends the Atiyah–Singer Index Theorem to a broad class of non-Hermitian Dirac operators, provided they are diagonalizable and strongly elliptic.
2. Heat Kernel Adaptation: The authors successfully adapt the heat kernel proof (typically used for Hermitian operators) to the non-Hermitian case by utilizing the properties of the squared operator $H^2$ and similarity transformations to a Hermitian basis.
3. Identification of Constraints: The work explicitly identifies the necessary conditions for topological protection:
   • Diagonalizability: The operator must not have exceptional points (where eigenvectors coalesce) within the deformation path.
   • Strong Ellipticity: The imaginary parts of the principal symbol's eigenvalues must be dominated by the real parts.
4. Boundary Conditions: The paper addresses the inclusion of boundaries, showing how to define chiral boundary conditions (Dirichlet/Robin mixtures) that preserve the chirality operator's commutation properties.

4. Results and Examples

The authors validate their theoretical framework through three specific examples:

• Dirac Hamiltonian on a Circle ($S^1$):
  • For diagonalizable parameters, the index is 0 and remains constant.
  • At exceptional points (where $H$ is not diagonalizable), the index can jump (e.g., to $\pm 1$). This highlights that topological protection breaks down exactly where diagonalizability is lost.
• Dirac Hamiltonian on an Interval ($[0, \pi]$):
  • With mixed boundary conditions, the system possesses exactly one positive chirality zero mode and no negative chirality zero modes.
  • The index is calculated as $\text{Ind} = 1$.
  • The heat kernel coefficient $a_1$ correctly reproduces this integer value, confirming the theory even when parameters vary, provided the system remains diagonalizable.
• Operators on a Plane ($\mathbb{R}^2$):
  • The authors analyze a non-Hermitian Hamiltonian interacting with a vortex field, parameterized by $\alpha$.
  • For $|\alpha| < 1$, the operator is pseudo-Hermitian and strongly elliptic. The index is topologically protected and equals the index of the corresponding Hermitian system.
  • For $|\alpha| > 1$, the operator loses strong ellipticity (eigenvalues become purely imaginary), and the topological protection mechanism described in the paper no longer applies.

5. Significance and Implications

• Theoretical Physics: This work bridges the gap between the rigorous mathematical framework of index theory and the emerging field of non-Hermitian physics. It provides a theoretical guarantee that topological states in non-Hermitian systems (like those in Dirac materials) are robust against smooth perturbations, as long as the system does not encounter exceptional points.
• Condensed Matter: The results offer a tool to predict the stability of topological phases in open quantum systems and systems exhibiting the non-Hermitian skin effect.
• Future Directions: The authors note that the heat kernel method is "blind" to exceptional points. A significant future direction is developing refined spectral techniques to detect and characterize these points, which are critical for understanding phase transitions in non-Hermitian systems. Additionally, the methods are expected to be extended to the study of non-Hermitian chiral anomalies.

In summary, the paper establishes that the topological protection of the index is a robust feature of non-Hermitian Dirac operators, contingent only on the preservation of diagonalizability and strong ellipticity, thereby expanding the applicability of one of mathematics' most profound theorems to modern quantum systems.