Pith. sign in

REVIEW 3 major objections 3 minor 1 cited by

Scalar model of effective field theory in curved space

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

Pith's one-line read The paper claims that mixed light-heavy one-loop diagrams produce only local effects in the infrared, so heavy degrees of freedom decouple even when they share a loop with light fields.

desk verdict A careful one-loop decoupling calculation in curved space with a real O(N) bookkeeping gap and an abstract/body mismatch; structurally sound for N=1, needs revision. read the letter →

arxiv 1908.01937 v2 pith:ZHRCQ6NX submitted 2019-08-06 hep-th

classification hep-th PACS 11.10.-z04.62.+v11.10.Gh11.10.Hi
keywords effectivefieldtheoryscalarfieldsone-loopformfactorsdecouplingtheoreminfraredcurvedspacetimemixedloopdiagramsrenormalization
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 studies a two-scalar quantum field theory in which one scalar is very light and the other is much heavier, and asks what survives at low energies. Its central claim is that a one-loop diagram with one light and one heavy internal line, which produces a nonlocal logarithmic form factor at high energy, reduces in the far infrared to a local tadpole-like contribution. In a weak gravitational field the same happens: the curvature-dependent pieces stay local and match the effective one-scalar theory. If true, this means heavy degrees of freedom decouple from low-energy physics even when they appear together with light ones inside the same loop.

What carries the argument

The load-bearing object is the one-loop mixed self-energy integral with one light propagator and one heavy propagator, evaluated by dimensional regularization and then expanded in the limit $p^2 \ll M^2$. The argument is carried by the observation that the Feynman-parameter integral becomes a sum of local terms in that limit, with no logarithmic dependence on external momentum. In curved space the same role is played by the standard normal-coordinate expansion of the propagators, which turns the nonlocal coordinate-space integral into a local expression proportional to a covariant delta function; the matching coefficients $C_{m^2}$, $C_{\varphi}$, and $C_R$ then absorb all differences between the fundamental and effective theories.

What would settle it

Compute the one-loop effective potential of the model exactly: if it is unbounded below, the vacuum assumption behind all loop results fails. Alternatively, evaluate the mixed self-energy at the next order in $p^2/M^2$ and check whether a $\log(p^2/M^2)$ term appears; if one does, the reduction to a local tadpole holds only at leading order, not as the general infrared behavior.

Watch

Extended reading notes

Core claim

In the two-scalar model with interaction term $-(g/2)\chi\phi_a\phi_a$, the authors compute the one-loop self-energy of the light field with mixed light-heavy internal lines and examine its infrared limit. They find that for external momenta $p^2 \ll M^2$ the finite part contains no $\log(p^2)$ nonlocality, only local terms such as $p^2/M^2$ and mass logarithms. The diagram therefore behaves like the tadpole diagram of the effective low-energy theory with quartic coupling $\lambda = -3g^2/M^2$, and the difference between the two theories is absorbed by local, momentum-independent counterterms $C_{m^2}$ and $C_{\varphi}$. In curved space, after expanding the propagators in normal coordinates, the same conclusion holds: the curvature-dependent terms in the mixed loop are finite, local, and match the effective theory with an additional local coefficient $C_R$.

Load-bearing premise

The loop calculation assumes the model has a stable vacuum around which quantum corrections are physically meaningful, but the scalar potential is not bounded from below and the authors note the quantum effective potential likely inherits this instability.

Editorial extensions

If this is right

  • The decoupling theorem, originally about loops of a single heavy field, extends at one loop to mixed light-heavy loops: the heavy mass leaves no nonlocal low-energy trace in this model.
  • The effective low-energy theory is just the light scalar with quartic self-interaction; all differences from the fundamental theory are local and can be absorbed by renormalization conditions.
  • In weak gravitational fields, curvature-dependent corrections from mixed loops are also local and match the effective theory, so no curvature-dependent nonlocal form factor is generated.
  • The authors' continuation of this result to quantum gravity suggests that mixed ghost or tachyon loops may become irrelevant in the infrared, leaving quantum general relativity as a plausible universal low-energy theory; they present this as a conjecture.

