Full positivity bounds for anomalous quartic gauge couplings in SMEFT

This paper derives the complete set of positivity bounds for all 22 dimension-8 anomalous quartic gauge coupling coefficients in SMEFT by incorporating all electroweak boson modes and constructing extremal rays via group theory, revealing that these constraints reduce the viable parameter space to approximately 0.0313% and providing a Python package for numerical verification.

The Gist

The Big Picture: The "Physics Rulebook"

Imagine the Standard Model of particle physics as the official rulebook for how the universe works. It's incredibly successful, but scientists suspect there might be hidden rules or new players (New Physics) that we haven't discovered yet.

To find these hidden rules without needing a giant new particle accelerator, scientists use a "cheat sheet" called SMEFT (Standard Model Effective Field Theory). Think of SMEFT as a way to write down possible new rules using a set of adjustable knobs (called coefficients). If you turn a knob, you change how particles interact.

However, there's a problem: There are 22 different knobs for a specific type of interaction called "Quartic Gauge Couplings" (how four force-carrying particles bounce off each other). If you turn these knobs randomly, you could create a universe that breaks the fundamental laws of physics—like allowing time travel or creating energy out of nothing.

The Goal of this Paper:
The authors wanted to figure out exactly which combinations of these 22 knobs are allowed and which are forbidden. They wanted to draw a map of the "safe zone" where the universe still makes sense.

---

The Analogy: The "Lego Castle" and the "Shape of the Box"

1. The Infinite Possibilities (The Naive Space)

Imagine you have a giant box of 22 different colored Lego bricks. You can build a castle using any combination of these bricks. Mathematically, the number of ways you can arrange them is huge. This is the "naive parameter space."

If you just grab bricks at random, you might build a castle that collapses immediately because the physics is broken.

2. The "Positivity" Rule (The Laws of Physics)

The universe has strict laws: Causality (cause must come before effect) and Unitarity (probability must add up to 100%). In the language of this paper, these laws create a "Positivity Bound."

Think of this as a mold or a container. Only Legos that fit inside this specific mold can form a stable castle. If your combination of bricks falls outside the mold, the castle collapses (the theory is impossible).

3. The "Cone" (The Shape of the Safe Zone)

The authors discovered that the "safe zone" isn't a simple box or a sphere. It's a cone.

• Imagine a giant, 22-dimensional ice cream cone.
• The tip of the cone is the Standard Model (where all knobs are zero).
• The inside of the cone is the "Safe Zone."
• The outside is the "Forbidden Zone."

The paper's main job was to map the exact shape of this cone.

---

The Method: How They Mapped the Cone

Mapping a 22-dimensional cone is like trying to describe the shape of a cloud to someone who has never seen one. The authors used two clever methods to find the "edges" (or Extremal Rays) of this cone.

Method A: The "Group Theory" Detective

They used a mathematical tool called Group Theory (which studies symmetry, like how a snowflake looks the same when rotated).

• The Analogy: Imagine you are trying to figure out the shape of a shadow cast by a complex sculpture. Instead of measuring every inch of the shadow, you look at the symmetry of the sculpture. If the sculpture has a specific symmetry, the shadow must have a matching edge.
• They looked at how particles (like the Higgs boson and W/Z bosons) transform under these symmetries to find the "edges" of the cone.

Method B: The "Casimir" Calculator

They also used a second, independent method involving Casimir Operators (mathematical tools that act like "identity cards" for particles, telling you their spin and charge).

• The Analogy: If Method A was looking at the shadow, Method B was measuring the weight and balance of the sculpture itself. If both methods point to the same edge, you know you've found the true boundary.

The Twist:
In previous studies, scientists only looked at "transverse" particles (like waves moving side-to-side). This paper looked at everything, including the "longitudinal" modes (waves moving up and down) and the Higgs boson. This made the cone much more complex, with some edges that weren't straight lines but curved surfaces (like the side of a bowl).

---

