pith. sign in

arxiv: 2511.23076 · v2 · pith:APWOVWYCnew · submitted 2025-11-28 · ✦ hep-th · astro-ph.CO· gr-qc· hep-ph

Scalar field effective potentials in de Sitter spacetime

Pith reviewed 2026-05-21 18:16 UTC · model grok-4.3

classification ✦ hep-th astro-ph.COgr-qchep-ph
keywords de Sitter spacetimeeffective potentialinfrared divergencestochastic inflationscalar fieldperturbation theoryStarobinsky-Yokoyama
0
0 comments X

The pith

The constraint effective potential avoids the infrared divergence that blocks perturbative calculations of the standard effective potential for light scalar fields in de Sitter spacetime.

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

The paper compares two definitions of the effective potential for a scalar field in de Sitter spacetime: the standard textbook version and the constraint effective potential introduced in 1986. These definitions coincide in flat Minkowski space but produce distinct results in de Sitter geometry. Explicit one-loop computations show that the standard potential develops an infrared problem for light fields and cannot be evaluated perturbatively, whereas the constraint version remains finite and computable. The authors provide evidence that the constraint effective potential is the appropriate choice for matching to the stochastic Starobinsky-Yokoyama approach to inflation.

Core claim

We compute both the standard and constraint effective potentials at one-loop order and demonstrate that the constraint effective potential does not suffer from the infrared divergences that prevent perturbative evaluation of the standard effective potential when the scalar field is light. This difference arises because the two potentials are inequivalent in de Sitter spacetime. Comparison with the stochastic formalism indicates that the constraint effective potential is the correct one to employ in the Starobinsky-Yokoyama theory.

What carries the argument

The constraint effective potential, which incorporates a fixed field value constraint and differs from the standard effective potential in de Sitter due to the spacetime geometry, allowing perturbative computation without infrared divergences.

Load-bearing premise

The one-loop perturbative results for the constraint effective potential remain reliable and physically meaningful when extrapolated to the regime of very light fields where the standard potential diverges.

What would settle it

A non-perturbative calculation or lattice simulation of the scalar field effective potential in de Sitter spacetime that yields results inconsistent with the extrapolated one-loop constraint potential would falsify the claim that it is the correct choice for the stochastic theory.

read the original abstract

We investigate two different definitions of a scalar field effective potential in quantum field theory in de Sitter spacetime: the standard textbook definition, and the constraint effective potential proposed by O'Raifeartaigh et al. in 1986. While these definitions are equivalent in Minkowski spacetime, they differ significantly in de Sitter. We demonstrate this by computing them both explicitly at one-loop order in perturbation theory. It is well known that the perturbative expansion of the standard effective potential fails converge for light fields. In contrast, the constraint effective potential does not suffer from this infrared problem, and it can therefore be computed using perturbation theory. We discuss the physical interpretation of the two effective potentials. In particular, we provide evidence supporting an earlier conjecture that the constraint effective potential is the correct one to use in the stochastic Starobinsky-Yokoyama theory.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript computes the standard effective potential and the constraint effective potential for a scalar field in de Sitter spacetime at one-loop order in perturbation theory. It shows that the standard potential develops infrared divergences for light fields while the constraint effective potential remains finite, and argues that the latter is the appropriate input for the stochastic Starobinsky-Yokoyama formalism, thereby supporting an earlier conjecture.

Significance. If the central results hold, the work addresses a persistent technical obstacle in applying effective potentials to de Sitter backgrounds, with implications for stochastic inflation and the computation of equilibrium distributions. The explicit one-loop calculations constitute a concrete strength, as they furnish verifiable expressions and directly identify the infrared issue in the standard case without relying on fits or self-referential definitions.

