Non-vacuum gravitational effective action

Imagine you are trying to understand the "weather" of the universe, but instead of rain and wind, you are looking at the invisible forces of gravity and quantum particles. Usually, physicists study this weather in two very specific, calm conditions:

The Vacuum: A completely empty, quiet room with no energy or heat.
The Static Room: A room that is warm, but the temperature is perfectly still and unchanging, like a cup of coffee sitting on a table.

This paper, written by Barvinsky, Hasanov, and Kolganov, tackles a much messier, more realistic scenario: The "Quasi-Thermal" Storm.

Imagine a room where the air is hot, but the heat is swirling, shifting, and changing from one corner to another. The walls are vibrating, and the very fabric of the room (space-time) is stretching and squeezing. This is a "non-vacuum" (full of stuff) and "non-stationary" (constantly changing) state.

Here is a breakdown of what the authors did, using simple analogies:

1. The Problem: The Old Map Didn't Work

For years, physicists had a very good map (a mathematical formula called the "effective action") to predict how gravity and quantum fields behave. But this map only worked for the "Empty Room" or the "Static Room."

If you tried to use this old map to navigate the "Swirling Storm" (a universe that is hot, changing, and full of matter), the map broke. It couldn't handle the fact that the "temperature" wasn't the same everywhere or that time wasn't flowing in a straight, predictable line. The authors wanted to fix this map so it works for these chaotic, real-world scenarios.

2. The Solution: A New Compass (The Vector Field)

In a calm, static room, you can find "North" easily because there is a special direction that never changes (like a clock ticking at the same speed everywhere). In physics, this is called a Killing Vector. It's like a compass that always points the same way.

But in the "Swirling Storm" of a changing universe, that compass spins and breaks. There is no single "North" anymore.

The Authors' Innovation:
They invented a new, magical compass (which they call a generalized vector field, $\xi_\mu$ ).

How it works: This compass isn't fixed to the walls. Instead, it is a "smart" compass that constantly recalculates its direction based on the local gravity and the flow of time.
The Result: Even though the room is chaotic, this smart compass allows them to define a "local temperature" at every single point. It's like saying, "Here, it feels like 100 degrees; over there, it feels like 50 degrees," and mathematically stitching those feelings together into one coherent picture.

3. The Method: Building with Lego Bricks

To build their new map, the authors used a technique called Curvature Expansion.

The Analogy: Imagine you want to describe a bumpy, curved surface (like a potato). You can't just say "it's flat." You have to describe the bumps.
The Process: They started with a perfectly flat surface (flat space) and added "bumps" (curvature) to it. They calculated the effects of these bumps up to the second level of complexity (quadratic order).
The Heat Kernel: They used a tool called the "heat kernel," which is like a camera that takes a snapshot of how heat (or quantum energy) spreads out over time. By analyzing how this "heat" behaves in their swirling, changing room, they could derive the new rules for gravity.

4. The Results: A New Formula for a Hot, Changing Universe

The paper provides a massive, complex formula that describes the "energy cost" (effective action) of this chaotic universe.

