{"id":"a6badb53-4317-4fb2-8df0-506753b241bb","arxiv_id":"2412.12294","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Curvature corrections to the smeared squared scalar field are derived to leading order, yielding a geometric term plus an uncomputed state-dependent constant.","lead":"The paper computes the leading-order corrections that spacetime curvature imprints on the expected value of the squared amplitude of a massless scalar field, when the field is probed in a small localized region. It gives a concrete formula for how curvature shifts local field fluctuations, and applies it to particle detector models.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Sign inconsistency between Eq. (32) and Eq. (35) changes the curvature correction in Eq. (38).","rationale":"The reader's weakest assumption concerned state dependence and compact support, which are real limitations. However, the most load-bearing issue is an apparent internal sign error in the derivation of the central formula. Eq. (32) explicitly expands Wσ with a negative coefficient in front of the Riemann tensor term, while Eq. (35) writes the same physical contribution with the opposite sign after using L_abcd. A direct index check shows the two are inconsistent unless the sign in Eq. (35) is changed. Because the final result Eq. (38) depends on this sign, the headline curvature correction could be wrong. This is a concrete, checkable issue that should be resolved before the result is accepted. If the sign check confirms the error, the paper's main claim is invalid as written; if it does not, the state-dependence concern remains and would still justify conditional acceptance. Given the severity, the verdict should be reject pending the sign check.","tokens_in":17636,"tokens_out":36479,"duration_ms":260020,"concrete_test":"Evaluate the curvature correction for a spacetime with only R_{0101}=1. Compute the integral from Eq. (32): -(4π^2/3) ∫ ΛΛ W0^2 (x_0^2 x'_1^2 - 2x_0 x_1 x'_0 x'_1 + x_1^2 x'_0^2). Then compute -(4π^2/3) R_abcd L_abcd using Eq. (36). If the two results have opposite signs, Eq. (35) and consequently Eq. (38) are incorrect.","verdict_should_be":"REJECT","load_bearing_attack":"Eq. (32) gives Wσ(x,x') = W0[1 - (4π^2/3) R_acbd x^a x^b x'^c x'^d W0]. The induced correction to ⟨φ(Λ)^2⟩ is -(4π^2/3) R_acbd ∫ ΛΛ W0^2 x^a x^b x'^c x'^d. Using the index identity R_acbd x^a x^b x'^c x'^d = -R_abcd x^a x^d x'^b x'^c (which follows from R_acdb = -R_acbd and relabeling), this correction equals +(4π^2/3) R_abcd L_abcd, with L_abcd defined in Eq. (36). Eq. (35) instead has a minus sign before (4π^2/3) R_abcd L_abcd. If the sign is wrong, the coefficient in Eq. (38) changes from -(5R+3R00)/(576π^2) to -(7R+21R00)/(576π^2) using the Appendix A integrals. The central claim therefore hinges on the sign in Eq. (35).","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper computes the leading-order curvature corrections to the expected value of the squared amplitude of a massless real scalar field smeared over a small spacetime region, using Riemann normal coordinates and the Hadamard form of the Wightman function. The central result, Eq. (38), separates a purely geometric correction proportional to R and R00 from a state-dependent constant ωΛ. The authors then apply this result to gapless Unruh-DeWitt detectors, obtaining the leading curvature correction to the detector's final state. Appendix A evaluates the geometric coefficients for a Gaussian spacetime smearing, and Appendix B derives the world-function expansion in Riemann normal coordinates.","tokens_in":17808,"tokens_out":43085,"duration_ms":341713,"significance":"If the final formula is correct, the paper gives an operational, parameter-free separation of geometry and state in a local field observable, with a concrete prediction for gapless detector response. The approach is analytic and does not fit any free parameter; the state term is honestly left undetermined, and the detector application is explicit. These are real strengths. However, the derivation as written contains a sign inconsistency in the chain from the world-function expansion to the smeared curvature correction, and the final coefficient in Eq. (38) depends on which sign is correct. The central claim is therefore not yet reliably established from the manuscript as it stands.","major_comments":[{"comment":"There is a direct sign inconsistency between Eq. (32) and Eq. (35). Using the standard Riemann symmetries, R_acbd x^a x^b x'^c x'^d = -R_abcd x^a x^d x'^b x'^c. Therefore the smeared correction implied by Eq. (32) is +(4π²/3) R_abcd L_abcd, not the -(4π²/3) R_abcd L_abcd written in Eq. (35). If instead the sign in Eq. (B13) is the error, then Eq. (32) should have the opposite sign and Eq. (35) would be recovered. Either way, the manuscript as written is internally inconsistent, and the coefficient in Eq. (38) is not a valid consequence of the displayed derivation. The authors must fix the signs and re-derive Eqs. (37), (38), (46), and (47), as well as the corresponding expressions in Appendix A.","section":"Section III, Eqs. (32), (35), (36); Appendix B"},{"comment":"The Gaussian smearing in Eq. (14) is not compactly supported, and footnote 3 acknowledges that a hard cutoff is needed to define Λ as a compactly supported test function. However, all integrals in Appendix A and the value of P_ln are computed with the full Gaussian over R^4. The error introduced by the cutoff is not shown to be O(ℓ² ln ℓ), and because Riemann normal coordinates exist only in a normal neighbourhood, this is not a purely cosmetic point for the claimed asymptotic expansion. Please either justify that the cutoff corrections are beyond the truncation order or state the result directly for a Schwartz smearing without claiming compact support.","section":"Section III, footnote 3; Appendix A"}],"minor_comments":[{"comment":"The variance is written as ⟨Δφ(Λ)⟩ω, but for a quasifree state this vanishes; the intended object is ⟨(Δφ(Λ))²⟩ω, and the notation should be corrected.","section":"Section II, Eq. (10)"},{"comment":"The numerical value P_ln ≈ −0.84961 is given without specifying the integration method or providing code; this value should be reproducible from the text, so please include the evaluation procedure or an ancillary file.","section":"Section III, after Eq. (36)"},{"comment":"Eq. (47) contains a term ω0PΛ, but Eq. (36) defines only Pln and ωΛ; the symbol PΛ is not defined. Please clarify whether this is a typo for ωΛ or define PΛ explicitly.","section":"Section IV, Eq. (47)"},{"comment":"The text says 'an advantage of considering Λ(x) as given in Eq. (12)', but the Gaussian is defined in Eq. (14); the cross-reference should be corrected.","section":"Section II, paragraph after Eq. (14)"}],"recommendation":"major_revision","confidential_remarks":"The sign inconsistency in the derivation is the main obstacle. My own check suggests that the final formula in Eq. (35) may be the correct one and that the sign error may lie in Eq. (32) and Eq. (B13), but the manuscript must be repaired so that the displayed chain is consistent. The numerical value of P_ln should also be independently verified. The topic is within the journal's scope, and the paper is worth pursuing after these corrections."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: there is a sign inconsistency between Eq. (32) and Eq. (35) that changes the central result. Eq. (32) expands 1/σ and gives a correction proportional to −R_acbd x^a x^b x'^c x'^d W0^2. Using the identity R_acbd x^a x^b x'^c x'^d = −R_abcd x^a x^d x'^b x'^c, that correction becomes +4π^2/3 R_abcd L_abcd, not the minus sign in Eq. (35). If you flip the sign, the coefficient in Eq. (38) changes from −(5R+3R00)/(576π^2) to −(7R+21R00)/(576π^2). This is not a nit; it is the main quantitative claim.\n\nWhat the paper does well: the framework is standard and the ambition is right. Using Riemann normal coordinates to import a Gaussian smearing and then extracting leading curvature corrections from the Hadamard parametrix is a clean way to make local observables concrete. The explicit Gaussian calculation, the application to gapless detectors, and the honest leaving of the state-dependent term ωΛ are all useful. The self-citation to [66] is acknowledged, and footnote 7 correctly flags the earlier miss. The analytic spot-checks in the appendix mostly pass; no fitting is involved.\n\nThe soft spots: aside from the sign error, the expansion of Synge's world function in Appendix B looks incomplete. It omits terms like (x−x')^a (x−x')^b x^c x^d that survive when x and x' are not collinear with the origin. If that is right, Eq. (32) itself is off, not just the sign in Eq. (35). The compact-support cutoff for the Gaussian is hand-wavy, and ωΛ is uncomputed, but those are secondary.\n\nWho this is for: people working on relativistic quantum information and spacetime tomography will find the setup appealing, but they should not use Eq. (38) until the sign is settled. The paper deserves a serious referee, but the referee should send it back for a corrected derivation of the curvature correction.","headline":"The paper has a sign error that flips the headline curvature coefficient; the idea is sound but the main formula needs a re-derivation.","tokens_in":18393,"tokens_out":39558,"would_cite":false,"duration_ms":279889,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T20","83C47"],"pacs":["04.62.+v","03.70.+k"],"model":"deepseek-v4-flash","headline":"The smeared variance of a massless scalar field picks up a universal curvature term built from $R$ and $R_{00}$ plus a state constant, and the correction flows into gapless particle-detector response.","keywords":["quantum field theory in curved spacetime","Hadamard states","Riemann normal coordinates","smeared field observables","Unruh-DeWitt detectors","vacuum fluctuations","massless scalar field","gapless detectors"],"falsifier":"Take a spacetime with an exactly known Hadamard state, for instance de Sitter space in the Bunch-Davies vacuum, and compute the smeared expectation value $\\langle\\hat\\phi(\\Lambda)^2\\rangle_\\omega$ for the Gaussian probe of width $\\ell$ directly from the exact Wightman function. Subtract the flat-space value $1/(16\\pi^2\\ell^2)$ and compare the residual with $-(5R+3R_{00})/(576\\pi^2) + (R/12)P_{\\ln} + \\omega_\\Lambda$ as $\\ell$ ranges over values small compared with the curvature radius: the formula predicts an $\\ell$-independent match with deviations scaling as $\\ell^2\\ln\\ell$. A residual that depends on the hard cutoff of the Gaussian tails, or that does not converge to the predicted constant as $\\ell\\to 0$, would falsify the central claim.","tokens_in":17373,"feed_emoji":"🌌","tokens_out":15673,"duration_ms":117265,"temperature":0.7,"pith_summary":"This paper derives the leading-order imprint of spacetime curvature on the most basic nontrivial measurement one can make with a quantum field: the variance of the field amplitude in a small spacetime region. Working with a massless real scalar field in a quasifree Hadamard state, the authors show that a Gaussian probe of size $\\ell$ yields an expectation value that splits into the flat-space value $1/(16\\pi^2\\ell^2)$, a purely geometric curvature correction combining the Ricci scalar $R$, its time-time component $R_{00}$, and a numerical constant, plus a state-dependent constant. The geometric part is universal across Hadamard states at this order, while the quantum state enters only through the constant. Because a gapless Unruh-DeWitt detector's final state is determined entirely by this variance, the same correction appears directly in the detector's statistics. This is an explicit closed-form bridge from the well-studied Hadamard short-distance structure of two-point functions to physically measurable local observables.","feed_headline":"Curvature changes vacuum fluctuations by a fixed geometric term","feed_subtitle":"Small probes measure a geometric curvature term that is independent of the quantum state at leading order.","key_machinery":"Three pieces carry the argument. The first is Riemann normal coordinates centered at the probe's center event $z$: they let the authors import the same Gaussian smearing function used in Minkowski space, and they give the short-distance expansion of Synge's world function, $\\sigma(x,x') \\approx \\frac12\\eta_{ab}(x-x')^a(x-x')^b + \\frac16 R_{acbd}(z)x^a x^b x'^c x'^d$, whose derivative terms feed every curvature correction. The second is the Hadamard parametrix $W(x,x') = \\Delta^{1/2}/(8\\pi^2\\sigma) + v\\ln(\\sigma/\\ell_0^2) + w$, with the Van Vleck determinant $\\Delta$, the geometric coefficient $v_0 = R/12$, and the state-dependent coefficient $w_0$; this is what converts the Hadamard short-distance structure into explicit curvature corrections to the two-point function. The third is the Gaussian spacetime smearing $\\Lambda(x)$ with $T = \\sigma = \\ell$, which makes every integral in the expansion explicitly computable and reduces the Riemann and Ricci tensor corrections to $-(5R+3R_{00})/(576\\pi^2)$. The bridge to measurement is the gapless Unruh-DeWitt detector, whose interaction Hamiltonian density satisfies $[[\\hat h_I(x),\\hat h_I(x')],\\hat h_I(x'')]=0$, so the Magnus expansion terminates and the final state is exactly a function of $\\xi = \\lambda^2\\langle\\hat\\phi(\\Lambda)^2\\rangle_\\omega$ — which is why the curvature correction to field variance immediately becomes a curvature correction to detector statistics.","core_discovery":"The central result is Eq. (38): for a massless real scalar field and a Gaussian spacetime smearing with equal temporal and spatial width $\\ell$, centered at an event $z$ in Riemann normal coordinates, the smeared squared-field expectation value in a quasifree Hadamard state $\\omega$ is\n$$\\langle \\hat\\$\\varphi$(\\Lambda)^2\\rangle_\\omega = \\frac{1}{16\\$pi^{2}$\\$ell^{2}$} - \\frac{5R + 3R_{00}}{576\\$pi^{2}$} + \\frac{1}{12}R\\,P_{\\ln} + \\omega_\\Lambda + O(\\$ell^{2}$\\ln\\ell)$$\nwhere $R$ is the Ricci scalar and $R_{00}$ the time-time component of the Ricci tensor at $z$, $P_{\\ln}\\approx -0.84961$ is a numerical constant, and $\\omega_\\Lambda$ is the state's Hadamard coefficient $w_0(x,x')$ smeared by the probe. The first curvature term is purely geometric, so at leading order all Hadamard states agree; the state enters only through the constant $\\omega_\\Lambda$. The $R_{00}$ dependence reflects the chosen time direction of the Riemann normal coordinates, matching the fact that the Gaussian probe is not Lorentz invariant. The authors then show that a gapless Unruh-DeWitt detector interacting linearly with the field has a final state determined entirely by $\\xi = \\lambda^2\\langle\\hat\\phi(\\Lambda)^2\\rangle_\\omega$, so the geometric correction transfers directly: the curvature-induced change to the detector's final state is $\\lambda^2 R(\\Lambda)(\\hat\\rho_{d,0} + \\hat\\mu\\hat\\rho_{d,0}\\hat\\mu) + O(\\ell^3)$, with $R(\\Lambda)$ collecting the same geometric and state terms.","pith_inferences":["Because the curvature correction is order $\\ell^0$ while state-variation corrections are $O(\\ell^2\\ln\\ell)$, shrinking the probe sharpens the universality claim: after subtracting the flat-space divergence, the leading residual is dominated by geometry plus the state constant, making different Hadamard states nearly indistinguishable at leading order.","The $R_{00}$ dependence means the measured correction depends on the time direction chosen for the Riemann normal coordinates; a natural testable extension is to compute the variance for a boosted or anisotropic Gaussian probe, where the appendix's general $T \\neq \\sigma$ expressions predict the full tensor structure coupling $R_{00}$, $R^i{}_i$, $R_{0i0j}$, and $R_{ijij}$.","The paper's explicit exclusion of delta-coupled detectors, which require Fermi normal coordinates and pick up trajectory acceleration and redshift effects, suggests a probe-size dichotomy: finite-size probes see the purely local geometric term, while instantaneous probes see trajectory-dependent geometry, and comparing the two in the same spacetime could isolate which geometric information each pr","A direct numerical test is within reach: compute the smeared variance exactly in a concrete spacetime with a known Hadamard state, such as de Sitter space in the Bunch-Davies vacuum, and check the $\\ell \\to 0$ residual against Eq. (38)."],"forward_implications":["A small probe of vacuum fluctuations directly measures a combination of the Ricci scalar and one Ricci component: subtracting the flat-space $1/(16\\pi^2\\ell^2)$ term from the measured variance leaves $- (5R+3R_{00})/(576\\pi^2)$ plus the geometric log term, readable as a length-independent offset.","State dependence is reduced to a constant at leading order, so the geometric correction is universal: two different Hadamard states probing the same small region differ only through $\\omega_\\Lambda$, with state variation entering only at $O(\\ell^2\\ln\\ell)$.","For gapless Unruh-DeWitt detectors, the final state is entirely a function of $\\xi = \\lambda^2\\langle\\hat\\phi(\\Lambda)^2\\rangle_\\omega$, so the curvature correction appears directly as a $\\lambda^2 R(\\Lambda)$ term in the detector's density matrix.","Replacing $\\Lambda(x)\\Lambda(x')$ with $\\Lambda_-(x)\\Lambda_+(x')$ in the same coefficient integrals yields the leading-order curvature correction to the excitation probability of a gapped particle detector.","Varying the probe size and orientation separates the contributions of $R$, $R_{00}$, and the Riemann tensor components, giving a concrete route to reconstructing local geometric data from field-fluctuation statistics."],"supporting_citations":[{"why":"Supplies the Riemann normal coordinate expansions, Synge world function, Van Vleck determinant, and metric determinant expansion used throughout Section III.","marker":"[20]"},{"why":"Establishes the Hadamard form of the Wightman function for physical states, the starting point of the curvature expansion.","marker":"[6–10]"},{"why":"Gives the leading geometric Hadamard coefficient $v_0 = R/12$ used in Eq. (27).","marker":"[28]"},{"why":"Defines the Unruh-DeWitt particle detector model whose response the curvature corrections are applied to.","marker":"[14, 15]"},{"why":"Provides the non-perturbative gapless-detector solution in which the final state is a function of $\\langle\\hat\\phi(\\Lambda)^2\\rangle_\\omega$.","marker":"[56, 58]"},{"why":"The comparison case of delta-coupled detectors expanded in Fermi normal coordinates; the paper notes this earlier work omitted the $W_\\sigma$ correction of Eq. (32).","marker":"[66]"},{"why":"Motivates reading local probe statistics as geometric data, the longer-term aim the conclusions point to.","marker":"[22–24]"}],"fun_headline_variants":["Curvature gives vacuum fluctuations a state-independent geometric shift","Fixed geometric term from curvature changes vacuum field measurements","Curvature adds a universal term to smeared field variance","State-independent curvature term shifts localized field probes","Detector response tracks curvature's leading-order geometric correction"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the probe region is small compared with both the local curvature radius and the scale over which the state's Hadamard coefficient $w_0(x,x')$ varies, so that the smeared state contribution $\\omega_\\Lambda$ is a constant to leading order and the $O(\\ell^2\\ln\\ell)$ remainder is genuinely subleading; if the state varies on scales comparable to $\\ell$, the clean split between geometry and state fails, and the hard cutoff of the Gaussian tail required for compact support also enters the error estimates.","fun_headline_variants_meta":{"raw":{"variants":["Curvature gives vacuum fluctuations a state-independent geometric shift","Fixed geometric term from curvature changes vacuum field measurements","Curvature adds a universal term to smeared field variance","State-independent curvature term shifts localized field probes","Detector response tracks curvature's leading-order geometric correction"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000176,"raw_usage":{"total_tokens":1310,"prompt_tokens":985,"completion_tokens":325,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":601,"completion_tokens_details":{"reasoning_tokens":249}},"tokens_in":601,"tokens_out":325,"duration_ms":3565,"temperature":1.0,"reasoning_tokens":249,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T14:13:26.692774+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a spacetime with an exactly known Hadamard state, for instance de Sitter space in the Bunch-Davies vacuum, and compute the smeared expectation value $\\langle\\hat\\phi(\\Lambda)^2\\rangle_\\omega$ for the Gaussian probe of width $\\ell$ directly from the exact Wightman function. Subtract the flat-space value $1/(16\\pi^2\\ell^2)$ and compare the residual with $-(5R+3R_{00})/(576\\pi^2) + (R/12)P_{\\ln} + \\omega_\\Lambda$ as $\\ell$ ranges over values small compared with the curvature radius: the formula predicts an $\\ell$-independent match with deviations scaling as $\\ell^2\\ln\\ell$. A residual that depends on the hard cutoff of the Gaussian tails, or that does not converge to the predicted constant as $\\ell\\to 0$, would falsify the central claim.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the leading geometric Hadamard coefficient $v_0 = R/12$ used in Eq. (27)."},{"cited_title":"Mart ´ ın-Mart ´ ınez, T","cited_arxiv_id":null,"evidence_quote":"The comparison case of delta-coupled detectors expanded in Fermi normal coordinates; the paper notes this earlier work omitted the $W_\\sigma$ correction of Eq. (32)."}],"review_version":1}