{"id":"ce768dc3-a8dd-4450-b7da-f91fd40d2ec6","arxiv_id":"2411.15080","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Tree-level elastic 2d theories with polynomial interactions remain elastic at one loop once masses are renormalized by bubble diagrams, with a universal one-loop S-matrix in terms of tree-level data.","lead":"This paper proves that in a broad class of two-dimensional quantum field theories, if scattering is purely elastic at the classical level, it stays purely elastic at the first quantum correction, provided the particle masses are shifted by quantum effects. The result yields a universal one-loop S-matrix formula and confirms earlier exact S-matrices for non-simply-laced affine Toda models.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central no-production theorem rests on identity (2.7)/(2.19), imported from [5] without rederivation for arbitrary one-loop mass shifts; if that identity fails when mass ratios renormalize, the main claim collapses.","rationale":"The paper's argument is a clean reduction: if (2.7) and (2.16) hold, then (2.18) follows by Taylor expansion, and the classical tree-level inelastic amplitude vanishes by assumption. The internal logic after (2.7) is sound. The weak point is that (2.7) is imported from [5], whose scope, by the authors' own introduction, did not include models with arbitrary one-loop mass shifts. The paper does not rederive it under the relaxed assumptions, and the production version (2.19) is asserted in a single sentence. The Landau-pole test in section 3.3 and the S-matrix checks in section 3.2 are encouraging but only cover a 2-to-2 inelastic process and elastic amplitudes, respectively; they do not settle the production case. This is not an internal inconsistency, and the claim may well be true, but as written the main theorem is conditional on an unverified generalization of a cited identity. The reader's CONDITIONAL verdict is therefore appropriate, and no change is recommended. Credit is due for the nontrivial Landau-pole match and the exact Toda comparisons, which provide partial independent support for the elastic formula, though not for the production extension.","tokens_in":30141,"tokens_out":11968,"duration_ms":120035,"concrete_test":"Take the g(1)_2 affine Toda model (or a minimal two-particle tree-level elastic Lagrangian) and compute the one-loop 2-to-3 inelastic amplitude directly from Feynman diagrams, including two-point and coupling counterterms, using the actual mass shifts from (C.16). Compare the result with the right-hand side of (2.19). If the identity holds for production with non-uniform mass shifts, the concern is settled; if extra terms or restrictions on the mass shifts appear, the main theorem needs revision. As a secondary check, verify that equation (1.6) of reference [5] indeed covers production amplitudes and does not assume proportional mass shifts.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Equation (2.18), the proof that one-loop inelastic amplitudes vanish, is a direct consequence of identity (2.7); for production processes the same role is played by (2.19). The paper quotes (2.7) from [5] and asserts (2.19) without derivation, while the introduction states that [5] only answered the one-loop integrability question for mass ratios unaffected by one-loop corrections. Nothing in the text shows that the retarded/advanced decomposition leading to (2.7) in [5] survives when the delta-m^2_a are arbitrary and non-proportional to m^2_a. The collinear-singularity cancellations in the integrand of (2.14) could depend on the mass-shift ratios; if so, (2.7) would acquire additional terms or constraints and the cancellation in (2.18) would fail. The Landau-pole computation in section 3.3 checks (2.7) for one 2-to-2 process in the g(1)_2 model, and the bootstrap comparisons in section 3.2 test elastic amplitudes only; neither tests the production assertion (2.19). Thus the central theorem is load-bearing on an unverified generalization.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies two-dimensional massive bosonic quantum field theories of the form (2.1) that are purely elastic at tree level. Its central claim is that any such theory is also purely elastic at one loop, provided the physical renormalized masses are defined through one-loop bubble corrections, and that the one-loop S-matrix is given by the universal expression (2.31)/(2.34) in terms of tree-level S-matrices, thereby extending the results of [1,5] to models in which mass ratios receive arbitrary one-loop corrections. The paper further analyzes double poles in one-loop inelastic amplitudes, showing that Landau singularities are encoded in the mass shifts and cancel in the total amplitude through the tree-level expansion around classical masses. These results are then applied to the full class of nonsimply-laced affine Toda theories, with the claim that the one-loop S-matrices obtained from formula (3.9) exactly match the bootstrapped S-matrices of [6,7].","tokens_in":30375,"tokens_out":10527,"duration_ms":106570,"significance":"If the central theorem is correct, it is a substantial and clean result: it removes the earlier restriction to mass-ratio-preserving one-loop corrections and provides a parameter-free universal formula for one-loop S-matrices of a large class of two-dimensional theories. The paper also gives explicit nontrivial evidence, including a Landau-pole calculation in Section 3.3 that checks the singular structure of one-loop inelastic amplitudes against direct Feynman-diagram analysis, and a systematic-looking comparison with the nonsimply-laced affine Toda bootstrap. The appendices contain useful explicit data for mass shifts and couplings. The main weakness is that the proof relies on identities imported from the authors' prior work without rederivation in the new, more general setting; this is a load-bearing point that needs to be addressed before the central claim is fully established.","major_comments":[{"comment":"The no-production theorem rests entirely on identity (2.7), which is quoted from [5] without rederivation, and on its production-amplitude generalization (2.19), which is asserted. The introduction states that the earlier results of [5] covered only models with mass ratios unaffected by one-loop corrections; nothing in the text shows that the retarded/advanced decomposition leading to (2.7) survives when the delta m_a^2 are arbitrary and non-proportional to m_a^2. The collinear-singularity cancellations in (2.14) could in principle depend on the ratios of the mass shifts, and if (2.7) fails, the cancellation in (2.18) collapses. As it stands, the central theorem is load-bearing on an unproven generalization; please provide a proof of (2.7) in the required generality or explicitly state and verify the assumptions under which it remains valid.","section":"Section 2.1, Eqs. (2.7) and (2.19)"},{"comment":"The universal elastic formula is imported from [1], where the derivation was performed for theories whose mass ratios do not renormalize. The paper extends it to arbitrary mass shifts by substituting (2.4) into (2.26), but this is only a rewriting; it does not derive the starting identity (2.23) when delta m_a^2 are non-proportional. In particular, the terms involving a_infinity and the principal-value integral in (2.23) came from the one-loop calculation in [1], and the reader cannot see from this manuscript why those terms are unchanged when mass ratios shift. Please either rederive (2.23) or provide a precise statement of the conditions from [1] that are being assumed.","section":"Section 2.2, Eq. (2.23)"},{"comment":"The paper claims exact agreement with the bootstrapped S-matrices of [6,7] for all nonsimply-laced affine Toda models, but only the (g_2^(1), d_4^(3)) pair is presented in detail. The remaining dual pairs are covered by the sentence \"we did a similar analysis\"; no tables, plots, or supplementary files are provided. Because the claim is a systematic check of formula (3.9) on the full class, and the manuscript explicitly markets this as a test, the evidence should be made available so the reader can verify it.","section":"Section 3.2"}],"minor_comments":[{"comment":"The evaluation subscript in (2.45) reads mu^2_j = m^2_j, whereas the corresponding expression in (2.44) and the surrounding text use mu^2_k = m^2_k; the index should be corrected.","section":"Section 2.1, Eq. (2.45)"},{"comment":"The statement that \"we expect no solutions\" to the constraints (2.54)-(2.58) other than the dilatation (2.35) is unproven; the text should clearly label it as a conjecture, since it is later used as the basis for asserting the necessity of coupling-dependent masses.","section":"Section 2.3, after Eq. (2.58)"},{"comment":"The integer n appearing in 1/(4 n pi^2) and in the contour Gamma_n is not defined before use; please define it explicitly.","section":"Section 2.2, Eq. (2.34)"},{"comment":"The sentence explaining that expanding around 2-B and then taking g to 0 is equivalent to the g to infinity expansion is confusing; a clearer statement of the two limits and their relation would help the reader.","section":"Section 3.2, Eq. (3.13)"},{"comment":"The phrase \"polynomial-like interactions\" is informal; the precise class is fixed by (2.1), but a short clarifying remark in the introduction would prevent ambiguity about which Lagrangians are included.","section":"Abstract and Introduction"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of JHEP and the physical claims are potentially important. The main concern is not the validity of the final results but the transfer of the central identities (2.7) and (2.23) from earlier papers to the new setting of arbitrary one-loop mass shifts. If the authors can provide the missing derivations or state precisely which assumptions are needed and verify them, I would be supportive of publication. I would also encourage them to make the all-model checks in Section 3.2 reproducible."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a genuine extension of the Fabri-Polvara program, and the central claim—tree-level elasticity implies one-loop elasticity even when mass ratios renormalize—is almost certainly right. I'd send it to a good referee rather than desk reject.\n\nWhat's new: the earlier papers [1,5] only covered theories where mass ratios are unaffected by one-loop corrections. Here they drop that condition. The insight is that no constraint on the mass shifts is needed: the one-loop inelastic amplitude cancels because the sum of the one-loop and counterterm diagrams is exactly the mass-shift derivative of the tree amplitude, and expanding the tree amplitude around the classical masses gives zero by tree-level elasticity. That's a clean argument. The same logic extends to production amplitudes, and the elastic one-loop S-matrix formula is shown to be the same universal expression as before. The nonsimply-laced affine Toda check is substantive: they match the bootstrapped S-matrices of [6,7] to one loop for the whole class, and the mass shifts in the appendix line up with the conjectured coupling-dependent pole positions.\n\nSoft spots: the key identity (2.7) is imported from [5] without rederivation, and its production version (2.19) is asserted. The stress-test note worries that (2.7) might fail when mass shifts are arbitrary, but I don't think that lands: the identity is a general statement about tree-level elastic Lagrangians of type (2.1), and the delta-m^2 appear as free parameters throughout. The Landau-pole check in section 3.3 does test (2.7) in a case where the mass shifts are non-uniform. What's missing is a derivation or a clear statement of the domain of validity, so a referee should ask for that. The crossing property of the one-loop S-matrix is checked numerically but not proven universally, and the authors say so. That's a minor open point.\n\nWho should read it: people working on perturbative integrability in 2d QFT, affine Toda theories, and the bootstrap. It's a step toward answering how loop corrections affect integrability. I'd bring it to the reading group.\n\nRecommendation: accept for peer review with a request for a more self-contained treatment of the key identity—either a short derivation in an appendix or a precise citation of the relevant equations in [5] with the assumptions spelled out. The central result is solid.","headline":"A genuine extension of the one-loop integrability program to mass-shifting theories; the central theorem is almost certainly right, though the proof leans on prior identities that deserve a closer look.","tokens_in":30906,"tokens_out":3461,"would_cite":true,"duration_ms":35499,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Any theory with a tree-level elastic Lagrangian of type (2.1) is also purely elastic at one loop.","keywords":["one-loop integrability","purely elastic scattering","affine Toda theories","mass renormalization","S-matrix bootstrap","two-dimensional quantum field theory","Landau singularities","tree-level elasticity"],"falsifier":"Compute a one-loop inelastic amplitude directly from Feynman diagrams in a specific tree-level elastic model with unequal mass shifts, renormalize masses through (2.4), and check whether the amplitude vanishes without invoking identity (2.7); a single nonzero result would falsify the claim.","tokens_in":29934,"feed_emoji":"⚛️","tokens_out":8172,"duration_ms":68812,"temperature":0.7,"pith_summary":"This paper answers a question about integrable quantum field theories in 1+1 dimensions: if a theory's tree-level scattering is purely elastic (the outgoing particles are always the same types as the incoming ones, with no particle production), does that property survive one loop? The authors show that it does, for any theory with a Lagrangian of the polynomial-like form (2.1). The subtlety is that the physical, renormalized masses must be allowed to shift away from the classical masses by one-loop bubble corrections, and the shifts can be arbitrary; no condition on the mass ratios is needed. The one-loop S-matrix is then completely determined by tree-level S-matrices through a universal formula, and the paper verifies this formula against the bootstrapped S-matrices of all nonsimply-laced affine Toda theories.","feed_headline":"If a 2D theory is tree-level elastic, it stays elastic at one loop","feed_subtitle":"One-loop S-matrices follow from tree-level data even when mass ratios renormalize, matching the affine Toda bootstrap.","key_machinery":"The load-bearing mechanism is an identity, quoted from [5], that sums every connected one-loop inelastic diagram together with two-point counterterms and equates the result to the sum over masses of $\\delta m_k^2\\, \\partial M^{(0)}_{\\text{inelastic}}/\\partial \\mu_k^2$ evaluated on shell (equation (2.7)). Because this derivative, combined with the coupling counterterms, is exactly the first-order expansion of the tree-level amplitude when the masses and couplings are shifted from renormalized back to classical values, the whole one-loop inelastic amplitude collapses to the tree-level amplitude at classical parameters, which vanishes by tree-level elasticity. For elastic processes the same machinery produces the universal one-loop S-matrix formula (2.31)/(2.34), expressed solely through tree-level S-matrices. The check on nonsimply-laced affine Toda theories uses their tree-level elastic S-matrices together with the one-loop mass shifts collected in appendix C.","core_discovery":"The central claim is that any theory with a Lagrangian of type (2.1) that is purely elastic at the tree level is also purely elastic at one loop. The renormalized masses $\\hat m_a$ are defined through $m_a^2 = \\hat m_a^2 + \\delta m_a^2$, where $\\delta m_a^2$ are the one-loop bubble corrections; once amplitudes are expanded around these physical masses, every one-loop inelastic amplitude becomes an evaluation of the tree-level amplitude at the classical masses and couplings, where it vanishes by assumption. This extends earlier results that required mass ratios to be unaffected by one-loop corrections. For elastic processes, the one-loop S-matrix is given by the universal expression (2.31)/(2.34) in terms of tree-level S-matrices, and applying it to nonsimply-laced affine Toda theories reproduces the S-matrices bootstrapped in [6] and [7].","pith_inferences":["The argument suggests that at each loop order the inelastic amplitude should be expressible as a total variation of the tree amplitude with respect to masses and couplings, so a recursive proof of all-order elasticity might be possible if the analogous two-loop identity holds.","The result implies that quantum integrability, at least at one loop, imposes no constraint on how masses renormalize; constraints would have to come from higher loops or from requirements such as unitarity and crossing beyond one loop.","One could test the universality of (2.34) on a new tree-level elastic model with a non-Toda Lagrangian, computing the one-loop S-matrix directly and comparing with the formula."],"forward_implications":["One-loop inelastic processes, including production amplitudes with more than four external legs, vanish in every tree-level elastic theory of this class once masses are renormalized as in (2.4).","The one-loop S-matrix of such a theory is a universal function of its tree-level S-matrices, with no explicit dependence on the mass shifts $\\delta m_a^2$.","Classical mass ratios need not be preserved by quantum corrections; the physical masses may be coupling-dependent without destroying integrability at one loop.","Applying the formula to nonsimply-laced affine Toda theories reproduces the previously bootstrapped S-matrices, providing a perturbative confirmation of those exact results to one loop.","Landau double poles that appear in one-loop inelastic amplitudes are controlled by the mass shifts and cancel in the full amplitude against the expansion of the tree-level amplitude around the classical masses."],"supporting_citations":[{"why":"Supplies the universal one-loop elastic amplitude formula in terms of tree-level S-matrices under fixed mass ratios; this paper extends it to shifting masses.","marker":"[1]"},{"why":"Provides the identity (2.7) equating one-loop inelastic diagrams plus two-point counterterms to mass-shift derivatives of the tree amplitude; the central load-bearing result.","marker":"[5]"},{"why":"Establishes tree-level elasticity conditions and the flipping rule for Lagrangians of type (2.1) and gives universal tree-level S-matrices for affine Toda models.","marker":"[8]"},{"why":"Bootstrapped exact S-matrices for nonsimply-laced affine Toda theories; used as the comparison target for the one-loop formula.","marker":"[6]"},{"why":"Generalized bootstrap principle giving alternative bootstrapped S-matrices for nonsimply-laced models; also matched by the formula.","marker":"[7]"},{"why":"Origin of the flipping rule and analysis of multiple poles in affine Toda field theory; used in the Landau double-pole checks.","marker":"[9]"}],"fun_headline_variants":["Tree-level elastic? Then one-loop stays elastic","One-loop integrability survives mass shifts","Mass ratios shift, but one-loop integrability holds","One-loop S-matrix from tree level, even with shifting masses"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument stands on a quoted identity saying that the sum of all one-loop inelastic diagrams plus two-point counterterms is the derivative of the tree-level amplitude with respect to mass shifts; if that identity fails for some tree-level elastic Lagrangian of type (2.1), the conclusion that one-loop inelastic amplitudes vanish would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Tree-level elastic? Then one-loop stays elastic","One-loop integrability survives mass shifts","Mass ratios shift, but one-loop integrability holds","One-loop S-matrix from tree level, even with shifting masses"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000266,"raw_usage":{"total_tokens":1584,"prompt_tokens":891,"completion_tokens":693,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":507,"completion_tokens_details":{"reasoning_tokens":631}},"tokens_in":507,"tokens_out":693,"duration_ms":6560,"temperature":1.0,"reasoning_tokens":631,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:32:05.023484+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute a one-loop inelastic amplitude directly from Feynman diagrams in a specific tree-level elastic model with unequal mass shifts, renormalize masses through (2.4), and check whether the amplitude vanishes without invoking identity (2.7); a single nonzero result would falsify the claim.","supporting_citations":[{"cited_title":"One-loop elastic amplitudes from tree-level elasticity in 2d","cited_arxiv_id":"2402.12087","evidence_quote":"Supplies the universal one-loop elastic amplitude formula in terms of tree-level S-matrices under fixed mass ratios; this paper extends it to shifting masses."},{"cited_title":"One-loop inelastic amplitudes from tree-level elasticity in 2d","cited_arxiv_id":"2302.04709","evidence_quote":"Provides the identity (2.7) equating one-loop inelastic diagrams plus two-point counterterms to mass-shift derivatives of the tree amplitude; the central load-bearing result."},{"cited_title":"Tree level integrability in 2d quantum field theories and affine Toda models","cited_arxiv_id":"2111.02210","evidence_quote":"Establishes tree-level elasticity conditions and the flipping rule for Lagrangians of type (2.1) and gives universal tree-level S-matrices for affine Toda models."},{"cited_title":"Exact S-Matrices for Nonsimply-Laced Affine Toda Theories","cited_arxiv_id":"hep-th/9201067","evidence_quote":"Bootstrapped exact S-matrices for nonsimply-laced affine Toda theories; used as the comparison target for the one-loop formula."},{"cited_title":"On a generalised bootstrap principle","cited_arxiv_id":"hep-th/9304065","evidence_quote":"Generalized bootstrap principle giving alternative bootstrapped S-matrices for nonsimply-laced models; also matched by the formula."},{"cited_title":"Braden, E","cited_arxiv_id":null,"evidence_quote":"Origin of the flipping rule and analysis of multiple poles in affine Toda field theory; used in the Landau double-pole checks."}],"review_version":1}