Imagine the Standard Model of particle physics as a massive, intricate clockwork mechanism that explains how the universe works at its most basic level. For decades, scientists have been looking for a missing gear in this clockwork: a particle called the axion (or its cousin, the ALP). This particle is a prime suspect for solving a major mystery about why the universe behaves the way it does, but it has remained invisible.

This paper, titled "The KSVZ Atlas," is essentially a new instruction manual for finding that missing gear. The authors, Ajdin Palavrić, Xavier Ponce Díaz, and Hector Tiblom, have built a unified framework that connects two different ways of looking for this particle.

Here is the breakdown of their work using simple analogies:

1. The Two Different Maps

To find the axion, scientists usually use two different "maps":

Map A (The Direct Search): This is like looking for a specific car in a parking lot. You scan the area, looking for the car's headlights or engine noise. In physics, this means building detectors to catch the axion directly as it flies through space.
Map B (The Indirect Search): This is like noticing that the traffic lights in the city are behaving strangely. You don't see the car, but you know it's there because it's messing with the traffic flow. In physics, this means looking for tiny, weird changes in how known particles (like electrons or quarks) interact with each other.

For a long time, scientists treated these two maps as separate. They would look for the car, and separately, they would study the traffic lights, without realizing that the "weird traffic" was actually caused by the "missing car."

2. The "KSVZ" Blueprint

The paper focuses on a specific type of blueprint for how this missing car (the axion) might be built. This blueprint is called KSVZ (named after the scientists Kim, Shifman, Vainshtein, and Zakharov).

In this blueprint, the axion doesn't exist on its own; it is born from a heavy, invisible particle called a Vector-Like Fermion (VLF). Think of the VLF as a giant, heavy anchor that is too heavy to be seen directly. When this anchor breaks apart or interacts with the universe, it leaves behind a light, ghostly ripple—the axion.

The authors realized that because the axion and the heavy anchor are part of the same family, they leave fingerprints on the "traffic lights" (the Standard Model particles) in a very specific, predictable way.

3. The Unified Atlas

The main achievement of this paper is creating a Unified Atlas.

Before: Scientists had to guess how the heavy anchor affected the traffic lights, and then guess how that related to the ghostly ripple. It was like trying to connect two different puzzle sets without a picture on the box.
Now: The authors have drawn a direct line between the heavy anchor and the ghostly ripple. They created a mathematical "Rosetta Stone" that translates the rules of the heavy anchor (which live in the high-energy "UV" world) directly into the rules for the ghostly ripple (the low-energy "ALP" world) and the traffic lights (the SMEFT world).

4. The Big Discovery: The Indirect Search is Stronger

The authors used this new atlas to run a massive simulation. They asked: "If this blueprint is true, what would the traffic lights look like?"

They found something surprising:

The Indirect Search Wins: For most of the possible scenarios, the "traffic light" anomalies (indirect constraints) are actually much stronger than the direct search for the car.
The Analogy: It's as if you could find the missing car more easily by noticing that the traffic lights are blinking in a weird pattern than by actually driving around looking for the car itself. The indirect method rules out huge areas of the parking lot where the car cannot be hiding.

5. The One Exception: The "Mixing" Loophole

There is one specific scenario where the direct search becomes the hero. This happens if the blueprint allows the heavy anchor to "mix" with the normal particles (like a ghost merging with a human).

In this specific case, the "traffic lights" don't change much, so the indirect search fails to spot the car.
However, this mixing makes the car itself easier to catch directly in rare particle decays (like a rare flower blooming in a garden).
The authors show that if you are looking in this specific "mixing" zone, you must rely on direct searches, but for almost everywhere else, the indirect "traffic light" method is the most powerful tool.

6. Testing a Real Mystery

To prove their map works, the authors applied it to a real-world mystery: a recent anomaly reported by the Belle II experiment.

The Mystery: Scientists saw a few extra events where a particle decayed into something that looked like it was missing energy (a potential sign of an axion).
The Test: They used their Unified Atlas to see if this anomaly could be explained by their KSVZ blueprint.
The Result: The atlas said no. The indirect "traffic light" constraints were so strong that they ruled out the specific conditions needed to explain the Belle II anomaly. The "missing car" interpretation of that data is likely incorrect because the "traffic" wouldn't be behaving that way if the car were there.

