A New Definition of Horndeski Theory and the Possibility of Multiple Scalar Field Extensions

This paper proposes a new definition of Horndeski theory based on closure under invertible pure disformal transformations and the inclusion of minimal Horndeski theory, which successfully recovers the standard single-field action and provides a practical framework for constructing multi-field extensions that encompass known antisymmetric structures.

The Gist

Here is an explanation of the paper "A New Definition of Horndeski Theory and the Possibility of Multiple Scalar Field Extensions" using simple language and creative analogies.

The Big Picture: Building a Better Universe Model

Imagine you are an architect trying to design the ultimate building for our universe. In physics, this "building" is a theory that explains how gravity works alongside mysterious forces like Dark Energy (which pushes the universe apart) and Inflation (which blew it up at the beginning).

For decades, physicists have been using a specific blueprint called Horndeski Theory. It's the "gold standard" for a single type of force field (a scalar field). It's special because it's the most complex blueprint possible that doesn't cause the building to collapse (mathematically speaking, it avoids "ghosts" or instabilities).

The Problem:
Our universe is messy. It likely has multiple types of these force fields interacting, not just one.

• The Old Way: Trying to expand Horndeski's single-field blueprint to handle two, three, or more fields has been a nightmare. It's like trying to take a recipe for a single-layer cake and figuring out how to bake a multi-tiered wedding cake without the whole thing falling apart. We know the equations for two fields, but we can't figure out the recipe (the action) that creates them. For three or more fields, we are completely stuck.

The Solution:
This paper proposes a new way to define what Horndeski Theory actually is. Instead of looking at the finished equations, the author suggests looking at the rules of the game that the theory must follow.

---

The Two Golden Rules (The New Definition)

The author, Tomoki Katayama, suggests we stop trying to write down every single term in the equation. Instead, we should define Horndeski Theory by two simple "Axioms" (rules):

1. The "Shape-Shifter" Rule (Closure under Disformal Transformations):
   Imagine you have a clay sculpture (the theory). If you stretch, squish, or warp the clay in a specific, reversible way (called a "disformal transformation"), the sculpture should still look like the same type of object. It shouldn't turn into a different animal. The theory must remain stable no matter how you warp the geometry of space around it.

2. The "Seed" Rule (Contains Minimal Horndeski):
   You can't just make up any shape-shifting rule; it has to include the simplest, most basic version of the theory (Einstein's gravity plus a simple scalar field) as a starting point. Think of this as the "seed" from which the whole tree grows.

Why is this cool?
By defining the theory by these two rules, the author shows that you can mechanically "grow" the theory. You start with the seed, apply the shape-shifting rules, and the complex terms you need for multiple fields naturally pop out, like branches growing from a tree.

---

The "AAK" Surprise: Finding Hidden Ingredients

When the author applied this new method to a universe with two scalar fields, something magical happened.

