Index theorem with Minimally Doubled Fermions in four space-time dimensions

This paper verifies the Atiyah-Singer index theorem for Minimally Doubled Fermions (specifically Karsten-Wilczek and Borici-Creutz formulations) in four-dimensional space-time by analyzing the zero eigenmode spectrum and spectral flow under various background gauge fields, confirming that flavored mass terms and a modified chirality operator successfully detect topological charge and assign correct chiralities to zero modes.

The Gist

The Big Picture: Counting Ghosts in a Digital City

Imagine you are trying to simulate the universe's most fundamental building blocks (quarks and gluons) on a computer. To do this, physicists turn the smooth, continuous fabric of space and time into a giant grid or lattice, like a chessboard stretching into infinity.

However, there's a famous rule in this digital world called the Nielsen-Ninomiya Theorem. It's a bit like a "tax" on digital physics: if you try to put a single particle on this grid while keeping its most important property (chirality, or "handedness") intact, the computer accidentally creates extra copies of that particle. These are called "doublers."

Usually, this is a disaster. If you want to simulate one electron, you end up with 16 or 32 ghosts, and the physics gets messy.

The Hero of this story: The authors are testing a special type of particle formulation called Minimally Doubled Fermions (MDF). Instead of 16 ghosts, these formulations only create two copies. It's the best possible deal you can get on a digital grid.

The paper asks a very specific question: Do these "Minimally Doubled" particles still obey the deep laws of the universe, specifically the "Index Theorem"?

---

The Core Concept: The Index Theorem (The "Handedness" Balance Sheet)

To understand the Index Theorem, imagine a dance floor in a room with a specific shape (the "topology" of the room).

• The Rule: The Index Theorem says that the number of dancers spinning clockwise minus the number of dancers spinning counter-clockwise must equal a specific number determined by the shape of the room.
• The Math: If the room has a "twist" (topological charge $Q$), the balance sheet must show a difference of $Q$ between the two types of dancers.

In the real, smooth universe, this rule is perfect. But on a computer grid, things get tricky. The authors wanted to prove that even with these "Minimally Doubled" particles (which have two copies), this balance sheet still works, provided you know how to read it correctly.

The Problem: The "Double Trouble"

When the authors first ran their simulation with the standard settings, they hit a snag.

Because MDF creates two copies of every particle, and these copies have opposite "handedness" (one is left-handed, one is right-handed), they cancel each other out.

• Analogy: Imagine you have two dancers. One spins clockwise, the other counter-clockwise. If you just count them, the net result is zero. It looks like the room has no twist at all, even though it does.

This is what happened in their first attempt (Figure 1 in the paper). The "spectral flow" (a graph showing how the energy of the particles changes as you tweak a dial) showed no crossings. The "ghosts" were hiding the truth.

The Solution: The "Flavored Mass" Switch

To fix this, the authors introduced a clever trick called a "Flavored Mass Term."

• The Analogy: Imagine the two dancers are twins. They are identical, so they cancel each other out. To tell them apart, you give one twin a heavy backpack and the other a light one. Now, they move at different speeds. They are no longer identical; they are "flavored" differently.
• The Physics: By adding a specific mathematical term that treats the two "doubler" copies differently, the authors broke the symmetry. Suddenly, the two copies didn't cancel out perfectly. The "ghosts" separated, and the true signal of the room's shape (the topological charge) became visible.

The Experiment: Two Different Worlds

The authors tested this theory in two different environments to make sure it wasn't just a fluke:

1. The "Smit-Vink" Grid: A perfectly constructed, artificial grid designed to have a specific, known twist.

   • Result: When they applied the "Flavored Mass" trick, the spectral flow showed exactly four crossings (two for each copy of the two particles). This matched the prediction: $Index = 2 \times Q$. The math worked!

2. The "MILC" Grid: A messy, realistic grid generated by supercomputers simulating actual Quantum Chromodynamics (QCD) with real quarks.

   • Result: They had to "cool" this grid (smooth out the rough edges, like ironing a wrinkled shirt) to see the twists clearly. Once cooled, they applied the same trick. The result was the same: the particles revealed the hidden topology of the grid.

