Pith. sign in

REVIEW 3 major objections 5 minor 34 references

This paper constructs explicit, closed-form bitensor expressions for the graviton and ghost propagators in Euclidean AdS_{d+1} in a special covariant gauge, and obtains the de Sitter propagator by analytic continuation.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-03 14:18 UTC pith:TMPAHB76

load-bearing objection A plausible and potentially useful new covariant graviton propagator in AdS, but the derivation is deferred to a companion paper and the Green's-function selection is not yet justified. the 3 major comments →

arxiv 2512.20725 v2 pith:TMPAHB76 submitted 2025-12-23 hep-th gr-qc

A remarkably simple covariant graviton propagator in Anti-de Sitter spacetime

Radu N. Moga , Kostas Skenderis This is my paper
classification hep-th gr-qc
keywords graviton propagatorAnti-de Sitter spacetimede Sitter spacetimecovariant gaugeBRST constraintgeodesic distance bitensorsAdS/CFThigher-spin gauge fields
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper aims to remove a technical obstacle to quantum loop computations in Anti-de Sitter (AdS) and de Sitter (dS) spacetimes: the graviton propagator, which in curved space is normally a combination of special functions. It shows that for a special choice of two covariant gauge-fixing parameters, beta=1 and alpha=4(d+2)/d, the graviton propagator in Euclidean AdS_{d+1} takes a short, explicit hypergeometric form valid in any dimension. In this gauge the two most complicated tensor structures drop out, so the propagator satisfies a double-divergence identity that signals improved infrared behavior. The same gauge has no flat-space analogue, because curvature terms are needed to keep the gauge-fixed operator invertible. This makes explicitly covariant, dimension-independent propagators available for Witten-Feynman diagram computations in (A)dS.

Core claim

In Euclidean AdS_{d+1}, for the covariant gauge-fixing condition with beta=1 and alpha=4(d+2)/d, the graviton propagator takes the explicit form given by equations (17)-(21). The bi-tensor form factors C1, C2, C3 are rational and hypergeometric functions of the geodesic distance; C4 and C5 vanish. The solution satisfies the gauge-fixed field equation, the BRST constraint, and the double-divergence condition (23), and the boundary conditions are fixed by normalizable falloff at large separation and by reproducing the delta-function sources at coincidence. The ghost propagator is given by the companion formulas (17)-(18). The de Sitter propagator follows from the analytic continuation (26), an

What carries the argument

The central object is the bi-tensor Ansatz (14)-(15), which writes the ghost and graviton two-point functions as sums of products of covariant derivatives of the geodesic distance mu(x,y), with undetermined functions A, B, C1...C5 of mu. The calculation substitutes this Ansatz into the propagator equations and the BRST constraint, solves the ghost sector first, then uses the constraint to reduce the graviton system to coupled ordinary differential equations for the form factors. The mechanism that makes the result simple is the parameter choice beta=1, alpha=4(d+2)/d: this is the value at which the overdetermined system decouples, C4 and C5 vanish, and the remaining functions take the ration

Load-bearing premise

The integration constants in the explicit formulas are fixed by demanding normalizable falloff at large separation and the correct delta-function short-distance behavior, and the paper defers to a companion paper the proof that these conditions uniquely select the physical Feynman propagator.

What would settle it

Take the proposed form factors in a fixed dimension (say d=4), substitute them into the left-hand side of the graviton propagator equation for two separated points, and verify numerically that the result is zero to machine precision; then integrate the equation against a test function at coincidence to check the delta-function coefficient. A sharper check is to project the transverse-traceless part of the new propagator and compare it with the known construction from the massless scalar propagator at a range of geodesic distances: any mismatch would indicate the boundary condition picked the w

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The explicit, dimension-independent propagator should make Witten-Feynman diagram integrals in AdS and dS tractable, since dimensional regularization can be applied directly.
  • The gauge-independent parts of the new propagator reduce to earlier results built from the massless scalar propagator, so existing tree-level AdS/CFT computations are reproduced.
  • Because of the double-divergence condition, the propagator has improved infrared behavior, which may simplify computations sensitive to IR divergences in AdS and dS.
  • The authors conjecture an analogue for massless spin-s fields: a covariant gauge parameter given by (d+2(s-1))/(d-2+2(s-1)) for which the spin-s propagator would obey a corresponding transverse condition.
  • Since the formulas hold in any dimension, they provide a starting point for loop-level checks of AdS/CFT, including universal 1/N^2 corrections dual to the stress tensor.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • A natural stress test is to check whether the double-divergence condition survives radiative corrections or acquires an anomaly; if it is quantum-stable, this gauge could serve as a convenient IR regulator for gravity in AdS.
  • The absence of a flat-space limit hints that this gauge and the usual flat-space graviton propagator are related by a non-commuting limit, so using AdS as an IR regulator with this gauge requires care when taking the radius to infinity.
  • The full derivation is deferred to a companion paper that will need to show that the normalizable-falloff boundary condition uniquely selects the physical Feynman propagator; otherwise the same formulas would solve the equations but could represent a different Green's function.
  • If the spin-s generalization is correct, it would connect the known photon simplification to a family of massless higher-spin gauges, with the gauge parameter running as a simple function of dimension and spin.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. This Letter constructs explicit covariant graviton and ghost propagators in Euclidean AdS_{d+1} (and, by analytic continuation, Lorentzian dS) for the covariant gauge parameters β=1 and α=4(d+2)/d. After postulating geodesic-distance bitensor ansätze (14)-(15), the authors state that substitution into the ghost equation (9), the graviton equation (10), and the BRST constraint (13) yields a system of ODEs that can be integrated to give (17)-(21), with C4=C5=0 and the special property (23). The integration constants are said to be fixed by normalizable falloff at μ→∞ and the delta-function source at μ→0. The Letter claims consistency with the gauge-independent parts of the AdS graviton propagator of [23] and suggests an analogous simple gauge for higher-spin fields. The technical details are deferred to a companion paper [26].

