About possible measures in Quantum Gravity

This paper addresses the previously unexamined issue of volume divergences in the measure for Quadratic Gravity, demonstrating that these divergences cancel in the extremal limit similar to General Relativity, while also reviewing the complexities of renormalization in curved space and the conditions under which non-invariant measures can be justified.

The Gist

Imagine you are trying to take a perfect photograph of a bustling city square. To get the shot right, you need a camera (the theory), a lens (the math), and a way to count every single person in the frame (the measure).

In the world of Quantum Gravity, physicists are trying to take a photo of the universe itself. But the universe is weird: it's made of particles that act like waves, and space-time is a flexible fabric. To do the math, they use something called a "path integral," which is like summing up every possible way the universe could look to find the most likely reality.

The problem? The "camera settings" (the measure) are incredibly hard to get right. If you set them wrong, your photo comes out blurry, or worse, it explodes with static noise.

Here is what Osvaldo Santillán's paper is about, translated into everyday language:

1. The "Static Noise" Problem (Volume Divergences)

Imagine you are trying to count the people in the city square, but your counter is broken. Every time you try to count, it adds a giant, infinite number of "ghost people" that don't exist. In physics, these are called volume divergences (specifically $\delta^4(0)$).

• The Old Way: In General Relativity (Einstein's theory), physicists found a clever trick. They adjusted their camera settings so that these "ghost people" cancelled each other out perfectly. The photo came out clean.
• The New Problem: Now, physicists are trying to use a more advanced camera lens called Quadratic Gravity. This lens is sharper and can fix some problems the old lens couldn't, but nobody knew if the "ghost people" would still cancel out. If they didn't, the whole theory would be useless because the math would explode.

2. The Detective Work: Do the Ghosts Cancel?

Santillán acts like a detective. He takes the specific camera settings (the measure) used for this new Quadratic Gravity lens and runs a simulation.

The Result: He finds that, just like in the old theory, the "ghost people" do cancel out.

• The Catch: It's a bit like a magic trick. The cancellation happens perfectly only when the universe is in a specific, stable state (called the "extremal").
• The Subtlety: There is a tiny, complex detail involving "super-determinants" (think of these as a special kind of accounting for invisible particles called "ghosts" that appear in the math). As long as you handle these ghosts correctly, the noise disappears.

3. The "Non-Standard" Camera (Non-Covariant Measures)

Here is where it gets philosophical.

In physics, we usually demand that our camera settings look the same no matter how you rotate or move the camera. This is called invariance. It's like saying, "The photo of the square should look the same whether I hold the camera up, down, or sideways."

However, some of the best camera settings for gravity (the ones that cancel the noise) look "weird" or non-invariant. They depend on a specific direction (like the time direction, $g_{00}$).

• The Controversy: Some physicists say, "If the settings look different when you move the camera, the theory is broken!"
• Santillán's Argument: He says, "Wait a minute. As long as the final photo (the physical predictions) looks the same and the noise cancels out, it doesn't matter if the settings look weird in the middle of the process."

He compares this to cooking. You might use a weird, non-standard way to chop vegetables (the measure), but if the final soup tastes perfect and isn't salty (the anomaly is fixed by adjusting the recipe), then the method is valid.

4. The Big Picture: Why This Matters

This paper is a "proof of concept." It doesn't say, "This is definitely the correct way to photograph the universe." Instead, it says:

"Hey, look! This specific, slightly 'weird' camera setting for Quadratic Gravity actually works. It cancels out the infinite noise that usually breaks the math. This means we shouldn't throw it away just because it looks non-standard."

The Analogy of the Map:
Imagine you are drawing a map of a mountain range.

• Standard Maps try to keep the grid lines perfectly straight and square (Invariant).
• Santillán's Map bends the grid lines to fit the mountains perfectly (Non-invariant).
• Usually, we think bending the grid is a mistake. But Santillán shows that for this specific mountain (Quadratic Gravity), the bent grid actually helps you avoid a giant swamp (the infinite noise) that would otherwise drown your map.

Summary

• The Goal: Fix the math for a new theory of gravity (Quadratic Gravity).
• The Obstacle: The math usually produces infinite errors (noise).
• The Discovery: A specific, slightly "weird" mathematical tool (measure) makes those errors disappear, just like it does in Einstein's old theory.
• The Lesson: Don't reject a mathematical tool just because it looks "non-standard." If it solves the problem and the final result is consistent, it might be the right key to unlock the secrets of the universe.

The paper essentially gives permission to keep using these "weird" settings while we figure out the rest of the puzzle, because they successfully silence the noise.

Technical Summary

Here is a detailed technical summary of the paper "About possible measures in Quantum Gravity" by Osvaldo P. Santillán.

1. Problem Statement

The paper addresses the fundamental ambiguity in selecting the path integral measure for quantizing gravity theories, specifically General Relativity (GR) and Quadratic Gravity (Stelle gravity).

• The Core Conflict: There is a tension between constructing a measure that is invariant under general coordinate transformations (covariant) and one that ensures unitarity and the cancellation of volume divergences (specifically terms proportional to $\delta^4(0)$).
• Existing Proposals:
  • Invariant Measures: Approaches like those by DeWitt, Polyakov, and others (Refs [47]-[52]) rely on geometric arguments to define a measure invariant under diffeomorphisms. However, these often lead to propagating $\delta^4(0)$ divergences in Feynman diagrams, complicating renormalization.
  • Liouville/Non-Covariant Measures: Measures derived from the Hamiltonian formalism (Refs [7], [44]-[45]), such as $[Dg_{\mu\nu}]_s = \prod dg_{\mu\nu} (g_{00})^k |g|^{-3/2}$, contain non-covariant factors (powers of $g_{00}$). While these measures have been shown to cancel $\delta^4(0)$ divergences in GR at the extremal (on-shell), it was an open question whether this cancellation holds for Quadratic Gravity (a higher-derivative, renormalizable theory in flat space).
• The Gap: While the cancellation of $\delta^4(0)$ was established for GR using the measure in Ref [7], the author notes that this analysis had not been performed for the measures proposed for Quadratic Gravity in Refs [44]-[45]. Furthermore, the validity of non-invariant measures depends on whether their anomalies can be absorbed by counter-term redefinitions, a complex issue in curved backgrounds where the full counter-term structure is not yet known.

2. Methodology

The author employs a combination of Hamiltonian path integral quantization, canonical transformation analysis, and perturbative expansion around classical solutions (extremals).

• Model-Independent Analysis (Section 2):

  • The author first derives a strictly coordinate-invariant measure for generic gravity theories by analyzing the Jacobian of the measure under infinitesimal diffeomorphisms.
  • By requiring the total Jacobian factor ($M_1 M_2 C_1 C_2$) to be unity, a differential equation for the measure density $m(g)$ is derived.
  • Result: This yields a simple flat measure $d\mu_f = \prod dg_{\alpha\beta}$ (or a slight variation involving $|g|$), which is covariant but potentially problematic regarding $\delta^4(0)$ divergences.

• Analysis of Model-Dependent Measures (Section 2.2):

  • The paper reviews the derivation of the non-covariant measures (e.g., those containing $g_{00}$ factors) found in Ref [7]. These are derived by integrating out momenta in the Hamiltonian path integral (Liouville measure) and assuming the invariance of the path integral under canonical transformations.
  • The author critically examines the assumption that canonical transformations are non-anomalous, noting that if anomalies exist, they must be absorbable by counter-terms.

• Cancellation Mechanism in Higher-Derivative Theories (Section 3):

  • The core technical contribution involves analyzing a generic higher-derivative Lagrangian (Eq 3.12) involving fields $\phi_a$ (second-order derivatives) and $\eta_a$ (first-order).
  • Dirac-Pauli Quantization: To handle the "ghosts" inherent in higher-derivative theories (like the Pais-Uhlenbeck model), the author utilizes the Dirac-Pauli quantization method (Refs [36]-[40]). This involves distinguishing between variables even and odd under time reversal, effectively treating odd variables with a modified quantization scheme to ensure unitarity.
  • Gaussian Integration: The path integral is transformed from the Hamiltonian form to the Lagrangian form by integrating out the canonical momenta. This generates a measure factor involving determinants of the kinetic matrices ($A_{ab}$ and $D_{ab}$).
  • Divergence Cancellation: The author expands the action around a classical solution (extremal) to second order.
    • The measure contributes a term proportional to $\delta^4(0) \text{Tr} \log(\det A_{ab})$.
    • The fluctuation determinant (from the one-loop effective action) contributes a term proportional to $-\delta^4(0) \text{Tr} \log(\det A_{ab})$.
    • Crucial Finding: These two terms exactly cancel each other out.

• Application to Quadratic Gravity (Section 4):

  • The general results from Section 3 are applied to Stelle gravity (Quadratic Gravity) in both Synchronous Gauge and General Gauges (ADM decomposition).
  • The author demonstrates that the Stelle Lagrangian fits the generic form (3.12) when expressed in terms of Dirac-Pauli variables (specifically the extrinsic curvature $K_{ij}$).
  • The analysis is extended to include Faddeev-Popov ghosts. The author argues that if ghosts are included, the determinants in the measure must be replaced by superdeterminants (sdet) to account for Grassmann variables. The cancellation of $\delta^4(0)$ holds provided the ghost Lagrangian maintains the required structure.

3. Key Contributions

1. Extension of Cancellation to Quadratic Gravity: The paper proves that the specific non-covariant measures proposed for Quadratic Gravity (Refs [44]-[45]) successfully cancel volume divergences ($\delta^4(0)$) at the extremal, mirroring the behavior found in GR.
2. Generalization of the Mechanism: The author provides a rigorous derivation showing that this cancellation is a generic feature of higher-derivative theories quantized via the Dirac-Pauli method, provided the measure is derived from the Liouville form of the Hamiltonian path integral.
3. Role of Superdeterminants: The work clarifies the necessity of using superdeterminants when ghost fields are active, ensuring the cancellation mechanism remains valid in the presence of gauge-fixing ghosts.
4. Re-evaluation of Non-Covariant Measures: The paper argues that "non-covariant" measures (containing $g_{00}$ factors) should not be discarded solely due to their lack of manifest covariance. If the resulting anomaly can be absorbed by counter-term redefinitions (which is plausible given the renormalizability of Quadratic Gravity in flat space), these measures are theoretically valid and offer the distinct advantage of eliminating $\delta^4(0)$ divergences.

4. Results

• Cancellation Verified: For Quadratic Gravity, the divergent terms proportional to $\delta^4(0)$ arising from the measure (due to the integration of momenta) are exactly canceled by the divergent terms arising from the one-loop fluctuation determinant around the classical solution.
• Measure Structure: The valid measure for Quadratic Gravity in the synchronous gauge is confirmed to be of the form:
  $$[Dg_{\mu\nu}]_s = \prod_x dg_{\mu\nu}(x) (g_{00}(x))^4 |g(x)|^{-3/2}$$
  (with appropriate generalizations for other gauges).
• Anomaly vs. Counter-terms: The paper concludes that the presence of non-covariant factors in the measure does not invalidate the theory, provided the theory allows for the necessary counter-term redefinitions to absorb the resulting anomalies. Since the full counter-term structure for curved backgrounds in Stelle gravity is not yet fully established, these measures cannot be ruled out.

5. Significance

• Theoretical Consistency: The work strengthens the case for using Hamiltonian-derived, non-covariant measures in Quantum Gravity. It resolves a specific technical hurdle (the $\delta^4(0)$ divergence) that often plagues perturbative calculations in curved spacetime.
• Renormalization Implications: By eliminating volume divergences at the source (the measure), the complexity of the renormalization program is reduced. This is particularly relevant for Quadratic Gravity, which is renormalizable in flat space but faces significant challenges in curved backgrounds.
• Methodological Insight: The paper highlights the importance of the Dirac-Pauli quantization scheme for handling higher-derivative theories and ghosts, providing a robust framework for analyzing unitarity and divergence cancellation.
• Future Directions: The author suggests that rather than insisting on manifestly covariant measures (which may introduce difficult divergences), researchers should explore the full space of measures (including those with $g_{00}$ factors) and analyze their specific anomalies in the context of the model's allowed counter-terms.

In summary, Santillán's paper provides a rigorous mathematical demonstration that the "non-covariant" measures used in Quadratic Gravity are not only consistent but possess the desirable property of canceling volume divergences, thereby offering a viable and potentially superior alternative to strictly covariant measures for perturbative quantum gravity.