A perturbative approach to the Wetterich equation for Bosonic and Fermionic interacting fields

This paper establishes a perturbative framework for the Lorentzian Wetterich Renormalization Group flow within perturbative Algebraic Quantum Field Theory on curved spacetimes, deriving beta functions for interacting scalar and Dirac fields, exploring connections to stochastic dynamics, and proving the local well-posedness of the resulting flow equations using the Nash-Moser theorem.

The Gist

Imagine the universe as a giant, complex ocean. In physics, we often try to understand this ocean by looking at its tiniest waves (quantum fields) and how they interact. Usually, to make sense of these interactions, scientists use a method called "Renormalization Group" (RG) flow. Think of this like zooming in and out of a map. When you zoom out, you see the big picture (macroscopic behavior); when you zoom in, you see the tiny details (microscopic chaos). The RG flow is the mathematical rulebook that tells you how the description of the ocean changes as you adjust your zoom level.

However, most of these rulebooks were written for a "Euclidean" universe—a mathematical playground where time doesn't flow forward and backward like it does in real life, but acts more like a fourth dimension of space. This makes the math easier but less realistic for our actual, time-flowing universe.

This paper, by Beatrice Costeri, is about writing a new, more realistic rulebook for our actual universe (which has a "Lorentzian" signature, meaning time is distinct from space). The author tackles two specific types of "ocean waves":

1. Two interacting scalar fields: Imagine two different types of ripples on the water, say red and blue, that bump into each other and change each other's shape.
2. Self-interacting Dirac fields: Imagine a single type of ripple that is a bit more complex (like a spinning wave) and interacts with itself.

The Main Challenge: The "Time" Problem

In the real world, cause must come before effect. In the math world of the author, this means the equations must respect "causality." When you try to do the "zooming" (RG flow) in a time-flowing universe, the math gets messy because there isn't just one way to reverse time or define the "average" state of the system. It's like trying to un-bake a cake in a kitchen where the laws of physics are slightly different; you can't just hit "undo."

The author uses a sophisticated toolkit called perturbative Algebraic Quantum Field Theory (pAQFT). Think of this as a very strict, logical set of instructions that ensures every step of the math respects the rules of the universe (like causality) without needing to assume a specific "vacuum" or empty state beforehand.

The Two Big Achievements

1. Deriving the Flow Equations (The "How-To" Guide)
The author successfully wrote down the specific equations that describe how the "strength" of the interactions between these fields changes as you zoom in and out.

• For the two scalar fields: She calculated how the "coupling constants" (the numbers that tell you how strongly the red and blue ripples interact) change.
• For the Dirac fields: She did the same for the spinning waves.
• The Stochastic Twist: Interestingly, she also looked at a model where one of the fields acts like a "noise" source (like wind blowing on the water). She showed that even in this noisy, random-looking scenario, the same rigorous mathematical tools work, linking the study of random noise to the study of quantum fields.

2. Proving the Math Works (The "Existence" Proof)
Writing down the equations is one thing; proving they actually have a solution is another. It's like writing a recipe for a cake; you need to prove that if you follow the steps, you actually get a cake and not a pile of flour.

• The author used a powerful mathematical theorem called the Nash-Moser theorem. Imagine this theorem as a super-advanced "proof of life" for equations. It's used when the equations are so tricky that standard methods fail.
• She proved that for both the scalar fields and the Dirac fields, there is indeed a unique, well-behaved solution to these flow equations for a short period of time (locally). This means the mathematical description is stable and reliable, at least for the immediate future of the "flow."

The "Local Potential" Shortcut

To make these complex equations solvable, the author used an approximation called the Local Potential Approximation (LPA).

• The Analogy: Imagine trying to describe the shape of a mountain range. Instead of mapping every single rock and pebble, you approximate the shape by looking at the height of the ground at each point, ignoring the tiny bumps.
• In this paper, she assumes the "potential" (the energy landscape of the fields) depends only on the field's value at a specific point, not on how fast it's changing. This simplification allowed her to calculate the specific "beta functions" (the rates at which the interaction strengths change) and prove that the equations hold up.

Summary

In simple terms, this paper takes a very difficult problem—understanding how quantum fields evolve over time in a realistic universe—and solves it in two steps:

1. It writes down the correct "zoom-in/zoom-out" rules for two specific types of quantum fields, ensuring they respect the flow of time.
2. It uses a heavy-duty mathematical hammer (Nash-Moser) to prove that these rules actually work and don't break down immediately.

The result is a more robust, time-respecting framework for studying how the universe's fundamental forces might behave, bridging the gap between abstract mathematical theory and the physical reality of a time-flowing cosmos.

Technical Summary

Technical Summary: A Perturbative Approach to the Wetterich Equation for Bosonic and Fermionic Interacting Fields

