Symmetric mass generation and the Nielsen-Ninomiya theorem

This paper argues that if the zeros replacing mirror fermion poles in symmetric mass generation phases are "kinematical" singularities, then a one-particle lattice Hamiltonian can be constructed to which the Nielsen-Ninomiya theorem applies, thereby enforcing a vector-like massless spectrum and challenging the feasibility of generating chiral fermions via this method.

The Gist

The Big Picture: The "Mirror" Problem

Imagine you are trying to build a very specific type of machine (a Chiral Gauge Theory) that only works with "Left-Handed" gears. You want a machine where everything spins left, and nothing spins right.

However, nature has a stubborn rule (called the Nielsen-Ninomiya Theorem). It says: "If you try to build a machine with only Left-Handed gears on a grid (a lattice), you will inevitably accidentally create a matching set of Right-Handed gears (called Mirrors)."

In physics, these "Right-Handed mirrors" are a problem because they ruin the unique behavior you are trying to create. You want to get rid of them, but the rules of the grid say they must exist.

The Proposed Solution: Symmetric Mass Generation (SMG)

Scientists have been trying to solve this for 40 years. The new idea, called Symmetric Mass Generation (SMG), is like a clever trick to make the unwanted Right-Handed gears disappear without breaking the machine.

Here is the plan:

1. Start with the mess: You have your Left-Handed gears and the unwanted Right-Handed mirrors.
2. Add a "Glue": You introduce a super-strong force (an interaction) that only affects the Right-Handed mirrors.
3. The Goal: You hope this glue will make the Right-Handed mirrors so heavy (massive) that they become stuck and stop moving, effectively disappearing from the machine's operation.
4. The Catch: You must do this without breaking the symmetry of the machine. You can't just smash the mirrors; you have to make them heavy while keeping the whole system balanced.

If this works, you are left with only the light, fast Left-Handed gears, and you can finally build your perfect machine.

The Authors' Investigation: Does the Trick Work?

The authors of this paper (Golterman and Shamir) decided to check if this "glue" trick actually works or if the universe has a loophole that stops it. They looked at the math to see if the "Right-Handed mirrors" can truly be made heavy without creating new problems.

