A Simple Model for Quantum Gravity I: the one-dimensional case

Technical Summary: A Simple Model for Quantum Gravity I: The One-Dimensional Case

Problem Statement
The paper addresses the difficulties inherent in formulating a non-perturbative, analytical model of quantum gravity in one dimension (Euclidean time) using standard Regge calculus. Previous numerical studies of 1D simplicial approximations (chains of line segments) faced significant hurdles:

1. Inequalities: In the closed case (periodic time), edge lengths must satisfy triangle inequalities (e.g., $l_1 < l_2 + l_3$ for $N=3$), which become increasingly complex for $N \geq 4$ and prevent analytical integration.
2. Measure Ambiguity: The integration measure over edge lengths, typically chosen as $\prod dl_n l_n^\sigma$, suffers from ambiguity regarding the power $\sigma$ and the short-distance cutoff $\epsilon$.
3. Divergences: Perturbative expansions of the partition function in the cosmological constant $\lambda$ diverge at every order due to the non-compact nature of the integration over lengths.

In the open case, the continuum limit is trivial (the universe size becomes infinite regardless of $\lambda$). In the closed case, the constraints of Regge calculus have historically made analytical solutions impossible, leaving the continuum limit unclear.

Methodology
The author proposes a reformulation of the 1D quantum gravity path integral by parametrizing the geometry not by edge lengths $l_n$, but by angles $\phi_n$ associated with a circle of fixed radius $\ell$.

• Geometric Parametrization: The "spacetime" is modeled as a curve constructed from straight lines tangent to a circle of radius $\ell$. The edge lengths are defined as $l_n = 2\ell \tan(\phi_n/2)$, where $0 \leq \phi_n \leq \pi$.
• Measure: Instead of an ambiguous measure over lengths, the model utilizes the unique, normalized Haar measure of the compact group $U(1)$, given by $\prod d\phi_n / 2\pi$.
• Constraints:
  • Open Curve: No constraint on the sum of angles.
  • Closed Curve: The angles must sum to $2\pi$ ($\sum \phi_n = 2\pi$), representing a closed loop.
• Analytical Technique: To handle the global constraint in the closed case, the author employs character expansions of the $U(1)$ group.
  • The Dirac delta function enforcing the constraint is expanded using a product of characters $\chi_p(\phi) = e^{-ip\phi}$.
  • The exponential term in the action, $\exp(-\lambda L)$, is expanded using an inverse Mellin transform and character expansions.
  • Orthogonality relations of the characters allow the partition function to be expressed as a convergent series of coefficients, bypassing the need for explicit triangle inequalities.

Key Contributions and Results

1. Analytical Solution for Closed Curves: The paper derives an exact analytical expression for the partition function $Z$ of a closed 1D universe for arbitrary $N$. This is achieved without imposing explicit inequalities on edge lengths, a feat not possible in standard Regge calculus formulations.
2. Continuum Limit Behavior (Pure Gravity):
   • Open Case: The continuum limit ($N \to \infty$) yields an infinite universe size ($\langle L \rangle \to \infty$), consistent with previous trivial results.
   • Closed Case: The continuum limit is non-trivial. The average length $\langle L \rangle$ exhibits a phase-transition-like behavior dependent on the cosmological constant $\lambda$:
     • For $\lambda \leq 0$, $\langle L \rangle \to \infty$.
     • For $\lambda > 0$, $\langle L \rangle$ approaches a finite value of $2\pi\ell$ as $N \to \infty$.
   • This results in an "infinite step" function at $\lambda = 0$, contrasting with the Regge calculus result where the closed universe size diverges for all $\lambda$.
3. Asymptotic Expansions:
   • Weak Coupling ($\lambda \ell \ll 1$): The average length diverges logarithmically as $\lambda \to 0$.
   • Strong Coupling ($\lambda \ell \gg 1$): The system minimizes the total length, leading to a configuration where all angles are equal ($\phi_n = 2\pi/N$), corresponding to a regular polygon. The minimum length is $\langle L \rangle_{min} = 2N\ell \tan(\pi/N)$.
4. Inclusion of a Scalar Field: The model is extended to include a scalar field $\phi_n$ at the tangency points.
   • Even with the scalar field, the continuum limit remains largely unchanged.
   • For $\lambda > 0$, the universe size remains finite ($2\pi\ell$).
   • For $\lambda < 0$, the size remains infinite.
   • The only subtle modification occurs at $\lambda = 0$, where the presence of a scalar mass shifts the limit from infinity to a finite value, but the general dichotomy between positive and negative $\lambda$ persists.

Significance and Claims
The paper claims that the introduction of a fixed radius $\ell$ and the use of $U(1)$ Haar measure resolve the analytical intractability of closed quantum gravity models in 1D.

• Resolution of Inequalities: By mapping lengths to angles on a circle, the geometric constraints of Regge calculus (triangle inequalities) are naturally satisfied, allowing for analytical integration.
• Finite Universe: The model demonstrates that a positive cosmological constant can lead to a finite-size universe in the continuum limit, a result obscured in previous formulations due to the lack of analytical tools for the closed case.
• Generalization: The author suggests this approach is generalizable to higher dimensions. The fixed radius $\ell$ corresponds to a symmetry-breaking scale (e.g., an inscribed sphere in a triangulated surface). The paper notes that a 2D extension based on a tetrahedron with an inscribed sphere is currently under development.
• Physical Interpretation: The fixed radius $\ell$ is hypothesized to be related to the Planck length, though the paper states this relationship requires confirmation in higher dimensions where curvature and the Newtonian potential become significant.

The work is presented as a "simple model" intended to provide a tractable, analytical framework for studying quantum gravity features (such as the continuum limit and the role of the cosmological constant) that are otherwise inaccessible in standard simplicial approaches.