major comments (1)
  1. [Physical interpretation and comparison with stochastic theory] Physical interpretation and comparison with stochastic theory: the claim that the one-loop constraint effective potential remains reliable and is the correct choice for the stochastic Starobinsky-Yokoyama equation when m/H → 0 rests on the unverified assumption that higher-order corrections stay small. No two-loop computation, non-perturbative check, or direct comparison of the resulting Fokker-Planck equilibrium against known lattice or exact results is reported to confirm this extrapolation to the deep infrared.
minor comments (2)
  1. [Abstract] The abstract states that evidence is provided for an earlier conjecture; citing the specific reference or conjecture number already in the abstract would improve immediate clarity for readers.
  2. [Notation and equations] Notation for the Hubble scale and scalar mass should be checked for consistency between the one-loop integrals and the stochastic-equation discussion.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for recognizing the value of our explicit one-loop calculations in identifying the infrared issue. We address the major comment below.

read point-by-point responses
  1. Referee: Physical interpretation and comparison with stochastic theory: the claim that the one-loop constraint effective potential remains reliable and is the correct choice for the stochastic Starobinsky-Yokoyama equation when m/H → 0 rests on the unverified assumption that higher-order corrections stay small. No two-loop computation, non-perturbative check, or direct comparison of the resulting Fokker-Planck equilibrium against known lattice or exact results is reported to confirm this extrapolation to the deep infrared.

    Authors: We agree that our analysis is performed at one-loop order and does not include two-loop computations, non-perturbative checks, or direct comparisons with lattice or exact results for the Fokker-Planck equilibrium. The manuscript demonstrates that the constraint effective potential remains finite as m/H approaches zero at this perturbative order, in contrast to the infrared-divergent standard effective potential. This explicit difference furnishes evidence supporting the conjecture that the constraint effective potential is the appropriate choice for the stochastic Starobinsky-Yokoyama formalism, as it avoids the infrared problems that appear already at one loop in the standard definition. We do not claim that higher-order corrections necessarily remain small in the deep infrared; rather, the one-loop result shows that the constraint definition yields a well-defined potential where the standard one fails. We will revise the manuscript to clarify the perturbative scope of our evidence and to note that non-perturbative confirmation remains an important open question. revision: partial

Circularity Check

0 steps flagged

One-loop perturbative computations are independent and do not reduce to inputs or self-citations

full rationale

The paper's core derivation consists of explicit one-loop calculations of both the standard and constraint effective potentials in de Sitter spacetime, demonstrating finiteness of the latter without IR logarithms. These are direct perturbative results from the action and propagators, not fits, self-definitions, or renamings. The discussion of the stochastic Starobinsky-Yokoyama conjecture is presented as an interpretation supported by the new calculations rather than an assumption or prior self-citation that the results depend on. No load-bearing step reduces by construction to the paper's own inputs or unverified self-citations; the work is self-contained against external benchmarks like standard QFT perturbation theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard assumptions of quantum field theory in curved spacetime (de Sitter metric, perturbative expansion around a constant background) and on the validity of the 1986 constraint effective potential definition. No new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Standard perturbative QFT techniques apply to scalar fields in de Sitter spacetime at one-loop order
    Invoked when stating that the constraint potential can be computed perturbatively while the standard one cannot.
  • domain assumption The stochastic Starobinsky-Yokoyama formalism requires a specific effective potential that can be matched to the constraint version
    Central to the physical interpretation section and the conjecture support.

pith-pipeline@v0.9.0 · 5678 in / 1471 out tokens · 34710 ms · 2026-05-21T18:16:05.307825+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

