NLO critical exponents of O($N$) lambda $\phi^{4}$ scalar field theories in curved spacetime

H. A. S. Costa; P. R. S. Carvalho

REVIEW 2 major objections 4 minor 39 references

NLO critical exponents of O($N$) lambda $\phi^{4}$ scalar field theories in curved spacetime

T0 review · 2 major / 4 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 Curved spacetime does not alter the NLO critical exponents of O(N) $\lambda\phi^4$ theory.

desk verdict Plausible but under-supported: the claimed cancellation of curvature-dependent divergences is asserted, not demonstrated. read the letter →

arxiv 1908.02272 v1 pith:M4XERX6T submitted 2019-08-06 hep-th cond-mat.stat-mechmath-phmath.MP

H. A. S. Costa , P. R. S. Carvalho This is my paper · ORCID

classification hep-thcond-mat.stat-mechmath-phmath.MP

keywords criticalexponentsO(N)scalarfieldtheorycurvedspacetimenext-to-leadingorderuniversalityhypothesisBPHZrenormalizationepsilonexpansiondimensionalregularization

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 placing a massless O($N$) $\lambda\phi^4$ scalar field theory on a curved spacetime background does not change its next-to-leading-order (NLO) critical exponents. Working in the $\epsilon=4-d$ expansion and using the BPHZ subtraction scheme, the authors compute the three-loop two-point function, the four-point function, and the composite-field $\phi^2$ vertex, with the propagator expanded to linear order in the curvature tensors $R$ and $R_{\mu\nu}$. They find that all curvature-dependent divergences cancel in the $\beta$ function and in the composite-field anomalous dimension, so the anomalous dimensions and the critical exponents $\eta$ and $\nu$ take exactly their flat-spacetime values. The paper reads this as a direct perturbative check of universality: the background geometry is a spacetime symmetry rather than an internal symmetry, so it drops out of universal critical behavior at this loop order.

What carries the argument

The load-bearing object is the BPHZ renormalization scheme (a recursive counterterm-subtraction method) applied to the three primitively divergent 1PI vertex functions $\Gamma^{(2)}$, $\Gamma^{(4)}$ and $\Gamma^{(2,1)}$, together with the normal-coordinate expansion of the curved-space scalar propagator, Eq. (9): $$G_0(q)=\frac{1}{$q^{2}$}+\frac{(1/3-\xi)R}{($q^{2}$)^2}-\frac{2R_{\mu\nu}q^\mu q^\nu}{3($q^{2}$)^3},$$ kept to linear order in the curvature. The paper evaluates the three-loop diagrams in dimensional regularization, absorbs the divergences into the renormalization constants $Z_\phi$, $Z_f$, $Z_{\phi^2}$ and $Z_\xi$, and feeds them into the Callan-Symanzik equation. The identity that carries the argument is the cancellation of all $R$- and $R_{\mu\nu}$-proportional divergences from $\beta(f)$ and $\gamma_{\phi^2}(f)$, leaving the flat-space functions of Eqs. (18)-(19).

What would settle it

Extend the propagator expansion to second order in the curvature and recompute the three-loop two-point function; if the coefficient of momentum squared picks up any curvature-dependent correction that survives renormalization, or if the curvature-dependent divergences in $\Gamma^{(4)}$ and $\Gamma^{(2,1)}$ no longer cancel, the claimed equality with flat spacetime fails at NLO.

Watch

Extended reading notes

Core claim

