Comment on "Ultraviolet Completion of the Big Bang in Quadratic Gravity"

Technical Summary: Comment on "Ultraviolet Completion of the Big Bang in Quadratic Gravity"

Problem Statement
This paper addresses a specific claim made by Liu, Quintin, and Afshordi [1] regarding the ultraviolet (UV) completion of the Big Bang within the framework of quadratic gravity. The authors of the referenced work proposed that a round Euclidean four-sphere ($S^4$) located at the maximum of the running $R^2$ coupling $\xi$ constitutes an exact solution for a "no-boundary" onset of the universe. Shinn argues that this proposal is fundamentally obstructed when the quantum effects of a large matter sector are properly accounted for. Specifically, the original argument relies on a speculative no-boundary onset and omits the type-A trace anomaly, equivalently representable through a running Euler/Gauss–Bonnet coupling, leading to a contradiction in the one-loop renormalization group (RG)-improved approximation.

Methodology
The analysis employs the formalism of conformal anomalies and effective action functionals to test the consistency of the proposed $S^4$ saddle point.

• Trace Anomaly Analysis: The paper utilizes the trace of the energy-momentum tensor, $\langle T^\mu_\mu \rangle$, for a free, massless, conformal realization of the matter sector. The trace is expressed in terms of the Weyl tensor squared ($C^2$), the Euler density ($E_4$), and a total derivative term ($\square R$).
• Functional Derivatives: By defining the effective action $W = -\ln Z$ and the energy-momentum tensor $T_{\mu\nu}$, the author derives the scale dependence of the functional on a round $S^4$. On this geometry, $C^2$ and $\square R$ vanish, isolating the contribution of the Euler coefficient $a_m$.
• RG-Improved Equations: The study incorporates the running of the $R^2$ coupling, defined via $f(R) = R^2 u(t)$ where $u = \xi^{-1}$ and $t = \frac{1}{2}\ln(R/\mu_0^2)$. The author derives the interior field equation for constant curvature, relating the beta function of the coupling ($\beta_\xi$) to the total Euler coefficient ($a_{\text{tot}}$).
• Large-$N$ Expansion: The analysis evaluates the magnitude of the Euler coefficient $a_m$ for the phenomenologically required large-$N$ matter sector of Ref. [1] (comprising scalars, fermions, and Maxwell fields) to determine if the necessary conditions for a real, positive solution can be met.

Key Contributions and Results
The primary contribution of this work is the identification of a leading-order obstruction in the large-$N$ expansion that invalidates the proposed round $S^4$ starting geometry under specific assumptions.

1. The Obstruction Equation: The paper derives a critical condition (Equation 3) for the existence of a round sphere solution:
   $$\beta_\xi = 0 \quad \text{is compatible with a round sphere only if} \quad a_{\text{tot}} = 0.$$
   Here, $a_{\text{tot}}$ includes the matter contribution $a_m$ and other perturbatively controlled metric/ghost contributions.
2. Non-Existence of Real Roots: By substituting the beta function from Ref. [1] and defining the ratio $r = \xi/\lambda$, the author derives a quadratic equation (Equation 4):
   $$(1 - 6a_{\text{tot}})r^2 - 36r - 2520 = 0.$$
   The analysis shows that a finite root with $r > 0$ exists only if $a_{\text{tot}} < 1/6$. Furthermore, no real root exists if $a_{\text{tot}} > 79/420$.
3. Parametric Obstruction: For the phenomenologically required large-$N$ matter sector of Ref. [1], the Euler coefficient $a_m$ is estimated to be $\approx 1.7 \times 10^4$ to $1.7 \times 10^5$. This value is parametrically much larger than the threshold of $79/420$, rendering the proposed round sphere solution impossible within the stated assumptions.
4. Local Nature of the Failure: The obstruction is shown to be local, arising from the interior field equation rather than boundary conditions. Consequently, simply shifting the sphere's radius cannot repair the solution.

Significance and Claims
The paper demonstrates that within the one-loop RG-improved pure-quadratic truncation, for the free, massless, conformal realization of the large matter sector considered, and with the remaining gravitational contributions perturbatively controlled and of order one, the proposed round Euclidean no-boundary saddle is excluded because it cannot satisfy the stationary equations.

• Correction of the Initial Saddle: The omitted type-A trace anomaly, equivalently representable through a running Euler/Gauss–Bonnet coupling, is leading order in the large-$N$ expansion and removes the proposed round no-boundary starting geometry. Consequently, the claimed exact initial saddle and its stated continuation to Lorentzian inflation are invalid under these specific assumptions (pure quadratic truncation, conformal matter, no Einstein-Hilbert terms).
• Scope of Limitation: The author explicitly states that the work does not show that quadratic gravity, the proposed UV completion as a whole, or inflation in this framework is mathematically inconsistent. It specifically targets the validity of the "round $S^4$" solution proposed by Liu, Quintin, and Afshordi.
• Requirement for Modification: To restore a real stationary coupling ratio while remaining within the same round-sphere setup, the model would require an additional negative Euler contribution of order $O(N)$. Other modifications, such as changes to the gravitational truncation, the matter sector, or the geometry, remain possible and are not excluded by this work.