The "Handedness" Detector

One final hurdle: How do you know which dancer is spinning which way?
In the real world, you use a tool called $\gamma_5$ to check "handedness." But on the grid, this tool was broken for these specific particles; it gave a "zero" reading for everyone, making them look like they had no handedness at all.

The authors built a new, custom detector (a "Modified Chirality Operator").

• The Analogy: It's like realizing your compass is broken because you are near a giant magnet. You build a new compass that accounts for the magnet's interference.
• The Result: This new tool successfully identified the "handedness" of the particles, confirming that the Index Theorem holds true.

Summary: What Did They Prove?

1. The Problem: Simulating particles on a grid creates "ghosts" (doublers) that usually mess up the math.
2. The Fix: "Minimally Doubled" fermions create the fewest ghosts possible (just two).
3. The Challenge: These two ghosts cancel each other out, hiding the universe's shape (topology).
4. The Breakthrough: By using a "Flavored Mass" to separate the ghosts and a "Modified Compass" to check their direction, the authors proved that the Index Theorem still works in 4 dimensions.

In short: They showed that even in a digital, pixelated universe with "ghost" particles, the deep, fundamental laws of physics regarding the shape of space and the spin of particles remain intact, as long as you know how to tune your instruments correctly. This is a crucial step toward using these efficient "Minimally Doubled" particles for future, massive simulations of the universe.

Technical Summary

1. Problem Statement

The paper addresses the verification of the Atiyah-Singer Index Theorem for Minimally Doubled Fermions (MDF) in four-dimensional (4D) space-time.

• Context: Lattice QCD simulations require fermion formulations that preserve chiral symmetry. While Overlap and Domain Wall fermions are well-established, they are computationally expensive. Minimally Doubled Fermions (specifically Karsten-Wilczek (KW) and Borici-Creutz (BC) formulations) offer a cheaper alternative by retaining exact chiral symmetry with only two fermion species (doublers) instead of the usual 16.
• The Challenge: Previous studies confirmed the index theorem for KW and BC fermions in 2D. However, in 4D, a critical issue arises: the two doubler species possess degenerate masses. This degeneracy causes the contributions of positive and negative chirality zero modes to cancel each other out in standard spectral flow analyses, resulting in a net index of zero even when the background gauge field has a non-zero topological charge ($Q \neq 0$).
• Goal: To demonstrate that the Atiyah-Singer index theorem holds for KW and BC fermions in 4D by resolving the degeneracy issue and correctly identifying the chirality of zero modes.

2. Methodology

The authors employed a multi-faceted approach combining analytical definitions, spectral flow analysis, and numerical simulations on two distinct types of gauge backgrounds.

A. Theoretical Framework

• Action Formulations: The authors utilized the momentum-space definitions of KW and BC Dirac operators. Both break hypercubic symmetry but preserve chiral symmetry.
  • KW: Breaks symmetry by multiplying the spatial Laplacian by $i\gamma_4$.
  • BC: Breaks symmetry by multiplying the Laplacian by $-i\gamma'_\mu$.
• Spectral Flow: They analyzed the eigenvalues of the Hermitian operator $H(m) = \gamma_5(D + m)$ as a function of the mass parameter $m$. The index is determined by counting the net number of eigenvalue crossings through zero.
• Flavored Mass Term: To lift the degeneracy between the two doubler species, they introduced a flavored mass term ($m C_{flav} \otimes 1$).
  • For KW: $C_{flav} = C_{sym}$.
  • For BC: $C_{flav} = 2C_{sym} - 1$.
  • This term assigns different effective masses to the two tastes, preventing the cancellation of chiral contributions.
• Modified Chirality Operator: Since the standard $\gamma_5$ operator yields $\langle \psi | \gamma_5 | \psi \rangle \approx 0$ for zero modes in the presence of gauge fields (due to arbitrary linear combinations of chiral states), the authors employed modified chirality operators ($X$) that commute with the flavored mass term:
  • $X_{KW} = C_{sym} \otimes \gamma_5$
  • $X_{BC} = (2C_{sym} - 1) \otimes \gamma_5$