Significance. If correct, the result is a valuable technical advance: it would provide the first fully covariant graviton propagator in AdS in arbitrary spacetime dimension with an exceptionally simple form, together with the improved IR property (23), which is directly relevant for Witten-diagram loop computations. The formulas are explicit and falsifiable, and the proposed higher-spin generalization is interesting. The paper also benefits from a clear conceptual link to the photon Fried-Yennie gauge. However, the Letter is structured around assertions rather than a self-contained derivation; the absence of a visible ODE system, of the operator D, and of a uniqueness/invertibility analysis means the central claim is not yet independently verifiable from the manuscript alone.

major comments (3)
  1. [Results, Eqs. (17)-(22)] The central claim is not supported by a derivation in the manuscript. The differential operator D in Eq. (10) is never displayed; the ODE system for A, B, and C_i is not written; and the reduction procedure is described only verbally. Since the whole Letter rests on the assertion that these functions solve Eqs. (9), (10), and (13), please include at least the action of D on the bitensor ansatz and the resulting ODE system, or make the companion paper [26] available. As written, the reader cannot check the central result.
  2. [Results, integration-constant fixing] The uniqueness of the Green's function is not established. The authors state that integration constants were fixed by requiring normalizable falloff as μ→∞ and the delta-function source at μ→0, but they do not prove that this boundary-value problem has a unique solution, nor that the gauge-fixed operator D has no normalizable zero modes. Their argument that curvature lifts the flat-space β=1 zero modes is qualitative. If a normalizable homogeneous solution of D G = 0 exists, the formulas (17)-(21) would satisfy the local equations and the stated boundary conditions without being the physical graviton propagator. Please provide a kernel analysis or an explicit uniqueness argument.
  3. [Results, comparison with [23]] The statement that the propagator reproduces the gauge-independent parts of [23] is important external evidence, but it is only described verbally. The 'differential relations' between the form factors here and those in [23] are not shown. Please present these relations, or at least the key steps, so that the normalization of the overall coefficients can be checked. This is particularly relevant because a normalization error in (17)-(21) would not affect the local differential equations but would change the delta-function source (10).
minor comments (5)
  1. [Eq. (26), dS continuation] The analytic continuation from Euclidean AdS to Lorentzian dS is stated and said to have been checked independently, but no formulas or check are shown. Since dS appears in the title, a few lines indicating the continuation of the form factors would be helpful.
  2. [Eqs. (19)-(21), dimension range] The paper claims validity in any spacetime dimension, but the formulas contain denominators d(d−1), which are singular for d=1 (AdS_2). Please state the assumed range of d (e.g., d≥2) or discuss the d=1 case separately.
  3. [Eq. (23) and abstract] The notation ∇^μ μ ∇^ν μ G_{μν,...} is easily misread because μ denotes both an index and the geodesic distance. Consider using an explicit notation such as ∂^μ μ(x,y) or a displayed contraction to avoid ambiguity.
  4. [Footnote 4] The footnote says the ghost propagator reduces to elementary functions for integer d, but no explicit ghost expression is given in the Letter. A brief example for one small d would help the reader assess the claimed simplicity.
  5. [References] Reference [26] is cited as 'to appear (2026)' and is used for several key claims, including the derivation and the physical-properties discussion. Please clarify its current status and which parts of the Letter can be checked without it.

Circularity Check

0 steps flagged

No circular reduction: the propagator is obtained by solving the defining equations; self-citations to [24] and [26] are methodological/deferral, not load-bearing.

full rationale

