{"id":"4a52bdb0-741c-4961-8da0-1c5f6b02f171","arxiv_id":"1908.06717","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"A local S-matrix is constructed in curved spacetime using Riemann-normal coordinates, yielding curvature-dependent scattering amplitudes and cross-sections.","lead":"The paper proposes a way to define a scattering matrix locally in curved spacetime by working in Riemann-normal coordinates, so that scattering amplitudes resemble flat-spacetime amplitudes plus curvature corrections. A general reader might care because it offers a route to compute how spacetime curvature could show up in particle scattering cross-sections.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Free-field modes used as external states are flat plane waves that do not solve the curved Klein-Gordon equation, so the LSZ reduction and all amplitudes in Sec. 7 are not valid S-matrix elements.","rationale":"The central claim is that a local S-matrix can be built by mimicking flat-spacetime methods in an RNC patch. That requires a well-defined set of in/out modes satisfying the curved Klein-Gordon equation. Section 3's LSZ derivation is careful: it derives Eq. (3.10) using the fact that mode functions solve Eq. (3.2). Section 6.2 replaces those modes with flat plane waves and asserts the exact flat dispersion, claiming this follows from Eq. (5.19). That assertion is false for two reasons: Eq. (5.19) is the equation for the Feynman propagator, not for the mode functions; and even the leading curvature terms in the d'Alembertian (e.g., the (1/3)R^μ_ανβ z^α z^β ∂_μ∂_ν term in Eqs. (5.17)/(5.19)) do not annihilate e^{ik.z}. Thus the boundary terms in Eq. (3.7) do not vanish, and the LSZ formula (3.10) is not justified. All subsequent amplitude computations in Sec. 7 inherit this flaw. The reader identified the same weak point. I therefore see no reason to overturn the REJECT verdict; the paper's useful compilation of RNC expansions does not rescue the central construction.","tokens_in":29262,"tokens_out":4292,"duration_ms":42930,"concrete_test":"Compute (□_g - m^2 - ξR) e^{ik.z} to second order in RNC using the d'Alembertian expansion in Eq. (5.19), setting k^2 = -m^2 (Minkowski on-shell). If the result is nonzero, the modes are not solutions. Then verify whether the surface term in Eq. (3.7) vanishes for these f_i; if not, Eq. (3.10) is invalid. This analytic check settles the concern.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's S-matrix construction rests on Sec. 6.2's assertion that the mode functions are exactly f_k(z)=e^{ik.z} with Minkowski dispersion omega_k=sqrt(k^2+m^2). But Eq. (3.10) requires each f_i to be a solution of the full Klein-Gordon equation (□_g - m^2 - ξR) f_i = 0, because the boundary-term cancellation in Eq. (3.7) uses that equation for f_i. The RNC d'Alembertian in Eq. (5.19) contains curvature terms beyond η^μν ∂_μ ∂_ν; acting on e^{ik.z}, these produce non-vanishing terms of order R z^α, R z^α z^β, etc., so e^{ik.z} is not a solution on shell. The paper's justification that this 'can be checked from Eq. (5.19)' confuses the Green's function equation with the mode equation. Consequently the LSZ reduction in Eq. (3.10) fails, and the amplitudes in Sec. 7—including the momentum-nonconserving pieces—are not S-matrix elements of the curved-spacetime theory. This is not merely a practical approximation issue: the external-state wavefunctions are inconsistent with the propagator used in the same computation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a local construction of the S-matrix for quantum field theory in a general curved spacetime, using Riemann-normal coordinates (RNC) around a chosen origin. It derives an LSZ-type reduction formula (Eq. (3.10)) and a functional-integral version (Eq. (4.12)), expands the Feynman propagator in momentum space with RNC using Bunch-Parker techniques (Sec. 5.4), and then takes the external one-particle states to be flat plane waves e^{ik.z} with the flat dispersion relation (Sec. 6.2). On this basis it computes amplitudes and cross-sections for phi^4, phi^3, and nucleon-meson scattering (Secs. 7.2-7.5), obtaining curvature-dependent corrections and momentum-nonconserving pieces. The paper also discusses deformed translation symmetries in the patch and argues that the local S-matrix can probe features of the background geometry (Secs. 8-9).","tokens_in":29445,"tokens_out":11193,"duration_ms":104304,"significance":"If the construction were valid, it would provide a tractable local analogue of the flat-space S-matrix in curved spacetime and a practical route to curvature-dependent corrections to scattering observables. The paper assembles several standard ingredients: the LSZ and functional-integral formulations, RNC expansions of the metric, and the Bunch-Parker momentum-space propagator, and it explicitly checks the flat-spacetime limit of the propagator terms. No parameters are fitted to data, so the curvature dependence is a direct consequence of the stated ansatz rather than a fitting artifact. However, the central derivation is invalid as it stands because the external mode functions are not solutions of the curved Klein-Gordon equation used in the LSZ reduction; the curvature-dependent amplitudes in Sec. 7 are therefore not S-matrix elements of the curved-spacetime theory. A substantially revised treatment of the external states would be needed before the quantitative claims can be assessed.","major_comments":[{"comment":"The LSZ reduction formula (3.10) is derived under the assumption that each mode f_i satisfies the curved Klein-Gordon equation (□_g - m^2 - ξR) f_i = 0; this equation is used in the step from (3.7) to (3.8). The modes adopted in Sec. 6.2, f_k(z)=e^{ik.z} with ω_k = sqrt(k^2+m^2), do not satisfy it. With the RNC expansion in (5.17), (□_g - m^2 - ξR) e^{ik.z} contains nonvanishing terms of order R z^α k_α and R z^α z^β k_α k_β even on shell. The assertion in Sec. 6.2 that this 'can be checked from Eq. (5.19)' is not a valid check, because Eq. (5.19) is the Green's-function equation in a conformally rescaled variable, not the mode equation. Consequently Eq. (3.10) is not an identity for these modes, and the amplitudes in Secs. 7.1-7.5 are not LSZ S-matrix elements of the curved-spacetime theory.","section":"Sec. 6.2; Eqs. (3.7)-(3.10)"},{"comment":"Even if the plane-wave ansatz were intended as the zeroth-order term of a curvature expansion, the calculation is carried out at inconsistent orders: the propagator is corrected through O(R) terms, as in Eq. (7.2), while the external modes are kept at zeroth order. A first-order correction to f_k obtained from (3.2) in RNC would contribute at the same order as the a_{αβ} term in the propagator; those contributions are absent from (7.9), (7.18), and (7.23). The displayed curvature corrections are therefore not the complete O(R) amplitudes, and a controlled expansion requires either deriving the corrected modes or an estimate of their contribution.","section":"Secs. 6.2 and 7.2; Eq. (7.2)"},{"comment":"The 'non-conservative' pieces are distributions of the form (1/k^2) δ^(4)(k) and derivatives of δ^(4)(k) evaluated at k equal to the combination of external momenta. As written they are ill-defined without a wave-packet smearing prescription, and no such prescription is supplied. Because these terms arise only from the plane-wave LSZ reduction that is invalidated by the first major comment, they cannot support the claim that momentum non-conservation in the local S-matrix probes the background curvature.","section":"Sec. 7.2, Eqs. (7.9)-(7.10); Sec. 7.3, Eq. (7.18)"}],"minor_comments":[{"comment":"The second term on the left-hand side reads '-[m^2 + (ξ - 1/6)] \\bar G'; it should presumably be '-(m^2 + (ξ - 1/6)R) \\bar G'.","section":"Eq. (5.19)"},{"comment":"Several displayed terms have inconsistent or dangling indices (e.g., R^ν_{αβ;} and R^ν_{α;β}), which makes the contraction structure hard to verify.","section":"Sec. 5.4, Eqs. (5.28) and (5.31)"},{"comment":"Identities such as x^2 ∂_α ∂_β δ^(4)(x) = 2η_{αβ} δ^(4)(x) are distributional statements that hold only under integration; the text presents them as pointwise relations and should state the integrated form.","section":"Eqs. (7.11)-(7.12)"},{"comment":"The factor χ is introduced but its numerical value is never computed, although it multiplies the quadratic curvature term in the quoted amplitude.","section":"Sec. 7.2, after Eq. (7.10)"},{"comment":"The paragraph on black-hole spacetimes is qualitative; no amplitude or cross-section involving the Riemann tensor is actually computed, so the claim that black-hole geometry can be probed by this method is not demonstrated in the manuscript.","section":"Sec. 9"}],"recommendation":"reject","confidential_remarks":"The central problem identified in the first major comment is, in my assessment, determinative. The LSZ reduction with exactly flat modes inside a Riemann-normal patch is not a minor technical gap but an internal inconsistency: the computation uses a curvature-corrected propagator together with uncorrected external wavefunctions, and the mode equation is conflated with the Green's-function equation. Repairing this would require rederiving the external states and recomputing all amplitudes, which is effectively a new manuscript; hence I recommend rejection rather than major revision. I do not see the paper as a fitting exercise or circular; the issue is the validity of the stated derivation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper does not give you a local S-matrix in curved spacetime as it stands. The construction rests on Sec 6.2's claim that the external states are exactly e^{ik.z} with Minkowski dispersion, and that is not a solution of the curved d'Alembertian used everywhere else. The LSZ formula in Eq (3.10) only works if each f_i solves (□_g - m^2 - ξR)f_i = 0; that is exactly what makes the boundary terms vanish in (3.7). Acting on e^{ik.z} with the RNC d'Alembertian in (5.19) leaves non-zero curvature terms, so the modes are off-shell. The paper says this can be checked from Eq (5.19), but that equation is the Green's function equation, not the mode equation. The amplitudes in Sec 7, including the momentum-nonconserving pieces, are therefore not S-matrix elements of the curved-space theory.\n\nWhat the paper does well: it pulls together the Bunch-Parker local momentum-space propagator, RNC expansions, and a flat-spacetime-like functional integral, and it works out explicit amplitudes and cross-sections for φ^4, φ^3, and nucleon-nucleon scattering. The symmetry discussion in Sec 8 is a reasonable attempt to reconcile non-conservation with deformed translations. The compilation is useful, and the explicit formulas could be a starting point if the state problem were fixed.\n\nSoft spots, in proportion: the state issue is the main problem, not a technicality. The non-conservation terms are artifacts of combining flat modes with a curvature-corrected propagator. The paper admits analyticity is open, and no numerical benchmarks or external predictions are provided. The algebra in Sec 7 is long and I did not verify every step, but the conceptual flaw is enough to undermine the central claim.\n\nWho this is for: researchers interested in local momentum-space QFT in curved spacetime. The program might be salvageable by solving the RNC mode equation consistently to the same order, but the present manuscript should not be taken as a working S-matrix.\n\nPeer review: I would send it to a referee, because the claim is important and the flaw is subtle enough to deserve a careful report, but the appropriate verdict is reject unless the mode functions are rederived consistently.","headline":"A well-assembled attempt at a local S-matrix in curved spacetime that fails at its load-bearing assumption: the external plane-wave states do not solve the curved Klein-Gordon equation.","tokens_in":30026,"tokens_out":3123,"would_cite":false,"duration_ms":29530,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs a local S-matrix in curved spacetime using Riemann-normal coordinates, so scattering amplitudes acquire curvature corrections that can probe local geometry.","keywords":["local S-matrix","curved spacetime","Riemann-normal coordinates","scattering amplitudes","curvature corrections","LSZ reduction","quantum field theory in curved spacetime"],"falsifier":"Take a concrete curved spacetime (e.g. de Sitter or Schwarzschild), solve the full Klein-Gordon equation (3.2) on the geodesic patch, and compute the LSZ amplitude (3.10) using those exact modes; if the result differs from the paper's plane-wave RNC amplitude at first order in the curvature, the local state-space assumption is the point of failure. Concretely, the plane waves fail to satisfy the curved Klein-Gordon equation beyond zeroth order in the RNC expansion, so the mismatch is directly visible.","tokens_in":1713,"feed_emoji":"🌀","tokens_out":1597,"duration_ms":77631,"temperature":0.7,"pith_summary":"Global S-matrix constructions fail in generic curved spacetimes because asymptotic in/out states are not available. This paper claims that a local S-matrix can nevertheless be defined in any geodesic patch by using Riemann-normal coordinates around the scattering point, which makes the metric locally flat to leading order and lets the flat-space machinery of LSZ reduction, functional integrals, and momentum-space propagators be applied patchwise. The computed amplitudes and cross-sections acquire curvature-dependent corrections, starting with terms built from the Ricci scalar, and the paper argues these corrections make scattering a local probe of the geometry. A sympathetic reading: if correct, this yields a practical local substitute for a global S-matrix, with flat-spacetime results recovered in the zero-curvature limit.","feed_headline":"Curved spacetime gets a local S-matrix with curvature corrections","feed_subtitle":"Riemann-normal coordinates let flat-space Feynman rules run patchwise, so amplitudes carry Ricci-scalar signatures.","key_machinery":"Riemann-normal coordinates: coordinates on a patch around a chosen origin in which geodesics through the origin are straight tangent vectors z^mu, the metric takes the form g_mu_nu = eta_mu_nu + O($z^{2}$), and Christoffel symbols vanish at the origin. The paper's engine is the RNC expansion of the metric and the d'Alembertian operator, which turns the curved-space wave operator into the flat d'Alembertian plus explicit curvature terms; solving this order by order in momentum space gives the curvature-corrected propagator. A local Fourier transform built from Synge's world function $\\sigma$(x,x') makes tangent-space momenta the correct variables, so flat-space Feynman rules can be applied patchwise. The same local momentum-space structure produces the deformed translation generators that explain the non-conserving S-matrix pieces.","core_discovery":"The central claim is that the S-matrix in a general curved spacetime is best understood locally: at each point one builds a Riemann-normal coordinate patch, assumes free one-particle states are plane waves $e^{{ik.z}}$ with the flat dispersion relation omega_k = $\\sqrt$($k^{2}$ + $m^{2}$), and derives the Feynman propagator in momentum space as \\bar G(k)=1/($k^{2}$+$m^{2}$) plus curvature corrections, the first nontrivial one being -(xi-1/6)R/($k^{2}$+$m^{2}$)^2 for a non-minimally coupled scalar. Using LSZ reduction and the functional-integral generating functional, the paper obtains explicit scattering amplitudes for 3->3 $phi^{4}$, 2->2 $phi^{3}$, nucleon-nucleon, and nucleon-meson processes. These amplitudes contain both a 4-momentum-conserving piece whose coefficient carries curvature corrections and non-conserving pieces proportional to derivatives of delta functions with curvature-dependent coefficients; the paper derives the non-conserving pieces from the deformation of translation symmetry by curvature. It concludes that the local S-matrix is a local observable varying smoothly over the manifold, that unitarity holds as in flat spacetime, and that in the vanishing-curvature limit all results reduce to the familiar Minkowski ones.","pith_inferences":["Editorial inference: the plane-wave state assumption is the part most likely to need modification at higher curvature orders; replacing e^{ik.z} with the exact solutions of the curved Klein-Gordon equation inside the patch would test whether the leading amplitude corrections survive.","Editorial inference: the same RNC expansion could define local versions of other non-local observables, such as the propagator's spectral representation or local vertex functions, yielding a more general dictionary between curved and flat quantities.","Editorial inference: the non-conserving terms behave like momentum exchange with the background; one could ask whether they satisfy a local Ward identity generated by the deformed charges of Section 8.2, which the paper does not write down explicitly.","Editorial inference: since analyticity is left open, a natural next check is whether the curvature-corrected local amplitude retains a dispersion relation in the local momentum variables."],"forward_implications":["If the construction is correct, scattering experiments performed in a small patch can read off local curvature: the leading correction to cross-sections is controlled by the Ricci scalar at the scattering point, so measurements at different points see a smoothly varying geometry.","For de Sitter or anti-de Sitter backgrounds the sign and magnitude of the cosmological constant enters the cross-section; a null FRW cosmology would instead show time-dependent signatures from the scale factor.","Nucleon-nucleon scattering in the heavy-meson or massless-meson limits produces curvature-enhanced IR and small-angle singularities with characteristic angular factors, giving concrete signatures to look for.","Effective couplings of hadronic theories become curvature-dependent at one loop, implying that running couplings and renormalization-group flow vary from point to point.","No global S-matrix is needed: local amplitudes suffice to recover flat-space results continuously in the zero-curvature limit."],"supporting_citations":[{"why":"Supplies the Riemann-normal-coordinate expansion of the d'Alembertian and the momentum-space representation of the Feynman propagator that the whole calculation rests on.","marker":"[39]"},{"why":"Establishes the standard conditions under which asymptotic states and a global S-matrix can be defined, the obstacle the local construction is designed to circumvent.","marker":"[5]"},{"why":"Previous construction of an S-matrix in curved spacetime via in/out operators and Bogoliubov transformations, which the paper contrasts with its local approach.","marker":"[6]"},{"why":"Cited for unitarity of interacting fields in curved spacetime, used to argue that the local S-matrix satisfies unitarity.","marker":"[9]"},{"why":"Provides the mode decomposition and time-independent inner product used to set up the curved-space LSZ reduction.","marker":"[36]"},{"why":"Gives the local momentum-space framework used to justify measuring local particle states inside the patch.","marker":"[48]"}],"fun_headline_variants":["Curved spacetime S-matrix: local patches yield curvature corrections","Patchwise flat-space Feynman rules now apply in curved spacetime","Local S-matrix in curved spacetime carries Ricci-scalar signatures","Riemann-normal coords make S-matrix local in curved spacetime","Curved spacetime's S-matrix: local and curvature-aware"],"cache_read_input_tokens":32128,"weakest_assumption_plain":"The construction assumes that inside the Riemann-normal patch the physical one-particle states are exactly the flat plane waves $e^{{ik.z}}$ with Minkowski dispersion omega_k = $\\sqrt$($k^{2}$ + $m^{2}$), even though the propagator is built from the full curved d'Alembertian; those plane waves are not exact solutions of the curved wave equation.","fun_headline_variants_meta":{"raw":{"variants":["Curved spacetime S-matrix: local patches yield curvature corrections","Patchwise flat-space Feynman rules now apply in curved spacetime","Local S-matrix in curved spacetime carries Ricci-scalar signatures","Riemann-normal coords make S-matrix local in curved spacetime","Curved spacetime's S-matrix: local and curvature-aware"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002251,"raw_usage":{"total_tokens":8709,"prompt_tokens":962,"completion_tokens":7747,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":578,"completion_tokens_details":{"reasoning_tokens":7658}},"tokens_in":578,"tokens_out":7747,"duration_ms":48237,"temperature":1.0,"reasoning_tokens":7658,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:36:10.425876+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete curved spacetime (e.g. de Sitter or Schwarzschild), solve the full Klein-Gordon equation (3.2) on the geodesic patch, and compute the LSZ amplitude (3.10) using those exact modes; if the result differs from the paper's plane-wave RNC amplitude at first order in the curvature, the local state-space assumption is the point of failure. Concretely, the plane waves fail to satisfy the curved Klein-Gordon equation beyond zeroth order in the RNC expansion, so the mismatch is directly visible.","supporting_citations":[{"cited_title":"Feynman propagator in curved spacetime: A momentum-space representation.Physical Review D, 20(10):2499, 1979","cited_arxiv_id":null,"evidence_quote":"Supplies the Riemann-normal-coordinate expansion of the d'Alembertian and the momentum-space representation of the Feynman propagator that the whole calculation rests on."},{"cited_title":"University of Chicago Press, 1994","cited_arxiv_id":null,"evidence_quote":"Establishes the standard conditions under which asymptotic states and a global S-matrix can be defined, the obstacle the local construction is designed to circumvent."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Previous construction of an S-matrix in curved spacetime via in/out operators and Bogoliubov transformations, which the paper contrasts with its local approach."},{"cited_title":"Unitarity of interacting fields in curved spacetime.Physical Review D, 46(10):4442, 1992","cited_arxiv_id":null,"evidence_quote":"Cited for unitarity of interacting fields in curved spacetime, used to argue that the local S-matrix satisfies unitarity."},{"cited_title":"Cambridge Monographs on Mathematical Physics","cited_arxiv_id":null,"evidence_quote":"Provides the mode decomposition and time-independent inner product used to set up the curved-space LSZ reduction."},{"cited_title":"Local momentum space and two-loop renormalizability ofλϕ4 field theory in curved space-time","cited_arxiv_id":null,"evidence_quote":"Gives the local momentum-space framework used to justify measuring local particle states inside the patch."}],"review_version":1}