The central claim is that at next-to-leading order the critical exponents of the theory are unchanged by curvature. With the nontrivial fixed point $f^*$ of Eq. (21), the field and composite-field anomalous dimensions give $$\eta=\frac{(N+2)\$epsilon^{2}$}{2(N+8)^2}\left\{1+\epsilon\left[\frac{6(3N+14)}{(N+8)^2}-\frac14\right]\right\}, \qquad \nu=\frac12+\frac{(N+2)\epsilon}{4(N+8)}+\frac{(N+2)($N^{2}$+23N+60)\$epsilon^{2}$}{8(N+8)^3},$$ which are Eqs. (22)-(23) and are exactly the flat-spacetime values. The mechanism is that in the primitively divergent vertex functions $\Gamma^{(2)}$, $\Gamma^{(4)}$ and $\Gamma^{(2,1)}$, the terms proportional to $R$ and $R_{\mu\nu}$ either do not enter the $P^2$ coefficient that fixes the field anomalous dimension, or cancel when the $\beta$ function and $\gamma_{\phi^2}$ are assembled. The paper takes this equality as evidence for universality in curved spacetime, since the conformal symmetry of the background is an embedding-space symmetry, not an internal symmetry of the order parameter.

Load-bearing premise

The entire result relies on the assumption that the terms omitted by expanding the propagator only to first order in the curvature cannot change the momentum-squared part of the three-loop two-point function or the beta function at this loop order.

Editorial extensions

If this is right

For every $N$, the NLO values of $\eta$ and $\nu$ in curved spacetime are numerically identical to their flat-spacetime values, so universal critical behavior does not depend on the background curvature at this order.
The nontrivial fixed point $f^*$ is the same as in flat spacetime, so the location of the Wilson-Fisher fixed point is unchanged by curvature at NLO.
Since the composite-field renormalization is unchanged, the correlation-length exponent $\nu$ keeps its flat value, and the scaling relations built from $\eta$ and $\nu$ remain valid on curved backgrounds.
The equality supports the claim that embedding-space symmetries do not alter the O($N$) universality class at NLO.

Reading between the lines

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

If the cancellation persists beyond NLO, the same equality should survive at next-to-next-to-leading order; the direct test is to include $O(R^2)$ terms in the propagator and see whether the $P^2$ coefficient and the beta function stay curvature-free.
The argument implies a sharp division of labor: only symmetries acting on the internal components of the order parameter can change universal exponents, while symmetries of the spacetime background cannot; this is a stronger statement than the usual universality discussion.
A concrete extension would be to compute the NLO exponents in a fixed background such as de Sitter space, where curvature is nonzero and the linear-in-$R$ expansion can be compared against a resummed or numerical calculation; agreement would strengthen the flat-spacetime equality, and disagreement would locate the omitted $O(R^2)$ effect.

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.

Desk Editor's Note

read the letter

Short version: this paper claims NLO critical exponents of O(N) φ^4 in curved spacetime equal the flat-space values, and that is probably true, but the key step is not actually shown. The claim is plausible, but as written it rests on an unverified algebraic identity.

What is genuinely new is a direct diagrammatic evaluation of the three-loop two-point function, the two-loop four-point function, and the composite operator at next-to-leading order in an ǫ-expansion, with a curvature-expanded propagator. The final η and ν are the known Wilson–Fisher values, which is the expected universality result. The flat-space limits of β, γφ, and γφ2 are correctly quoted, and the fixed-point algebra from β to the exponents checks out.

The soft spot is the center of the paper. After Eq. (18) the authors state that curvature-dependent divergences “cancel out in the middle of calculations,” but no combination of the appendix diagrams is displayed. This matters. In the appendix, Eq. (A.2) contains a term proportional to (1/ε) f^3 Rμν PμPν / P^2 once J3^{μν} from (A.5) is substituted. That is a nonlocal pole—it cannot be absorbed by the local counterterms in Eq. (1). The only way it can be harmless is if it cancels against other diagrams in the full Γ^(2). The paper does not show that, and the burden is on the authors. The same applies to the four-point and composite two-point functions: the coefficients of the R and Rμν divergences in (A.8)–(A.11) are different, so the cancellation is not automatic.

A secondary issue is the truncation of the propagator at linear order in R and Rμν. The authors give no argument that R^2 or higher-derivative curvature terms cannot contribute to the P^2 coefficient of the three-loop two-point function. This could in principle affect γφ at this order.

None of this means the result is wrong. If the cancellation algebra is done and works, the paper is a valid consistency check of universality. But it is not self-contained, and the missing arithmetic is exactly the step that supports the conclusion. The paper also relies heavily on the authors' previous notation and diagram values [24,25,39], which is normal if the logic is shown; here it is not.

