Locality in effective field theory for inflationary soft modes

This paper establishes a locality condition on the quantum state of hard modes as a unified criterion that ensures the validity of the gradient expansion for inflationary soft modes, suppresses hard-mode loop corrections, guarantees infrared regularity, and underpins generalized soft theorems.

The Gist

Imagine the early universe as a giant, expanding balloon covered in tiny, chaotic ripples. Some ripples are huge and stretch across the entire balloon (these are the "soft modes"), while others are tiny, frantic vibrations happening in just a small spot (the "hard modes").

Physicists have long used a method called the "Separate Universe" approach to study the big ripples. The idea is simple: if you zoom in on a small patch of the balloon, that patch looks like its own little, smooth universe. You can predict how the big ripples evolve by just looking at these little patches independently, ignoring the tiny, frantic vibrations for a moment. This works because, in a well-behaved universe, the tiny vibrations in one spot shouldn't magically mess up the big picture in a distant spot.

However, in recent years, some scientists worried that these tiny vibrations might actually be "leaking" energy or information into the big ripples, breaking the rules of the "Separate Universe" method. If this were true, our calculations about the early universe (and the cosmic microwave background we see today) could be completely wrong.

This paper, by Takahiro Tanaka and Yuko Urakawa, acts like a quality control inspector for this method. They ask: "Under what conditions does the 'Separate Universe' method stay valid, and when does it break?"

Here is the breakdown of their findings using everyday analogies:

1. The "Local Neighborhood" Rule (The Locality Condition)

The authors propose a specific rule they call the Locality Condition.

• The Analogy: Imagine a city divided into neighborhoods. The "hard modes" are the noisy parties happening in individual houses, and the "soft modes" are the general mood of the whole neighborhood.
• The Rule: For the city's overall mood to be predictable based on local conditions, the noise in your house must depend only on the mood of your specific neighborhood. It cannot depend on the mood of a neighborhood 10 miles away.
• The Paper's Claim: If the quantum state of the universe follows this rule (meaning the tiny vibrations in one patch only care about the local big ripples in that same patch), then the "Separate Universe" method works perfectly. The tiny vibrations do not create "spooky" long-distance connections that break the math.

2. The "Silent Neighbor" Effect (Suppressing Loop Corrections)

In physics, when tiny particles interact, they create "loop corrections"—essentially, tiny ripples affecting other ripples in a complex chain reaction. Some feared these chains could become so loud they would drown out the big picture.

• The Analogy: Think of the big ripples as a quiet conversation between two people. The tiny vibrations are like background chatter. If the "Locality Condition" is met, the background chatter in one room stays in that room. It doesn't amplify and drown out the conversation next door.
• The Paper's Claim: When the locality rule is satisfied, the "noise" from the tiny vibrations (hard modes) is naturally suppressed. It doesn't grow large enough to ruin the predictions for the big ripples. This confirms that the standard way of calculating the universe's evolution is safe, provided the universe behaves "locally."

3. The "Universal Translator" (Soft Theorems)

The paper also connects this rule to something called "Soft Theorems." These are mathematical shortcuts that tell us how the universe behaves when a ripple becomes infinitely large (or "soft").

• The Analogy: Imagine a translator who knows that if you whisper a specific phrase in a quiet room, the whole building reacts in a predictable way.
• The Paper's Claim: The "Locality Condition" acts as the foundation for these translators. It proves that these mathematical shortcuts (consistency relations) work in most standard inflation models. However, the authors also show why these shortcuts sometimes fail: if the universe has multiple types of fields (like having different languages in the city) or if the expansion isn't smooth (like a bumpy ride), the "local" rule gets complicated, and the shortcuts need to be adjusted.

4. The "Infinite Echo" Problem (Infrared Divergences)

Sometimes, when calculating the universe's history, the math gives you "infinity" as an answer, which obviously doesn't make sense. This is called an "infrared divergence." It's like trying to measure the total volume of sound in a room with infinite echoes.

• The Analogy: Imagine trying to count the total number of people in a room, but every time you count someone, they clone themselves. You get an infinite number.
• The Paper's Claim: The authors show that if the "Locality Condition" is met, these infinite echoes cancel each other out perfectly for things we can actually observe. It's like realizing that for every person who clones themselves, another person disappears, leaving the total count finite and sensible. This happens specifically for "gauge-invariant" quantities—things that are real and observable, not just mathematical artifacts.

Summary

The paper provides a unified checklist for cosmologists. It says:

1. If the tiny, high-energy parts of the universe only care about their immediate local surroundings (Locality Condition), then:
2. The "Separate Universe" method is valid.
3. The tiny vibrations won't ruin our big-picture calculations.
4. The mathematical shortcuts (soft theorems) work as expected.
5. The math won't break down into infinities for observable quantities.

If any of these things go wrong, it's likely because the universe isn't following this "local neighborhood" rule, or because the expansion of the universe is behaving in a very unusual, non-standard way. This gives physicists a clear way to diagnose when their models are solid and when they need to look deeper.

Technical Summary

Technical Summary: Locality in Effective Field Theory for Inflationary Soft Modes