Reading between the lines

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

  • If the same locality persists at higher loops in these superrenormalizable models, the infrared effective action of a wide class of two-scale scalar theories would be fully determined by light-field loops plus local matching terms; a direct check would be to compute the two-loop mixed diagram and look for $\log(p^2)$ terms.
  • The unboundedness of the classical potential means these loop results are formally computed around a state that is not a true vacuum; repeating the calculation in a stabilized version of the model, with quartic terms added to make the potential bounded from below, would show whether the infrared locality survives the vacuum problem.
  • The curvature-dependent matching coefficient $C_R$ is a concrete prediction; comparing it with an independent heat-kernel calculation in the effective theory could test when the assumption $M^2 \gg |R|$ starts to fail.
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

3 major / 3 minor

Summary. The paper studies a toy model of effective field theory in curved spacetime: an N-component light scalar field φ^a coupled to a heavy scalar χ through a cubic interaction -g/2 χ φ^a φ^a. The authors compute the one-loop UV divergences and beta functions in the MS scheme, then evaluate the mixed light-heavy contribution to the φ two-point function in flat space and in a weak gravitational field using Riemann normal coordinates. They find that in the UV the mixed loop reproduces the expected logarithmic form factor, while in the IR (p^2 ≪ M^2) it reduces to a local tadpole-type term with no non-local form factor, and they match this result onto an effective O(N) φ^4 theory with local counterterms C_m2, C_φ, and C_R. A final section notes that the classical potential is unbounded from below and that the model is therefore only a formal toy model.

Significance. If the central claim holds, the paper gives a clean, explicit one-loop demonstration that mixed heavy-light loops decouple locally in the IR, with only local counterterms needed for matching, in both flat and weakly curved spacetime. This is relevant for the program of understanding what survives from higher-derivative quantum gravity in the IR. The UV/IR interpolation and the normal-coordinate expansion are clearly presented, and the MS beta functions are exact due to superrenormalizability. However, the quantitative one-loop matching is derived only for N=1 despite the N-component action, and the abstract contradicts the concluding section on the presence of IR nonlocality; these issues must be fixed before the matching formulas can be accepted for the stated model.

major comments (3)
  1. [Secs. 4-6, Eqs. (29), (32), (34), (45), (49), (53)-(55), (72), (76)] The one-loop matching is performed for N=1 although the action (1) contains an N-component multiplet φ^a. In the tadpole diagram of Eq. (29), the light-field loop at x2 gives a trace δ^a_a=N, so the second term in Eq. (32) and the quantity Σ2 in Eqs. (34) and (45) should carry an explicit factor N. Similarly, in the O(N) effective φ^4 theory (48) the one-loop propagator correction carries a factor (N+2)/6, not the numerical coefficient 3/2 used in Eq. (49); the matching coefficients in Eqs. (53)-(55), (72), and (76) are therefore only valid for N=1. The structural conclusion that Σ1 has no non-local IR form factor is N-independent, but the paper's quantitative equality between the fundamental and effective theories is not established for N≠1.
  2. [Abstract and Sec. 7] The abstract states that one-loop diagrams with mixed internal lines "produce an IR non-local contributions", while Sec. 7 concludes that in the far IR the mixed loop "boils down to the tadpole contribution, that does not produce a non-local form factor." These statements are in direct tension. If the intended claim is that the mixed loop becomes local and that any IR nonlocality of the effective theory comes from light-only diagrams, the abstract should say so explicitly; as written, it misstates the central result.
  3. [Sec. 8] The paper acknowledges that the classical potential of the theory (1) is not bounded from below and that the quantum effective potential is expected to inherit this instability. Since all one-loop results in Secs. 4 and 6 are computed around the symmetric background, the physical interpretation of the matching as a statement about a low-energy effective theory, rather than a purely formal perturbative computation, is not established. The claims should be explicitly qualified as formal perturbative statements, or the stability issue should be addressed more concretely.
minor comments (3)
  1. [Abstract] The phrase "an IR non-local contributions" is grammatically incorrect and should be rewritten, preferably in a way consistent with the corrected statement of the central result.
  2. [Sec. 5] The assertion that higher-loop corrections to Eq. (46) "do not have higher order logarithmic corrections" is stronger than what superrenormalizability alone implies; finite higher loops can still contain logarithmic terms, so this statement should be justified or softened.
  3. [Eq. (8)] The typesetting of the χ^2 mass term in Eq. (8) appears garbled; the coefficient should be checked against the divergence in Eq. (6) and the beta function in Eq. (15).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the IR matching is a direct one-loop computation with parameters fixed by explicit matching conditions.

full rationale