In the past, when physicists tried to extend the theory, they missed some very specific, weird ingredients called Allys-Akama-Kobayashi (AAK) terms. These are like secret spices that only exist when you have multiple fields interacting. They have a special "antisymmetric" property (like a left-handed glove that doesn't fit a right hand).

• The Old Approach: Trying to force these spices into the recipe was difficult and often missed.
• The New Approach: Because the author's method is based on the "Shape-Shifter" rule, these AAK terms naturally appeared in the math. They weren't forced in; they were a necessary consequence of the rules.

It's like saying, "If I build a house using these specific bricks and mortar, a chimney will naturally form at the top." You don't have to manually glue the chimney on; the laws of physics (or in this case, the math) demand it.

---

Why This Matters for the Future

1. Solving the Stalemate: Research on multi-field theories has been stuck for years. This paper provides a "construction manual" that makes it much easier to build theories with 3, 4, or even $N$ fields.
2. Dark Energy Clues: Recent observations (like those from the DESI project) suggest our universe might be expanding in a way that simple models can't explain. We might need a "multi-field" theory to understand this. This new definition gives us the tools to build those complex models without getting lost in the math.
3. A New Perspective: It shifts the focus from "What are the equations?" to "What are the fundamental properties?" This is a more robust way to build theories that are less likely to break.

Summary Analogy

Imagine you are trying to create a new language.

• The Old Way: You tried to write down every single sentence in the dictionary, hoping to find a pattern that works for a language with two speakers. It was too long and confusing.
• The New Way: The author says, "Let's define the language by two rules: 1) It must sound the same if you speak it backwards (reversibility), and 2) It must include the word 'Hello'."
• The Result: By following these two simple rules, the complex grammar for a language with two speakers (and the weird, unique words that only exist for two speakers) automatically writes itself.

This paper doesn't just give us a new equation; it gives us a new lens to see how the universe's forces might be interacting, potentially unlocking the secrets of Dark Energy.

Technical Summary

Here is a detailed technical summary of the paper "A New Definition of Horndeski Theory and the Possibility of Multiple Scalar Field Extensions" by Tomoki Katayama.

1. Problem Statement

The paper addresses a significant gap in the theory of scalar-tensor gravity: the lack of a complete, systematic formulation for multi-field Horndeski theories.

• Single-Field Success: Horndeski theory (1974, rediscovered 2011) is the most general single-field scalar-tensor theory with second-order equations of motion, avoiding Ostrogradsky ghosts.
• Multi-Field Stagnation: While the equations of motion for bi-Horndeski (two scalar fields) are known, the corresponding action has not been established. For theories with three or more fields, neither the general action nor the general equations of motion are available.
• Limitations of Current Approaches:
  • Deriving actions directly from complex multi-field equations of motion is computationally prohibitive and has stalled for nearly a decade.
  • Extending the "Generalized Multi-Galileon" theory (the multi-field analog of the single-field Galileon) fails to capture all necessary terms, specifically the Allys-Akama-Kobayashi (AAK) terms. These terms exhibit antisymmetry in internal indices and are unique to multi-field systems but are not naturally generated by simple extensions of the single-field action.

2. Methodology

The author proposes a paradigm shift: instead of defining Horndeski theory by the result (the most general second-order equations), the theory is defined by its structural properties under specific transformations.

A. The New Definition

The paper introduces a definition of Horndeski theory based on two mild axioms:

1. Closure: The theory must be closed under invertible pure disformal transformations.
   • Transformation: $g_{\mu\nu} \to \tilde{g}_{\mu\nu} = A(\phi)g_{\mu\nu} + B(\phi)\phi_\mu\phi_\nu$.
   • "Pure" implies $A$ and $B$ depend only on the scalar field $\phi$, not on its kinetic term $X$.
2. Anchor: The theory must contain the "Minimal Horndeski Theory".
   • Defined as the Lagrangian: $\mathcal{L}_{min} = \alpha X + R + \beta(\phi)G_{\mu\nu}\phi^{\mu\nu}$.
   • Here, $\alpha$ is a constant, $R$ is the Ricci scalar, and $\beta(\phi)$ is an arbitrary function. This term serves as an "anchor" to distinguish Horndeski theory from other classes of theories (like DHOST) that are also closed under disformal transformations.

B. The Constructive Algorithm (Generalized Disformal Mapping)

To generate the full action from this definition, the author employs an iterative algorithm (Appendix A):

1. Seed: Start with the Minimal Horndeski action ($S_1$).
2. Mapping: Apply an invertible pure disformal transformation to generate a new class of actions ($S_{disformal}$).
3. Generalization: The transformation induces specific differential relations between the coefficient functions (e.g., $f_i = a \partial_X f_j$). The algorithm "promotes" these specific functions to arbitrary functions while preserving the differential relations.
4. Iteration: Repeat until the action stabilizes ($S_{n+1} = S_n$).
5. Result: This process reconstructs the standard single-field Horndeski action (up to boundary terms) without ever solving the equations of motion directly.

3. Key Contributions

A. Reconstruction of Single-Field Theory

The paper demonstrates that the new axiomatic definition successfully recovers the standard Horndeski action. This validates the definition as a robust alternative to the traditional "most general equations" approach.

B. Extension to Multi-Field Theory

The methodology is extended to multiple scalar fields ($N$ fields):

• Multi-Disformal Transformation: The transformation is generalized to $g_{\mu\nu} \to A(\phi^A)g_{\mu\nu} + B_{IJ}(\phi^A)\phi^I_\mu\phi^J_\nu$.
• Multi-Minimal Theory: The anchor is generalized to $\alpha_{IJ}X^{IJ} + R + \beta_I(\phi^A)G_{\mu\nu}\phi^{I\mu\nu}$.

C. Natural Emergence of AAK Terms

A critical result is that applying this new definition to the bi-Horndeski case (two fields) naturally generates the Allys-Akama-Kobayashi (AAK) terms.

• Specifically, the term $L_{AAK2}$ (involving the Riemann tensor and antisymmetric indices) appears automatically as part of the "extra" terms ($L_{extra}$) generated by the disformal mapping of the minimal theory.
• The paper shows that $L_{AAK1}$ and $L_{AAK3}$ can be absorbed into the standard $L_2$ and $L_3$ sectors via integration by parts, leaving $L_{AAK2}$ as the distinct, necessary multi-field contribution.

D. Conjecture on Completeness

The author proposes Conjecture 1: The multi-Horndeski theory defined by these axioms yields the most general equations of motion containing up to second-order derivatives for $N$ scalar fields. While not rigorously proven for $N \geq 3$ in this paper, the successful recovery of known bi-Horndeski equations (specifically the sector where $E_{IJKLM} = K_I = 0$) supports the conjecture.

4. Results

• Quadratic Bi-Horndeski Action: The paper derives the explicit action for the quadratic truncation of the bi-Horndeski theory. It confirms that the resulting equations of motion are consistent with the known bi-Horndeski equations derived by Ohashi et al. (2015).
• Antisymmetry Mechanism: Appendix D provides a technical derivation showing how the antisymmetry of indices in the AAK terms arises naturally from the transformation of the Christoffel symbols and the Riemann tensor under multi-disformal transformations.
• Avoidance of Ghosts: By preserving the "coefficient degeneracy conditions" (differential relations) during the generalization step, the method suggests that Ostrogradsky ghosts are avoided even in the multi-field extension, mirroring the single-field case.

5. Significance

• Solving a Stagnant Problem: This work offers a constructive path forward for a field that has been stuck for nearly a decade due to the complexity of deriving actions from equations of motion.
• Conceptual Clarity: It shifts the focus from "finding the most general equation" to "understanding the geometric structure (disformal invariance) that defines the theory."
• Cosmological Implications: With observational data (e.g., DESI) showing potential tensions with the $\Lambda$CDM model, the ability to systematically construct multi-field scalar-tensor theories is crucial for modeling dynamic dark energy and inflation scenarios that go beyond single-field models.
• Foundation for Future Work: The paper sets the stage for deriving the full cubic bi-Horndeski action and extending the framework to $N \geq 3$ fields, which are necessary for comprehensive cosmological modeling.

In summary, Katayama redefines Horndeski theory not by its output (equations of motion) but by its invariance properties and a minimal seed. This axiomatic approach successfully reconstructs known single-field results and provides a practical, systematic mechanism to generate the missing multi-field actions, naturally incorporating previously elusive terms like the AAK terms.