{"id":"2b9ec978-2872-48f6-a55b-51e52a506f69","arxiv_id":"1908.01937","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In a two-scalar model, one-loop diagrams with mixed light and heavy internal lines collapse to local tadpole contributions in the infrared, matching the effective low-energy quartic theory in flat and weakly curved spacetime.","lead":"This paper studies a toy model with a light scalar and a much heavier scalar, and shows that the one-loop quantum corrections with both particles in the loop turn into a simple local term at low energies. The result supports the expectation that heavy degrees of freedom decouple cleanly, which matters for effective field theory and for quantum gravity.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"One-loop matching formulas are derived for N=1 only: missing O(N) factors in the tadpole and effective-theory diagrams invalidate the quantitative matching for the N-component model as stated.","rationale":"The reader's conditional verdict is reasonable, but the weakest assumption identified there (unbounded potential) is not the most load-bearing technical problem. The discrepancy is an O(N) index-counting error: the paper carries N in the β-functions of Sec. 2 and defines the model with N components, yet the one-loop self-energy and matching in Secs. 4-6 drop N-dependent factors. This is a concrete, checkable algebraic issue rather than a global stability concern. It does not overturn the central structural claim—Σ1's IR expansion (47) has no non-local log form factor and is N-independent—so a REJECT is not warranted. The text must be revised to include N everywhere (or explicitly set N=1 throughout), fix the abstract/body contradiction about non-local contributions, and then the conditional acceptance can proceed. The unbounded-potential caveat is already acknowledged in Sec. 8 and is a physical-interpretation limitation rather than an internal inconsistency.","tokens_in":16227,"tokens_out":37362,"duration_ms":369935,"concrete_test":"Independently compute the index contractions for the diagrams in Fig. 3 using -g/2 χ φ^a φ^a. For the second diagram, the light loop at x2 yields ∑_a δ^a_a = N; for the effective theory, the O(N) tadpole yields a factor (N+2)/6 when using λ = -3g^2/M^2. Set, e.g., N=3 and re-evaluate Eqs. (45), (49), (53)-(55), and (76). If the coefficients change by factors of 3 and 5/3 respectively, the reported matching holds only for N=1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the model of Eq. (1), φ^a has N components, but the one-loop matching in Secs. 4-5 silently sets N=1. The second (tadpole) diagram in Eq. (29) contains a light-field loop at x2; contracting the two φ^a fields there gives a trace δ^a_a = N. The corresponding momentum-space self-energy Σ2 in Eq. (34) and its value in Eq. (45) are therefore missing a factor N. Likewise, the one-loop tadpole in the O(N) effective φ^4 theory has a vertex factor proportional to (N+2)/3 (via the Feynman rule -iλ/3(δ_abδ_cd+δ_acδ_bd+δ_adδ_bc) plus the diagram's symmetry factor 1/2), giving an overall (N+2)/6 factor; Eq. (49) uses the numerical coefficient 3/2, which is correct only for N=1. Consequently the matching coefficients Cm2, Cφ in Eqs. (53)-(54), the modified Cm2 in Eq. (55), and the curved-space matching CR in Eqs. (72) and (76) are not valid for the stated N-component model. The central structural conclusion that the mixed loop produces no non-local form factor in the IR is not affected, since Σ1 (Eq. (47)) carries no N, but the paper's quantitative claim of equality between the fundamental and effective theories at one loop is unsupported for N≠1. In addition, the abstract asserts that mixed loops 'produce an IR non-local contributions', directly contradicting Sec. 7's conclusion that no non-local form factor arises; this ambiguity should be resolved.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a toy model of effective field theory in curved spacetime: an N-component light scalar field φ^a coupled to a heavy scalar χ through a cubic interaction -g/2 χ φ^a φ^a. The authors compute the one-loop UV divergences and beta functions in the MS scheme, then evaluate the mixed light-heavy contribution to the φ two-point function in flat space and in a weak gravitational field using Riemann normal coordinates. They find that in the UV the mixed loop reproduces the expected logarithmic form factor, while in the IR (p^2 ≪ M^2) it reduces to a local tadpole-type term with no non-local form factor, and they match this result onto an effective O(N) φ^4 theory with local counterterms C_m2, C_φ, and C_R. A final section notes that the classical potential is unbounded from below and that the model is therefore only a formal toy model.","tokens_in":16428,"tokens_out":12834,"duration_ms":132050,"significance":"If the central claim holds, the paper gives a clean, explicit one-loop demonstration that mixed heavy-light loops decouple locally in the IR, with only local counterterms needed for matching, in both flat and weakly curved spacetime. This is relevant for the program of understanding what survives from higher-derivative quantum gravity in the IR. The UV/IR interpolation and the normal-coordinate expansion are clearly presented, and the MS beta functions are exact due to superrenormalizability. However, the quantitative one-loop matching is derived only for N=1 despite the N-component action, and the abstract contradicts the concluding section on the presence of IR nonlocality; these issues must be fixed before the matching formulas can be accepted for the stated model.","major_comments":[{"comment":"The one-loop matching is performed for N=1 although the action (1) contains an N-component multiplet φ^a. In the tadpole diagram of Eq. (29), the light-field loop at x2 gives a trace δ^a_a=N, so the second term in Eq. (32) and the quantity Σ2 in Eqs. (34) and (45) should carry an explicit factor N. Similarly, in the O(N) effective φ^4 theory (48) the one-loop propagator correction carries a factor (N+2)/6, not the numerical coefficient 3/2 used in Eq. (49); the matching coefficients in Eqs. (53)-(55), (72), and (76) are therefore only valid for N=1. The structural conclusion that Σ1 has no non-local IR form factor is N-independent, but the paper's quantitative equality between the fundamental and effective theories is not established for N≠1.","section":"Secs. 4-6, Eqs. (29), (32), (34), (45), (49), (53)-(55), (72), (76)"},{"comment":"The abstract states that one-loop diagrams with mixed internal lines \"produce an IR non-local contributions\", while Sec. 7 concludes that in the far IR the mixed loop \"boils down to the tadpole contribution, that does not produce a non-local form factor.\" These statements are in direct tension. If the intended claim is that the mixed loop becomes local and that any IR nonlocality of the effective theory comes from light-only diagrams, the abstract should say so explicitly; as written, it misstates the central result.","section":"Abstract and Sec. 7"},{"comment":"The paper acknowledges that the classical potential of the theory (1) is not bounded from below and that the quantum effective potential is expected to inherit this instability. Since all one-loop results in Secs. 4 and 6 are computed around the symmetric background, the physical interpretation of the matching as a statement about a low-energy effective theory, rather than a purely formal perturbative computation, is not established. The claims should be explicitly qualified as formal perturbative statements, or the stability issue should be addressed more concretely.","section":"Sec. 8"}],"minor_comments":[{"comment":"The phrase \"an IR non-local contributions\" is grammatically incorrect and should be rewritten, preferably in a way consistent with the corrected statement of the central result.","section":"Abstract"},{"comment":"The assertion that higher-loop corrections to Eq. (46) \"do not have higher order logarithmic corrections\" is stronger than what superrenormalizability alone implies; finite higher loops can still contain logarithmic terms, so this statement should be justified or softened.","section":"Sec. 5"},{"comment":"The typesetting of the χ^2 mass term in Eq. (8) appears garbled; the coefficient should be checked against the divergence in Eq. (6) and the beta function in Eq. (15).","section":"Eq. (8)"}],"recommendation":"major_revision","confidential_remarks":"The paper falls within the journal's scope and the core computation appears sound in the N=1 sector, but the missing N-dependent factors in the matching formulas and the abstract/conclusion contradiction need to be resolved before publication. The stability caveat in Sec. 8 should also be integrated into the framing of the main claim."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a legitimate, workmanlike one-loop EFT paper. The flat-space mixed self-energy is textbook, as they say, but the normal-coordinate curved-space generalization and the explicit C_R matching coefficient are genuinely new. The calculation is transparent: the integrals are standard, the IR limit is derived rather than asserted, and the sources are cited honestly. They also flag the unbounded potential in Sec. 8, which is more candor than many papers manage.\n\nThe main claim—that the mixed light-heavy loop collapses to a local tadpole in the IR and matches the effective quartic theory—holds up for the N=1 version of the model. I checked the combinatorics: the first self-energy diagram carries no N, and the locality conclusion does not depend on N. That is the structurally important point.\n\nBut the paper is not clean for the model as stated. Eq. (1) defines φ^a as an N-component field, and the N-dependence is present in the beta functions. In Secs. 4–5 the calculation silently sets N=1. The tadpole Σ2 should carry a factor N from contracting the light loop, and the effective-theory self-energy should carry (N+2)/6 from the O(N) quartic vertex, not 3/2. The matching coefficients Cm2, Cφ, and C_R are therefore only valid for N=1. This is a genuine quantitative error, not a cosmetic one, though it does not destroy the qualitative IR-locality result. A referee should ask for the N factors to be restored or for an explicit statement that Secs. 4–7 assume N=1.\n\nThe abstract also contradicts Sec. 7: it says mixed loops produce IR non-local contributions, while Sec. 7 correctly concludes there is no non-local form factor. That needs to be fixed in revision. The \"non-perturbatively\" claim in Sec. 5 overreaches—superrenormalizability makes higher loops finite, but it does not make the one-loop expression the exact non-perturbative answer.\n\nBottom line: a solid N=1 calculation with an N-component framing problem and a sloppy abstract. It deserves peer review, not desk rejection. With the N factors corrected and the abstract aligned, it would be a useful reference for the EFT/decoupling literature.","headline":"A careful one-loop decoupling calculation in curved space with a real O(N) bookkeeping gap and an abstract/body mismatch; structurally sound for N=1, needs revision.","tokens_in":17070,"tokens_out":4890,"would_cite":false,"duration_ms":51425,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.10.-z","04.62.+v","11.10.Gh","11.10.Hi"],"model":"deepseek-v4-flash","headline":"The paper claims that mixed light-heavy one-loop diagrams produce only local effects in the infrared, so heavy degrees of freedom decouple even when they share a loop with light fields.","keywords":["effective field theory","scalar fields","one-loop form factors","decoupling theorem","infrared decoupling","curved spacetime","mixed loop diagrams","renormalization"],"falsifier":"Compute the one-loop effective potential of the model exactly: if it is unbounded below, the vacuum assumption behind all loop results fails. Alternatively, evaluate the mixed self-energy at the next order in $p^2/M^2$ and check whether a $\\log(p^2/M^2)$ term appears; if one does, the reduction to a local tadpole holds only at leading order, not as the general infrared behavior.","tokens_in":15898,"feed_emoji":"⚛️","tokens_out":8153,"duration_ms":74213,"temperature":0.7,"pith_summary":"The paper studies a two-scalar quantum field theory in which one scalar is very light and the other is much heavier, and asks what survives at low energies. Its central claim is that a one-loop diagram with one light and one heavy internal line, which produces a nonlocal logarithmic form factor at high energy, reduces in the far infrared to a local tadpole-like contribution. In a weak gravitational field the same happens: the curvature-dependent pieces stay local and match the effective one-scalar theory. If true, this means heavy degrees of freedom decouple from low-energy physics even when they appear together with light ones inside the same loop.","feed_headline":"Heavy scalars vanish from mixed loops at low energy","feed_subtitle":"One-loop mixed light-heavy diagrams leave only local effects, even in weak gravity.","key_machinery":"The load-bearing object is the one-loop mixed self-energy integral with one light propagator and one heavy propagator, evaluated by dimensional regularization and then expanded in the limit $p^2 \\ll M^2$. The argument is carried by the observation that the Feynman-parameter integral becomes a sum of local terms in that limit, with no logarithmic dependence on external momentum. In curved space the same role is played by the standard normal-coordinate expansion of the propagators, which turns the nonlocal coordinate-space integral into a local expression proportional to a covariant delta function; the matching coefficients $C_{m^2}$, $C_{\\varphi}$, and $C_R$ then absorb all differences between the fundamental and effective theories.","core_discovery":"In the two-scalar model with interaction term $-(g/2)\\chi\\phi_a\\phi_a$, the authors compute the one-loop self-energy of the light field with mixed light-heavy internal lines and examine its infrared limit. They find that for external momenta $p^2 \\ll M^2$ the finite part contains no $\\log(p^2)$ nonlocality, only local terms such as $p^2/M^2$ and mass logarithms. The diagram therefore behaves like the tadpole diagram of the effective low-energy theory with quartic coupling $\\lambda = -3g^2/M^2$, and the difference between the two theories is absorbed by local, momentum-independent counterterms $C_{m^2}$ and $C_{\\varphi}$. In curved space, after expanding the propagators in normal coordinates, the same conclusion holds: the curvature-dependent terms in the mixed loop are finite, local, and match the effective theory with an additional local coefficient $C_R$.","pith_inferences":["If the same locality persists at higher loops in these superrenormalizable models, the infrared effective action of a wide class of two-scale scalar theories would be fully determined by light-field loops plus local matching terms; a direct check would be to compute the two-loop mixed diagram and look for $\\log(p^2)$ terms.","The unboundedness of the classical potential means these loop results are formally computed around a state that is not a true vacuum; repeating the calculation in a stabilized version of the model, with quartic terms added to make the potential bounded from below, would show whether the infrared locality survives the vacuum problem.","The curvature-dependent matching coefficient $C_R$ is a concrete prediction; comparing it with an independent heat-kernel calculation in the effective theory could test when the assumption $M^2 \\gg |R|$ starts to fail."],"forward_implications":["The decoupling theorem, originally about loops of a single heavy field, extends at one loop to mixed light-heavy loops: the heavy mass leaves no nonlocal low-energy trace in this model.","The effective low-energy theory is just the light scalar with quartic self-interaction; all differences from the fundamental theory are local and can be absorbed by renormalization conditions.","In weak gravitational fields, curvature-dependent corrections from mixed loops are also local and match the effective theory, so no curvature-dependent nonlocal form factor is generated.","The authors' continuation of this result to quantum gravity suggests that mixed ghost or tachyon loops may become irrelevant in the infrared, leaving quantum general relativity as a plausible universal low-energy theory; they present this as a conjecture."],"supporting_citations":[{"why":"supplies the standard calculation of the two-scalar mixed-loop diagrams that this paper rederives in more detail and extends to curved space.","marker":"[18]"},{"why":"states the decoupling theorem for massive fields that the mixed-loop result extends.","marker":"[20]"},{"why":"provides the earlier explicit check of quadratic decoupling in curved-space semiclassical gravity that motivates the present calculation.","marker":"[21]"},{"why":"gives the normal-coordinate momentum-space expansion of curved-space propagators used in the weak-field calculation.","marker":"[27]"},{"why":"poses the higher-derivative quantum gravity decoupling problem that the toy model is built to illuminate.","marker":"[17]"},{"why":"supplies the expectation that quantum general relativity is the universal infrared theory, which the authors connect to their result.","marker":"[29]"}],"fun_headline_variants":["Mixed loops drop heavy scalar at low energy","Heavy scalar decouples from mixed loops even in gravity","IR limit wipes heavy scalar from loop diagrams","Curved space keeps heavy scalar invisible in loops","Heavy partner vanishes from one-loop mixed graphs"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The loop calculation assumes the model has a stable vacuum around which quantum corrections are physically meaningful, but the scalar potential is not bounded from below and the authors note the quantum effective potential likely inherits this instability.","fun_headline_variants_meta":{"raw":{"variants":["Mixed loops drop heavy scalar at low energy","Heavy scalar decouples from mixed loops even in gravity","IR limit wipes heavy scalar from loop diagrams","Curved space keeps heavy scalar invisible in loops","Heavy partner vanishes from one-loop mixed graphs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000173,"raw_usage":{"total_tokens":1234,"prompt_tokens":853,"completion_tokens":381,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":469,"completion_tokens_details":{"reasoning_tokens":308}},"tokens_in":469,"tokens_out":381,"duration_ms":4269,"temperature":1.0,"reasoning_tokens":308,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:59:10.283375+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the one-loop effective potential of the model exactly: if it is unbounded below, the vacuum assumption behind all loop results fails. Alternatively, evaluate the mixed self-energy at the next order in $p^2/M^2$ and check whether a $\\log(p^2/M^2)$ term appears; if one does, the reduction to a local tadpole holds only at leading order, not as the general infrared behavior.","supporting_citations":[{"cited_title":"Ilisie, Concepts in Quantum Field Theory","cited_arxiv_id":null,"evidence_quote":"supplies the standard calculation of the two-scalar mixed-loop diagrams that this paper rederives in more detail and extends to curved space."},{"cited_title":"Appelquist and J","cited_arxiv_id":null,"evidence_quote":"states the decoupling theorem for massive fields that the mixed-loop result extends."},{"cited_title":"Bunch and L","cited_arxiv_id":null,"evidence_quote":"gives the normal-coordinate momentum-space expansion of curved-space propagators used in the weak-field calculation."},{"cited_title":"Polemic Notes On IR Perturbative Quantum Gravity","cited_arxiv_id":"0812.3521","evidence_quote":"poses the higher-derivative quantum gravity decoupling problem that the toy model is built to illuminate."}],"review_version":1}