46 extracted references · 46 canonical work pages · 17 internal anchors

  1. [1]

    S. R. Coleman and E. J. Weinberg, Phys. Rev. D7, 1888 (1973)

  2. [2]

    Goldstone, A

    J. Goldstone, A. Salam, and S. Weinberg, Phys. Rev.127, 965 (1962)

  3. [3]

    B. S. DeWitt, Conf. Proc. C630701, 585 (1964)

  4. [4]

    Jona-Lasinio, Nuovo Cim.34, 1790 (1964)

    G. Jona-Lasinio, Nuovo Cim.34, 1790 (1964)

  5. [5]

    Jackiw, Phys

    R. Jackiw, Phys. Rev. D9, 1686 (1974)

  6. [6]

    G. M. Shore, Annals Phys.128, 376 (1980)

  7. [7]

    Allen, Nucl

    B. Allen, Nucl. Phys. B226, 228 (1983)

  8. [8]

    Cosmological phase transitions: From perturbative particle physics to gravitational waves,

    P. Athron, C. Bal´ azs, A. Fowlie, L. Morris, and L. Wu, Prog. Part. Nucl. Phys.135, 104094 (2024), arXiv:2305.02357 [hep-ph]

  9. [9]

    Cosmological Aspects of Higgs Vacuum Metastability

    T. Markkanen, A. Rajantie, and S. Stopyra, Front. Astron. Space Sci.5, 40 (2018), arXiv:1809.06923 [astro-ph.CO]

  10. [10]

    A. A. Starobinsky, Lect. Notes Phys.246, 107 (1986)

  11. [11]

    A. A. Starobinsky and J. Yokoyama, Phys. Rev. D50, 6357 (1994), arXiv:astro-ph/9407016

  12. [12]

    Allen, Phys

    B. Allen, Phys. Rev. D32, 3136 (1985)

  13. [13]

    Allen and A

    B. Allen and A. Folacci, Phys. Rev. D35, 3771 (1987)

  14. [14]
  15. [15]

    On Resumming Inflationary Perturbations beyond One-loop

    A. Riotto and M. S. Sloth, JCAP04, 030, arXiv:0801.1845 [hep-ph]

  16. [16]

    Effective potential for quantum scalar fields on a de Sitter geometry

    J. Serreau, Phys. Rev. Lett.107, 191103 (2011), arXiv:1105.4539 [hep-th]

  17. [17]

    Symmetry breaking and the Goldstone theorem in de Sitter space

    T. Prokopec, JCAP12, 023, arXiv:1110.3187 [gr-qc]

  18. [18]

    Nonperturbative infrared effects for light scalar fields in de Sitter space

    T. Arai, Class. Quant. Grav.29, 215014 (2012), arXiv:1111.6754 [hep-th]

  19. [19]

    On "dynamical mass" generation in Euclidean de Sitter space

    M. Beneke and P. Moch, Phys. Rev. D87, 064018 (2013), arXiv:1212.3058 [hep-th]

  20. [20]

    Resummation of infrared logarithms in de Sitter space via Dyson-Schwinger equations: the ladder-rainbow approximation

    A. Youssef and D. Kreimer, Phys. Rev. D89, 124021 (2014), arXiv:1301.3205 [gr-qc]

  21. [21]

    Effective potential and Goldstone bosons in de Sitter space

    T. Arai, Phys. Rev. D88, 064029 (2013), arXiv:1304.5631 [hep-th]

  22. [22]

    D. L. Lopez Nacir, F. D. Mazzitelli, and L. G. Trombetta, Phys. Rev. D89, 024006 (2014), arXiv:1309.0864 [hep-th]

  23. [23]

    Feynman Diagrams for Stochastic Inflation and Quantum Field Theory in de Sitter Space

    B. Garbrecht, F. Gautier, G. Rigopoulos, and Y. Zhu, Phys. Rev. D91, 063520 (2015), arXiv:1412.4893 [hep-th]

  24. [24]

    Quantum scalar fields in de Sitter space from the nonperturbative renormalization group

    M. Guilleux and J. Serreau, Phys. Rev. D92, 084010 (2015), arXiv:1506.06183 [hep-th]

  25. [25]

    Effective long wavelength scalar dynamics in de Sitter

    I. Moss and G. Rigopoulos, JCAP05, 009, arXiv:1611.07589 [gr-qc]

  26. [26]

    The 1-loop effective potential for the Standard Model in curved spacetime

    T. Markkanen, S. Nurmi, A. Rajantie, and S. Stopyra, JHEP06, 040, arXiv:1804.02020 [hep-ph]

  27. [27]

    Backreaction of superhorizon scalar field fluctuations on a de Sitter geometry : a renormalisation group perspective

    G. Moreau and J. Serreau, Phys. Rev. D99, 025011 (2019), arXiv:1809.03969 [hep-th]

  28. [28]

    C´ espedes, A.-C

    S. C´ espedes, A.-C. Davis, and D.-G. Wang, JHEP04, 004, arXiv:2311.17990 [hep-th]

  29. [29]

    Di Pietro, V

    L. Di Pietro, V. Gorbenko, and S. Komatsu, Cosmological correlators at finite coupling (2023), arXiv:2312.17195 [hep-th] . – 25 –

  30. [30]

    Huenupi, E

    J. Huenupi, E. Hughes, G. A. Palma, and S. Sypsas, Phys. Rev. D110, 123536 (2024), arXiv:2406.07610 [hep-th]

  31. [31]

    V. Nath, K. Roy, and S. Bhattacharya, Phys. Rev. D112, 025017 (2025), arXiv:2504.16578 [gr-qc]

  32. [32]

    J. E. Camargo-Molina, M. Carrillo Gonz´ alez, and A. Rajantie, Phys. Rev. D107, 063533 (2023), arXiv:2204.03480 [gr-qc]

  33. [33]

    O’Raifeartaigh, A

    L. O’Raifeartaigh, A. Wipf, and H. Yoneyama, Nucl. Phys. B271, 653 (1986)

  34. [34]

    N. D. Birrell and P. C. W. Davies,Quantum Fields in Curved Space, Cambridge Monographs on Mathematical Physics (Cambridge University Press, Cambridge, UK, 1982)

  35. [35]

    L. E. Parker and D. Toms,Quantum Field Theory in Curved Spacetime: Quantized Field and Gravity, Cambridge Monographs on Mathematical Physics (Cambridge University Press, 2009)

  36. [36]

    G. W. Gibbons and S. W. Hawking, Phys. Rev. D15, 2752 (1977)

  37. [37]

    Gibbons, S

    G. Gibbons, S. Hawking, and M. Perry, Nuclear Physics B138, 141 (1978)

  38. [38]

    V. S. Adamchik, Journal of Computational and Applied Mathematics100, 191 (1998)

  39. [39]

    S. W. Hawking and I. G. Moss, Phys. Lett. B110, 35 (1982)

  40. [40]

    T. S. Bunch and P. C. W. Davies, Proc. Roy. Soc. Lond. A360, 117 (1978)

  41. [41]

    Markkanen, A

    T. Markkanen, A. Rajantie, S. Stopyra, and T. Tenkanen, JCAP08, 001, arXiv:1904.11917 [gr-qc]

  42. [42]

    Cable and A

    A. Cable and A. Rajantie, Phys. Rev. D104, 103511 (2021), arXiv:2011.00907 [gr-qc]

  43. [43]

    Cable and A

    A. Cable and A. Rajantie, Phys. Rev. D106, 123522 (2022), arXiv:2209.02545 [gr-qc]

  44. [44]

    Cable and A

    A. Cable and A. Rajantie, Phys. Rev. D109, 045017 (2024), arXiv:2310.07356 [gr-qc]

  45. [45]

    R. C. Brower, M. Cheng, G. T. Fleming, A. D. Gasbarro, T. G. Raben, C.-I. Tan, and E. S. Weinberg, Phys. Rev. D98, 014502 (2018), arXiv:1803.08512 [hep-lat]

  46. [46]

    R. C. Brower, G. T. Fleming, A. D. Gasbarro, D. Howarth, T. G. Raben, C.-I. Tan, and E. S. Weinberg, Phys. Rev. D104, 094502 (2021), arXiv:2006.15636 [hep-lat] . – 26 –