Who is this for? Someone working on curved-space phase transitions or on universality checks might want to read it, but should treat the conclusion as preliminary. A specialist referee could verify the cancellation in a few hours. I recommend sending it to review, with the explicit request that the authors supply the linear combinations of diagrams that produce β and γφ2, and address the nonlocal pole in (A.2). Without that, the claim remains a conjecture.

Referee Report

2 major / 4 minor

Summary. The paper claims to compute the next-to-leading-order critical exponents of massless O(N) λφ^4 scalar field theory on a curved background using BPHZ renormalization and dimensional regularization. The central result is that the β-function, the field anomalous dimension, and the composite-field anomalous dimension reduce to their flat-spacetime forms, Eqs. (17)-(19), so the NLO critical exponents η and ν are identical to the flat-spacetime values, Eqs. (22)-(23). The authors attribute this to a cancellation of all curvature-dependent ultraviolet divergences in the combinations that define the renormalization constants, and they interpret the result as a confirmation of the universality hypothesis.

Significance. If the advertised cancellation is verified, the result is significant: it would establish at two-loop order that curvature-dependent counterterms do not alter the Wilson-Fisher fixed point or the universal exponents of this theory, in line with the universality hypothesis. The paper correctly reproduces the standard flat-space fixed-point algebra, and the quoted flat-space limits for β, γφ, γφ2, η, and ν are the known results. However, the decisive step—the cancellation of R- and Rμν-dependent poles—is not demonstrated in the manuscript; the appendix gives isolated diagram values but not the combinations entering the renormalization constants. Thus the main claim rests on an unverified algebraic identity, and the significance is conditional on that algebra being supplied and checked.

major comments (2)

[Section III, Eqs. (18)-(19) and Appendix Eq. (A.2)] The central claim that all curvature-dependent divergences cancel in the combinations that define β(f) and γφ2(f) is asserted after Eq. (17) with the phrase 'They cancel out in the middle of calculations,' but the cancellation is never displayed. The appendix lists only individual diagram results; the linear combinations of Eqs. (6)-(8) that determine Zφ, Zf, and Zφ2 are not given. This omission is not merely cosmetic: substituting Eq. (A.5) into Eq. (A.2) produces a term −(5/12ε) f^3 Rμν P^μ P^ν/P^2 in the two-point function, which is a nonlocal ultraviolet pole. A nonlocal pole cannot be absorbed by the local counterterms of Eq. (1); the entire renormalizability argument therefore requires an explicit demonstration that this term cancels against contributions from the other diagrams in Eq. (6) and from the counterterm diagrams. The manuscript must provide this algebra before Eqs. (18)-(19) can be accepted.
[Section II, Eq. (9)] The propagator is expanded only to linear order in R and Rμν, and the paper does not justify the omission of R^2 and higher-curvature terms. Because the conclusion is that all curvature-dependent contributions cancel, one must know whether the retained linear truncation is complete at this loop order. A term quadratic in curvature could, through a single insertion in a subgraph, in principle produce a 1/ε pole proportional to P^2 and thereby shift γφ. A power-counting or symmetry argument ruling out such contributions is required; without it, the equality with flat spacetime is established only within the truncated propagator ansatz.

minor comments (4)