The Shocking Result: The "Tiny Slice"

After doing the heavy math, the authors found something surprising.

If you imagine the total space of all possible 22-knob combinations as a giant sphere (representing 100% of all possibilities), the "Safe Zone" (the positivity cone) is incredibly small.

• The Statistic: The safe zone occupies only 0.0313% of the total space.
• The Analogy: Imagine a giant beach ball representing all possible universes. The "Safe Zone" is a single grain of sand sitting on that beach ball.
• What this means: If you randomly pick a set of new physics rules, there is a 99.97% chance they are impossible and would break the laws of the universe. The universe is very picky!

---

The Practical Tool: "SMEFTaQGC"

The authors didn't just do the math; they built a tool for other scientists.

• They wrote a Python package called SMEFTaQGC.
• What it does: If a scientist has a theory with specific values for their 22 knobs, they can plug them into this tool.
• The Output: The tool will say, "Yes, this is safe," or "No, this is outside the cone." If it's outside, the tool even suggests a direction to "nudge" the knobs to get back into the safe zone.

Summary

1. The Problem: There are 22 ways to tweak how particles interact, but most combinations break the laws of physics.
2. The Solution: The authors mapped the "Safe Zone" (a 22-dimensional cone) where physics remains consistent.
3. The Discovery: The Safe Zone is tiny—only 0.03% of all possibilities.
4. The Takeaway: Nature is extremely restrictive. If we discover new physics, it must fit into this tiny, specific shape, or it simply cannot exist.

This paper provides the ultimate "rulebook" for anyone trying to build theories about new particles, ensuring they don't accidentally break the universe.

Technical Summary

1. Problem Statement

The Standard Model Effective Field Theory (SMEFT) provides a model-independent framework to search for Beyond the Standard Model (BSM) physics. However, the SMEFT parameter space is vast, containing numerous independent Wilson coefficients. A specific focus of the LHC electroweak program is Anomalous Quartic Gauge Couplings (aQGCs), which describe deviations in vector boson scattering (VBS) and vector boson-Higgs scattering.

While dimension-6 operators are constrained by triple gauge couplings, genuine aQGC effects primarily arise at dimension-8. There are 22 independent CP-even dimension-8 operators (categorized as S-type, M-type, and T-type) that contribute to these couplings. The challenge is to determine the theoretically allowed region for these 22 coefficients. Previous studies on positivity bounds were limited to transversal vector boson scattering, ignoring longitudinal modes and Higgs contributions, which are crucial for a complete analysis of electroweak symmetry breaking.

The authors aim to derive the complete set of optimal positivity bounds for all 22 dimension-8 aQGC coefficients by incorporating all electroweak boson modes (transverse, longitudinal, and Higgs) and utilizing fundamental S-matrix principles (unitarity, causality, and analyticity).

2. Methodology

The paper employs a convex geometry approach to derive positivity bounds. The core logic follows these steps:

• Dispersion Relations: Using the optical theorem and dispersion relations, the $s^2$ coefficients of the forward scattering amplitudes ($M_{ijkl}$) are shown to lie within a convex cone ($\mathcal{C}$). This cone is generated by the sum of products of scattering amplitudes to intermediate states, ensuring positivity.
• Extremal Rays (ERs): The boundaries of this convex cone are defined by its Extremal Rays (ERs). The physically allowed parameter space is the intersection of the naive parameter space with this cone.
• Group-Theoretical Construction: To find the ERs, the authors decompose the tensor product of initial states ($|ij\rangle$) into irreducible representations (irreps) of the symmetry group $SU(2)_L \otimes U(1)_Y \otimes SO(2)$. The ERs correspond to projectors onto these irreps.
• Two Independent Methods:
  1. Direct Construction: Explicitly constructing Clebsch-Gordan (CG) coefficients for all relevant scattering processes ($WW, WB, BB, HH, WH, BH$) and projecting onto CP-even states.
  2. Casimir Operator Analysis: Solving eigenvalue problems for the quadratic Casimir operators of the symmetry groups to determine the CG coefficients. This serves as a cross-check.
