Systematic analysis of 3HDM symmetries

Imagine the universe is built out of tiny, invisible Lego bricks. In the world of particle physics, one of the most important types of bricks is called the Higgs field. Usually, scientists think there is just one type of Higgs brick. But in this paper, the authors explore a more complex universe where there are three different types of Higgs bricks (called "three-Higgs-doublet models" or 3HDMs).

The main goal of this paper is to act like a master architect trying to figure out all the possible ways these three bricks can be arranged according to the "laws of symmetry."

Here is a breakdown of their findings using simple analogies:

1. The Puzzle of Symmetry

Think of the three Higgs bricks as three dancers on a stage.

Symmetry is like a rule that says, "If you swap the dancers or spin them around, the dance routine (the laws of physics) must look exactly the same."
For a long time, scientists have been trying to list every possible dance routine (symmetry group) these three dancers could follow.
The Problem: The authors realized that previous lists were incomplete. Some dance moves were missed, and some rules were misunderstood. They wanted to create a "complete catalog" of every possible valid dance.

2. The Two Main Dance Moves

The paper focuses on two specific ways the dancers can move:

The "Family Swap" (HF Transformations): Imagine the three dancers simply swapping places with each other (Dancer 1 becomes Dancer 2, etc.) or changing their outfits in a coordinated way. This is a standard rotation.
The "Mirror Image" (GCP Transformations): Imagine the dancers looking in a mirror. They swap places and their movements are reversed (like a reflection). This is more complex because it involves flipping the "handedness" of the universe.