[Section II, Eqs. (6)-(8)] The symbol 'K' is not defined, and the diagrams in these equations are not labeled, which makes it difficult to follow which diagram corresponds to which appendix result.
[Appendix and references] The paper states that integrals are evaluated 'in notation of Ref. [39]' and relies on Refs. [24,25,39] (the authors' own earlier papers) for diagram definitions and evaluation; this limits the self-containedness of the calculation and should be flagged explicitly in the text.
[Section III, Eq. (20)] The expression for βξ(f) is stated without derivation or reference to the renormalization constant Zξ; since βξ enters the Callan-Symanzik equation (15), its derivation should be shown or the result should be clearly attributed to a previous work.
[General] There are numerous typos and infelicities (e.g., 'Rimannian' for 'Riemannian', 'the referred observers' for 'the aforementioned observers', and inconsistent spacing in equations); the paper would benefit from a careful proofreading pass.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction: exponents follow from an asserted diagrammatic RG computation; the curvature-divergence cancellation is a missing-proof/correctness concern, not a self-consistent input.

full rationale

I find no circular step that makes the claimed prediction equal to an input. The critical exponents in Eqs. (22)-(23) are not fitted constants; they are obtained from beta(f), gamma_phi(f) and gamma_phi2(f) through the standard relations (12)-(14) and the fixed-point condition (21). Those RG functions are claimed to be computed from the 1PI diagrams in Sec. II and Appendix A, and the flat-space values cited to [29] are an external benchmark rather than an input used to define Z_phi, Z_f or Z_phi2. The self-citations [24,25,39] are used for notation, prior context and diagrammatic conventions; the three-loop diagram values are displayed in the Appendix, and no uniqueness theorem or ansatz is imported from the authors' earlier work to force the flat result. The substantive weakness is not circularity but missing support: the cancellation of curvature-dependent divergences is asserted in one sentence ('They cancel out in the middle of calculations for the beta-function and composite field anomalous dimension, at least at NLO') rather than demonstrated. In particular, Eq. (A.2) contains a term -(5/(6 epsilon)) R_mu nu J3^{mu nu}(P^2) f^3, which, using Eq. (A.5), is a nonlocal (1/epsilon) R_mu nu P^mu P^nu / P^2 contribution to Gamma^(2); showing its cancellation is necessary for the two-point function to be renormalized by the local counterterms of Eq. (1). If that cancellation fails, the conclusion would be wrong, but that would be a calculational or renormalizability error, not a circular derivation. Thus there is no self-definitional, fitted-input, or self-citation chain that reduces the claimed exponents to the paper's inputs; the self-citations are minor and not load-bearing, so the circularity score is low rather than zero only because the authors lean on their own prior conventions for the diagrammatic framework.

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

The central derivation rests on standard dimensional regularization plus two paper-specific assumptions: the linear-curvature truncation of the propagator and the asserted cancellation of curvature divergences. No new particles or entities are introduced, and there are no fitted data. The only hand-chosen parameter is the conformal value of the non-minimal coupling.

free parameters (1)

ξ, non-minimal coupling parameter = ξ(d) = (d-2)/(4(d-1)), the conformal value
The calculation is performed only at the conformal value of the non-minimal coupling. The paper does not show the result for general ξ, so the central claim is conditional on this choice.

assumptions (5)

standard math Dimensional regularization with ε = 4 - d and the ε-expansion provides the correct critical exponents.
Used throughout Sections II and III via the RG equations and the fixed point in Eq. (21).
domain assumption BPHZ subtraction in the massless theory yields the same renormalization constants as the standard minimal subtraction at the computed orders.
Section II states that BPHZ is used; the flat-space β-function and exponents quoted from Ref. [29] assume this scheme.
domain assumption Setting ξ to the conformal value makes the massless theory renormalizable and removes the problematic divergences.
Section I says the divergences cannot be removed unless ξ = 1/6 at d = 4; the appendix then uses ξ = ξ(d) for d < 4.
ad hoc to paper Truncating the propagator expansion to linear order in R and Rμν is sufficient for NLO critical exponents, and higher-curvature terms do not affect the P^2 coefficients or the beta function at this order.
Eq. (9) and the text after it state the linear truncation, but no proof is given that omitted R^2 or gravitational counterterm contributions are irrelevant.
ad hoc to paper The curvature-dependent divergences in Γ^(4) and Γ^(2,1) cancel in the beta function and in γφ2, leaving the flat-space expressions.
Section III states this cancellation but does not display the algebra. This is the load-bearing step connecting the appendix formulas to Eqs. (18)-(19).

how reviews work

0 comments

Cite this review

Pith. "Pith review of NLO critical exponents of O($N$) lambda $\phi^{4}$ scalar field theories in curved spacetime." pith.science (2026). https://pith.science/paper/M4XERX6T

@misc{pith2026190802272,
  author       = {Pith},
  title        = {Pith review of: NLO critical exponents of O($N$) lambda $\phi^4$ scalar field theories in curved spacetime},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/M4XERX6T}},
  note         = {Machine review of arXiv:1908.02272}
}

