Pith. sign in

REVIEW 4 major objections 3 minor 17 references

Finiteness of piecewise flat quantum gravity with matter

T0 review · 4 major / 3 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The piecewise flat quantum gravity path integral for general relativity plus the Standard Model is absolutely convergent when the measure parameter p exceeds 52.5.

desk verdict A useful but flawed review: the claimed p > 52.5 finiteness bound is unsupported by the paper's own arithmetic (Eq. 45 gives c' = 332, not 260), so the central result as stated does not hold. read the letter →

arxiv 2412.17465 v1 pith:AXV5DKNQ submitted 2024-12-23 gr-qc hep-th

Aleksandar Mikovic This is my paper · ORCID
classification gr-qchep-th PACS 04.60.-m
keywords piecewiseflatquantumgravitypathintegralfinitenessStandardModeleffectiveactioncosmologicalconstantinflationReggecalculusmeasureparameter
topics Quantum Gravity
open problems Quantum Gravity
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper argues that a quantum gravity theory built from piecewise flat spacetimes—triangulated manifolds whose edge lengths are the only gravitational degrees of freedom—has a finite path integral even after the full Standard Model of particle physics is coupled to gravity. The finiteness holds when the parameter p in the path-integral measure exceeds 52.5, a bound that follows from a polynomial bound on the matter partition function and the geometry of regular triangulations. If the argument is correct, the theory provides a mathematically well-defined quantum gravity with finite transition amplitudes, a non-perturbative effective action, and a classical limit that reproduces general relativity coupled to the Standard Model. It also offers an explanation for the observed cosmological constant and a natural origin for inflation through quadratic curvature terms in the effective action.

What carries the argument