B. Numerical Setup

The study was conducted on two types of background gauge fields:

1. Smit-Vink Backgrounds: Analytically constructed $SU(3)$ gauge fields with fixed, integer topological charges ($Q$). These were "roughened" with small random fluctuations to simulate realistic lattice noise while preserving the topological sector.
2. MILC Dynamical Configurations: Publicly available $N_f = 2+1$ asqtad lattice configurations. To accurately identify topological charges, the authors applied cooling (smoothing) algorithms to remove UV fluctuations and stabilize the topological charge $Q$.

C. Algorithms

• Eigenvalue Computation: Used the Kalkreuter-Simma (KS) algorithm to compute low-lying eigenvalues of the non-Hermitian Dirac operator. This involved:
  1. Solving the eigenvalue problem for the Hermitian squared operator $H^2(m)$.
  2. Constructing a reduced matrix using the Rayleigh-Ritz procedure to refine the eigenvectors and eigenvalues of the original operator $H(m)$.
• Topological Charge Measurement: Calculated both the geometric topological charge (via improved field strength tensors) and the fermionic topological charge ($q = \lim_{m\to 0} m \text{Tr}[\dots]$) to cross-verify results.

3. Key Contributions

1. Extension to 4D: Successfully extended the verification of the index theorem for MDF from 2D to 4D space-time.
2. Resolution of Degeneracy: Demonstrated that the apparent violation of the index theorem in 4D (where index $\approx 0$) is an artifact of degenerate doubler masses. By introducing flavored mass terms, the spectral flow correctly reveals the topological structure.
3. Modified Chirality Operator: Validated the use of flavor-dependent chirality operators ($X$) to correctly assign chiralities ($\pm 1$) to zero modes, overcoming the limitations of the standard $\gamma_5$ operator in this context.
4. Universality Verification: Confirmed that the index theorem holds not only on idealized Smit-Vink backgrounds but also on realistic, cooled dynamical QCD configurations (MILC lattices).

4. Key Results

• Spectral Flow:
  • With standard mass terms, the spectral flow showed no net crossings (index = 0) for $Q \neq 0$, confirming the cancellation of doublers.
  • With flavored mass terms, the spectral flow exhibited clear crossings at $m=0$. For a background with topological charge $Q$, the number of crossings was found to be $2Q$.
  • Example: For $Q = -2$ (Smit-Vink) and $Q \approx -2$ (MILC), the spectral flow showed 4 zero-crossings (two for each doubler species), consistent with the relation $\text{index}(D) = 2Q$.
• Chirality Identification:
  • The expectation value of the standard $\gamma_5$ on zero modes was near zero.
  • The expectation value of the modified chirality operator $X$ correctly yielded values close to $\pm 1$ (specifically $\approx -0.8$ to $-0.9$ in the numerical data due to lattice artifacts, but clearly separating the modes).
• Fermionic Topological Charge:
  • The fermionic topological charge $q(m)$ calculated via the trace formula converged to the geometric topological charge $Q$ as $m \to 0$, further validating the index theorem.
• MILC Validation: The results on cooled MILC lattices ($16^3 \times 48$) matched the Smit-Vink results, confirming the universality of the findings across different gauge field ensembles.

5. Significance

• Validation of MDF: This work solidifies the theoretical foundation of Karsten-Wilczek and Borici-Creutz fermions as viable candidates for 4D lattice QCD simulations. It proves they correctly reproduce topological properties required for chiral physics.
• Computational Efficiency: By confirming that MDFs satisfy the index theorem with proper treatment, the paper supports the use of these formulations for large-scale, cost-effective simulations of chiral symmetry breaking and topological effects in QCD.
• Methodological Advancement: The paper provides a robust methodology for handling doubler degeneracy and chirality measurement in minimally doubled fermion formulations, offering a template for future studies involving these specific lattice actions.

In conclusion, the authors successfully demonstrated that the Atiyah-Singer index theorem holds for Minimally Doubled Fermions in 4D, provided that flavored mass terms are used to lift doubler degeneracy and modified chirality operators are employed to correctly identify the chiral nature of zero modes.