abstract

In this paper we investigate analytically the conformal symmetry influence on the next-to-leading order radiative quantum corrections to critical exponents for massless O($N$) $\lambda\phi^{4}$ scalar field theories in curved spacetime. We renormalize the theory by applying the BPHZ method. We find that the critical exponents are the same as that of flat spacetime, at least at the loop order considered. We argue that this result agrees perfectly with the universality hypothesis.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 33 canonical work pages

[1]

Georgi, Lie Algebras in Particle Physics: From Isospin to Uniﬁed Theori es (Frontiers in Physics) (CRC Pres, 1999)

H. Georgi, Lie Algebras in Particle Physics: From Isospin to Uniﬁed Theori es (Frontiers in Physics) (CRC Pres, 1999)

work page 1999
[2]

Greiner, B

W. Greiner, B. M¨ uller, and D. Bromley, Quantum Mechanics: Symmetries (CRC Pres, 1994)

work page 1994
[3]

Costa and G

G. Costa and G. Fogli, Symmetries and Group Theory in Particle Physics: An Introduct ion to Space-Time and Internal Symmetries (Lecture Notes in Physi cs) (Springer, 2012)

work page 2012
[4]

Itzykson and J.-B

C. Itzykson and J.-B. Zuber, Quantum Field Theory (Dover Publications, New York, 2006)

work page 2006
[5]

M. E. Peskin and D. V. Schroeder, An Introduction to Quantum Field Theory (Westview Press, New York, 1995)

1995
[6]

Kleinert, Particles and Quantum Fields (World Scientiﬁc Publishing Company, Singapore, 2016)

H. Kleinert, Particles and Quantum Fields (World Scientiﬁc Publishing Company, Singapore, 2016)

work page 2016
[7]

K. G. Wilson and M. E. Fisher, Phys. Rev. Lett. 28, 240 (1972). 10

work page 1972
[8]

K. G. Wilson, Phys. Rev. Lett. 28, 548 (1972)

work page 1972

Show all 39 references

[9]

K. G. Wilson and J. Kogut, Phys. Rep. 12, 75 (1974)

1974
[10]

K. G. Wilson, Phys. Rev. D 7, 2911 (1973)

1973
[11]

K. G. Wilson, Phys. Rev. B 4, 3174 (1971)

1971
[12]

K. G. Wilson, Phys. Rev. B 4, 3184 (1971)

1971
[13]

K. G. Wilson, Phys. Rev. D 2, 1478 (1970)

1970
[14]

K. G. Wilson, Phys. Rev. D 6, 419 (1972)

1972
[15]

H. E. Stanley, Introduction to Phase Transitions and Critical Phenomena (Oxford University Pres, 1988)

1988
[16]

Pelissetto and E

A. Pelissetto and E. Vicari, Phys. Rep. 368, 549 (2002)

2002
[17]

Moukouri and E

S. Moukouri and E. Eidelstein, Phys. Rev. B 86, 155112 (2012)

2012
[18]

Nishiyama, Phys

Y. Nishiyama, Phys. Rev. E 71, 046112 (2005)

2005
[19]

Codello and G

A. Codello and G. D’Odorico, Phys. Rev. Lett. 110, 141601 (2013)

2013
[20]

Butti and F

A. Butti and F. P. Toldin, Nuc. Phys. B 704, 527 (2005)

2005
[21]

Patrascioiu and E

A. Patrascioiu and E. Seiler, Phys. Rev. B 54, 7177 (1996)

1996
[22]

Oppermann and M

R. Oppermann and M. J. Schmidt, Phys. Rev. E 78, 061124 (2008)

2008
[23]