Summary

This paper builds a bridge between two ways of searching for new physics. It tells us that for a wide class of theories, we don't need to wait for a direct sighting to know where the new particle isn't. By carefully watching how known particles interact (the "traffic lights"), we can already rule out huge sections of the universe where this new particle cannot exist. It turns the search for the axion from a game of "hide and seek" into a game of "deduction," where the clues left behind by heavy, invisible particles tell us exactly where to look—and where not to look.

Technical Summary: The KSVZ Atlas: A Unified SMEFT–ALP Framework

Problem Statement

The Kim–Shifman–Vainshtein–Zakharov (KSVZ) mechanism provides a versatile class of ultraviolet (UV) completions for axions and axion-like particles (ALPs), typically involving heavy vector-like fermions (VLFs) and a spontaneously broken global $U(1)_{PQ}$ symmetry. A critical challenge in analyzing these models is that the low-energy phenomenology of the ALP sector is intrinsically connected to the Standard Model Effective Field Theory (SMEFT) sector. Integrating out the heavy VLFs generates effective operators in both sectors simultaneously.

Existing analyses often treat ALP phenomenology and SMEFT constraints in isolation. This separation fails to capture the non-trivial correlations between precision observables (electroweak, Higgs, flavor) and direct ALP searches, which arise from a common UV origin. Furthermore, previous treatments often rely on dimension-five ALP EFTs or specific charge assignments, lacking a systematic framework applicable to arbitrary VLF representations and $U(1)_{PQ}$ charge assignments that can consistently map UV parameters to both SMEFT and ALP effective theories.

Methodology

The authors develop a unified framework to systematically match KSVZ-like UV completions onto both the SMEFT and the low-energy ALP effective theory. The methodology proceeds through the following steps:

UV Model Classification: The authors classify KSVZ-like models containing seven distinct VLF representations under the SM gauge group ( $D, U, Q, Q_5, Q_7, T_1, T_2$ ). They fix the $U(1)_{PQ}$ charge normalization ( $X_\Phi = +1$ ) and determine all allowed renormalizable interactions between VLFs and SM fields consistent with gauge invariance and the PQ symmetry. This includes identifying cases where mass mixing between SM fermions and VLFs occurs.
Field Redefinitions and Spontaneous Breaking: Upon spontaneous breaking of $U(1)_{PQ}$ , the complex scalar acquires a vacuum expectation value (VEV), generating VLF masses and a pseudo-Nambu-Goldstone boson (ALP). For models permitting mass mixing, the authors perform field redefinitions to diagonalize the fermion mass matrix. This procedure removes explicit mixing terms but induces modified Higgs/gauge couplings and generates specific derivative interactions for the ALP.
Unified Matching: The heavy VLFs are integrated out at tree level. The authors derive the resulting effective Lagrangian, which includes:
- SMEFT Sector: Dimension-six operators in the Warsaw basis (specifically $\psi^2 H^2 D$ and $\psi^2 H^3$ classes).
- ALP Sector: Derivative couplings to SM fermions and anomaly-induced couplings to gauge bosons.
- Correlations: The framework explicitly establishes the one-to-one correspondence between SMEFT Wilson coefficients and ALP couplings, demonstrating that they originate from the same underlying UV couplings and mass parameters.
Phenomenological Analysis:
- SMEFT Constraints: Using the smelli and flavio frameworks, the authors perform global fits to electroweak precision tests (EWPT), Higgs observables, and flavor data. They constrain the SMEFT Wilson coefficients generated by each VLF representation and flavor structure ($ij$).
- ALP Constraints: The derived SMEFT bounds are translated into constraints on the ALP parameter space (couplings $c_{af}$ and decay constant $f_a$ ).
- Interplay: The authors compare these indirect SMEFT-derived bounds with direct ALP search limits (e.g., rare meson decays, beam dump experiments, collider searches) for specific benchmark scenarios, including the QCD axion limit and general ALP scenarios with free mass parameters.