The derivation chain is a direct Green's function construction. Starting from the BRST action (1), the ghost and graviton propagators are defined by the inhomogeneous equations (9)-(10) and the BRST constraint (13). The paper inserts the covariant bitensor ansatz (14)-(15), derives ODEs for the form factors, and solves them. The gauge choice β=1, α=4(d+2)/d is a simplifying selection, not a fit to the target; no parameter is adjusted to make formulas match a precomputed result. The property (23) is an output, not an input: the solution has C4=C5=0 (22), so the double divergence vanishes. Integration constants are fixed by the delta-function sources already in (9)-(10) plus normalizable falloff, i.e. by the defining equations and standard Green's function boundary conditions, not by data. The result is checked against the independent gauge-independent parts of [23] and by a separate dS computation (26), so it is not merely a restatement of inputs. The self-citations are [24] (same authors; used for methodology and ansatz motivation) and [26] (same authors; companion paper with details) — neither is load-bearing for the mathematical validity of the solution. The deferral of full derivation and the lack of a uniqueness proof for the Green's function (normalizable falloff plus delta source) is a completeness/rigor gap, not circularity.

Axiom & Free-Parameter Ledger

2 free parameters · 6 axioms · 0 invented entities

The central claim depends on the completeness of the bitensor ansatz, the validity of BRST quantization in (A)dS, the uniqueness of the Green's function selected by the boundary conditions, and the analytic continuation to dS. No new particles or entities are introduced. The gauge parameters β and α are special choices, not fitted to data.

free parameters (2)
  • β = 1
    Gauge-fixing parameter; the simplification occurs only for β=1. Chosen by hand, not fitted.
  • α = 4(d+2)/d
    Gauge-fixing parameter; special value making the solution simplest. The paper also mentions other special values like (α, 5/2, 3).
axioms (6)
  • standard math The bitensor basis in eq. (15) is complete for symmetric rank-2 bitensors in maximally symmetric spacetimes
    Used to parameterize the propagator; relies on Allen-Jacobson bitensor calculus [31].
  • domain assumption BRST quantization and the Faddeev-Popov procedure apply to perturbative quantum gravity on (A)dS backgrounds
    The whole setup Eqs (1)-(13) assumes the standard gauge-fixed path integral is valid.
  • domain assumption The Einstein-Hilbert action is the low-energy effective theory, neglecting higher-curvature terms
    The paper states 'at low energies the theory is well-described by General Relativity with a cosmological constant'.
  • domain assumption Analytic continuation from Euclidean AdS to Lorentzian dS yields the correct (Feynman) propagator
    Used in eq. (26); the authors say they checked this independently, but the check is not shown.
  • domain assumption The boundary conditions (normalizable falloff at infinity and delta-function singularity at coincidence) uniquely select the physical propagator
    Integration constants are fixed by these conditions; no proof of uniqueness is given.
  • domain assumption The gauge-fixing operator remains invertible for β=1 in AdS despite being degenerate in flat space
    Argued via curvature-induced effective mass; stated in text around eq. (16).

pith-pipeline@v1.3.0-alltime-deepseek · 7523 in / 10858 out tokens · 96176 ms · 2026-08-03T14:18:20.115828+00:00 · methodology

0 comments
read the original abstract

We present remarkably simple covariant expressions for the graviton and ghost propagators in Anti-de Sitter (AdS) spacetime valid in any spacetime dimension. In gravity there is a $2$-parameter family of covariant gauge-fixing conditions and the simplification occurs for a special choice of these parameters. In this gauge the graviton propagator satisfies $\nabla^\mu\mu\nabla^\nu\mu \, G_{\mu\nu,\alpha'\beta'}(\mu)=0$, where $\mu$ is the geodesic distance between two points, and this condition implies an improved infrared behavior. This gauge choice is not possible in flat spacetime.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

