Pith. sign in

REVIEW 4 major objections 5 minor 2 cited by

Graviton Propagator in a 2-Parameter Family of de Sitter Breaking Gauges

T0 review · 4 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read This paper derives exact first-order perturbations of the graviton propagator in a two-parameter family of de Sitter-breaking gauges, equations (31) and (33), the input needed to test whether graviton loop corrections depend on gauge.

desk verdict Solid technical step toward a gauge-independence check on de Sitter, with two real gaps—unshown contractions and unproven uniqueness of the series solutions—that a good referee should probe. read the letter →

arxiv 1908.06064 v2 pith:ZT2EJSMN submitted 2019-08-16 gr-qc hep-th

D. Glavan (CP3 Louvain) , S. P. Miao (NCKU) , T. Prokopec (Utrecht) , R. P. Woodard (Florida) This is my paper · ORCID
classification gr-qchep-th PACS 04.50.Kd95.35.+d98.62.-g
keywords deSitterbackgroundgravitonpropagatorgaugedependencefixingquantumgravitationalloopcorrectionsintegratedpropagatorsbreakinggaugesinflationarygravitons
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

The paper aims to provide the graviton-propagator input needed to test whether quantum gravitational loop corrections on de Sitter background are gauge artifacts. Earlier computations of inflationary graviton effects used one “simple” gauge, and a de Sitter-invariant alternative gave different-looking results, leaving the reality of the effects in doubt. The authors generalize the simple gauge to a two-parameter family whose flat-space limit matches the gauges used in a previous flat-space demonstration that source and observer corrections cancel gauge dependence. They then derive the exact first-order perturbations in the two parameters, equations (31) and (33), expressed through integrated propagators evaluated in the appendix. If these expressions are right, the same gauge-independence check can be run on de Sitter.

What carries the argument

The load-bearing object is the two-parameter gauge-fixing functional (7), with parameters $\alpha$ and $\beta$, which reduces to the simple gauge at $\alpha=\beta=1$ and to the flat-space gauge family when $H=0$ and $a=1$. The argument proceeds by expanding the graviton kinetic operator (25) as $D_0+\delta\alpha D_\alpha+\delta\beta D_\beta$ and inverting it with the geometric series (24), so each first-order perturbation is a convolution $D_0^{-1}\circ D_{\rm pert}\circ D_0^{-1}$ of the zeroth-order propagator with a perturbed kinetic operator. These convolutions force the introduction of integrated propagators $I$, $J$, $K$ with zero, one, and two inverse powers of the scale factor; reflection identities convert the $J$'s into derivatives of $K$'s, and the $K$'s are solved as a double power series in the de Sitter length $y$ and the time-asymmetry variable $v$, with non-integer and integer branches whose coefficients are determined recursively and by boundary and limit requirements.

What would settle it

Independently solve the defining equations (51)--(52) for one $K$-propagator, say $K_{AB}$, on a grid in the variables $(y,u,v)$ with the same boundary conditions, and compare with the power series (57) using coefficients from (73)--(97); any mismatch means a homogeneous solution was missed and the perturbed propagators are incomplete.

Watch

Extended reading notes

Core claim

The central claim is that the graviton propagator in the gauge family (7) can be expanded around the simple gauge values $\alpha=\beta=1$, and that the first-order perturbations in $\delta\alpha$ and $\delta\beta$ are given exactly by (31) and (33). The $\delta\alpha$ perturbation is a sum of convolutions involving integrated propagators with zero, one, and two inverse powers of the scale factor (the $I$, $J$ and $K$ propagators), while the $\delta\beta$ perturbation has only diagonal tensor structures and no $J$ terms. The appendix evaluates these objects: the $I$-type exactly, the $J$-type through derivative-reflection identities from the $K$-type, and the $K$-type as a power series in the de Sitter length variable $y$, with coefficients fixed recursively and by requiring finiteness at $v\to 0$ and existence of the $D\to 4$ limit. Together these formulas are the missing propagator input for repeating, on de Sitter, the flat-space check that source and observer corrections remove gauge dependence from the effective field equations.

Load-bearing premise

The construction assumes that the power-series form (57) is the unique solution of the equations defining the $K$-propagators; if another solution with the same singularity structure exists, equations (31) and (33) would not be the complete first-order propagator.