The load-bearing objects are the path-integral measure (Eq. (17)), $\mu(L) = e^{-V_4/L_0^4} \prod_\epsilon (1 + |L_\epsilon|^2/l_0^2)^{-p}$, and the matter partition function bound (Eq. (44)), $|Z_m(L)| < r^{c' n} F_n(\theta)$, with $c' = 260$. The measure provides polynomial decay for large edge lengths, while the matter bound controls the growth of the matter integral as a power of the radial coordinate $r$. The finiteness argument splits the full integral into a radial and an angular part; the angular part is bounded by a convergent function $F_n$, and the radial integral converges when the exponent $c' n + N(1 - 2p)$ is negative. The combinatorial fact that a regular 4D triangulation has at least $5/2$ edges per vertex converts this into the explicit threshold $p > 52.5$.

What would settle it

Compute the matter partition function for the full Standard Model on a regular 4D triangulation and test the bound $|Z_m| < r^{260 n} F_n(\theta)$; finding a configuration where the integral grows faster than any polynomial in $r$ would disprove the theorem.

Watch

Extended reading notes

Core claim

The central discovery is that the piecewise flat quantum gravity path integral for general relativity plus the Standard Model, given by Eq. (35), is absolutely convergent when the measure parameter p in Eq. (17) satisfies p > 52.5. The proof combines the known convergence of the pure gravity path integral for p > 1/2 with a bound on the matter partition function, $|Z_m(L)| < r^{c' n} F_n(\theta)$, where $c' = 260$ for the Standard Model field content. After rotating to Euclidean edge lengths, the radial integral converges provided $c' n + N (1 - 2p) < 0$, and because in a regular triangulation the ratio of edges to vertices is at least $5/2$, the condition simplifies to $p > 52.5$. This makes all transition amplitudes finite and gives a well-defined non-perturbative effective action.

Load-bearing premise

The entire finiteness theorem rests on the matter partition function bound $|Z_m(L)| < r^{c'n} F_n(\theta)$ with c' = 260, which is imported from the author's earlier paper; if that bound is false or the exponent differs even modestly, the conclusion p > 52.5 fails.

Editorial extensions

If this is right

  • All transition amplitudes of the theory are finite, so the time evolution operator is exactly defined, not just perturbatively.
  • A non-perturbative effective action exists, from which one can compute vacuum expectation values and semiclassical dynamics.
  • The observed value of the cosmological constant falls within the allowed spectrum of the theory, because the matter vacuum energy contribution is finite.
  • The one-loop effective action contains quadratic-curvature terms, which generate a viable inflationary phase.
  • The discrete structure of spacetime at short distances produces calculable deviations from ordinary quantum field theory scattering at high energies.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The threshold p > 52.5 is tied to the Standard Model field content through c' = 260; if future physics adds or removes fields, the required p shifts and the finiteness window may close.
  • The proof works with Euclidean edge lengths; extending the absolute-convergence statement to the original Lorentzian integration contour requires an additional argument about analytic continuation of the bound.
  • The measure parameter p is left free; a natural next step is to pin it down by requiring that the effective action reproduces known quantum gravitational physics at low energies.
  • A direct verification of the matter bound (44) with the claimed c' = 260 for the full Standard Model on generic triangulations would be a concrete check of the theorem.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 3 minor

Summary. The manuscript reviews the piecewise flat quantum gravity (PFQG) approach and defines a path integral for gravity coupled to the Standard Model on a triangulation T(M). Its central claim is that this path integral is absolutely convergent when the measure parameter p in the regularized measure satisfies p > 52.5, provided the matter partition function satisfies the polynomial bound |Z_m(L)| < r^{c'n} F_n(θ) imported from the author's previous work. The paper then discusses consequences for the effective action, the cosmological constant, and Starobinsky inflation. The proof is short and mostly follows from the radial integration of the bound, but it contains a numerical error and leaves several load-bearing steps justified only by references.

Significance. If the theorem were fully established, the result would be significant: it would provide a non-perturbative path integral for quantum gravity with Standard Model matter that has finite transition amplitudes and a well-defined effective action, with an explicit sufficient condition on the measure. The manuscript is transparent in identifying the bound from [14] as the key input, which makes the dependency clear and checkable. However, the arithmetic error in Eq. (45), the unproved nature of the imported bound, and the unjustified Wick-rotation step substantially reduce confidence in the theorem as stated. The qualitative strategy may survive with a corrected exponent and a larger threshold.

major comments (4)
  1. [Sec. 4, Eq. (45)] The numerical evaluation is incorrect: with c_f = 120 and |G| = 12, one has 3c_f - 2|G| - 4 = 332, not 260. This error propagates to Eq. (51)-(53); re-running the argument with c' = 332 gives p > c'/5 + 1/2 = 66.9, so the stated threshold p > 52.5 does not follow. The abstract and conclusions repeat the incorrect number.
  2. [Sec. 4, Eq. (44)] The bound |Z_m(L)| < r^{c'n} F_n(θ) is the load-bearing input for the finiteness proof, but it is quoted from reference [14] without a proof, without a statement of the precise theorem, and without verification that its hypotheses hold for the discretized Standard Model used here. Since the exponent c' and hence the convergence threshold in Eq. (53) come entirely from this bound, the central claim is not self-contained and cannot be independently verified from the present manuscript.
  3. [Sec. 4, Eqs. (37)-(40)] The passage from the Lorentzian matter path integral (36) to the Euclidean integral (38) and the identification (40) does not provide a bound on |Z_m(L)| for the original oscillatory integral. Absolute convergence of the Euclidean integral does not control the modulus of the original integral; a separate estimate for the Lorentzian matter partition function, or a demonstration that the Wick rotation is valid for the finite-dimensional regulator and preserves the bound, is needed.
  4. [Sec. 4, Eq. (52)] The inequality N/n ≥ N_1^*/N_0^* identifies N, the number of edge lengths in the gravity path integral, with N_1^*, the number of dual edges (tetrahedra), which are not the same quantity. The exact ratio N_1^*/N_0^* = 5/2 for a regular triangulation therefore does not imply the required bound on N/n. A correct argument would have to establish N_1/N_0 ≥ 5/2 directly, for example from the minimal vertex degree, with a boundary-term estimate in the non-compact case.
minor comments (3)
  1. [Throughout] The text contains numerous typographical errors and misspellings, including 'chossen', 'grater', 'mesure', 'diferentiation', 'inital', 'Legandre', 'cosmolocical', and 'Fourirer'; these should be corrected in a revision.
  2. [Sec. 4 vs. Sec. 5] The counting of fermion and ghost components is inconsistent: in Sec. 4, c_f = 96 + 24 = 120 includes the ghosts, while in Sec. 5 and Eq. (56) the same quantity is split as c_f = 96 and c_gh = 24. The notation should be unified.
  3. [Sec. 4, Eq. (46)] The integration domains and the definitions of the variables ξ and χ in the expression for F_n(θ) are not specified; this makes Eq. (46) incomplete and hard to check.

Circularity Check

1 steps flagged · score 5.0 of 10

Finiteness threshold p>52.5 rests on a matter bound imported from the author's prior paper [14]; the bound is not proved here and Eq. (45) does not reproduce c'=260.

  1. self citation load bearing [Section 4, Eqs. (44)-(45) and (47)-(53)]
    "After integrating the fermions and the ghosts, it can be shown that |Zm(L)| < rc′nFn(θ) , where c′ = 3cf − c∗b = 3cf − 2|G| −4 = 260 , ... , see [14]."

    The chain (47)–(53) is a direct reduction: (47) inserts (44) into |Z|, (48)–(49) perform the radial integral, and (50)–(53) convert the exponent c' into the sufficient condition p>52.5. The exponent c' is not derived in this paper; it is quoted from the author's prior paper [14]. The only independent step is the elementary radial integral; the matter exponent that fixes the threshold is an imported same-author result. The paper's own arithmetic also fails to reproduce the quoted value: with cf=120 and |G|=12, Eq. (45) gives 3·120 − 2·12 − 4 = 332, not 260, so the advertised p>52.5 does not follow from the displayed equations. The finiteness theorem therefore reduces to a self-citation whose content is neither proved nor consistently stated here.

full rationale

Strictly speaking, this is not a definitional circularity: the paper does not assume p>52.5 to prove p>52.5, and once the matter bound (44) is granted, the radial-integration argument is valid. The pure-gravity convergence p>1/2 is also derived in (18). The problem is that the central matter input, the polynomial-growth exponent c'=260, is imported from the author's earlier paper [14] and is load-bearing for the advertised threshold; moreover Eq. (45) is arithmetically inconsistent with the paper's own cf and |G| (giving 332 instead of 260), so the citation is carrying the entire result without being verified in this manuscript. The subsequent implications (finite transition amplitudes, non-perturbative effective action, CC values via [11,13], Starobinsky inflation via the QFT effective action) all inherit this dependence. This is a moderate self-citation/load-bearing-import issue rather than an equivalence-by-construction, so the score is 5 rather than 6-8.

Assumptions & free parameters 4 free parameters · 5 assumptions · 1 invented entities

The central claim rests on a postulate about spacetime structure, a chosen measure form with several free scales, and a matter bound imported from the author's own prior paper. The p > 52.5 threshold depends sensitively on the exponent c' in that bound, which the paper computes inconsistently. The Wick rotation step and the regularity assumption on the triangulation are additional unproved inputs.

free parameters (4)
  • p (measure exponent) = not fitted; lower bound p > 52.5
    Exponent in the measure (17) that controls path integral convergence; the paper derives a lower bound but the actual value is not predicted by the theory.
  • L0 (measure scale)
    Scale in the exponential factor exp(-V4/L0^4) of the measure (17); chosen by hand to ensure the correct semiclassical limit via condition (19).
  • l0 (measure scale)
    Scale in the factors (1+|L_epsilon|^2/l0^2)^{-p}; not fixed by the theory, used to make the measure dimensionless.
  • Lambda_c (bare cosmological constant)
    Free parameter in Eqs. (68) and (74); the paper explicitly notes it is a free parameter.
assumptions (5)
  • domain assumption The short-distance structure of spacetime is a piecewise flat manifold T(M) based on a triangulation of a smooth manifold, and this is the physical spacetime.
    Central postulate of the PFQG approach, used throughout; no independent evidence is provided.
  • ad hoc to paper The measure (17), with the exponential factor, is the correct integration measure; condition (19) on the second derivative of log mu is required for a correct semiclassical expansion.
    Assumed to obtain the correct classical limit; not derived from first principles.
  • ad hoc to paper The bound |Z_m(L)| < r^{c'n} F_n(theta) in Eq. (44) holds for the matter partition function.
    Quoted from the author's earlier paper [14]; it is the load-bearing estimate for the finiteness theorem but not proved in this manuscript.
  • domain assumption Wick rotation to Euclidean edge lengths (37) preserves the finiteness properties of the physical Lorentzian path integral.
    The convergence is proved for the Euclidean integral after rotation; the connection back to the Lorentzian integral is asserted rather than demonstrated.
  • standard math For a regular triangulation of a 4-manifold, the ratio of dual edges to dual vertices satisfies N/n >= 5/2.
    Combinatorial property used in Eq. (52) to convert the convergence condition into the p > 52.5 bound; stated without proof.
invented entities (1)
  • Piecewise flat physical spacetime T(M)
    purpose: Serves as the fundamental short-distance structure replacing the smooth manifold in quantum gravity; smooth GR emerges only at larger scales.
    The paper postulates that T(M) is the physical spacetime. The only falsifiable handle is a predicted deviation from QFT scattering amplitudes at high energies, which is not quantified enough to be a sharp prediction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Finiteness of piecewise flat quantum gravity with matter." pith.science (2026). https://pith.science/paper/AXV5DKNQ

@misc{pith2026241217465,
  author       = {Pith},
  title        = {Pith review of: Finiteness of piecewise flat quantum gravity with matter},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AXV5DKNQ}},
  note         = {Machine review of arXiv:2412.17465}
}
read the original abstract

We review the approach to quantum gravity which is based on the assumption that the short-distance structure of the spacetime is given by a piecewise flat manifold corresponding to a triangulation of a smooth manifold. We then describe the coupling of the Standard Model to this quantum gravity theory and show that the corresponding path integral is finite when the negative power of the product of the edge lengths squared in the path-integral measure is chossen to be grater than 52,5. The implications of this result are discussed, which include a relationship between the effective action and a wavefunction of the universe, the existence of the non-perturbative effective action, the correct value of the cosmological constant and the natural appearence of the Starobinsky inflation.

Figures

Figures reproduced from arXiv: 2412.17465 by the authors.

Figure 1
Figure 1. Topology of a PFQG closed spacetime manifold [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Topology of a PFQG non-compact spatial manifold [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Topology of the Hartle-Hawking manifold [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Topology of the effective action manifold [PITH_FULL_IMAGE:figures/full_fig_p011_4.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [14]

    Mikovi´ c, Class

    A. Mikovi´ c, Class. Quant. Grav. 40 (2023) 245011

    work page 2023

  2. [1]

    Isham, Lect

    C. Isham, Lect. Notes Phys. 434 (1994) 1-21, 150-169

    work page 1994

  3. [2]

    Rovelli, Quantum gravity, Cambridge University Press, Cambridge (2004)

    C. Rovelli, Quantum gravity, Cambridge University Press, Cambridge (2004)

    work page 2004

  4. [3]

    Bonanno, A

    A. Bonanno, A. Eichhorn, H. Gies, J. M. Pawlowski, R. Percacci, M. Reuter, F. Sauerssig and G.P. Vacca, Front. Phys. 8 (2020) 269

    work page 2020

  5. [4]

    M. B. Green, J. H. Schwarz and E. Witten, Superstring Theory, Vol. 1, Cambridge University Press, Cambridge (1987)

    work page 1987

  6. [5]

    Polchinski, String Theory, Vol

    J. Polchinski, String Theory, Vol. 2, Cambridge University Press, Cambridge (1998) 5Note that the perturbative solution of the EA equation does not depend on the convergence properties of the path integral. Hence the perturbative solution exists even when the path integral is divergent, see [10, 11]. 15

    work page 1998

  7. [6]

    Regge, Nuovo Cimento 19 (1961) 558-571

    T. Regge, Nuovo Cimento 19 (1961) 558-571

    work page 1961

  8. [7]

    H. W. Hamber, Gen. Rel. Grav. 41 (2009) 817-876

    work page 2009

Show all 17 references
  1. [8]

    Perez, Living Rev

    A. Perez, Living Rev. Rel. 16 (2013) 3

    2013

  2. [9]

    Ambjorn, A

    J. Ambjorn, A. Gorlich, J. Jurkiewicz and R. Loll, Phys. Rep. 519 (2012) 127-210

    2012

  3. [10]

    Mikovi´ c, Adv

    A. Mikovi´ c, Adv. Theor. Math. Phys. 21 (2017) 631

    2017

  4. [11]

    Mikovi´ c and M

    A. Mikovi´ c and M. Vojinovi´ c, Europhys. Lett. 110 (2015) 40008

    2015

  5. [12]

    Mikovi´ c, Universe 8 (2022) 268

    A. Mikovi´ c, Universe 8 (2022) 268

    2022

  6. [13]

    Mikovi´ c and M

    A. Mikovi´ c and M. Vojinovi´ c,State-sum Models of Piecewise Linear Quantum Gravity, World Scientific, Singapore (2023)

    2023

  7. [15]

    Mikovi´ c, Int

    A. Mikovi´ c, Int. J. Mod. Phys. D 33 (2024) 2450048

    2024

  8. [16]

    The cosmolocical constant and the string landscape

    J. Polchinski, “The cosmolocical constant and the string landscape”, Proceedings of the 23rd Solvay Conference on Physics, D. Gross, M. Henneaux and A. Servin (eds.) (2007)

    2007

  9. [17]

    Neto, A.M

    T.P. Neto, A.M. Pelinson, I.L. Shapiro and A.A. Starobinsky, Eur. Phys. J. C76 (2016) 544. 16

    2016

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.