Problem Statement
The gradient expansion and the separate universe approach provide a powerful framework for describing the dynamics of inflationary soft modes (superhorizon perturbations) by coarse-graining shorter-wavelength (hard) degrees of freedom. However, the validity of this effective description relies on the assumption that the coarse-grained action remains local. Recent debates have questioned whether enhanced loop corrections from hard modes could significantly alter soft modes on observable scales (e.g., CMB scales), potentially invalidating the gradient expansion. Furthermore, the infrared (IR) regularity of cosmological correlators and the derivation of soft theorems (consistency relations) have been subjects of discussion, particularly in multi-field systems or non-attractor backgrounds. The central problem addressed is identifying the precise conditions under which hard modes do not introduce non-local contributions that break the effective field theory (EFT) description of soft modes, and determining how these conditions relate to soft theorems and IR divergences.

Methodology
The authors formulate a general diagnosis without assuming a specific inflationary model, relying instead on spatial diffeomorphism invariance. The methodology involves:

1. Coarse-Graining and Patch Decomposition: The spatial slice is divided into local patches $U_\alpha$ larger than the horizon scale. Fields are decomposed into coarse-grained soft modes (averaged over patches) and hard modes (fluctuations within patches).
2. Quantum State Decomposition: The universal wave function $|\Psi\rangle$ is expanded in terms of coherent states $|\vec{\beta}\rangle$ of the soft modes. The state is written as an integral over soft mode eigenvalues $\vec{\beta}$, weighted by a wave function $\psi(\vec{\beta})$, and a conditional hard-mode state $|\Psi; \vec{\beta}\rangle$.
3. Locality Condition Formulation: A specific condition is imposed on the quantum state of the hard modes: the hard-mode state in a local patch $U_\alpha$ must depend on the soft modes only through the local soft-mode values $\beta_\alpha$ in that same patch. This is expressed as the factorization $|\Psi; \vec{\beta}\rangle = \prod_\alpha |\Psi_\alpha; \beta_\alpha\rangle$.
4. Operator Analysis: The authors utilize the generator of dilatation transformations $\hat{Q}$ to analyze the transformation properties of operators and states. They define dilatation-invariant operators to study IR properties.
5. Derivation of Soft Theorems: Using the locality condition and the properties of the dilatation generator, the authors derive a generalized soft theorem relating correlators containing soft modes to those without them.
6. Loop Correction Analysis: The impact of hard-mode loops on superhorizon correlators is evaluated by expanding the correlators in terms of non-adiabatic soft variables (conjugate momenta and isocurvature modes).

Key Contributions and Results

• Formulation of the Locality Condition: The paper establishes a rigorous locality condition (Eq. 28) on the quantum state of hard modes. This condition requires that the hard-mode state in a local universe depends on soft modes solely via the local soft-mode variables of that patch.
• Suppression of Hard-Mode Loop Corrections: The authors demonstrate that when the locality condition is satisfied, loop corrections from hard modes to superhorizon correlators of the adiabatic curvature perturbation $\zeta$ are perturbatively suppressed. Specifically, hard modes can only influence soft modes through correlations with non-adiabatic soft variables (such as the conjugate momentum $\pi_\zeta$ or isocurvature modes). In standard single-field slow-roll inflation, where these correlations are negligible or suppressed by powers of the wavenumber $k$, large enhancements of loop corrections are forbidden. This provides a model-independent criterion for when the gradient expansion remains valid.
• Generalized Soft Theorem: The locality condition implies a generalized soft theorem. The standard consistency relations (e.g., Maldacena's relation) are recovered only under the additional assumption that the soft-mode wave function is separable between the adiabatic curvature perturbation and other soft variables (Eq. 48).
  • In separable cases (e.g., standard slow-roll single-field inflation), the standard consistency relations hold.
  • In non-separable cases (e.g., multi-field inflation or non-attractor phases like ultra-slow-roll where $\pi_\zeta$ is significant), the soft theorem deviates from the standard consistency relation. This clarifies the origin of deviations in such scenarios.
• Infrared Regularity: The paper shows that the locality condition guarantees the absence of IR divergences for correlators of operators invariant under large gauge transformations (LGTs), such as dilatations. The divergent contributions arising from the integration over the spatial average of $\zeta$ (a flat direction in the wave function) cancel between the numerator and denominator of the expectation value for LGT-invariant operators. This confirms that the condition previously identified for IR regularity is equivalent to the locality condition on the hard-mode state.
• Existence of Weinberg's Adiabatic Mode: The authors show that Weinberg's adiabatic mode (a time-independent solution in the soft limit) exists as an operator solution when the locality condition holds, generalizing previous results derived from effective actions.

Significance
The paper claims to provide a unified criterion for several distinct aspects of inflationary cosmology:

1. Validity of EFT: It diagnoses when enhanced hard-mode loop corrections can invalidate the gradient expansion, asserting that such invalidation requires a breakdown of the locality condition or significant non-adiabatic correlations.
2. Soft Theorems: It unifies the derivation of soft theorems and consistency relations, clarifying that deviations in multi-field or non-attractor scenarios stem from the non-separability of the soft-mode wave function, not a failure of the underlying locality.
3. IR Regularity: It establishes that the absence of IR divergences in observable correlators is a direct consequence of the locality condition on the quantum state.

By reformulating these issues in terms of the quantum state of hard modes using coherent states, the authors offer a framework that accommodates general situations, including multiple light fields and deviations from slow-roll, without relying on specific model details. The work suggests that as long as the hard-mode state satisfies the locality condition, the effective description of soft modes remains robust, and large IR enhancements are excluded.