Editorial extensions

If this is right

  • With equations (31) and (33) and the appendix's integrated propagators, one can compute the one-graviton-loop 1PI two-point function and the corresponding source and observer corrections in this gauge family on de Sitter.
  • The flat-space table of gauge-parameter checks shows that first-order perturbations already capture two of the three independent gauge-parameter combinations, so the de Sitter computation will provide most of the available gauge-independence information.
  • These perturbed propagators are intended as a check rather than a routine tool: once gauge independence is demonstrated, future computations can return to the simple gauge propagator, whose $D=4$ form is elementary.
  • Because the $\delta\beta$ perturbation has diagonal tensor factors and no $J$-type integrated propagators, checking independence from $\beta$ is structurally cheaper than checking independence from $\alpha$.

Reading between the lines

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

  • If the power-series ansatz for the $K$-propagators is unique, the same recursion machinery should extend to second order in $\delta\alpha$ and $\delta\beta$ with one additional convolution, and possibly to all orders, since only two convolutions are needed for the full flat-space propagator.
  • The relative simplicity of the $\delta\beta$ direction suggests running a $\beta$-independence check first; a failure there would isolate which assumption in the construction most needs scrutiny.
  • The explicit recurrences for the $K$-propagator coefficients could be automated to high order and checked numerically against the defining differential equations, giving an independent test of the final propagators before they are used in loop calculations.
  • A successful gauge-independence check on de Sitter would strengthen the case that inflationary graviton corrections to particle kinematics and force laws are physical rather than gauge artifacts.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 5 minor

Summary. The paper constructs the graviton propagator on a de Sitter background in a two-parameter family of gauges that break de Sitter invariance, expanding around the previously known "simple gauge" (α = β = 1). The central claim is that equations (31) and (33) give the exact first-order perturbations in δα and δβ, expressed through a set of integrated propagators I, J, and K. The appendix evaluates these integrated propagators, with the most involved part being the derivation of the K-propagators from their second-order PDE system (51)–(52) via a power-series ansatz in the de Sitter invariant distance y. The motivation is to supply the propagator input needed to repeat, in de Sitter space, the flat-space source-observer gauge-independence check of [16].

Significance. If correct, the results provide a nontrivial and largely analytic handle on gauge dependence of the graviton propagator on de Sitter, extending the flat-space program to a cosmological background. The first-order expansion in δα and δβ captures two-thirds of the gauge-parameter checks available from the all-orders flat-space result, and the paper identifies the integrated propagators as the key new objects. The work is clearly motivated, and the use of dimensional regularization and reflection identities is appropriate. However, the central claim is only as strong as the completeness of the K-propagator solutions, and that completeness is not fully established; several verification steps are also deferred. The paper is a useful technical contribution that needs additional justification before the central expressions can be used with confidence.

major comments (4)
  1. [§5.2, Eqs. (54)–(57)] The uniqueness of the power-series solution for the K-propagators is not established. The authors solve the system (54)–(55) by postulating the ansatz (57), fixing the coefficients recursively with regularity conditions at v → 0 and the D → 4 limit, but they do not prove the absence of homogeneous solutions with the same singularity structure and boundary behavior. The system is overdetermined (two PDEs for one function), so an arbitrary homogeneous solution could in principle be added to any particular solution without altering the leading y^{-(D-4)/2} term or the v → 0 regularity. Since the K-propagators enter the central formulas (31) and (33) directly, any missing homogeneous mode would make those expressions incomplete. I request an argument for uniqueness, or an explicit check that the obtained solutions reproduce the convolution integral (20).
  2. [§3.3, Eqs. (31) and (33)] The central results are reached by "some tedious manipulations" that are not shown. Given that these expressions are the main deliverable, the derivation should be presented at least in outline form, or an independent check should be provided. Possible checks include verifying that (31) and (33) satisfy the first-order operator identity from the geometric series (24), or that they reduce to the flat-space limits (12) when H → 0, a → 1. The consistency relations in the appendix do not cover the δα and δβ perturbations themselves, so the reader cannot currently verify the correctness of these central formulas from the material provided.
  3. [§5.2.2, Eqs. (88)–(97)] For the off-diagonal K-propagators, the solution is only given as a double power series in y and v, with the first few coefficients displayed and higher coefficients generated by a recurrence relation. There is no demonstration that this local series converges, nor that the sum reproduces the nonlocal convolution integral (20). Since the final propagators require the full off-diagonal K, this is a load-bearing gap. Please state the convergence properties of the series or provide a more explicit closed-form solution, and at least verify the result for representative off-diagonal cases by direct integration.
  4. [§5.2.3, Eqs. (101)–(106)] The consistency relations (101)–(106) are described as checks of the K- and J-propagator solutions, but the paper does not report whether these relations actually hold for the derived expressions. These relations are the only direct internal checks of the most involved part of the computation, so explicitly verifying them—or stating that they follow from the construction—would substantially strengthen confidence in (31) and (33). Without that information, the reader cannot distinguish between a genuine verification and a proposed test that was not carried out.
