Explicit Conditions for Diagnosing Tree-Level Unitarity

This paper establishes a complete set of explicit coupling conditions derived from particle content in the mass basis that fully diagnose tree-level unitarity in theories with spin-1 particles, demonstrating that these constraints are captured by amplitudes up to five points and revealing that scalar-free theories necessitate an infinite tower of vectors and fermions to maintain unitarity.

The Gist

Imagine you are a detective trying to solve a mystery about the fundamental building blocks of the universe. You have a list of suspects (particles like electrons, photons, and dark matter) and a set of rules they must follow to keep the universe from falling apart. One of the most important rules is Unitarity.

Think of Unitarity as the "Law of Conservation of Probability." In a healthy universe, if you add up all the possible things that could happen when two particles crash into each other, the total must equal 100%. If the math says there's a 110% chance of something happening, or a negative chance, the theory is broken. It's like a bank account where the numbers don't add up; the system is bankrupt.

This paper, written by Jeong, Ko, and Zheng, provides a new, super-efficient "checklist" for physicists to see if their theories of particle interactions are "bankrupt" or "solvent" without having to do the incredibly tedious work of writing out the entire rulebook (the Lagrangian) for the universe.

Here is the breakdown of their work using simple analogies:

1. The Problem: The "High-Speed Crash"

When particles smash together at incredibly high speeds (like in the early universe or a giant particle collider), the math often starts to go crazy. The probabilities start to grow infinitely large, violating the "Law of Conservation of Probability."

In the past, to fix this, physicists had to write out the entire, complex equation for every single interaction. It was like trying to find a typo in a 1,000-page novel by reading every single word. The authors of this paper wanted a way to spot the typo just by looking at the table of contents.

2. The Solution: The "Particle ID Card"

The authors developed a set of explicit conditions (a checklist) that allows you to diagnose a theory's health just by looking at the particle content (the list of particles involved) and their masses.

• The Old Way: Reconstruct the entire Lagrangian (the master rulebook) to check if the math works.
• The New Way: Look at the "ID cards" of the particles. If the couplings (how strongly they talk to each other) satisfy specific algebraic relationships, the theory is safe. If not, the theory is broken.

3. The Tools: "Recursive Construction" and "Stückelberg Magic"

To build their checklist, the authors used two clever tricks:

• Recursive Construction (The LEGO Analogy): Instead of building a giant castle (a complex interaction) from scratch, they showed that if you have the right small LEGO bricks (3-particle interactions), you can snap them together to build the larger structures (4-particle interactions). They proved that if the small bricks fit together perfectly, the big castle won't collapse. This allowed them to derive the rules for complex crashes just by looking at simple collisions.
• The Stückelberg Formulation (The "Ghost" Particle Trick): Massive particles (like a heavy dark photon) are tricky because they have a "longitudinal" mode (a vibration that points in the direction of motion) which causes the math to blow up at high speeds. The authors used a mathematical technique called the Stückelberg formulation. Imagine taking a heavy, wobbly object and attaching a "ghost" handle to it. This handle allows you to rotate the object so it behaves like a massless, stable object. By doing this, they could see that the only things that could break the rules were specific "contact terms" (interactions where particles touch directly without exchanging anything).

4. The Big Discovery: The "Lie Algebra" and the "5-Point Limit"

The authors found that all the rules for keeping the universe stable form a specific mathematical structure called a Lie Algebra. This is the same math used to describe symmetries in nature (like how a snowflake looks the same after you rotate it).

• The 5-Point Rule: They discovered a crucial limit. You don't need to check interactions involving 6, 7, or 10 particles. If the rules hold true for interactions involving up to 5 particles, the theory is safe for all higher numbers. It's like checking the foundation and the first few floors of a skyscraper; if those are solid, the whole building is safe.

5. Applying the Checklist: The "Dark Sector"

The authors tested their checklist on "Dark Photon" scenarios (theories about invisible particles that might make up Dark Matter).

• Scalar and Fermion Dark Matter: They found that if you want Dark Matter particles to have different masses (an "inelastic" scenario), you must introduce a new type of particle (a scalar, like the Higgs boson) to break the symmetry. Without it, the math forces all the masses to be equal.
• Vector Dark Matter (The Tricky One): For Dark Matter that acts like a particle with spin (a vector), the rules are much stricter. You can't just add a scalar to get different masses. You actually need to add an entirely new, massless vector particle to the mix. The "gauge structure" (the underlying symmetry) is so rigid that a simple mass-splitting trick doesn't work.

6. The "No-Scalar" Universe

Finally, they asked: "What if there are no scalar particles (like the Higgs) at all?"
Their checklist showed that in a universe without scalars, you cannot have a finite number of particles and stay safe. To keep the math from breaking, you would need an infinite tower of particles (an endless ladder of heavier and heavier vectors and fermions). This connects their work to theories about extra dimensions, where such infinite towers naturally appear.

Summary

In short, this paper gives physicists a diagnostic tool. Instead of building a full model to see if it works, they can now look at the list of particles and their interaction strengths. If the numbers on their "ID cards" fit the specific algebraic patterns derived in this paper, the theory is safe. If not, the theory is broken, and they know exactly what kind of new particles or structures (like infinite towers or extra scalars) are needed to fix it.

