{"id":"35272c87-6e52-44b9-9da0-fac893d18507","arxiv_id":"2501.03426","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A momentum-space formula is derived for the tree-level four-point boundary correlator of a conformally coupled scalar with graviton exchange in Euclidean AdS4.","lead":"The paper computes a new tree-level four-point function for a scalar field interacting with Einstein gravity on Euclidean anti-de Sitter space, using the AdS/CFT dictionary. The explicit momentum-space formula is a candidate benchmark for conformal bootstrap checks and for non-Gaussianity models in cosmology.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Special conformal Ward identity (5.2) is verified only at six special momenta and ten random points; the paper admits it could not verify general momenta, so the claim that (4.4)-(4.6) satisfies the conformal Ward identities is not established.","rationale":"The paper is a long momentum-space computation whose internal logic runs from the action through propagators, perturbative solutions, the on-shell action, and the final expression (4.4). The main output is a massive algebraic result obtained with FORM and Mathematica, and the strongest claim includes consistency with the conformal Ward identities. The dilatation identity follows immediately by power counting, so the special conformal Ward identity (5.2) is where the nontrivial content lies: W contains radicals and rational denominators, and its derivatives must cancel identically. The paper itself limits the verification to six special configurations and ten random 20-digit point checks, and explicitly states that general-momenta verification was not achieved. This is an explicit missing proof, not an external objection. For a claim of an exact tree-level result consistent with conformal symmetry, a finite set of numerical checks cannot establish the general identity. On the other hand, the checks are meaningful evidence, and the internal boundary-term cancellations in Appendix C support the overall framework. I therefore see the correct verdict as CONDITIONAL, which is what the reader already assigned; my concern does not change the verdict but sharpens the reason for it. I only partially agree with the reader's weakest assumption: the unverified Ward identity is more direct than the imported graviton propagator, although a failure of that propagator is one plausible mechanism by which (5.2) could fail. The proposed symbolic test would settle the question: if the numerator reduces to zero identically, the central claim is confirmed and the paper could be upgraded; if not, the result is incorrect as stated.","tokens_in":21631,"tokens_out":5055,"duration_ms":51457,"concrete_test":"Perform a fully symbolic verification of (5.2). Express W in (4.4) in terms of k1^2, k2^2, k3^2, s, t and u, with k4 = -k1 - k2 - k3; form C1 - 2C2 + C3, clear denominators and square roots, and reduce the numerator to zero with a high-performance computer algebra system (e.g., FORM, Fermat, or Singular) using polynomial arithmetic over the ring generated by the norms and Mandelstam variables. If the numerator does not vanish identically, (4.4) contains an algebra error or the imported graviton propagator (2.4) does not implement the required boundary conditions. A complementary check is to recompute S(k1,k2,k3,k4) from the three tensor structures in Appendix B with independent tensor-contraction code and compare with (4.4).","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 5 establishes the dilatation Ward identity by power counting, but the special conformal Ward identity (5.2) is checked only for six axis-aligned momentum configurations and ten random real momenta. The text explicitly states: \"We have not been able to verify that (5.2) holds for arbitrary k1,k2,k3 by using Mathematica, let alone by hand.\" Since the strongest claim includes exact agreement with the conformal Ward identities, and (4.4) is a rational function containing square roots such as sqrt(s), the cancellation in (5.2) is nontrivial. Numeric checks at random points are good evidence but do not prove the identity for all momenta. If (5.2) fails on a generic open region, the displayed W is not the boundary correlator of a conformal field theory, irrespective of the internal consistency of the FORM/Mathematica algebra. This is the weakest load-bearing link in the paper; the imported graviton propagator (2.4) is a possible source of such a failure, but the failure would first show up here.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":21855,"tokens_out":26335,"duration_ms":249444,"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":[{"comment":"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).","section":"5, Eq. (5.2)"},{"comment":"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.","section":"2, Eq. (2.4)"}],"minor_comments":[{"comment":"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.","section":"4, Eq. (4.4)"},{"comment":"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.","section":"5, Eq. (5.2)"},{"comment":"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.","section":"5"},{"comment":"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.","section":"4, Eq. (4.5)"},{"comment":"Reference [26] is listed without a title or journal information; please update the entry.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The computation appears careful and the final result is plausibly correct, but the numerical-only verification of the special conformal Ward identity is a genuine gap in the paper's main claim. I would be willing to accept a revised version that either supplies an analytic check of (5.2) or clearly qualifies the claim as a numerical check and strengthens that check. The reliance on the Raju propagator is standard, but given the numerical nature of the Ward-identity check, an explicit statement about its boundary conditions would be helpful."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe new thing here is concrete: eqs. (4.4)–(4.6) give the first explicit tree-level four-point momentum-space correlator for a conformally coupled scalar with Einstein gravity exchange on EAdS4, including the s, t, and u graviton channels and the lambda contact term. The s/t/u decomposition and the checked exchange symmetries are useful. The computation is detailed; Appendices B and C show real work, including the Bessel integrals, the FORM tensor contractions, and the boundary-term limits as a -> 0. It is reproducible enough for a referee to follow, though no code is shipped.\n\nThe soft spot is exactly the one flagged in the text: Section 5 verifies the dilatation Ward identity by power counting, but the special conformal Ward identity (5.2) is checked only at six axis-aligned momentum configurations plus ten random points. The authors state plainly that they could not verify (5.2) for generic momenta in Mathematica. Since (4.4) contains square roots and the cancellations in (5.2) are non-trivial, numerical checks do not establish the identity on an open region. So the summary phrase \"consistent with the conformal Ward identities\" is stronger than what Section 5 proves. That is a real weakness, but not a fatal one: 20-digit numerical cancellation on random momenta is strong smoke. The imported axial-gauge graviton propagator from Raju [14] is another external input; if it is wrong, (4.4) changes. That is standard currency in this literature, and the citation is appropriate.\n\nI do not see a circularity problem, fitted parameters, or self-citation abuse. The formula appears new relative to refs. [19,31,35]. The paper is honest about what was and was not checked, and the algebra is heavy but traceable.\n\nWho gets value: anyone computing inflationary correlators or momentum-space AdS/CFT benchmarks. It is a useful technical benchmark rather than a conceptual breakthrough. I would send it to a serious referee, with a request that the referee spot-check the SCWI cancellation and, ideally, that the authors provide the Mathematica/FORM files as ancillary material. The main claim is probably right, but the advertised check needs either an analytic proof or a heavier automated verification.\n\nRecommendation: engage; accept for peer review with revision.","headline":"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.","tokens_in":22370,"tokens_out":2288,"would_cite":true,"duration_ms":22810,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["gauge/gravity duality","AdS/CFT correspondence","momentum-space correlators","four-point function","graviton exchange","conformal Ward identities","Euclidean AdS4","conformally coupled scalar"],"falsifier":"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.","tokens_in":21436,"feed_emoji":"🌌","tokens_out":6231,"duration_ms":52293,"temperature":0.7,"pith_summary":"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.","feed_headline":"Graviton exchange four-point function computed on AdS4","feed_subtitle":"First momentum-space result for a conformally coupled scalar with Einstein gravity; it passes the conformal Ward-identity checks.","key_machinery":"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).","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the axial-gauge bulk-to-bulk graviton propagator (2.4) that is the central input of the computation.","marker":"[14]"},{"why":"Provides the momentum-space conformal Ward identities used to check the final result.","marker":"[7]"},{"why":"Gives the AdS/CFT on-shell prescription by which the boundary correlator is extracted from the classical action.","marker":"[33]"},{"why":"Justifies the subtraction term S_B that removes trace-linear contributions in the axial gauge.","marker":"[34]"},{"why":"Supplies the boundary-to-bulk scalar propagator in momentum space for the conformally coupled scalar.","marker":"[35]"},{"why":"Supplies the bulk-to-bulk scalar propagator used for the lambda phi^4 correction.","marker":"[36]"},{"why":"Shows the lambda contact term satisfies the conformal Ward identities, a fact the paper verifies again.","marker":"[40]"},{"why":"Supports the claim that the theory can be embedded into M-theory, motivating the setup.","marker":"[32]"}],"fun_headline_variants":["Exact tree-level 4-pt function for scalar with graviton on AdS4","Graviton exchange 4-pt function: first momentum-space result on AdS4","Conformally coupled scalar on AdS4: exact 4-pt correlator with graviton","New exact four-point function: graviton exchange on AdS4 passes Ward identities","First momentum-space graviton exchange 4-pt on AdS4, exact and Ward-consistent"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Exact tree-level 4-pt function for scalar with graviton on AdS4","Graviton exchange 4-pt function: first momentum-space result on AdS4","Conformally coupled scalar on AdS4: exact 4-pt correlator with graviton","New exact four-point function: graviton exchange on AdS4 passes Ward identities","First momentum-space graviton exchange 4-pt on AdS4, exact and Ward-consistent"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000833,"raw_usage":{"total_tokens":3595,"prompt_tokens":862,"completion_tokens":2733,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":478,"completion_tokens_details":{"reasoning_tokens":2615}},"tokens_in":478,"tokens_out":2733,"duration_ms":16378,"temperature":1.0,"reasoning_tokens":2615,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T21:52:15.535449+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"A conformal scalar $n$-point function in momentum space","cited_arxiv_id":"2001.05379","evidence_quote":"Shows the lambda contact term satisfies the conformal Ward identities, a fact the paper verifies again."}],"review_version":1}