minor comments (5)
  1. [§3.3, after Eq. (33)] There is a typo: "knietic operator" should be "kinetic operator".
  2. [§3.2, Eqs. (21)–(23)] The notation for the reflected derivative operators D_μ and D_μ is visually indistinguishable in the typeset text; please use an overarrow or a superscript to differentiate the side on which the derivative acts, since the distinction is essential in Eqs. (31) and (33).
  3. [Table 1 caption] The caption uses the notation i = 1,...,5 without defining it; the definition is only in the body text. Please add a brief explanation of the labels i = 0,...,5 in the caption so the table is self-contained.
  4. [§5.2, Eq. (53)] The rescaling in Eq. (53) uses the same symbol K for the original and rescaled propagators; please use a distinct symbol (e.g., a tilde) or explicitly state that an abuse of notation is being made, to avoid confusion in subsequent equations.
  5. [§5.2.1, Eq. (73)] The statement that the leading coefficient (E_μν)_0 = 1 is "unique" is presented without proof. Even if uniqueness holds, the argument should be sketched, because this is the starting point of the recurrence and the reader needs to know which boundary conditions are being imposed.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central first-order propagator formulas are a new contraction of independently fixed inputs, not a restatement of those inputs.

full rationale

The claimed derivation chain is: define the gauge family (7); expand the kinetic operator (25) to first order in δα and δβ; substitute the known zeroth-order propagator (3) into the geometric series (24); reduce the resulting convolutions to the integrated propagators I, J, and K defined in (18)-(20); and evaluate those in the appendix. Each link is a genuine computation rather than a definitional equivalence. Equations (31) and (33) are not obtained by fitting any free parameter, and no quantity called a prediction is set equal to a previous fit. The first-order perturbations are what the expansion of the propagator in δα and δβ gives by construction, but that is the definition of a perturbative computation, not circularity. Self-citations are present, including the simple gauge [11,12], the flat-space source-observer technique [16], the topological obstacle [20], the reflection identities [26], and the exact I-propagators [27], but they are used as independent inputs: parameter-free identities or previously derived propagators whose assumptions do not include the target result. In particular, the reflection identities (41)-(42) and the exact I-propagator results (43)-(44) are cited, not re-derived, but they do not presume equations (31) or (33). The flat-space gauge-independence check [16] motivates the program but is not an input to the algebra producing the new de Sitter results. The only notable gap is a completeness or rigor issue, not circularity: the appendix solves the defining equations (51)-(52) by postulating the power-series ansatz (57) and choosing integration constants by finiteness in v→0 and by requiring that the D→4 limit exists, but it does not prove that no other homogeneous solutions with the same singularity structure exist. That is an unproven uniqueness assumption about the K-propagators, and it could affect the completeness of the final expressions, but it is not a case of the output being equivalent to the input by construction or of a fitted parameter being relabeled as a prediction. Consequently, the circularity score is zero.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper's central claim rests on several imported results from the same research group (simple gauge, reflection identities, I-propagators) plus a power-series uniqueness assumption for the new K-propagators. There are no fitted parameters and no new physical entities; the gauge parameters α and β are expansion parameters, not free fits.