The "Tolman" Connection: In a static room, we know that gravity makes heat feel different depending on where you are (like how it's hotter at the bottom of a deep valley than at the top of a mountain). This is the Tolman temperature. The authors showed that their new "smart compass" formula naturally reduces to this known rule when the room stops swirling. This proves their new math is correct.
High-Temperature Asymptotics: They also looked at what happens when the room gets extremely hot (like the very beginning of the Big Bang). They found that while the math gets incredibly complicated, the "bumps" in the formula behave in a predictable way, dominated by the temperature.

5. Why This Matters (According to the Paper)

The authors mention one specific place where this new map is crucial: The Birth of the Universe (Inflation).

They suggest that the very early universe wasn't a calm, empty void. It was a "micro-canonical" state—a hot, dense soup of particles that was essentially a "quasi-thermal" system.
To understand how the universe started expanding (inflation) and how the seeds of galaxies were formed, physicists need to understand the "noise" and "heat" of that early soup.
Their new formula provides the mathematical tools to calculate how gravity and quantum fields interacted in that hot, chaotic beginning, specifically helping to predict the patterns we see in the Cosmic Microwave Background (the afterglow of the Big Bang).

Summary

Think of this paper as the instruction manual for navigating a hurricane.

Old Manuals: Only worked for calm days or still rooms.
This Paper: Creates a new set of rules that account for swirling winds, shifting temperatures, and moving ground.
The Tool: A "smart compass" that adapts to the chaos, allowing physicists to finally calculate the physics of a hot, changing, non-empty universe.

The authors admit the math is "frustratingly complicated" (full of non-local terms and complex integrals), but they argue it is necessary to understand the most extreme and important moments in the history of our universe.

Technical Summary: Non-vacuum Gravitational Effective Action

Problem Statement
The primary objective of this work is to extend the covariant curvature expansion of the gravitational effective action, previously established for vacuum quantum states in asymptotically flat spacetime [1, 2], to non-vacuum states. Specifically, the authors address the calculation of the one-loop effective action for a generic quantum state in a non-static and non-stationary Euclidean gravitational background.

This setup is motivated by the "quasi-thermal" configuration, where the system is defined by periodic boundary conditions in Euclidean time with period $\beta = 1/T$ . Here, $T$ represents an effective global temperature that is locally rescaled by the gravitational potential. A significant limitation of previous nonlocal expansion methods is their restriction to vacuum states or static geometries with timelike Killing vectors. This work aims to fill the omission of non-trivial quantum states (encoded via density matrices or initial data) in the covariant expansion up to the second order in spacetime curvature and matter field strengths.

Methodology
The authors employ a perturbative approach combined with a covariantization procedure, building upon the Schwinger-DeWitt and Gilkey-Seeley heat kernel techniques. The methodology proceeds in several distinct stages:

Perturbation Theory in Metric Perturbations:
The spacetime metric is decomposed as $g_{\mu\nu} = \tilde{g}_{\mu\nu} + h_{\mu\nu}$ , where $\tilde{g}_{\mu\nu}$ is a flat Euclidean background and $h_{\mu\nu}$ represents the perturbation. The calculation is performed on the background $S^1 \times \mathbb{R}^d$ , where the $S^1$ component corresponds to the periodic Euclidean time. The heat kernel trace, $\text{Tr } K(\tau) = \text{Tr } e^{-\tau F}$ , is expanded to second order in $h_{\mu\nu}$ .
Breaking of Lorentz Invariance and the Vector Field $\xi^\mu$ :
In the non-stationary case, the periodicity in one coordinate breaks manifest $SO(D)$ Lorentz invariance, introducing structures with uncontracted time indices. In static geometries, these are resolved using the timelike Killing vector $\bar{\xi}_\mu = \delta^0_\mu$ . For generic non-static metrics lacking Killing symmetry, the authors construct a generalized Killing vector field $\xi^\mu(x)$ .
- $\xi^\mu$ is defined as a nonlocal covariant functional of the metric perturbation, expanded to quadratic order: $\xi^\mu = \xi^\mu_0 + \xi^\mu_1 + \xi^\mu_2 + \dots$ .
- It satisfies specific Ward-like identities to ensure it transforms correctly under diffeomorphisms.
- It generalizes the static Killing vector such that $\xi^\mu \to \delta^\mu_0$ in the stationary limit.
Covariantization (Nonlinear Completion):
The non-invariant terms arising from the perturbation expansion are converted into manifestly diffeomorphism-invariant functionals. This involves:
- Replacing temporal indices (contractions with $\bar{\xi}_\mu$ ) with contractions against the generalized vector $\xi_\mu$ .
- Constructing invariants using the Riemann tensor, the potential $P$ , and the vector $\xi_\mu$ .
- Introducing a subtraction procedure for form factors to separate vacuum and thermal contributions and to handle high-temperature asymptotics.
Effective Action Calculation:
The one-loop effective action $W = \frac{1}{2} \text{Tr} \ln F$ is derived from the heat kernel trace using zeta-function regularization. The authors separate the result into vacuum (zero temperature) and thermal (finite temperature) parts.

Key Contributions and Results

Curvature Expansion for Non-Vacuum States:
The paper derives the explicit form of the heat kernel trace and the one-loop effective action for a non-vacuum state in a quasi-thermal setup, accurate to quadratic order in curvatures ( $R_{\mu\nu\rho\sigma}, \hat{\mathcal{R}}_{\mu\nu}, \hat{P}$ ).
Generalized Killing Vector Construction:
A central result is the construction of the vector field $\xi^\mu(x)$ , which allows the non-stationary results to be written in a manifestly covariant form. The local function $T/\sqrt{\xi^2(x)}$ emerges naturally, reducing to the Tolman temperature $T/\sqrt{g_{00}(x)}$ in stationary cases. The construction involves a two-parameter ambiguity in the definition of $\xi^\mu$ , which the authors note remains unfixed by current principles.
Explicit Form Factors:
The authors provide explicit expressions for the nonlocal form factors (operator coefficients) in the effective action. These are functions of the covariant d'Alembertian $\square$ and the $d$ -dimensional Laplacian $\Delta$ .
- Vacuum Part: Recovered as the standard result [2] with $SO(D)$ invariance restored.
- Thermal Part: Contains new nonlocal structures dependent on the periodicity $\beta$ . The form factors are expressed in terms of Hurwitz zeta functions and hypergeometric functions.
High-Temperature Asymptotics:
The paper derives the high-temperature ( $\beta \to 0$ ) expansion of the form factors. A significant technical finding is that in the non-stationary case, the naive separation of terms by powers of proper time $\tau$ does not align with the powers of $\beta$ in the effective action (unlike the stationary case). To resolve this, the authors introduce a new subtraction procedure for the thermal form factors, $f_\beta^{\langle p \rangle}$ , which reorganizes the heat trace so that the grading by $\tau$ correctly corresponds to the grading by $\beta$ (leading, subleading, and sub-subleading terms).
Separation of Vacuum and Thermal Contributions:
The effective action is decomposed into a vacuum part (independent of $\beta$ ) and a thermal part. The thermal part includes local terms proportional to $\rho_\beta^q$ (integrals involving the thermal function $r_\beta$ ) and nonlocal terms involving the form factors $\phi_\beta^I$ .

Significance and Claims
The authors claim that these results provide a necessary theoretical tool for studying quantum initial conditions in inflationary cosmology, specifically within models utilizing a microcanonical density matrix represented by a Euclidean path integral [32, 33].

Cosmological Application: The formalism is argued to be relevant for scenarios dominated by conformally invariant fields, where a quasi-thermal stage precedes inflation. The quadratic curvature terms are identified as crucial for determining the propagator of cosmological perturbations.
Universality vs. Complexity: The authors acknowledge that the resulting algorithms are "frustratingly complicated" due to the introduction of the periodicity parameter $\beta$ and the resulting nonlocal form factors. They note that the implementation of exact nonlocal kernels in curved space remains a challenge.
Limitations: The results are restricted to:
- One-loop approximation.
- Quadratic order in metric perturbations and curvatures.
- A specific topology ( $S^1 \times \mathbb{R}^d$ ) with asymptotically flat spatial directions.
- The presence of a two-parameter ambiguity in the generalized Killing vector $\xi^\mu$ .

The paper concludes that while direct physical predictions are deferred to future work, the derived effective action offers a framework to analyze quasi-thermal corrections to gravitational equations, potentially leading to anisotropic and nonlocal modifications of the effective gravitational coupling. The construction of the corresponding Schwinger-Keldysh generating functional for Lorentzian evolution is identified as a necessary next step.