The paper's central calculation, the one-loop two-point function of the two-scalar model and its infrared limit, is carried out by explicit dimensional regularization in Eqs. (36)-(47), with no fitted parameters and no appeal to the authors' prior results to fix the answer. The tree-level coupling lambda = -3g^2/M^2 in Eq. (27) and the low-energy coefficients Cm2, Cphi, and CR are determined by the matching conditions in Eqs. (52) and (68); these are definitions of effective parameters needed for equality, not predictions forced by those same parameters. The claim that the mixed loop reduces to a local, tadpole-like contribution in the IR follows directly from the expansion of Eq. (43), so it is not equivalent to its input. Self-citations such as Refs. [16], [17], and [24] motivate the quantum-gravity question but are not load-bearing; the actual one-loop integrals are computed from standard Feynman rules and the external Bunch-Parker propagator expansion. The admitted unboundedness of the classical potential in Sec. 8 and the possible missing O(N) factors in the N-component model are correctness or physical-interpretation concerns, not circularity.

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

No free parameters are fitted to data and no new entities are introduced. The matching coefficients C_m2, C_phi, C_R are determined uniquely by the matching conditions, so they are not free ad hoc parameters. The model parameters (m, M, g, xi1, xi2) are inputs from the action. The central derivation depends on the axioms listed.

assumptions (4)
  • domain assumption Perturbative expansion around the symmetric background (φ=0, χ=0) is meaningful despite the scalar potential being unbounded below.
    All one-loop integrals in Sections 4-6 are computed around this background. Section 8 acknowledges the potential is unbounded below, which the authors call a fundamental difficulty.
  • domain assumption The hierarchy M >> m and p^2 << M^2, with M^2 >> |R| in curved space, holds in the infrared limit.
    The IR expansion of the mixed loop in Eq. (47) and the Green's function expansion in Eq. (24) explicitly rely on these inequalities.
  • domain assumption The Bunch-Parker normal-coordinate expansion of the propagators in a weak gravitational field is valid to first order in curvature.
    Section 6 uses this expansion (Eqs. (60)-(64)) to derive the curvature-dependent contributions.
  • standard math Standard dimensional regularization and heat-kernel formulas are used to extract divergences.
    Sections 2 and 4.2 apply these standard tools; the beta-functions are claimed exact because the model is superrenormalizable.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Scalar model of effective field theory in curved space." pith.science (2026). https://pith.science/paper/ZHRCQ6NX

@misc{pith2026190801937,
  author       = {Pith},
  title        = {Pith review of: Scalar model of effective field theory in curved space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZHRCQ6NX}},
  note         = {Machine review of arXiv:1908.01937}
}
read the original abstract

We consider, in more details than it was done previously, the effective low-energy behavior in the quantum theory of a light scalar field coupled to another scalar with much larger mass. The main target of our work is an IR decoupling of heavy degrees of freedom, including in the diagrams with mixed light-heavy contents in the loops. It is shown that the one-loop diagrams with mixed internal lines produce an IR non-local contributions which are exactly the same as the ones in the theory of the light scalar alone, with the effective self-interaction which can be obtained by the functional integration of the heavy scalar, almost neglecting its kinetic term. The same effect takes place in curved space, regardless of a larger amount of non-localities which show up in the effective model.

Figures

Figures reproduced from arXiv: 1908.01937 by the authors.