The authors went through a massive, systematic check (like checking every single permutation of a Rubik's cube) to see which of these moves actually work without breaking the laws of physics. They found that some moves scientists thought were unique were actually just the same move seen from a different angle, and they discovered a few new moves that had been overlooked.

3. The "GOOFy" Twist

The most exciting part of the paper is the introduction of a new, strange type of dance move they call GOOFy (named after the initials of the scientists who first noticed it).

The Analogy: Imagine a dancer who, when they spin, doesn't just move their body—they also flip the sign of their energy. It's like a dancer who moves forward but somehow counts as moving backward in the energy ledger.
The Catch: In the real world, this move is "illegal" for the dancer's shoes (the kinetic energy part of the equation). If you try to force this rule to be perfect, the dancer loses their ability to move normally and becomes a "ghost" or an "auxiliary" helper that doesn't really exist as a physical particle.
The Paper's Conclusion: The authors treat these GOOFy moves not as perfect, real-world laws, but as mathematical tools. They are like "special filters" that help physicists find hidden patterns or simplified versions of the theory. Even though the move breaks the "shoes" (kinetic terms), it creates a very stable, rigid structure for the rest of the dance (the potential energy).

4. The "Accidental" Trap

The authors warn about a common mistake in building these models.

The Analogy: Imagine you try to build a house with a specific, small blueprint. But, because of the way the bricks fit together, the house accidentally ends up being a giant castle with a much bigger blueprint than you intended.
In physics, if you try to impose a small symmetry, the math often forces the system to become a larger symmetry automatically. The authors carefully checked their list to make sure they only counted the symmetries that actually stay small and don't accidentally grow into something else.

5. The Final Map

The paper ends by providing a comprehensive map (Tables 1, 2, and 3) for other scientists.

If you are a physicist trying to build a model with three Higgs fields, you can look at this map.
It tells you: "If you want your model to have this specific symmetry, here is exactly how the math must look."
It also warns you: "If you try to build it this other way, you will accidentally end up with a different symmetry."

Summary

In short, this paper is a quality control check and an expansion of the rulebook for a specific type of particle physics model.

They cleaned up the existing list of rules (symmetries).
They found a few new, weird rules (GOOFy transformations) that act like "mathematical shortcuts" rather than physical laws.
They provided a clear, organized guide so other scientists don't waste time trying to build models that are mathematically impossible or accidentally redundant.

They didn't discover a new particle or a new way to cure diseases; they simply made sure the theoretical blueprint for how these three Higgs fields can interact is complete, accurate, and easy to read.

Technical Summary: Systematic Analysis of 3HDM Symmetries

Problem Statement
Symmetries are fundamental to the structure and predictions of Multi-Higgs-Doublet Models (NHDMs), particularly the Three-Higgs-Doublet Model (3HDM). While significant effort has been dedicated to classifying possible symmetry groups and the conditions for their realization, the completeness of existing classifications remains an open question. Previous approaches have sometimes failed to capture the full picture, potentially overlooking specific symmetry structures or misidentifying realizable symmetries due to basis-dependent artifacts. Furthermore, recent developments, such as the identification of "GOOFy" transformations (named after the authors of Ref. [17]), introduced non-standard field-space operations that act non-trivially on Higgs doublets and their conjugates, challenging conventional classification frameworks. This work addresses the need for a systematic, comprehensive, and clearer framework to identify all realizable symmetries in 3HDMs, including these novel transformation types.

Methodology
The authors adopt a systematic, "brute-force" approach to identify realizable symmetries by iteratively imposing symmetry transformations on the most general 3HDM scalar potential. The methodology relies on the following key components:

Framework and Definitions: The analysis utilizes an extended representation of scalar fields ( $H \equiv h_i \oplus h^*_i$ ) to treat Higgs family (HF) and General CP (GCP) transformations uniformly. HF transformations correspond to basis rotations ( $U \in U(3)$ ), while GCP transformations mix fields with their conjugates. The authors distinguish between "realizable" symmetries (where the imposed group is the maximal symmetry of the potential) and "non-realizable" ones (where constraints accidentally enhance the symmetry to a larger group).
Generator-Based Classification: Starting from families of generators for finite subgroups of $U(3)$ (referencing the SmallGrp library and Ref. [54]), the authors impose these generators on the general potential. They systematically reduce the parameter space, discarding cases that reproduce previously obtained potentials.
Bilinear Formalism: To ensure basis independence, the analysis employs the bilinear formalism, decomposing the nine complex SU(2) bilinear singlets ( $h_{ij}$ ) into a real singlet and an octet. Symmetries are classified by the eigenvalue multiplicity patterns of the $\Lambda_{ij}$ matrix (the quartic coupling sub-matrix).
Expansion to GOOFy Transformations: The study extends beyond conventional HF and GCP transformations to include "GOOFy" (Generalized Orthogonal/Unitary Field-y) transformations. These are algebraic transformations that can flip the signs of kinetic terms or act non-trivially on bilinear singlets without preserving the canonical kinetic structure. The authors analyze both "GOOFy HF-like" and "GOOFy GCP-like" transformations, as well as "T-GOOFy" (Trautner) variants.

Key Contributions and Results

Consolidation and Refinement of HF and GCP Symmetries:
- The paper provides a comprehensive catalog of realizable HF and GCP symmetry groups in 3HDMs.
- It confirms that the maximal Abelian symmetry is $Z_4$ and the largest realizable discrete symmetry group is $\Sigma(36) \cong (Z_3 \times Z_3) \rtimes Z_4$ .
- The authors rigorously analyze the $U(1) \circ V_4$ case (a central product of $U(1)$ and the Klein four-group $V_4$ ), clarifying its structure as a quotient group and demonstrating that it yields a unique scalar potential distinct from other $U(1) \times D_4$ interpretations.
- They identify that certain previously proposed symmetries (e.g., specific $S_3$ implementations) lead to accidental enhancements or redundant couplings depending on the basis, and provide the correct basis-independent characterizations.
- Tables 1, 2, and 3 present the complete list of realizable symmetries, their associated independent coupling counts, and the corresponding bilinear eigenvalue patterns.
Analysis of GOOFy Transformations:
- The paper systematically classifies GOOFy transformations, which act on the scalar doublets and their conjugates in ways that do not preserve the kinetic term's sign (e.g., $h_i \to -h^*_j$ ).
- It distinguishes between transformations that act as HF-like (preserving the structure of the potential but flipping signs of bilinear terms) and GCP-like.
- The authors note that while GOOFy transformations can enforce Renormalization Group (RG) stable relations at the tree level, they face conceptual tensions at the one-loop level in 3HDMs due to the non-zero $d_{abc}$ tensor of $SU(3)$, which introduces radiative feedback channels that destroy the invariance of the $r_0$ parameter. Consequently, the paper treats GOOFy operations primarily as algebraic tools for identifying organizing principles or tree-level limits rather than exact dynamical symmetries.
- Specific potentials invariant under GOOFy-like transformations are derived, including cases where bilinear terms vanish (Gildener-Weinberg limit) or acquire specific imaginary phases.
Identification of Overlooked Structures:
- The analysis uncovers previously missed or misidentified structures, such as the specific realization of the $U(1) \circ V_4$ symmetry and the correct interpretation of $D_4$ -based cases under GCP transformations.
- It clarifies that certain eigenvalue patterns (e.g., $1^3 2^2 1^1$ ) can arise from algebraic constraints on couplings without corresponding to a new symmetry group, highlighting the limitations of using eigenvalue patterns as sole identifiers.

Significance
The paper claims to offer a "clearer, more systematic framework for model builders" by revisiting the problem of realizable symmetries from an alternative perspective. Its primary significance lies in:

Completeness: Providing what is asserted to be the most complete overview to date of HF and GCP symmetries in 3HDMs, consolidating known results and correcting previous classifications.
Systematic Expansion: Integrating the recently identified GOOFy transformations into the standard classification scheme, thereby expanding the set of known symmetry structures in 3HDMs.
Practical Utility: Offering a practical reference (via the provided tables and eigenvalue patterns) for identifying symmetries in a basis-invariant manner, which is crucial for constructing phenomenologically viable models.
Theoretical Clarity: Resolving ambiguities regarding the realization of specific groups (like $U(1) \circ V_4$ and $CP_4$ ) and clarifying the distinction between realizable and non-realizable symmetries in the scalar sector.

The authors maintain a modest stance, noting that while their scan up to order 2000 exhibits saturation, the classification strictly applies to realizable symmetries of the scalar potential. They acknowledge that including the Yukawa sector may admit distinct fermion embeddings and that GOOFy transformations, while useful as algebraic organizing principles, may not constitute exact dynamical symmetries in the full quantum theory due to radiative corrections.