They used a concept called an "Effective Hamiltonian" (let's call it the Blueprint). This Blueprint is a map that shows how the particles move.

The Two Possibilities

When they looked at the Blueprint for the Right-Handed mirrors, they found two possible outcomes:

1. The "Ghost" Scenario (The Bad Way)
Sometimes, when you try to make the mirrors heavy, the math creates a "hole" or a "zero" in the Blueprint.

• Analogy: Imagine trying to weigh a ghost. If you put a ghost on a scale, the scale might break or show a negative number. In physics, this creates "ghosts"—particles that don't make sense (they violate the laws of probability).
• Result: If this happens, the theory is broken and cannot be used.

2. The "Kinematical" Scenario (The Good Way)
The authors argue that the "holes" in the math aren't real ghosts. Instead, they are just a sign that the Right-Handed mirror has formed a Bound State.

• Analogy: Imagine the Right-Handed mirror is a lonely dancer. The "glue" force attracts a partner, and they dance together as a heavy couple (a bound state). The lonely mirror is gone, but it hasn't vanished; it's just part of a heavy pair.
• Result: This is physically possible. The mirror becomes heavy, and the "hole" in the math is just a quirk of how we describe the heavy pair.

The Big Conclusion: The "Vector-Like" Trap

Here is the punchline. The authors ran the math through the Nielsen-Ninomiya Theorem again, but this time for these heavy, interacting systems.

They found that even if you successfully make the Right-Handed mirrors heavy using this "glue," the math forces a new rule:
If the system is balanced and follows the rules, you cannot end up with only Left-Handed gears.

Even after the trick, the theory will still require a matching set of Right-Handed partners to exist in the final, smooth version of the machine.

• The Metaphor: It's like trying to build a house with only blue bricks. You try to paint the red bricks blue, but the theorem says, "No matter how you paint them, the house structure requires an equal number of red bricks to stand up."
• The Verdict: The massless particles that remain must be Vector-Like. This means for every Left-Handed particle, there is still a Right-Handed partner. You haven't actually created the "pure Left-Handed" machine you wanted.

What Does This Mean for Future Research?

The authors aren't saying "Give up." They are saying, "Here is the homework you need to do before you claim victory."

If someone claims to have built a perfect Chiral Gauge Theory using this SMG trick, they must prove:

1. Did the glue actually work? Did the mirrors really become heavy, or did they turn into "ghosts"?
2. Are the remaining particles truly free? In the final smooth version of the machine, are the Left-Handed gears moving freely, or are they still stuck in complex interactions?
3. The "3450" Model: They specifically mention a popular recent model (the 3450 model) and warn that it might fail because it creates "marginal" interactions that prevent the particles from being truly free.

Summary

The paper is a reality check for a very popular idea in physics.

• The Dream: Use strong forces to make unwanted particles heavy and disappear, leaving a perfect, asymmetric universe.
• The Reality Check: The fundamental laws of the grid (Nielsen-Ninomiya) are very stubborn. Unless you can prove that the "heavy particles" are actually just bound states and that the remaining particles are perfectly free, the dream might be impossible. The universe seems to insist on keeping things balanced (Vector-Like), even when you try to tip the scales.

Technical Summary

1. Problem Statement

The central challenge addressed is the construction of lattice chiral gauge theories. A fundamental obstacle in this field is the Nielsen-Ninomiya (NN) theorem, which states that for any local, translation-invariant lattice theory of free fermions with a conserved charge, massless fermions must appear in vector-like pairs (i.e., for every left-handed Weyl fermion, there is a right-handed partner with the same charge). This leads to "species doubling," preventing the isolation of chiral fermions required for the Standard Model.

To circumvent this, the Symmetric Mass Generation (SMG) approach has been proposed. The SMG strategy involves:

1. Starting with a set of free Dirac fermions in complex representations of a symmetry group $G$.
2. Introducing strong, non-gauge interactions ($H_{int}$) that couple specifically to the "mirror" (right-handed) fermions.
3. Seeking a phase where these mirror fermions acquire a mass of order the lattice cutoff (becoming gapped) without spontaneous symmetry breaking (SSB) of $G$, while the desired chiral (left-handed) fermions remain massless.
4. Gauging the group $G$ in the final step to obtain a chiral gauge theory.

The critical open question is whether the NN theorem can be extended to these interacting SMG models to prove that such a phase is impossible, or if specific conditions allow the theorem to be bypassed.

2. Methodology

The authors extend the logic of the NN theorem from free fermion Hamiltonians to interacting lattice models by constructing an effective lattice Hamiltonian ($H_{eff}$).

• Definition of $H_{eff}$: They define $H_{eff}$ as the inverse of the retarded propagator at zero frequency, $R(\vec{p})$.
• Conditions for Applicability: The authors analyze whether $H_{eff}$ satisfies the standard assumptions of the NN theorem:
  1. Translation Invariance: $H_{eff}$ is defined on the same Brillouin zone (compact manifold) as the free theory.
  2. Locality and Smoothness: If the underlying lattice model is local, $H_{eff}(\vec{p})$ must be analytic (or have continuous first derivatives) except at specific singularities.
  3. Symmetry: The model must respect the global symmetry $G$ with no SSB and well-defined charge sectors.
  4. Continuum Limit: The limit must contain only free, relativistic, massless fermions (no massless bosons).
• Analysis of Singularities:
  • Propagator Zeros: The authors distinguish between "genuine" zeros (which imply ghost states and loss of unitarity) and "kinematical" zeros. They argue that in a successful SMG phase, zeros in the propagator are kinematical, arising because the gapped mirror fermions form bound states with new partners.
  • Bound State Mechanism: Using the "3450 model" (a 2D lattice model with U(1) charges 3, 4, 5, 0) as an example, they show that strong interactions can generate bound states. The interpolating fields for these bound states are derivatives of the interaction Hamiltonian with respect to the mirror fields.
  • Non-analyticity: They calculate the loop corrections to $H_{eff}$ in the continuum limit. Assuming irrelevant interactions near the continuum, the lowest-order non-analytic contributions appear at two loops. They demonstrate that despite these corrections, $H_{eff}$ retains a continuous first derivative at the degeneracy points (zeros).

3. Key Contributions

• Extension of the NN Theorem: The paper provides a rigorous framework to apply the NN theorem to interacting SMG models by defining an effective Hamiltonian based on the retarded propagator.
• Classification of Propagator Zeros: The authors clarify that for SMG to work without violating unitarity, propagator zeros must be "kinematical," implying the existence of bound states that pair with the gapped mirrors.
• Derivation of Vector-Like Constraints: They prove that if the SMG phase satisfies specific conditions (locality, no SSB, only massless fermions in the continuum, and no propagator zeros), then $H_{eff}$ satisfies all NN theorem conditions.
• Anomaly Independence: A significant conceptual contribution is the demonstration that the applicability of the NN theorem to the reduced model (before gauging) is independent of gauge anomalies. The reduced model does not "care" about anomalies; thus, anomaly cancellation alone does not guarantee the success of an SMG construction.

4. Results

• Vector-Like Spectrum: Under the derived assumptions, the authors conclude that the massless fermion spectrum in the continuum limit of any successful SMG model must be vector-like. This implies that if the mirror fermions are gapped without SSB, the theory must inevitably produce a massless partner for the original chiral fermion, or the mirror fermions cannot be gapped without breaking the symmetry or introducing massless bosons.
• Conditions for Failure: The paper identifies specific "homework" problems that any proposed SMG model must solve to avoid this conclusion:
  1. Do the interactions generate bound states (kinematical zeros) rather than ghosts (genuine zeros)?
  2. Are the massless fermions truly free in the continuum limit? (e.g., in 2D, marginal 4-fermion operators might prevent the theory from being free).
  3. Does the vacuum polarization (current-current correlator) confirm the absence of unwanted massless states?
• Critique of Recent Models: The authors suggest that recent attempts, such as the 3450 model in 2D, may fail because they might not yield a free theory in the continuum limit due to induced marginal interactions, or they may not successfully generate the necessary bound states to avoid the NN constraints.

5. Significance

This work serves as a critical "reality check" for the SMG program.

• Theoretical Constraint: It establishes that the NN theorem is robust even in the presence of strong interactions, provided the effective Hamiltonian remains local and the continuum limit is free.
• Guidance for Lattice QCD/Phenomenology: It shifts the burden of proof to proponents of SMG. It is no longer sufficient to simply show that mirrors are gapped; one must explicitly demonstrate that the resulting continuum theory is free, vector-like constraints are avoided via specific mechanisms (like bound states), and that no massless bosons or ghosts are introduced.
• Clarification of Anomalies: By decoupling the NN theorem's applicability from gauge anomalies, the paper clarifies that solving the anomaly cancellation problem is a necessary but insufficient condition for constructing a lattice chiral gauge theory via SMG.

In summary, Golterman and Shamir argue that unless an SMG model violates one of the core assumptions (locality, freedom in the continuum, or the nature of propagator zeros), the Nielsen-Ninomiya theorem dictates that chiral fermions cannot be isolated on the lattice without symmetry breaking, rendering the massless spectrum vector-like.