Pith. sign in

REVIEW 2 major objections 5 minor 38 references

Tree-level four-point function for a scalar field conformally coupled to Einstein's gravity on Euclidean AdS4

T0 review · 2 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read This paper derives the exact tree-level four-point function, in momentum space, for a conformally coupled scalar interacting with Einstein gravity on Euclidean AdS4, including all graviton exchange channels and the contact term.

desk verdict A careful, self-contained computation of the first momentum-space graviton-exchange four-point function in EAdS4; the advertised special conformal Ward identity check is only numerical, but the paper is honest about it and the result deserves refereeing. read the letter →

arxiv 2501.03426 v1 pith:D6AMWB45 submitted 2025-01-06 hep-th

Carmelo P. Martin This is my paper · ORCID
classification hep-th
keywords gauge/gravitydualityAdS/CFTcorrespondencemomentum-spacecorrelatorsfour-pointfunctiongravitonexchangeconformalWardidentitiesEuclideanS4conformallycoupledscalar
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 claims to obtain the exact tree-level four-point boundary correlation function, in momentum space, for the operator dual to a conformally coupled scalar that interacts with Einstein gravity on Euclidean AdS4. The result, eqs. (4.4)-(4.6), contains the s-, t- and u-channel graviton exchanges together with the $\lambda\,\phi^4$ contact term, and it is shown to be consistent with the conformal Ward identities. If correct, this fills a gap: four-point functions with graviton exchange had been computed before in coordinate space or in momentum space without the graviton, but not in momentum space with the Einstein-Hilbert graviton included. The closed formula gives a concrete holographic data point for a three-dimensional conformal field theory and a benchmark for cosmological four-point computations.

What carries the argument

The computation rests on the bulk-to-bulk graviton propagator in the axial gauge, eq. (2.4), imported from [14] as a Bessel integral whose tensor structure is built from $T_{ij}=k^2\delta_{ij}-k_i k_j$ and $L_{ij}=k_i k_j$. The scalar sector uses the boundary-to-bulk and bulk-to-bulk propagators in (2.6). The decisive simplification is that, because the scalar action is Weyl invariant, the boundary source appears through $\varphi^{(0)}(z,\vec{x})=z\,\phi^{(0)}(z,\vec{x})$ with $\phi^{(0)}$ satisfying $\partial_z^2\phi^{(0)}-\partial_i\partial_i\phi^{(0)}=0$; this reduces the graviton source to the compact $V_0^{mn}$ in (2.14), so that the double radial integral in (4.2) factorizes into products of single Bessel integrals. Those integrals are evaluated in closed form in eq. (B.2), and the tensor contractions (performed with FORM and Mathematica) assemble into the final expression (4.4).

What would settle it

Take the explicit formula (4.4), build $W=W_s+W_t+W_u$, and evaluate the left-hand side of the special conformal Ward identity (5.2) at several generic momentum configurations whose components are random real numbers not aligned with any axis; if the combination $C_1^j-2C_2^j+C_3^j$ is not zero to machine precision for even one such configuration, the claimed consistency with conformal invariance fails. A second check is to compare the flat-space ($k\to\infty$) limit of the amplitude with the tree-level graviton-exchange scattering amplitude obtained independently.

Watch

Extended reading notes

Core claim

The central claim is that the connected tree-level four-point function $\langle O(\vec{k}_1)O(\vec{k}_2)O(\vec{k}_3)O(\vec{k}_4)\rangle$ of the boundary operator dual to the conformally coupled scalar, with the graviton propagating in the axial gauge $h_{z\mu}=0$, is exactly given by $4\kappa^2(2\pi)^3\delta(\sum \vec{k}_\alpha)\,W$ plus the $\lambda$ contact term $3\lambda(2\pi)^3\delta(\sum\vec{k}_\alpha)/E$. Here $W = W_s+W_t+W_u$ is built from the single function $S(\vec{k}_1,\vec{k}_2,\vec{k}_3,\vec{k}_4)$ displayed in eq. (4.4), and $E=k_1+k_2+k_3+k_4$. The function is homogeneous of degree $-1$ in the momenta, which is exactly the scaling required by the dilatation Ward identity for $\Delta=2$ on a $d=3$ boundary, and the paper verifies the special conformal Ward identity of [7] analytically for several momentum configurations and numerically for random momenta.

Load-bearing premise

The load-bearing assumption is that the axial-gauge bulk-to-bulk graviton propagator taken from [14] is the correct Green's function for the linearized Einstein equation on Euclidean AdS4 with the boundary conditions required by the computation.