• Handling Degeneracies: A key complexity arises from continuous parameters ($x, y$) in the ERs. These parameters reflect degeneracies where different scattering channels (e.g., $WW$ vs. $WB$ or $WH$ vs. $BH$) contribute to the same irrep. This results in a non-polyhedral cone with curved boundaries, rather than a simple polyhedron.
• Numerical Implementation: Due to the continuous parameters, analytical bounds are difficult to obtain for the full space. The authors discretize the parameters $x$ and $y$ (using a tangent mapping) to convert the problem into a finite set of linear constraints. They utilize Linear Programming (LP) to:
  • Verify if a specific set of coefficients lies within the cone.
  • Find the optimal bound for any linear combination of coefficients.
  • Calculate the "solid angle" (percentage) of the allowed parameter space.

3. Key Contributions

• Completeness: This is the first derivation of positivity bounds for the full set of 22 dimension-8 aQGC operators, including parity-violating but CP-even operators ($O_{M,8}$ and $O_{M,9}$) and contributions from longitudinal modes and Higgs bosons.
• Group-Theoretical Framework: The authors rigorously clarify the construction of ERs in the presence of parity-violating operators and continuous degeneracies, providing a systematic method to handle the $SU(2) \times U(1) \times SO(2)$ symmetry structure.
• Continuous ERs: They explicitly identify and characterize continuous extremal rays (parameterized by $x$ and $y$), demonstrating that the positivity cone is non-polyhedral.
• Software Package: The authors release SMEFTaQGC, a Python package implementing algorithms to:
  • Check the positivity of arbitrary aQGC configurations.
  • Compute optimal bounds for specific linear combinations.
  • Provide "feasible directions" to move an inconsistent model back into the allowed region.

4. Key Results

• Severe Constraints: The positivity bounds drastically reduce the physically viable parameter space. The authors calculate that the positivity cone occupies only 0.0313% of the naive 22-dimensional parameter space.
• Linear Analytical Bounds:
  • They derived new linear bounds for M-type operators (involving Higgs-gauge mixing), such as $F_{M,8} \leq 0$ and $F_{M,3} \leq 0$.
  • They showed that mixing different operator types (S, M, T) leads to stronger constraints than considering them individually. For example, mixing S-type and T-type operators imposes additional bounds on M-type coefficients.
• Optimal Numerical Bounds: Using the discretized ERs, they computed optimal bounds for general linear combinations of coefficients. They confirmed that many previously known analytical bounds are indeed optimal, while new mixed bounds were discovered.
• Redundancy Elimination: Through numerical testing, they identified that certain potential ERs (specifically $\vec{e}_6$ and $\vec{e}_{12}$) are redundant (contained within the cone generated by others), while the continuous ERs are genuine boundaries.

5. Significance

• Model Independence: The bounds are derived solely from fundamental S-matrix axioms (causality, unitarity, analyticity) without assuming a specific UV completion, making them robust constraints for any BSM theory.
• Experimental Guidance: The results provide a "sanity check" for phenomenological models. Any proposed set of aQGC coefficients that violates these bounds cannot originate from a standard Wilsonian UV completion.
• Future Probes: By including longitudinal modes and Higgs interactions, the paper provides a more sensitive probe for new physics than previous transverse-only analyses. The small allowed volume (0.0313%) suggests that future LHC measurements of aQGCs will be highly constraining; even small deviations from the Standard Model could be ruled out if they fall outside this narrow cone.
• Tool Availability: The SMEFTaQGC package democratizes access to these complex bounds, allowing experimentalists and theorists to easily test their models against the full set of positivity constraints.

In summary, this work establishes the definitive theoretical limits on anomalous quartic gauge couplings in the SMEFT, revealing that the space of consistent effective theories is extremely sparse and highly structured.