Figure 1
Figure 1. Matching in terms of Feynman diagrams at the tree level. On [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
Figure 2
Figure 2. Relevant one-loop diagrams for the two-point function of [PITH_FULL_IMAGE:figures/full_fig_p010_2.png] view at source ↗
Figure 3
Figure 3. The diagrams for the two-point function in the momentum sp [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Illustration of the one-loop match in the IR between funda [PITH_FULL_IMAGE:figures/full_fig_p014_4.png]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Propagator from Nonperturbative Worldline Dynamics

    hep-th 2019-08 reject novelty 6.0 of 10

    Worldline Monte Carlo with a fitted potential PDF gives an all-orders quenched propagator for S2QED, with a pole mass that drops toward zero near a critical coupling around 0.72.

Reference graph

Works this paper leans on

36 extracted references · 17 canonical work pages · cited by 1 Pith paper

  1. [1]

    Weinberg, Effective Gauge Theories, Phys

    S. Weinberg, Effective Gauge Theories, Phys. Lett. B91 (1980) 51

  2. [2]

    A. V. Manohar, Effective Field Theories , Lect. Notes Phys. 479 (1997) 311, hep-ph/9606222. 21

  3. [3]

    Pich, Effective Field Theory , hep-ph/9806303

    A. Pich, Effective Field Theory , hep-ph/9806303

  4. [4]

    C. P. Burgess, Quantum gravity in everyday life: General relativity as an e ffective field theory, Living Rev. Rel. 7 (2004) 5, gr-qc/0311082

  5. [5]

    Simon, Higher-derivative Lagrangians, nonlocality, problems, a nd solutions, Phys

    J.Z. Simon, Higher-derivative Lagrangians, nonlocality, problems, a nd solutions, Phys. Rev. D41 (1990) 3720; L. Parker and J.Z. Simon, Einstein equation with quantum corrections reduced to second order Phys. Rev. D47 (1993) 1339, gr-qc/9211002

  6. [6]

    F. de O. Salles and I.L. Shapiro, Do we have unitary and (super)renormalizable quan- tum gravity below the Planck scale? . Phys. Rev. D 89 (2014) 084054, arXiv:1401.4583

  7. [7]

    Accioly, B.L

    A. Accioly, B.L. Giacchini and I.L. Shapiro, Low-energy effects in a higher-derivative gravity model with real and complex massive poles , Phys. Rev. D 96 (2017) 104004, arXiv:1610.05260

  8. [8]

    Accioly, B.L

    A. Accioly, B.L. Giacchini and I.L. Shapiro, On the gravitational seesaw in higher- derivative gravity. Eur. Phys. J. C 77 (2017) 540, arXiv:1604.07348

Show all 36 references
  1. [9]

    Asorey, J.L

    M. Asorey, J.L. L´ opez, and I.L. Shapiro, Some remarks on high derivative quantum gravity, Int. Journ. Mod. Phys. A12 (1997) 5711

  2. [10]

    Modesto, I.L

    L. Modesto, I.L. Shapiro, Superrenormalizable quantum gravity with complex ghosts, Phys. Lett. B755 (2016) 279, arXiv:1512.07600

  3. [11]

    Modesto, Super-renormalizable or finite LeeWick quantum gravity, Nucl

    L. Modesto, Super-renormalizable or finite LeeWick quantum gravity, Nucl. Phys. B909 (2016) 584, arXiv:1602.02421

  4. [12]

    Krasnikov, Nonlocal Gauge Theories , Theor

    N.V. Krasnikov, Nonlocal Gauge Theories , Theor. Math. Phys. 73 (1987) 1184

  5. [13]

    Kuz’min, The Convergent Nonlocal Gravitation (in Russian) , Sov

    Y.V. Kuz’min, The Convergent Nonlocal Gravitation (in Russian) , Sov. J. Nucl. Phys. 50 (1989) 1011, [translated from Russian version: Yad. Fiz. 50 (1989) 1630]

  6. [14]

    Tomboulis, Nonlocal and quasilocal field theories, Phys

    E.T. Tomboulis, Nonlocal and quasilocal field theories, Phys. Rev. D D92 (2015) 125037, arXiv:1507.00981; Superrenormalizable gauge and gravitational theories, hep-th/9702146

  7. [15]

    ghost-free

    I. L. Shapiro, Counting ghosts in the “ghost-free” non-local gravity, Phys. Lett. B744 (2015) 67, arXiv:1502.00106

  8. [16]

    de Berredo-Peixoto, and I.L

    G. de Berredo-Peixoto, and I.L. Shapiro, Higher derivative quantum gravity with Gauss-Bonnet term, Phys. Rev. D71 (2005) 064005, hep-th/0412249. 22

  9. [17]

    Shapiro, Polemic Notes On IR Perturbative Quantum Gravity, Int

    I.L. Shapiro, Polemic Notes On IR Perturbative Quantum Gravity, Int. J. Mod. Phys. A24 (2009) 1557, arXiv:0812.3521

  10. [18]

    Ilisie, Concepts in Quantum Field Theory

    V. Ilisie, Concepts in Quantum Field Theory. A Practitioner’s Toolkit , (Springer, 2016)

  11. [19]

    Hartmann, Effective Field Theories, Reductionism and Scientific Expla nation, Stud

    S. Hartmann, Effective Field Theories, Reductionism and Scientific Expla nation, Stud. Hist. Phil. Mod. Phys., 32 (2001) 267

  12. [20]

    Appelquist and J

    T. Appelquist and J. Carazzone, Infrared Singularities and Massive Fields, Phys. Rev. D11 (1975) 2856

  13. [21]

    Gorbar, I.L

    E.V. Gorbar, I.L. Shapiro, Renormalization Group and Decoupling in Curved Space, JHEP 02 (2003) 021, hep-ph/0210388; Renormalization Group and Decoupling in Curved Space: II. The Standard Model and Beyond, JHEP 06 (2003) 004, hep-ph/0303124

  14. [22]

    Nakonieczny, Curved spacetime effective field theory (cEFT) - constructio n with the heat kernel method, JHEP 1901 (2019) 034, arXiv:1811.01656

    L. Nakonieczny, Curved spacetime effective field theory (cEFT) - constructio n with the heat kernel method, JHEP 1901 (2019) 034, arXiv:1811.01656

  15. [23]

    Fernandes Barra, I.L

    V. Fernandes Barra, I.L. Buchbinder, J.G. Joaquim, A.R. Rodrig ues and I.L. Shapiro, Renormalization of Yukawa model with sterile scalar in curv ed spacetime, Eur. Phys. J. C79 (2019) 458, arXiv:1903.11546

  16. [24]

    Franchino-Vi˜ nas, T

    S.A. Franchino-Vi˜ nas, T. de Paula Netto, I.L. Shapiro and O. Z anusso, Form factors and decoupling of matter fields in four-dimensional gravity , Phys. Lett. B790 (2019)

  17. [25]

    Gorbar and I.L

    E.V. Gorbar and I.L. Shapiro, Renormalization Group and Decoupling in Curved Space: III. The Case of Spontaneous Symmetry Breaking, JHEP 02 (2004) 060, hep-ph/0311190

  18. [26]

    Leibbrandt, Introduction to the Technique of Dimensional Regularizati on, Rev

    G. Leibbrandt, Introduction to the Technique of Dimensional Regularizati on, Rev. Mod. Phys. 47 (1975) 849

  19. [27]

    Bunch and L

    T.S. Bunch and L. Parker, Feynman Propagator in Curved Space-Time: A Momentum Space Representation, Phys. Rev. D20 (1979) 2499. 23

  20. [28]

    M. D. Schwartz, Quantum field theory and the standard model (Cambridge University Press, New York, 2014)

  21. [29]

    Donoghue, Leading quantum correction to the Newtonian potential, Phys

    J. Donoghue, Leading quantum correction to the Newtonian potential, Phys. Rev. Lett. 72 (1994) 2996; gr-qc/9310024; General relativity as an effective field theory: The leading quantum corrections, Phys. Rev. D50 (1994) 3874, gr-qc/9405057

  22. [30]

    Donoghue, M.M

    J.F. Donoghue, M.M. Ivanov and A. Shkerin, EPFL Lectures on General Relativity as a Quantum Field Theory, arXiv:1702.00319; J. Donoghue, Quantum gravity as a low energy effective field theory, Published in Scholarpedia 12 (2017) 32997,

  23. [31]

    Ellis, J

    J. Ellis, J. R. Espinosa, G. F. Giudice, A. Hoecker and A. Riotto, The Probable Fate of the Standard Model, Phys. Lett. B679 (2009) 369 arXiv:0906.0954

  24. [32]

    Elias-Miro, J.R

    J. Elias-Miro, J.R. Espinosa, G.F. Giudice, H.M. Lee and A. Strumia, Stabilization of the Electroweak Vacuum by a Scalar Threshold Effect , JHEP 1206 (2012) 031, arXiv:1203.0237

  25. [33]

    Boyanovsky, Condensates and quasiparticles in inflationary cosmology: mass gen- eration and decay widths, Phys

    D. Boyanovsky, Condensates and quasiparticles in inflationary cosmology: mass gen- eration and decay widths, Phys. Rev. D85 (2012) 123525, arXiv:1203.3903

  26. [34]

    Lankinen and I

    J. Lankinen and I. Vilja, Decaying massive particles in the matter and radiation dom- inated eras, Phys. Rev. D97, no. 6, 065004 (2018) arXiv:1801.03757

  27. [35]

    Erdem and K

    R. Erdem and K. Gultekin, A mechanism for formation of Bose-Einstein condensation in cosmology, arXiv:1908.08784. 24

  28. [229]

    Franchino-Vi˜ nas, T

    arXiv:1812.00460; S.A. Franchino-Vi˜ nas, T. de Paula Netto and O. Zanusso, Vacuum effective ac- tions and mass-dependent renormalization in curved space, Universe 5 (2019) 67, arXiv:1902.03167

Pith tools

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