Editorial extensions

If this is right

  • A complete, explicit momentum-space four-point function with graviton exchange in AdS4/CFT3 is now available for use as a benchmark in the conformal bootstrap.
  • The $\lambda$ contact term splits off cleanly and is separately consistent with the conformal Ward identities, so the graviton-exchange and contact contributions can be studied independently.
  • The factorization trick used here, based on the Weyl rescaling $\varphi=z\phi$, is likely to simplify other holographic correlators involving conformally coupled matter.
  • The closed expression provides a concrete target for comparing holographic results with cosmological correlators of primordial non-Gaussianities in the squeezed and other kinematic limits.

Reading between the lines

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

  • One could test the result by numerically extracting the contribution of the stress-tensor conformal block from the $(1,2;3,4)$ OPE limit and comparing with CFT data for a free scalar or mean-field theory; that is my suggestion, not the paper's.
  • If the axial-gauge propagator were replaced by a covariant-gauge propagator, the on-shell amplitude should be gauge-invariant; verifying that (4.4) is unchanged would be a strong independent check of the computation.
  • The method seems extendable to higher-point functions or to AdS5/CFT4, though the Bessel integrals would no longer be elementary there, so the main obstacle is technical rather than conceptual.
  • The result could be analytically continued to the de Sitter slicing to produce the corresponding inflationary four-point function, which would connect the paper's stated motivation to a testable observable.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper computes the tree-level four-point boundary correlation function for a scalar field conformally coupled to Einstein gravity on Euclidean AdS4, using the AdS/CFT on-shell-action prescription in momentum space. The graviton exchange is evaluated in the axial gauge with the bulk-to-bulk propagator taken from Ref. [14], while the scalar propagators and the λφ^4 contact term are treated explicitly. The final results are Eqs. (4.4)-(4.6): closed-form momentum-space expressions for the s-, t-, and u-channel graviton exchanges and for the contact term. Section 5 tests consistency with conformal Ward identities: the dilatation identity is checked by power counting, and the special conformal Ward identity is checked numerically for six one-parameter families of momenta and ten random configurations.

Significance. If correct, the paper provides a new explicit momentum-space four-point function for a graviton-exchange process in AdS4/CFT3, a regime where exact results are scarce. The computation is detailed, reproducible in principle, and contains no fitted parameters; the appendices document the integral reductions and the vanishing of boundary terms. The result may be useful for cosmological correlator studies and for testing momentum-space conformal bootstrap methods. The main weakness is that a load-bearing consistency check, the special conformal Ward identity, is verified only numerically on a finite set of configurations rather than proven analytically.

major comments (2)
  1. [5, Eq. (5.2)] The special conformal Ward identity is the central consistency check for the claim that (4.4)-(4.6) is a conformal four-point function, but the paper explicitly states 'We have not been able to verify that (5.2) holds for arbitrary k1,k2,k3' and then checks only six axis-aligned one-parameter families plus ten random points. Since W in (4.4) contains square roots such as sqrt(s), the cancellation in (5.2) is nontrivial, and a failure on any open region would invalidate the identification of (4.4)-(4.6) as a CFT correlator. I request an analytic verification of (5.2), for example by clearing denominators and radicals to reduce the identity to a polynomial or rational identity and checking it with computer algebra over the appropriate function field. If a fully analytic proof cannot be supplied, the abstract and Section 6 should state explicitly that the special conformal Ward identity has been checked only numerically, and the numerical sampling should be made substantially more systematic (including near singular surfaces such as s=0 and k_i=0, and many more random points).
  2. [2, Eq. (2.4)] The graviton-exchange contribution depends entirely on the bulk-to-bulk propagator imported from Ref. [14]. The manuscript does not demonstrate that (2.4) satisfies the defining Green's-function equation for the operator K in (A.1) with the required boundary conditions, nor does it state precisely which boundary conditions are assumed. Because the conformal Ward identity check in Section 5 is numerical, an error in this imported input would change the final W in (4.5) without being detectable in the internal algebra. I ask the author to include a direct verification of (2.4), or at minimum to state the boundary conditions under which it is used and point to the exact place in Ref. [14] where the propagator is derived.
