Graviton propagator in de Sitter space in a simple one-parameter gauge

This paper constructs the graviton propagator in de Sitter space within a generalized one-parameter non-covariant gauge family, providing a simplified form to facilitate future checks of gauge dependence in one-loop computations and proposed observables.

The Gist

The Big Picture: Ripples in an Expanding Ocean

Imagine the universe during its earliest moments (inflation) as a giant, rapidly expanding ocean. In this ocean, there are tiny, invisible ripples called gravitons. These are the quantum particles of gravity. Just like waves in the ocean, these gravitons interact with everything else in the universe.

To understand how these ripples behave, how they move, and how they bump into other things, physicists need a "map" or a "rulebook." In physics, this map is called a propagator. It tells you: "If a ripple starts at point A, what is the chance it will be found at point B?"

The Problem: Too Many Rules (Gauges)

Calculating the behavior of these ripples is incredibly difficult because gravity is a tricky force. To do the math, physicists have to choose a specific set of rules, known as a gauge. Think of a gauge like choosing a specific coordinate system or a specific way of measuring the waves.

• Some gauges are like trying to measure the ocean while standing on a spinning, wobbly boat. The math becomes a nightmare, full of confusing terms that cancel each other out only at the very end.
• Other gauges are like standing on a steady dock. The math is much cleaner.

For a long time, most calculations in this field used one specific "steady dock" rule (called the simple gauge). However, scientists were worried: Are the results we get because of the physics, or are they just an illusion created by our choice of rules? To be sure, they needed to do the same calculation using a slightly different set of rules to see if the answer changed.

The Solution: A New, Flexible Ruler

This paper introduces a new, flexible ruler. The author, Dražen Glavan, constructs a one-parameter family of gauges.

• The "One Parameter" (The Dial): Imagine a dial labeled $\alpha$ (alpha).
  • If you turn the dial to 1, you get the old, familiar "simple gauge" that everyone has been using.
  • If you turn the dial to any other number, you get a slightly different set of rules.
• The Goal: The author wanted to create a new map (propagator) that works for any position of this dial, not just the old favorite.

How They Did It: Breaking the Wave into Pieces

To build this new map, the author didn't try to solve the whole ocean at once. Instead, he used a technique called decomposition, which is like sorting a messy pile of laundry into piles of socks, shirts, and pants.

He broke the complex gravitational wave into three distinct types of movements:

1. Tensor modes: The "real" ripples (the physical gravitons).
2. Vector modes: Swirling, spinning movements (like eddies).
3. Scalar modes: Expanding and contracting movements (like the water level rising and falling).

By solving the math for each pile separately and then stitching them back together, he was able to derive a formula for the graviton propagator that works for any setting of the dial $\alpha$.

The Result: A Simple, Clean Formula

The most exciting part of the paper is the result. Despite the complexity of the universe and the math involved, the final formula for the graviton propagator is surprisingly simple and compact.

• The Metaphor: Imagine trying to describe the shape of a complex, twisting mountain range. Usually, you need a thousand pages of coordinates. Glavan found a way to describe the whole range using just three simple, well-known shapes (scalar propagators) and a few basic instructions on how to stretch or twist them.
• Why it matters: This simplicity is a game-changer. It allows other scientists to easily plug this formula into their own calculations to check if their results are "real" physics or just "gauge artifacts" (mathematical illusions).

The "Check-Up"

The author didn't just write the formula; he put it through a rigorous stress test to prove it works:

1. Flat Space Test: He turned off the expansion of the universe (simulating empty, flat space) to see if the formula turned into the standard, known formula for gravity in a vacuum. It did.
2. Equation of Motion: He checked if the formula actually follows the laws of physics (Einstein's equations). It does.
3. Symmetry Check: He verified that the formula respects the fundamental symmetries of the universe. It passes.

Summary

In short, this paper provides a new, flexible tool for physicists studying the early universe. It takes a complicated problem (calculating how gravity behaves in an expanding universe) and simplifies it into a clean, easy-to-use formula that works across a whole family of different mathematical rules. This tool will help scientists verify whether the strange, time-dependent effects they see in their calculations are real physical phenomena or just mathematical tricks.

Technical Summary

Technical Summary: Graviton Propagator in de Sitter Space in a Simple One-Parameter Gauge

Problem Statement
Perturbative quantum gravity in de Sitter space is essential for understanding primordial inflation, where long-wavelength gravitons are produced via gravitational particle production. These modes enhance loop corrections, potentially leading to significant, time-dependent (secular) effects on matter fields. However, the physical reality of these secular corrections has been debated, primarily because existing one-loop computations have been performed in different gauges (specifically the "simple gauge" versus the "exact generally covariant gauge"), yielding results with different coefficients for leading secular logarithms. To resolve whether these corrections are physical or gauge artifacts, it is necessary to compute observables in gauges with arbitrary gauge-fixing parameters. While generally covariant gauges exist, their propagators are often algebraically complex, making loop computations difficult. Furthermore, existing generalizations of the simple gauge have been limited to infinitesimal parameters or two-parameter families that do not fully reproduce known limits. There is a need for a tractable, one-parameter family of non-covariant gauges that generalizes the simple gauge to facilitate gauge-dependence checks.

Methodology
The author employs a canonical quantization approach to construct the graviton propagator. The methodology proceeds through the following steps:

1. Canonical Formulation: The linearized Einstein-Hilbert action with a cosmological constant is expanded around a de Sitter background in conformal time. The theory is analyzed in a gauge-invariant formulation to identify first-class constraints associated with linearized diffeomorphisms.
2. Gauge Fixing: A one-parameter family of non-covariant multiplier gauges is introduced via the gauge-fixing action $S_{gf}$, characterized by a parameter $\alpha$. This generalizes the "simple gauge" (corresponding to $\alpha=1$). The gauge-fixed action is converted into a Hamiltonian formulation, yielding a set of primary and secondary constraints that must be imposed on the physical state space.
3. Scalar-Vector-Tensor (SVT) Decomposition: The graviton field operators are decomposed into scalar, vector, and tensor components using transverse and longitudinal projectors. This decomposition block-diagonalizes the canonical structure and the equations of motion.
4. Quantization and Mode Solutions: The system is quantized by promoting fields to operators and imposing equal-time commutation relations. The constraints are implemented as conditions on the state space (analogous to the Gupta-Bleuler condition), requiring specific non-Hermitian linear combinations of constraint operators to annihilate physical states.
   • The tensor sector (physical gravitons) is solved using standard Bunch-Davies mode functions.
   • The vector and scalar sectors (gauge degrees of freedom) are solved by decoupling constraint equations from dynamical ones. The solutions are expressed in terms of scalar mode functions with effective masses, utilizing recurrence relations for Hankel functions to handle the time-dependent structure.
5. Propagator Construction: The graviton two-point function (Wightman function) is constructed by summing over the mode functions of the tensor, vector, and scalar sectors. The inverse Laplacians arising from the SVT decomposition are systematically handled using identities relating scalar propagators with different effective masses.

Key Contributions and Results
The paper derives the explicit form of the graviton two-point function (propagator) in de Sitter space for the one-parameter gauge defined by $\alpha$. The main results are:

• Compact Propagator Structure: The full graviton propagator is expressed as a sum of a gauge-independent part (the simple gauge propagator, $\alpha=1$) and a gauge-dependent part proportional to $(1-\alpha)$.
  $$i[\Delta^{ab}_{\mu\nu\rho\sigma}](x;x') = i[\Upsilon^{ab}_{\mu\nu\rho\sigma}](x;x') + (1-\alpha) \times i[\Theta^{ab}_{\mu\nu\rho\sigma}](x;x')$$
• Scalar Propagator Basis: Crucially, the entire propagator is expressed entirely in terms of scalar propagators $i[\Delta^{ab}_{\lambda}](x;x')$ with three distinct effective mass parameters ($\lambda = \nu, \nu-1, \nu-2$, where $\nu = (D-1)/2$), acted upon by at most two derivatives. This avoids the need for explicit evaluation of inverse Laplacians in the final expression.
• Gauge Dependence Structure: The gauge-dependent term $i[\Theta]$ is shown to inherit its structure from the linearized gauge transformation, acting on a vector two-point function. This confirms the expected form of gauge dependence.
• Consistency Checks: The author explicitly verifies that the derived propagator:
  • Satisfies the correct equation of motion (Lichnerowicz operator).
  • Obeys the Ward-Takahashi identities (subsidiary conditions).
  • Reduces to the standard Lorentz-invariant Capper propagator in the flat-space limit ($H \to 0$).
• Relation to Previous Work: The result is shown to exactly reproduce the $\delta\beta=0$ limit of a two-parameter gauge family previously reported in the literature, demonstrating that the dependence on the gauge parameter in that family is exactly linear, not just perturbatively.

Significance
The paper claims that the resulting propagator is "relatively simple" and "tractable," making it a practical tool for perturbative loop computations in de Sitter space. Its primary utility lies in facilitating checks of the gauge dependence of one-loop computations and proposed observables. Specifically, the author notes that this propagator is intended to be used in future work to demonstrate the gauge independence of the scalar exchange potential correction (an observable introduced in prior literature), thereby addressing the debate regarding the physicality of secular corrections in inflationary quantum gravity. The work does not claim to solve the gauge-dependence debate itself but provides the necessary technical infrastructure (the propagator) to perform the required calculations in a generalized gauge.