assumptions (4)
  • domain assumption The zeroth-order simple gauge propagator (3)-(5) and the scalar propagators (15)-(17) are correct and provide the background around which we perturb.
    The entire perturbative expansion is built on these prior results from refs. [11,12,23,24]; they are not re-derived in this paper.
  • domain assumption The reflection identities (39)-(42) from ref. [26] hold on de Sitter background and are used to express J-propagators in terms of K-propagators.
    These identities are cited, not proven; the relations (45)-(50) depend on them.
  • domain assumption The exact I-propagator results (43)-(44) from ref. [27] are valid.
    Used to express the I-integrals without further computation.
  • domain assumption The K-propagator equations (51)-(52) admit the power-series solution (57), and the conditions of finiteness at v→0 and existence of the D→4 limit uniquely fix all coefficients.
    This is a load-bearing mathematical assumption; no proof of uniqueness or convergence is provided, and the final expressions (31) and (33) depend on it.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Graviton Propagator in a 2-Parameter Family of de Sitter Breaking Gauges." pith.science (2026). https://pith.science/paper/ZT2EJSMN

@misc{pith2026190806064,
  author       = {Pith},
  title        = {Pith review of: Graviton Propagator in a 2-Parameter Family of de Sitter Breaking Gauges},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZT2EJSMN}},
  note         = {Machine review of arXiv:1908.06064}
}
read the original abstract

We formulate the graviton propagator on de Sitter background in a 2-parameter family of simple gauges which break de Sitter invariance. Explicit results are derived for the first order perturbations in each parameter. These results should be useful in computations to check for gauge dependence of graviton loop corrections.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

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

    hep-th 2025-12 conditional novelty 7.0 of 10

    A special gauge choice (β=1, α=4(d+2)/d) yields a simple graviton propagator in (A)dS satisfying ∇^μ μ ∇^ν μ G_{μν,α'β'} = 0.

  2. Resummations for Inflationary Quantum Gravity

    gr-qc 2025-01 conditional novelty 3.0 of 10

    Secular logarithms from inflationary graviton loops can be resummed by combining a modified stochastic formalism with a modified renormalization group, though the pure-gravity sector remains incomplete.

Reference graph

Works this paper leans on

27 extracted references · 5 canonical work pages · cited by 2 Pith papers

  1. [16]

    S. P. Miao, T. Prokopec and R. P. Woodard, Phys. Rev. D 96, no. 10, 104029 (2017) doi:10.1103/PhysRevD.96.104029 [arXiv:1708.062 39 [gr-qc]]

    work page doi:10.1103/physrevd.96.104029 2017

  2. [1]

    N. C. Tsamis and R. P. Woodard, Phys. Rev. D 54, 2621 (1996) doi:10.1103/PhysRevD.54.2621 [hep-ph/9602317]

    arXiv 1996

  3. [2]

    S. P. Miao and R. P. Woodard, Class. Quant. Grav. 23, 1721 (2006) doi:10.1088/0264-9381/23/5/016 [gr-qc/0511140]

    arXiv 2006

  4. [3]

    E. O. Kahya and R. P. Woodard, Phys. Rev. D 76, 124005 (2007) doi:10.1103/PhysRevD.76.124005 [arXiv:0709.0536 [gr-qc]]

    arXiv 2007

  5. [4]

    S. P. Miao, Phys. Rev. D 86, 104051 (2012) doi:10.1103/PhysRevD.86.104051 [arXiv:1207.5241 [gr-qc]]

    arXiv 2012

  6. [5]

    K. E. Leonard and R. P. Woodard, Class. Quant. Grav. 31, 015010 (2014) doi:10.1088/0264-9381/31/1/015010 [arXiv:1304.7265 [gr- qc]]

    arXiv 2014

  7. [6]

    P. J. Mora, N. C. Tsamis and R. P. Woodard, JCAP 1310, 018 (2013) doi:10.1088/1475-7516/2013/10/018 [arXiv:1307.1422 [gr-qc]]. 21

    arXiv 2013

  8. [7]

    S. P. Miao and R. P. Woodard, Phys. Rev. D 74, 024021 (2006) doi:10.1103/PhysRevD.74.024021 [gr-qc/0603135]

    arXiv 2006