minor comments (5)
  1. [4, Eq. (4.4)] The expression for S(k1,k2,k3,k4) is extremely long; I recommend providing a machine-readable ancillary file (for example a Mathematica notebook with the final expression and the Ward-identity checks) so that the result can be independently verified without re-typing the formula.
  2. [5, Eq. (5.2)] The definitions of C^j_1, C^j_2, and C^j_3 are typeset in a way that is hard to parse. Please rewrite them as explicit sums over alpha=1,2,3 with clearly placed indices on the derivatives and on the momentum components.
  3. [5] The list of six momentum configurations is difficult to read as a run-on sentence; a table would make the set of checked configurations much clearer.
  4. [4, Eq. (4.5)] There is a typo in the sentence 'The subscripts s, t and u in Ws, Wt and Ws refer...'; the last symbol should be Wu.
  5. [References] Reference [26] is listed without a title or journal information; please update the entry.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the four-point function is a direct on-shell evaluation with external propagators and no fitted parameters.

full rationale

The derivation is self-contained as a computation. The bulk action (2.1), the axial-gauge graviton propagator imported from ref. [14] in (2.4), and the scalar propagators from refs. [35,36] in (2.6) are the inputs; the paper then solves the linearized equations (A.2)-(A.3), constructs h^(1)_ij and φ^(1), puts the action on shell (Section 3), and evaluates the integral in (4.2) with FORM and Mathematica to obtain the explicit S(k1,k2,k3,k4) in (4.4). The boundary four-point function (4.5) is the fourth functional derivative of the on-shell action with respect to the sources, with no adjustable parameter, and the lambda contact term (4.6) follows from (3.8). Nothing in this chain defines the final W in terms of W itself, and no fitted constant appears. The check in Section 5 of the momentum-space conformal Ward identities is a genuine consistency test: the paper flags a limitation, explicitly stating 'We have not been able to verify that (5.2) holds for arbitrary k1,k2,k3...', and supplies checks at six axis-aligned momentum configurations and ten random points. That incompleteness is a verification gap about a nontrivial algebraic identity, not circularity. Self-citations are present — ref. [26] by Anero and Martin is listed among references [14]-[26] in the introduction — but it is not used to justify the main derivation, nor to import any ansatz, uniqueness theorem, or fitted value. The graviton propagator comes from externally authored work (Raju, ref. [14]) and is used as a standard Green's function, not as a way to force the four-point function to equal an input. Therefore no circular step is exhibited.

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

The calculation introduces no fitted constants and no new entities. It relies on the AdS/CFT dictionary, an imported graviton propagator, an M-theory embedding, and an internally proven vanishing of boundary terms.

assumptions (4)
  • domain assumption AdS/CFT correspondence: boundary correlation functions are computed by functional derivatives of the on-shell bulk action with respect to boundary sources.
    Invoked in Section 3 and used in eq. (4.5) to convert the bulk action into the boundary four-point function.
  • domain assumption The axial-gauge graviton bulk-to-bulk propagator, eq. (2.4), from ref. [14] is the correct Green's function for h_ij on EAdS4 with the required boundary conditions.
    This is the central external input; Section 2 imports it without rederivation, and all later integrals depend on it.
  • domain assumption The model is a consistent truncation of M-theory, as shown in ref. [32].
    This justifies the action's form and the presence of the conformally coupled scalar; it is not proven in this paper.
  • standard math The boundary contributions B_HE, B_scalar, and S_GHY+B vanish in the a to 0 limit.
    This is proven in Appendix C using series expansions around a = 0; the proof itself is an internal result but is assumed for the on-shell action reduction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Tree-level four-point function for a scalar field conformally coupled to Einstein's gravity on Euclidean AdS4." pith.science (2026). https://pith.science/paper/D6AMWB45