Technical Summary

Technical Summary: Explicit Conditions for Diagnosing Tree-Level Unitarity

Problem Statement
In effective field theory (EFT) model building, specifying particle content and interactions often leads to violations of unitarity above a certain cutoff scale. While it is known that tree-unitary theories generally correspond to spontaneously broken gauge theories (SBGTs) with additional Abelian mass terms, previous derivations of the necessary coupling conditions were often implicit or limited to specific four-point (4-pt) amplitudes. This limitation hindered the ability to diagnose tree-level unitarity directly from a system's particle content in the mass basis without reconstructing the full Lagrangian. Furthermore, the conditions for higher-point amplitudes and theories involving massless particles remained under-explored.

Methodology
The authors employ a fully on-shell approach utilizing the recently developed All-Line Transverse (ALT) shift to recursively construct scattering amplitudes. The methodology proceeds through several distinct stages:

1. On-Shell Constructibility and Smooth Limits: The authors first establish that in tree-unitary theories, smooth massless limits can always be defined. They demonstrate that all 4-pt on-shell amplitudes, whose high-energy growth is canceled by tree unitarity conditions, are on-shell constructible. This allows the construction of 4-pt amplitudes solely from 3-pt on-shell amplitudes that admit smooth massless limits.
2. Derivation of 4-pt Conditions: By recursively constructing 4-pt amplitudes for various particle combinations (involving vectors $V$, scalars $\phi$, and fermions $\psi$) and examining their high-energy ($E$) scaling, the authors derive explicit coupling conditions required to eliminate divergent terms (growing as $E^4, E^3, E^2, E$).
3. Lie Algebra Structure: The coupling conditions derived from 4-pt amplitudes are shown to organize the couplings into the Lie algebra of a group $K$. This unifies the conditions for vector self-interactions, vector-scalar interactions, and vector-fermion interactions.
4. Stückelberg Formulation for Higher-Point Amplitudes: To address higher-point amplitudes without recursively constructing them (which is practically infeasible), the authors adopt the Stückelberg formulation. They demonstrate the equivalence between tree-level amplitudes derived from the mass-basis Lagrangian and those from the Stückelberg Lagrangian. In the Stückelberg formulation, all tree-unitarity-violating contributions in higher-point amplitudes arise exclusively from higher-point contact terms in the scalar potential.
5. Gauge Invariance Translation: By requiring the cancellation of these higher-point contact terms, the authors translate the tree unitarity conditions for all higher-point amplitudes into gauge-invariance conditions on the couplings within the scalar potential.

Key Contributions and Results

• Explicit Mass-Basis Conditions: The paper provides a complete set of explicit coupling conditions for theories with a finite number of massive and massless particles of spin up to 1. These conditions allow for the diagnosis of tree unitarity using only the particle content in the mass basis, without needing to reconstruct the full Lagrangian.
• Lie Algebra Unification: The coupling conditions for 4-pt amplitudes are unified into a Lie algebra structure $[T^{(A)}, T^{(B)}] = iC^{ABC}T^{(C)}$, where the generators $T$ are constructed from the mass-basis couplings (including vector masses and interaction strengths).
• Five-Point Completeness: A significant result is the demonstration that all tree unitarity conditions are fully captured by amplitudes up to five points. Specifically, the conditions for higher-point amplitudes are encoded in the gauge invariance of the scalar potential, which can be derived from the analysis of bosonic 5-pt amplitudes. There is no necessity to examine $(n \ge 6)$-pt amplitudes.
• Dark Photon Scenarios: The authors apply their formalism to dark photon scenarios with dark matter (DM) particles of spin 0, 1/2, and 1:
  • Scalar and Fermion DM: Inelastic scenarios (where DM particles have different masses) require the introduction of an additional scalar responsible for spontaneous symmetry breaking (SSB). For fermions, this requirement is already visible at the 4-pt level, whereas for scalars, it emerges only when considering higher-point unitarity.
  • Vector DM: Unlike lower-spin cases, generating a mass splitting between a massive dark photon and vector DM particles via SSB alone is not straightforward due to tight constraints from the gauge structure. Realizing such a splitting requires an additional massless vector to enlarge the gauge symmetry, rather than just adding scalars.
• Theories Without Scalars: The analysis reveals that theories without scalars cannot satisfy tree unitarity with a finite number of vectors and fermions. Instead, satisfying these conditions necessitates an infinite tower of such particles, suggesting a connection to extra-dimensional Higgsless models.

Significance
The paper claims to provide a systematic and explicit framework for diagnosing tree-level unitarity that is independent of the specific Lagrangian formulation, relying instead on the particle content and mass basis couplings. By bridging the gap between on-shell amplitude methods and traditional Lagrangian-based unitarity constraints (via the Stückelberg formulation), the authors offer a practical tool for model builders to assess the UV safety of theories with spin up to 1. The results clarify the structural requirements for inelastic dark matter scenarios and highlight the restrictive nature of tree unitarity on vector sectors, particularly in the absence of scalars. The work concludes that tree unitarity is a powerful diagnostic tool that can rule out inconsistent model extensions and guide the construction of UV-complete theories.