C. A. Trugenberger, Nuc. Phys. B 716, 509 (2005)

2005
[24]

P. R. S. Carvalho and M. I. Sena-Junior, Ann. Phys. 387, 290 (2017)

2017
[25]

P. R. S. Carvalho and M. I. Sena-Junior, Eur. Phys. J. C. 77, 753 (2017)

2017
[26]

N. N. Bogoliubov and O. S. Parasyuk, Acta Math. 97, 227 (1957)

1957
[27]

Hepp, Commun

K. Hepp, Commun. Math. Phys. 2, 301 (1966)

1966
[28]

Zimmermann, Commun

W. Zimmermann, Commun. Math. Phys. 15, 208 (1969)

1969
[29]

D. J. Amit and V. Mart ´ ın-Mayor, Field Theory, The Renormalization Group and Critical Phenomena (World Scientiﬁc Pub Co Inc, 2005)

2005
[30]

Zinn-Justin, Quantum Field Theory and Critical Phenomena (International Series of Mono- graphs on Physics, Oxford University Press, 2002)

J. Zinn-Justin, Quantum Field Theory and Critical Phenomena (International Series of Mono- graphs on Physics, Oxford University Press, 2002)

2002
[31]

Kleinert and V

H. Kleinert and V. Schulte-Frohlinde, Critical Properties of φ 4 Theories (World Scientiﬁc Pub Co Inc, 2001)

2001
[32]

G. J. Huish and D. J. Toms, Phys. Rev. D 49, 6767 (1994)

1994
[33]

B. L. Nelson and P. Panangaden, Phys. Rev. D 25, 1019 (1982). 11

1982
[34]

I. L. Buchbinder, S. Odintsov, and I. L. Shapiro, Eﬀective Action in Quantum Gravity (CRC Press, 1992)

1992
[35]

Parker and D

L. Parker and D. Toms, Quantum Field Theory in Curved Spacetime: Quantized Fields an d Gravityy (Cambridge University Press, 2009)

2009
[36]

I. L. Shapiro, Class. Quantum Grav. 25, 103001 (2008)

2008
[37]

N. D. Birrell, J. Phys. A 13, 569 (1980)

1980
[38]

T. S. Bunch and L. Parker, Phys. Rev. D 20, 2499 (1979)

1979
[39]

P. R. S. Carvalho and M. I. Sena-Junior, Phys. Rev. D 96, 116002 (2017). 12

2017

Pith tools

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

[1] [1]

Georgi, Lie Algebras in Particle Physics: From Isospin to Uniﬁed Theori es (Frontiers in Physics) (CRC Pres, 1999)

H. Georgi, Lie Algebras in Particle Physics: From Isospin to Uniﬁed Theori es (Frontiers in Physics) (CRC Pres, 1999)

work page 1999

[2] [2]

Greiner, B

W. Greiner, B. M¨ uller, and D. Bromley, Quantum Mechanics: Symmetries (CRC Pres, 1994)

work page 1994

[3] [3]

Costa and G

G. Costa and G. Fogli, Symmetries and Group Theory in Particle Physics: An Introduct ion to Space-Time and Internal Symmetries (Lecture Notes in Physi cs) (Springer, 2012)

work page 2012

[4] [4]

Itzykson and J.-B

C. Itzykson and J.-B. Zuber, Quantum Field Theory (Dover Publications, New York, 2006)

work page 2006

[5] [5]

M. E. Peskin and D. V. Schroeder, An Introduction to Quantum Field Theory (Westview Press, New York, 1995)

1995

[6] [6]

Kleinert, Particles and Quantum Fields (World Scientiﬁc Publishing Company, Singapore, 2016)

H. Kleinert, Particles and Quantum Fields (World Scientiﬁc Publishing Company, Singapore, 2016)

work page 2016

[7] [7]

K. G. Wilson and M. E. Fisher, Phys. Rev. Lett. 28, 240 (1972). 10

work page 1972

[8] [8]

K. G. Wilson, Phys. Rev. Lett. 28, 548 (1972)

work page 1972