@misc{pith2026250103426,
  author       = {Pith},
  title        = {Pith review of: Tree-level four-point function for a scalar field conformally coupled to Einstein's gravity on Euclidean AdS4},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D6AMWB45}},
  note         = {Machine review of arXiv:2501.03426}
}
read the original abstract

Using the AdS/CFT correspondence, we compute the tree-level four-point boundary scalar correlation function for a scalar field conformally coupled to the graviton field on Euclidean AdS4. We assume that the dynamics of the graviton field is governed by the Einstein-Hilbert action. We carry out the computation in momentum space and check that the result so obtained is consistent with the conformal Ward identities.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 7 canonical work pages

  1. [14]

    Raju, Phys

    S. Raju, Phys. Rev. D 83 (2011), 126002 doi:10.1103/PhysRevD.83.126002 [arXiv:1102.4724 [hep-th]]

    arXiv 2011

  2. [1]

    Liu and A

    H. Liu and A. A. Tseytlin, Phys. Rev. D 59 (1999), 086002 doi:10.1103/PhysRevD.59.086002 [arXiv:hep-th/9807097 [hep-th]]

    arXiv 1999

  3. [2]

    D. Z. Freedman, S. D. Mathur, A. Matusis and L. Rastelli, Phys. L ett. B 452 (1999), 61-68 doi:10.1016/S0370-2693(99)00229-4 [arXiv:hep-th/98080 06 [hep-th]]

    doi:10.1016/s0370-2693(99)00229-4 1999

  4. [3]

    D’Hoker, D

    E. D’Hoker, D. Z. Freedman, S. D. Mathur, A. Matusis and L. Ras telli, Nucl. Phys. B 562 (1999), 353-394 doi:10.1016/S0550-3213(99)00525-8 [arXiv:hep -th/9903196 [hep-th]]

    work page arXiv 1999

  5. [4]

    Poland, S

    D. Poland, S. Rychkov and A. Vichi, Rev. Mod. Phys. 91 (2019), 015002 doi:10.1103/RevModPhys.91.015002 [arXiv:1805.04405 [hep-th]]

    arXiv 2019

  6. [5]

    F. A. Dolan and H. Osborn, Nucl. Phys. B 678 (2004), 491-507 doi:10.1016/j.nuclphysb.2003.11.016 [arXiv:hep-th/0309180 [hep-th ]]

    arXiv 2004

  7. [6]

    Osborn and A

    H. Osborn and A. C. Petkou, Annals Phys. 231, 311-362 (1994) doi:10.1006/aphy.1994.1045 [arXiv:hep-th/9307010 [hep-th]]

    arXiv 1994

  8. [7]

    Bzowski, P

    A. Bzowski, P. McFadden and K. Skenderis, JHEP 03 (2014), 111 doi:10.1007/JHEP03(2014)111 [arXiv:1304.7760 [hep-th]]

    arXiv 2014

Show all 38 references
  1. [8]

    Bzowski, P

    A. Bzowski, P. McFadden and K. Skenderis, JHEP 03 (2016), 066 doi:10.1007/JHEP03(2016)066 [arXiv:1510.08442 [hep-th]]

    2016 arXiv

  2. [9]

    Corian` o and M

    C. Corian` o and M. M. Maglio, JHEP 09 (2019), 107 doi:10.1007/JHEP09(2019)107 [arXiv:1903.05047 [hep-th]]

    2019 arXiv

  3. [10]

    Bzowski, P

    A. Bzowski, P. McFadden and K. Skenderis, Phys. Rev. Lett. 124 (2020) no.13, 131602 doi:10.1103/PhysRevLett.124.131602 [arXiv:1910.10162 [hep-th]]

    2020 arXiv

  4. [11]

    Corian` o, M

    C. Corian` o, M. M. Maglio and D. Theofilopoulos, Eur. Phys. J. C 80 (2020) no.6, 540 doi:10.1140/epjc/s10052-020-8089-1 [arXiv:1912.01907 [hep-th]]

    2020 arXiv

  5. [12]

    Bzowski, P

    A. Bzowski, P. McFadden and K. Skenderis, JHEP 01 (2021), 192 doi:10.1007/JHEP01(2021)192 [arXiv:2008.07543 [hep-th]]

    2021 arXiv

  6. [13]

    Corian` o and M

    C. Corian` o and M. M. Maglio, Phys. Rept. 952 (2022), 1-95 doi:10.1016/j.physrep.2021.11.005 [arXiv:2005.06873 [hep-th]]. 23

    2022 arXiv

  7. [15]

    Raju, Phys

    S. Raju, Phys. Rev. D 85 (2012), 126008 doi:10.1103/PhysRevD.85.126008 [arXiv:1201.6452 [hep-th]]

    2012 arXiv

  8. [16]

    D. P. Jatkar and J. H. Oh, JHEP 10 (2013), 170 doi:10.1007/JHEP10(2013)170 [arXiv:1305.2008 [hep-th]]

    2013 arXiv

  9. [17]

    Albayrak, C

    S. Albayrak, C. Chowdhury and S. Kharel, JHEP 10 (2019), 274 doi:10.1007/JHEP10(2019)274 [arXiv:1904.10043 [hep-th]]

    2019 arXiv

  10. [18]

    Albayrak and S

    S. Albayrak and S. Kharel, JHEP 12 (2019), 135 doi:10.1007/JHEP12(2019)135 [arXiv:1908.01835 [hep-th]]

    2019 arXiv

  11. [19]

    J. H. Oh, JHEP 11 (2020), 100 doi:10.1007/JHEP11(2020)100 [arXiv:2005.08521 [hep- th]]

    2020 arXiv

  12. [20]

    Albayrak, S

    S. Albayrak, S. Kharel and D. Meltzer, JHEP 03 (2021), 249 doi:10.1007/JHEP03(2021)249 [arXiv:2012.10460 [hep-th]]

    2021 arXiv

  13. [21]

    Bzowski, P

    A. Bzowski, P. McFadden and K. Skenderis, JHEP 12 (2022), 039 doi:10.1007/JHEP12(2022)039 [arXiv:2207.02872 [hep-th]]

    2022 arXiv

  14. [23]

    Chowdhury and K

    C. Chowdhury and K. Singh, JHEP 12 (2023), 109 doi:10.1007/JHEP12(2023)109 [arXiv:2305.18529 [hep-th]]

    2023 arXiv

  15. [24]

    Bzowski, JHEP 04 (2024), 082 doi:10.1007/JHEP04(2024)082 [arXiv:2312.11625 [hep- th]]

    A. Bzowski, JHEP 04 (2024), 082 doi:10.1007/JHEP04(2024)082 [arXiv:2312.11625 [hep- th]]

    2024 arXiv

  16. [26]

    Anero and C

    J. Anero and C. P. Martin, [arXiv:2410.07365 [hep-th]]

    arXiv

  17. [27]

    J. M. Maldacena, JHEP 05 (2003), 013 doi:10.1088/1126-6708/2003/05/013 [arXiv:astro- ph/0210603 [astro-ph]]. 24

    2003

  18. [28]

    McFadden and K

    P. McFadden and K. Skenderis, JCAP 06 (2011), 030 doi:10.1088/1475-7516/2011/06/030 [arXiv:1104.3894 [hep-th]]

    2011 arXiv

  19. [29]

    Ghosh, N

    A. Ghosh, N. Kundu, S. Raju and S. P. Trivedi, JHEP 07 (2014), 011 doi:10.1007/JHEP07(2014)011 [arXiv:1401.1426 [hep-th]]

    2014 arXiv

  20. [30]

    Armstrong, H

    C. Armstrong, H. Goodhew, A. Lipstein and J. Mei, JHEP 08 (2023), 206 doi:10.1007/JHEP08(2023)206 [arXiv:2304.07206 [hep-th]]

    2023 arXiv

  21. [31]

    Chowdhury, A

    C. Chowdhury, A. Lipstein, J. Mei, I. Sachs and P. Vanhove, [ar Xiv:2312.13803 [hep-th]]

    arXiv

  22. [32]

    de Haro, I

    S. de Haro, I. Papadimitriou and A. C. Petkou, Phys. Rev. Lett . 98 (2007), 231601 doi:10.1103/PhysRevLett.98.231601 [arXiv:hep-th/0611315 [hep-t h]]

    2007 arXiv

  23. [33]

    Witten, Adv

    E. Witten, Adv. Theor. Math. Phys. 2 (1998), 253-291 doi:10.4310/ATMP.1998.v2.n2.a2 [arXiv:hep-th/9802150 [hep-th]]

    1998 arXiv

  24. [34]

    Liu and A

    H. Liu and A. A. Tseytlin, Nucl. Phys. B 533 (1998), 88-108 doi:10.1016/S0550- 3213(98)00443-X [arXiv:hep-th/9804083 [hep-th]]

    1998 arXiv

  25. [35]

    Albayrak, C

    S. Albayrak, C. Chowdhury and S. Kharel, Phys. Rev. D 101 (2020) no.12, 124043 doi:10.1103/PhysRevD.101.124043 [arXiv:2001.06777 [hep-th]]

    2020 arXiv

  26. [36]

    Albayrak, S

    S. Albayrak, S. Kharel and X. Wang, JHEP 07 (2024), 281 doi:10.1007/JHEP07(2024)281 [arXiv:2312.02154 [hep-th]]

    2024 arXiv

  27. [37]

    Ammon and J

    M. Ammon and J. Erdmenger, Cambridge University Press, 2015 , SBN 978-1-107-01034-5, 978-1-316-23594-2

    2015

  28. [38]

    FORM version 4.2,

    B. Ruijl, T. Ueda and J. Vermaseren, “FORM version 4.2,” [arXiv:17 07.06453 [hep-ph]]

  29. [39]

    Wolfram Research, Inc, Mathematica 12.3, Champaign, IL (202 1)

  30. [40]

    J. H. Oh, [arXiv:2001.05379 [hep-th]]. 25

    2001 arXiv

Pith tools

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