Show all 27 references
  1. [8]

    E. O. Kahya and R. P. Woodard, Phys. Rev. D 77, 084012 (2008) doi:10.1103/PhysRevD.77.084012 [arXiv:0710.5282 [gr-qc]]

    2008 arXiv

  2. [9]

    C. L. Wang and R. P. Woodard, Phys. Rev. D 91, no. 12, 124054 (2015) doi:10.1103/PhysRevD.91.124054 [arXiv:1408.1448 [gr-qc]]

    2015 arXiv

  3. [10]

    Glavan, S

    D. Glavan, S. P. Miao, T. Prokopec and R. P. Woodard, Class. Quant. Grav. 31, 175002 (2014) doi:10.1088/0264-9381/31/17/175002 [arXiv:1308.3453 [gr-qc]]

    2014 arXiv

  4. [11]

    N. C. Tsamis and R. P. Woodard, Commun. Math. Phys. 162, 217 (1994). doi:10.1007/BF02102015

    1994 doi

  5. [12]

    R. P. Woodard, gr-qc/0408002

    arXiv

  6. [13]

    P. J. Mora, N. C. Tsamis and R. P. Woodard, J. Math. Phys. 53, 122502 (2012) doi:10.1063/1.4764882 [arXiv:1205.4468 [gr-qc]]

    2012 arXiv

  7. [14]

    Glavan, S

    D. Glavan, S. P. Miao, T. Prokopec and R. P. Woodard, Class. Qu ant. Grav. 32, no. 19, 195014 (2015) doi:10.1088/0264-9381/32/19/195014 [arXiv:1504.00894 [gr-qc]]

    2015 arXiv

  8. [15]

    Glavan, S

    D. Glavan, S. P. Miao, T. Prokopec and R. P. Woodard, Class. Quant. Grav. 34, no. 8, 085002 (2017) doi:10.1088/1361-6382/aa61da [arXiv:1609.00386 [gr-qc]]

    2017 arXiv

  9. [17]

    J. F. Donoghue, Phys. Rev. Lett. 72, 2996 (1994) doi:10.1103/PhysRevLett.72.2996 [gr-qc/9310024]

    1994 arXiv

  10. [18]

    J. F. Donoghue, Phys. Rev. D 50, 3874 (1994) doi:10.1103/PhysRevD.50.3874 [gr-qc/9405057]

    1994 arXiv

  11. [19]

    J. F. Donoghue and T. Torma, Phys. Rev. D 54, 4963 (1996) doi:10.1103/PhysRevD.54.4963 [hep-th/9602121]. 22

    1996 arXiv

  12. [20]

    S. P. Miao, N. C. Tsamis and R. P. Woodard, J. Math. Phys. 50, 122502 (2009) doi:10.1063/1.3266179 [arXiv:0907.4930 [gr-qc]]

    2009 arXiv

  13. [21]

    D. M. Capper, J. Phys. A 13, 199 (1980). doi:10.1088/0305- 4470/13/1/022

    1980 doi

  14. [22]

    K. E. Leonard and R. P. Woodard, Phys. Rev. D 85, 104048 (2012) doi:10.1103/PhysRevD.85.104048 [arXiv:1202.5800 [gr-qc]]

    2012 arXiv

  15. [23]

    V. K. Onemli and R. P. Woodard, Class. Quant. Grav. 19, 4607 (2002) doi:10.1088/0264-9381/19/17/311 [gr-qc/0204065]

    2002 arXiv

  16. [24]

    V. K. Onemli and R. P. Woodard, Phys. Rev. D 70, 107301 (2004) doi:10.1103/PhysRevD.70.107301 [gr-qc/0406098]

    2004 arXiv

  17. [25]

    S. P. Miao, N. C. Tsamis and R. P. Woodard, Phys. Rev. D 95, no. 12, 125008 (2017) doi:10.1103/PhysRevD.95.125008 [arXiv:1702.056 94 [gr-qc]]

    2017 doi

  18. [26]

    N. C. Tsamis and R. P. Woodard, Phys. Lett. B 292, 269 (1992). doi:10.1016/0370-2693(92)91174-8

    1992 doi

  19. [27]

    S. P. Miao, N. C. Tsamis and R. P. Woodard, J. Math. Phys. 52, 122301 (2011) doi:10.1063/1.3664760 [arXiv:1106.0925 [gr-qc]]. 23

    2011 arXiv

Pith tools

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