Problem Statement
The paper addresses the formulation and mathematical well-posedness of Lorentzian Renormalization Group (RG) flow equations for interacting quantum fields on curved, globally hyperbolic spacetimes. Specifically, it targets the derivation of the Wetterich equation within the framework of Perturbative Algebraic Quantum Field Theory (pAQFT). A central challenge in Lorentzian signature is the absence of a distinguished Feynman inverse or vacuum two-point function, unlike in Euclidean settings. Furthermore, the paper seeks to establish the local existence and uniqueness of solutions to these non-linear flow equations, a problem that requires rigorous functional analytic techniques beyond standard perturbative expansions.

Methodology
The author employs the algebraic approach to quantum field theory, constructing quantum algebras of observables as deformations of classical functionals on the configuration space. The methodology proceeds through the following steps:

1. Algebraic Construction:

   • Bosonic Sector: For two mutually interacting scalar fields, the classical algebra is deformed using Hadamard two-point functions to encode canonical commutation relations. The interaction is treated perturbatively via the Bogoliubov map, relating interacting observables to free counterparts.
   • Fermionic Sector: For self-interacting Dirac fields (Thirring model), the framework avoids Grassmann variables. Instead, anticommutativity is encoded directly into the deformation map via a specific sign structure in the bi-distribution, preserving the commutative nature of the underlying classical functional space while generating the correct Canonical Anticommutation Relations (CAR) in the quantum algebra.
   • Stochastic Analogy: A specific case of two scalar fields with an asymmetric potential is analyzed, drawing a formal parallel to the Martin-Siggia-Rose (MSR) formalism for stochastic dynamics, though strictly within a Lorentzian, non-stochastic setting.

2. Derivation of Flow Equations:

   • An infrared regulator $Q_k$ is introduced to suppress low-energy modes.
   • The generating functionals and the average effective action $\Gamma_k$ are defined.
   • The Wetterich equation is derived as a differential equation governing the scale dependence of $\Gamma_k$.
   • The analysis is conducted within the Local Potential Approximation (LPA), where the effective action is truncated to include only field-dependent potentials and no derivatives of the fields. This allows for the extraction of beta functions for relevant couplings.

3. Existence and Uniqueness of Solutions:

   • To address the local well-posedness of the resulting flow equations, the paper adapts the strategy of [DP23].
   • The problem is recast as an initial-boundary value problem for the effective potential $U_k$.
   • The Nash-Moser Theorem (in the Hamilton formulation) is applied to prove the existence of local solutions. This requires demonstrating that the RG operator is a "tame smooth" map between graded Fréchet spaces and that its linearization admits a tame smooth inverse.

Key Contributions and Results

• Derivation of Beta Functions:

  • Scalar Model: For two mutually interacting scalar fields with a symmetric quartic potential, the paper derives the beta functions for the mass terms and coupling constants ($\lambda_1, \lambda_2, \lambda_3$) in four-dimensional Minkowski spacetime. The results are consistent with existing physics literature.
  • Dirac Model: For the self-interacting Thirring model in two dimensions, the beta functions are computed. Notably, the beta function for the quartic coupling $\lambda$ vanishes, consistent with dimensional analysis indicating the coupling is irrelevant (negative mass dimension) in this truncation.
  • Stochastic/MSR Model: For the asymmetric potential model resembling the MSR formalism, the beta functions are derived. A key result is that the diffusion coefficient (noise amplitude) $D_k$ does not run ($\partial_k D_k = 0$) within this truncation, a finding consistent with [Duc25] but derived via a Lorentzian algebraic approach.

• Mathematical Rigor (Well-Posedness):

  • The paper provides a rigorous proof of the local existence and uniqueness of solutions for the RG flow equations in both the scalar and Dirac cases.
  • By utilizing the Nash-Moser theorem, the author overcomes the "loss of derivatives" typical in non-linear PDEs on infinite-dimensional spaces, proving that the RG operator admits a unique family of tame smooth local inverses.

• Formalism Extension:

  • The work successfully extends the pAQFT framework to fermionic fields without resorting to Grassmann-valued classical fields, relying instead on a graded deformation of the algebra product.
  • It demonstrates the applicability of Lorentzian algebraic RG methods to models with mixed field types and asymmetric potentials, bridging a gap between algebraic RG and stochastic field theory descriptions.

Significance and Claims
The paper claims to provide a mathematically rigorous foundation for Lorentzian RG flow equations within pAQFT. Its primary significance lies in:

1. Covariance and Locality: Maintaining the principles of locality and covariance inherent to pAQFT, which are often compromised in standard functional RG approaches on curved spacetimes.
2. Mathematical Control: Establishing the local well-posedness of the Wetterich equation as a non-linear evolution equation, moving beyond formal perturbative expansions to prove the existence of solutions.
3. Connection to Stochastic Dynamics: Offering a formal algebraic link between Lorentzian RG methods and stochastic field theories (via the MSR formalism), suggesting that algebraic techniques can describe systems driven by noise, even if the underlying spacetime is Lorentzian.
4. Generality: The framework is presented as applicable to arbitrary globally hyperbolic spacetimes, with specific calculations performed in Minkowski space for tractability.

The author explicitly notes that the work does not address spacetimes with boundaries or the high-temperature limit, nor does it fully explore the non-perturbative relation between the derived Wetterich equations and stochastic Polchinski-type flow equations, identifying these as directions for future research.