Key Contributions

Unified Matching Framework: The paper presents a general, gauge-invariant matching procedure for KSVZ-like models that simultaneously generates SMEFT and ALP effective operators. This approach correctly identifies leading fermionic ALP interactions as arising from dimension-seven operators above the electroweak scale, differing from standard dimension-five treatments.
Systematic Classification: A complete catalogue of viable KSVZ models is provided for seven VLF representations, detailing the allowed $U(1)_{PQ}$ charge assignments and the resulting interaction structures (Table 1).
Correlated Constraints: The authors derive robust bounds on SMEFT Wilson coefficients for all VLF scenarios and flavor combinations. Crucially, they map these bounds to the ALP parameter space, revealing that indirect constraints from precision and flavor observables often dominate over direct ALP searches.
Benchmark Analyses: Detailed phenomenological studies are conducted for the $b \to s$ and $s \to d$ sectors. The authors illustrate how the unified framework can test specific experimental anomalies, such as the Belle II excess in $B^+ \to K^+ + \text{inv.}$ , by checking compatibility with correlated SMEFT constraints.

Results

Hierarchy of Constraints: The analysis reveals a clear hierarchy where off-diagonal flavor constraints (e.g., $12, 13, 23$) are generally tighter than diagonal ones, often by one to two orders of magnitude. For down-type VLFs, off-diagonal constraints are systematically stronger than diagonal ones; for up-type VLFs, the hierarchy is less pronounced.
Dominance of Indirect Probes: For large regions of parameter space, particularly where PQ-charge assignments do not permit mass mixing with SM fermions, indirect constraints derived from SMEFT analyses (EWPT and flavor observables) are significantly stronger than direct ALP probes.
Exception for Mass Mixing: In scenarios where PQ charges allow mass mixing between VLFs and SM fermions, the translation of SMEFT bounds to ALP couplings is suppressed by Yukawa factors. In these specific cases, direct flavor-violating meson decays (e.g., $K \to \pi a$ , $B \to K a$ ) become the leading probes.
Belle II Excess: Applying the framework to the recent Belle II excess in $B^+ \to K^+ + \text{inv.}$ , the authors find that the parameter region required to explain the signal is excluded by the correlated SMEFT constraints (specifically from $B_s \to \mu^+\mu^-$ and $B \to K^* \mu^+\mu^-$ ), unless the VLF mass is unnaturally light or the decay constant is extremely large.
QCD Axion vs. ALP: While the QCD axion mass is fixed by QCD dynamics, the framework treats general ALPs with independent mass and decay constant. The results show that for general ALPs, the interplay between production (via flavor-changing couplings) and decay (via anomaly-induced gluonic couplings) creates complex exclusion patterns in the $(m_a, f_a)$ plane, where indirect flavor constraints often carve out regions inaccessible to direct searches.

Significance and Claims

The paper claims to establish a "unified framework" that bridges UV completions, SMEFT analyses, and ALP searches. Its primary significance lies in demonstrating that treating the SMEFT and ALP sectors separately leads to an incomplete picture of the phenomenology. By explicitly linking the two, the authors show that:

Predictive Power: The common UV origin imposes strict correlations that allow precision measurements to probe ALP couplings in regimes where direct searches are insensitive.
Interpretation of Anomalies: The framework provides a rigorous tool to assess the viability of experimental anomalies (like the Belle II excess) by checking their consistency with the broader set of precision and flavor data.
Complementarity: Direct ALP searches and indirect SMEFT probes offer complementary information. While direct searches are sensitive to specific decay modes and lifetimes, indirect probes constrain the underlying flavor structure and coupling strengths that govern both production and decay.

The authors conclude that their approach enables a consistent interpretation of existing constraints and a more robust exploration of future signals within a common theoretical setting, moving beyond the canonical QCD axion line to a broader ALP landscape. They note that while their analysis focuses on tree-level matching and colored VLFs, the formalism is generalizable to leptonic VLFs, Froggatt-Nielsen models, and higher-loop effects.

The KSVZ Atlas: A Unified SMEFT-ALP Framework