34 extracted references · 17 linked inside Pith

  1. [1]

    R. P. Feynman, Acta Phys. Polon.24, 697 (1963)

    1963

  2. [2]

    B. S. DeWitt, Phys. Rev.160, 1113 (1967)

    1967

  3. [3]

    B. S. DeWitt, Phys. Rev.162, 1195 (1967)

    1967

  4. [4]

    B. S. DeWitt, Phys. Rev.162, 1239 (1967)

    1967

  5. [5]

    ’t Hooft and M

    G. ’t Hooft and M. J. G. Veltman, Ann. Inst. H. Poincare Phys. Theor. A20, 69 (1974)

    1974

  6. [6]

    J. M. Maldacena, Adv. Theor. Math. Phys.2, 231 (1998), hep-th/9711200

    Pith/arXiv arXiv 1998

  7. [7]

    S. S. Gubser, I. R. Klebanov, and A. M. Polyakov, Phys. Lett. B428, 105 (1998), hep-th/9802109

    Pith/arXiv arXiv 1998

  8. [8]

    Witten, Adv

    E. Witten, Adv. Theor. Math. Phys.2, 253 (1998), hep- th/9802150

    arXiv 1998

  9. [9]

    Allen, Phys

    B. Allen, Phys. Rev. D34, 3670 (1986)

    1986

  10. [10]

    Allen and M

    B. Allen and M. Turyn, Nucl. Phys. B292, 813 (1987)

    1987

  11. [11]

    Antoniadis and E

    I. Antoniadis and E. Mottola, J. Math. Phys.32, 1037 (1991)

    1991

  12. [12]

    Higuchi and S

    A. Higuchi and S. S. Kouris, Class. Quant. Grav.18, 4317 (2001), gr-qc/0107036

    Pith/arXiv arXiv 2001

  13. [13]

    S. P. Miao, N. C. Tsamis, and R. P. Woodard, J. Math. Phys.52, 122301 (2011), 1106.0925

    Pith/arXiv arXiv 2011

  14. [14]

    E. O. Kahya, S. P. Miao, and R. P. Woodard, J. Math. Phys.53, 022304 (2012), 1112.4420

    Pith/arXiv arXiv 2012

  15. [15]

    P. J. Mora, N. C. Tsamis, and R. P. Woodard, J. Math. Phys.53, 122502 (2012), 1205.4468

    Pith/arXiv arXiv 2012

  16. [16]

    M. B. Fr¨ ob, A. Higuchi, and W. C. C. Lima, Phys. Rev. D93, 124006 (2016), 1603.07338

    Pith/arXiv arXiv 2016

  17. [17]

    N. C. Tsamis and R. P. Woodard, Commun. Math. Phys. 162, 217 (1994)

    1994

  18. [18]

    Higuchi and R

    A. Higuchi and R. H. Weeks, Class. Quant. Grav.20, 3005 (2003), gr-qc/0212031

    Pith/arXiv arXiv 2003

  19. [19]

    Glavan, S

    D. Glavan, S. P. Miao, T. Prokopec, and R. P. Woodard, JHEP10, 096 (2019), 1908.06064

    Pith/arXiv arXiv 2019

  20. [20]

    Glavan (2025), 2511.13660

    D. Glavan (2025), 2511.13660

    Pith/arXiv arXiv 2025

  21. [21]

    Liu and A

    H. Liu and A. A. Tseytlin, Phys. Rev. D59, 086002 (1999), hep-th/9807097

    Pith/arXiv arXiv 1999

  22. [22]

    Raju, Phys

    S. Raju, Phys. Rev. D83, 126002 (2011), 1102.4724

    Pith/arXiv arXiv 2011

  23. [23]

    D’Hoker, D

    E. D’Hoker, D. Z. Freedman, S. D. Mathur, A. Matu- sis, and L. Rastelli, Nucl. Phys. B562, 330 (1999), hep- th/9902042

    arXiv 1999

  24. [24]

    R. N. Moga and K. Skenderis (2025), 2510.23770

    Pith/arXiv arXiv 2025

  25. [25]

    Ba˜ nados, E

    M. Ba˜ nados, E. Bianchi, I. Mu˜ noz, and K. Skenderis, Phys. Rev. D107, L021901 (2023), 2208.11539

    Pith/arXiv arXiv 2023

  26. [26]

    R. N. Moga and K. Skenderis, to appear (2026)

    2026

  27. [27]

    Polchinski,String theory

    J. Polchinski,String theory. Vol. 1: An introduction to the bosonic string, Cambridge Monographs on Math- ematical Physics (Cambridge University Press, 2007), ISBN 978-0-511-25227-3, 978-0-521-67227-6, 978-0-521- 63303-1

    2007

  28. [28]

    D. M. Capper, J. Phys. A13, 199 (1980)

    1980

  29. [29]

    N. H. Barth and S. M. Christensen, Phys. Rev. D28, 1876 (1983)

    1983

  30. [30]

    Glavan and T

    D. Glavan and T. Prokopec, Phys. Lett. B841, 137928 (2023), 2212.13997

    Pith/arXiv arXiv 2023

  31. [31]

    Allen and T

    B. Allen and T. Jacobson, Commun. Math. Phys.103, 669 (1986)

    1986

  32. [32]

    Glavan and T

    D. Glavan and T. Prokopec, JHEP05, 126 (2023), 2212.13982

    Pith/arXiv arXiv 2023

  33. [33]

    Ciccone, F

    R. Ciccone, F. De Cesare, L. Di Pietro, and M. Serone, JHEP12, 218 (2024), [Erratum: JHEP 06, 037 (2025)], 2407.06268

    Pith/arXiv arXiv 2024

  34. [34]

    C. G. Callan, Jr. and F. Wilczek, Nucl. Phys. B340, 366 (1990)

    1990